List archive

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

Archive powered by MHonArc 2.6.19+.