Conference Talks

• ICTAC'11
  2011, Mabalingwe Nature Resort, South Africa. Tutorial on Timed-Arc Petri Nets.
  
  
• SOFSEM'11
  2011, Novy Smokovec, Slovak Republic. Invited talk.
  
  
• EPEW'10
  2010, Bertinoro, Italy. Participation.
  
  
• CompSysTech'10
  2010, Sofia, Bulgaria.
  
  
• ICFEM'09
  2009, Rio de Janeiro , Brazil.
  
  
• ATVA'09
  2009, Macao SAR, China.
  
  
• ICTAC'09
  2009, Kuala Lumpur, Malaysia.
  
  
• STTI'09
  2009, Prague, Czech Republic. Invited talk.
  
  
• FORMATS'08
  2008, Saint Malo, France. Invited talk.
  
  
• Algorithmic-Logical Theory of Infinite Structures
  2007, Dagstuhl, Germany.
  
  
• ATVA'06
  2006, Beijing, China.
  
  
• CSL'06
  2006, Szeged, Hungary.
  
  
• FOSSACS'06
  2006, Vienna, Austria. Participation.
  
  
• FSTTCS'05
  2005, Hyderabad, India.
  
  
• CONCUR'05
  2005, San Francisco, California, USA. Organization of INFINITY'05
  
  
• ICATPN'05
  2005, Miami, Florida, USA.
  
  
• STTI'05
  2005, Prague, Czech Republic. Invited talk.
  
  
• TCS'04
  2004, Toulouse, France.
  
  
• WITS'04
  2004, Barcelona, Spain.
  
  
• INFINITY'03
  2003, Marseille, France.
  
  
• DLT'02
  2002, Kyoto, Japan.
  
  
• INFINITY'02 (short presentation - ps,pdf)
  2002, Brno, Czech Republic.
  
  
• CONCUR'02
  2002, Brno, Czech Republic.
  
  
• ICALP'02
  2002, Malaga, Spain.
  
  
• FOSSACS'02
  2002, Grenoble, France.
  
  
• STACS'02
  2002, Juan les Pins, France.
  
  
• FSTTCS'01
  2001, Bangalore, India.
  
  
• CONCUR'01
  2001, Aalborg, Denmark.
  
  
• EXPRESS'00
  2000, State College, Pennsylvania, USA.
  
  
• MFCS'00
  2000, Bratislava, Slovak Republic.
  
  
• ICALP'99
  1999, Prague, Czech Republic. Participation.
  
  
• SOFSEM'99
  1999, Milovy, Czech Republic.
  
  
• MFCS'98
  1998, Brno, Czech Republic.
  
  

Other Talks

• TAPAAL Tool Demo
  21. 11. 2011, UNU-IIST, Macao SAR, China.
  
  
• Specification Theories of Modal Transition Systems
  10. 11. 2011, UNU-IIST, Macao SAR, China.
  
  
• Multi-Weighted Energy Games and Modal Specifications
  24. 10. 2011, DTU, Copenhagen, Denmark.
  
  
• Model Checking of Visibly Pushdown Automata
  19. 3. 2009, IT University, Copenhagen, Denmark.
  
  
• Translations between Timed Automata and Petri Nets with Time
  18. 12. 2007, Faculty of Informatics, Masaryk University, Brno, Czech Republic.
  
  
• Timed-Arc Petri Nets vs. Networks of Timed Automata
  23. 11. 2007, Faculty of Informatics, Complutense University of Madrid, Spain.
  
  
• Can UPPAAL Verify a Petri Net Extended with Time Features?
  24. 10. 2007, Seminar Talk, Aalborg Univesity, Denmark.
  
  
• Verification of Recursive Ping-Pong Protocols
  20. 12. 2006, Faculty of Informatics, Masaryk Univesity, Brno, Czech Republic.
  
  
• Verification Techniques for Visibly Pushdown Automata
  15. 12. 2006, Faculty of Informatics, Masaryk University, Brno, Czech Republic.
  
  
• Verification Techniques for Visibly Pushdown Automata
  29. 11. 2006, BRICS Seminars Series, Aalborg, Denmark.
  
  
• Distributed Timed-Arc Petri Nets
  14. 11. 2002, BRICS Seminars Series, Aalborg, Denmark.
  
  
• Bisimilarity Checking of Simple Process Algebras: Complexity Lower Bounds
  17. 6. 2002, Oberseminar, Freiburg, Germany.
  
  
• Complexity of Bisimilarity Problems for Simple Process Algebras
  14. 2. 2002, BRICS Seminars Series, Aalborg, Denmark.
  
  
• Interleaving and Independence Models in Concurrency (qualifying exam)
  24. 1. 2001, Basic Research in Computer Science, Aarhus, Denmark.
  
  
• Pattern Equations and Equations with Stuttering
  19. 11. 1999, Basic Research in Computer Science, Aarhus, Denmark.
  
  
• Process Theory of Commutative Context-Free Grammars
  24. 3. 1999, Faculty of Informatics, Masaryk University, Brno, Czech Republic.
  
  
• Applications of Semigroups in Basic Parallel Processes
  19. 11. 1998, Faculty of Science, Dept. of Mathematics, Masaryk University, Brno, Czech Republic.
  
  
• Context-Free Process Algebras Extended with Deadlocks
  5. 3. 1998, Faculty of Informatics, Masaryk University, Brno, Czech Republic.