petrinet

Messages by Date

2020/05/30 (PN) iFM 2020 (Integrated Formal Methods): Call for Papers iFM 2020
2020/05/30 (PN) ACKERMANN AWARD 2020: Deadline for nominations postponed to July 1, 2020 EACSL Mail-Account
2020/05/30 (PN) Ph.D. Positions in Algorithms, Verification and Logic at RWTH Aachen Joost-Pieter Katoen
2020/05/30 (PN) FIRST INTERNATIONAL WORKSHOP ON LEVERAGING MACHINE LEARNING IN PROCESS MINING ML4PM 2020 - 5 OCTOBER, 2020 - PADUA, ITALY Paolo Ceravolo
2020/05/30 (PN) WETICE 2020 - Second Round CFP Stefano Forti
2020/05/30 (PN) Open Postdoc Positions at Aalborg University (Model, tools and realizations of intelligent embedded systems) Jiri Srba
2020/03/23 (PN) Deadline Extension, Workshop on Petri Nets and Software Engineering PNSE’20, Paris, France Köhler-Bußmeier , Michael
2020/02/27 (PN) 2nd CfP ATAED 2020 Robin Bergenthum
2020/02/27 (PN) Advanced Course on Petri Nets 2020 acpn2020
2020/02/24 (PN) UNIF 2020 - Call for Papers geoff
2020/02/24 (PN) SynCoP 2020 Call for contributions and participation benoit delahaye
2020/02/24 (PN) ICGT 2020: Final Call for Papers (Extended Deadlines) Timo Kehrer
2020/02/24 (PN) Working on Petri Nets and Process Mining? Consider becoming a member of the IEEE Task Force on Process Mining! van der Aalst, Wil
2020/02/24 (PN) SIGLOG, VCLA and ILLC Travel Awards for WiL 2020 (Women in Logic Workshop) collocated with Petr-Nets 2020, FSCD-IJCAR 2020, Paris, France Mihaela Rozman
2020/02/24 (PN) CALL FOR (Self)NOMINATIONS: VCLA International Student Awards 2020 FOR Outstanding Master and Bachelor Theses conferred between 15.11.2018 and 31.12.2019 (inclusive) Mihaela Rozman
2020/02/10 (PN) CFP: GCM 2020 as part of STAF 2020 (24 June 2020, Bergen, Norway) Minas Mark
2020/02/10 (PN) RAMiCS 2020 - CFP Michael Winter
2020/02/09 (PN) CSL 2021 first call for papers Jean Goubault-Larrecq
2020/02/09 (PN) DEADLINE EXTENSION - Joint Call for Papers - DisCoTec2020 Kiko Fernandez Reyes
2020/02/09 (PN) COORDINATION 2020: Extended deadlines Simon Bliudze
2020/02/09 (PN) Position at telecom Paris Fabrice Kordon
2020/02/09 (PN) 2020 Alonzo Church Award - Call for Nominations geoff
2020/02/09 (PN) [CfP] ICLP2020 - The 36th International Conference on Logic Programming Laura Pandolfo
2020/02/09 (PN) IEEE WETICE 2020 - Call for Papers Stefano Forti
2020/02/09 (PN) CfP - First International Workshop on Agility with Microservices Programming (AMP 2020) @ XP2020, June 8, Copenhagen, Denmark Florian Rademacher
2020/02/09 (PN) CfP ATAED 2020 Robin Bergenthum
2020/02/09 (PN) SEFM 2020 - Preliminary Call For Papers Jacopo Mauro
2020/02/09 CFPositions, Mexico City | Convocatoria Cd de México Guillermo Morales Luna
2020/02/09 (PN) 13th International Conference on Graph Transformation (ICGT'2020): Call for Papers Timo Kehrer
2020/02/09 (PN) DIAGRAMS 2020: Deadline Extension Jens Lemanski
2020/02/09 (PN) Call for Workshops at EDCC 2020, 7th -10th September 2020, Munich, Germany Simona Bernardi
2020/02/09 (PN) RAMiCS CFSC Michael Winter
2020/02/09 (PN) Research fellow (post-doc) position in security and timed formal methods (also available: PhD grants) Étienne André
2020/02/09 (PN) ACKERMANN AWARD 2020: CALL FOR NOMINATIONS Thomas Schwentick
2020/02/09 (PN) [CFP ICICS 2020] Information and Communications Security, Springer, LNCS, Denmark, Aug 2020 Joaquin Garcia-Alfaro
2020/02/09 (PN) [FNC-2020] Call for workshop proposals: Conference on Future Networks and Communications. Leuven, Belgium (August 9-12, 2020) Wim Ectors
2020/01/19 (PN) Postdoctoral position in Cyber-Physical Systems, Newcastle University, UK Sergiy Bogomolov
2020/01/15 (PN) MODEL CHECKING CONTEST 2020 - (2/2) - CALL FOR TOOLS Fabrice Kordon
2020/01/15 (PN) PhD Studentship in Cyber-Physical Systems and Trusted Autonomy, Newcastle University, UK Sergiy Bogomolov
2020/01/01 (PN) Three fully financed Post-Doc Positions at the University of Hamburg, Department for Informatics Daniel Moldt
2020/01/01 (PN) COORDINATION 2020: CfP - Malta, June 15-19 Simon Bliudze
2019/12/09 (PN) MODEL CHECKING CONTEST 2020 — call for models Fabrice Kordon
2019/12/07 (PN) Call for Submissions: Graduate Symposium Diagrams 2020 Jens Lemanski
2019/12/07 (PN) PhD position in modelling and ICT for fire risk prediction at Western Norway University of Applied Sciences Lars Michael Kristensen
2019/12/07 (PN) 2nd CfP DIAGRAMS 2020 Jens Lemanski
2019/12/07 (PN) [CfP] SAT2020 - The 23rd International Conference on , , Theory and Applications of Satisfiability Testing Luca Pulina
2019/12/07 (PN) Several Funded Doctoral Positions in Computer Science in Austria (Vienna, Graz or Linz) - Deadline: January 11, 2020 Mihaela Rozman
2019/12/07 (PN) IFIP SEC 2020, Maribor, Slovenia - Call for Paper - DEADLINE EXTENDED - 5 January 2020! sec2020
2019/12/07 (PN) ESOCC 2020 - 2nd CFP - deadlines extended Jacopo Soldani
2019/12/07 (PN) QEST 2020: First Call for Papers Carlos E. Budde
2019/11/24 (PN) International Workshop on Petri Nets and Software Engineering, PNSE’20 [Call for Papers] Köhler-Bußmeier , Michael
2019/11/21 (PN) [DisCoTec 2020] Joint Call for Papers Kiko Fernandez Reyes
2019/11/20 (PN) CFP - ESOCC 2020 - 8th European Conference and Service-Oriented and Cloud Computing Jacopo Soldani
2019/11/20 (PN) WETICE 2020 - Call for Tracks Stefano Forti
2019/11/17 (PN) PhD positions for Industry 4.0 Laboratory Initiative at University of Southern Denmark Sanja Lazarova-Molnar
2019/11/16 (PN) 1st CFP 18th Annual Industrial Simulation Conference, ISC'2020, June 8-10, 2020, UCD, Dublin, Ireland Philippe Geril
2019/11/13 (PN) CFP: Petri Nets for Cellular Process Modelling -BioSystems (Elsevier) Hiroshi Matsuno
2019/11/13 (PN) DIAGRAMS 2020: Call for Workshop and Tutorial Proposals Jens Lemanski
2019/11/13 (PN) [EDI40-2020] deadline extension & extra Journal Special Issues: Conference on Emerging Data and Industry 4.0. Warsaw, Poland (April 6-9, 2020) Wim Ectors
2019/11/13 (PN) PhD and PostDoc Positions - Safe and Secure Adaptive Collaborative Systems Marjan Sirjani
2019/11/13 (PN) PostDoc Position in Quantitative Modeling at Aalborg University Max Tschaikowski
2019/11/13 (PN) MARS 2020 - CALL FOR PAPERS - Dublin (Ireland) - April 26, 2020 Hubert Garavel
2019/11/13 (PN) Computability in Europe 2020 FIRST CALL FOR PAPERS: Gianluca Della Vedova
2019/11/13 (PN) Drexel University College of Computing & Informatics Tenure-Track Positions in Computer Science and Information Science CFP Conference
2019/10/05 (PN) EBCCSP 2020 - 6th Conf. on Event-Based Control, Communication & Signal Processing, Grenoble, France no-reply
2019/10/05 (PN) CfParticipation: integrated Formal Methods (iFM) 2019 - Bergen, Norway (Dec 2-6) Lars Michael Kristensen
2019/09/12 (PN) CFP: PASM 2019 Nigel Thomas
2019/09/08 (PN) PADL 2020 Call for Papers Yi Tong
2019/09/08 (PN) Realizing the promises of Predictive Maintenance: an exciting PhD position at University of Twente, the Netherlands Marielle Stoelinga
2019/09/04 (PN) Open position Project Manager for H2020-MSCA-ITN-2019 "Interactive Natural Language Technology for Explainable Artificial Intelligence (NL4XAI)" BUGARIN DIZ ALBERTO JOSE
2019/09/04 (PN) 2nd round Call-for-Nominations: SPEC Kaivalya Dixit Distinguished Dissertation Award 2019 Weiyi(Ian) Shang
2019/09/04 (PN) FM'19 - 2nd Call for Participation Renato Neves
2019/09/04 (PN) ETAPS 2020 2nd joint call for papers Tarmo Uustalu
2019/08/29 (PN) FMTea19 CALL for PARTICIPATION: Formal Methods Teaching, on October 7, 2019, in Porto, Portugal Luigia Petre
2019/08/29 (PN) TPTP v7.3.0 released geoff
2019/08/29 (PN) Tutorial on Formal Methods for Biomedicine @ FM World Congress, Porto, October 8, 2019 Ion Petre
2019/08/29 (PN) [Deadline Approaching, August 30] FPS'19, Foundations & Practice of Security, Springer-LNCS Proceedings, Toulouse, France Joaquin Garcia-Alfaro
2019/08/24 (PN) CfP PhD Symposium at iFM'19 on Formal Methods: Algorithms, Tools and Applications ifm19
2019/08/24 (PN) Second call for papers Software Verfication and Testing (SVT) at SAC 2020 Matthias Güdemann
2019/08/24 (PN) PhD position in Utah State University (Probabilistic Verification Methodology for Synthetic Biology and Nanotechnology) Zhen Zhang
2019/08/24 (PN) CfP Algorithmen und Werkzeuge für Petrinetze (AWPN 2019) Robin Bergenthum
2019/08/24 (PN) ETAPS 2020 1st joint call for papers Tarmo Uustalu
2019/08/24 (PN) CFP: EPEW 2019 - The 16th European Performance Engineering Workshop Mauro Iacono
2019/08/24 (PN) Formal Methods 2019 - Call for Participation nevrenato
2019/08/24 (PN) Assistant Professor in Software Science at Radboud University Nijmegen Frits Vaandrager
2019/07/20 (PN) Summer School on Nominal Techniques: FoPSS 2019 Bartek Klin
2019/07/20 (PN) SEFM 2019 - Call for Participation Lina Marsso
2019/07/20 (PN) CfP: integrated Formal Methods (iFM) 2019 - deadline extended Lars Michael Kristensen
2019/07/20 (PN) PhD openings at the IMDEA Software Institute Cesar Sanchez
2019/07/20 (PN) Post-doc openings at the IMDEA Software Institute Cesar Sanchez
2019/06/22 (PN) Call for Papers Software Verification and Testing at ACM/SIGAPP SAC2020 Matthias Güdemann
2019/06/22 (PN) YR-CONCUR 2019 (Amsterdam, co-located with CONCUR 2019) - DEADLINE EXTENDED Christian Roldán
2019/06/20 (PN) FROM 2019 -- last CFP Mircea Marin
2019/06/20 (PN) Professor in Information Systems Management position at The University of Melbourne, Australia Laura Juliff
2019/06/20 (PN) The 29th International Telecommunication Networks and Application Conference (ITNAC), November 27-29, 2019, Auckland, New Zealand. Shui Yu
2019/06/17 (PN) Final CfP: 9th International Young Researchers Workshop on Concurrency Theory Christian Roldán
2019/06/17 (PN) CONCUR 2019 call for participation Fokkink, W.J.
2019/06/13 (PN) FOCLASA 2019: Deadline extension, July 4th Jacopo Soldani
2019/06/13 (PN) FROM 2019 - call for short papers Mircea Marin
2019/06/13 (PN) 2ND CFP - 33rd European Simulation and Modelling Conf. - ESM'2019, October 28-30, 2019, UIB, Palma de Mallorca, Spain Philippe Geril
2019/06/06 (PN) Final Call for Participation International Conference on Process Mining (ICPM 2019) - Online registration ends on June 16th, 2019 / Almost Sold Out van der Aalst, Wil
2019/06/06 (PN) ProM 6.9 has been released Verbeek, H.M.W.
2019/06/06 (PN) Open Postdoc Position at ETH Zurich - Embedded Information Processing Thiele Lothar
2019/05/30 (PN) 2 PhD positions on the ChEOPS project in Twente and Eindhoven (Netherlands): Verified Construction of Correct and Optimised Parallel Software Wijs, A.J.
2019/05/30 (PN) AVoCS 2019 - Call for Papers Marius Bozga
2019/05/30 (PN) cfp FSTTCS 2019: Foundations of Software Technology and Theoretical Computer Science Paul Gastin
2019/05/30 (PN) The 6th Vampire Workshop - CFP geoff
2019/05/30 (PN) EUSPN 2019 CfP in Coimbra, Portugal, November 4-7 2019 (Conference with ISI Special Issues) Davidekova Monika
2019/05/30 (PN) Call for Papers - 2nd PhD Workshop on Cyber-Physical Systems Luca Pulina
2019/05/24 (PN) Call for Workshop Proposals - Petri Nets 2020, Paris, France Fabrice Kordon
2019/05/24 (PN) FROM 2019 - Final Call for Papers Mircea Marin
2019/05/24 (PN) GandALF 2019 : Extended Deadline Jerome Leroux
2019/05/24 (PN) LOPSTR 2019: Fist Call for Papers Tong Liu
2019/05/24 (PN) CFP (Extended Deadline): IEEE DS-RT 2019 Robson De Grande
2019/05/24 (PN) School on behavioural approaches to APIs: Call for participation emilio . tuosto
2019/05/24 (PN) 2nd Workshop on Multi-objective Reasoning in Verification and Synthesis (MoRe 2019): call for participation Jeremy Sproston
2019/05/24 (PN) [1st Call for Papers] ASYDE 2019 @ SEFM 2019 alexander . perucci
2019/05/16 (PN) Second CfP: 9th International Young Researchers Workshop on Concurrency Theory Christian Roldán
2019/05/16 (PN) CFP CCPE Special Issue on Future Perspectives of Decentralized Applications @ Journal on Concurrency and Computation: Practice and Experience Claudio Schifanella
2019/05/16 (PN) ETAPS 2020: Call for Satellite Events Hoefner, Peter (Data61, Kensington NSW)
2019/05/16 (PN) RAMiCS2020 - CFP Michael Winter
2019/05/16 (PN) CFP SICS 2019 @ EDCC'19 (17-20 Sept 2019; Naples, Italy) UZ
2019/05/16 (PN) VTSA 2019: final call for applications Jun PANG
2019/05/16 (PN) FOCLASA 2019 - CFP Alejandro Perez Vereda
2019/05/16 (PN) ITHET 2019 - Second Call for Special Session Proposals [email protected]
2019/05/16 (PN) SYNASC 2019 - 3rd Call for Papers Mircea Marin
2019/05/16 (PN) FROM 2019 - 3rd Call for Papers Mircea Marin
2019/05/16 (PN) SEFM 2019 - Final CfP with Extended Deadlines Lina Marsso
2019/05/16 (PN) [CFP] ISPEC 2019 + 2 Special Issues (IEEE Access, Concurrency and Computation) Shifeng Sun
2019/05/16 (PN) [3rd Call for Papers] ASYDE 2019 @ SEFM 2019 alexander . perucci
2019/04/29 (PN) [DisCoTec 2019] Call for Participation Kiko Fernandez Reyes
2019/04/29 (PN) PostDoc in Verification of Simulink Models Dilian Gurov
2019/04/29 (PN) cfp: FPDAPP - 2nd International Workshop on Future Perspective of Decentralized APPlications Claudio Schifanella
2019/04/29 (PN) CFP: IEEE DS-RT 2019 (October 7-9, 2019 - Cosenza, Italy) Robson De Grande
2019/04/29 (PN) FORMATS 2019 (Amsterdam): new submission schedule Étienne André
2019/04/29 (PN) Call for Participation: 1st IEEE Int. Conference on Process Mining (ICPM) 2019 Laura Juliff
2019/04/29 (PN) Reachability Problems 2019, RP2019, Submissions: May 31st 2019 Potapov, Igor
2019/04/29 (PN) CfP: 9th International Young Researchers Workshop on Concurrency Theory Christian Roldán
2019/04/29 (PN) CFP - ICTAC 2019: 16th International Colloquium on Theoretical Aspects of Computing Slim Kallel
2019/03/25 (PN) Call for Participation - International Conference on Process Mining (ICPM 2019) - Aachen (Germany), 24-26 June, 2019 - Corrected dates! van der Aalst, Wil
2019/03/25 (PN) iFM 2019: Call for Workshops and Tutorials Martin Leucker
2019/03/25 (PN) Fully-funded four-year PhD scholarships at IMT Lucca Mirco Tribastone
2019/03/25 (PN) ICFEM 2019: 2nd Call for papers Étienne André
2019/03/25 (PN) Formal Methods 2019 - Final Call For Papers Severus Winston
2019/03/25 (PN) CFP FMICS 2019: 24th International Conference on Formal Methods for Industrial Critical Systems Tim Willemse
2019/03/25 (PN) CfP: 12th Interaction and Concurrency Experience (ICE 2019) Alceste Scalas
2019/03/25 (PN) FORMATS 2019 (Amsterdam): 2nd call for papers Étienne André
2019/03/12 (PN) Formal Methods 2019 - Doctoral Symposium Renato Neves
2019/03/12 (PN) SEFM 2019 - Call for Papers Publicity Chair
2019/03/12 (PN) FROM 2019 - 1st Call for Papers Mircea Marin
2019/03/12 (PN) Ackermann Award 2019: Final Call for Nominations EACSL Mail-Account
2019/03/01 (PN) Call for Contributions PNSE19
2019/03/01 (PN) 2 Postdocs in Formal Methods and Cyber Security Alberto Lluch Lafuente
2019/03/01 (PN) VerifyThis @ ETAPS 2019: Travel Grants + Call for Participation VerifyThis
2019/03/01 (PN) ETAPS 2019 call for participation Tarmo Uustalu
2019/03/01 (PN) 1ST CFP - 33rd European Simulation and Modelling Conf. - ESM'2019, October 28-30, 2019, UIB, Palma de Mallorca, Spain Philippe Geril
2019/02/23 (PN) Model Checking Contest @ TOOLympics (April 7, 2019) Fabrice Kordon
2019/02/23 (PN) CFP: 19th International Conference on Runtime Verification Bernd Finkbeiner
2019/02/23 (PN) CfP ATAED 2019 Robin Bergenthum
2019/01/31 (PN) Call for bids to organize forthcoming instances of the International Conference on Process Mining (ICPM) van der Aalst, Wil
2019/01/25 (PN) CFP_16th International Colloquium on Theoretical Aspects of Computing (ICTAC 2019). SAOUSSEN CHEIKHROUHOU
2019/01/25 (PN) CFP - ICTAC 2019: 16th International Colloquium on Theoretical Aspects of Computing Slim Kallel
2019/01/25 (PN) VerifyThis at ETAPS 2019: 2nd Call for Problems VerifyThis
2019/01/25 (PN) CONCUR 2019: Call for Workshop Proposals Luttik, S.P.
2019/01/25 (PN) CfP: SafeComp 2019 (Int. Conference on Computer Safety, Reliability and Security) Alexander Romanovsky
2019/01/25 (PN) [DisCoTec 2019] 3rd Joint Call for Papers Kiko Fernandez Reyes
2019/01/25 (PN) FM'19: Second Call for Papers Renato Neves
2019/01/25 (PN) Ackermann Award 2019: Call for Nominations Thomas Schwentick
2019/01/21 (PN) Assistant professor and postdoc positions in Computer Science at University of Warsaw Lukasz Kowalik
2019/01/21 (PN) [CFP] FMIS 2019: 8th Formal Methods for Interactive Systems workshop José Creissac Campos
2019/01/21 (PN) call for papers: CREST 2019 Maciej Koutny
2018/12/23 (PN) IEEE WORLD CONGRESS ON SERVICES 2019 - CALL FOR Papers Paolo Ceravolo
2018/12/23 (PN) SynCoP 2019: Call for Contributions Petrucci Laure
2018/12/23 (PN) MFPS XXXV - Call for Papers Barbara Koenig
2018/12/16 (PN) Post-doc position in the field of Planning and Scheduling at Fondazione Bruno Kessler Marco Roveri
2018/12/16 (PN) Work opportunities for Students/Graduates at Fondazione Bruno Kessler Marco Roveri
2018/12/16 (PN) Post-doc position in the field of Predictive Maintenance at Fondazione Bruno Kessler Marco Roveri
2018/12/16 (PN) Post-doc position in concurrency theory, University of Warsaw Slawomir Lasota
2018/12/16 (PN) Post-doc position in the field of Formal Methods at Fondazione Bruno Kessler Marco Roveri
2018/12/16 (PN) Call for Papers: 1st IEEE Int. Conference on Process Mining (ICPM) 2019 Laura Juliff
2018/12/16 (PN) ICTAC 2020 - Call for Organizers Martin Leucker
2018/12/16 (PN) Book on Conformance Checking Josep Carmona
2018/12/16 (PN) Model Checking Contest 2019 - call for tool participation Fabrice Kordon
2018/12/16 (PN) Research associate on Formal Methods for Voting Systems, University of Luxembourg Jun PANG
2018/12/16 (PN) Open PhD and Post-doc positions in Brussels on games and reactive systems Gilles Geeraerts
2018/12/16 (PN) University of Luxembourg - 2 open PhD positions in "Security and privacy of resource constrained devices" and "Risk analysis and regulatory compliance of DLTs for transaction and management of securities" Livio ROBALDO
2018/12/16 (PN) MFCS 2019 CfP Joost-Pieter Katoen
2018/10/29 (PN) ETAPS 2019 2nd joint call for papers Tarmo Uustalu
2018/10/17 (PN) CfP: TASE 2019 Étienne André
2018/10/17 (PN) [simu-conf] Symposium of Theory of Modeling and Simulation 2019 vsim-conf
2018/10/17 (PN) FORMATS 2019: first call for papers Étienne André
2018/10/17 (PN) QComp 2019: call for benchmarks and tool participation Joost-Pieter Katoen
2018/09/27 (PN) Call for participation: AWPN 2018, October 11-12, 2018, Augsburg University, Germany Robert Lorenz
2018/09/27 (PN) CfP FASE 2019 : 22nd International Conference on Fundamental Approaches to Software Engineering (Prague, April 8-11, 2019) van der Aalst, Wil
2018/09/19 (PN) ETAPS 2019 1st joint call for papers Tarmo Uustalu
2018/09/19 (PN) AWPN 2018: Oct 11-12 with annual meeting of GI-SIG on PN Ekkart Kindler
2018/09/18 (PN) Model Checking Contest 2019 - corrected call for models Fabrice Kordon
2018/09/17 (PN) Model Checking Contest - call for model (2019) Fabrice Kordon
2018/09/17 (PN) PhD positions in Programming Language Technology for Security and Privacy David Sands
2018/09/17 (PN) AWPN 2018 - Submission of extended abstracts Robert Lorenz