What was New in 2006

Dezember 29, 2006: Call for Papers: 15th Annual Meeting of the IEEE / ACM International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems. Submission deadline is April 27, 2007.

Dezember 20, 2006: Deadline Extension: 1st IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering. Submission deadline is extended to January 28, 2007.

Dezember 22, 2006: Call for Papers: Second International Conference on Performance Evaluation Methodologies and Tools. Submission deadline is March 30, 2007.

Dezember 22, 2006: Second Call for Papers: Seventh International Conference on Application of Concurrency to System Design. Submission deadline is January 21, 2007. (This deadline is strict and will not be extended!)

Dezember 20, 2006: Call for Participation: >Sixth International Workshop on Software and Performance. Early registration ends January 7th, 2007.

Dezember 20, 2006: Call for Papers: 1st IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering. Submission deadline is January 5, 2007.

Dezember 19, 2006: Call for Papers: 14th International Conference on Analytical and Stochastic Modelling Techniques and Applications. Among the topics are stochastic Petri nets. Submission deadline is Feburary 13, 2007.

Dezember 15, 2006: Call for Papers: 2nd Conference on Algebra and Coalgebra in Computer Science. Among the topics are calculi and models of concurrent computing. Submission deadline is Feburary 7, 2007.

Dezember 14, 2006: Call for Papers: Formal Approaches to Business Processes and Web Services, a satellite event of Petri Nets 2007. Submission deadline is April 1, 2007.

Dezember 12, 2006: Call for Papers: 14th Annual European Concurrent Engineering Conference. Submission deadline is January 20, 2007.

Dezember 7, 2006: Second Call for Papers: Computability in Europe 2007: Computation and Logic in the Real World. Submission deadline is January 12, 2007.

Dezember 1, 2006: Call for Papers: 2007 Summer Computer Simulation Conference. This is the first international workshop to address application of Petri nets in biological processes (molecular process modeling etc.). Applications of Petrinets in any Biological, Molecular, Systems Biology and other health related topic are welcome. Submission deadline is February 28, 2007.

November 23, 2006: Call for Papers and Announcement: The 28th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency will be held in Siedlce, Poland, June 25-29, 2007. Submission deadline is January 5, 2007.

November 22, 2006: Call for Participation: 6. Symposium Formal Methods for Automation and Safety in Railway and Automotive Systems. January 25th and 26th, 2007, in Braunschweig, Germany.

November 22, 2006: Call for Papers: 15th Annual Meeting of the IEEE / ACM International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems. Submission deadline is April 27, 2007.

November 21, 2006: Job offer: Two full professorships at University of Aarhus, Denmark. Two permanent full professorships are available at the University of Aarhus within the areas: Computer Engineering and Communication Technology. The deadline for application is January 5, 2007, at 12.00 noon.

November 20, 2006: A new subseries of Lecture Notes in Computer Science (LNCS) entitled Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) has been announced today. The subseries will replace (and continue) the well known subseries called Advances in Petri Nets.

November 20, 2006: Tools datebase updated: A new version of PNetLab has been released. PNetLab is a simulation and analysis tool developed by the Automatic Control Group of the University of Salerno.

November 18, 2006: Call for Papers: 4th International Conference on Quantitative Evaluation of SysTems. Submission deadline is March 24, 2007 (abstracts due to March 17).

November 17, 2006: Call for Papers: 1st IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering. Submission deadline is January 5, 2007.

November 10, 2006: Call for Papers: The 2007 International Conference on Software Engineering Research and Practice. Submission deadline is February 20, 2007.

November 9, 2006: Call for Papers: 2nd Workshop on Teaching Concurrency. Submission deadline is March 10, 2007.

November 2, 2006: First Call for Papers: Computability in Europe 2007: Computation and Logic in the Real World. Submission deadline is January 12, 2007.

November 1, 2006: Tools datebase updated: The release of a new version of CPN-AMI has been announced. CPN-AMI 3.1 brings LTL model checking on the symbolic reachability graph and some more updates.

November 1, 2006: Call for Papers: UFO'07: Workshop on UnFOlding and partial order techniques, a satellite event of Petri Nets 2007. The scope of the workshop is the theory and applications of Petri net unfoldings and related partial-order formalisms. Submission deadline is March 20, 2007.

October 26, 2006: Call for Papers: 7th International Conference on Application of Concurrency to System Design. Submission deadline is January 21, 2007.

October 25, 2006: Last Call for Papers: 40th Annual Simulation Symposium. Contribution in all areas of modeling and simulation are welcome. Submission deadline is extended to Ocotber 30, 2006.

October 24, 2006: Call for Papers: CALCO Young Researchers Workshop, part of the 2nd Conference on Algebra and Coalgebra in Computer Science. Submission deadline is April 10, 2007 (for abstracts).

