Contents of the Petri Nets World
Selected News in the Petri Nets World
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).
December 26, 2013: International Conference on Business Process Modeling, Development, and Support (BPMDS'2014) - Call for Papers.
December 19, 2013: Deadline approaching: 35th International Conference onApplication and Theory of Petri Nets and Concurrency.
December 16, 2013: FORTE 2014 Call for Papers.
December 15, 2013: ACSD 2014: Call for Papers.
December 11, 2013: FORMATS 2014: First Call for Papers.
December 5, 2013: PhD/PostDoc school on "Change in Ontologies andDatabases" (29-31 January 2014) in Bozen-Bolzano, Italy.
November 25, 2013: Postdoc position on formal contracts available at the IFSE working group.
November 20, 2013: Model Checking Contest 2014: Second Call for Models.
November 19, 2013: New book "Time and Petri Nets" available from Louchka Popova-Zeugmann.
November 12, 2013: Three post-doc positions in Computer Science available at GSSI L'Aquila, Italy.
November 8, 2013: First Call for Papers, 21st Annual European Concurrent Engineering Conference, April 28-30, 2014, Novotel, Bruges, Belgium.
November 4, 2013: Call for Papers: BPM 2014 - International Conference on Business Process Management.
November 1, 2013: Important information from the Petri Nets Steering Committee meeting in Milano, June 2013.
October 23, 2013: Two PhD / postdoc positions positions in stochastic model checking available, University of Twente.
October 17, 2013: Call for Papers for the 2nd Asia-Pacific Conference on Business Process Management.
October 15, 2013: Positions for PostDoc/Senior Researchers in Process Mining (National research university "Higher school of economics", Moscow, Russian Federation).
October 11, 2013: Call for Papers: Essays in Memory of Mark Stickel.
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).