www.informatik.uni-hamburg.de/TGI/PetriNets Imprint/Disclaimer
|
|
|
Contents of the Petri Nets World
|
Selected News in the Petri Nets World
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).
|
|
www.informatik.uni-hamburg.de/TGI/PetriNets Imprint/Disclaimer
|