What was New in 2008

December 27, 2008: 3rd Call for Papers: 17th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems. Submission deadline is April 3, 2009 (abstracts due on March 27, 2009).

December 27, 2008: Call for Papers: 6th Annual Conference on Theory and Applications of Models of Computation. Submission deadline is February 1, 2009.

December 27, 2008: Call for Papers and Deadline Extension: 2nd IFAC Workshop on Dependable Control of Discrete Systems. Submission deadline is extended to January 18, 2009.

December 22, 2008: Call for Papers: 5th Bioinformatics workshop using Petri nets in the field of Biological Sciences, Health Sciences, Medicine and Chemistry at the Summer Computer Simulation Conference. Submission deadline is February 25, 2009.

December 22, 2008: Call for Papers: Computability in Europe 2009: Mathematical Theory and Computational Practice. Submission deadline is January 20, 2009.

December 19, 2008: Job Offer: The Department of Computer and Information Science at the University of Massachusetts Dartmouth invites applications for a full-time tenure-track Assistant Professor starting September 1, 2009. (This is the same posting as the one from December 11, but with a corrected URL.)

December 19, 2008: Job Offer: Doctoral Student Positions in Information and Communication Technologies on the research project WORD-LEVEL FORMAL VERIFICATION VIA SMT SOLVING are available at the International Doctorate School in Information and Communication Technologies of the University of Trento, Italy.

December 19, 2008: Call for Papers: 16th Annual European Concurrent Engineering Conference. Submission deadline is January 20, 2009.

December 18, 2008: Call for Papers: Ninth International Workshop on Automated Verification of Critical Systems. Submission deadline is June 26, 2009 for full papers and July 27, 2009 for short contributions.

December 18, 2008: Call for Papers: 4th International Workshop on Workflow Management. Submission deadline is extended to January 15, 2009.

December 17, 2008: Call for Papers: 2nd International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software. Submission deadline is January 18, 2009 (abstracts due on January 13).

December 17, 2008: Call for Papers: 6th International Conference on Quantitative Evaluation of SysTems. Submission deadline is March 23, 2009 (abstracts due on March 16).

December 16, 2008: Call for Workshop Proposals: 7th International Symposium on Automated Technology for Verification and Analysis. You are cordially invited to submit proposals for organising associated workshops with the ATVA 2009 conference. The available dates for workshops are from 11th to 13th October 2009, i.e. before the conference. The workshop topics should be generally in line with the interests of ATVA community. Workshop proposals should be submitted no later than March 15, 2009.

December 15, 2008: Call for Papers: 6th Annual Future Business Technology Conference - Simulation for Sustainability. Submission deadline is January 20, 2009.

December 15, 2008: Call for Papers: 6th International Colloquium on Theoretical Aspects of Computing. Submission deadline is April 10, 2009 (abstracts are due on April 6).

December 15, 2008: Call for Papers: 7th International Symposium on Automated Technology for Verification and Analysis. The theory of Petri Nets as a useful theory for providing designers with (automated) support for obtaining correct software or hardware systems is explicitly mentioned in the Call for Papers. Submission deadline is May 1, 2009.

December 12, 2008: Call for Papers: Seventh Workshop on Quantitative Aspects of Programming Languages Among the topics are probabilistic, timing and general quantitative aspects of distributed and concurrent systems. Submission deadline is Decemter 20, 2008 (abstracts are due on Dezember 18).

December 11, 2008: Call for Papers: First International Workshop on the Critical Computer Based Systems. Submission deadline is March 2, 2009.

December 11, 2008: Job Offer: The Department of Computer and Information Science at the University of Massachusetts Dartmouth invites applications for a full-time tenure-track Assistant Professor starting September 1, 2009.

December 11, 2008: Call for Papers: International Conference on Computational Methods in Systems Biology. Submission deadline is March 23, 2009 (abstracts are due on March 16).

December 10, 2008: Last Call for Papers: 9th 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. Submission deadline has been extended to January 10, 2009 (abstracts are due to January 4).

December 9, 2008: Call for Papers: Spring Simulation Multiconference 2009. The Conferences cover many aspects of modeling and simulation. Submission deadlines vary for the different conferences, but many have been extended to December 15, 2008.

December 5, 2008: Deadline Extension: 14th International Conference on Reliable Software Technologies. Submission deadline is extended to December 15, 2008.

December 4, 2008: 2nd Call for Papers: The 30th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency will be held in Paris, France, June 22-26, 2009. Submission deadline is January 5, 2009.

December 2, 2008: Call for Papers: 20th IEEE/IFIP International Symposium on Rapid System Prototyping. The RSP 2009 is colocated with PN 2009! Submission deadline is January 17, 2009 (paper registration due on January 9).

Dezember 2, 2008: Call for Papers: 14th IEEE International Conference on Emerging Technologies and Factory Automation. Submission deadline is March 31, 2009.

Dezember 1, 2008: Call for Papers: 6th International Workshop on Model-based Methodologies for Pervasive and Embedded Software. Submission deadline is January 15, 2009.

Dezember 1, 2008: Last Call for Tutorial Proposals: The 30th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency will take place in Paris in June 2009. For this major event, people are invited to submit proposals for tutorial. All tutorial proposals must be written in English and are due January 5th 2009.

November 27, 2008: Call for Papers: 6th International Conference on Quantitative Evaluation of SysTems. Submission deadline is March 23, 2009 (abstracts due on March 16).

November 26, 2008: Job Offer: Several Post-Doc positions available in the Embedded Systems Research Unit of the Bruno Kessler Foundation, Trento, Italy. The positions are already open, and they will be evaluated as soon as they arrive.

November 26, 2008: Job Offer: Several Doctoral Student positions available in the Embedded Systems Research Unit of the Bruno Kessler Foundation, Trento, Italy. The positions are already open, and they will be evaluated as soon as they arrive.

November 25, 2008: Call for Papers: 34th International Symposium on Symbolic and Algebraic Computation. Submission deadline is January 17, 2009.

