What was New in 2013

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).