What was New in 2011

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. April 29, 2011: The International Summer School in Language and Speech Technologies 2011 has been announced. See here for more on this.

April 21, 2011: Two new tools have been added to the Petri Nets Tool Database: ePNK is a platform for Petri net tools based on the PNML transfer format. The current version of ePNK is 0.9. It is sable, but still needs some polishing. PNetLab is a simulation and analysis tool. Both tools are free of charge.

April 20, 2011: New Book: Will van der Aalst has written a new book. It's the first book about Process Mining. More information can be found here. See also Wil's email here.

April 17, 2011: 2nd Call for Papers: Fourth International Workshop on Logics for Agents and Mobility, a satellite workshop of CONCUR 2011. Submission deadline is June 13, 2011.

April 17, 2011: 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.

April 15, 2011: Deadline Extension: Fourth International Workshop on UML & Formal Methods. Submission deadline is extended to April 30, 2011.

April 14, 2011: Call for Papers: 3rd International Workshop on Computational Models for Cell Processes in conjunction with CONCUR 2011. Submission deadline is May 23, 2011.

April 13, 2011: Call for Paper: International Workshop on Scalable and Usable Model Checking for Petri Nets and Other Models of Concurrency, a satellite event of Petri Nets 2011. Submission deadline is to April 17 2011.

April 6, 2011: Call for Papers: 10th International Workshop on Parallel and Distributed Methods in Verification. Submission deadline is May 16, 2011.

April 5, 2010: Call for Participation: The 32nd International Conference on Application and Theory of Petri Nets and other Models of Concurrency (Petri Nets 2011) and the 11th International Conference on Application of Concurrency to System Design (ACSD 2011) will take place in Newcastle upon Tyne, UK (moved from Kanazawa, Japan due to the tragic events there) from June 20 to June 24, 2011. Early registration deadline is May 15, 2011.

April 1, 2011: Call for Papers: 25th European Simulation and Modelling Conference. Submission deadline is July 25, 2011.

April 1, 2011: Call for Papers: 9th International Workshop on Security Issues in Concurrency a satellite workshop of CONCUR 2011. Submission deadline is June 3, 2011.

March 31, 2011: Call for Papers: 5th International Workshop on Verification and Evaluation of Computer and Communication Systems. Submission deadline is May 15, 2011.

March 29, 2011: Job Offer: At RWTH Aachen University, Germany a Full Professor (W3) is sought. The firm deadline for applications is May 20, 2011.

March 28, 2011: A PhD school on Discrete Event Systems will take place in Cagliari, Italy from June 6 to June 10, 2011. See the email from Carla Seatzu here and the school's weg page at http://www.disc-project.eu/PhD_school.html.

March 25, 2011: Deadline Extension: International Workshop on Scalable and Usable Model Checking for Petri Nets and Other Models of Concurrency, a satellite event of Petri Nets 2011. Submission deadline is extended to April 15, 2011 due to the tragic events in Japan.

March 25, 2011: Deadline Extension: 2nd Workshop on Biological Processes and Petri Nets a workshop at Petri Nets 2011. Submission deadline is extended to April 15, 2011 due to the tragic events in Japan.

March 24, 2011: Job Offer: The Department of Computer Science at Oldenburg University (Germany) has an open position for a research fellow in Theoretical Computer Science (specifically in Concurrency) in the Parallel Systems Group led by Eike Best. See the email here.

March 24, 2011: Deadline Extension: 1st Workshop on Petri Nets Compositions a workshop at Petri Nets 2011. Submission deadline is extended to April 15, 2011 due to the tragic events in Japan.

March 22, 2011: Due to the tragic events in Japan the two conferences ACSD 2011 and Petri Nets 2011 will be moved to Newcastle upon Tyne, UK. See the email from Kurt Jensen and Alex Yakovlev here.

March 21, 2011: Call for Papers: 9th International Conference on Computational Methods in Systems Biology. Submission deadline is May 6, 2011 (abstracts due on April 29).

March 21, 2011: Deadline Extension: 2nd Workshop on Biological Processes and Petri Nets a workshop at Petri Nets 2011. Submission deadline is extended to March 31, 2011.

March 16, 2011: Due to the tragic events in Japan the situation with the planned annual conferences Petri Nets 2011 and ACSD 2011 is still uncertain. The conferences might be postponed or even moved, but they most certainly will take place. See the email from Kurt Jensen and Alex Yakovlev here.

March 13, 2011: Job Offer: The School of Computer Science at the University of Birmingham is seeking to award a Microsoft PhD Scholarship on the topic Structural Foundations for Heterogeneous Computation, starting on 1st October 2011. Deadline for application is May 1, 2011.

March 11, 2011: Call for Papers: 1st Workshop on Petri Nets Compositions a workshop at Petri Nets 2011. Submission deadline is March 20, 2011.

March 7, 2011: Within the context of the SUMo workshop associated to Petri Nets 2011 a Model Checking Contest will take place. More information can be found here.

March 1, 2011: The satellite program of this year's Petri net conference in Kanazawa includes a full day tutorial on State Space Verificatino with LoLA. See the announcement here.

March 1, 2011: Final Call for Papers: The 22nd International Conference on Concurrency Theory, one of the major conferences focusing on concurrent systems, will take place from September 6 to September 9, 2011, in Aachen Germany. Submission deadline is April 8, 2011 for full papers and April 1 for abstracts.

February 28, 2011: The list of accepted papers for Petri Nets 2011 can be found here.

February 28, 2011: Call for Papers: The International Workshop on Petri Nets and Software Engineering, a satellite event of Petri Nets 2011 will take place on June 20 and June 21, 2011 in Kanazawa, Japan. The workshop is about the relation of Petri nets and software engineering. Submission deadline for short and full papers is March 20, 2011. Submission deadline for posters is May 10, 2011.