November 25, 2008: Call for Papers: Seventh Workshop on Quantitative Aspects of Programming Languages Among the topics are probabilistic, timing and general quantitative aspects of distributed and concurrent systems. Submission deadline is Decemter 20, 2008 (abstracts are due on Dezember 18).

November 24, 2008: Call for Papers: 6th European Performance Engineering Workshop. Submission deadline is February 13, 2009.

November 24, 2008: Call for Papers: 7th Annual Industrial Simulation Conference. Submission deadline is February 20, 2009 (early submission deadline is January 25).

November 21, 2008: 2nd Call for Papers: 17th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems. Submission deadline is April 3, 2009 (abstracts due on March 27, 2009).

November 19, 2008: 2nd Call for Papers: 14th International Conference on Reliable Software Technologies. Submission deadline is December 1, 2008.

November 19, 2008: Job Offer: An Tenure-track Assistant Professor position in the Department of Computer Science at Iowa State University, USA is open. Review of applications will begin on January 15, 2009 and will continue until the position is filled.

November 18, 2008: Call for Papers: 5th International Workshop on Automated Specification and Verification of Web Systems. Submission deadline is February 9, 2009 (abstracts are due on February 2).

November 17, 2008: Call for Papers: 9th International Workshop on Runtime Verification. Submission deadline is March 9, 2009 (abstracts are due on March 1).

November 14, 2008: Call for Papers: 6th Annual Future Business Technology Conference - Simulation for Sustainability. Submission deadline is January 20, 2009.

November 14, 2008: Call for Papers: 16th Annual European Concurrent Engineering Conference. Submission deadline is January 20, 2009.

November 11, 2009: Some photos from the PN'08 and ACSD'08 conferences held in Xi'an in June 2008 are now available here.

November 10, 2008: Call for Papers: 11th IEEE Conference on Commerce and Enterprise Computing. Submission deadline is February 1, 2009.

November 9, 2008: Call for Papers: 4th International Workshop on Workflow Management. Submission deadline is January 5, 2009.

November 9, 2009: Extension of the Petri net Steering Committee: Chuang Lin (China), Wojciech Penczek (Poland), and Antti Valmari (Finland) have joined the Steering Committee for the International Petri Net community. A warm welcome to all three of them!

November 7, 2008: Call for Papers: 14th International Conference on Reliable Software Technologies. Submission deadline is December 1, 2008.

November 7, 2008: Call for Papers: 14th International Workshop on Formal Methods for Industrial Critical Systems. Submission deadline is April 7, 2009 (abstracts due on April 1, 2009).

November 5, 2008: Tool update: A new version of WoPeD is available. The recent release is version 2.0.0. WoPeD is an easy-to-use, freely available, Java-written tool for editing, managing, simulating and analyzing workflow Petri nets using the well-established "van der Aalst" notation.

November 3, 2008: Tool update: A new version of DSSZMC is available. It contains tools for the symbolic analysis of bounded Petri nets for standard properties and CTL model checking.

November 3, 2008: Call for Papers: International Workshop on Abstractions for Petri Nets and Other Models of Concurrency. APNOC is a satellite event of Petri Nets 2009, it's goal is to serve as a forum for researchers interested in abstraction techniques and methodologies for modeling and verification of concurrent systems. Submission deadline is March 20, 2009 (abstracts due on March 13, 2009).

October 31, 2008: Deadline Extension: Fifth International Conference on Networking and Services. Submission deadline is extended to November 10, 2008.

October 30, 2008: Last Deadline extension: 3rd International Conference on Language and Automata Theory and Applications. The topics cover many aspects of theoretical computer science and its applications. Petri Nets are also explicitly mentioned. Submission deadline is extended to October 31, 2008.

October 30, 2008: Job Offer: An Assistant Professor position in the Departamento de Informática of the Faculdade de Ciências e Tecnologia of the Universidade Nova de Lisboa, Portugal. The applications deadline is October 31, 2008.

October 29, 2008: Last Call for Papers: Symposium on Automatic Program Verification. Submission deadline is November 8, 2008.

October 27, 2008: Job Offer: A Young Research Fellow Position at IMT, Lucca, Italy. The applications deadline is December 1st, 2008.

October 23, 2008: Call for Papers: 16th Workshop on Logic, Language, Information and Computation. Submission deadline is March 8, 2009 (abstracts due on February 28, 2009).

October 23, 2008: Deadline extension: 3rd International Conference on Language and Automata Theory and Applications. The topics cover many aspects of theoretical computer science and its applications. Petri Nets are also explicitly mentioned. Submission deadline is extended to October 29, 2008.

October 21, 2008: Call for Papers and Announcement: The 30th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency will be held in Paris, France, June 22-26, 2009. Submission deadline is January 5, 2009.

October 21, 2008: Call for Papers: 17th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems. Submission deadline is April 3, 2009 (abstracts due on March 27, 2009).

October 20, 2008: Call for Papers: 20th IEEE/IFIP International Symposium on Rapid System Prototyping. The RSP 2009 is colocated with PN 2009! Submission deadline is January 17, 2009 (paper registration due on January 9).

October 17, 2008: Call for Papers: Fifth International Conference on Networking and Services. Submission deadline is November 1, 2008.

October 14, 2008: Call for Papers: 3rd IFAC Conference on Analysis and Design of Hybrid Systems. Submission deadline is March 26, 2009.

October 13, 2008: Call for Participation: The 8th International Conference on Formal Methods in Computer-Aided Design will be held at Embassy Suites Portland--Downtown, Portland, Oregon, USA, November 17-20, 2008. Early registration ends October 16, and the hotel registration deadline is October 18.

October 6, 2008: Call for Participation: The 1st International workshop on Software Engineering for Resilient Systems will be held in Newcastle upon Tyne, UK, November 17-19, 2008.

October 2, 2008: New document from the SC: An updated version of the Guidelines for Programme Committees and Organising Committees is available now.

October 2, 2008: Call for Papers: 9th 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. Submission deadline is January 4, 2009.

September 30, 2008: Call for Papers: Seventh Workshop on Quantitative Aspects of Programming Languages Among the topics are probabilistic, timing and general quantitative aspects of distributed and concurrent systems. Submission deadline is Decemter 20, 2008 (abstracts are due on Dezember 18).

