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 2008. 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. ');