|
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.
| 
