News in the Petri Nets World

October 15, 2009

Call for Papers: 24th ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation. Submission deadline is January 8, 2010.

October 14, 2009

First Call for Papers: 21st IEEE International Symposium on Rapid System Prototyping. Suggested topics include application of formal methods to prototyping and system verification/validation. Submission deadline is February 10, 2010 (abstracts due on February 5).

October 14, 2010

First Call for Papers: 31st International Conference on Application and Theory of Petri Nets and other Models of Concurrency. This time this major event for the Petri Net community takes place at Braga, Portugal. It will be co-located with ACSD 2010. Submission deadline for PN 2010 is January 5, 2010.

October 13, 2009

2nd Call for Papers: 12th International Conference on Measurement and Modeling of Computer Systems. Submission deadline is November 9, 2009 (abstracts due on November 2).

October 10, 2009

Call for Papers: 4th International Conference on Language and Automata Theory and Applications. Submission deadline is December 3, 2009.

October 9, 2009

Call for Papers: First International Conference on Complex Systems Design and Management. Submission deadline is January 22, 2010 (abstracts due on January 4).

October 8, 2009

2nd Call for Participation: Formal Methods 2009 the 16th FM Symposium and 2nd World Congress Theory meets practice will take place from November 2 to November 6, 2009 in Eindhoven, the Netherlands. The "FMweek" consists of several workshops and tutorials. Have a look at http://www.win.tue.nl/fmweek for more information.

October 8, 2009

Call for Participation: The 1st International Workshop on Formal Methods for Aerospace will take place on November 3, 2009 in Eindhoven, the Netherlands. It is part of FM2009. Registration for FMA 2009 is now open now, but after October 19 late registration fees will apply.

Ocotber 7, 2010

First Call for Papers: 10th International Conference on Application of Concurrency to System Design. The ACSD serves as a forum for disseminating theoretical results with application potential and advanced methods and tools for the design of complex concurrent systems. This year's ACSD is co-located with Petri Nets 2010. Submission deadline for ACSD 2010 is January 10, 2010.

October 6, 2010

A new version of the Renew tool has been announced.

October 6, 2009

Call for Papers: 10th Annual International Conference on New Technologies of Distributed Systems. Submission deadline is January 20, 2010.

October 6, 2009

Call for Participation: The 14th International Workshop on Formal Methods for Industrial Critical Systems will take place at the start of November 2009. It is part of the formal methods week in Eindhoven, The Netherlands. Have a look at http://www.win.tue.nl/fmweek for more information.

October 4, 2009

Call for Participation: The 9th International Conference on Formal Methods in Computer-Aided Design will take place November 15-18, 2009 in Austin, Texas, USA. Registration is now open. Early registration ends on October 11, 2009.

October 1, 2009

Job Offer: The Department of Mathematics and Computer Science of the Technische Universiteit Eindhoven has a vacancy for a Postdoc in Health Monitoring of Systems-of-Systems using Process Mining as part of the Poseidon project V32.048 within the expertise group Architecture of Information Systems (AIS).

September 30, 2009

Deadline Extension: Second International Workshop on UML & Formal Methods. Submission deadline is extended to October 12, 2009.

September 29, 2009

Call for Papers: Eighth Workshop on Quantitative Aspects of Programming Languages - a satellite event of ETAPS 2010. Submission deadline is December 21, 2009.

September 28, 2009

Call for Participation: The 3rd International Workshop on Formal Methods for Interactive Systems will take place on November 2, 2009 in Eindhoven, the Netherlands. It is part of FM2009.

September 28, 2009

Call for Participation: The 18th International Conference on Applications of Declarative Programming and Knowledge Management will take place November 5-7, 2009 in Evora, Portugal. Registration is now open. Early registration is available until October 15, 2009.

September 25, 2009

Call for Papers: Workshop on Biological Processes and Petri Nets - a workshop at Petri Nets 2010. The workshop focus lies on Petri nets to study biological applications. Submission deadline is March 20, 2010.