Changes between Version 4 and Version 5 of Events/ACPN2010/Diary

Timestamp:

Sep 14, 2010, 8:23:41 PM (14 years ago)

Author:

2betz

Comment:

--

Events/ACPN2010/Diary

@@ -34 +34 @@
 }}}
 {{{#!td rowspan=2 align=left border=0
-- Introduction to state space-based verification
-- Formal modeling of protocols: Petri nets and automata
-- Model checking and verification of protocols: Bounded Parametric Model Checking for Petri nets
-- The VerICS Toolkit: A selection of smaller case studies
+-
 }}}
 |----------------
@@ -47 +44 @@
 }}}
 {{{#!th rowspan=2 align=left border=0
-- Formal modeling of protocols: Hierarchical Colored Petri Nets and CPN Tools
-- Model checking and verification of protocols: Explicit state space exploration of Colored Petri Nets
-- CPN Tools: Edge Router Discovery Protocol and the Generic Access Network Architecture
+-
 }}}
 |----------------
+== '''Wednesday: Sep, 15th 2010''' ==
+=== Lectures by ===
+'''Alex Yakovlev (Newcastle, England)'''[[br]][[br]]
+
+{{{#!th rowspan=2 align=left border=0
+[[Image(wiki:Events/ACPN2010/Diary:kwolf.jpg,150px)]]
+}}}
+{{{#!td rowspan=2 align=left border=0
+-
+}}}
+|----------------
+
+and '''Wolfgang Reisig (Berlin, Germany)'''
+
+{{{#!td rowspan=2 align=left border=0
+[[Image(wiki:Events/ACPN2010/Diary:kvhee.jpg,150px)]]
+}}}
+{{{#!th rowspan=2 align=left border=0
+-
+}}}
+|----------------