What was New in 2010

December 28, 2010: On Friday, February 4th, will be held a symposium to commemorate Carl Adam Petri. For more details see the official webpage at http://www2.informatik.hu-berlin.de/top/lehre/petriweb/.

December 23, 2010: Martin Schwarick enoughes a new version of their analysis tool Marcie here. Marcie supports Generalized Stochastic Petri nets extended with speical arcs (read arcs, inhibitor arcs, equal arcs, reset arcs).

December 22, 2010: Call for Papers: 5th International Conference on Language and Automata Theory and Applications. This yearly conference in theoretical computer science and its applications will this year take place in Tarragona, Spain. At the conference significant room for young scholars will be reserved. Submission deadline is January 3, 2011.

December 18, 2010: Job Offer: Applications are invited for one post-doctoral position to undertake research into Foundations of Wireless Systems. The position is within the SPY Lab of the Department of Computer Science at University of Verona, Italy.More information can be found here.

December 17, 2010: Call for Papers: 8th International Conference on Quantitative Evaluation of SysTems (QEST 2011). In 2011 the conference will be co-located with CONCUR 2011 and TGC 2011. Submission deadline is March 18 for abstracts and March 25, 2011 for papers and tool submissions.

December 17, 2010: In February 2011 there will be a symposium to commemorate Carl Adam Petri. The speakers will present many facets of the scientific influence of Petri, and some of them will also reflect on personal contacts/friendships with him. For more details see here and the official webpage at http://www2.informatik.hu-berlin.de/top/lehre/petriweb/.

December 16, 2010: Call for Papers: Computability in Europe 2011: Models of Computation in Context. Submission deadline is January 14, 2011.

December 15, 2010: Job Offer: In the project From Modal Logic to Probabilistic Processes and Back there is a vacancy for a 4 year PhD position at the Vrije Universiteit in Amsterdam. More information can be found here.

December 13, 2010: 3rd Call for Papers: 32nd 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 in Kanazawa, Japan. It will be co-located with ACSD 2011. Submission deadline for PN 2011 is January 5, 2011.

December 8, 2010: First Call for Papers: 9th Annual International Industrial Simulation Conference. Submission deadline is January 25/February 20, 2011 or latest March 20, 2011.

December 6, 2010: Call for Papers: 3rd Central-European Workshop on Services and their Composition. Submission deadline is January 15, 2011, for papers and tool demonstrations. Please also note that the workshop itself has been rescheduled!

December 3, 2010: Call for Tutorials: Proposals for high-quality tutorials on Petri Nets or related to Petri Nets, from academic research to industrial applications, are sought for Petri Nets 2011. For more details see the email from the tutorial chairs here.

December 3, 2010: Call for Papers: The International Workshop on Petri Nets and Software Engineering, a satellite event of Petri Nets 2011 will take place on June 20 and June 21, 2011 in Kanazawa, Japan. The workshop is about the relation of Petri nets and software engineering. Submission deadline for short and full papers is March 20, 2011. Submission deadline for posters is May 10, 2011.

November 25, 2010: New Tool: The latest version of ProM, ProM 6 has been released and is available on the ProM SourceForge pages (see http://prom.sf.net) and also through the Process Mining website (see http://www.processmining.org). More information can be found here and directly at http://www.processmining.org.

November 25, 2010: New Book: Wolfgang Reisig has written a new introductionary book on Petri Nets. Right now it is available in German only, but an English version is in preparation. More information can be found here (German only).

November 25, 2010: Job Offer: A One Year Research Assistant Post is available in the PRISMATIC project by Professor Marta Kwiatkowsk at the Oxford University Computing Laboratory. More information can be found here.

November 24, 2010: 2nd Call for Papers: The 6th International Federated Conferences on Distributed Computing Techniques will take place in Reykjavik, Iceland, 6-9 June 2011. DisCoTec consists of four main conferences (Coordination, DAIS, FMOODS & FORTE). All conferences share the same deadlines which is February 6, 2011 for abstracts and February 13 for papers.

November 17, 2010: Call for Papers: Second Workshop and Tool Session on DYnamic Aspects in DEpendability Models for Fault-Tolerant Systems. Submission deadline is January 14, 2011.

November 17, 2010: CPN Tools 3.0 is available now. The new release features a number of great new features. More information can be found here and directly at http://cpntools.org/.

November 16, 2010: 2nd Call for Papers: Ninth Workshop on Quantitative Aspects of Programming Languages, a Satellite Event of ETAPS 2011. Submission deadline for regular papers is December 17, 2010.

November 15, 2010 New Tool Entry: A new release of CPN-AMI is out. This version introduces numerous features as you can check at http://move.lip6.fr/software/CPNAMI/history.html. More information about these tool can be found in the Petri Nets Tools Database.

November 15, 2010: Call for Papers: 32nd 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 in Kanazawa, Japan. It will be co-located with ACSD 2011. Submission deadline for PN 2011 is January 5, 2011.

November 13, 2010: The well-known and widely-used CPN tools developed by the CPN group at Aarhus University in Denmark will be transferred from Aarhus to Eindhoven. Read more about this in the email from Kurt Jensen here.

November 5, 2010: Call for Papers: 1st Workshop on Petri Nets Compositions a workshop at Petri Nets 2011. Submission deadline is March 20, 2011.

November 5, 2010: Call for Papers: 2nd Workshop on Biological Processes and Petri Nets a workshop at Petri Nets 2011. Submission deadline is March 20, 2011.

November 3, 2010: 2nd Call for Papers: 11th International Conference on Application of Concurrency to System Design. The ACSD 2011 will be co-located with PN 2011. Submission deadline is January 17, 2011 (abstracts due on January 10).

October 28, 2010: Call for Papers: The 6th International Federated Conferences on Distributed Computing Techniques will take place in Reykjavik, Iceland, 6-9 June 2011. DisCoTec consists of four main conferences (Coordination, DAIS, FMOODS & FORTE). All conferences share the same deadlines which is February 6, 2011 for abstracts and February 13 for papers.

October 26, 2010: Job Offer: One Doctoral Studentship is available in association with ERC Advanced Grant VERIWARE led by Professor Marta Kwiatkowska. Furthermore two one year Research Assistant positions (Grade 6 and Grade 7) in probabilistic model checking are expected to be announced shortly, supervised by Professor Marta Kwiatkowska and Dr Dave Parker. More information can be found here.

October 23, 2010: Job Offer: There is one Researcher position open at the Fraunhofer Attract research group on the topic: Architectures for Auditable Business Process Execution (APEX): Monitoring, Control, and Compliance in the Insurance Domain. German language skills are required for this position. More information (and further links) can be found here.

October 21, 2010: Call for Papers: The Call for Papers for the Special Issue of the LNCS Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) on Networks, Protocols, and Services can be found here. The deadline for paper submission is March 15, 2011.

