Messages by Thread
-
(PN) NSS-SocialSec 2024 - Call for Papers (Extended deadline: July 1, 2024)
Paria Shirani via Petrinet
-
(PN) FTfJP 2024 - Deadline extension
Di Stefano, Luca via Petrinet
-
(PN) Call for workshops - ICSOC 2024 : 22st International Conference on Service-Oriented Computing
Slim Kallel via Petrinet
-
(PN) [ICLP & LPNMR DC 2024] Call For Papers
giuseppe.mazzotta--- via Petrinet
-
(PN) [Deadline Extension - LPNMR 2024] Call For Papers
giuseppe.mazzotta--- via Petrinet
-
(PN) SEFM'24 -- Last Call for papers
Alexandre Madeira via Petrinet
-
(PN) Real-Time Intelligent Systems 2024
G Bharathi via Petrinet
-
(PN) Model Checking Contest 2024 — publication of surprise models
Fabrice Kordon via Petrinet
-
(PN) [Approaching Deadline - LPNMR 2024] Call For Papers
giuseppe.mazzotta--- via Petrinet
-
(PN) [CRISIS 2024 - Deadline Extension] The 19th International Conference on Risks and Security of Internet and Systems
Samir OUCHANI via Petrinet
-
(PN) unsubscribe
Roubtsova, Ella via Petrinet
-
(PN) [NETGCOOP 2024] The 11th International Conference on Network Games, Control and Optimization - Lille, France, October 9-11, 2024
btuffin via Petrinet
-
(PN) Postdoc positions in Software Security and Formal Verification at Newcastle University
Narges Khakpour via Petrinet
-
(PN) Tina 3.8.0 implements Sleptsov Nets
Dmitry Zaitsev via Petrinet
-
(PN) Petri Nets 2024 in Geneva — last call for participation
Fabrice Kordon via Petrinet
-
(PN) CALL FOR PARTICIPATION - IEEE SMC-IT/SCC 2024
Simon Kolker via Petrinet
-
(PN) [LPNMR 2024] Call For Papers
giuseppe.mazzotta--- via Petrinet
-
(PN) VORTEX 2024 call for papers
Giorgio Audrito via Petrinet
-
(PN) 18th International Conference on Reachability Problems - RP'24
geoff--- via Petrinet
-
(PN) 19th International Conference on Integrated Formal Methods - iFM 2024
geoff--- via Petrinet
-
(PN) [IEEE CSR Workshop] (Submission Deadline Extended: June 30th, 2024)
Filippo Berto via Petrinet
-
(PN) DisCoTec 2024 Final Call for Participation
Bas van den Heuvel via Petrinet
-
(PN) CFP - PhD Forum - The 43rd International Symposium on Reliable Distributed Systems (SRDS 2024)
Naghmeh Ivaki via Petrinet
-
(PN) SEFM'24 -- Deadline extended!
Alexandre Madeira via Petrinet
-
(PN) VERY IMPORTANT (4) — moving to the new Petri net Mailing-list
Fabrice Kordon via Petrinet
-
(PN) SecureComm 2024 - Call for Papers (Deadline: July 1, 2024)
Paria Shirani via Petrinet
-
(PN) Petri nets 2024: Second call for participation
Didier Buchs via Petrinet
-
(PN) [ECAI-24] Second Call for Papers: ActSynt - Workshop on Highlights of Reasoning about Actions, Planning and Reactive Synthesis
Antonio Di Stasio via Petrinet
-
(PN) NSS-SocialSec 2024 - Call for Papers (Deadline: June 10, 2024)
Paria Shirani via Petrinet
-
(PN) FPS 2024 - Call for Papers (Deadline: Sep 6, 2024)
Paria Shirani via Petrinet
-
(PN) Announcement and First CFP: Springer icSoftComp2024 (2024 6th International Conference on Soft Computing and its Engineering Applications)
K. K. Patel via Petrinet
-
(PN) DPM 2024 - cfp - Data Privacy Manamgement, co-located with ESORICS 2024, Sep 19
Guillermo Navarro-Arribas via Petrinet
-
(PN) FSEN 2025 - Call for Papers
Bos, Petra van den (UT-EEMCS) via Petrinet
-
(PN) Deadline extension TAP 2024 (Tests and Proofs 2024), Milan, Italy: new submission deadline June 14
Huisman, Marieke (UT-EEMCS) via Petrinet
-
(PN) Tool exhibition at Petri nets 2024
Didier Buchs via Petrinet
-
(PN) Contributions to BPM 2024: Further Opportunities
Winkler Sarah via Petrinet
-
(PN) 1st CALL FOR PAPERS EXPRESS/SOS@CONFEST2024
Cinzia Di Giusto via Petrinet
-
(PN) FME Teaching Tutorial on May 24, 2024, 3 pm CEST: Prof Tiziana Margaria, University of Limerick, Ireland: Teaching Formal Methods in Germany vs. Ireland: experience from two very different systems
Luigia Petre via Petrinet
-
(PN) Postdoctoral Research Fellow in Formal Methods in Bergen, Norway
Violet Ka I Pun via Petrinet
-
(PN) 2nd cfp of SEFM'24
Alexandre Madeira via Petrinet
-
(PN) ESOP 2025 2nd CfP - New: Two Submission Rounds
jan.kofron--- via Petrinet
-
(PN) International Workshop on Quantification (QUANTIFY 2024)
geoff--- via Petrinet
-
(PN) [CFP] 2024 IEEE International Conference on Cyber Security and Resilience -- deadline extended
IEEE CSR Conference via Petrinet
-
(PN) Tool exhibition registration
Didier Buchs via Petrinet
-
(PN) Final CFP with New Deadlines: Formal Methods Teaching Workshop
Sekerinski, Emil via Petrinet
-
(PN) Call for Workshop Proposals (Deadline Extended) - The 43rd International Symposium on Reliable Distributed Systems (SRDS 2024)
Naghmeh Ivaki via Petrinet
-
(PN) FACS 2024 - Third Call for Papers
Marmsoler, Diego via Petrinet
-
(PN) Call for Participation : Petri Nets 2024
Didier Buchs via Petrinet
-
(PN) AWPN 2024: Call for Contributions
Robert Lorenz via Petrinet
-
(PN) LAMAS&SR 2024 - Preliminary CFP
Munyque Mittelmann via Petrinet
-
(PN) VTSA 2024: 2nd call for applications
Jun PANG via Petrinet
-
(PN) VERY IMPORTANT (3) — moving to the new Petri net Mailing-list
Fabrice Kordon via Petrinet
-
(PN) [WiL] Women in Logic 2024 — Deadline Extended May 7 AoE
Tephilla Prince via Petrinet
-
(PN) ETAPS 2025 – Call for Satellite Events
Claudio MENGHI via Petrinet
-
(PN) MCC'2024 — tool and model submission
Fabrice Kordon via Petrinet
-
(PN) CFP LADC 2024 - Research Track
JEAN CARLOS TEIXEIRA DE ARAÚJO via Petrinet
-
(PN) CMSB 2024 - Pisa - Extended deadlines
Paolo Milazzo via Petrinet
-
(PN) IJCAR 2024: Call for Participation
Peter Lammich via Petrinet
-
(PN) Second Call for Contributions - Sensei'24
Lopuhaa-Zwakenberg, Milan (UT-EEMCS) via Petrinet
-
(PN) ICGT 2024: Call for journal-first contributions
Jens Kosiol via Petrinet
-
(PN) FACS 24 - Second Call for Papers
Marmsoler, Diego via Petrinet
-
(PN) CDVE2024 Second Call for Papers - Don't miss this opportunity
Cdve Org via Petrinet
-
(PN) Second round of abstract submissions - WADT 2024
WADT 2024 via Petrinet
-
(PN) The 18th International Conference on Reachability Problems - RP 2024
geoff--- via Petrinet
-
(PN) Call for Workshop Proposals - The 43rd International Symposium on Reliable Distributed Systems (SRDS 2024)
Naghmeh Ivaki via Petrinet
-
(PN) [WiL] Women in Logic 2024 -- Final call for papers
Tephilla Prince via Petrinet
-
(PN) Formal Methods Teaching Workshop (FMTea 2024) Call for Papers
Sekerinski, Emil via Petrinet
-
(PN) CFP - (Deadline Approaching) The 43rd International Symposium on Reliable Distributed Systems (SRDS 2024)
Naghmeh Ivaki via Petrinet
-
(PN) [ECAI-24] Call for Papers: ActSynt - Workshop on Highlights of Reasoning about Actions, Planning and Reactive Synthesis
Antonio Di Stasio via Petrinet
-
(PN) SAT/SMT/AR 2024: International Summer School
geoff--- via Petrinet
-
(PN) Extension to abstract submission deadline - WADT 2024
WADT 2024
-
(PN) Call for Papers - CBI 2024, Vienna, Austria
Peter Fettke
-
(PN) IJCAR: Woody Bledsoe Award: Call for Nominations
Peter Lammich
-
(PN) Ackermann Award: First call for nominations - Deadline 1st July
Maribel Fernandez
-
(PN) ESSAI&ACAI 2024 - Preliminary call for participation
Manolis Koubarakis
-
(PN) [CFP-ESORICS 2024, approaching deadline, April 19]: 29th European Symposium on Research in Computer Security (ESORICS 2024), LNCS proceedings, 16-20 September 2024, Bydgoszcz, Poland
Joaquin Garcia-Alfaro
-
(PN) Real-Time Intelligent Systems 2024- Springer LNNS
conference
-
(PN) McCune PhD Award, Bledsoe IJCAR Travel Awards
geoff
-
(PN) Call for Contributions - Sensei'24
Lopuhaa-Zwakenberg, Milan (UT-EEMCS)
-
(PN) PAAR 2024 - Call for Papers - Extended Deadlines
geoff
-
(PN) Call for Papers DOD 2024
SBA Research Events
-
(PN) [QUATIC 2024] CfP
Stefano Forti
-
(PN) 5th International Workshop on Formal Methods for Blockchains (FMBC) 2024 - Call for Participation
Marmsoler, Diego
-
(PN) [WiL] Women in Logic 2024 -- 2nd call for papers
Tephilla Prince
-
(PN) iFM 2024 Call for Papers
geoff
-
(PN) LPAR 2024 short presentation papers - CFP
geoff
-
(PN) FMICS 2024: 2nd call-for-papers
Anne Elisabeth Haxthausen
-
(PN) CICM 2024 - Extended deadline - Call for Papers
geoff
-
Re: (PN) VERY IMPORTANT — moving to the new Petri net Mailing-list
Fabrice Kordon
-
(PN) VERY IMPORTANT (2) — moving to the new Petri net Mailing-list
Fabrice Kordon
-
(PN) ASMTA 2024 CFP - Submission Deadline Extended to April 16
Marco Paolieri
-
(PN) Call for Tutorial Papers at FM 2024: deadline approaching —> April 19!
Luigia Petre
-
(PN) CFP - The 43rd International Symposium on Reliable Distributed Systems (SRDS 2024)
Naghmeh Ivaki
-
(PN) FME Teaching Tutorial on March 28, 2024, 3 pm CET: Prof Wolfram Kahl, McMaster University, Canada: Teaching with CalcCheck
Luigia Petre
-
(PN) Call for Papers: Smart Mobility and Logistics Ecosystems (SMiLE) Conference, KFUPM, Saudi Arabia 17-19 September 2024
Smart Mobility and Logistics Ecosystems
-
(PN) VTSA 2024: 1st call for applications
Jun PANG
-
(PN) Call for Papers FMxSL24 - Formal Methods cross Spatial Logics
Giovanna Broccia
-
(PN) VERY IMPORTANT : moving to the new Petri net Mailing-list
Fabrice Kordon
-
(PN) Joint call for papers PNSE'24 + PeNGE 2024
Daniel Moldt
-
(PN) Unsubscribe Error: Now corrected.
Daniel Moldt
-
(PN) Postdoctoral fellowship: monitoring cyberphysical systems with quantities
Étienne André
-
(PN) Model Cheking Contest 2024 — Submission kits are online
Fabrice Kordon
-
(PN) CMSB 2024 - Pisa - Call-for-Papers
Paolo Milazzo
-
(PN) FME Teaching Tutorial on March 1, 2024, 10am (!) CET: Prof Carroll Morgan, University of New South Wales, Australia: Teaching formal methods informally: a report from the front line
Luigia Petre
-
(PN) CfP: 2nd International Workshop on Cyber-Physical Social Systems for Sustainability: Challenges and Opportunities (CPSS4Sus)
João Paulo Barros
-
(PN) QEST+FORMATS: Call for Papers
Patrick Totzke
-
(PN) CfP: Blockchain Forum at BPM 2024
Winkler Sarah
-
(PN) Bill McCune PhD Award in Automated Reasoning 2024 Call for Nominations
geoff
-
(PN) Call for Papers: Robotic Process Automation Forum @ BPM 2024
Winkler Sarah
-
(PN) Final Call for Papers -- ESSLLI 2024 Student Session
Di Cosmo Francesco
-
(PN) BPM 2024: Call for Papers
Winkler Sarah
-
(PN) 2024 Alonzo Church Award, Call for Nominations
igw
-
(PN) MODEL CHECKING CONTEST 2024 - (2/2) - CALL FOR TOOLS
Fabrice Kordon
-
(PN) MODELS 2024 | Call for Workshop Proposals
Michael, Judith
-
(PN) CfP Petri nets 2024: Deadline extension with one week!
Werf, J.M.E.M. van der (Jan Martijn)
-
(PN) Model Checking Contest 2024 - (1/2) - Call for Models
Fabrice Kordon
-
(PN) QEST+FORMATS 2024: Call for Papers
Sadegh soudjani
-
(PN) 2nd CfP COORDINATION 2024 - 26th International Conference on Coordination Models and Languages (part of DisCoTec 2024)
Saverio Giallorenzo
-
(PN) SynCoP 2024 - Call for Talks - Luxembourg City (Luxembourg) - April 6th - 7th, 2024
Jaime ARIAS
-
(PN) 2nd CfP: 17th International Conference on Graph Transformation (ICGT)
Jens Kosiol
-
(PN) SPIN 2024 - Call for Papers
Wijs, Anton
-
(PN) MODELS 2024 | CFP - ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems
Michael, Judith
-
(PN) Call for ETAPS Test of Time Award 2024 Nominations
jan . kofron
-
(PN) One postdoctoral position in logics for concurrency - University of Urbino
Claudio Mezzina
-
(PN) Call for Papers: TAP 2024 (Tests and Proofs 2024), Milan, Italy
Huisman, Marieke (UT-EEMCS)
-
(PN) CfP COORDINATION 2024 - 26th International Conference on Coordination Models and Languages
Saverio Giallorenzo
-
(PN) Call for papers: Petri Nets 2024, Geneva, Switzerland
Lars Michael Kristensen
-
(PN) Joint CfP: DisCoTec 2024 - 19th International Federated Conference on Distributed Computing Techniques
Bas van den Heuvel
-
(PN) 2024 Alonzo Church Award Call for Nominations
geoff
-
(PN) Postdoctoral position in the project "Quantum topology and deep learning"
Piotr Kucharski
-
(PN) ICGT 2024: First Call for Papers
Jens Kosiol
-
(PN) VerifyThis 2024 : Call for Problems
Paula Herber
-
(PN) FormaliSE 2024 - Call for Papers
Abhishek Tiwari
-
(PN) CiE 2024: CALL FOR PAPERS
acie
-
(PN) Preliminary Programme 37th European Simulation & Modelling Conf.- ESM'2023, October 24-26, 2023, ISAE-SUPAERO, Toulouse, France HYBRID EVENT
Philippe Geril
-
(PN) Deadline Extended - Software Verification and Testing Track at SAC 2024
Georgiana Caltais
-
(PN) SPIN 2024: first Call for Papers
Thomas Neele
-
(PN) 1st CfP: Petri Nets 2024 - Geneva, Switzerland
Lars Michael Kristensen
-
(PN) Advanced Course on Petri Nets 2023 - Call for Participations
ACPN2023
-
(PN) Model Checking Contest 2023 — final results
Fabrice Kordon
-
(PN) FM-BPM 2023: call for papers
Gianola Alessandro
-
(PN) Ackermann Award: Second call for nominations - Deadline 1st July
Maribel Fernandez
-
(PN) Postdoc position in automata and concurrency theory at the University of Warsaw
Sławomir Lasota
-
(PN) FORMATS 2023 third call for papers
Jeremy Sproston
-
(PN) [Deadline approaching, March 31st] Cybersecurity Associate - Assistant Prof. position at Télécom SudParis
Joaquin Garcia-Alfaro
-
(PN) LOPSTR 2023 - Call for Papers
daniel . jurjo
-
(PN) ATVA 2023 (Singapore): first call for papers
Étienne André
-
(PN) CfP PN4TT2023 - International Workshop on Petri Nets for Twin Transition
Luis Gomes
-
(PN) ETAPS — last days for normal rate registration
Fabrice Kordon
-
(PN) LPAR 2023 Deadline extension
geoff
-
(PN) Fwd: CMSB 2023: 2nd CfP
heiner
-
(PN) Call for Papers ARES 2023
SBA Research Events
-
(PN) [IEEE Netsoft 2023 PhD Symposium] Deadline extended to March 31
Giovanni Schembra
-
(PN) cfp for IEEE Edge 2023; submission deadline = Extended deadline March 25, 2023.
Nitin Auluck
-
(PN) 1ST CFP - ESM'2023 - The 37th annual European Simulation and Modelling Conference, October 24-26, 2023, ISAE-SUPAERO, Toulouse - France
Philippe Geril
-
(PN) Three assistant/associate professor positions in security at the VU Amsterdam
Fokkink, W.J. (WJ)
-
(PN) LPAR 2023 Call for Workshops and Tutorials
geoff
-
(PN) ETAPS 2023 (Paris): offer for Extended Stay Support Scheme
Étienne André
-
(PN) GandALF 2023: Call For Papers
Gabriele Puppis
-
(PN) Vacancy: Assistant/Associate Professor Energy-efficient Software Development, University of Twente, Netherlands, Formal Methods and Tools group
Huisman, Marieke (UT-EEMCS)
-
(PN) ETAPS 2023 (Paris) extended stay support scheme: fly less, stay longer
Étienne André
-
(PN) Model Checking Contest Workshop @ ETAPS'2023
Fabrice Kordon
-
(PN) TACAS 2023 TOOLympics - Call for Contributions
Fabrice Kordon
-
(PN) Multiple PhD positions in formal methods and security at Newcastle University, UK
Narges Khakpour
-
(PN) Assistant professor in logic / semantics
Fokkink, W.J. (WJ)
-
(PN) EPEW/ASMTA Call for Papers
Salvatore Serrano
-
(PN) CMSB 2023: first call for papers
Jun PANG
-
(PN) 2 PhD positions in Formal Analysis for Concurrent Workflows (deadline extended)
Violet Ka I Pun
-
(PN) MODEL CHECKING CONTEST 2023 - (2/2) - CALL FOR TOOLS
Fabrice Kordon
-
(PN) FORMATS 2023 first call for papers
Jeremy Sproston
-
(PN) CALCO 2023: First Call for Papers
Paolo Baldan
-
(PN) CFP: 16th International Symposium on Intelligent Distributed Computing (IDC 2023), Hamburg
Köhler-Bußmeier , Michael
-
(PN) PLACES 2023 - Call for Papers
Alceste Scalas
-
(PN) RAMiCS 2023 - Call for short contributions / posters
Michael Winter
-
(PN) Advanced Course on Petri Nets 2023
ACPN2023
-
(PN) Deadline extension : ICECCS 2023 (Toulouse, France)
Étienne André
-
(PN) CfP ATAEAD 2023
Robert Lorenz
-
(PN) CfP ICGT 2023 :: 16th International Conference on Graph Transformation
Christopher Michael POSKITT
-
(PN) Two PhD Positions in Computer Science/CroFlow Project at Western Norway University of Applied Sciences, Campus Bergen
Lars Michael Kristensen
-
(PN) Clan composition for HPC colloquium recommended by Jack Dongarra lab
Dmitry Zaitsev
-
(PN) FMTea Tutorial on Teaching TLA+ in Industry: Principal Research Engineer Markus Kuppe, RiSE group at Microsoft Research, US, on Friday, December 9, 2022 at 3 pm CET
Luigia Petre
-
(PN) Very sad news about Manuel Silva
Fabrice Kordon
-
(PN) Manuel Silva passed away
Javier Campos
-
(PN) 2nd call for papers: ICECCS 2023 (Toulouse, France)
Étienne André
-
(PN) 2 PhD positions in Formal Analysis for Concurrent Workflows in HVL, Bergen, Norway
Violet Ka I Pun
-
(PN) Hiring for Professorial and Teaching Stream Roles - Lassonde School of Engineering - York University (Toronto, ON)
Debra Clinton
-
(PN) CFP: Special Issue on Dependable and Secure Infrastructures and Systems in Intelligent Environments — Journal of Reliable Intelligent Environments, Springer
Diego Perez