In 2010, the PETRI NETS and the ACSD conferences will feature five distinguished keynote speakers of international reputation:
David Harel
Dept. of Computer Science and Applied Mathematics The Weizmann Institute of Science Israel Some Thoughts on Behavioral Programming (Distinguished Carl Adam Petri Lecture) |
|
Kim Guldstrand Larsen
Department of Computer Science Aalborg University Denmark Verification, Compositionality and Refinements for Real-Time Systems |
|
Gabriel Juhás
Faculty of Electrical Engineering and Information Technology Slovak University of Technology Slovak Republic Instance Deadlock: A Mystery Behind Frozen Programs |
|
Maciej Koutny
School of Computing Science Newcastle University United Kingdom Petri Nets with Localities and Testing |
|
Lars M. Kristensen |