September 28, 2008: Call for Papers: 11th Join International Conference on Measurement and Modeling of Computer Systems. Among others the topics cover performance-oriented design of distributed systems and algorithmic techniques for their analysis. Submission deadline is November 17, 2008.

September 28, 2008: Job Offer: Open Professor / Associate Professor in Complex Software Systems and Service position at Swinburne University of Technology, Melbourne, Australia. The applications deadline is 5pm on Friday, 7 November, 2008.

September 26, 2008: Call for Affiliated Workshops: The 20th International Conference on Concurrency Theory will be held from September 1-4, 2009, in Bologna, Italy. The Call for Affiliated Workshops can be found here.

September 24, 2008: Final Call for Papers: 3rd International Conference on Language and Automata Theory and Applications. The topics cover many aspects of theoretical computer science and its applications. Petri Nets are also explicitly mentioned. Submission deadline is October 22, 2008.

September 24, 2008: Job Offer: Open Associate/Assistant Professor in Requirements Engineering position at Denmark's Technical University (DTU). The position is available immediately and should be filled by September 2009 at the latest.

September 23, 2008: Call for Participation: The 22nd European Simulation and Modelling Conference will be held in Le Havre, France, October 27-29, 2008. The preliminary programme can be found here.

September 23, 2008: New document from the SC: There is a new document at the Information from the Steering Committee page entitled Proposal for: Requirements and Evaluation of tool papers for PETRI NETS. From the abstract: This paper gives guidelines for the publication of papers on software tools, in particular Petri net tools. The guidelines are illustrated by an example.

September 22, 2008: Call for Participation: The 3rd International Workshop Models@run.time will be held in Toulouse, France, September 30, 2008.

September 22, 2008: Call for Papers: First International Conference on Intensive Applications and Services. Submission deadline is November 1, 2008.

September 18, 2008: Call for Papers: 2nd IFAC Workshop on Dependable Control of Discrete Systems. Submission deadline is January 8, 2009.

September 17, 2008: Call for Papers: 23rd International Conference on Advanced Information Networking and Applications. Submission deadline is October 6, 2008.

September 16, 2008: Call for Participation: The 8th International Conference on Formal Methods in Computer-Aided Design will be held at Embassy Suites Portland--Downtown, Portland, Oregon, USA, November 17-20, 2008.

September 16, 2008: Call for Papers: 12th International Conference on Hybrid Systems: Computation and Control. Submission deadline is October 10, 2008.

September 16, 2008: Call for Papers: Symposium on Automatic Program Verification. Submission deadline is November 8, 2008.

September 12, 2008: Call for Papers: The Fifth International Conference on Networking and Services. Submission deadline is November 1, 2008.

September 11, 2008: Final Call for Papers: The European Joint Conferences on Theory and Practice of Software. Submission deadline is October 9, 2008 (abstracts are due on October 2). The deadlines are strict!

September 11, 2008: Job Offer: Open PhD Positions at IBM Zurich Research Lab / Business Integration Technologies Group.

September 5, 2008: New Association Computability in Europe formed.

September 4, 2008: Last Call for Participation: The 5th International Conference on Quantitative Evaluation of SysTems will be held at Palais du Grand Large in Saint Malo, France, September 14-17, 2008.

September 3, 2008: Information from the SC meeting in Xi'an June 2008: During the SC meeting at the Petri Net conference in Xi'an a number of important decisions were made. See this posting for detailed information.

August 27, 2008: Call for Participation and Programme: International Academic Research Conference Visions of Computer Science & Engineering will be held at the Imperial College in London, UK, September 22-24, 2008. The programme is now available.

August 21, 2008: Final Call for Papers: The European Joint Conferences on Theory and Practice of Software. Submission deadline is October 9, 2008 (abstracts are due on October 2).

August 20, 2008: Call for Participation: The 2nd International Meeting on Membrane Computing and Biologically Inspired Process Calculi will be held in Iasi, Romania, September 3-4, 2008.

August 20, 2008: Second Call for Papers: 3rd International Conference on Language and Automata Theory and Applications. The topics cover many aspects of theoretical computer science and its applications. Petri Nets are also explicitly mentioned. Submission deadline is October 22, 2008.

August 20, 2008: Call for Participation: The 16th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems will be held in Baltimore, Maryland, USA, September 8-10, 2008.

August 18, 2008: Call for Participation: 5th International Workshop on Web Services and Formal Methods will be held in Milan, Italy, September 4-5, 2008.

August 15, 2008: Deadline Extension: 15th Workshop Algorithms and Tools for Petri Nets. Submission deadline is extended to August 22, 2008. The official workshop language is German, but English contributions are welcome.

August 9, 2008: Call for Participation: 9th International Middle Eastern Simulation Multiconference will be held at Philadelphia University in Amman, Jordan, August 26-28, 2008. The preliminary programme is now available.

August 8, 2008: Call for Participation: International Academic Research Conference Visions of Computer Science & Engineering will be held at the Imperial College in London, UK, September 22-24, 2008.

August 7, 2008: Call for Participation: The 5th International Conference on Quantitative Evaluation of SysTems will be held at Palais du Grand Large in Saint Malo, France, September 14-17, 2008.

August 6, 2008: Call for Participation: The 16th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems will be held in Baltimore, Maryland, USA, September 8-10, 2008.

August 5, 2008: Tool update: The entry for the ProM framework has just been updated. See the announcment for the ProM 5.0 software release here.

August 2, 2008: Deadline extension: 3rd International Workshop Models@run.time. Submission deadline is extended to August 15, 2008.

July 29, 2008: Call for Participation: First Workshop on Formal Methods for Wireless Systems, August 23, 2008, Toronto, Canada.

July 28, 2008: Call for Papers: 35th International Conference on Current Trends in Theory and Practice of Computer Science. Submission deadline is August 24, 2008 (abstracts due on August 17).

July 24, 2008: Call for Papers: 3rd International Conference on Language and Automata Theory and Applications. The topics cover many (possibly all?) aspects of theoretical computer science and its applications. Petri Nets are also explicitly mentioned. Submission deadline is October 22, 2008.