October 20, 2010: Job Offer: There is One Postdoc Research Fellow Position on System Analysis and Model Checking at Singapore University of Technology and Design. Detailed information can be found here.

October 16, 2010: Call for Papers: 5th International Conference on Language and Automata Theory and Applications. This yearly conference in theoretical computer science and its applications will this year take place in Tarragona, Spain. At the conference significatn room for young scholars will be reserved. Submission deadline is January 3, 2011.

October 11, 2010: Spring School: The 2011 International Spring School in Formal Languages and Applications will take place in Tarragona, Spain from April 18 to April 22, 2011. It is organized by the Research Group on Mathematical Linguistics, Rovira i Virgili University.

October 6, 2010: Call for Papers: 3rd Central-European Workshop on Services and their Composition. Submission deadline is January 15, 2011, for papers and tool demonstrations.

October 5, 2010: Job Offer: At the Institute for Advanced Studies in Lucca, Italy, the PhD School in Computer Science and Engineering has open positions for 12 PhD candidates, 5 assistant professors and one full professor. The closing dates for applications are October 28 for the PhD positions, November 15 for the assistant professor positions and October 7 for for the full professor position.

October 3, 2010: Call for Papers: The European Joint Conferences on Theory and Practice of Software will this time take place in Saarbruecken, Germany from March 26 to April 3, 2011. Submission deadline is October 8, 2010.

September 23, 2010: Call for Papers: Ninth Workshop on Quantitative Aspects of Programming Languages, a Satellite Event of ETAPS 2011. Submission deadline for regular papers is December 17, 2010.

September 21, 2010: Call for Participation: The 10th International Conference on Formal Methods in Computer-Aided Design will take place in Lugano, Switzerland, October 20-23, 2010. Early registration deadline ends on September 23, 2010.

September 16, 2010: Extended Deadline: Third International Workshop on UML & Formal Methods. Submission deadline is extended to September 19, 2010.

September 14, 2010: Final CfPart: 5th International Conference on Graph Transformation, September 29 - October 1, 2010. The workshop is co-located with the SPIN 2010 workshop (Septmber 27 - September 29, 2010).

September 13, 2010: Call for Participation: The 17th Workshop Algorithms and Tools for Petri Nets will take place in a few weeks in Cottbus, Germany, October 7 and 8, 2010. The programme is available here. Registration deadline is September 24, 2010.

September 9, 2010: Last Call for Participation: 7th European Performance Engineering Workshop, Bertinoro (Italy), 23-24 September 2010.

September 6, 2010: Last Call for Papers: Third International Workshop on UML & Formal Methods. Submission deadline is September 15, 2010.

September 3, 2010 New Tool Entry: Three new tools have been added to the Petri Nets Tools Database. Petruchio, a tool for computing Petri net translations of dynamic networks modeled in terms of Pi-calculus processes, SimHPN, which offers a collection of tools devoted to simulation, analysis and synthesis of discrete event systems modeled by hybrid and continuous Petri nets, and mist2, which solves the coverability problem. More information about these tools can be found in the Petri Nets Tools Database.

September 2, 2010: Job Offer: A PhD Studentship with topic Automated Synthesis of Ambient Systems is available in the School of Computing Science, Newcastle University, United Kingdom. The closing date for applications is October 10, 2010.

September 1, 2010: Job Offer: Bergen University College, Faculty of Engineering, has an open position for a PhD fellow in computer science/informatics with a focus on model-driven engineering (MDE) of software systems. The closing date for applications is September 12, 2010.

August 23, 2010: Deadline Extension: Embedded Systems - Applications, Solutions, and Techniques Track at the 26th Annual ACM Symposium on Applied Computing. Submission deadline is extended to August 31, 2010.

August 21, 2010: 2nd Call for Participation: 7th European Performance Engineering Workshop, Bertinoro (Italy), 23-24 September 2010. Early registration deadline is August 31, 2010.

August 19, 2010: Job Offer: In the DASDIP project (Design and Analysis of Secure Distributed Protocols) there is a vacancy for a 2.5 year post-doc position at the Vrije Universiteit in Amsterdam. The project involves research at the crossroads of security, formal methods, and distributed computations and procotols. The closing date for applications is September 21, 2010.

August 19, 2010: Deadline Extension: Software Verification and Testing Track at the 26th Annual ACM Symposium on Applied Computing. Submission deadline is extended to August 31, 2010.

August 17, 2010: Call for Papers: 11th International Conference on Application of Concurrency to System Design. The ACSD 2011 will be co-located with PN 2011. Submission deadline is January 17, 2011 (abstracts due on January 10).

August 16, 2010: CfPart: 5th International Conference on Graph Transformation, September 29 - October 1, 2010. Early registration deadline is September 1, 2010. The workshop is co-located with the SPIN 2010 workshop (Septmber 27 - September 29, 2010).

August 16, 2010: Call for Participation: The 15th International Workshop on Formal Methods for Industrial Critical Systems will take place in Antwerp, Belgium, September 20-21, 2010.

August 16, 2010: Call for Participation: The 10th International Conference on Formal Methods in Computer-Aided Design will take place in Lugano, Switzerland, October 20-23, 2010.

August 13, 2010: Message from the Steering Committee: Candidates for the organisation of the Petri Net conferences in 2013-2015 are invited to apply. See also the document Invitation to Future Conference Organisers.