October 24, 2006: Call for Papers: Workshop on Petri Net Standards 2007 a satellite event of Petri Nets 2007. Submission deadline is March 10, 2007.

October 23, 2006: Call for Papers: International Conference on Measurement and Modeling of Computer Systems. Submission deadline is November 3, 2006.

October 18, 2006: Call for Participation: International Conference on Formal Methods in Computer-Aided Design, November 12-16, 2006, San Jose, California.

October 13, 2006: Call for Papers: 4th International Workshop on Model-based Methodologies for Pervasive and Embedded Software. Submission deadline is Ocotber 23, 2006.

October 12, 2006: Call for Papers: 40th Annual Simulation Symposium. Contribution in all areas of modeling and simulation are welcome. Submission deadline is extended to Ocotber 30, 2006.

October 9, 2006: 2nd Call for Papers: 1st International Conference on Language and Automata Theory and Applications. Submission deadline is November 30, 2006.

October 3, 2006: Preliminary Announcement: Computability in Europe 2007: Computation and Logic in the Real World. Submission deadline is January 12, 2007.

October 3, 2006: Call for Papers: 40th Annual Simulation Symposium. Submission deadline is October 15, 2006.

October 3, 2006: Call for Papers: 2007 IEEE Symposium on Visual Languages and Human-Centric Computing. Submission deadline is March 20, 2007 (abstracts due to March 6).

September 26, 2006: Call for Participation: International Conference on Formal Methods in Computer-Aided Design, November 12-16, 2006, San Jose, California.

September 25, 2006: Call for Participation: 8th International Conference on Formal Engineering Methods, Macao SAR, China, October 29 - November 3, 2006.

September 25, 2006: Call for Papers: 1st IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering. Submission deadline is January 5, 2007.

September 22, 2006: Call for Papers: International Conference on Measurement and Modeling of Computer Systems. Submission deadline is November 3, 2006 (abstracts due to October 27).

September 20, 2006: Call for Papers: 14th Workshop on Logic, Language, Information and Computation. Submission deadline is March 2, 2007.

September 18, 2006: Last Call for Participation: 26th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, September 26-29, Paris, France.

September 16, 2006: Call for Papers: 40th Annual Simulation Symposium. Contribution in all areas of modeling and simulation are welcome. Submission deadline is Ocotber 15, 2006.

September 15, 2006: Final Call for Papers: 6. Symposium FORMS / FORMAT 2007. Formal Methods for Automation and Safety in Railway and Automotive Systems. Submission deadline is extended to September 29, 2006 (for extended abstracts).

September 14, 2006: Call for Participation: Seventh Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, October 24-26, 2006, Aarhus, Denmark. The detailed Scientific Programme is now available.

September 11, 2006: Call for Papers: 10th International Conference on Foundations of Software Science and Computation Structures. Submission deadline is October 13, 2006 (abstracts due to October 6, 2006). Among the topics are models of concurrent, reactive, distributed, and mobile systems.

September 11, 2006: Call for Participation: First International Conference on Communications and Networking in China, October 25-27, 2006, Beijing, China.

September 7, 2006: Final Call for Papers: 6th Conference on Aspect-Oriented Software Development. Submission deadline is September 29, 2006 (abstracts due to September 22, 2006). The program committee especially welcomes submissions from researchers in Petri nets on any topic relating to aspect-oriented composition of petri nets.

September 6, 2006: Call for Participation: 2nd International Workshop on Views On Designing Complex Architectures, September 16-17, 2006, Bertinoro, Italy.

September 5, 2006: Call for Participation: 13th Workshop Algorithms and Tools for Petri Nets, September 25-26, 2006, Hamburg, Germany. The main language of the workshop will be German. Please register until September 15, 2006.

September 4, 2006: Job offer: Two postdoctoral positions in the Research Group on Mathematical Linguistics at Rovira i Virgili University (Tarragona, Spain). Expressions of interest are welcome until September 15, 2006.

August 29, 2006: Call for Papers: International Conference on Measurement and Modeling of Computer Systems. Submission deadline is November 3, 2006 (abstracts due to October 27, 2006).

August 25, 2006: Call for Participation: First International Conference on Performance Evaluation Methodologies and Tools, October 11 - 13, 2006, Pisa, Italy. Early registration deadline is September 11, 2006.

August 24, 2006: Call for Papers: 6. Symposium Formal Methods for Automation and Safety in Railway and Automotive Systems. Submission deadline for extended abstracts is September 15, 2006.

August 21, 2006: Call for Papers: 40th Annual Simulation Symposium. Original contribution in all areas of modeling and simulation are welcome. Submission deadline is October 15, 2006.

August 21, 2006: Call for Papers: 1st International Conference on Language and Automata Theory and Applications. The conference will aim at attracting scholars from both classical theory fields and application areas. Submission deadline is November 30, 2006.

