Job-scheduling
Orchestration
Sites connexes
Petri Nets World : Online Services for the International Petri Nets Community
Licence
Partenariat
Rechercher
Recherche globale
Annonces
LiensDecember 19, 2008
Call for Papers: 16th Annual European Concurrent Engineering Conference. Submission deadline is January 20, 2009.
Petri Nets World : Online Services for the International Petri Nets Community
The primary online services for the international Petri Nets community. The services are supervised by the Petri Nets steering committee.
29 décembre 2008 : December 27, 2008
Call for Papers: 6th Annual Conference on Theory and Applications of Models of Computation. Submission deadline is February 1, 2009.
23 décembre 2008 : 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, (...)
23 décembre 2008 : 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 (...)
23 décembre 2008 : December 22, 2008
Call for Papers: Computability in Europe 2009: Mathematical Theory and Computational Practice. Submission deadline is January 20, 2009.
23 décembre 2008 : 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.
19 décembre 2008 : 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.
19 décembre 2008 : 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).
16 décembre 2008 : 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).
15 décembre 2008 : 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. (...)
15 décembre 2008 : December 11, 2008
Call for Papers: First International Workshop on the Critical Computer Based Systems. Submission deadline is March 2, 2009.
15 décembre 2008 : 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.
15 décembre 2008 : 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).
11 décembre 2008 : 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.
5 décembre 2008 : Dezember 2, 2008
Call for Papers: 14th IEEE International Conference on Emerging Technologies and Factory Automation. Submission deadline is March 31, 2009.
5 décembre 2008 : Dezember 1, 2008
Call for Papers: 6th International Workshop on Model-based Methodologies for Pervasive and Embedded Software. Submission deadline is January 15, 2009.
5 décembre 2008 : 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 (...)
1er décembre 2008 : 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).
1er décembre 2008 : November 24, 2008
Call for Papers: 7th Annual Industrial Simulation Conference. Submission deadline is February 20, 2009 (early submission deadline is January 25).
1er décembre 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 (...)
1er décembre 2008 : November 24, 2008
Call for Papers: 6th European Performance Engineering Workshop. Submission deadline is February 13, 2009.
1er décembre 2008 : 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.
1er décembre 2008 : November 25, 2008
Call for Papers: 34th International Symposium on Symbolic and Algebraic Computation. Submission deadline is January 17, 2009.
1er décembre 2008 : 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).
1er décembre 2008 : 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.
18 novembre 2008 : December 15, 2008
Call for Papers: 6th Annual Future Business Technology Conference - Simulation for Sustainability. Submission deadline is January 20, 2009.
18 novembre 2008 : November 17, 2008
Call for Papers: 9th International Workshop on Runtime Verification. Submission deadline is March 9, 2009 (abstracts are due on March 1).
14 novembre 2008 : November 10, 2008
Call for Papers: 11th IEEE Conference on Commerce and Enterprise Computing. Submission deadline is February 1, 2009.
14 novembre 2008 : December 18, 2008
Call for Papers: 4th International Workshop on Workflow Management. Submission deadline is extended to January 15, 2009.
14 novembre 2008 : 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 (...)
14 novembre 2008 : December 5, 2008
Deadline Extension: 14th International Conference on Reliable Software Technologies. Submission deadline is extended to December 15, 2008.
7 novembre 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).
7 novembre 2008 : 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" (...)
7 novembre 2008 : 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.
7 novembre 2008 : 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 (...)
7 novembre 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.
7 novembre 2008 : October 27, 2008
Job Offer: A Young Research Fellow Position at IMT, Lucca, Italy. The applications deadline is December 1st, 2008.
7 novembre 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).
7 novembre 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).
23 octobre 2008 : 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).
16 octobre 2008 : October 14, 2008
Call for Papers: 3rd IFAC Conference on Analysis and Design of Hybrid Systems. Submission deadline is March 26, 2009.
8 octobre 2008 : 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 (...)
8 octobre 2008 : 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 (...)
8 octobre 2008 : 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, (...)
8 octobre 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.
8 octobre 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.
8 octobre 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.
3 octobre 2008 : 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 (...)
23 septembre 2008 : October 29, 2008
Last Call for Papers: Symposium on Automatic Program Verification. Submission deadline is November 8, 2008.
23 septembre 2008 : September 16, 2008
Call for Papers: 12th International Conference on Hybrid Systems: Computation and Control. Submission deadline is October 10, 2008.
23 septembre 2008 : September 17, 2008
Call for Papers: 23rd International Conference on Advanced Information Networking and Applications. Submission deadline is October 6, 2008.
23 septembre 2008 : September 22, 2008
Call for Papers: First International Conference on Intensive Applications and Services. Submission deadline is November 1, 2008.
16 septembre 2008 : September 11, 2008
Job Offer: Open PhD Positions at IBM Zurich Research Lab / Business Integration Technologies Group.
16 septembre 2008 : October 17, 2008
Call for Papers: Fifth International Conference on Networking and Services. Submission deadline is November 1, 2008.
16 septembre 2008 : September 5, 2008
New Association Computability in Europe formed.
3 septembre 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.
5 août 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.
24 juillet 2008 : July 23, 2008
Call for Papers: Workshop on Global Computing Models and Technologies. Submission deadline is August 3, 2008.
24 juillet 2008 : 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, (...)
15 juillet 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 (...)
14 juillet 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, (...)
8 juillet 2008 : September 22, 2008
Call for Participation: The 3rd International Workshop Models@run.time will be held in Toulouse, France, September 30, 2008.
4 juillet 2008 : 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.
4 juillet 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.
20 juin 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, (...)
20 juin 2008 : June 12, 2008
Important information from tool demonstration organizer of the Petri Nets / ACSD conferences in Xi'an: Tool demonstration will be held on the afternoon of June 25 and an Internet connection will be available. Only PCs with XP windows are provided. Attendees should have a demo on their own (...)
10 juin 2008 : 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.
9 juin 2008 : 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, (...)
9 juin 2008 : 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.
9 juin 2008 : 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).
3 juin 2008 : May 30, 2008
Call for Papers: First International Workshop on Formal Methods. Submission deadline is July 15, 2008.
3 juin 2008 : 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 (...)
30 mai 2008 : 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.
28 mai 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.
28 mai 2008 : July 29, 2008
Call for Participation: First Workshop on Formal Methods for Wireless Systems, August 23, 2008, Toronto, Canada.
26 mai 2008 : May 25, 2008
Call for Papers: 2nd International Conference on Simulation Tools and Techniques. Submission deadline is October 19, 2008.
23 mai 2008 : 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.
23 mai 2008 : May 20, 2008
Job offer: Postdoctoral Position at INRIA Nancy (France). Deadline for applications is May 30, 2008.
23 mai 2008 : 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 (...)
23 mai 2008 : 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 (...)
19 mai 2008 : May 18, 2008
Call for Papers: FLOSS-FM & OpenCert 2008 Joint Workshop. Submission deadline is June 7, 2008.
14 mai 2008 : July 4, 2008
Call for Papers: First Annual North American Simulation Technology Conference. Submission deadline is extended to July 15, 2008.
14 mai 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!
14 mai 2008 : July 4, 2008
Call for Papers: International Conference on Computational Intelligence for Modelling, Control and Automation. Submission deadline is August 29, 2008.
14 mai 2008 : July 1, 2008
Call for Papers: First International Workshop on UML & Formal Methods. Submission deadline is extended to July 8, 2008.
14 mai 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).
9 mai 2008 : May 9, 2008
Call for Papers: 7th International Workshop on Rare Event Simulation. Submission deadline is May 30, 2008.
9 mai 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 (...)
5 mai 2008 : 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 (...)
25 avril 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.
18 avril 2008 : 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.
18 avril 2008 : April 18, 2008
Call for Papers: 3rd International Workshop on Semantic Business Process Management. Submission deadline is May 1, 2008.
18 avril 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.
14 avril 2008 : May 23, 2008
Call for Papers: 2nd International Workshop on Layout of (Software) Engineering Diagrams. Submission deadline is June 16, 2008.
11 avril 2008 : 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.
11 avril 2008 : 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 (...)
10 avril 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.
9 avril 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, (...)
9 avril 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).
7 avril 2008 : 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 (...)
7 avril 2008 : 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.