August 13, 2010: CfPart: 8th International Conference on Formal Modelling and Analysis of Timed Systems, IST Austria, Klosterneuburg (Close to Vienna), Austria, September 8-10, 2010. Late registration deadline is August 20, 2010.

August 12, 2010: Call for Participation: 1st International Conference on Parallel, Distributed and Grid Computing. The conference takes place at the Jaypee University of Information Technology, Waknaghat, Solan (HP), India from October 28 to October 30, 2010. Early registration deadline is September 15, 2010.

August 12, 2010: Call for Participation: The 7th International Conference on Quantitative Evaluation of SysTems will take place in Williamsburg, VA, USA from September 15 to 18, 2010.

August 12, 2010: Summer School: The 5th International Summer School Advanced Course on Petri Nets will take place in Rostock, Germany, from September 13 to 24, 2010. More information can be found here.

August 12, 2010: Important decisions from the Steering committee meeting in Braga, June 2010, can be found here.

August 11, 2010: Last Call for Papers: Embedded Systems - Applications, Solutions, and Techniques Track at the 26th Annual ACM Symposium on Applied Computing. Submission deadline is August 24, 2010.

August 9, 2010: Call for Papers: 32nd 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 in Kanazawa, Japan. It will be co-located with ACSD 2011. Submission deadline for PN 2011 is January 5, 2011.

August 7, 2010: CfPart: 4th Workshop on Membrane Computing and Biologically Inspired Process Calculi, 23 August 2010, Jena, Germany.

August 6, 2010: CfPart: 8th International Conference on Integrated Formal Methods, October 11-14, 2010, Nancy, France. Early registration deadline: September 15, 2010.

August 6, 2010: Call for Papers: The European Joint Conferences on Theory and Practice of Software will this time take place in Saarbruecken, Germany from March 26 to April 3, 2011. Submission deadline is October 8, 2010 (abstracts due on October 1).

August 2, 2010: Deadline Extension: 17th Workshop Algorithms and Tools for Petri Nets. Submission deadline for long papers has been extended to September 1, 2010. Submission deadline for short papers remains September 1, 2010.

July 30, 2010: Call for Participation: 7th European Performance Engineering Workshop, Bertinoro (Italy), 23-24 September 2010. Early registration deadline is August 31, 2010.

July 20, 2010: CfPart: 8th International Conference on Formal Modelling and Analysis of Timed Systems, IST Austria, Klosterneuburg (Close to Vienna), Austria, September 8-10, 2010. Early registration deadline is July 31, 2010.

July 16, 2010: Call for Participation: 7th International Workshop on Web Services and Formal Methods, September 16-17, 2010, New Jersey, USA. Early registration deadline is July 30, 2010.

July 15, 2010: CfPart: 5th International Conference on Graph Transformation, September 29 - October 1, 2010. Early registration deadline is September 1, 2010. The workshop is co-located with the SPIN 2010 workshop (Septmber 27 - September 29, 2010).

July 15, 2010: CfPart: Summer School on Verification Technology, Systems & Applications, September 6-10, 2010, Luxembourg. The deadline for registration is July 23, 2010. That's only a week away!

July 8, 2010: CfPart: 3rd Int. School on Software Engineering and Formal Methods, Advanced Applications of Model Checking Techniques, September 6-10, 2010, Pisa, Italy. The deadline for registration is July 30, 2010.

July 5, 2010: Sad news: Carl Adam Petri, the father of the Petri net research area, has passed away a few days ago. Carl Adam Petri has had a tremendous influence on the theory of concurrency and many other areas of science. We are all very grateful to him for laying the foundation for our flourishing research area.

July 5, 2010: Call for Papers: 7th International Workshop on Formal Aspects of Component Software. Submission deadline is extended to August 2, 2010 (abstracts due on July 28).

July 5, 2010: Call for Papers: Embedded Systems - Applications, Solutions, and Techniques Track at the 26th Annual ACM Symposium on Applied Computing. Submission deadline is August 24, 2010.

July 4, 2010: Call for Papers: Software Verification and Testing Track at the 26th Annual ACM Symposium on Applied Computing. Submission deadline is August 24, 2010.

July 2, 2010: Call for Papers: Tenth International Workshop on Automated Verification of Critical Systems. Submission deadline for full papers is today! Submission deadline for short contributions is August 27, 2010.

June 30, 2010: Job offer: The Embedded System Research Unit of the Information and Communication Technology Center of the Bruno Kessler Foundation, Trento, Italy, is seeking candidates for Post-Doc positions. Applications are invited in the broad field of formal verification and planning. Project proposals may have a duration of between two and three years.

June 29, 2010: Call for Papers: 2nd ACM/SPEC International Conference on Performance Engineering WOSP/SIPEW 2011. Submission deadline is September 18, 2010 for research papers. There are different deadlines for industrial/experience papers, poster and demo papers, and work-inprogress and vision papers.

June 24, 2010: Call for Participation: The 7th International Conference on Quantitative Evaluation of SysTems will take place in Williamsburg, VA, USA from September 15 to 18, 2010. Early registration deadline is July 15, 2010.

June 24, 2010: Summer School: The 5th International Summer School Advanced Course on Petri Nets will take place in Rostock, Germany, from September 13 to 24, 2010. More information can be found here.

June 21, 2010: Summer School: The VTSA 2010 summer school (Verification Technology, Systems & Applications) will take place at the University of Luxembourg from September 6 to 10, 2010. It is organized in cooperation with the Max-Planck Institute for Informatik in Saarbrücken and the INRIA research center in Nancy. Participation is free (except for travel and accommodation costs), but the number of participants is limited. Application deadline is July 23, 2010.

June 14, 2010: Call for Posters: 8th International Conference on Computational Methods in Systems Biology. Submission deadline is June 23 for posters.

June 10, 2010: Call for Papers: 7th International Workshop on Formal Aspects of Component Software. Submission deadline is July 9, 2010 (abstracts due on July 2).

June 9, 2010: Call for Papers: Third International Workshop on UML & Formal Methods. Submission deadline is September 15, 2010.

June 9, 2010: 2nd Call for Papers: 9th International Workshop on Parallel and Distributed Methods in Verification. Submission deadline is June 21, 2010 (abstracts are due on June 14).

