= Diary =
== '''Monday: Sep, 13th 2010''' ==
=== Lectures by ===
'''Wojciech Penzeck (Warsaw, Poland)'''[[br]][[br]]

{{{#!th rowspan=2 align=left border=0
[[Image(https://tgi15.informatik.uni-hamburg.de/_eva/acpn2010/wojtek.jpg)]]
}}}
{{{#!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
}}}
|----------------

and '''Lars M. Kristensen (Bergen, Norway)'''

{{{#!td rowspan=2 align=left border=0
[[Image(https://tgi15.informatik.uni-hamburg.de/_eva/acpn2010/larsmkristensen.jpg)]]
}}}
{{{#!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
}}}
|----------------
== '''Tuesday: Sep, 14th 2010''' ==
=== Lectures by ===
'''Karsten Wolf (Rostock, Germany)'''[[br]][[br]]

{{{#!th rowspan=2 align=left border=0
[[Image()]]
}}}
{{{#!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
}}}
|----------------

and '''Kees van Hee (Eindhoven, Netherlands)'''

{{{#!td rowspan=2 align=left border=0
[[Image()]]
}}}
{{{#!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
}}}
|----------------