July 23, 2008: Call for Papers: Workshop on Global Computing Models and Technologies. Submission deadline is August 3, 2008.

July 22, 2008: Second Call for Papers: 15th Workshop Algorithms and Tools for Petri Nets. Submission deadline is August 15, 2008. The official workshop language is German, but English contributions are welcome.

July 17, 2008: Last Call for Papers: Track on Software Verification and Testing at the 24th Annual ACM Symposium on Applied Computing. Submission deadline is August 16, 2008.

July 14, 2008: The talk held by Rüdiger Valk for Carl Adam Petri at the Xi'an conference can be downloaded now in different formats from Petri's home page at http://www.informatik.uni-hamburg.de/TGI/mitarbeiter/profs/petri_eng.html (at the bottom of the page).

July 13, 2008: Call for Participation: 5th International Conference on Quantitative Evaluation of SysTems, September 14-17, 2008, Palais du Grand Large, Saint Malo, France. Early registration deadline is August 17, 2008.

July 11, 2008: Job Announcement: At the Knowledge Representation and Reasoning Group headed by Prof. Hölldobler at the Faculty of Computer Science of the Technische Universität Dresden, Germany one open position for a Ph.D. Student or Post-Doc is available. Application deadline is July 25, 2008.

July 10, 2008: Call for Papers and Deadline Extension: First International Workshop on Formal Methods (held in conjunction with the XXVII International Conference of the Chilean Computer Science Society). Submission deadline is extended to July 25, 2008.

July 8, 2008: Call for Papers: 3rd International Workshop Models@run.time. Submission deadline is August 13, 2008.

July 4, 2008: Call for Papers: First Annual North American Simulation Technology Conference. Submission deadline is extended to July 15, 2008.

July 4, 2008: Call for Papers: 2nd IFAC Workshop on Dependable Control of Discrete Systems. Submission deadline is January 8, 2009.

July 4, 2008: Call for Papers: International Conference on Computational Intelligence for Modelling, Control and Automation. Submission deadline is August 29, 2008.

July 3, 2008: Job Announcement: The Systems Engineering and Discrete Event Systems Group at University of Zaragoza in Zaragoza, Spain has one open PhD and one open PostDoc position. Application deadline is September 8, 2008.

July 1, 2008: Call for Papers: First International Workshop on UML & Formal Methods. Submission deadline is extended to July 8, 2008.

June 30, 2008: Call for Participation: 5th International Colloquium on Theoretical Aspects of Computing, September 1-3, 2008, The Marmara, Istanbul, Turkey. Early registration deadline is August 1st, 2008.

June 24, 2008: Last Call for Paper and Call for Participation: 1st Annual North American Simulation Technology Conference, August 13-15, 2008, McGill University, Montreal, Canada.

June 24, 2008: Call for Papers: Young Researchers Workshop on Concurrency Theory. This one-day workshop is a satellite workshop of CONCUR 2008 and aims to bring together PhD students, and young researchers in concurrency theory who recently completed their doctoral studies in the last few years. Submission deadline is July 4, 2008 for a 4-page abstract.

June 23, 2008: Call for Participation: 2008 IEEE Symposium on Visual Languages and Human-Centric Computing, Herrsching am Ammersee, Germany, September 15-20, 2008.

June 23, 2008: Call for Participation: 4th International Workshop on Automated Specification and Verification of Web Sites, Siena, Italy, July 4, 2008. Early registration deadline is June 25, 2008.

June 17, 2008: Job Announcement: The Embedded Software Engineering Group at Åbo Akademi University in Turku, Finland is looking to expand its model driven engineering team with one post-doctoral researcher interested in the area of software engineering for embedded systems. The employment period is one year, ideally starting from September 2008. Application deadline is August 1st.

June 12, 2008: Important information from tool demonstration organizer of the Petri Nets / ACSD conferences in Xi'an:

June 9, 2008: Call for Papers: 5th International Conference on Innovations in Information Technology. Submission deadline is September 1, 2008.

June 9, 2008: Call for Papers: 2nd Meeting on Membrane Computing and Biologically Inspired Process Calculi. Submission deadline is June 29, 2008.

June 6, 2008: Second Call for Papers: 22nd European Simulation and Modelling Conference. Submission deadline is July 25, 2008.

June 4, 2008: Deadline Extension: First Workshop on Formal Methods for Wireless Systems. Submission deadline is extended to June 15, 2008 (abstracts are due on June 12).

June 4, 2008: Job Announcement: The Theoretical Foundations of Informatics (TGI) group at the University of Hamburg, Department of Informatics, has one open PhD position. The position lasts for three years, starting 01.10.2008. Applications have to be send until June 9, 2009.

June 3, 2008: Call for Papers: 35th International Conference on Current Trends in Theory and Practice of Computer Science. Submission deadline is August 24, 2008 (abstracts due on August 17).

June 3, 2008: Deadline Extension: 3rd Workshop on Petri Nets and Graph Transformation. Submission deadline is extended to June 9, 2008.

June 2, 2008: Second Call for Participation: 9th International Conference on Mathematics of Program Construction, Marseille (Luminy), France, July 15-18th 2008. Accomodation at CIRM should be booked before June 10. Please register now.

May 30, 2008: Call for Papers: First International Workshop on Formal Methods. Submission deadline is July 15, 2008.

May 30, 2008: Call for Papers: Young Researchers Workshop on Concurrency Theory. This one-day workshop is a satellite workshop of CONCUR 2008 and aims to bring together PhD students, and young researchers in concurrency theory who recently completed their doctoral studies in the last few years. Submission deadline is July 4, 2008 for a 4-page abstract.

May 29, 2008: Call for Papers: 2nd International Workshop on the Induction of Process Models. Submission deadline is June 16, 2008 for title and abstract and August 4, 2008 for complete papers.

May 27, 2008: Call for Participation: The 16th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems will be held in Baltimore, Maryland, USA, September 8-10, 2008.

May 26, 2008: Call for Papers and Announcement: The 30th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency will be held in Paris, France, June 22-26, 2009. Please find the CfP here. Submission deadline is January 5, 2009.