August 17, 2006: Job offer: Two positions as associate professor at University of Aarhus. Two tenured positions as associate professor are available at the Department of Computer Science, University of Aarhus, Denmark within the areas: Software Engineering and Distributed Systems. The deadline for application is September 14, 2006 at 12 noon.

August 12, 2006: Call for Papers: 6th Conference on Aspect-Oriented Software Development. The program committee especially welcomes submissions from researchers in Petri nets on any topic relating to aspect-oriented composition of petri nets. Submission deadline is September 22, 2006.

August 2, 2006: Call for Participation: 8th International Conference on Formal Engineering Methods. October 29 - November 3, 2006, Macao SAR, China.

July 31, 2006: Call for Participation: 26th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems. September 26-29 2006, Paris, France.

July 29, 2006: Call for Papers: 13th Workshop Algorithms and Tools for Petri Nets. Submission deadline is extended to August 11, 2006.

July 28, 2006: Tools datebase updated: The database entry for SimulaWorks, a Petri Net simulator that gives the user the ability to construct and simulate differnt types of Petri Net, has been updated.

July 28, 2006: Call for Papers: Special Session Control of Discrete Event Systems using Petri Nets at the 2007 American Control Conference. Submission deadline is September 15, 2006 (abstracts due to September 1, 2006).

July 25, 2006: Call for Participation: 3rd International Conference on Quantitative Evaluation of SysTems. September 11-14, 2006, Riverside, CA, USA. Among the topics of interest are stochastic and timed Petri nets. Early registration deadline is August 1, 2006.

July 24, 2006: Call for Papers and Participation: Seventh Workshop and Tutorial on Practical Use of Coloured Petri Nets and CPN Tools. Submission deadline is August 15, 2006.

July 24, 2006: Call for Papers: 6th International Workshop on Software and Performance. Submission deadline is extended to July 31, 2006.

July 21, 2006: Job offer: PhD/post-doc position at the University of Duisburg-Essen (Germany). The Theoretical Computer Science Group at the University of Duisburg-Essen has one open PhD position in the project SANDS. Candidates at post-doc level can also be considered.

July 21, 2006: Call for Papers: 1st International Workshop on Formal Methods For Interactive Systems. Submission deadline is August 6, 2006 (extended).

July 17, 2006: Job offer: 1 post-doc and 2 PhD positions at the at the Eindhoven University of Technology and CWI. The positions are in connection with the NWO GLANCE project. Workflow Management for Large Parallel and Distributed Applications, with a particular emphasis on the grid computing. The application deadline is October 1, 2006.

July 16, 2006: Call for Participation: 11th International Workshop on Formal Methods for Industrial Critical Systems, 26th-27th of August 2006, Bonn, Germany. FMICS 2006 is co-located with Concur 2006. Early registration ends on 18th of July 2006.

July 14, 2006: Call for Participation: 17th International Conference on Concurrency Theory, Bonn, Germany, August 27 - 30, 2006. Early registration now open until July 18.

July 14, 2006: Call for Papers: 2nd International Workshop on Petri Nets and their Applications to Workflow Management. Submission deadline has been extended to July 30, 2006.

July 14, 2006: Call for Papers: International Conference on Intelligent Agents, Web Technologies and Internet Commerce. Submission deadline is extended to July 27, 2006.

July 14, 2006: Call for Papers: International Conference on Computational Intelligence for Modelling, Control and Automation. Submission deadline is extended to July 27, 2006.

July 12, 2006: Call for Papers: 2nd International Workshop on Automated Specification and Verification of Web Systems. Submission deadline is July 16, 2006.

July 12, 2006: Call for Papers: 6th Conference on Aspect-Oriented Software Development. Submission deadline is October 15, 2006.

July 11, 2006: Call for Participation: 13th International Workshop on Expressiveness in Concurrency, affiliated with CONCUR 2006, Bonn, Germany, 26 August 2006.

July 10, 2006: Call for Papers: Sixth International Workshop on Software and Performance. Submission deadline is July 24, 2006.

July 7, 2006: Call for Papers: Sixth International Workshop on Software and Performance. Submission deadline is July 24, 2006.

July 2, 2006: Call for Participation: 14th International Symposium on Formal Methods, August 21-27, McMaster University, Hamilton, Ontario, Canada. Early registration ends on July 7, 2006.

June 30, 2006: Call for Participation: 17th International Conference on Concurrency Theory, Bonn, Germany, August 27 - 30, 2006. Early registration now open until July 18.

June 30, 2006: Call for Participation: 17th International Conference on Concurrency Theory, Bonn, Germany, August 27 - 30, 2006. Early registration now open until July 18.

June 27, 2006: Call for Participation: I-Know 2006 - 6th International Conference on Knowledge Management, 6 - 8 September 2006, Graz, Austria.

June 21, 2006: Call for Papers: 2nd International Workshop on Automated Specification and Verification of Web Systems. Submission deadline is July 16, 2006.

