Job Offer: There are vacancies for one PhD position at the Radboud University in Nijmegenand and one post-doc position at the Free University in Amsterdam in the DASDIP projects (Design and Analysis of Secure Distributed Protocols).

 Lire l'article

  Petri Nets World : Online Services for the International Petri Nets Community

The primary online services for the international Petri Nets community. The services are supervised by the Petri Nets steering committee.

Voir toute l'actualité

10 mars 2010 : March 7, 2010

Job Offer: Helsinki Institute for Information Technology (HIIT) and the Aalto University Department of Information and Computer Science are inviting applications for postdoctoral and senior researcher positions in several areas of computing research. The closing date for applications is March (...)

10 mars 2010 : March 8, 2010

Call for Papers: Special Track on Artificial Intelligence and Software Engineering at the 5th International ICST Conference on Bio-Inspired Models of Network, Information, and Computing Systems. As an AI technique of interest the CfP explicitly mentions Petri Nets. Paper submission deadline for (...)

10 mars 2010 : March 8, 2010

Call for Papers: Special Session on Petri Nets and Discrete Event Systems at the 36th Annual Conference of IEEE Industrial Electronics Society. Submission deadline for special session papers is April 5, 2010.

5 mars 2010 : March 1, 2010

Call for Papers: Third Workshop on Hot Topics in Measurement & Modeling of Computer Systems. Submission deadline is April 7, 2010.

5 mars 2010 : March 1, 2010

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 PhDs and Postdocs working on Process Mining. Application deadline is April 1, (...)

5 mars 2010 : March 4, 2010

The list of accepted papers for Petri Nets 2010 is available at http://acsd-petrinets2010.di.uminho.pt/?page=AcceptedPapers

5 mars 2010 : March 4, 2010

Call for Papers: 8th International Conference on Integrated Formal Methods. Submission deadline is May 21, 2010 (abstracts due on May 14).

5 mars 2010 : February 8, 2010

Call for Papers: 6th International Workshop on Enterprise & Organizational Modeling and Simulation. Submission deadline is to March 15, 2010.

4 mars 2010 : February 12, 2010

Call for Papers: 6th International Workshop on Business Process Intelligence. Submission deadline is May 21, 2010.

4 mars 2010 : February 11, 2010

Call for Papers and Deadline Extension: First International Symposium on Architecting Critical Systems. Submission deadline is extended to March 1, 2010.

4 mars 2010 : February 17, 2010

Call for Papers: 17th Workshop Algorithms and Tools for Petri Nets. Submission deadline is August 1, 2010 for long and September 1, 2010 for short papers. The official workshop language is German, but English contributions are (...)

4 mars 2010 : February 12, 2010

Call for Papers: 15th International Workshop on Formal Methods for Industrial Critical Systems. Submission deadline is April 18, 2010 (abstracts due on April 10).

4 mars 2010 : February 22, 2010

Call for Papers: 1st International Workshop on Applications of Membrane computing, Concurrency and Agent-based modelling in POPulation biology. Submission deadline is May 5, 2010 (abstracts due on April 28).

4 mars 2010 : February 26, 2010

Job Offer: One Doctoral Student Position in Information and Communication Technologies on the research project Word-Level Formal Verification via SMT Solving is is available at the International Doctorate School in Information and Communication Technologies of the University of Trento, (...)

4 mars 2010 : February 24, 2010

Call for Papers: Quantitative Models for Performance and Dependability. Submission deadline is April 30, 2010 for abstracts and July 15, 2010 for extended abstracts.

2 mars 2010 : February 10, 2010

Call for Papers: 24th European Simulation and Modelling Conference. Submission deadline is July 25, 2010.

9 février 2010 : March 10, 2010

2nd Call for Papers: 3rd International Workshop on Logics, Agents, and Mobility. Concurrency theory is among the topics of interest, especially with a focus on mobility or dynamics in agent systems. Submission deadline is April 9, (...)

9 février 2010 : February 5, 2010

Call for Papers: 7th European Performance Engineering Workshop. Submission deadline is May 31, 2010 (abstracts are due on May 27).

9 février 2010 : February 4, 2010

Job Offer: There are vacancies for one PhD position at the Radboud University in Nijmegenand and one post-doc position at the Free University in Amsterdam in the DASDIP projects (Design and Analysis of Secure Distributed Protocols).

