Contents of the Petri Nets World
Selected News in the Petri Nets World
October 6, 2013: DIFTS'13 (Design and Implementation of Formal Tools and Systems): Call for Participation
October 4, 2013: New introduction to Petri Nets .
October 4, 2013: Two available PhD Positions on Process Mining at TU Eindhoven/Perceptive Software.
September 27, 2013: FASE 2014: Final Call for Papers (abstract deadline October 4th).
September 16, 2013: Open Ph.D. fellowship at Verimag, Grenoble, France.
September 11, 2013: Model Checking Contest 2013 (MCC'2013): The final pdf-report is out.
September 8, 2013: FESCA at ETAPS 2014: Call for Papers for the 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, April 12th, 2014, Grenoble, France.
September 5, 2013: CPN Tools 4.0 Released.
August 25, 2013: Postdoc positions in SAT/SMT-based Verification available in Trento.
August 15, 2013: ProM 6.3 SalT Released.
August 8, 2013: 3-year PhD Program in Computer Science at the Universita` di Verona, Italy.
July 31, 2013: Eleven PhD scholarships for Computer Science in Pisa, 2013.
July 26, 2013: Call for Workshops for the Sixth Federated Logic Conference (FLoC 2014).
July 17, 2013: Call for Participation 10th International Colloquium on Theoretical Aspects of Computing.
July 12, 2013: Vacancies for postdoctoral researchers in Automated Analysis of Probabilistic Programs at RWTH Aachen.
July 8, 2013: Call for Papers for the 10th International Workshop on the Implementation of Logics.
July 1, 2013: Two postdoc positions available at Computational Biomodeling Laboratory, Turku, Finland.
June 26, 2013: The results of MCC'2013 are out.
June 25, 2013: Departmental Lecturer in Systems Security at Oxford University Vacancy.
June 17, 2013: Call For Papers of International Conference on Mathematics and Computing ICMC 2013.
June 11, 2013: Two PhD vacancies on Process Mining at Eindhoven University of Technology.
June 1, 2013: Open Ph.D. fellowship at Verimag, Grenoble, France.
May 28, 2013: Call for Proposals for Workshops - Petri Nets 2014.
May 27, 2013: Call for Papers LAFM - Latin American Workshop on Formal Methods.
May 23, 2013: Petri Nets 2013 - Call for Participation.
May 15, 2013: PhD position working on Process Mining in PriCE project at TU/e vacant.
May 10, 2013: Call for Participation for the Petri Net Course 2013.
May 10, 2013: PN-Simulator Renew Version 2.4 is now available.
May 7, 2013: PhD research position available in Oldenburg, Germany.
May 3, 2013: Call for Papers for Reachability Problems (RP'13).
May 1, 2013: PostDoc on Compositional Security Analysis for Binaries at Queen Mary University of London.
April 25, 2013: PhD studentship in Formal Verification available in Newcastle, UK.
April 13, 2013: ACSD 2013 PhD Track Second Call for Papers.
April 10, 2013: PNSE'13 @ Petri Nets 2013: Deadline for full papers.
April 5, 2013: Tenure-track position in Theoretical Computer Science in Amsterdam, NL.
April 1, 2013: Call for Papers BPMS2'13 (BPM and Social Software).
March 26, 2013: Call for Papers CALCO Tools 2013.
March 21, 2013: Associate Professor Position at Univ. Toulouse 3 and LAAS-CNRS / Design of Real-time Systems for Control.
March 21, 2013: CiE 2013: Call for Informal Presentations.
March 20, 2013: ART 2013 @ ACSD 2013: Call for Papers.
March 20, 2013: ModBE'13 @ Petri Nets 2013: Call for Papers.
March 20, 2013: PNSE'13 @ Petri Nets 2013: Call for Papers.
March 15, 2013: MCC'2013 - Call for Tool Submission.
March 11, 2013: FORMATS 2013 - 2nd Call for Papers.
March 5, 2013: Research Assistantship at Oxford on Bidirectional Transformations available.
February 27, 2013: CFP 3rd Workshop on Formal Methods in the Development of Software: WS-FMDS 2013.
February 27, 2013: WS-FM 2013: First Call for Papers.
February 26, 2013: ETAPS 2013 - Final Call for Participation.
February 26, 2013: Call for papers: The 5th Workshop on Behavioural Modelling - Foundations and Applications.
February 20, 2013: 4th International Workshop on Biological Processes & Petri Nets - 1st CfP.
February 18, 2013: Call for Papers ICTAC 2013.
February 13, 2013: Call for Papers ICFEM 2013.
February 11, 2013: Call for Papers for the 7th International Workshop on Enterprise & Organizational Modeling And Simulation (EOMAS), June 17, 2013, Valencia, Spain.
February 11, 2013: Call for Papers for the 18th International Workshop on Formal Methods for Industrial Critical Systems.
January 30, 2013: One postdoc and two PhD student positions, Quantitative Modelling of Collective Adaptive Systems
January 29, 2013: CADE-24 Workshop CFPs.
January 23, 2013: First Call for Papers for the 11th International Conference on Formal Modeling and Analysis of Timed Systems.
January 23, 2013: Second Call for Papers for the 24th International Conference on Concurrency Theory.
January 18, 2013: Call for Papers for the 13th International Conference on Application of Concurrency to System Design (ACSD 2013).
January 16, 2013: Call for Papers for the 10th International Colloquium on Theoretical Aspects of Computing.
January 14, 2013: Call for Papers for the 7th International Workshop on Enterprise & Organizational Modeling And Simulation (EOMAS), June 17, 2013, Valencia, Spain.
January 11, 2013: Call for Papers for the 25th International Conference on Advanced Information Systems Engineering (CAiSE 2013).
January 10, 2013: Call for Participation: ETAPS 2013 European Joint Conferences on Theory And Practice of Software.
January 9, 2013: Call for Papers: 5th Central-European Workshop on Services and their Composition (ZEUS) in Rostock, Germany
January 4, 2013: Call for Papers 4th International Workshop on Computational Models for Cell Processes.
January 02, 2013: Call for Papers for the 3rd Track on Adaptive and Reconfigurable Service-oriented and component-based Applications and Architectures (AROSA 2013).