June 21, 2006: Call for Papers: 6th Conference on Aspect-Oriented Software Development. The program committee especially welcomes submissions from researchers in Petri nets. Submission deadline is September 29, 2006 (abstracts due to September 22 2006).

June 19, 2006: Call for Papers: International Conference on Intelligent Agents, Web Technologies and Internet Commerce. Submission deadline is July 17, 2006.

June 18, 2006: Call for Tutorial Proposals: The First International Conference on Communications and Networking in China is currently accepting proposals for tutorials. Submission deadline is July 1, 2006.

June 14, 2006: Call for Papers: International Conference on Computational Intelligence for Modelling, Control and Automation. Submission deadline is July 17, 2006.

June 14, 2006: Call for Papers: 1st International Workshop on Formal Methods for Interactive Systems. Submission deadline is July 23, 2006.

June 13, 2006: Call for Participation: Workshop on Teaching Concurrency a satellite event of Petri Nets 2006 and ACSD 2006 in Turku, Finland, June 27, 2006.

June 13, 2006: Call for Participation: Fourth International Workshop on Modelling of Objects, Components, and Agents a satellite event of Petri Nets 2006 and ACSD 2006 in Turku, Finland, June 26, 2006.

June 8, 2006: Call for Papers: 19th Symposium on Simulation Technique. Submission deadline is June 19, 2006.

June 8, 2006: New member of the Petri Net Steering Committee: The Petri Net Steering Committee has been extended with Alexandre Yakovlev.

June 7, 2006: Call for Papers: Formal Methods in the Teaching Lab, a workshop at the Formal Methods 2006 Symposium. Submission deadline is June 9, 2006.

June 5, 2006: Call for Papers: International Workshop on Middleware and Performance. Submission deadline is July 10, 2006.

June 2, 2006: Call for Papers: 2nd International Workshop on Automated Specification and Verification of Web Systems. Submission deadline is July 16, 2006 (abstracts due to July 3, 2006).

June 1, 2006: Call for Papers: 2nd International Workshop on Petri Nets and their Applications to Workflow Management. Submission deadline is June 1, 2006.

May 30, 2006: Call for Papers: 4th International Conference on Service-Oriented Computing. Submission deadline is June 19, 2006 (abstracts due to June 12, 2006).

May 30, 2006: Final Call for Papers: 11th International Workshop on Formal Methods for Industrial Critical Systems, co-located with Concur 2006. Submission deadline is June 5, 2006.

May 25, 2006: Call for Papers: International Workshop on Software Certification in conjunction with Formal Methods 2006. Submission deadline is June 16, 2006.

May 25, 2006: Job offer: PhD position at Vrije Universiteit. The Theoretical Computer Science Group at the Vrije Universiteit (VU) in Amsterdam seeks a PhD student for four years on a research project devoted to Formal Verification of Epidemic Protocols and Distributed Verification Methods. Starting date of this PhD position: as soon as possible.

May 25, 2006: Call for Papers: 1st Asian Working Conference on Verified Software Submission deadline is July 10, 2006.

May 25, 2006: Final Call for Tutorials: 3rd International Colloquium on Theoretical Aspects of Computing. Tutorial proposal submission deadline is June 1, 2006.

May 24, 2006: Job offer: PhD and PostDoc position at University of Zaragoza. Applicants should send their CV no later than June 20, 2006.

May 23, 2006: Call for Workshop Ideas: The First International Conference on Communications and Networking in China is currently accepting proposals for one-day workshops. Submission deadline is June 6, 2006.

May 23, 2006: Final Call for Proposals for Workshops and Tutorials: 28th International Conference On Application and Theory of Petri Nets and Other Models of Concurrency. Deadline for submission of proposals is June 1, 2006.

May 22, 2006: New research group added: Graduate School of Information Science and Electrical Engineering at the University of Kyushu.

May 19, 2006: Last Announcement and Call for Submission: Doctoral Symposium at the 14th International Symposium on Formal Methods. Submission deadline is May 26, 2006.

May 17, 2006: Call for Papers: 2nd International Workshop on Petri Nets and their Applications to Workflow Management. Submission deadline is June 1, 2006.

May 16, 2006: Final Call for Papers: 13th International Workshop on Expressiveness in Concurrency, affiliated with CONCUR 2006. Submission deadline is June 1, 2006.

May 16, 2006: New Tool database entry: Geist 3d. Geist3D is a real-time 3D graphics engine complete with an integrated development environment. It supports a combination of Python scripts and Petri Nets as programming language for virtual environments.

May 12, 2006: Call for Participation: 14th International Symposium on Formal Methods. McMaster University, Hamilton, Canada, August 21-27, 2006.

May 11, 2006: Second Call for Papers: Second Workshop on Graph Transformation for Verification and Concurrency, satellite workshop of CONCUR 2006. Submission deadline is May 22, 2006.

