petrinet  

Messages by Thread

• (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) Call for Papers FMxSL24 - Formal Methods cross Spatial Logics [EXTENDED DEADLINE] Giovanna Broccia via Petrinet
• (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) Joint call for papers PNSE'24 + PeNGE 2024 Daniel Moldt
  • (PN) Joint call for papers PNSE'24 + PeNGE 2024 Daniel Moldt via Petrinet
• (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
  • Re: (PN) MODELS 2024 | Call for Workshop Proposals Dima
• (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
  • Re: (PN) Model Checking Contest 2024 - (1/2) - Call for Models Dima
• (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) VerifyThis 2024 : Call for Participation 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) Advanced Course on Petri Nets 2023 ACPN2023
• (PN) Deadline extension : ICECCS 2023 (Toulouse, France) Étienne André
• (PN) CfP ATAEAD 2023 Robert Lorenz
  • (PN) CfP ATAEAD 2023 Robert Lorenz
  • (PN) CfP ATAEAD 2023 - Submission deadlines extended 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
  • (PN) CFP: Special Issue on Dependable and Secure Infrastructures and Systems in Intelligent Environments — Journal of Reliable Intelligent Environments, Springer Francesco Flammini
• (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) [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) 2023 Alonzo Church Award: Call for Nominations Mariangiola Dezani
  • (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

• Earlier messages