petrinet

Messages by Date

2018/09/10 (PN) Three postdocs and two PhD positions at RWTH Aachen University - Process Mining, Petri Nets, Concurrency, and Data Science van der Aalst, Wil
2018/09/10 (PN) CfP IEEE International Conference on Process Mining (ICPM) -- RWTH, Aachen, Germany, June 2019 -- Colocated with Petri Nets and ACSD 2019 van der Aalst, Wil
2018/09/10 (PN) AWPN 2018 - Extended Deadline - September 17 Robert Lorenz
2018/08/31 (PN) PostDoc position in data analytics, machine learning, and simulation at the University of Southern Denmark Sanja Lazarova-Molnar
2018/08/31 (PN) 3rd Call for Papers: AWPN 2018, October 11-12, 2018, Augsburg University, Germany Robert Lorenz
2018/08/24 (PN) RERS challenge: call for participation, deadline October 14 Jeroen Meijer
2018/08/24 (PN) **Special Issue in PEVA! ** CFP VALUETOOLS 2019 @ Palma de Mallorca (Spain), March 12-15 UZ
2018/08/24 (PN) Scientific Positions (including the possibility to obtain a Ph.D. degree) in Process Mining at the Fraunhofer Institute for Applied Information Technology (FIT) van der Aalst, Wil
2018/08/16 (PN) CMSB - Call for Participation monika heiner
2018/08/16 (PN) CfP -- Petri nets 2019 Anna Kalenkova
2018/08/16 (PN) LTSmin 3 released Jeroen Meijer
2018/08/16 (PN) 2nd Call for Papers: AWPN 2018, October 11-12, 2018, Augsburg University, Germany Robert Lorenz
2018/08/02 (PN) PhD and post-doc positions on Formal Methods for Voting Systems, University of Luxembourg Jun PANG
2018/08/02 (PN) [CFP] 7th Int. Symposium on Data-driven Process Discovery and Analysis (SIMPDA2018) Fulvio Frati
2018/07/26 (PN) PhD Position on ICT in Trento on "Quantum Annealing for SAT Solving" roberto . sebastiani
2018/07/26 (PN) CFP VALUETOOLS 2019 @ Palma de Mallorca (Spain), March 12-15 UZ
2018/07/26 (PN) 1st Call for Papers Software Verification and Testing Track @ ACM SAC 2019 Matthias Güdemann
2018/07/26 (PN) Call for Papers MiDOS @ SAC 2019 Saverio Giallorenzo
2018/07/26 (PN) Second Call for Papers: FSEN 2019 Maurice ter Beek
2018/07/12 (PN) ProM 6.8 released Verbeek, H.M.W.
2018/07/12 (PN) RESEARCH FELLOW/SENIOR FELLOW IN PROCESS MINING (2 POSITIONS) Artem Polyvyanyy
2018/07/12 (PN) Call for Papers: AWPN 2018, October 11-12, 2018, Augsburg University, Germany Robert Lorenz
2018/07/12 (PN) Postdoc Position: Trustable Robotics and Autonomous Systems Huascar Espinoza
2018/06/26 (PN) MCC'2018 - results are out Fabrice Kordon
2018/06/19 (PN) MCC'2018 — surprise models are out Fabrice Kordon
2018/06/15 (PN) Petri Nets 2019: Call for Workshop Proposals - Deadline June 25 Pomello Lucia
2018/06/08 (PN) Open Positions for Ph.D. candidates and Postdocs in Information-Flow Security and Side-Channel Analysis Heiko Mantel
2018/06/02 (PN) FROM 2018 Call for Participation Stefan Ciobaca
2018/06/02 (PN) A PhD position at the Tempo team at Verimag: Data Mining Dynamic Behaviors using Signal Temporal Logic Oded.Maler
2018/05/31 (PN) PhD Position in Concurrency, University of Warsaw Slawomir Lasota
2018/05/31 (PN) Call-for-Nominations: SPEC Kaivalya Dixit Distinguished Dissertation Award 2018 Schulz Henning
2018/05/31 (PN) ICECCS 2018: 2nd call for papers Étienne André
2018/05/31 (PN) PhD and postdoc positions at the Technical University of Munich Javier Esparza
2018/05/31 (PN) 1st Workshop on Multi-objective Reasoning in Verification and Synthesis (MoRe 2018): call for participation Jeremy Sproston
2018/05/31 (PN) PN & ACSD 2018 - 2nd Call for Participation PN 2018
2018/05/25 (PN) LOPSTR 2018: Second Round Call for Papers Fred Mesnard
2018/05/25 (PN) PN & ACSD 2018 Call for Participation PN 2018
2018/05/25 (PN) CFP Special Sessions: DS-RT 2018 - Madrid, Spain, October 15-17, 2018 Robson De Grande
2018/05/25 (PN) CFP Reachability Problems 2018 Pierre-Alain Reynier
2018/05/25 (PN) [simu-conf] Canada Research Chair, Postdoctoral, PhD and Masters positions at Carleton University (Ottawa, ON, Canada) vsim-conf
2018/05/25 (PN) Call for papers: ICECCS 2018 (Melbourne, Australia) Étienne André
2018/05/25 (PN) Computer Science PhD grants @ KRDB - Univ. of Bozen-Bolzano Italy Enrico Franconi
2018/05/25 (PN) Release of GPenSIM version 10 Reggie Davidrajuh
2018/05/25 (PN) First Call for Papers: FSEN 2019 Maurice ter Beek
2018/05/25 (PN) 2nd CfP: 15th Int'l Conference on Formal Aspects of Components (FACS) Peter Csaba Ölveczky
2018/04/05 (PN) Deadline for PNSE'18 extended: April 20 / April 22 Ekkart Kindler
2018/04/05 (PN) PhD position Gwen Salaün
2018/04/05 (PN) Postdoctoral position in France (1 year in Paris and 1 year in Bordeaux) Jerome Leroux
2018/03/22 (PN) Call for Papers: ARES 2018, Deadline Extension res . mb . conference
2018/03/21 (PN) PNSE'18: Call for Papers Daniel Moldt
2018/03/21 (PN) Call for papers: 15th International Conference on Formal Aspects of Component Software (FACS'18) Peter Csaba Ölveczky
2018/03/21 (PN) VerifyThis 2018: Call for Participation and Travel Grants Andrei Paskevich
2018/03/21 (PN) [CFP] 7th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA2018) Fulvio Frati
2018/03/21 (PN) Request to Share Webinar With Mailing List Abdoul Amadou
2018/03/21 (PN) Assistant professorship position for Semantics and Verification of Parallel Programs at TU Darmstadt Heiko Mantel
2018/03/21 (PN) ICTCS 2018 @ Urbino - call for papers Marco Bernardo
2018/03/21 (PN) CfP: 11th Interaction and Concurrency Experience (ICE 2018) Simon Bliudze
2018/03/21 (PN) PhD-student and PostDoc positions in cyber-security for safety-critical cyber-physical systems, MDH, Sweden Marjan Sirjani
2018/03/21 (PN) SAS 2018: Call for Papers Urban Caterina
2018/03/20 (PN) 2nd CfP ATAED 2018 Robin Bergenthum
2018/02/26 (PN) iFM 2018 Call for Papers Hao Wu
2018/02/26 (PN) Assistant professeur position open in computer science and health data science AUGUSTO Vincent
2018/02/26 (PN) MOVEP 2018 - Summer School, First Announcement Benedikt Bollig
2018/02/26 (PN) Research Assistant / Ph.D. Position in Process Mining at the Fraunhofer Institute for Applied Information Technology (FIT) in Aachen van der Aalst, Wil
2018/02/01 (PN) Model checking contest 2018 - news Fabrice Kordon
2018/02/01 (PN) Implementing causal analysis capability (job advert) Maciej Koutny
2018/01/24 (PN) ACSD 2018 - DEADLINE EXTENDED ONCE MORE - February 15, 2018 ACSD 2018
2018/01/19 (PN) ACSD 2018 - EXTENDED DEADLINE - February 1, 2018 ACSD 2018
2018/01/19 (PN) 6 talented Assistant Professors in Information and Computing Sciences (Tenure Track 0.8 - 1.0 FTE) (Female/Male) @UU Werf, J.M.E.M. van der (Jan Martijn)
2018/01/15 (PN) Model Checking Contest 2018 - call for tool submission Fabrice Kordon
2018/01/12 (PN) PN’2018 - EXTENDED DEADLINE - January 22, 2018 PN 2018
2018/01/10 (PN) ACSD 2018 - 2nd CfP ACSD 2018
2018/01/10 (PN) Petri Nets '18 - 3rd CfP PN 2018
2018/01/10 (PN) CfP ATAED 2018 Robin Bergenthum
2018/01/03 (PN) 2nd CfP: Models for Formal Analysis of Real Systems (MARS 2018) Rob van Glabbeek and Wendelin Serwe
2018/01/03 (PN) 1st CFP 16th Annual Industrial Simulation Conference, ISC'2018, June 6-8, 2018, Univ. of the Azores, Ponta Delgada, Portugal Philippe Geril
2018/01/03 (PN) [CFP] SynCoP 2018: 5th International Workshop on Synthesis of Complex Parameters Loïg Jezequel
2018/01/03 (PN) CAV 2018 - 2nd Call for Papers no-reply
2018/01/03 (PN) iFM 2018 Call For Paper HaoWu
2017/12/06 (PN) 14th Workshop on Discrete Event Systems (WODES'18) - Sorrento Coast, Italy: Last deadline extension Francesco BASILE
2017/12/06 (PN) ACSD 2018 CfP ACSD 2018
2017/12/06 (PN) CfP VECoS 2018 || September 26-28, 2018 - Grenoble, France Simon Bliudze
2017/12/06 (PN) ADHS 2018 - Call for Papers - Submission deadlines extended Magazzeni, Daniele
2017/12/06 (PN) CFP TAP 2018 Burkhart Wolff
2017/10/11 (PN) Call for papers: ASYNC 2018 conference Luciano Lavagno
2017/10/11 (PN) Free online course: Process mining in healthcare, starts October 9 at FutureLearn Buijs, J.C.A.M.
2017/10/11 (PN) Call for short paper submission, Thematic school "advances in Systems & Synthetic Biology". Evry, March 19-23, 2018 Dominique Zeliszewski
2017/10/11 (PN) CFP Second Tutorial on the SARL Agent Programming Language stephane . galland
2017/09/26 (PN) Call for Participation: AWPN 2017, October 19-20, 2017, DTU, Denmark Ekkart Kindler
2017/09/25 (PN) CFP Domain Specific Model-based Approaches to Verification and Validation (AMARETTO) 2018 Lom Messan Hillah
2017/09/25 (PN) [SIMPDA2017] Submission Deadline Extended: October 14, 2017 Fulvio Frati
2017/09/25 (PN) Call for Workshops Proposals in conjonction with ANT-18 stephane . galland
2017/09/25 (PN) ACM/SPEC ICPE 2018: 2nd Call for Contributions wu huaming
2017/09/19 (PN) PhD studentship in Tools for Distributed FSMs at Newcastle Alex Yakovlev
2017/09/19 (PN) CFP - NTMS 2018 - Paris, France (Submission Deadline: October 30, 2017) [email protected]
2017/09/19 (PN) PhD Position on Requirements Validation in Trento - 19 Sept. Deadline for Application Marco Bozzano
2017/08/30 (PN) Free online course: Introduction to process mining with ProM starts September 4! Buijs, J.C.A.M.
2017/08/16 (PN) 2nd Call for Papers - AWPN 2017, October 19-20, 2017, DTU, Denmark Robin Bergenthum
2017/08/16 (PN) Announcement of an Open Position at The Faculty of Informatics at TU Vienna / Austria Gerda Belkhofer
2017/08/11 (PN) TPTP v7.0.0 and CASC-26 geoff
2017/08/08 (PN) Free online course: Process mining in healthcare just started! Buijs, J.C.A.M.
2017/08/04 (PN) Free online course: Process mining in healthcare, starts August 7 at FutureLearn Buijs, J.C.A.M.
2017/08/04 (PN) SAC-SVT 2018: Call for Papers Yliès Falcone
2017/08/04 (PN) PhD position: Correct Parallel Algorithms Laarman, A.W.
2017/08/04 (PN) 1st CFP MESM'2017, 16th Annual Middle Eastern Simulation and Modelling Conference, November 20-22, 2017, Dubai, UAE Philippe Geril
2017/07/26 (PN) ICMC-2018: Invitation for paper submission CFP ICMC
2017/07/26 (PN) Release of ITS-Tools Yann Thierry-Mieg
2017/07/26 (PN) Call for Papers Microservices 2017 Saverio Giallorenzo
2017/07/26 (PN) ADHS 2018 - Early Call for Papers Magazzeni, Daniele
2017/07/26 (PN) Reachability Problems 2017 -- Call for Presentations Matthew Hague
2017/07/26 (PN) FORMATS'17 Call for Participation, 5-7 September Thao Dang
2017/07/26 (PN) GraMSec 2017 CALL FOR PARTICIPATION Barbara Kordy
2017/07/26 (PN) CfP: PADL 2018 - 20th International Symposium on Practical Aspects of Declarative Languages manna
2017/07/26 (PN) PhD position in IoT Gwen Salaün
2017/07/02 (PN) Call for Papers: AWPN 2017, October 19-20, 2017, DTU, Denmark Ekkart Kindler
2017/06/23 (PN) Petri Nets 2017 and ACSD 2017: Final Call for Participation José Manuel Colom
2017/06/23 (PN) PhD position Gwen Salaün
2017/06/23 (PN) Funded Pre-Doctoral Research Assistantships in Blockchain Knottenbelt, William J
2017/06/23 (PN) Post-doctoral fellow position in computer science/software engineering at Western Norway University of Applied Sciences - Bergen Lars Michael Kristensen
2017/06/23 (PN) Part-time (50%) faculty position in computer science - Software Languages Lab in Brussels Coen DE ROOVER
2017/06/23 (PN) Poste d'Ingénieur de recherche CNRS / Research Engineer position open Petrucci Laure
2017/06/23 (PN) Fully-funded PhD Studentships in Computer Science at IMT Lucca Hugo Vieira
2017/06/23 (PN) MCC'2017 - surprise models are published Fabrice Kordon
2017/06/23 (PN) Three PhD positions in Security and Privacy Rolando TRUJILLO RASUA
2017/06/23 (PN) PhD Position in Autonomous Systems Analysis and Synthesis - MDH, Sweden Marjan Sirjani
2017/06/23 (PN) 2nd CFP:31st European Simulation and Modelling Conference - ESM'2017, October 25-27, 2017, IST, Lisbon, Portugal Philippe Geril
2017/06/04 (PN) Petri Nets 2017 and ACSD 2017: Early registration ends on June, 5th José Manuel Colom
2017/05/23 (PN) PDP 2018 - Call for Papers Ivan Merelli
2017/05/23 (PN) 3rd Call for Tool Exhibition at Petri Nets / ACSD 2017 José Manuel Colom
2017/05/23 (PN) Petri Nets 2017 and ACSD 2017: 3rd Call for Participation (early registration ends on May, 29th) José Manuel Colom
2017/05/23 (PN) FROM 2017 - Extended deadline From 2017
2017/05/17 (PN) Symposium honouring Grzegorz Rozenberg on the occasion of his 75th birthday CIE2017
2017/05/17 (PN) MEMOCODE-2017 (Deadline Extension) Klaus . Schneider
2017/05/17 (PN) FAACS 2017 CFP - 1st Workshop on Formal Approaches for Advanced Computing Systems Alberto Griggio
2017/05/17 (PN) Fwd: Fully-funded PhD Studentship on Blockchain Technologies Andrea Bracciali
2017/05/17 (PN) 22 PhD student positions in Autonomous Systems and Software Karlerik
2017/05/10 (PN) Petri Nets 2018: Call for Workshop Proposals - Deadline June 18 Lars Michael Kristensen
2017/05/10 (PN) One post-doc position in Brussels on Verification and Synthesis of Real-Time logics (starting September 2017) Gilles Geeraerts
2017/05/10 (PN) CAV 2017: Call for participation mikael . mayer
2017/05/10 (PN) Petri Nets 2017 and ACSD 2017: 2nd Call for Participation (early registration ends on May, 29th) José Manuel Colom
2017/05/10 (PN) 2nd Call for Tool Exhibition at Petri Nets / ACSD 2017 José Manuel Colom
2017/05/10 (PN) Springer student fee grants for Petri Nets 2017 - 2nd Call José Manuel Colom
2017/05/03 (PN) open position starting July 1st, 2017 Monika Heiner
2017/05/03 (PN) SNR'17 @ ETAPS -- Call for participation Sergiy Bogomolov
2017/05/03 (PN) DataMod 2017: Call for Papers Paolo Milazzo
2017/05/03 (PN) YR-CONCUR 2017 - 1st Call for Abstracts Christoph Haase
2017/05/03 (PN) Call for Papers: Valuetools 2017 Greg Franks
2017/05/03 (PN) CfP: 2nd International Workshop on Verification and Validation of Cyber-Physical Systems (iFM 2017) Sadegh Soudjani
2017/05/03 (PN) FROM 2017: 1st Call for Papers Dorel Lucanu
2017/05/03 (PN) RV 2017 - Deadline Extension: full submissions May 8 Klaus Havelund
2017/05/03 (PN) [Last CfP] VECoS 2017 || August 24 - 25, 2017 - Montreal, Canada - Deadline Extended to 8 May 2017 Kamel Barkaoui
2017/05/03 (PN) FEVER 2017 @ CAV - Call for Presentations Nils Jansen
2017/05/03 (PN) CfP: 11th Workshop on Reachability Problems 2017, London, UK Potapov, Igor
2017/04/20 (PN) Call for Interest for Professor Positions at the Department of Computer Science - University of Pisa Paolo Milazzo
2017/04/20 (PN) Call for participation: Tutorial on parametric verification (Petri Nets 2017) André Étienne
2017/04/16 (PN) Springer student fee grants for Petri Nets 2017 José Manuel Colom
2017/04/16 (PN) Petri Nets 2017 and ACSD 2017: 1st call for participation (early registration ends on May, 29th) José Manuel Colom
2017/04/12 (PN) Call for Tool Exhibition at Petri Nets / ACSD 2017 José Manuel Colom
2017/04/12 (PN) Formal Methods in Computer-Aided Design - Call for Papers Geoff Sutcliffe
2017/04/12 (PN) Summer School on Verification Technology Geoff Sutcliffe
2017/04/12 (PN) Vacancy for 6 Assistant Professors at Utrecht University Werf, J.M.E.M. van der (Jan Martijn)
2017/04/12 (PN) Postdoc Position Available in Singapore University of Technology and Design jun sun
2017/04/12 (PN) MFCS 2017: Second Call for Papers Giorgio Bacci
2017/04/12 (PN) CfP: 10th Interaction and Concurrency Experience (ICE 2017) - Deadline extended Massimo Bartoletti
2017/04/12 (PN) NFM 2017 - 2nd Call For Participation Rody Kersten
2017/04/12 (PN) RERS 2017 - call for participation, deadline July 1 j.j.g.meijer
2017/04/12 (PN) [iFM'17] Deadline Extension for the International Conference on integrated Formal Methods 2017 Ingrid Chieh Yu
2017/03/29 (PN) SEFM 2017 Final CFP (*DEADLINE EXTENSION*) - 15th International Conference on Software Engineering and Formal Methods Alberto Griggio
2017/03/29 (PN) FMi 2017 Deadline Extension - The 5th IEEE International Workshop on Formal Methods Integration Thouraya Bouabana Tebibel
2017/03/29 (PN) Research Assistant Position at the Free Univ. of Bozen-Bolzano, Italy Marengo Elisa
2017/03/29 (PN) ATAED 2017 - CfP Robin Bergenthum
2017/03/29 (PN) FOCLASA 2017 - First Call for Papers Foclasa Workshop
2017/03/24 (PN) [CfP - PNSE'17] International Workshop on Petri Nets and Software Engineering PNSE'17, Zaragoza, Spain, June 26-27, 2017 Rölke , Heiko
2017/03/24 (PN) [2nd CfP] VECoS 2017 || August 24 - 25, 2017 - Montreal, Canada Kamel Barkaoui
2017/03/24 (PN) PhD position in Consistency Checking of Interrelated Software Models at Western Norway University of Applied Sciences (HVL), Bergen Lars Michael Kristensen
2017/03/14 (PN) Symposium honouring Grzegorz Rozenberg on the occasion of his 75th birthday CIE2017
2017/03/12 (PN) MFPS 33: Deadline Extension Alexandra Silva
2017/03/12 (PN) Deadline Approaching: Research Fellow positions in Computer Security chhagan . iiita
2017/03/12 (PN) [call for participation] SynCoP + Parameterized Verification 2017 (ETAPS joint workshop, Uppsala, Sweden) André Étienne
2017/03/12 (PN) MEMOCODE-2017 (Call for Papers) Klaus . Schneider
2017/03/12 (PN) CFP DS-RT 2017, Rome, Italy Robson De Grande
2017/03/12 (PN) Call for Best Business Process Management (BPM) Dissertation Award - Nominate your best PhD student (or trigger your PhD supervisor)! Aalst, W.M.P. van der
2017/03/12 (PN) ETAPS 2017 early registration deadline approaching Tarmo Uustalu
2017/03/12 (PN) 1st CFP: 31st European Simulation and Modelling Conference - ESM'2017, October 25-27, 2017, IST, Lisbon, Portugal Philippe Geril
2017/03/12 (PN) Call for Papers: ARES 2017 res . mb . conference
2017/03/12 (PN) Post-doc positions in Brussels on games for reactive synthesis. Gilles Geeraerts
2017/03/12 (PN) ETAPS 2018 call for satellite events Tarmo Uustalu
2017/03/12 (PN) Associate Professor Position in Software Engineering for Networked Embedded Systems at Western Norway University of Applied Science, Bergen Lars Michael Kristensen
2017/03/12 (PN) 1-2 PhD positions in software engineering for healthcare systems at Western Norway University of Applied Sciences (HVL), Bergen. Lars Michael Kristensen
2017/03/12 (PN) Call for Papers: FMICS-AVoCS 2017 Petrucci Laure
2017/03/12 (PN) ATAED 2017 - 1st CfP Robin Bergenthum
2017/03/12 (PN) FWD: Professor / Associate Professor and Head of Department - Department of Computer Science Stefan G.
2017/03/12 (PN) [MobiSPC-Conf] MobiSPC 2017 CFPs: Extended Submission Date: March 27. The 14th International Conference on Mobile Systems and Pervasive Computing Wim Ectors
2017/03/12 (PN) CfP: 1st International workshop on Ubiquitous Business Processes Meeting Internet-of-Things Koschmider, Agnes (AIFB)
2017/03/12 (PN) AICCSA 2017 CFP: 14th ACS/IEEE International Conference on Computer Systems and Applications, Hammamet, Tunisia, Oct 30 – Nov 03, 2017 IEEE AICCSA 2017
2017/02/01 (PN) SPIN 2017 - final call for papers, deadline Feb 10 Klaus Havelund
2017/02/01 (PN) Call for Papers (TASE 2017) Huibiao Zhu
2017/02/01 (PN) CfP FMCAD 2017 - Formal Methods in Computer Aided Design no-reply
2017/02/01 (PN) Faculty position at University of Massachusetts, Boston Jun Suzuki
2017/02/01 (PN) ETAPS 2017 call for participation Tarmo Uustalu