May 10, 2006: Call for Participation: 6th International Conference on Application of Concurrency to System Design and 27th International Conference On Application and Theory of Petri Nets and Other Models of Concurrency. Colocated in 2006 in Turku, Finland, June 26-30, 2006. Early registration daedline is 15th of May 2006.

May 8, 2006: Call for Participation: International PhD School on Verification of Protocols for Security and Mobility. Copenhagen, Denmark, October 9-13, 2006.

May 8, 2006: Call for Papers: International Workshop on Software Certification in conjunction with Formal Methods 2006. Submission deadline is June 9, 2006.

May 7, 2006: Call for Papers: First International Workshop on Agent Technology and Autonomic Computing. Submission deadline is May 15, 2006.

May 5, 2006: Book announcement: Supervisory Control of Concurrent Systems. A Petri Net Structural Approach. Marian V. Iordache, LeTourneau University, Longview, TX, USA and Panos J. Antsaklis, University of Notre Dame, Notre Dame, IN, USA.

May 5, 2006: Deadline extension: 3rd International Workshop on Rapid Integration of Software Engineering techniques. Submission deadline is extended to May 19, 2006.

May 4, 2006: Call for Papers: 5th International Workshop on Parallel and Distributed Methods in Verification, a workshop affiliated to CONCUR 2006. Submission deadline is June 2, 2006 (abstracts due to May 26).

May 4, 2006: Call for Papers: 8th International Conference on Formal Engineering Methods. Submission deadline is May 26, 2006.

May 3, 2006: Second Call for Papers: 13th International Workshop on Expressiveness in Concurrency, a workshop affiliated with CONCUR 2006. Submission deadline is June 1, 2006.

May 2, 2006: Call for Papers: Formal Methods in the Teaching Lab, a workshop at the Formal Methods 2006 Symposium. Submission deadline is June 9, 2006.

April 28, 2006: Call for Papers: 11th International Workshop on Formal Methods for Industrial Critical Systems, co-located with Concur 2006. Submission deadline is June 2, 2006 (abstracts due to May 26).

April 27, 2006:Final Call for Papers: 3rd International Colloquium on Theoretical Aspects of Computing. Among the topics are models of concurrency. Submission deadline is May 8, 2006.

April 26, 2006: Deadline Extension: First International Conference on Performance Evaluation Methodologies and Tools. Among the topics is Petri nets as discrete event systems. Submission deadline is extended to May 2, 2006.

April 25, 2006: New research group entry: University of Melbourne. Among the research topics are hybrid Petri nets and modelling of continious systems.

April 25, 2006: Tool database entry updated: CPN Tools.

April 25, 2006: Tool database entry updated: PROD.

April 24, 2006: Second Call for Participation: 6th International Conference on Application of Concurrency to System Design and 26th International Conference On Application and Theory of Petri Nets and Other Models of Concurrency. Colocated in 2006 in Turku, Finland, June 26-30, 2006. The registration for the event is now open.

April 24, 2006: Second Call for Submission: Tool Ehibition at ACSD and ATPN 2006.

April 24, 2006: Second Call for Papers: Doctoral Consortium at ACSD and ATPN 2006. Graduate students are invited to submit short papers describing their work in progress. The authors of accepted papers will present their work at the Doctoral Consortium to other students and to well known experts.

April 21, 2006: Deadline extension: 3rd International Conference on Quantitative Evaluation of SysTems. Tool papers deadline extended to May 7, 2006.

April 21, 2006: Call for Participation: Computability in Europe 2006: Logical Approaches to Computational Barriers at Swansea University, UK, June 30 - July 5, 2006.

April 20, 2006: Deadline Extension: International Conference on Formal Methods in Computer-Aided Design. Submission deadline is May 1, 2006.

April 19, 2006: Call for Papers and Participation: Seventh Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools in Aarhus, Denmark. Paper submission deadline is August 15, 2006.

April 18, 2006: Call for Submissions: The 14th International Symposium on Formal Methods will feature a Doctoral Symposium this year on the 22nd of August 2006. Students are invited to submit short papers describing their work in progress. Submission deadline is May 26, 2006.

April 18, 2006: Call for Participation: 3rd European Performance Engineering Workshop. Budapest, Hungary, 21-22 June 2006.

April 13, 2006: Deadline extension: 26th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems. Submission deadline is extended to April 25, 2006 (short abstracts due to April 18).

April 12, 2006: Call for Papers: 3rd International Workshop on Web Services and Formal Methods, co-located with BPM 2006. Submission deadline is May 2, 2006.

April 11, 2006: Deadline Extension: 6th International Workshop on Innovative Internet Community Systems. Submission deadline is extended to April 24, 2006.

April 10, 2006: Deadline Extension: First International Conference on Performance Evaluation Methodologies and Tools. Among the topics is Petri nets as discrete event systems. Submission deadline is extended to April 24, 2006.