May 26, 2008: Call for Papers: First Workshop on Formal Methods for Wireless Systems. Submission deadline is June 6, 2008 (abstracts are due on June 2).

May 25, 2008: Call for Papers: 2nd International Conference on Simulation Tools and Techniques. Submission deadline is October 19, 2008.

May 23, 2008: Call for Papers: 2nd International Workshop on Layout of (Software) Engineering Diagrams. Submission deadline is June 16, 2008.

May 22, 2008: Call for Participation: SPEC International Performance Evaluation Workshop 2008, June 27-28, Darmstadt, Germany.

May 22, 2008: Job offer: A 3-year funded Ph.D. position "Formalising the Interface between Software and Hardware" is available at the Foundations and Methods Group, Software Systems Laboratory, Trinity College Dublin. Application submission is now open.

May 22, 2008: Job offer: Two post-doctoral researcher positions are now open at International Institute for Software Technology, United Nations University (UNU-IIST). Application submission is now open and will remain so until suitable candidates are found.

May 21, 2008: Call for Papers: Track on Software Verification and Testing at the 24th Annual ACM Symposium on Applied Computing. Submission deadline is August 16, 2008.

May 21, 2008: Call for Papers: International Conference on Computational Intelligence for Modelling, Control and Automation. Submission deadline is August 29, 2008.

May 21, 2008: Deadline Extension: First International Colloquium on Foundations of Mobile Systems Security and Reliability. Submission deadline is extended to May 31, 2008.

May 20, 2008: Job offer: Postdoctoral Position at INRIA Nancy (France). Deadline for applications is May 30, 2008.

May 19, 2008: Final Call for Papers: 5th International Workshop on Web Services and Formal Methods. Submission deadline is extended to May 28, 2008.

May 19, 2008: Call for Papers: 3rd Workshop on Petri Nets and Graph Transformation. Submission deadline is May 30, 2008.

May 18, 2008: Call for Papers: FLOSS-FM & OpenCert 2008 Joint Workshop. Submission deadline is June 7, 2008.

May 14, 2008: Deadline Extension: International Academic Research Conference Visions of Computer Science. Submission deadline is extended to May 20, 2008.

May 14, 2008: Call for Papers: First Annual North American Simulation Technology Conference. Submission deadline is June 5, 2008.

May 14, 2008: Call for Participation: The 2nd Artist Workshop on Models of Computation and Communication will be held in Eindhoven, Netherlands, July 3-4, 2008.

May 13, 2008: Call for Papers: First International Colloquium on Foundations of Mobile Systems Security and Reliability. Submission deadline is May 23, 2008.

May 13, 2008: First Call for Papers: The European Joint Conferences on Theory and Practice of Software. Submission deadline is October 9, 2008 (abstracts are due on October 2).

May 13, 2008: Call for Papers: 2008 International Conference on Computational Intelligence for Modelling, Control and Automation. Submission deadline is August 29, 2008.

May 10, 2008: Call for Papers: First International Workshop on UML & Formal Methods. Submission deadline is July 1, 2008.

May 10, 2008: Call for Papers: International Workshop on Quality Aspects of Coordination. Submission deadline is June 27, 2008 (abstracts are due on June 20).

May 10, 2008: Last Call for Papers: International Academic Research Conference Visions of Computer Science. Submission deadline is May 13, 2008.

May 9, 2008: Deadline extension: 8th International Conference on Formal Methods in Computer-Aided Design. Submission deadline is extended to May 19, 2008.

May 9, 2008: Call for Papers: 7th International Workshop on Rare Event Simulation. Submission deadline is May 30, 2008.

May 8, 2008: WoPeD 1.6.1 has been released. The new version (a bugfix release) mainly fixes two bugs with the operator switch and trigger positioning of transitions. A new feature concerning reachability/coverability graph construction and visualization can be previewed and is planed for the upcoming Version 2.0.0.

May 8, 2008: 2nd Call for Papers: 5th International Workshop on Web Services and Formal Methods. Submission deadline is May 26, 2008 (abstracts are due on May 19).

May 5, 2008: Job offer: The Center of Informatics and Information Technology (CITI) at the Department of Informatics of FCT/Universidade Nova de Lisboa welcomes applications for one (1) post-doctoral scholarship position in the areas of programming languages and logic in computer science. Deadline for applications is June 15, 2008.

May 4, 2008: Call for Posters: International Workshop on Petri Nets and Distributed Systems a satellite event of Petri Nets 2008 and ACSD 2008. Submission deadline for posters is May 9, 2008.

May 4, 2008: Call for Participation: The 35th International Colloquium on Automata, Languages and Programming will be held in Reykjavik, Iceland, July 6-13, 2008. Many aspects of Theoretical Computer Science are covered.

May 3, 2008: Call for Participation: Computability in Europe 2008: Logic and Theory of Algorithms will be held at the University of Athens, Greek, June 15-20, 2008.

May 1, 2008: Call for Participation: The 7th International Workshop on Software and Performance will be held in Princeton, NJ, USA, June 23-26 2008.

April 28, 2008: Final Call for Papers: 8th International Conference on Formal Methods in Computer-Aided Design. Submission deadline is May 12, 2008.

April 28, 2008: Call for Participation: The 6th Annual Industrial Simulation Conference will be held in Lyon, France, June 9-11, 2008.

April 28, 2008: Call for Participation: The 15th Workshop on Logic, Language, Information and Computation will be held at Heriot-Watt University, Edinburgh, Scotland, July 1-4, 2008.

April 25, 2008: Deadline Extension: 24th UK Performance Engineering Workshop. Submission deadline is extended to May 14, 2008.

April 24, 2008: Final Call for Tool Papers: 5th International Conference on Quantitative Evaluation of SysTems. Submission deadline for Tool Papers is April 28, 2008.

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

April 22, 2008: Call for Papers: International Academic Research Conference Visions of Computer Science. Submission deadline is May 13, 2008.

April 22, 2008: Deadline Extension: Third International Workshop on Probabilistic Automata and Logics. Submission deadline is extended to April 28, 2008.