9 février 2010 : March 3, 2010

Call for Papers: 6th International Workshop on Enterprise & Organizational Modeling and Simulation. One topic of the workshop is business process modeling and simulation using Petri Nets. Submission deadline is March 15, (...)

9 février 2010 : February 5, 2010

Call for Papers: 9th International Workshop on Parallel and Distributed Methods in Verification. Submission deadline is June 21, 2010 (abstracts are due on June 14).

30 janvier 2010 : January 27, 2010

Deadline Extension: 7th IFIP Conference on Distributed and Parallel Embedded Systems. Submission deadline is extended to February 15, 2010.

30 janvier 2010 : January 24, 2010

Call for Papers: 10th International Conference on Formal Methods in Computer-Aided Design. The conference is all about formal reasoning about computing systems. Submission deadline is May 5, 2010.

30 janvier 2010 : January 29, 2010

Call for Papers: 4th Workshop on Reachability Problems. Contributions related to reachability problems in different computational models and systems are being sought. Among these models are (of course) also Petri-Nets (they are explicitly mentioned in the CfP). Submission deadline is April 21, (...)

30 janvier 2010 : January 29, 2010

Call for Papers: 8th Annual International Industrial Simulation Conference. Late submission deadline is March 30, 2010 (early submission deadline is February 20, 2010, but I have no idea what this means).

30 janvier 2010 : January 29, 2010

Call for Papers: 1st International Symposium on Games, Automata, Logics, and Formal Verificatio. In the CfP topics like formal methods for complex systems, program analysis, and specification and verification of finite and infinite-state systems are mentioned. Submission deadline is March 28, (...)

22 janvier 2010 : January 21, 2010

Call for Papers: 10th International Conference on Runtime Verification. Another big verification conference! In the past RV was an annual workshop. This year it is an international conference for the first time! Contributions about monitoring and analysis of software or hardware system (...)

22 janvier 2010 : March 5, 2010

Call for Papers: 17th International SPIN Workshop on Model Checking of Software. SPIN is one of the most widely used model checking tools today. The SPIN workshop is a forum for practitioners and researchers interested in state space-based techniques for the validation and analysis of software (...)

21 janvier 2010 : January 15, 2010

Call for Papers: Eighth International Conference on Business Process Management. Submission on all aspects of BPM are welcome. Submission deadline is March 14, 2010 for full papers and eductaion and curriculum papers, May 17, 2010 for demo submissions and February 15, 2010 for industry (...)

21 janvier 2010 : January 18, 2010

Call for Papers: 17th Workshop on Logic, Language, Information and Computation. Submission deadline is March 7, 2010 (abstracts due on February 28).

21 janvier 2010 : January 17, 2010

Job Offer: The School of Computer Science at Reykjavik University is seeking a new dean.

21 janvier 2010 : February 1, 2010

Call for Papers: 2nd Central-European Workshop on Services and their Composition. Submission deadline is extended to February 5, 2010 for papers and tool demonstrations.

21 janvier 2010 : January 19, 2010