June 9, 2010: Final Call for Papers: 4th International Workshop on Testing, Analysis, and Verification of Web Software. Submission deadline is extended to June 22, 2010 (abstracts due on June 15).

June 9, 2010: Final Call for Participation: The 12th International Conference on Measurement and Modeling of Computer Systems will take place at Columbia University, New York, from June 14 to June 18, 2010.

June 9, 2010: Call for Participation: The 4th International Workshop on Verification and Evaluation of Computer and Communication Systems will take place in Paris, France, from July 1 to July 2, 2010.

June 9, 2010: Call for Participation: The International Workshop on Petri Nets and Software Engineering, a satellite event of Petri Nets 2010. It will take place in Braga, Portugal, June 22, 2010.

June 7, 2010: Final Call for Papers: 4th Workshop on Membrane Computing and Biologically Inspired Process Calculi. Submission deadline is extended to June 25, 2010 (abstracts due on June 18).

June 4, 2010: 2nd Call for Papers: 24th European Simulation and Modelling Conference. Submission deadline is July 25, 2010.

June 3, 2010: Call for Workshop and Tutorial Proposals: The 32nd International Conference on Application and Theory of Petri Nets and Concurrency will take place in Kanazawa, Japan in June 2011. Proposals for workshops are now welcome. All workshop proposals must be written in English and should not exceed 3 pages. The deadline for workshop proposals is June 7, 2010. The deadline for tutorial proposals is January 5, 2011.

June 1, 2010: 2nd Call for Papers: 17th Workshop Algorithms and Tools for Petri Nets. Submission deadline is August 1, 2010 for long and September 1, 2010 for short papers. The official workshop language is German, but English contributions are welcome.

May 31, 2010: Call for Papers: 1st International Conference on Parallel, Distributed and Grid Computing. The conference takes place at the Jaypee University of Information Technology, Waknaghat, Solan (HP), India from October 28 to October 30, 2010. The deadline is extended to June 14, 2010.

May 28, 2010: Call for Papers: Young Researchers Workshop on Concurrency Theory. This workshop in Paris, France, is a satellite workshop of CONCUR 2010 and aims at providing a platform for PhD students, and young researchers who recently completed their doctoral studies, to exchange new results related to concurrency theory and receive feedback on their research. Submission deadline for a 4-page abstract is July 2, 2010.

May 25, 2010: Last Call for Papers: 4th International Workshop and Tutorials on Natural Computing. Topics of interest include Petri nets in systems biology. Submission deadline is extended to June 11, 2010.

May 21, 2010: Call for Participation: A tutorial course entitled Petri Net Course - Theory and Applications will take place at the Petri Nets conference this year. The course is mainly for graduate and PhD Students, but it is also open for others. More information can be found here.

May 21, 2010: Deadline Extension: 10th International Conference on Runtime Verification. Contributions about monitoring and analysis of software or hardware system executions are welcome. For more details see the CfP linked above. Submission deadline is extended to June 8, 2010 for regular and short papers. The deadline for tool demonstration proposals remains June 15, 2010.

May 20, 2009: Call for Participation: The 12th International Conference on Measurement and Modeling of Computer Systems will take place at Columbia University, New York, from June 14 to June 18, 2010. Early Registration deadline is May 21, 2010!

May 15, 2010: Call for Participation: The Workshop on Biological Processes and Petri Nets - a workshop at Petri Nets 2010 will take place in Braga, Portugal, June 21, 2010. The workshop focus lies on Petri nets to study biological applications.

May 13, 2010: Call for Participation: The First International Symposium on Architecting Critical Systems will take place in Prague, Czech Republic, June 23-25, 2010.

May 13, 2010: Last Call for Papers: 7th European Performance Engineering Workshop. Among the topics are quantitative extensions of Petri nets. Submission deadline is May 31, 2010 (abstracts are due on May 27).

May 12, 2010: Call for Participation: Computability in Europe 2010: Programs, Proofs, Processes. The conference will take place in Portugal (Ponta Delgada (Azores)) from June 30 to July 4, 2010.

May 11, 2009: Call for Participation: The 10th International Conference on Mathematics of Program Construction will take place in Quebec, Canada, June 21-23, 2010. Early registration deadline is May 31.

May 11, 2010: Final Call for Papers and Deadline Extension: 8th International Conference on Integrated Formal Methods. Submission deadline is extended to May 28, 2010 (abstracts due on May 21).

May 10, 2010: Call for Abstracts for Poster: International Workshop on Petri Nets and Software Engineering, a satellite event of Petri Nets 2010. The use of Petri nets (P/T-nets, coloured Petri nets and extensions) in the formal process of software engineering, covering modelling, validation, and verification, shall be presented as well as their application and tools supporting the disciplines mentioned above. Submission deadline for posters is May 13, 2010.

May 8, 2010: Final Call for Papers: 10th International Conference on Runtime Verification. Contributions about monitoring and analysis of software or hardware system executions are welcome. For more details see the CfP linked above. Submission deadline is June 1, 2010 for regular and short papers, and June 15, 2010 for tool demonstration proposals.

May 7, 2010: Call for Proposals for Workshops: The 32nd International Conference on Application and Theory of Petri Nets and Concurrency will take place in Kanazawa, Japan in June 2011. Proposals for workshops are now welcome. All workshop proposals must be written in English and should not exceed 3 pages. The deadline for workshop proposals is June 7, 2010.

May 6, 2010: Second Call for Papers: 7th International Workshop on Web Services and Formal Methods. Submission deadline is June 4, 2010 (abstracts due on May 28).

May 5, 2010: Call for Papers: 4th International Workshop and Tutorials on Natural Computing. Topics of interest include Petri nets in systems biology. Submission deadline is May 31, 2010.

May 2, 2010: Call for Papers: 4th Workshop on Membrane Computing and Biologically Inspired Process Calculi. Submission deadline is June 12, 2010 (abstracts due on June 7).

May 1, 2010: Announcement and Call for Papers: ICGT 2010 Doctoral Symposium. During ICGT 2010 a Doctoral Symposium will take place. Submission deadline for abstracts is June 11, 2010.