April 10, 2006: Deadline extension: Workshop on Teaching Concurrency. Submission deadline is April 20, 2006.

April 7, 2006: Two weeks reminder: Track on Industrial Applications of Petri Nets in the 2nd European Modeling & Simulation Symposium. Submission deadline is April 19, 2006.

April 7, 2006: New Tool Release: PNetLab is a simulation and analysis tool developed by the Automatic Control Group of the University of Salerno. It allows drawing of a PN/CPN model by a graphical user interface and the definition of the supervisor as a PN/CPN or as a standard C/C++ program implementing logical predicates. It is free for academic institutions.

April 7, 2006: Call for Papers: Workshop Simulation with Petri Nets at ESM2006. Submission deadline is July 1, 2006.

April 5, 2006: Deadline extension: 2nd International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems. Submission deadline has been extended to April 14, 2006.

April 4, 2006: Call for Papers: International Conference on Formal Methods in Computer-Aided Design. Submission deadline is April 24, 2006.

April 4, 2006: Deadline extension: I-Know 2006 - 6th International Conference on Knowledge Management. Submission deadline has been extended to April 17, 2006.

April 4, 2006: Deadline extension: I-Know 2006 Special Track on Business Process Oriented Knowledge Infrastructures 2006. Submission deadline has been extended to April 17, 2006.

April 3, 2006: Call for Papers: 26th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems. The topics of interest focus on the application of formal methods for the specification and the verification of distributed systems and applications. Submission deadline is April 18, 2006 (short abstracts due to April 10).

April 3, 2006: New Tool Release: Kontinuum is a commercial 100% Web based workflow design studio and end user environment created by Web and Flo (discounts for academic institutions).

March 29, 2006: Call for Papers: 8th International Conference on Formal Engineering Methods. Submission deadline is May 12, 2006.

March 28, 2006: Call for Participation: 6th International Conference on Application of Concurrency to System Design and 26th International Conference On Application and Theory of Petri Nets and Other Models of Concurrency. Colocated in 2006 in Turku, Finland, June 26-30, 2006. The registration for the event is now open.

March 28, 2006: Call for Papers: Workshop on Teaching Concurrency. Submission deadline is April 9, 2006.

March 24, 2006: Call for Submission: Tool Ehibition at ACSD and ATPN 2006.

March 24, 2006: Call for Papers: Doctoral Consortium at ACSD and ATPN 2006. Graduate students are invited to submit short papers describing their work in progress. The authors of accepted papers will present their work at the Doctoral Consortium to other students and to well known experts.

March 23, 2006: Final Call for Papers: 17th International Conference on Concurrency Theory. Submissfion deadline is April 3, 2006.

March 23, 2006: Call for Proposals for Workshops and Tutorials: The 28th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (Petri nets 2007) will take place in Poland (as usual in the last week of June). For this major event, people are invited to submit proposals for both tutorials and workshops.

March 22, 2006: Deadline extension: 3rd International Conference on Quantitative Evaluation of SysTems. Abstracts are now due on March 27, Papers due on April 3.

March 20, 2006: Call for Demos and Posters: 14th International Symposium on Formal Methods. Submission deadline for Posters and Research Tool Demonstrations is May 26, 2006.

March 20, 2006: Call for Papers: I-Know 2006 Special Track on Business Process Oriented Knowledge Infrastructures 2006. Submission deadline is April 3, 2006.

March 20, 2006: New Tool Release: PNML Framework in its first (and experimental) release announced. PNML Framework is a prototype implementation of ISO/IEC-15909 part 2, International Standard on Petri Net Markup Language. The primary purpose of PNML is to enable interoperability among Petri net tools. Thanks to this standard transfer format, tools should be able to exchange Petri nets models, according to the standard specifications.

March 20, 2006: Call for Papers: Fourth Workshop on Modelling of Objects, Components, and Agents a satellite event of Petri Nets 2006 and ACSD 2006. Submission deadline is April 3, 2006.

March 17, 2006: Call for Papers: 3rd International Conference on Quantitative Evaluation of SysTems. Among the topics of interest are stochastic and timed Petri nets. Submission deadline is March 27, 2006 (abstracts due to March 20).

March 17, 2006: 2nd Call for Papers: Track on Industrial Applications of Petri Nets in the 2nd European Modeling & Simulation Symposium. Submission deadline is April 19, 2006.

March 17, 2006: 2nd Call for Papers: 3rd International Conference on Graph Transformation. Submission deadline is April 10 for title and abstract and April 14, 2006 for complete paper.

March 16, 2006: Call for Papers: 13th Workshop Algorithms and Tools for Petri Nets. Submission deadline is August 1, 2006.

March 16, 2006: Call for Papers: International Workshop on Visual Languages and Computing. Submission deadline is March 30, 2006.

March 15, 2006: Call for Papers: First International Conference on Performance Evaluation Methodologies and Tools. Among the topics is Petri nets as discrete event systems. Submission deadline is April 10, 2006.