April 21, 2008: Deadline Extension: 4th International Workshop on Automated Specification and Verification of Web Systems. Submission deadline is extended to May 12, 2008 (abstracts due on May 5).

April 18, 2008: Call for Papers: RISE/EFTS Joint International Workshop on Software Engineering for REsilieNt systEms. Submission deadline is June 23, 2008.

April 18, 2008: Call for Papers: 3rd International Workshop on Semantic Business Process Management. Submission deadline is May 1, 2008.

April 18, 2008: Call for Chapters: Handbook of Research on Artificial Intelligence in Industrial Information Systems. Among the topics is Petri Nets in Integrated Intelligent Information Systems.

April 17, 2008: Call for Participation: The 8th International Conference on Application of Concurrency to System Design will be held in Xi'an, China, June 23-27, 2008.

April 16, 2008: Call for Participation: The 29th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency will be held in Xi'an, China, June 23-27, 2008.

April 14, 2008: Call for Papers: 2nd International Workshop on Layout of (Software) Engineering Diagrams. Submission deadline is June 16, 2008.

April 14, 2008: 2nd Call for Papers: 24th UK Performance Engineering Workshop. Submission deadline is April 25, 2008.

April 14, 2007: Call for Participation: 9th International Conference on Mathematics of Program Construction, Marseille (Luminy), France, July 15-18th 2008. Deadline for registration is June 1st, 2008.

April 11, 2008: 2nd Call for Papers: 4th International Workshop on Automated Specification and Verification of Web Systems. Submission deadline is April 27, 2008 (abstracts due on April 20).

April 11, 2008: Message from the SC: The deadline for submission of proposals for the organisation of the future Petri Net conferences (2010-2012) has been extended to June 1.

April 10, 2008: Job offer: The Theoretical Computer Science Group (Prof. Barbara Koenig) at the University of Duisburg-Essen, Campus Duisburg (Germany) has one open PhD position in the project Behaviour-GT. Candidates at post-doc level can also be considered. Applicants with experience in concurrency theory and Petri nets are prefered. Deadline for applications is May 9, 2008.

April 9, 2008: Call for Papers: International Conference on Computational Methods in Systems Biology. The deadline is now approaching. Submission deadline is May 12, 2008 (abstracts are due on May 5, 2008).

April 9, 2008: Book Announcement: The new book Unforldings. A Partial-Order Approach to Model Checking by J. Esparaza and K. Heljanko is now available.

April 8, 2008: Call for Papers: 1st International Workshop on Formal Methods. Submission deadline is July 15, 2008.

April 8, 2008: Call for Papers: 1st Interaction and Concurrency Experience Workshop, a Satellite Workshop of ICALP 2008. Submission deadline is April 18, 2008 (abstracts are due on April 14).

April 7, 2008: Call for Papers: 5th International Conference on Innovations in Information Technology. Submission deadline is September 1, 2008.

April 5, 2008: Call for Papers: International Academic Research Conference Visions of Computer Science. Submission deadline is May 13, 2008.

April 3, 2008: Call for Papers: 22nd European Simulation and Modelling Conference. Submission deadline is July 25, 2008.

April 3, 2008: Call for Papers: 5th International Workshop on Web Services and Formal Methods. Submission deadline is May 26, 2008 (abstracts are due on May 19).

March 31, 2008: Call for Proposals for Workshops and Tutorials: The 30th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency will take place in Paris in June 2008. For this major event proposals for both tutorials and workshops are now welcome. All workshop/tutorial proposals must be written in English. The deadline for workshop proposals is June 1, 2008. For tutorials an expression of interest can be sent before June 1st 2008. Full tutorial proposals are due January 5th 2009.

March 31, 2008: Call for Presentations: Workshop: Concurrency metHods: Issues aNd Applications (CHINA 2008). CHINA is a satellite workshop of PETRI NETS 2008 co-located with ACSD 2008. In addition to the formal submissions, informal contributions are still most welcome, in particular. Submission deadline for informal contributions is May 1, 2008.

March 31, 2008: Call for Participation: 19th IEEE/IFIP International Symposium on Rapid System Prototyping, Monterey, CA, USA, 2-5 June 2008. The early registration deadline is May 5, 2008.

March 31, 2008: 2nd Call for Papers: Third International Workshop on Probabilistic Automata and Logics. Submission deadline is April 21, 2008.

March 26, 2008: Call for Fast Abstracts: 7th ACM International Workshop on Software and Performance. Submission deadline for Fast Abstracts is April 15, 2008.

March 26, 2008: Call for Papers: 8th International Conference on Formal Methods in Computer-Aided Design. Submission deadline is May 12, 2008.

March 26, 2008: Call for Papers: 2nd Artist Workshop on Models of Computation and Communication Submission deadline is April 19, 2008.

March 25, 2008: Call for Papers: First International Colloquium on Foundations of Mobile Systems Security and Reliability. Submission deadline is May 23, 2008.

March 25, 2008: Call for Papers: 6th International Symposium on Automated Technology for Verification and Analysis. Submission deadline is May 5, 2008.

March 25, 2008: Call for Papers: 5th International Colloquium on Theoretical Aspects of Computing. Submission deadline is April 11, 2008.

March 25, 2008: Call for Papers: 4th International Workshop on Automated Specification and Verification of Web Systems. Submission deadline is April 27, 2008 (abstracts due on April 20).

March 22, 2008: Deadline Extension: 16th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems. Submission deadline is April 1, 2008 (abstracts are now due on March 24).

March 22, 2008: Job offer: Two PostDoc Positions at the Center of Informatics and Information Technology (CITI) at the Faculty of Sciences and Technology, New University of Lisbon (FCT/UNL). Deadline for applications is April 9, 2008.

March 22, 2008: Call for Papers: 10th IEEE International Conference on High Performance Computing and Communications. Submission deadline is March 31, 2008.

March 21, 2008: Call for Papers: International Academic Research Conference Visions of Computer Science. Submission deadline is May 13, 2008.

March 20, 2008: Last Call for Papers: 16th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems. Submission deadline is April 1, 2008 (abstracts due on March 21).

