April 2022 Archives by author
Starting: Fri Apr 1 09:44:28 CEST 2022
Ending: Wed Apr 27 11:13:15 CEST 2022
Messages: 38
- [Om-announce] Second Call for Papers SYNASC 2022
SYNASC 2022
- [Om-announce] TSD 2022 - 2nd Call for Papers
TSD 2022
- [Om-announce] TSD 2022 - Deadline Extended, Call for Papers
TSD 2022
- [Om-announce] CICM 2022, 15th Conf. Intelligent Computer Mathematics, Hybrid Event, Invited Speakers update & Second Call for Papers
Serge Autexier
- [Om-announce] CICM 2022, 15th Conf. Intelligent Computer Mathematics, Call for Workshop & Tutorial Proposals until July 8, 2022
Serge Autexier
- [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] QBF 2022 -- 2nd CFP
HUBERT MING CHEN
- [Om-announce] Vacancy at Lancaster University (Leipzig campus), Deadline 18 April 2022
Marco Caminati
- [Om-announce] [ISSAC-ANNOUNCE] ISSAC 2022 - Second call for posters and software presentations
Xavier Caruso
- [Om-announce] CFP AND CHAIRS OF CNS2022
Chen
- [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] MPC 2022 - Deadline extension
Daggitt, Matthew
- [Om-announce] Second Call for Papers - Runtime Verification RV'22 (Computational Logic Autumn Summit, Tbilisi, Georgia, Sept 28-30)
Thao Dang
- [Om-announce] Runtime Verification RV'22 will go HYBRID (virtual+physical) - Submission May 5
Thao Dang
- [Om-announce] GandALF 2022 -- 2nd Call For Papers
Pierre Ganty
- [Om-announce] [fm-announcements] NFM 2022 - Call for participation
Havelund, Klaus (US 348B) via fm-announcements
- [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] WST 2022: final call for papers (submission deadline changed!)
Cynthia Kop
- [Om-announce] WADT'22 - 26th International Workshop on Algebraic Development Techniques 2022 (2nd cfp)
Alexandre Madeira
- [Om-announce] Fwd: CALL FOR PAPERS: IEEE ITNAC 2022 Conference
Nazmus Nafi
- [Om-announce] QEST 2022: Last Call for Papers
QEST Publicity
- [Om-announce] QEST 2022 Call for Papers: Deadline Extension
QEST Publicity
- [Om-announce] Formal Methods 2023 -- Joint call for workshop & tutorial proposals
Violet Ka I Pun
- [Om-announce] 28th WoLLIC 2022 - 3rd Call for Papers
Ruy Jose Guerra Barretto de Queiroz
- [Om-announce] Tenure-track assistant professor in Formal Aspects of Programming Languages
Coen DE ROOVER
- [Om-announce] Call for Presentations: VardiFest22
Kristin Yvonne Rozier
- [Om-announce] [Deadline Extended] IEEE GLOBECOM22 - Social Networks
Jui-Yi Tsai
- [Om-announce] SECRYPT 2022 - Second Call for Papers (deadline April 14, 2022)
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] Deadline approaching: 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] LPNMR 2022 - Last Call for Papers
cfp
- [Om-announce] Datalog 2.0 2022 - Second Call for Papers (opportunity for TPLP rapid publication)
cfp
- [Om-announce] Automated Reasoning in Quantified Non-Classical Logics - Call for Papers
geoff at cs.miami.edu
- [Om-announce] [fm-announcements] MOVEP: Early-bird rate ends April 30th
Martin Zimmermann via fm-announcements
- [Om-announce] [CFP] 2022 IEEE International Conference on Cyber Security and Resilience -- Deadline Approaching
info at ieee-csr.org
Last message date:
Wed Apr 27 11:13:15 CEST 2022
Archived on: Fri Apr 29 14:30:06 CEST 2022
This archive was generated by
Pipermail 0.09 (Mailman edition).