What was New in 2012

December 23, 2012: Call for Papers International Conference on Business Process Modeling, Development, and Support (BPMDS'2013)

December 21, 2012: 20th Workshop on Logic, Language, Information and Computation, 2nd Call for Papers.

December 18, 2012: 2nd Call for Papers 7th International Conference on Tests and Proofs (TAP 2013).

December 14, 2012: 2nd Call for Papers for Logics, Agents, and Mobility (LAM'13)

December 05, 2012: Call for Papers for the 34th International Conference on Application and Theory of Petri Nets and Concurrency: Milano, Italy, June 24-28, 2013.

November 30, 2012: Call for Papers for the 13th International Conference on Application of Concurrency to System Design (ACSD 2013).

November 30, 2012: Call for Papers for the 10th International Symposium on Formal Aspects of Component in Nanchang, China.

November 20, 2012: 2nd Call for Papers for Integrated Formal Methods 2013, Turku, Finland.

November 16, 2012: Special Issue of ACM Transactions on Management Information Systems on Business Process Intelligence

November 11, 2012: Call for Papers for the International Conference on Business Process Modeling, Development, and Support (BPMDS'2013).

November 04, 2012: Second Call for Model for the Model Checking Contest 2013.

October 26, 2012: PhD position available in model-driven software engineering and verification at Bergen University College, Faculty of Engineering.

October 26, 2012: First Call for Papers for Logics, Agents and Mobility (LAM'13) in Exeter, United Kingdom, April 2-5, 2013.

October 24, 2012: First Call for Papers for TAP 2013 in Budapest, Hungary, June 17-21, 2013.

October 12, 2012: ePNK version 1.0.0 released.

October 11, 2012: WoPeD 3.0.0 has been released.

October 10, 2012: The first BPM Newsletter can now be downloaded.

October 01, 2012: Call for Book Chapters - Theory and Application of Multi-Formalism Modeling.

October 01, 2012: First Call for Papers for Integrated Formal Methods 2013 in Turku, Finland.

September 26, 2012: Call for Papers for Petri Nets 2013 in Milano, Italy.

September 25, 2012: Call for Papers ACSD 2013 in Barcelona, Spain.

September 24, 2012: PhD position in model-driven software engineering and verification available in Bergen University College.

September 20, 2012: Invitation to organise Petri Net conferences in 2015 and 2016.

September 20, 2012: Call for Papers for the 25th International Conference on Advanced Information Systems Engineering (CAiSE 2013) in Valencia, Spain.

September 18, 2012: Second Call for Papers for the 8th Australasian Ontology Workshop (AOW 2012).

September 17, 2012: Final Call for Participation for the 7th IFIP Conference on Theoretical Computer Science 2012.

September 15, 2012: Call for Nominations for the SPEC Distinguished Dissertation Award 2012.

September 14, 2012: 2 Ph.D. Positions in Computer Security available at the University of Luxembourg.

September 12, 2012: The raw report of the model checking contest from Petri Nets 2012 is now online.

September 10, 2012: PhD positions in Computer Science available at Univ. Padova, Italy. The deadline is Oct. 8, 2012.

September 07, 2012: Call for Papers for the special session on Process Mining at CIDM 2013, Singapore.

September 05, 2012: PhD positions in Formal Software Modeling and Verification available at RWTH Aachen University.

September 04, 2012: Last Call for Participation for ESORICS 2012 in Pisa, Italy.

September 03, 2012: Call for Participation for Reachability Problems 2012, September 17-19, 2012, in Bordeaux, France.

September 03, 2012: First Call for Papers for the 24th International Conference on Automated Deduction June 9-14, 2013, Lake Placid, New York, USA.

August 31, 2012: Version 6.2 of the ProM tool has been released.

August 29, 2012: Call for Papers for the ACM SAC 2013 Enterprise Engineering Track in Coimbra, Portugal.

August 26, 2012: First Call for Papers for the European Joint Conferences on Theory And Practice of Software (ETAPS 2013) in Roma, Italy.

August 21, 2012: Call for Participation for 14th International Conference on Formal Engineering Methods (ICFEM 2012) (12-16th Nov. 2012, Kyoto).

August 15, 2012: First Call for Papers for the Nordic Workshop on Programming Theory (NWPT 2012) in Bergen, Norway.

August 09, 2012: Second Call for Papers for the Software Verification and Testing Track at ACM SAC 2013.

August 06, 2012: PhD positions in Formal Software Modeling and Verification available at RWTH Aachen University.

July 31, 2012: Call for Papers for AWPN 2012 in Vienna, Austria.

July 24, 2012: Last days for VALID Coimbra, Portugal.

May 08, 2012: Petri Net Course during Petri Nets 2012 in Hamburg, Germany in June 2012.

May 04, 2012: The programme for Petri Nets 2012 and ACSD 2012 is now available online.

April 29, 2012: Call for Papers for BPMS2'12 (BPM and Social Software) in Tallinn Estonia.

April 17, 2012: Course on Petri Nets at Barcelona-UPC in May 2012.

April 16, 2012: Call for Papers for the 5th International Workshop on Petri Nets, Graph Transformation and other Concurrency Formalisms (PNGT 2012) in Bremen, Germany.

April 06, 2012: Call for Tutorials and Workshops for the 13th Annual MESM'2012, December 10-12, 2012, in Muscat, Oman.

March 25, 2012: Call for Proposals for Workshops at Petri nets 2013 in Milan, Italy.

March 19, 2012: Call for Papers for Petri Nets and Software Engineering (PNSE'12) workshop, a satellite event of Petri Nets 2012.

March 01, 2012: Symposium "Pioneers of Computer Science: From Turing to Harel": David Harel, one of the leading computer scientists in the world, will receive an honorary doctorate from Eindhoven University of Technology (TU/e) on April 27th 2012 during the Dies Natalis of TU/e.

March 01, 2012: A Professor/Associate professorship in Formal Methods is open at the CHALMERS University of Technology, Gothenburg, Sweden, Department of Computer Science and Engineering

March 01, 2012: The new version 2.3 of the Java-based Petri net tool Renew is avaliable.

February 20, 2012: First announcement and call for submissions: THE TURING CENTENARY CONFERENCE in Manchester, UK

February 09, 2012: Call for Papers: International Conference on Business Process Modeling, Development, and Support (BPMDS'2012)

January 27, 2012: Call for Papers for the 2nd workshop on Petri Nets Compositions (Componet)

January 18, 2012: 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 a PhD working on Process Mining.

January 05, 2012: Call for Papers: CSD&M 2012

January 05, 2012: 4th Call for Papers: Petri Nets 2012