March 19, 2008: Call for Papers: 4th International Conference on Graph Transformation. Submission deadline is April 17, 2008 (abstracts due on April 10).

March 18, 2008: Last Call for Participation: 14th GI/ITG Conference on Measuring, Modeling and Evaluation of Computer and Communication Systems. Dortmund, Germany, March 31 - April 2, 2008.

March 14, 2008: 3rd Call for Papers: Workshop: Concurrency metHods: Issues aNd Applications (CHINA 2008). CHINA is a satellite workshop of PETRI NETS 2008 co-located with ACSD 2008. Submission deadline is March 20, 2008.

March 14, 2008: Deadline Extension: Workshop on Logics for Agents and Mobility. Submission deadline is extended to March 27, 2008.

March 14, 2008: Call for Papers: 16th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems. Submission deadline is April 1, 2008 (abstracts due on March 21).

March 13, 2008: Job offer: Numerous PhD, Postdoc and Technical Assistant openings in Formal Methods and Tools at the University of Twente. Deadline for all applications is April 18, 2008.

March 12, 2008: Deadline Extension: 2nd International Workshop From Biology To Concurrency and back. Submission deadline is extended to March 30, 2008 (abstracts due on March 19).

March 11, 2008: Deadline Extension: 5th International Conference on Quantitative Evaluation of SysTems. Submission deadline is extended to March 31, 2008 (abstracts due on March 24).

March 11, 2008: Call for Papers: 6th Symposium on Design, Analysis, and Simulation of Distributed Systems. Submission deadline is March 28, 2008.

March 11, 2008: Call for Papers: 6th International Conference on Formal Modelling and Analysis of Timed Systems. Submission deadline is May 12, 2008.

March 10, 2008: Call for Papers: International Workshop on Petri Nets and Distributed Systems a satellite event of Petri Nets 2008 and ACSD 2008. Submission deadline is extended to March 20, 2008.

March 6, 2008: Call for Papers: 2nd International Workshop on Verification and Evaluation of Computer and Communication Systems. Submission deadline is March 28, 2008.

March 6, 2008: Deadline Extension: Workshop on Logics for Agents and Mobility. Submission deadline is extended to March 16, 2008 (abstracts are due on March 11)

March 6, 2008: Call for Papers: SPEC International Performance Evaluation Workshop 2008. Submission deadline is extended to March 24, 2008.

March 6, 2008: Final Call for Papers: 5th International Conference on the Theory and Application of Diagrams. Submission deadline is April 1, 2008 (abstracts due to March 20).

March 6, 2008: Call for Participation: 14th GI/ITG Conference on Measuring, Modeling and Evaluation of Computer and Communication Systems. Dortmund, Germany, March 31 - April 2, 2008.

March 4, 2008: Call for Papers: Process Mining and Petri net Synthesis a satellite workshop of ATPN 2008 and ACSD 2008. The goal of this workshop is to combine the two research areas of process mining and Petri net synthesis to benefit from ideas and concepts developed in both areas. Submission deadline is March 20, 2008.

March 4, 2008: Message from the SC: Candidates for the organisation of the Petri Net conference in 2010-2012 are invited to apply. See also the document Invitation to Future Conference Organisers [pdf] [doc].

March 3, 2008: Call for Papers: 3rd Workshop on Petri Nets and Graph Transformation. Submission deadline is May 30, 2008.

March 1, 2008: Call for Papers: 9th International Middle Eastern Simulation Multiconference. Submission deadline is June 15, 2008 (abstracts due to May 30).

February 29, 2008: Job offer: Two assistant professor positions (related to formal verification) in computer science are available at LSV, ENS Cachan, France.

February 29, 2008: Call for Papers: Structural Operational Semantics 2008 an Affiliated Workshop of ICALP 2008. Submission deadline is March 28, 2008.

February 28, 2007: Call for Papers: Special Session on Design, Analysis and Control of Hybrid Petri Nets at the 2008 IEEE International Conference on Systems, Man, and Cybernetics. Submission deadline is March 16, 2008 (abstracts due to March 2).

February 28, 2007: Call for Papers: Track on Industrial Automated Systems and Control at the 13th IEEE International Conference on Emerging Technologies and Factory Automation. Submission deadline is March 31, 2008.

February 27, 2008: Call for Papers: Chaotic Modeling and Simulation International Conference. Submission deadline extended to March 10, 2008.

February 27, 2008: Call for Papers: 4th International Workshop on Automated Specification and Verification of Web Systems. Submission deadline is April 27, 2008 (abstracts due to April 20).

February 26, 2008: Job offer: The University of Rostock has a vacancy for a PhD or post-doctoral position on Synthesis of Behavioural Adaptors (Mediators) for Web Services.

February 25, 2008: Call for Papers: 2nd Workshop on Reachability Problems. Submission deadline is May 19, 2008.

February 25, 2008: 2nd Call for Papers: Workshop: Concurrency metHods: Issues aNd Applications (CHINA 2008). CHINA is a satellite workshop of PETRI NETS 2008 co-located with ACSD 2008. Submission deadline is March 20, 2008.

February 25, 2008: Job offer: Two postdoctoral Research Fellowships at the Trinity College Dublin. The research project seeks to establish a firm mathematical and logical basis for the next generation of widely distributed computing computing environments.

February 25, 2008: Call for Papers: 4th International Workshop on Business Process Intelligence. Submission deadline is May 23, 2008.

February 23, 2008: Call for Papers: 10th Workshop on MAthematical performance Modeling and Analysis. Abstract submission deadline is April 18, 2008.

February 22, 2008: Call for Papers: Formal Aspects of Virtual Organisations. Submission deadline is March 14, 2008.

February 22, 2008: Call for Papers: 16th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems. Submission deadline is April 1, 2008 (abstracts due to March 21).

February 21, 2008: Call for Papers: International Workshop on Petri Nets and Distributed Systems a satellite event of Petri Nets 2008 and ACSD 2008. Submission deadline is March 10, 2008.

February 21, 2008: 3rd Call for Papers: Workshop on Logics for Agents and Mobility. Submission deadline is March 8, 2008.

