Contents of the Petri Nets World
Selected News in the Petri Nets World
August 25, 2015: 2nd CfP: Formal Techniques for Safety-Critical Systems.
August 24, 2015: TABLEAUX/FroCoS 2015 - Call for Participation.
August 21, 2015: ProM 6.5.1 released.
August 17, 2015: ETAPS 2016 call for papers
August 5, 2015: GandALF 2015: Call for Participation.
August 2, 2015: Special Session on “Formal Modeling for Machine Learning Techniques” in ICMLA 2015 Miami USA.
July 30, 2015: Software Verification and Testing Track, ACM SAC 2016 (Pisa, Italy) - Second CFP.
July 23, 2015: Post-Doc Position at the Hybrid Systems Group at VERIMAG, Grenoble, France.
July 21, 2015: REACHABILITY PROBLEMS 2015 - call for participation.
July 17, 2015: 12 + 4 PhD positions 2015 - Computer Science - Pisa.
July 13, 2015: RV 2015: Call for Participation.
July 11, 2015: Postdoc: Software Analytics and Process Mining (@TU/e).
July 9, 2015: Call for Papers PAS-2015 (Program Verification, Automated Debugging and Symbolic Computation).
July 7, 2015: Postdoc Position at SUTD on Attestation (Singapore).
July 3, 2015: ProM 6.5 released.
June 30, 2015: Special session on Formal Modeling.
June 25, 2015: WS-FM/BEAT 2015 last Call for Papers.
June 19, 2015: Call for Papers: Models for Formal Analysis of Real Systems(MARS'15).
June 15, 2015: Autumn School: Processes and Data.
June 13, 2015: Reachability Problems - Call for Papers, deadline extended.
June 10, 2015: Software Verification and Testing Track, ACM SAC 2016 (Pisa,Italy) - First Call for Papers.
June 8, 2015: Call for papers - SR 2015: Strategic Reasoning (Oxford, UK)
June 5, 2015: DIFTS 2015: Call for Papers - International Workshop on Design and Implementation of Formal Tools and Systems.
June 3, 2015: Research grant at the Department of Computer Science and Engineering of the University of Bologna: application deadline July 20th.
May 28, 2015: iFM 2016: First Call for Workshop Proposals.
May 26, 2015: MCC'2015 - list of qualified tools.
May 23, 2015: Reachability Problems 2015 (RP2015) Call for Papers.
May 21, 2015: Petri Net Course and Tutorials, Brussels 21-23 June 2015.
May 21, 2015: Call for Workshop Proposals, PN 2016.
May 18, 2015: BioPPN 2015 - Call for Work in Progress Reports.
May 13, 2015: Open PhD Position at the University of Nantes.
May 7, 2015: Associate Professor (Software Engineering) position available at Monash University, Australia.
May 6, 2015: Final Call for Papers: PNSE'15 Petri Nets and SoftwareEngineering.
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.