May 1, 2010: Job offer: One postdoctoral position is available at the Automated Formal Verification Group at the Oxford University Computing Laboratory. (Two additional posts for Postdocs are expected to be available soon.) Additionaly one PhD studentship is available in the same group. More information can be found here and here.

April 30, 2010: Call for Papers: 4th International Workshop on Testing, Analysis, and Verification of Web Software. Submission deadline is June 15, 2010.

April 30, 2010: Deadline Extension: 1st International Workshop on Applications of Membrane computing, Concurrency and Agent-based modelling in POPulation biology. Papers should deal with the use of modelling notations such as Petri Nets, Agent-based notations, automata-based notations... Submission deadline is extended to May 19, 2010 (abstracts due on May 12).

April 29, 2010: Final Call for Papers and Deadline Extension: 10th International Conference on Formal Methods in Computer-Aided Design. The conference is all about formal reasoning about computing systems. Submission deadline is May 5, 2010 for abstract and May 12, 2010 for paper submission.

April 28, 2010: A new 3 day long course on Petri Nets will take place at the Petri net conference and the joined ACSD conference. See the announcement here.

April 28, 2010: Deadline Extension: Quantitative Models for Performance and Dependability. Submission deadline is extended to May 9, 2010 for abstracts (submission deadline for extended abstracts remains July 15, 2010).

April 27, 2010: Final Call for Papers: 12th Workshop on MAthematical performance Modeling and Analysis. Abstract submission deadline is May 3, 2010.

April 22, 2010: Deadline Extension: 4th Workshop on Reachability Problems. Contributions related to reachability problems in different computational models and systems are being sought. Among these models are (of course) also Petri-Nets (they are explicitly mentioned in the CfP). Submission deadline is extended to May 11, 2010.

April 20, 2010: Call for Papers: 19th Euromicro International Conference on Parallel, Distributed and Network-based Processing. Submission deadline is July 16, 2010.

April 19, 2010: Call for Tool Demonstrations: 10th Annual International Conference on New Technologies of Distributed Systems. Submission deadline for tools demonstration and projects presentation is April 25, 2010.

April 17, 2010: Second Call for Papers: 10th International Conference on Formal Methods in Computer-Aided Design. The conference is all about formal reasoning about computing systems. Submission deadline is May 5, 2010.

April 16, 2010: Call for Papers: 7th European Performance Engineering Workshop. Among the topics are quantitative extensions of Petri nets. Submission deadline is May 31, 2010 (abstracts are due on May 27).

April 15, 2010: Call for Papers: 3rd Annual North American Simulation Technology Conference. Submission deadline is June 5, 2010.

April 15, 2010: Call for Papers: 12th Workshop on MAthematical performance Modeling and Analysis. Abstract submission deadline is May 3, 2010.

April 12, 2010: Deadline Extension: 8th International Conference on Formal Modelling and Analysis of Timed Systems. Topics of interest include timed Petri Nets. Submission deadline is extended April 25, 2010 (abstracts due on April 18). One may wonder, why they first tell everyone that their deadline is strict?!

April 12, 2010: Call for Papers: Special Session on Petri Nets and Discrete Event Systems at the 36th Annual Conference of IEEE Industrial Electronics Society. Submission deadline is April 26 for special session papers.

April 9, 2010: Deadline Extension: International Workshop on Petri Nets and Software Engineering, a satellite event of Petri Nets 2010. The use of Petri nets (P/T-nets, coloured Petri nets and extensions) in the formal process of software engineering, covering modelling, validation, and verification, shall be presented as well as their application and tools supporting the disciplines mentioned above. Submission deadline is extended to April 15, 2010 for short and full papers. Submission deadline for posters is May 4, 2010.

April 9, 2010: Deadline Extension: 3rd International Workshop on Logics, Agents, and Mobility. Concurrency theory is among the topics of interest, especially with a focus on mobility or dynamics in agent systems. Submission deadline is extended to April 18, 2010.

April 8, 2010: Call for Participation: The 31st International Conference on Application and Theory of Petri Nets and other Models of Concurrency and the 10th International Conference on Application of Concurrency to System Design. will take place in Braga, Portugal, June 21-25, 2010. Early registration deadline is May 15, 2010.

April 8, 2010: Deadline Extension: 8th International Symposium on Automated Technology for Verification and Analysis. The theory of Petri Nets is among the topics (with emphasize on obtaining correct software, i.e. on verification and validation). Submission deadline is extended to April 15, 2010 (abstracts due on April 8).

April 7, 2010: Deadline Extension: 15th International Workshop on Formal Methods for Industrial Critical Systems. Submission deadline is extended to April 25, 2010 (abstracts due on April 17).

April 6, 2010: Call for Papers: 8th International Conference on Formal Modelling and Analysis of Timed Systems. Topics of interest include timed Petri Nets. Submission deadline is April 18, 2010 (abstracts due on April 11). These deadlines are strict!

April 6, 2010: Deadline Extension: Third Workshop on Hot Topics in Measurement & Modeling of Computer Systems. Submission deadline is extended to April 14, 2010.

April 6, 2010: Final Call for Papers: 17th International SPIN Workshop on Model Checking of Software. SPIN is one of the most widely used model checking tools today. The SPIN workshop is a forum for practitioners and researchers interested in state space-based techniques for the validation and analysis of software systems. (I doubt that you have to have the word 'SPIN' in your paper. Any contribution in the field of model checking is welcome.) Submission deadline is April 16, 2010 (abstracts due on April 9).

April 4, 2010: Second Call for Papers: 10th International Conference on Runtime Verification. Another big verification conference! In the past RV was an annual workshop. This year it is an international conference for the first time! Contributions about monitoring and analysis of software or hardware system executions are welcome. For more details see the CfP linked above. Submission deadline is June 1, 2010 for regular and short papers, and June 15, 2010 for tool demonstration proposals. Tutorial proposals have to been sent in until May 1, 2010.

April 3, 2010: Final Call for Papers: 5th International Conference on Graph Transformation. Graph transformation and Petri nets is among the topics of interest. There will even be a workshop on Petri Nets and Graph Transformations (PNGT 2010). Submission deadline is April 16, 2010 (abstracts due on April 9).

