Contents of the Petri Nets World
Selected News in the Petri Nets World
April 9, 2014: PNSE'14 - International Workshop on Petri Nets and Software Engineering, Deadline Extension.
April 7, 2014: Call for Workshops, Petri Nets 2015.
April 7, 2014: Call for Papers: 12th International Conference on Service Oriented Computing (ICSOC 2014).
April 2, 2014: Second Call for Papers: Workshop on Biological Processes and Petri Nets (BioPPN).
April 2, 2014: MCC'2014 (Model Checking Contest) - 2nd call for tool participation and update.
March 29, 2014: Call For Participation: FormaliSE 2014, Hyderabad, India, 3 June 2014.
March 27, 2014: FORMATS 2014 - The 12th International Conference on Formal Modeling and Analysis of Timed Systems: Call for Papers.
March 18, 2014: CL 2014, Colloquium Logicum 2014, Neubiberg (Germany), 4-6 Sep 2014.
March 17, 2014: BPM 2014 - Deadline extension until 28th March (abstracts 21stMarch).
March 12, 2014: New book: Formal Methods in Manufacturing.
March 12, 2014: Tenured full professorship in Theoretical Computer Science available at the Department of Informatics, University of Hamburg.
March 3, 2014: MCC'2014 (Model Checking Contest) - Call for Tool Participation.
March 3, 2014: Call for Papers: 1st International Workshop on Safety and Formal Methods - SaFoMe 2014
February 26, 2014: Second Call for Papers: FMICS 2014, The 19th International Workshop on Formal Methods for Industrial Critical Systems.
February 25, 2014: Call for Papers: Workshop on Biological Processes and Petri Nets (BioPPN).
February 24, 2014: Integrated Formal Methods 2014 - First Call for Papers.
February 21, 2014: Four PhD positions on Data Science in the Department of Mathematics and Computer Science at TU Eindhoven available.
February 17, 2014: 5 PhD Positions in Formal Methods, Functional Programming, and Information and Software/Web Security at the Chalmers University of Technology, Sweden.
February 14, 2014: Formal Verification of Service Based Systems FVSBS 2014 @ IEEEWETICE - Parma, Italy.
February 12, 2014: PLACES 2014 at ETAPS - Call for Participation.
February 11, 2014: BPMDS'2014 - Call for Papers (in conjunction with CAISE).
February 4, 2014: Call for Papers: 7th Workshop on Answer Set Programming and Other Computing Paradigms.
February 3, 2014: KI 2014: Call for Papers.
February 1, 2014: Faculty positions at the School of Computer Science, Reykjavik University.
January 29, 2014: 2nd CfP: BPM 2014 - International Conference on Business Process Management.
January 17, 2014: Postdoc positions in SAT/SMT-based Verification available in Trento.
January 16, 2014: Call for Papers: Seventh International Workshop on Practical Applications of Stochastic Modelling (PASM'14).
January 11, 2014: Petri Nets 2014: Submission deadline extension: January 22.
January 9, 2014: ETAPS WORKSHOPS 2014: Joint Call for Papers.
January 7, 2014: ACSD 2014 - Call for papers - ACM TECS special issue.
January 2, 2014: Call for Papers: FormaliSE 2014 (3 June 2014, Hyderabad, India).