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.
August 29, 2011
Job offer at the University of Hamburg.
August 25, 2011
PhD position in parallel algorithms at the University of Kaiserslautern
August 22, 2011
Call for papers: CFV\'11: Seventh International Workshop on Constraints in Formal Verification.
August 18, 2011
PhD Studentship in Computer Science at Newcastle University, UK available.
August 17, 2011
Technische Universiteit Eindhoven (TU/e) is looking for one PhD student working on Verifying Process Models with Data and Resources.
August 17, 2011
Open Position for one post doctoral researcher at RCIS/JAIST.
August 12, 2011
Free positions at Hagen university.
August 08, 2011
ePNK: stand-alone version for Windows released. For more information see here
August 05, 2011
An EASST volume on Petri Nets and Graph Transformation is available.
July 25, 2011
8 PhD positions in the PhD school SOAMED are available.
July 25, 2011
A EPSRC PhD Studentship in Computer Science is available.
July 21, 2011
A PhD position in process mining is available at the Technische Universiteit Eindhoven.
July 13, 2011
The 18th workshop in applications and tools for Petri nets will take place at the FernUniversität in Hagen from 29 September to 30 September 2011.
July 7, 2011
Call for participation RP 2011: The 5th Edition of the Reachability Problems Workshop, September 28 - September 30 2011 in Genova, Italy.
July 5, 2011
A new version of Workflow Petrinet Designer (WoPeD) is available. See here for more information.
June 27, 2011
Post-doctoral position for Formal Analysis and Verification of Model-based Software Design for 12 months at INRIA Grenoble (France)
June 24, 2011
Important information from the Steering Committee meeting in Newcastle June 2011 see here
June 22, 2011
Second International Conference on Complex Systems Design and Management (CSDM 2011) December 7-9, 2011, Paris.
June 21, 2011
CPN Tools 3.2 has just been released. For more information visit here.
June 17, 2011
CALL FOR PAPERS: PETRI NETS 2012, 33rd International Conference on Application and Theory of Petri Nets and Concurrency, Hamburg, Germany, June 25-29, 2012
June 17, 2011
A new book on Petri Net applications has been released: I. Koch, W. Reisig, F. Schreiber: Modeling in Systems Biology: The Petri Net Approach
June 17, 2011
The new version 0.9.2 of the ePNK is available now (under Eclipse Helios). The ePNK is a generic Petri net tool and tool development platform, which is based on the Eclipse platform and the concepts of PNML.
June 7, 2011
The Petri nets Conference 2012 will take place in Hamburg, Germany (as usual in the last full week of June). For this major event, people are invited to submit proposals for workshops.
June 10, 2011
The final programme of the International Workshop on Petri Nets and Software Engineering (PNSE\'11) is now available here.
June 12, 2011
2011 International Fall School in Formal Languages and Applications FSFLA 2011 will take place in Tarragona, Spain on October 31st. For more information visit here.
May 29, 2011
EPSRC PhD Studentship in Computer Science available. Supervisor: Dr. V. Khomenko. Details can be found here
May 29, 2011
27th Annual ACM Symposium on Applied Computing - Software Verification and Testing Track. March 25-29, 2012, Riva del Garda (Trento), Italy. More information can be found here
May 25, 2011
The Petri Net Course - A three day course primarily aimed at master and PhD students. June 19th - June 21st, Newcastle upon Tyne, UK.
May 23, 2011
CALL FOR PAPERS: DIFTS\'11 Design and Implementation of Formal Tools and Systems in Austin, Texas, USA. For more information see http://www.nec-labs.com/research/system/systems_SAV-website/DIFTS11/
May 20, 2011
CALL FOR PARTICIPATION: 11th International Conference on Application of Concurrency to System Design (ACSD\'11) and 32nd International Conference On Application and Theory of Petri Nets and Other Models of Concurrency (Petri Nets\'11).http://www.nec-labs.com/research/system/systems_SAV-website/DIFTS11/ Co-located in Newcastle upon Tyne, United Kingdom, 20-24 June 2011. Early registration deadline: 25th May.
May 18, 2011
The 33rd International Conference on Application and Theory of Petri Nets and Concurrency (Petri nets 2012) will take place in Hamburg, Germany. For this major event, people are invited to submit proposals for workshops.
May 11, 2011: In the research project "Trust and Access Policies on the Web" there is a vacancy for a 4 year PhD position at the Computer Science Department of the VU University Amsterdam. To apply for the PhD position, send a CV, letter of motivation, and names of at least two references to Wan Fokkink (w.j.fokkink[at]vu.nl).
May 9, 2011
FINAL CALL FOR PAPERS for the international Conference on Formal Methods in Computer-Aided Design. For more information see http://www.fmcad.org.
May 6, 2011
Tool Exhibition at Petri Nets / ACSD 2011. DEADLINE for sending requests for participation in the tool exhibition is 1 June 2011. The requests should be sent to Victor.Khomenko@ncl.ac.uk.
May 4, 2011
The deadline for the model checking contest at SUMO\'11 is in 11 days. For more information, please go to http://sumo.lip6.fr/mcc.html.
May 3, 2011
Final Call for Papers: The 5th Workshop on Reachability Problems will take place in Genova, Italy, September 28-30, 2011. The Reachability Workshop is specifically aimed at people that are interested in reachability problems in various settings. Submission deadline is May 10, 2011.
May 2, 2011
The Petri Net Steering Committee has decided to have the 2012 Petri Nets conference in Hamburg, Germany. The Petri Nets conference in 2013 will be held in Milan, Italy.
May 2, 2011
Job Offer: The School of Computer Science at Carnegie Mellon University seeks applications for two postdoctoral fellow positions on effective programming for large distributed ensembles. More information can be found here. ');