April 1, 2010: Second Call for Papers: 1st International Workshop on Applications of Membrane computing, Concurrency and Agent-based modelling in POPulation biology. Papers should deal with the use of modelling notations such as Petri Nets, Agent-based notations, automata-based notations... Submission deadline is May 5, 2010 (abstracts due on April 28).

March 31, 2010: Deadline extension: International Workshop on Scalable and Usable Model Checking for Petri Nets and Other Models of Concurrency. This satellite workshop of Petri Nets 2010 aims to create a forum in order to discuss new techniques and algorithms for model checking with a focus on their actual implementation in dedicated tools that cope with combinatorial explosion. Submission deadline is extended to April 12, 2010 (abstracts due on April 5).

March 29, 2010: 3rd Call for Papers: 3rd International Workshop on Logics, Agents, and Mobility. Concurrency theory is among the topics of interest, especially with a focus on mobility or dynamics in agent systems. Submission deadline is April 9, 2010.

March 25, 2010: Job Offer: The Architecture of Information Systems (AIS) of the Department of Mathematics and Computer Science of the Technische Universiteit Eindhoven (TU/e) is looking for one PhD student working on Behavioral Service Substitution. The position is for 4 years and funded by NWO. The closing date for applications is April 15, 2010.

March 25, 2010: Second Call for Papers: Third Workshop on Hot Topics in Measurement & Modeling of Computer Systems. Submission deadline is April 7, 2010.

March 25, 2010: Call for Papers: 12th Workshop on MAthematical performance Modeling and Analysis. Abstract submission deadline is May 3, 2010.

March 23, 2010: Deadline Extension: 4th International Workshop on Verification and Evaluation of Computer and Communication Systems. Submission deadline is extended to April 12, 2010.

March 23, 2010: Call for Participation: Computability in Europe 2010: Programs, Proofs, Processes. The conference will take place in Portugal (Ponta Delgada (Azores)) from June 30 to July 4, 2010.

March 23, 2010: Call for Papers: 6th International Workshop on Developments in Computational Models - Causality, Computation, and Physics. This workshop is a satellite event of FLoC 2010. Among the topics are new computational models and in particular general concurrent models (with emphasize on the treatment of mobility, trust, and security). Submission deadline is April 1, 2010.

March 22, 2010: Deadline Extension: 7th International Conference on Quantitative Evaluation of SysTems. Submission deadline is extended to April 11, 2010 (abstracts due on April 4).

March 21, 2010: Call for Papers: 15th International Workshop on Formal Methods for Industrial Critical Systems. Submission deadline is April 18, 2010 (abstracts due on April 10).

March 18, 2010: Call for Papers: 7th International Workshop on Model-based Methodologies for Pervasive and Embedded Software. Submission deadline is May 31, 2010.

March 18, 2010: Call for Participation: 1st International Conference on Parallel, Distributed and Grid Computing. The conference takes place at the Jaypee University of Information Technology, Waknaghat, Solan (HP), India from October 28 to October 30, 2010.

March 17, 2010: Call for Papers: International Workshop on Petri Nets and Software Engineering, a satellite event of Petri Nets 2010. The use of Petri nets (P/T-nets, coloured Petri nets and extensions) in the formal process of software engineering, covering modelling, validation, and verification, shall be presented as well as their application and tools supporting the disciplines mentioned above. Submission deadline is April 1, 2010 for short and full papers and May 4, 2010 for posters.

March 17, 2010: Call for Papers: International Workshop on Scalable and Usable Model Checking for Petri Nets and Other Models of Concurrency. This satellite workshop of Petri Nets 2010 aims to create a forum in order to discuss new techniques and algorithms for model checking with a focus on their actual implementation in dedicated tools that cope with combinatorial explosion. Submission deadline is March 30, 2010.

March 17, 2010: Second Call for Papers: 8th International Conference on Computational Methods in Systems Biology. Submission deadline is May 2, 2010 for papers (abstracts due on April 25) and June 23 for posters.

March 16, 2010: Call for Papers: 7th International Conference on Quantitative Evaluation of SysTems. Submission deadline is March 29, 2010 (abstracts due on March 22).

March 16, 2010: Call for Papers: 6th International Workshop on Enterprise & Organizational Modeling and Simulation. One topic of the workshop is business process modeling and simulation using Petri Nets. Submission deadline is March 30, 2010.

March 16, 2010: Call for Papers: 7th International Workshop on Web Services and Formal Methods. Submission deadline is June 4, 2010 (abstracts due on May 28).

March 15, 2010: Job Offer: The Architecture of Information Systems (AIS) of the Department of Mathematics and Computer Science of the Technische Universiteit Eindhoven (TU/e) is looking for a Postdoc working on Process Mining for the EU project on Artifact-Centric Service Interoperation (ACSI). The closing date for applications is April 1, 2010.

March 15, 2010: Last 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 31, 2010.

March 15, 2010: Call for Papers: 8th International Conference on Formal Modelling and Analysis of Timed Systems. Topics of interest include timed Petri Nets. Submission deadline is April 18, 2010 (abstracts due on April 11).

March 15, 2010: Call for Papers: 4th International Workshop and Tutorials on Natural Computing. Topics of interest include Petri nets in systems biology. Submission deadline is May 31, 2010.

March 10, 2010: 2nd Call for Papers: 3rd International Workshop on Logics, Agents, and Mobility. Concurrency theory is among the topics of interest, especially with a focus on mobility or dynamics in agent systems. Submission deadline is April 9, 2010.

March 8, 2010: Call for Papers: Special Track on Artificial Intelligence and Software Engineering at the 5th International ICST Conference on Bio-Inspired Models of Network, Information, and Computing Systems. As an AI technique of interest the CfP explicitly mentions Petri Nets. Paper submission deadline for special session papers is July 16, 2010.

March 8, 2010: Call for Papers: Special Session on Petri Nets and Discrete Event Systems at the 36th Annual Conference of IEEE Industrial Electronics Society. Submission deadline for special session papers is April 5, 2010.

