|
Selected News in the Petri Nets World
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
| 
