= '''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)]]
}}}
{{{#!th rowspan=2 align=left border=0
- Introduction to state space-based verification
- Formal modelling of protocols: Petri nets and automata
- 
}}}

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

{{{#!th rowspan=2 align=left border=0
[[Image(https://tgi15.informatik.uni-hamburg.de/_eva/acpn2010/larsmkristensen.jpg)]]
}}}
{{{#!th rowspan=2 align=left border=0
- 
}}}