March 14, 2006: Call for Papers: 13th ISPE International Conference on Concurrent Engineering: Research and Applications. Submission deadline is March 31, 2006.

March 13, 2006: Call for Papers: 4th International Conference on Business Process Management. Papers on the application of Petri nets to BPM are welcome. Submission deadline is May 1, 2006.

March 13, 2006: Call for Papers (reminder): 8th ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming. Among the topics are visual programming and concurrent extensions to declarative languages. Submission deadline is March 15, 2006.

March 13, 2006: Call for Participation: 13th GI/ITG Conference on Measuring, Modeling and Evaluation of Computer and Communication Systems. Nuernberg, Germany, March 27-29, 2006.

March 10, 2006: The 14th International Symposium on Formal Methods will feature a Doctoral Symposium this year on the 22nd of August 2006. Students are invited to submit short papers describing their work in progress. Submission deadline is May 26, 2006.

March 10, 2006: The conference dates of CHINACOM2006 have been postponed one week to October 25-27, 2006.

March 10, 2006: Call for Papers: International Conference on Computational Intelligence for Modelling, Control and Automation. Submission deadline is September 1, 2006.

March 9, 2006: Call for Papers: Business Process Intelligence 2006 in conjunction with International Conference on Business Process Management. Submission deadline is May 1, 2006.

March 9, 2006: New Tool Release: The CPN Group at the University of Aarhus, Denmark, announces the release of version 2.0.0 of the CPN Tools.

March 9, 2006: Call for Papers: 17th International Conference on Concurrency Theory. Submissfion deadline is March 23, 2006 for abstracts and April 3, 2006 for papers.

March 9, 2006: Call for Participation: International PhD School on Verification of Protocols for Security and Mobility. Copenhagen, Denmark, October 9-13, 2006.

March 3, 2006: Call for Papers: Workshop on Teaching Concurrency. Satellite workshop of ATPN'2006 and ACSD'2006. Submissfion deadline is April 9, 2006.

March 2, 2006: Call for Papers: Track on Industrial Applications of Petri Nets in the 2nd European Modeling & Simulation Symposium. Submission deadline is April 19, 2006.

March 2, 2006: Deadline extension: IEEE Symposium on Visual Languages and Human-Centric Computing. Submission deadline is March 10, 2006.

February 28, 2006: Deadline extension: 3rd European Performance Engineering Workshop. Submission deadline is March 8, 2006.

February 28, 2006: Call for Papers: 11th International Conference on Implementation and Application of Automata. Submission deadline is March 31, 2006.

February 28, 2006: Call for Papers: Fourth Workshop on Modelling of Objects, Components, and Agents a satellite event of Petri Nets 2006 and ACSD 2006. Submission deadline is April 3, 2006.

February 28, 2006: Call for Papers: 5th International Workshop on Parallel and Distributed Methods in Verification Submission deadline is June 2, 2006 (abstracts due to May 26).

February 24, 2006: Call for Papers: 8th International Middle Eastern Simulation Multiconference Submission deadline is July 15, 2006 (abstracts due to April 5).

February 24, 2006: Job offer: The Technische Universiteit Eindhoven (TU/e) has a vacancy for Full Professor (Chair) Business Process Management at the subdepartment Information Systems, Department of Technology Management. Send your application before March 15, 2006.

February 23, 2006: Call for Papers: 3rd International Workshop on Rapid Integration of Software Engineering techniques. Submission deadline is May 8, 2006.

February 23, 2006: Call for Papers: 2006 IEEE Symposium on Visual Languages and Human-Centric Computing. Submission deadline is March 3, 2006.

February 17, 2006: Call for Papers: I-Know 2006 Special Track on Business Process Oriented Knowledge Infrastructures 2006. Among others topics include Workflow Management Systems. Submission deadline is April 3, 2006.

February 16, 2006: Call for Papers: Workshop on Interdisciplinary Systems. Approach in Performance Evaluation and Design of Computer & Communication Systems. Submission deadline is April 10, 2006.

February 14, 2006: Call for Papers: 3rd European Performance Engineering Workshop. Among the topics are stochastic Petri nets. Submission deadline has been extended to March 1, 2006.

February 13, 2006: Job offer: LIAFA is opening a postdoctoral research position on Verification of programs with dynamic memory The position is for one year with a possible extension of another year. Knowledge of the french language is not required.

February 10, 2006: Call for Papers: Workshop on Logics for Resource Bounded Agents. Submission deadline is March 8, 2006.

February 10, 2006: Call for Participation: 13th GI/ITG Conference on Measuring, Modeling and Evaluation of Computer and Communication Systems in Nuernberg, Germany, March 27-29, 2006.

February 10, 2006: Call for Papers: Special session on Discrete Event modelling for exploitation of transport systems for CESA'06 the multiconference on Computational Engineering in Systems Applications. Submission deadline is March 1, 2006.

