May 2022 Archives by thread

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

Starting: Mon May 2 16:01:34 CEST 2022
Ending: Mon May 30 11:12:33 CEST 2022
Messages: 30

• [Om-announce] CAUSAL 2022: Workshop on Causal Reasoning and Explanation (co-located with ICLP 2022)   Emily LeBlanc
• [Om-announce] [CFP-ESORICS 2022]: 27th European Symposium on Research in Computer Security (ESORICS) 2022   CFP - ESORICS 2022
• [Om-announce] IEEE CNS 2022 (CFP)   Emmanouil Vasilomanolakis
• [Om-announce] Workshop on Advances in Separation Logics (ASL 2022 @ FLOC 2022)   RADU IOSIF
• [Om-announce] Runtime Verification RV'22 deadline extension   Thao Dang
• [Om-announce] UbiSec 2022 CFP: Zhangjiajie, China, November 15 - 18, 2022   Qin Liu
• [Om-announce] First IEEE Open Software Services Award, jointly sponsored by IEEE SERVICES and IEEETCSVC, Application Submission Due: 5th June 2022   张凌燕
• [Om-announce] [ISSAC-ANNOUNCE] ISSAC 2022 - Third call for posters and software presentations - Deadline extended   Xavier Caruso
• [Om-announce] CALL FOR APPLICATIONS - KR 2022 DOCTORAL CONSORTIUM - EXTENDED DEADLINE   Heyninck, Jesse
• [Om-announce] Second Call for Papers SYNASC 2022   SYNASC 2022
• [Om-announce] PhD position in Argumentative Explainable Artificial Intelligence, Utrecht (The Netherlands)   Borg, A. (Annemarie)
• [Om-announce] [Last call] IEEE GLOBECOM22 - Social Networks   Jui-Yi Tsai
• [Om-announce] SECRYPT 2022 - Call for Posters (deadline: May 22, 2022 AoE)   Sabrina De Capitani di Vimercati
• [Om-announce] TrustData2022 CFP: Zhangjiajie, China, November 15-18, 2022   Qin Liu
• [Om-announce] WADT'22 - 26th International Workshop on Algebraic Development Techniques 2022 (CALL FOR PARTICIPATION)   Alexandre Madeira
• [Om-announce] CICM 2022, Abstract Submnission Deadline Extension May 23rd, 2022; uodate hybrid conference format; 15th Conf. Intelligent Computer Mathematics   Serge Autexier
• [Om-announce] The ALP Alain Colmerauer Prolog Heritage Prize: Call for Nominations   geoff at cs.miami.edu
• [Om-announce] [Vardi-list] FLoC 2022 Call for Student Volunteers   Moshe Y Vardi
• [Om-announce] [CfP] F-IDE 2022: The 7th Workshop on Formal Integrated Development Environment   Son Hoang
• [Om-announce] [Extended Abstract and Full Paper; CFP: ESORICS 2022]: 27th European Symposium on Research in Computer Security (ESORICS) 2022 *** Abstract: May 22, 2022 and Full Paper: May 19, 2022 ***   alcaraz
• [Om-announce] SYNASC 2022 at RISC in Hagenberg, deadline June 1   SYNASC 2022
  • [Om-announce] SYNASC 2022 at RISC in Hagenberg, deadline June 1   SYNASC 2022
• [Om-announce] Deadline approaching: SECRYPT 2022 - Call for Posters (deadline: May 22, 2022 AoE)   Sabrina De Capitani di Vimercati
• [Om-announce] [APPROACHING DEADLINE - ESORICS 2022]: CFP: 27th European Symposium on Research in Computer Security (ESORICS) 2022 *** Abstract: May 22, 2022 and Full Paper: May 29, 2022 ***   alcaraz
• [Om-announce] [Deadline Extension] CAUSAL 2022: Workshop on Causal Reasoning and Explanation (co-located with ICLP 2022)   Emily LeBlanc
• [Om-announce] Second CfP: FM 2023 - 25th International Symposium on Formal Methods   Violet Ka I Pun
• [Om-announce] WCP6 and SQUARE7 - Deadline Extension: May 31st   jean-yves beziau
• [Om-announce] RCRA 2022 - 1st call for papers   cfp
• [Om-announce] [Call for Participation - IWQoS]: IEEE/ACM International Symposium on Quality of Service (IWQoS 2022)   alcaraz
• [Om-announce] GandALF 2022 -- Call For Papers [extended deadline]   Pierre Ganty

Last message date: Mon May 30 11:12:33 CEST 2022
Archived on: Tue May 31 11:05:26 CEST 2022

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