March 7, 2010: Job Offer: Helsinki Institute for Information Technology (HIIT) and the Aalto University Department of Information and Computer Science are inviting applications for postdoctoral and senior researcher positions in several areas of computing research. The closing date for applications is March 15, 2010.

March 5, 2010: Call for Papers: 17th International SPIN Workshop on Model Checking of Software. SPIN is one of the most widely used model checking tools today. The SPIN workshop is a forum for practitioners and researchers interested in state space-based techniques for the validation and analysis of software systems. (I doubt that you have to have the word 'SPIN' in your paper. Any contribution in the field of model checking is welcome.) Submission deadline is April 16, 2010 (abstracts due on April 9).

March 4, 2010: Call for Papers: 8th International Conference on Integrated Formal Methods. Submission deadline is May 21, 2010 (abstracts due on May 14).

March 4, 2010: The list of accepted papers for Petri Nets 2010 is available at http://acsd-petrinets2010.di.uminho.pt/?page=AcceptedPapers

March 3, 2010: Call for Papers: 6th International Workshop on Enterprise & Organizational Modeling and Simulation. One topic of the workshop is business process modeling and simulation using Petri Nets. Submission deadline is March 15, 2010.

March 2, 2010: Final Call for Papers: 8th International Symposium on Automated Technology for Verification and Analysis. The theory of Petri Nets is among the topics (with emphasize on obtaining correct software, i.e. on verification and validation). Submission deadline is April 12, 2010 (abstracts due on April 5).

March 1, 2010: Call for Papers: Third Workshop on Hot Topics in Measurement & Modeling of Computer Systems. Submission deadline is April 7, 2010.

March 1, 2010: Second Call for Papers: Eighth IEEE International Conference on Software Engineering and Formal Methods. Formal methods for miscellaneous systems like real-time, hybrid, and embedded systems. Submission deadline is March 29, 2010 (abstracts due on March 22).

March 1, 2010: Job Offer: The Architecture of Information Systems (AIS) group of the Department of Mathematics and Computer Science of the Technische Universiteit Eindhoven (TU/e) is looking for PhDs and Postdocs working on Process Mining. Application deadline is April 1, 2010.

February 26, 2010: Call for Papers: 7th International Conference on Quantitative Evaluation of SysTems. Submission deadline is March 29, 2010 (abstracts due on March 22).

February 26, 2010: Job Offer: One Doctoral Student Position in Information and Communication Technologies on the research project Word-Level Formal Verification via SMT Solving is is available at the International Doctorate School in Information and Communication Technologies of the University of Trento, Italy.

February 26, 2010: Final Call for Participation: The European Joint Conferences on Theory and Practice of Software will take place from March 20 to March 28 in Paphos, Cyprus. It consists of five confercnes, 19 workshops and four tutorials. Early registration deadline is February 15, 2010, and the normal registration deadline is February 28, 2010.

February 24, 2010: Call for Papers: Quantitative Models for Performance and Dependability. Submission deadline is April 30, 2010 for abstracts and July 15, 2010 for extended abstracts.

February 24, 2010: Final Call for Papers: First International Symposium on Architecting Critical Systems. Submission deadline is March 1, 2010.

February 22, 2010: Call for Papers: 1st International Workshop on Applications of Membrane computing, Concurrency and Agent-based modelling in POPulation biology. Submission deadline is May 5, 2010 (abstracts due on April 28).

February 17, 2010: Call for Papers: 17th Workshop Algorithms and Tools for Petri Nets. Submission deadline is August 1, 2010 for long and September 1, 2010 for short papers. The official workshop language is German, but English contributions are welcome.

February 12, 2010: Call for Papers: 15th International Workshop on Formal Methods for Industrial Critical Systems. Submission deadline is April 18, 2010 (abstracts due on April 10).

February 12, 2010: Call for Papers: 6th International Workshop on Business Process Intelligence. Submission deadline is May 21, 2010.

February 11, 2010: Call for Papers and Deadline Extension: First International Symposium on Architecting Critical Systems. Submission deadline is extended to March 1, 2010.

February 10, 2010: Call for Papers: 24th European Simulation and Modelling Conference. Submission deadline is July 25, 2010.

February 9, 2010: Call for Papers: Second International Workshop on Abstractions for Petri Nets and Other Models of Concurrency. APNOC is a satellite event of Petri Nets 2010, it's goal is to serve as a forum for researchers interested in abstraction techniques and methodologies for modeling and verification of concurrent systems. Submission deadline is March 20, 2009 (abstracts due on March 13, 2009).

February 8, 2010: Call for Papers: 6th International Workshop on Enterprise & Organizational Modeling and Simulation. Submission deadline is to March 15, 2010.

February 7, 2010: Final Call for Papers: 17th International Conference on Analytical and Stochastic Modelling Techniques and Applications. Submission deadline is extended to February 19, 2010.

February 5, 2010: Call for Papers: 9th International Workshop on Parallel and Distributed Methods in Verification. Submission deadline is June 21, 2010 (abstracts are due on June 14).

February 5, 2010: Call for Papers: 7th European Performance Engineering Workshop. Submission deadline is May 31, 2010 (abstracts are due on May 27).

February 4, 2010: Call for Participation: 4th International Conference on Language and Automata Theory and Applications. Early registration deadline is February 15, 2010.

February 4, 2010: Job Offer: There are vacancies for one PhD position at the Radboud University in Nijmegenand and one post-doc position at the Free University in Amsterdam in the DASDIP projects (Design and Analysis of Secure Distributed Protocols).

February 2, 2010: Call for Papers: 3rd International Workshop on Logics, Agents, and Mobility. Concurrency theory is among the topics of interest, especially with a focus on mobility or dynamics in agent systems. Submission deadline is April 9, 2010.

February 1, 2010: Call for Papers: 2nd Central-European Workshop on Services and their Composition. Submission deadline is extended to February 5, 2010 for papers and tool demonstrations.

February 1, 2010: Call for Papers: 5th International Conference on Graph Transformation. Graph transformation and Petri nets is among the topics of interest. Submission deadline is April 16, 2010 (abstracts due on April 9).

