Skip to Content.

Sympa Menu

petri-net-world - Animation and exchanges in the Petri Nets community

List Options Menu

Subject: Animation and exchanges in the Petri Nets community

List archive

2024
01
02
03
04
05
06
07
08
09
10
11
12

2025
01
02
03
04
05
06
07
08
09
10
11
12

2026
01
02
03
04
05
06
07
08
09
10
11
12

2026/09 10 mails

<< < page 1 / 1 > >>

26/09/04
- [PN-world] PhD Position in Explainable Formal Methods (TU Braunschweig, Germany), petri-net-world
26/09/07
- [PN-world] CFP: Adaptive Service-oriented and Cloud Applications Workshop@ICSOC 2026, petri-net-world
26/09/12
- [PN-world] Subject: FSEN '27 - third call for papers, petri-net-world
26/09/14
- [PN-world] [CFP] AHPC3: The 4th Workshop on Accelerated HPC in the Cloud-Edge Continuum, petri-net-world
- [PN-world] CfP: FormaliSE 2027 (Deadline 6/11/2026) - 15th International Conference on Formal Methods in Software Engineering, petri-net-world
26/09/16
- [PN-world] ETAPS 2027 Second Joint Call For Papers, petri-net-world
26/09/21
- [PN-world] NASA Formal Methods (NFM): First Call for Papers, petri-net-world
26/09/23
- [PN-world] CFP: RealTime Service oriented and EMbedded Systems Workshop (RTSEMS@ICSOC 2026): Deadline extension (15 October 2026), petri-net-world
26/09/24
- [PN-world] FSCD and CADE 2027 Call for Workshops, petri-net-world
26/09/28
- [PN-world] [Workshop Papers] 24th International Conference on Service-Oriented Computing, ICSOC 2026 Lodz, Poland, December 1-4, 2026, petri-net-world

Archive powered by MHonArc 2.6.24.