News in the Petri Nets World

October 6, 2008

Call for Participation: The 1st International workshop on Software Engineering for Resilient Systems will be held in Newcastle upon Tyne, UK, November 17-19, 2008.

October 2, 2008

New document from the SC: An updated version of the Guidelines for Programme Committees and Organising Committees is available now.

October 2, 2008

Call for Papers: 9th 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. Submission deadline is January 4, 2009.

September 30, 2008

Call for Papers: Seventh Workshop on Quantitative Aspects of Programming Languages Among the topics are probabilistic, timing and general quantitative aspects of distributed and concurrent systems. Submission deadline is Decemter 20, 2008 (abstracts are due on Dezember 18).

September 28, 2008

Call for Papers: 11th Join International Conference on Measurement and Modeling of Computer Systems. Among others the topics cover performance-oriented design of distributed systems and algorithmic techniques for their analysis. Submission deadline is November 17, 2008.

September 28, 2008

Job Offer: Open Professor / Associate Professor in Complex Software Systems and Service position at Swinburne University of Technology, Melbourne, Australia. The applications deadline is 5pm on Friday, 7 November, 2008.

September 26, 2008

Call for Affiliated Workshops: The 20th International Conference on Concurrency Theory will be held from September 1-4, 2009, in Bologna, Italy. The Call for Affiliated Workshops can be found here.

September 24, 2008

Final Call for Papers: 3rd International Conference on Language and Automata Theory and Applications. The topics cover many aspects of theoretical computer science and its applications. Petri Nets are also explicitly mentioned. Submission deadline is October 22, 2008.

September 24, 2008

Job Offer: Open Associate/Assistant Professor in Requirements Engineering position at Denmark's Technical University (DTU). The position is available immediately and should be filled by September 2009 at the latest.

September 23, 2008

Call for Participation: The 22nd European Simulation and Modelling Conference will be held in Le Havre, France, October 27-29, 2008. The preliminary programme can be found here.

September 23, 2008

New document from the SC: There is a new document at the Information from the Steering Committee page entitled Proposal for: Requirements and Evaluation of tool papers for PETRI NETS. From the abstract: This paper gives guidelines for the publication of papers on software tools, in particular Petri net tools. The guidelines are illustrated by an example.

September 22, 2008

Call for Participation: The 3rd International Workshop Models@run.time will be held in Toulouse, France, September 30, 2008.

September 22, 2008

Call for Papers: First International Conference on Intensive Applications and Services. Submission deadline is November 1, 2008.

September 18, 2008

Call for Papers: 2nd IFAC Workshop on Dependable Control of Discrete Systems. Submission deadline is January 8, 2009.

September 17, 2008

Call for Papers: 23rd International Conference on Advanced Information Networking and Applications. Submission deadline is October 6, 2008.

September 16, 2008

Call for Participation: The 8th International Conference on Formal Methods in Computer-Aided Design will be held at Embassy Suites Portland--Downtown, Portland, Oregon, USA, November 17-20, 2008.

September 16, 2008

Call for Papers: 12th International Conference on Hybrid Systems: Computation and Control. Submission deadline is October 10, 2008.

September 16, 2008

Call for Papers: Symposium on Automatic Program Verification. Submission deadline is November 8, 2008.

September 12, 2008

Call for Papers: The Fifth International Conference on Networking and Services. Submission deadline is November 1, 2008.

September 11, 2008

Final 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). The deadlines are strict!

September 11, 2008

Job Offer: Open PhD Positions at IBM Zurich Research Lab / Business Integration Technologies Group.