January 29, 2010: Call for Papers: 8th Annual International Industrial Simulation Conference. Late submission deadline is March 30, 2010 (early submission deadline is February 20, 2010, but I have no idea what this means).

January 29, 2010: Call for Papers: 1st International Symposium on Games, Automata, Logics, and Formal Verificatio. In the CfP topics like formal methods for complex systems, program analysis, and specification and verification of finite and infinite-state systems are mentioned. Submission deadline is March 28, 2010 (abstracts due on March 21).

January 29, 2010: Call for Papers: 4th Workshop on Reachability Problems. Contributions related to reachability problems in different computational models and systems are being sought. Among these models are (of course) also Petri-Nets (they are explicitly mentioned in the CfP). Submission deadline is April 21, 2010.

January 28, 2010: Call for Participation: The European Joint Conferences on Theory and Practice of Software will take place from March 20 to March 28 in Paphos, Cyprus. It consists of five confercnes, 19 workshops and four tutorials. Early registration deadline is February 15, 2010, and the normal registration deadline is February 28, 2010.

January 27, 2010: 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.

January 27, 2010: Deadline Extension: 7th IFIP Conference on Distributed and Parallel Embedded Systems. Submission deadline is extended to February 15, 2010.

January 24, 2010: Call for Papers: 10th International Conference on Formal Methods in Computer-Aided Design. The conference is all about formal reasoning about computing systems. Submission deadline is May 5, 2010.

January 21, 2010: Call for Papers: 10th International Conference on Runtime Verification. Another big verification conference! In the past RV was an annual workshop. This year it is an international conference for the first time! Contributions about monitoring and analysis of software or hardware system executions are welcome. For more details see the CfP linked above. Submission deadline is June 1, 2010 for regular and short papers, and June 15, 2010 for tool demonstration proposals. Tutorial proposals have to been sent in until May 1, 2010.

January 21, 2010: Call for Papers: 17th International SPIN Workshop on Model Checking of Software. SPIN is one of the most widely used model checking tools today. The SPIN workshop is a forum for practitioners and researchers interested in state space-based techniques for the validation and analysis of software systems. (I doubt that you have to have the word 'SPIN' in your paper. Any contribution in the field of model checking is welcome.) Submission deadline is April 16, 2010 (abstracts due on April 9).

January 20, 2010: Call for Papers: 7th International Conference on Quantitative Evaluation of SysTems. Submission deadline is March 29, 2010 (abstracts due on March 22).

January 20, 2010: Final Call for Papers (update): Computability in Europe 2010: Programs, Proofs, Processes. Submission deadline is January 20, 2010, but even though the deadline for submission of papers is January 20, the actual refereeing process will not start for a week or even slightly longer. Submissions can be made as long as EasyChair allows. Some corrections, updates, and reminders on informal presentations, grant opportunities and the special sessions have been added. See the posting here and the CfP here.

January 20, 2010: Last Call for Papers and Deadline Extension: 10th Annual International Conference on New Technologies of Distributed Systems. Submission deadline is extended to January 31, 2010.

January 19, 2010: Job Offer: Two PhD positions at the group of Discrete Event Systems (http://webdiis.unizar.es/GISED), University of Zaragoza, Spain related to the project DISC: Distributed Supervisory Control of Large Plants.

January 19, 2010: Job Offer: There are 8 PhD positions available in Berlin, Germany in the newly established Graduate School SOAMED (Service-Oriented Architectures in MEDicine), which is organized in Berlin, Germany, by the Humbold University, by the Technical University (TU Berlin) by the Chrite and bei the HPI.

January 19, 2010: Call for Papers: 2nd Central-European Workshop on Services and their Composition. Submission deadline is February 3, 2010 for papers and tool demonstrations.

January 18, 2010: Call for Papers: 17th Workshop on Logic, Language, Information and Computation. Submission deadline is March 7, 2010 (abstracts due on February 28).

January 17, 2010: Job Offer: The School of Computer Science at Reykjavik University is seeking a new dean.

January 17, 2010: Call for Papers: First International Symposium on Architecting Critical Systems. Submission deadline is February 10, 2010.

January 16, 2010: Deadline Extension: 6th International Conference on the Theory and Application of Diagrams. Submission deadline is extended to January 25, 2010.

January 15, 2010: Call for Papers: Eighth International Conference on Business Process Management. Submission on all aspects of BPM are welcome. Submission deadline is March 14, 2010 for full papers and eductaion and curriculum papers, May 17, 2010 for demo submissions and February 15, 2010 for industry contributsions.

January 14, 2010: Call for Papers: Eighth IEEE International Conference on Software Engineering and Formal Methods. Formal methods for miscellaneous systems like real-time, hybrid, and embedded systems. Submission deadline is March 29, 2010 (abstracts due on March 22).

January 11, 2010: Call for Papers: 6th International Workshop on Developments in Computational Models - Causality, Computation, and Physics. This workshop is a satellite event of FLoC 2010. Among the topics are new computational models and in particular general concurrent models (with emphasize on the treatment of mobility, trust, and security). Submission deadline is April 1, 2010.

January 9, 2010: Final Call for Papers: Computability in Europe 2010: Programs, Proofs, Processes. Submission deadline is January 20, 2010.

January 8, 2010: Call for Papers: 7th IFIP Conference on Distributed and Parallel Embedded Systems. Submission deadline is January 31, 2010.

January 7, 2010: Call for Papers: 4th International Workshop on Verification and Evaluation of Computer and Communication Systems. Submission deadline is March 28, 2010.

January 7, 2010: Call for Papers: 8th International Symposium on Automated Technology for Verification and Analysis. The theory of Petri Nets is among the topics (with emphasize on obtaining correct software, i.e. on verification and validation). Submission deadline is April 12, 2010 (abstracts due on April 5).

January 6, 2010: Call for Papers: 3rd Annual North American Simulation Technology Conference. Submission deadline is June 5, 2010.

January 5, 2010: Deadline Extension: 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 extended to January 17, 2010.

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

January 2, 2010: Deadline Extension: 24th ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation. Submission deadline is extended to January 22, 2010.