April 2022 Archives by subject

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...

Starting: Fri Apr 1 09:44:28 CEST 2022
Ending: Wed Apr 27 11:13:15 CEST 2022
Messages: 38

• [Om-announce] 28th WoLLIC 2022 - 3rd Call for Papers   Ruy Jose Guerra Barretto de Queiroz
• [Om-announce] [CFP] 2022 IEEE International Conference on Cyber Security and Resilience -- Deadline Approaching   info at ieee-csr.org
• [Om-announce] [Deadline Extended] IEEE GLOBECOM22 - Social Networks   Jui-Yi Tsai
• [Om-announce] [fm-announcements] MOVEP: Early-bird rate ends April 30th   Martin Zimmermann via fm-announcements
• [Om-announce] [fm-announcements] NFM 2022 - Call for participation   Havelund, Klaus (US 348B) via fm-announcements
• [Om-announce] [ISSAC-ANNOUNCE] [ISSAC 2022] CALL FOR POSTERS AND SOFTWARE PRESENTATIONS   ISSAC 2022 Organization Committee
• [Om-announce] [ISSAC-ANNOUNCE] [ISSAC 2022] Important Information concerning participation   ISSAC 2022 Organization Committee
• [Om-announce] [ISSAC-ANNOUNCE] ISSAC 2022 - Second call for posters and software presentations   Xavier Caruso
• [Om-announce] Automated Reasoning in Quantified Non-Classical Logics - Call for Papers   geoff at cs.miami.edu
• [Om-announce] CALL FOR APPLICATIONS - KR 2022 DOCTORAL CONSORTIUM - EXTENDED DEADLINE   Heyninck, Jesse
• [Om-announce] CALL FOR APPLICATIONS - KR 2022 DOCTORAL CONSORTIUM - EXTENDED DEADLINE   Heyninck, Jesse
• [Om-announce] Call for Presentations: VardiFest22   Kristin Yvonne Rozier
• [Om-announce] CFP AND CHAIRS OF CNS2022   Chen
• [Om-announce] CICM 2022, 15th Conf. Intelligent Computer Mathematics, Call for Workshop & Tutorial Proposals until July 8, 2022   Serge Autexier
• [Om-announce] CICM 2022, 15th Conf. Intelligent Computer Mathematics, Hybrid Event, Invited Speakers update & Second Call for Papers   Serge Autexier
• [Om-announce] Datalog 2.0 2022 - Second Call for Papers (opportunity for TPLP rapid publication)   cfp
• [Om-announce] Deadline approaching: SECRYPT 2022 - 19th International Conference on Security and Cryptography   Sabrina De Capitani di Vimercati
• [Om-announce] Deadline extended: SECRYPT 2022 - 19th International Conference on Security and Cryptography   Sabrina De Capitani di Vimercati
• [Om-announce] Faculty position in computer science/cybersecurity, Florida, USA   baverly76
• [Om-announce] Formal Methods 2023 -- Joint call for workshop & tutorial proposals   Violet Ka I Pun
• [Om-announce] Fully Funded PhD Positions in the Safety and Security of Advanced Systems Group (Exeter, UK, Deadline 2022-04-29)   Achim D. Brucker
• [Om-announce] Fwd: CALL FOR PAPERS: IEEE ITNAC 2022 Conference   Nazmus Nafi
• [Om-announce] GandALF 2022 -- 2nd Call For Papers   Pierre Ganty
• [Om-announce] LPNMR 2022 - Last Call for Papers   cfp
• [Om-announce] MPC 2022 - Deadline extension   Daggitt, Matthew
• [Om-announce] QBF 2022 -- 2nd CFP   HUBERT MING CHEN
• [Om-announce] QEST 2022: Last Call for Papers   QEST Publicity
• [Om-announce] QEST 2022 Call for Papers: Deadline Extension   QEST Publicity
• [Om-announce] Runtime Verification RV'22 will go HYBRID (virtual+physical) - Submission May 5   Thao Dang
• [Om-announce] Second Call for Papers - Runtime Verification RV'22 (Computational Logic Autumn Summit, Tbilisi, Georgia, Sept 28-30)   Thao Dang
• [Om-announce] Second Call for Papers SYNASC 2022   SYNASC 2022
• [Om-announce] SECRYPT 2022 - Second Call for Papers (deadline April 14, 2022)   Sabrina De Capitani di Vimercati
• [Om-announce] Tenure-track assistant professor in Formal Aspects of Programming Languages   Coen DE ROOVER
• [Om-announce] TSD 2022 - 2nd Call for Papers   TSD 2022
• [Om-announce] TSD 2022 - Deadline Extended, Call for Papers   TSD 2022
• [Om-announce] Vacancy at Lancaster University (Leipzig campus), Deadline 18 April 2022   Marco Caminati
• [Om-announce] WADT'22 - 26th International Workshop on Algebraic Development Techniques 2022 (2nd cfp)   Alexandre Madeira
• [Om-announce] WST 2022: final call for papers (submission deadline changed!)   Cynthia Kop

Last message date: Wed Apr 27 11:13:15 CEST 2022
Archived on: Fri Apr 29 14:30:06 CEST 2022

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...