List archive

• 24/04/02
  • [PN-world] (PN) ASMTA 2024 CFP - Submission Deadline Extended to April 16, Marco Paolieri
  • [PN-world] (PN) [qest-announce] 1 Ph.D. and 1 Postdoctoral (funded) positions at Texas State University, Marcelo Carvalho
  • [PN-world] (PN) [qest-announce] ASMTA 2024 CFP - Submission Deadline Extended to April 16, Marco Paolieri
  • [PN-world] (PN) [qest-announce] Call for Short Papers: April 26th Submission Deadline: MAMA 2024 Workshop (Twenty Sixth Workshop on MAthematical performance Modeling and Analysis), Mark S Squillante
• 24/04/03
  • [PN-world] (PN) CICM 2024 - Extended deadline - Call for Papers, geoff
  • [PN-world] (PN) [qest-announce] [NETGCOOP 2024] The 11th International Conference on Network Games, Control and Optimization - Lille, France, October 9-11, 2024, Alexandre REIFFERS-MASSON
  • [PN-world] (PN) FMICS 2024: 2nd call-for-papers, Anne Elisabeth Haxthausen
  • [PN-world] (PN) LPAR 2024 short presentation papers - CFP, geoff
  • [PN-world] (PN) iFM 2024 Call for Papers, geoff
  • [PN-world] (PN) [WiL] Women in Logic 2024 -- 2nd call for papers, Tephilla Prince
  • [PN-world] (PN) 5th International Workshop on Formal Methods for Blockchains (FMBC) 2024 - Call for Participation, Marmsoler, Diego
• 24/04/04
  • [PN-world] (PN) [QUATIC 2024] CfP, Stefano Forti
  • [PN-world] (PN) Call for Papers DOD 2024, SBA Research Events
  • [PN-world] (PN) PAAR 2024 - Call for Papers - Extended Deadlines, geoff
  • [PN-world] (PN) Call for Contributions - Sensei'24, Lopuhaa-Zwakenberg, Milan (UT-EEMCS)
• 24/04/05
  • [PN-world] (PN) McCune PhD Award, Bledsoe IJCAR Travel Awards, geoff
  • [PN-world] 2nd CFP, GAME-ON'2024, 25th Annual Simulation & AI in Games Conference, September 9-11, 2024, Bahçesehir University, Istanbul, Turkey, Philippe Geril
• 24/04/10
  • [PN-world] (PN) [qest-announce] MOVEP'24 (Rennes, France; 27-31 May) -- call for student presentations and participation, Nicolas Markey
  • [PN-world] (PN) [First CFP] CRiSIS 2024: The 19th International Conference on Risks and Security of Internet and Systems, Samir Ouchani
  • [PN-world] (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-world] (PN) ESSAI&ACAI 2024 - Preliminary call for participation, Manolis Koubarakis
  • [PN-world] (PN) Ackermann Award: First call for nominations - Deadline 1st July, Maribel Fernandez
  • [PN-world] (PN) IJCAR: Woody Bledsoe Award: Call for Nominations, Peter Lammich
  • [PN-world] (PN) [qest-announce] ICPE 2024 - Call for Participation (Regular Registration until April 12, 2024), Marco Paolieri
  • [PN-world] (PN) [qest-announce] 2024 ACM SIGMETRICS / IFIP Performance: Call for Participation, Marco Paolieri
  • [PN-world] (PN) Call for Papers - CBI 2024, Vienna, Austria, Peter Fettke
  • [PN-world] (PN) Extension to abstract submission deadline - WADT 2024, WADT 2024
• 24/04/11
  • [PN-world] CFP HIGHLIGHTS 2024 - Early Submission Deadline: April 15, Highlights Communication (Antonio Casares)
• 24/04/23
  • [PN-world] (PN) [qest-announce] Faculty position in Formal Methods - Technical University of Denmark, 'Alberto Lluch Lafuente' via qest-announce via Petrinet
  • [PN-world] (PN) DisCoTec 2024 Joint Call for Participation, Bas van den Heuvel via Petrinet

---

Archive powered by MHonArc 2.6.19+.