www.informatik.uni-hamburg.de/TGI/PetriNets
|
|
|
Contents of the Petri Nets World
|
News in the Petri Nets World
May 14, 2008: Call for Papers: First Annual North American Simulation Technology Conference. Submission deadline is June 5, 2008. May 14, 2008: Call for Participation: The 2nd Artist Workshop on Models of Computation and Communication will be held in Eindhoven, Netherlands, July 3-4, 2008. May 13, 2008: Call for Papers: First International Colloquium on Foundations of Mobile Systems Security and Reliability. Submission deadline is May 23, 2008. May 13, 2008: First Call for Papers: The European Joint Conferences on Theory and Practice of Software. Submission deadline is October 9, 2008 (abstracts are due on October 2). May 13, 2008: Call for Papers: 2008 International Conference on Computational Intelligence for Modelling, Control and Automation. Submission deadline is August 29, 2008. May 10, 2008: Call for Papers: First International Workshop on UML & Formal Methods. Submission deadline is July 1, 2008. May 10, 2008: Call for Papers: International Workshop on Quality Aspects of Coordination. Submission deadline is June 27, 2008 (abstracts are due on June 20). May 10, 2008: Last Call for Papers: International Academic Research Conference Visions of Computer Science. Submission deadline is May 13, 2008. May 9, 2008: Deadline extension: 8th International Conference on Formal Methods in Computer-Aided Design. Submission deadline is extended to May 19, 2008. May 9, 2008: Call for Papers: 7th International Workshop on Rare Event Simulation. Submission deadline is May 30, 2008. May 8, 2008: WoPeD 1.6.1 has been released. The new version (a bugfix release) mainly fixes two bugs with the operator switch and trigger positioning of transitions. A new feature concerning reachability/coverability graph construction and visualization can be previewed and is planed for the upcoming Version 2.0.0. May 8, 2008: 2nd Call for Papers: 5th International Workshop on Web Services and Formal Methods. Submission deadline is May 26, 2008 (abstracts are due on May 19). May 5, 2008: Job offer: The Center of Informatics and Information Technology (CITI) at the Department of Informatics of FCT/Universidade Nova de Lisboa welcomes applications for one (1) post-doctoral scholarship position in the areas of programming languages and logic in computer science. Deadline for applications is June 15, 2008. May 4, 2008: Call for Posters: International Workshop on Petri Nets and Distributed Systems a satellite event of Petri Nets 2008 and ACSD 2008. Submission deadline for posters is May 9, 2008. May 4, 2008: Call for Participation: The 35th International Colloquium on Automata, Languages and Programming will be held in Reykjavik, Iceland, July 6-13, 2008. Many aspects of Theoretical Computer Science are covered. May 3, 2008: Call for Participation: Computability in Europe 2008: Logic and Theory of Algorithms will be held at the University of Athens, Greek, June 15-20, 2008. May 1, 2008: Call for Participation: The 7th International Workshop on Software and Performance will be held in Princeton, NJ, USA, June 23-26 2008. April 28, 2008: Final Call for Papers: 8th International Conference on Formal Methods in Computer-Aided Design. Submission deadline is May 12, 2008. April 28, 2008: Call for Participation: The 6th Annual Industrial Simulation Conference will be held in Lyon, France, June 9-11, 2008. April 28, 2008: Call for Participation: The 15th Workshop on Logic, Language, Information and Computation will be held at Heriot-Watt University, Edinburgh, Scotland, July 1-4, 2008. April 25, 2008: Deadline Extension: 24th UK Performance Engineering Workshop. Submission deadline is extended to May 14, 2008. April 24, 2008: Final Call for Tool Papers: 5th International Conference on Quantitative Evaluation of SysTems. Submission deadline for Tool Papers is April 28, 2008. April 24, 2008: Call for Papers and Participation: Ninth Workshop and Tutorial on Practical Use of Coloured Petri Nets and CPN Tools. Submission deadline is August 15, 2008.
|
|
In April 2005 this site has moved from Aarhus to Hamburg.
Before that time the site was hosted and maintained by the
CPN group
in Aarhus. We would like to thank the CPN group for their great work
maintaining this site and the mailing list!
In particular we would like to thank Kjeld H. Mortensen, the former maintainer of the Petri Nets World site, who helped us with all our problems while transfering this site and quickly answerd all our questions - even if it was deep night. Thank you, Kjeld! :) |
|
www.informatik.uni-hamburg.de/TGI/PetriNets
|