February 9, 2006: Call for Papers: Special Session on Petri Nets and Discrete Event Systems at IEEE SMC 2006 in Taiwan. Submission deadline is March 1, 2006.

February 8, 2006: Call for Papers: 17th International Conference on Concurrency Theory Many topics involving concurrency like models of concurrent and distributed computation such as Petri nets. Submission deadline is April 3, 2006 (abstracts due to March 23).

February 8, 2006: Call for Papers: Workshop on Rationality and Knowledge. Submission deadline is March 8, 2006.

Feburary 7, 2006: Call for Papers: 3rd International Conference on Quantitative Evaluation of SysTems. Among the topics of interest are stochastic and timed Petri nets. Submission deadline is March 27, 2006 (abstracts due to March 20).

Feburary 7, 2006: Call for Papers: First International Conference on Performance Evaluation Methodologies and Tools. Among the topics is Petri nets as discrete event systems. Submission deadline is April 10, 2006.

February 6, 2006: Call for Papers: Invited session on Performance Evaluation and Analysis of Petri Net Time Extensions for CESA'06 the multiconference on Computational Engineering in Systems Applications. Submission deadline is March 1, 2006.

February 6, 2006: Call for Papers: 6th International Workshop on Innovative Internet Community Systems. Submission deadline is April 15, 2006.

February 6, 2006: Call for Papers: Chinacom 2006 - International Conference on Communications and Networking in China. Submission deadline is May 1, 2006.

January 30, 2006: Preliminary Call for Papers: 8th ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming. Among the topics are visual programming and concurrent extensions to declarative languages. Submission deadline is March 15, 2006.

January 29, 2006: Call for Papers: 14th International Symposium on Formal Methods. All aspects of formal methods research, both theoretical and practical, are welcome. Submission deadline is February 24, 2006 for technical papers, workshops and tutorials and May 22, 2006 for posters and tools.

January 27, 2006: Call for Papers: 26th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems. The topics of interest focus on the application of formal methods for the specification and the verification of distributed systems and applications. Submission deadline is April 18, 2006 (short abstracts due to April 10).

January 24, 2006: Call for Papers: Special Session on Petri Net-based Applications in ITS at the 9th International IEEE Conference on Intelligent Transportation Systems. Submission deadline is March 1, 2006. (Abstract due to February 10, 2006.)

January 22, 2006: Call for Papers: 2nd Workshop on Quality Assurance and Software Testing. Among the topics is formal verification methods for component-based software engineering. Submission deadline is February 23, 2006.

January 22, 2006: Call for Papers: 3rd International Workshop on the Applications of UML/MDA to Software Systems. Among the topics are formal specifications of UML models and UML and domain specific modeling languages. Submission deadline is February 23, 2006.

January 17, 2006: Call for Participation: MMB 2006 - 13th GI/ITG Conference on Measuring, Modeling and Evaluation of Computer and Communication Systems. Nuernberg, Germany, March 27-29, 2006. One of the topics is stochastic Petri Nets.

January 17, 2006: Job offer: UNU-IIST is currently seeking to recruit two Research Fellows to join its academic staff in Macao. Closing date for application is March 1, 2006.

January 13, 2006: Call for Papers: I-Know 2006 Special Track on Business Process Oriented Knowledge Infrastructures 2006. Among others topics include Workflow Management Systems. Submission deadline is April 3, 2006.

January 13, 2006: Call for Papers: 6th International Conference on Knowledge Management. Submission deadline is April 3, 2006.

January 13, 2006: Job offer: Open positions at University of Aarhus. Several postdoctoral positions at the level of Research Assistant Professor and visiting Professor positions at the level of Associate or Full Professor are available at the Department of Computer Science, University of Aarhus, Denmark.

To be assured of full consideration, all material must arrive by March 1, 2006. Applications will be considered until the positions are filled.

January 12, 2006: Final Call for Papers: Computability in Europe 2006: Logical Approaches to Computational Barriers, June 30 - July 5, 2006. Submission deadline is February 9, 2006.

January 11, 2006: Call for Papers: Workshop on Logics for Resource Bounded Agents. Submission deadline is March 8, 2006.

January 10, 2006: Call for Participation: High Performance Computing & Simulation Conference will be held in Bonn, Germany, May 28-31, 2006.

January 9, 2006: PN World update: The Petri Net Web-pages now have a special page with Information from the Steering Committee.

January 9, 2006: New Tool: The Dipartimento Sistemi e Informatica, Università di Firenze has released a new tool, ORIS. ORIS comprises a rich set of tools for building, simulating, analyzing and validating Time Petri Net models.

January 07, 2006: Call for Papers: First International Workshop on Coordination of Inter-Organizational Workflow: Agent and Semantic Web based Models Submission deadline is February 1, 2006.