Messages by Thread
-
-
(PN) CONFEST 2023 -- Call for Workshop Proposals
Emmanuel Filiot
-
(PN) Postdoc at the Karlsruhe Institute of Technology - Germany (Research Group Systems, Data, Simulation & Energy)
Sanja Lazarova-Molnar
-
(PN) STAF 2023 - Call for Workshop Proposals
Boronat, Artur (Dr.)
-
(PN) Postdoc position in automata and concurrency theory, at the University of Warsaw
Sławomir Lasota
-
(PN) [CFP] PETRI NETS 2023
44th ATPN
-
(PN) VerifyThis 2023: Call For Problems
xldenis
-
(PN) CfP - 6th Workshop on Formal Reasoning about Causation, Responsibility, & Explanations in Science & Technology - CREST 2023
Georgiana Caltais
-
(PN) CfP: Doctoral Symposium @ FM 2023
Violet Ka I Pun
-
(PN) Formal Methods Teaching Tutorial on Frama-C: Dr Allan Blanchard on Friday, October 28, at 3pm CET
Luigia Petre
-
(PN) 2023 Alonzo Church Award: Call for Nominations
Mariangiola Dezani
-
(PN) FSEN 2023 final CfP: deadline extension and hybrid format
Maurice ter Beek
-
(PN) ETAPS Doctoral Dissertation Award 2023
jan . kofron
-
(PN) ETAPS 2023 Final joint call for papers
jan . kofron
-
(PN) CfP Software Verification and Testing Track at SAC 2023 : deadline extension to October, 15
Georgiana Caltais
-
(PN) Permanant position; University of Hamburg, Teaching theoy
Daniel Moldt
-
(PN) MODEL CHECKING CONTEST 2023 - (1/2) - CALL FOR MODELS
Fabrice Kordon
-
(PN) Call for papers: ICECCS 2023 (Toulouse, France)
Étienne André
-
(PN) [FSEN 2023] Second Call for Papers FSEN 2023
Maurice ter Beek
-
(PN) RAMiCS 2023 - Deadline extension
Michael Winter
-
(PN) FME Teaching Tutorials series continues on September 30, 2022, at 3 pm CEST: Prof Michael Leuschel (Heinrich-Heine-University Düsseldorf, Germany) on "Teaching Formal Methods and Theoretical Computer Science with ProB"
Luigia Petre
-
(PN) Second CFP: PADL 2023
Inclezan, Daniela
-
(PN) PhD & PostDoc Positions in Process and Data Science @ RWTH Aachen University, Aachen, Germany
van der Aalst, Willibrordus
-
(PN) CfP - 29th International Symposium on Model Checking of Software - SPIN 2023
Georgiana Caltais
-
(PN) CFP: The 14th ACM/SPEC International Conference on Performance Engineering (ICPE 2023)
Naghmeh Ivaki
-
(PN) Formal Methods Teaching Workshop (FMTea 2023) Call for Paper
Catherine DUBOIS
-
(PN) [ANT-2023] The 14th International Conference on Ambient Systems, Networks and Technologies. Leuven, Belgium (March 15-17, 2023)
Wim Ectors
-
(PN) ETAPS 2023 2nd joint call for papers
Jan Kofron
-
(PN) EuroProofNet WG2 kickoff meeting
geoff
-
(PN) [OVERLAY] Overlay 2022: Call for Papers
Geatti Luca
-
(PN) CfP: FAACS 2022 @ ECSA -- EXTENDED DATES
Tsutomu Kobayashi
-
(PN) [FSEN 2023] First Call for Papers FSEN 2023
Maurice ter Beek
-
(PN) 14th International Summer School on Verification Technology, Systems & Applications
geoff
-
(PN) Reachability Problems 2022, Kaiserslauter (Deadline: Jun 28, 2022)
Potapov, Igor
-
(PN) GandALF 2022 -- Call For Papers [extended deadline]
Pierre Ganty
-
(PN) [Call for Participation - IWQoS]: IEEE/ACM International Symposium on Quality of Service (IWQoS 2022)
alcaraz
-
(PN) CfP - CoopIS 2022: The 28th International Conference on Cooperative Information Systems - deadline extended
Mattia Occhipinti
-
(PN) Doctoral position offer
Petrucci Laure
-
(PN) Second CfP: FM 2023 - 25th International Symposium on Formal Methods
Violet Ka I Pun
-
(PN) CiE 2022 Call for Participation
acie
-
(PN) The ALP Alain Colmerauer Prolog Heritage Prize: Call for Nominations
geoff
-
(PN) Call for Participation - SPIN 2022 - FREE registration, online event
Owolabi Legunsen
-
(PN) [FTTC] Fast Abstracts CFP at EDCC 2022 - The 18th European Dependable Computing Conference
Francesco Flammini
-
(PN) Petri Nets 2022 - Call for Tool Demonstration and Participation
Lars Michael Kristensen
-
(PN) CfP: FAACS 2022 @ ECSA -- The 6th International Workshop on Formal Approaches for Advanced Computing Systems
Tsutomu Kobayashi
-
(PN) 10 fully-funded Ph.D. positions in Software Quality at IMT School, Lucca, Italy
Letterio Galletta
-
(PN) PhD position in Computer Science – Process Discovery and Analysis at Western Norway University of Applied Sciences (HVL)
Lars Michael Kristensen
-
(PN) WADT'22 - 26th International Workshop on Algebraic Development Techniques 2022 (CALL FOR PARTICIPATION)
Alexandre Madeira
-
(PN) Women in Logic 2022 - Call for Contributions
Sandra Kiefer
-
(PN) Student Forum CFP at EDCC 2022 - The 18th European Dependable Computing Conference
Diego Perez
-
(PN) WST 2022: final call for papers (submission deadline changed!)
Cynthia Kop
-
(PN) Call for participation: Petri Nets 2022 - Bergen, Norway
Lars Michael Kristensen
-
(PN) Datalog 2.0 2022 - Second Call for Papers (opportunity for TPLP rapid publication)
cfp
-
(PN) Microservices 2022 - Second Call for Participation
Florian Rademacher
-
(PN) Formal Methods 2023 -- Joint call for workshop & tutorial proposals
Violet Ka I Pun
-
(PN) CFP: EPEW 2022
Nigel Thomas
-
(PN) GandALF 2022 -- 2nd Call For Papers
Pierre Ganty
-
(PN) CMSB 2022: last CFP
heiner
-
(PN) CFP Latin American Computing Conference - CLEI 2022 ** Hybrid Edition & Deadline Extension **
Fáber D . Giraldo Velásquez
-
(PN) ETAPS 2023: Call for Satellite Events
Stefan Haar
-
(PN) Tenure-track assistant professor in Formal Aspects of Programming Languages
Coen DE ROOVER
-
(PN) Symposium on Reliable Distributed Systems (SRDS 2022) call for workshops
Marjan Sirjani
-
(PN) Model Checking Contest — deadline for tool submission is approaching
Fabrice Kordon
-
(PN) CONCUR 2022 - last CFP
Bartek Klin
-
(PN) PhD position at Inria Lille - Nord Europe
Simon Bliudze
-
(PN) Microservices 2022 - First Call for Participation
Florian Rademacher
-
(PN) Deadline Extension: PNSE'22
Köhler-Bußmeier , Michael
-
(PN) First CFP: FM 2023 - 25th International Symposium on Formal Methods
Joost-Pieter Katoen
-
(PN) Second Call for Papers - Runtime Verification RV'22 (Computational Logic Autumn Summit, Tbilisi, Georgia, Sept 28-30)
Thao Dang
-
(PN) Early call for participation: Petri Nets 2022 in Bergen + ACSD track (ICATPN 2022, June 19-24, 2022)
Lars Michael Kristensen
-
(PN) Final CFP: WRLA 2020 -- 14th Int'l Workshop on Rewriting Logic and its Applications)
Kyungmin Bae
-
(PN) ETAPS Test of Time Award 2022, call for nominations
Tarmo Uustalu
-
(PN) CFP: FORTE 2022 (Abstract Deadline: January 28, Submission Deadline: February 4)
Giorgio Audrito
-
(PN) CfPapers: Petri Nets 2022 in Bergen + special track on ACSD (ICATPN 2022, June 19-24, 2022) - abstract registration deadline January 13
Lars Michael Kristensen
-
(PN) MOVEP2022: Announcement
Martin Zimmermann
-
(PN) Assistant Professor of Software Technology (tenure track) at Radboud University
Frits Vaandrager
-
(PN) ICGT 2022: Call for Papers
Daniel Strüber
-
(PN) DisCoTec 2022: call for Workshops and Tutorial
Giorgio Audrito
-
(PN) New course "Process Mining: From Theory to Execution" is now online
van der Aalst, Willibrordus
-
(PN) QEST 2022: First Call for Papers
QEST Publicity
-
(PN) Call for Papers FUN 2022
Mosteiro, Miguel A.
-
(PN) Several Ph.D. positions at RWTH Aachen University
Joost-Pieter Katoen
-
(PN) iFM 2022 (Integrated Formal Methods): Call for Papers
iFM 2022
-
(PN) [PSD 2022] PRIVACY IN STATISTICAL DATABASES, Springer LNCS, Paris, France, Sept. 2022
Joaquin Garcia-Alfaro
-
(PN) 2nd call for papers: TASE 2022 (Cluj-Napoca, Romania)
Étienne André
-
(PN) 1st CFP 20th Annual Industrial Simulation Conference, June 1-3, 2022, University College Dublin, Ireland
Philippe Geril
-
(PN) Postdoc position in Artificial Intelligence
Vadim Malvone
-
(PN) Call for papers: TASE 2022 (Cluj-Napoca, Romania)
Étienne André
-
(PN) 2nd CfP: Petri Nets 2022 in Bergen + special track on ACSD (ICATPN 2022, June 19-24, 2022)
Lars Michael Kristensen
-
(PN) CfP Reliability, safety and security of railway systems (RSSRail 2022)
Alexander Romanovsky
-
(PN) Call for (virtual and free) participation, ICTAC'21, Sept 8-10
Antonio Cerone
-
(PN) Petri Nets 2021 keynote videos
Étienne André
-
(PN) 1st CfP - Petri Nets 2022 : 43rd International Conference on Application and Theory of Petri Nets and Concurrency
Lars Michael Kristensen
-
(PN) Springer icSoftComp2021 [CFP]: (Scopus indexed conference proceedings) (Submission due on 31/July/2021)
K. K. Patel
-
(PN) Petri Nets 2022 - Call for Workshop Proposals
Robin Bergenthum
-
(PN) IEEE WETICE 2021 - CfP - Second Round
Stefano Forti
-
(PN) Second International Workshop on Leveraging Machine Learning in Process Mining
Paolo Ceravolo
-
(PN) ACKERMANN AWARD 2021: 2nd and final Call for Nominations
EACSL Mail-Account
-
(PN) Call for 2021 SPEC Kaivalya Dixit Distinguished Dissertation Award
Weiyi(Ian) Shang
-
(PN) Tool demonstration @ Petri Nets 2021
Benoît Barbot
-
(PN) [Call for Papers] Formal Verification of Physical Systems (FVPS 2021)
Adnan Rashid
-
(PN) 14th Intl. Conf. on Graph Transformation: Call for Participation
Timo Kehrer
-
(PN) Call for Participation: Petri Nets 2021 + special track on ACSD (ICATPN 2021, 24 June 2021, virtual)
Petrucci Laure
-
(PN) 14 funded open PhD positions in Computer Science and Artificial Intelligence at the University of Udine, Italy
Dario Della Monica
-
(PN) Ph.D. position on Formal methods for marine robotics available at ONERA, Toulouse and LIRMM, Montpellier, France
Charles Lesire-Cabaniols
-
(PN) ML4PM 2021 - Second International Workshop on Leveraging Machine Learning in Process Mining
Paolo Ceravolo
-
(PN) CfP: Reachability Problems - RP'2020 - Paris, France - October 19-21, 2020
Potapov, Igor
-
(PN) 13 four-year PhD grants at the Faculty of Computer Science of the Free University of Bozen-Bolzano in Italy
Enrico Franconi
-
(PN) Deadline extension: ICTAC 2021
Peter Csaba Ølveczky
-
(PN) CFP - 37th International Conference on Logic Programming (extended deadlines)
Miguel Areias
-
(PN) ETAPS 2022 - Call for Satellite Events
Jan Kretinsky
-
(PN) CFP - International Conference on Service-Oriented Computing (ICSOC) - November 22-25, 2021 - Dubai, United Arab Emirates
Josue Castaneda Cisneros
-
(PN) CALCO 2021: First Call for Papers
Laura Bussi
-
(PN) Call for Papers "Workshop on Self-aware Computing Systems 2021 (SeAC 2021)"
Veronika Lesch
-
(PN) CfP: 14th Interaction and Concurrency Experience (ICE 2021)
Alceste Scalas
-
(PN) Women in Logic 2021 - Call for Participation
Sandra Kiefer
-
(PN) Call For Workshops - 37th International Conference on Logic Programming (ICLP 2021)
Miguel Areias
-
(PN) 2021 Alonzo Church Award - Call for Nominations Extended
geoff
-
(PN) SPIN 2021 - Deadline extension to April 20
Laarman, A.W.
-
(PN) CfP "Recent Advances in Petri Nets Modeling"- [Applied Sciences] (SCIE; IF=2.474)
Luis Gomes
-
(PN) RAMiCS 2021 - 2nd CFP
luigi . santocanale
-
(PN) Fundamenta Informaticae ---> OPEN ACCESS
Slawomir Lasota
-
(PN) CSL 2022 - call for papers
Manea, Florin
-
(PN) Call for Papers: CONCUR 2021
Daniele Varacca
-
(PN) FMICS 2021 Call for Papers
Alberto Lluch Lafuente
-
(PN) Special Issue of International Journal of Parallel, Emergent and Distributed Systems: Petri/Sleptsov Net Based Technology of Programming for Parallel, Emergent and Distributed Systems
Dmitry Zaitsev
-
(PN) CFP: International Workshop on Petri Nets and Software Engineering , PNSE’21, Paris, France, June, 2021
Köhler-Bußmeier , Michael
-
(PN) Assistant Professor in Formal Methods @ DTU Compute
Alceste Scalas
-
(PN) Two open Ph.D. positions in Probabilistic Verification Methodologies for Synthetic Biology and Nanotechnology
Zhen Zhang
-
(PN) Petri Nets 2021: deadline extension
Petrucci Laure
-
(PN) MODEL CHECKING CONTEST 2021 - (2/2) - CALL FOR TOOLS
Fabrice Kordon
-
(PN) CfP ATAED 2021
Robin Bergenthum
-
(PN) MODEL CHECKING CONTEST 2021 - (1/2) - CALL FOR MODELS
Fabrice Kordon
-
(PN) RAMiCS 2021 - CFP
luigi . santocanale
-
(PN) 2021 Alonzo Church Award - Call for Nominations
Javier Esparza
-
(PN) QEST 2021: Call for Papers
Marco Paolieri
-
(PN) [CfP] Petri Nets 2021 in Paris + special track on ACSD (ICATPN 2021, June 20-25, 2021), 2nd call for papers
Petrucci Laure
-
(PN) Invitation to celebrate the World Logic Day digitally - 14 January 2021 - Ambassadors of Logic and public Vienna Logic Day Lecture
Rozman, Mihaela
-
(PN) [MEDI 2021] Call for Workshops
Samir ouchani
-
(PN) RWTH Junior Principal Investigator Fellowships
Joost-Pieter Katoen
-
(PN) LPOP 2020 Call for Participation
Matthew Castellana
-
(PN) Call for Papers - 2021 IEEE International Conference on Software Architecture (ICSA 2021)
Jacopo Soldani
-
(PN) [CfP] Petri Nets 2021 in Paris + special track on ACSD (ICATPN 2021, June 20-25, 2021)
Petrucci Laure
-
(PN) Call for Papers - SPIN 2021
Laarman, A.W.
-
(PN) Call for Papers: FORMALISE 2021
Nico Plat
-
(PN) Open Ph.D. position in Probabilistic Verification Methodology for Synthetic Biology and Nanotechnology
Zhen Zhang
-
(PN) Open positions in Software Engineering at Innopolis University
Manuel Mazzara
-
(PN) ETAPS 2021 final joint call for papers
Tarmo Uustalu
-
(PN) 2-year engineer position at LORIA, Inria & CNRS, Nancy, France
Étienne André
-
(PN) Several Ph.D. positions in Algorithms, Verification and Logic for Uncertainty and Randomness
Joost-Pieter Katoen
-
(PN) PhD Position on Machine Learning for Process Mining (ML4ProM) at RWTH Aachen University
van der Aalst, Wil
-
(PN) CFP: Elsevier BioSystems - Petri Nets for Cellular Process Modelling -
hmatsuno
-
(PN) PhD/Post-Doc positions at the University of Duisburg-Essen
Barbara Koenig
-
(PN) Formal Methods 2021 -- 2nd Call for Papers
Jun PANG
-
(PN) ETAPS 2021 1st joint call for papers
Tarmo Uustalu
-
(PN) CILC 2020 - Third Call For Papers - ABSTRACT SUBMISSION DEADLINE APPROACHING
cfp
-
(PN) CFP - ECT4BPM @ EMCIS 2020 - Submission deadline is approaching
Slim Kallel
-
(PN) ParAd: Parallel Adriana, version 1.2.3 released - the fastest tool to compute PN invariants on parallel architectures
Dmitry Zaitsev
-
(PN) CfP SAC-SVT 2021
Erika Abraham
-
(PN) [CfP] PLP-2020: The Seventh Workshop on Probabilistic Logic Programming
Laura Pandolfo
-
(PN) PhD Thesis
Gwen Salaün
-
(PN) Formal Methods 2021 -- 1st Call for Papers
Jun PANG
-
(PN) MCC'2020, the web site is out
Fabrice Kordon
-
(PN) AWPN 2020 workshop skipped
Robert Lorenz
-
(PN) First Call for Papers: FSEN 2021
Maurice ter Beek
-
(PN) ER Online Summer Seminars - a series of seminars on Conceptual Modeling
Enrico Franconi
-
(PN) Updated -- results of the 10th edition of the Model Checking Contest
Daniel Moldt
-
(PN) Results of the 10th edition of the Model Checking Contest
Fabrice Kordon
-
(PN) Participation at the Petri Nets 2020 is FREE: Please register now.
Daniel Moldt
-
(PN) Model Checking Contest, 2020 edition
Fabrice Kordon
-
(PN) [Call for Participation] SAT 2020 - The 23rd International Conference on Theory and Applications of Satisfiability Testing
Laura Pandolfo
-
(PN) ICGT 2020: Call for Online Participation
Timo Kehrer
-
(PN) ETAPS 2020 afternoon, online, 2 July 2020, call for participation
Tarmo Uustalu
-
(PN) Call-for-Nominations: SPEC Kaivalya Dixit Distinguished Dissertation Award 2020
Weiyi(Ian) Shang
-
(PN) IJCAR 2020 - Call for Participation
geoff
-
(PN) PostDoc Position in Knowledge-based Systems and Artificial Intelligence. Vienna, Austria. Application deadline: July 15, 2020
Mihaela Rozman
-
(PN) PhD position(s) in Structural and Algorithmic Aspects of Preference-based Problems in Social Choice - Vienna, Austria - Deadline: July 31, 2020
Mihaela Rozman
-
(PN) CFP - SNR'20 Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT (deadline extended to 28 June 2020)
Thao Dang
-
(PN) PhD Position F/M Formal Modelling and Validation for Electric, Connected, and Automated Vehicles
Lina Marsso
-
(PN) Petri Nets 2020: 2nd call for participation (25th June, virtual)
Étienne André
-
(PN) Release 0.11 of SARL agent programming language
Stéphane Galland
-
(PN) Call for tool demonstration PN'2020
Benoît Barbot
-
(PN) CILC 2020 - First Call For Papers
cfp
-
(PN) PhD position in automata theory, University of Warsaw
Sławomir Lasota
-
(PN) Joint Call for Participation - DisCoTec2020
Kiko Fernandez Reyes
-
(PN) Several Open PhD Positions in the doctoral program on Logical Methods in Computer Science (LogiCS) in Austria ***Deadline: June 12, 2020***
Rozman, Mihaela
-
(PN) Several four-year PhD grants at the Faculty of Computer Science of the Free University of Bozen-Bolzano in Italy
Enrico Franconi
-
(PN) CfP: Reachability Problems, RP 2020
Potapov, Igor
-
(PN) Call for Participation: Petri Nets 2020 + special track on ACSD (ICATPN 2020, 24-25 June 2020, virtual)
Étienne André
-
(PN) CSL 2021: 2nd CFP
Jean Goubault-Larrecq
-
(PN) FTfJP 2020 (virtual): Second CFP
Oortwijn Wytse