February 25, 2011: Call for Papers: Fourth International Workshop on UML & Formal Methods. Submission deadline is April 15, 2011.

February 24, 2011: Job Offer: The Embedded System Research Unit of the Bruno Kessler Foundation, Trento, Italy, is seeking several candidates for Ph.D positions. More information can be found here. Deadline for application is March 16, 2011.

February 18, 2011: 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.

February 17, 2011: Call for Papers: Second Workshop and Tool Session on DYnamic Aspects in DEpendability Models for Fault-Tolerant Systems. The topics of the workshop include extensions to classic modeling approaches combinational, state-based, and simulation including Markovian and non-Markovian techniques, Petri nets, process algebras, Bayesian networks, and simulation. Submission deadline is April 15, 2011.

February 17, 2011: Call for Papers: Workshop on Applications of Region Theory a satellite event of ACSD 2011 and Petri Nets 2011. Submission deadline is April 15, 2011.

February 16, 2011: Call for Papers: 11th International Conference on Formal Methods in Computer-Aided Design. Submission deadline is May 18, 2011 (abstracts due on May 11).

February 14, 2011: ISO/IEC 15909-2 has finally been published. See the announcment here.

February 5, 2011: Job Offer: Oxford University is offering a fully funded D.Phil studentship associated with the project Automated Verification Techniques for DNA Computing, funded by a Microsoft Research PhD Scholarship. Application deadline is February 28, 2011. More information can be found here.

February 4, 2011: Deadline Extension: The 6th International Federated Conferences on Distributed Computing Techniques will take place in Reykjavik, Iceland, 6-9 June 2011. DisCoTec consists of four main conferences (Coordination, DAIS, FMOODS & FORTE). All conferences share the same deadlines which is extended by one week to February 13, 2011 for abstracts and February 20 for papers.

February 1, 2011: This Friday, February 4th, will be held a symposium to commemorate Carl Adam Petri. The speakers will present many facets of the scientific influence of Petri, and some of them will also reflect on personal contacts/friendships with him. For more details see here and the official webpage at http://www2.informatik.hu-berlin.de/top/lehre/petriweb/.

January 27, 2011: Call for Papers: 8th International Colloquium on Theoretical Aspects of Computing. Submission deadline is June 13, 2011.

January 25, 2011: A new tool has been announced by Ekkart Kindler that fully supports PNML and all the Petri net types defined in ISO/IEC 15909-2. The announcement email can be found here and more information about the tool a the url http://www2.imm.dtu.dk/~eki/projects/ePNK/

January 25, 2011: First Call for Papers: The 22nd International Conference on Concurrency Theory, one of the major conferences focusing on concurrent systems, will take place from September 6 to September 9, 2011, in Aachen Germany. Submission deadline is April 8, 2011 for full papers and April 1 for abstracts.

January 25, 2011: Call for Papers: 2nd Workshop on Biological Processes and Petri Nets a workshop at Petri Nets 2011. Submission deadline is March 20, 2011.

January 24, 2011: Job Offer: There are two PhD student positions at the School of Computer Science, Reykjavik University, Island, in the project imed Asynchronous Reactive Objects in Distributed Systems. Application deadline is February 25, 2011. More information can be found here.

January 24, 2011: Last Call for Papers: The 6th International Federated Conferences on Distributed Computing Techniques will take place in Reykjavik, Iceland, 6-9 June 2011. DisCoTec consists of four main conferences (Coordination, DAIS, FMOODS & FORTE). All conferences share the same deadlines which is February 6, 2011 for abstracts and February 13 for papers.

January 20, 2011: 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.

January 19, 2011: Call for Papers: FMOODS & FORTE are two of the four main conferences at the 6th International Federated Conferences on Distributed Computing Techniques. All conferences at DisCoTec share the same deadlines which are February 6, 2011 for abstracts and February 13 for papers.

January 19, 2011: Call for Papers: Fourth International Workshop on Logics for Agents and Mobility, a satellite workshop of CONCUR 2011. Submission deadline is June 13, 2011.

January 18, 2011: Call for Papers: International Workshop on Scalable and Usable Model Checking for Petri Nets and Other Models of Concurrency, a satellite event of Petri Nets 2011. Submission deadline is March 30, 2011.

January 14, 2011: Call for Participation: The European Joint Conferences on Theory and Practice of Software will this time take place in Saarbruecken, Germany from March 26 to April 3, 2011.

January 10, 2011: Last Call for Papers: 11th International Conference on Application of Concurrency to System Design. The ACSD 2011 will be co-located with PN 2011. Submission deadline is extended to January 24, 2011 (abstracts due on January 17).

January 8, 2011: Call for Papers: IEEE 16th International Conference on Emerging Technologies and Factory Automation. Track 4 - Automated Manufacturing Systems. Submission deadline is March 21, 2011.

January 7, 2011: Call for Papers and Deadline Extension: Fifth International Workshop on Practical Applications of Stochastic Modelling. Submission deadline is January 18, 2011.

January 5, 2011: Deadline Extension: 5th International Conference on Language and Automata Theory and Applications. This yearly conference in theoretical computer science and its applications will this year take place in Tarragona, Spain. At the conference significant room for young scholars will be reserved. Submission deadline is extended to January 9, 2011.

January 1, 2011: Last Call for Papers: 32nd International Conference on Application and Theory of Petri Nets and other Models of Concurrency. This time this major event for the Petri Net community takes place in Kanazawa, Japan. It will be co-located with ACSD 2011. Submission deadline for PN 2011 is January 5, 2011.