www.informatik.uni-hamburg.de/TGI/PetriNets Imprint/Disclaimer
|
|
|
Contents of the Petri Nets World
|
News in the Petri Nets World
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
December 23, 2011: 2nd Call for Papers: ACSD 2012
December 23, 2011: 3rd Call for Papers: Petri Nets 2012
December 19, 2011: Call for Papers: FMICS 2012
December 13, 2011: Call for Papers: DLT 2012
December 05, 2011: Call for Papers: INCOM 2012 Special Session "Petri net and their applications in industry"
December 04, 2011: Call for Papers: BioPPN 2012, 3rd International Workshop on Biological Processes and Petri Nets Hamburg, Germany, June 25, 2012
November 27, 2011: Call for Papers: 10th International Conference on Business Process Management (BPM 2012)
November 14, 2011: Research Assistant/Associate position in Verification and Language Support for GPU Programming at Imperial College London
October 26, 2011: CfP: Modelling Foundations and Applications, July 2012
October 24, 2011: 1st CfP LAM'12 (Logics, Agents, and Mobility)
October 12, 2011: Application of Concurrency to System Design (ACSD 2012) CfP
October 07, 2011: IEEE Task Force on Process Mining releases Process Mining Manifesto
September 30, 2011: Assistant Professor position in Modelling and Analysis of Concurrent Systems at IMT Lucca
September 23, 2011: Concur 2012: Call for affiliated workshops
September 15, 2011: 12 PhD positions on CSE at IMT Lucca (Italy). The deadline for Application is Sept. 28.
September 12, 2011: Position in Softw. Engin. & IT Security, Fraunhofer ISST.
September 12, 2011: PhD research fellow position in software modelling and verification for sensor networks in Bergen
September 09, 2011: Call for papers: European Joint Conferences on Theory And Practice of Software
September 09, 2011: Call for workshop proposals for the 9th International Conference on Integrated Formal Methods and the 3rd International Conference on Abstract State Machines (ASM)
September 08, 2011: Post Doct Position on Distributed Simulation, Interoperablity, Ontology at University of Bordeaux
September 04, 2011: 2011 International Fall School in Formal Languages and Applications (FSFLA 2011) in Tarragona, Spain, October 31st - November 4, 2011.
|
|
www.informatik.uni-hamburg.de/TGI/PetriNets Imprint/Disclaimer
|