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

{{{#!th rowspan=2 align=left border=0
[[Image(wiki:Events/ACPN2010/Diary:wpenzeck.jpg,150px)]]
}}}
{{{#!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(wiki:Events/ACPN2010/Diary:lmkristensen.jpg,150px)]]
}}}
{{{#!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(wiki:Events/ACPN2010/Diary:kwolf.jpg,150px)]]
}}}
{{{#!td rowspan=2 align=left border=0
-
}}}
|----------------

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

{{{#!td rowspan=2 align=left border=0
[[Image(wiki:Events/ACPN2010/Diary:kvhee.jpg,150px)]]
}}}
{{{#!th rowspan=2 align=left border=0
-
}}}
|----------------
== '''Wednesday: Sep, 15th 2010''' ==
=== Lectures by ===
'''Alex Yakovlev (Newcastle, England)'''[[br]][[br]]

{{{#!th rowspan=2 align=left border=0
[[Image(wiki:Events/ACPN2010/Diary:ayakovlev.png,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:wreisig.jpg,150px)]]
}}}
{{{#!th rowspan=2 align=left border=0
-
}}}
|----------------