Job Offer: Two PhD positions at the group of Discrete Event Systems (http://webdiis.unizar.es/GISED), University of Zaragoza, Spain related to the project DISC: Distributed Supervisory Control of Large Plants.

21 janvier 2010 : January 19, 2010

Job Offer: There are 8 PhD positions available in Berlin, Germany in the newly established Graduate School SOAMED (Service-Oriented Architectures in MEDicine), which is organized in Berlin, Germany, by the Humbold University, by the Technical University (TU Berlin) by the Chrite and bei the (...)

21 janvier 2010 : January 20, 2010

Final Call for Papers (update): Computability in Europe 2010: Programs, Proofs, Processes. Submission deadline is January 20, 2010, but even though the deadline for submission of papers is January 20, the actual refereeing process will not start for a week or even slightly longer. Submissions (...)

21 janvier 2010 : January 20, 2010

Last Call for Papers and Deadline Extension: 10th Annual International Conference on New Technologies of Distributed Systems. Submission deadline is extended to January 31, 2010.

20 janvier 2010 : March 1, 2010

Second Call for Papers: Eighth IEEE International Conference on Software Engineering and Formal Methods. Formal methods for miscellaneous systems like real-time, hybrid, and embedded systems. Submission deadline is March 29, 2010 (abstracts due on March (...)

12 janvier 2010 : January 11, 2010

Call for Papers: 6th International Workshop on Developments in Computational Models - Causality, Computation, and Physics. This workshop is a satellite event of FLoC 2010. Among the topics are new computational models and in particular general concurrent models (with emphasize on the treatment (...)

11 janvier 2010 : December 3, 2009

Call for Papers: Computability in Europe 2010: Programs, Proofs, Processes. Submission deadline is January 20, 2010.

8 janvier 2010 : January 7, 2010

Call for Papers: 4th International Workshop on Verification and Evaluation of Computer and Communication Systems. Submission deadline is March 28, 2010.

8 janvier 2010 : March 2, 2010

Final Call for Papers: 8th International Symposium on Automated Technology for Verification and Analysis. The theory of Petri Nets is among the topics (with emphasize on obtaining correct software, i.e. on verification and validation). Submission deadline is April 12, 2010 (abstracts due on (...)

8 janvier 2010 : January 6, 2010

Call for Papers: 3rd Annual North American Simulation Technology Conference. Submission deadline is June 5, 2010.

8 janvier 2010 : January 5, 2010

Call for Papers: 10th Annual International Conference on New Technologies of Distributed Systems. Submission deadline is January 20, 2010.

8 janvier 2010 : December 15, 2009

Call for Papers: 7th IFIP Conference on Distributed and Parallel Embedded Systems. Submission deadline is January 31, 2010.

8 janvier 2010 : December 2, 2009

Last Call for Papers: 10th International Conference on Application of Concurrency to System Design. The ACSD serves as a forum for disseminating theoretical results with application potential and advanced methods and tools for the design of complex concurrent systems. This year's ACSD is (...)

5 janvier 2010 : January 5, 2009

Call for Papers: 10th Annual International Conference on New Technologies of Distributed Systems. Submission deadline is January 20, 2010.

5 janvier 2010 : January 2, 2010

Deadline Extension: 24th ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation. Submission deadline is extended to January 22, 2010.

30 décembre 2009 : February 1, 2010

Call for Papers: 5th International Conference on Graph Transformation. Graph transformation and Petri nets is among the topics of interest. Submission deadline is April 16, 2010 (abstracts due on April 9).

30 décembre 2009 : January 9, 2010

Final Call for Papers: Computability in Europe 2010: Programs, Proofs, Processes. Submission deadline is January 20, 2010.

30 décembre 2009 : December 2, 2009

Job Offer: The Department of Computer Science at the University of Copenhagen has openings for up to 3 full professor positions in programming languages and systems respectively software development, starting May 2010. Deadline for application is December 17, (...)

30 décembre 2009 : December 8, 2009

2nd Call for Participation: The First Joint WOSP/SIPEW International Conference on Performance Engineering will take place in San Jose, CA, USA, from January 28 to January 30, 2010. Early conference registration deadline is December 31, (...)

30 décembre 2009 : Decmeber 3, 2009

Call for Papers: 24th ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation. Submission deadline is January 8, 2010.

30 décembre 2009 : February 26, 2010

Call for Papers: 7th International Conference on Quantitative Evaluation of SysTems. Submission deadline is March 29, 2010 (abstracts due on March 22).

30 décembre 2009 : Decmeber 10, 2009

Call for Papers: Workshop on Applications of Region Theory a satellite event of ACSD 2010 and Petri Nets 2010. Submission deadline is March 20, 2010.

30 décembre 2009 : December 18, 2009

Call for Papers: 8th International Conference on Computational Methods in Systems Biology. Submission deadline is May 2, 2010 for papers (abstracts due on April 25) and June 23 for posters.

27 novembre 2009 : October 31, 2009

Job Offer: Bergen University College, Faculty of Engineering, has 1-3 open positions for PhD research fellows in the research project Formal Modelling and Verification of Grid Systems (FORMGRID), funded by the Research Council of (...)

27 novembre 2009 : October 26, 2009

Job Offer: Bergen University College, Faculty of Engineering, has an open position for a PhD student in computer science/informatics with a focus on model-based development of concurrent software systems.

27 novembre 2009 : October 29, 2009

Call for Workshops: 10th Annual International Conference on New Technologies of Distributed Systems. Workshop proposals are due November 15, 2009.

27 novembre 2009 : October 28, 2009

Final Call for Papers: 12th International Conference on Measurement and Modeling of Computer Systems. Submission deadline is November 9, 2009 (abstracts due on November 2).

27 novembre 2009 : November 1, 2009

Call for Participation: The First Joint WOSP/SIPEW International Conference on Performance Engineering will take place in San Jose, CA, USA, from January 28 to January 30, 2010. Early conference registration deadline is December 31, (...)

27 novembre 2009 : October 31, 2009

Job Offer: Bergen University College, Faculty of Engineering, has 1-2 open 2-3 year positions for postdoctoral researchers in the research project Formal Modelling and Verification of Grid Systems (FORMGRID), funded by the Research Council of (...)

27 novembre 2009 : February 7, 2010

Final Call for Papers: 17th International Conference on Analytical and Stochastic Modelling Techniques and Applications. Submission deadline is extended to February 19, 2010.

27 novembre 2009 : January 8, 2010

Call for Papers: 7th IFIP Conference on Distributed and Parallel Embedded Systems. Submission deadline is January 31, 2010.

27 novembre 2009 : November 9, 2009

Job Offer: The PhD in Computer Science and Engineering program in Lucca, Italy has 12 open positions and offers 6 scholarships. The deadline for application is December 4, 2009.

27 novembre 2009 : November 14, 2009

Call for Papers: 10th International Conference on Mathematics of Program Construction. Submission deadline is December 14, 2009 (abstracts due on December 7).

27 novembre 2009 : November 13, 2009

Call for Workshops: 10th Annual International Conference on New Technologies of Distributed Systems. Workshop proposals are due November 15, 2009.

27 novembre 2009 : November 16, 2009

Call for Papers: 7th Annual Future Business Technology Conference. Submission deadline is January 20, 2010.

27 novembre 2009 : February 24, 2010

Final Call for Papers: First International Symposium on Architecting Critical Systems. Submission deadline is March 1, 2010.

27 novembre 2009 : November 23, 2009

Call for Papers: 1st International Conference on Parallel, Distributed and Grid Computing. Submission deadline is May 31, 2010.

27 novembre 2009 : February 9, 2010

Call for Papers: Second International Workshop on Abstractions for Petri Nets and Other Models of Concurrency. APNOC is a satellite event of Petri Nets 2010, it's goal is to serve as a forum for researchers interested in abstraction techniques and methodologies for modeling and verification of (...)

27 novembre 2009 : November 25, 2009

ISO/IEC 15909-2: Software and system engineering -- High-level Petri nets -- Part 2: Transfer Format is now published as an ISO/IEC International Standard. See http://www.iso.org/iso/catalogue_detail.htm?csnumber=43538 for more (...)

27 novembre 2009 : November 25, 2009

Call for Papers: 8th ACM-IEEE International Conference on Formal Methods and Models for Codesign Submission deadline is March 5, 2010 (abstracts due on February 26).

22 octobre 2009 : Decmeber 20, 2009

Call for Papers: 24th ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation. Submission deadline is January 8, 2010.

22 octobre 2009 : October 14, 2009

First Call for Papers: 21st IEEE International Symposium on Rapid System Prototyping. Suggested topics include application of formal methods to prototyping and system verification/validation. Submission deadline is February 10, 2010 (abstracts due on February (...)

15 octobre 2009 : September 11, 2009

Call for Papers: 12th International Conference on Measurement and Modeling of Computer Systems. Submission deadline is November 9, 2009 (abstracts due on November 2).

11 octobre 2009 : November 12, 2009

Deadline Extension: Third International Workshop From Biology To Concurrency and back. The workshop aims at gathering researchers with special interest at the convergence of life and computer science, with particular focus on the application of techniques and tools from concurrency such as (...)

11 octobre 2009 : January 27, 2010

Call for Papers: Workshop on Biological Processes and Petri Nets - a workshop at Petri Nets 2010. The workshop focus lies on Petri nets to study biological applications. Submission deadline is March 20, 2010.

11 octobre 2009 : November 18, 2009

Second Call for Papers: Eighth Workshop on Quantitative Aspects of Programming Languages - a satellite event of ETAPS 2010. Submission deadline is December 21, 2009.

11 octobre 2009 : October 1, 2009

Job Offer: The Department of Mathematics and Computer Science of the Technische Universiteit Eindhoven has a vacancy for a Postdoc in Health Monitoring of Systems-of-Systems using Process Mining as part of the Poseidon project V32.048 within the expertise group Architecture of Information (...)

11 octobre 2009 : September 30, 2009

Deadline Extension: Second International Workshop on UML & Formal Methods. Submission deadline is extended to October 12, 2009.

11 octobre 2009 : October 6, 2010

A new version of the Renew tool has been announced.

11 octobre 2009 : November 24, 2009

Call for Papers: 10th Annual International Conference on New Technologies of Distributed Systems. Submission deadline is January 20, 2010.

11 octobre 2009 : October 9, 2009

Call for Papers: First International Conference on Complex Systems Design and Management. Submission deadline is January 22, 2010 (abstracts due on January 4).

18 septembre 2009 : September 15, 2009

Call for Papers: 15th GI/ITG Conference on Measurement, Modeling and Evaluation of Computing Systems and on Dependability and Fault Tolerance. The technical committees MMB and DFT are the main fora in Germany covering all aspects of performance and dependability evaluation of systems including (...)

14 septembre 2009 : October 13, 2009

2nd Call for Papers: 12th International Conference on Measurement and Modeling of Computer Systems. Submission deadline is November 9, 2009 (abstracts due on November 2).

11 septembre 2009 : August 19, 2009

Call for Papers and Deadline Extension: 16th Workshop Algorithms and Tools for Petri Nets. Submission deadline is extended to August 31, 2009 for short papers. The official workshop language is German, but English contributions are (...)

11 septembre 2009 : September 8, 2009

Last Call for Papers and Deadline Extension: Track on Software Verification and Testing at the 25th Annual ACM Symposium on Applied Computing. Submission deadline is extended to September 15, 2009.

11 septembre 2009 : August 18, 2009

Call for Papers: Second International Workshop on UML & Formal Methods. Submission deadline is September 30, 2009.

5 septembre 2009 : February 26, 2010

Final Call for Participation: The European Joint Conferences on Theory and Practice of Software will take place from March 20 to March 28 in Paphos, Cyprus. It consists of five confercnes, 19 workshops and four tutorials. Early registration deadline is February 15, 2010, and the normal (...)

5 septembre 2009 : September 3, 2009

Important decisions from the Steering committee meeting in Paris, June 2009, can be found here.

5 septembre 2009 : September 2, 2009

Call for Papers: Symposium on Theory of Modeling and Simulation. The Symposium will focus on bridging different areas in the Theory of Modeling and Simulation, including formal modeling, model-checking, graph transformation, modeling methodologies and tools. Submission deadline is October 15, (...)

5 septembre 2009 : September 2, 2009

Last Call for Participation: The 3rd Workshop on Reachability Problems will take place at the Ecole Polytechnique, France, September 23-25, 2009.

4 septembre 2009 : January 16, 2010

Deadline Extension: 6th International Conference on the Theory and Application of Diagrams. Submission deadline is extended to January 25, 2010.

4 septembre 2009 : August 31, 2009

Call for Papers: Track on Embedded Systems - Applications, Solutions, and Techniques at the 25th Annual ACM Symposium on Applied Computing. The submission deadline is approaching: September 8, 2009.

4 septembre 2009 : August 25, 2009

Last Call for Papers: Track on Software Verification and Testing at the 25th Annual ACM Symposium on Applied Computing. Submission deadline is September 8, 2009.

4 septembre 2009 : July 21, 2009

Call for Papers: 17th Workshop on Logic, Language, Information and Computation. Submission deadline is March 7, 2010 (abstracts due on February 28).

19 août 2009 : August 18, 2009

Call for Papers: Track on Enterprise Engineering at the 25th Annual ACM Symposium on Applied Computing. Submission deadline is September 8, 2009.

19 août 2009 : September 8, 2009

Second Call for Papers: Second International Workshop on UML & Formal Methods. Submission deadline is September 30, 2009.

19 août 2009 : August 14, 2009

Job Offer: Tallinn University of Technology, Faculty of Information Technology invites applications from outstanding scientist for Full Professorship in Dependable Embedded Systems.

19 août 2009 : August 11, 2009

Job Offer: Four positions for researchers / PhD Students are available at the Department of Informatics, University of Hamburg, Germany within the BMBF-project Herold: Model and tools for space oriented management of distributed network security (...)