Contents of the Petri Nets World
Selected News in the Petri Nets World
May 4, 2015: International Conference on Formal Methods in Computer-Aided Design (FMCAD) Extended Deadline May 8th.
May 1, 2015: PhD positions in model-driven software engineering and verification at Bergen University College, Norway.
May 1, 2015: Call for Papers: The 8th Workshop on Social and Human Aspects of Business Process Management (BPMS2'15).
April 29, 2015: Invitation to organise future Petri Net conferences.
April 28, 2015: Call for Papers: The 9th International Workshop on Reachability Problems (RP2015).
April 23, 2015: Research positions available at the University of Oldenburg.
April 22, 2015: 24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. Call for Papers.
April 20, 2015: Two permanent lecturer posts at Imperial College London.
April 17, 2015: Several PostDoc positions in Process Mining/Data Science in Eindhoven.
April 15, 2015: First Call for Papers: 12th International Conference on Formal Aspects of Component Software.
April 13, 2015: Model Checking Contest @ Petri Nets 2015 in Bruxelles (MCC'2015) - 17 days left for submitting your tool.
April 8, 2015: 6th Int. Workshop on Biological Processes and Petri Nets (BioPPN 2015). 3rd Call for Papers.
April 5, 2015: The Second International Workshop on Petri Nets for Adaptive Discrete Event Control Systems. 1st Call for Papers.
March 26, 2015: 7th International Conference on Machines, Computations and Universality (MCU’15) Call for Papers.
March 23, 2015: 2nd Call for Papers: 13th International Conference on Formal Modeling and Analysis of Timed Systems.
March 16, 2015: Second Call for Papers: Algorithms & Theories for the Analysis of Event Data (ATAED'2015) - Brussels, Belgium, June 2015.
March 11, 2015: BPM 2015 - Deadline extension for abstract and full paper submissions.
March 9, 2015: PhD positions in model-driven software engineering and verification at Bergen University College, Norway.
March 4, 2015: 9th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2015) 1st Call for Papers.
March 1, 2015: Postdoc in Computational Modelling.
February 25, 2015: Vacancy: Full Professor in Data Mining at the Data Science Center Eindhoven (DSC/e) at TU/e.
February 22, 2015: Call for Papers: Reachability Problems 2015.
February 19, 2015: Postdoctoral position availbale at CRI - Paris 1/ Braincities: Intelligent user profiling for recommendations in a collaborative Human Resource Management System.
February 16, 2015: Model Checking Contest 2015 (MCC'2015) - Call for Tools.
February 13, 2015: Call for Participation: 18th European Joint Conferences on Theory And Practice of Software, ETAPS 2015.
February 13, 2015: Call for Papers: The 9th International Symposium on Theoretical Aspects of Software Engineering (TASE 2015).
February 6, 2015: Call for Papers: 4th International Workshop on Engineering Safety and Security Systems 2015.
February 5, 2015: Call for Participation: 15th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Multicore Programming.
February 3, 2015: Call for Papers: Languages, Compilers, Tools and Theory for Embedded Systems 2015.
February 3, 2015: Ph.D. Position available in Model-Based Testing, Halmstad University, Sweden.
January 26, 2015: Special Session at CASE'2015.
January 21, 2015: Postdoctoral position in machine learning for systems biology available - Paris region.
January 21, 2015: TASE 2015: Call for Paper, Nanjing 12 - 14 September.
January 13, 2015: Two postdoctoral positions available in Paris in computer and cognitive science.
January 9, 2015: Open PhD position starting in the summer semester 2015.
January 6, 2015: ACSD 2015 - Final Call for Papers.
January 2, 2015: Call for Papers: 7th International Conference on Machines, Computations and Universality - MCU '15.