Universität Rostock   |   Fakultät für Informatik und Elektrotechnik   |   Institut für Informatik  
Start - Home   |   Aktuelles - Announcements   |   Lehre - Teaching  |   Forschung - Research  |   Mitarbeiter - Staff  |   Kontakt - Contact
 
Wissenschaftliche Veranstaltungen

Scientific Events

Karsten Wolf (geb. Schmidt),
Prof. Dr. rer. nat. habil.

(Mit)Organisation / (Co)Organisation

Sep 2010 5th Advanced Course on Petri Nets in Rostock
Sep 2008 German Workshop Algorithmen und Werkzeuge für Petrinetze in Rostock
Sep 2008 5th Int. Workshop Web Services and Formal Methods in Milan
Jun 2007 Workshop on Formal Aspects of Business Processes and Web Services in Siedlce
Jun 2006 Advanced Tutorial on Petri Net Modeling of Business Processes in Turku
Sep 2005 German Workshop Algorithmen und Werkzeuge für Petrinetze


Programmkommitee-(Ko-)Vorsitz / Program Committee (Co) Chair

Jun 2009 30th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency in Paris
Sep 2008 5th International Workshop on Web Services and Formal Methods in Milan


Programmkommittee-Mitgliedschaft / Program Committee Membership

Jul 2009 International Conference on Application of Concurrency to system design in Augsburg
Jun 2009 Int Workshop on Abstractions for Petri Nets and Other Models of Concurrency in Paris
Oct 2008 9th Workshop and Tutorial on Practical Use of Coloured Petri Nets and CPN Tools in Aarhus
Jun 2008 29th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency in Xian
Jun 2008 International Workshop on Concurrency Methods: Issues and Applications in Xian
Jun 2008 International Workshop on Process Mining and Petri Net Synthesis in Xian
Mar 2008 Workshop on Domain Specific Modeling Languages in Berlin
Mar 2008 Workshop on Petri Net Tools and Applications in Marseille
Oct 2007 8th Workshop and Tutorial on Practical Use of Coloured Petri Nets and CPN Tools in Aarhus
Sep 2007 4th International Workshop on Web Services and Formal Methods in Brisbane
Jun 2007 28th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency in Siedlce
Oct 2006 Workshop open.BPM in Hamburg
Oct 2006 7th Workshop and Tutorial on Practical Use of Coloured Petri Nets and CPN Tools in Aarhus
Jun 2006 27th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency in Turku
Oct 2005 6th Workshop and Tutorial on Practical Use of Coloured Petri Nets and CPN Tools in Aarhus
Oct 2004 5th Workshop and Tutorial on Practical Use of Coloured Petri Nets and CPN Tools in Aarhus
Oct 2002 Workshop Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen in Potsdam
Oct 2002 5th Brazilian Workshop on Formal Methods in Gramado
Jul 2002 2nd European Conference on Intelligent Technologies in Iasi
Jun 2002 23th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency in Adelaide
Jun 2000 21th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency in Aarhus


Impressum