February 21, 2008: Call for Papers: Third International Workshop on Probabilistic Automata and Logics. Submission deadline is April 21, 2008.

February 20, 2008: Call for Papers: SPEC International Performance Evaluation Workshop 2008. Submission deadline is March 14, 2008.

February 15, 2008: Deadline Extension: European Conference on Modelling and Simulation, Track on Modelling and Simulation Methodologies. Submission deadline is extended to February 26, 2008.

February 15, 2008: Call for Papers: 15th Workshop on Logic, Language, Information and Computation. Submission deadline is February 24, 2008.

February 12, 2008: Call for Papers: 24th UK Performance Engineering Workshop. Submission deadline is April 25, 2008.

February 9, 2008: Deadline Extension: 15th International Conference on Analytical and Stochastic Modelling Techniques and Applications. Submission deadline is extended to February 22, 2008.

February 8, 2008: Call for Papers: First Workshop on Hot Topics in Measurement & Modeling of Computer Systems. Submission deadline is March 24, 2008.

February 7, 2008: Call for Papers: 5th International Conference on the Theory and Application of Diagrams. Submission deadline is April 1, 2008 (abstracts due to March 20).

February 6, 2008: Call for Participation: 7th International Workshop on Graph Transformation and Visual Modeling Techniques. Budapest, Hungary, March 29 - 30, 2008.

February 6, 2008: 2nd Call for Papers: Workshop on Logics for Agents and Mobility. Submission deadline is March 8, 2008.

February 5, 2008: Call for Demonstrations: ACM SIGMETRICS 2008 - International Conference on Measurement and Modeling of Computer Systems. Proposals for demonstrations of innovative research related to Performance Evaluation of Computer Systems are welcome. Submission deadline is March 14, 2008.

February 5, 2008: Call for Participation: 14th GI/ITG Conference on Measuring, Modeling and Evaluation of Computer and Communication Systems. Dortmund, Germany, March 31 - April 2, 2008.

February 4, 2008: Job offer: Post-doc position in Formal methods at the National Institute of Aerospace (NIA). The NIA is located near NASA Langley Research Center in Hampton, Virginia, USA. The project is entitled Formal Verification and Automated Testing for Diagnostic and Monitoring Systems Using Hybrid Abstraction and is funded by a NASA grant in Integrated Vehicle Health Management.

February 4, 2008: Call for Papers: 15th Workshop Algorithms and Tools for Petri Nets. Submission deadline is August 15, 2008. The official workshop language is German, but English contributions are welcome.

February 4, 2008: Call for Papers: 15th International Conference on Analytical and Stochastic Modelling Techniques and Applications. Submission deadline is February 12, 2008.

February 3, 2008: Call for Papers: Structural Operational Semantics 2008 an Affiliated Workshop of ICALP 2008. Submission deadline is March 28, 2008.

February 3, 2008: Invitation to potential organisers of the Petri Net conferences (2010-2012). See also the document Invitation to Future Conference Organisers [pdf] [doc].

January 30, 2008: Summer School: 6th International Summer School in Formal Languages and Applications. Tarragona, Spain, July 21 - August 2, 2008.

January 28, 2008: Call for Papers: 5th International Colloquium on Theoretical Aspects of Computing. Submission deadline is April 11, 2008.

January 27, 2008: Call for Papers: 16th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems. Submission deadline is April 1, 2008.

January 27, 2008: Call for Papers: Chaotic Modeling and Simulation International Conference. Submission deadline is January 31, 2008.

January 26, 2008: Call for Papers: 5th International Conference on Quantitative Evaluation of SysTems. Submission deadline is March 24, 2008 (abstracts due to March 17).

January 21, 2008: Call for Papers: 2nd International Workshop From Biology To Concurrency and back. Submission deadline is March 19, 2008 (abstracts due to March 12).

January 20, 2007: Job offer: PhD position at the Department of Electrical Engineering of the Technische Universiteit Eindhoven (TU/e). The topic is entitled Multi-objective Design-space Exploration for Wireless Sensor Networks.

January 17, 2008: Call for Papers: European Conference on Modelling and Simulation, Track on Modelling and Simulation Methodologies. Submission deadline is February 19, 2008.

January 15, 2008: Call for Presentations: Sixth Workshop on Quantitative Aspects of Programming Languages. March 29-30, 2008, Budapest, Hungary.

January 15, 2008: Call for Papers: 2nd International Workshop on Verification and Evaluation of Computer and Communication Systems. Submission deadline is March 28, 2008.

January 15, 2008: Call for Papers: 15th International Conference on Analytical and Stochastic Modelling Techniques and Applications. Submission deadline is February 12, 2008.

January 13, 2008: Final Call for Papers: 2nd IEEE & IFIP Symposium on Theoretical Aspects of Software Engineering. Submission deadline is January 21, 2008 for title and abstract submission. Full paper submission deadline is January 28, 2008.

January 11, 2008: Call for Papers: 6th Annual Industrial Simulation Conference. Submission deadline is February 15, 2008.

January 11, 2008: Call for Papers: At the 9th International Workshop on Discrete Event System will be a special session on Diagnosis and Identification of Petri Nets. Submission deadline is January 25, 2008.

January 10, 2008: Call for Papers: 16th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems. Submission deadline is April 1, 2008.

January 10, 2008: Call for Papers: European Conference on Modelling and Simulation, Track on Modelling and Simulation Methodologies. Submission deadline is February 19, 2008.

January 4, 2008: Deadline extension: Computability in Europe 2008: Logic and Theory of Algorithms Submission deadline is extended to January 14, 2008.

January 3, 2008: Call for Papers: 8th International Conference on Application of Concurrency to System Design. Submission deadline is January 4, 2008. Papers will also be accepted up to January 10, 2008 so long as the cover page (including title and abstract) is submitted by January 4, 2008.

January 3, 2008: Call for Papers: 6th International Conference on Business Process Management. Submission deadline is March 21, 2008.

Januar 2, 2008: Call for Papers: 3rd International Workshop on Workflow Management and Applications in Grid Environments. Submission deadline is January 15, 2008.


[PN Home][What's New][Last updated]
The maintainers of this page