November 2021 Archives by thread

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

Starting: Tue Nov 2 12:42:29 CET 2021
Ending: Tue Nov 30 17:49:43 CET 2021
Messages: 22

• [Om-announce] First CFP VPT 2022 Tenth International Workshop on Verification and Program Transformation   Lisitsa, Alexei
• [Om-announce] FedCSIS 2022 Call for Technical Sessions   FedCSIS
• [Om-announce] [SSCC-Updated deadline] Call for Papers (Symposium on Solutions for Smart Cities Challenges)   SSCC
• [Om-announce] VerifyThis 2022 --- Call for Problems   Lammich, Peter (UT-EEMCS)
• [Om-announce] [CFP] 4th International workshop in Artificial Intelligence and Industrial Internet-of-Things Security (AIoTS)   Sergio González Muriel
  • [Om-announce] [CFP] 4th International workshop in Artificial Intelligence and Industrial Internet-of-Things Security (AIoTS)   Sergio González Muriel
• [Om-announce] Logica Universalis Webinar - November 10 - Calculi for Many-Valued Logics by Michael Kaminski and Nissim Francez   Antje Herbst
• [Om-announce] Call for Papers: 20th International Conference on Applied Cryptography and Network Security (ACNS 2022)   Alessandro Brighente
• [Om-announce] [CFP] Last Call :: 11th Int. Conf. on Sensor Networks and Special Sessions   calendarsites at insticc.org
• [Om-announce] Call for papers - Mathematics of Program Construction 2022   Daggitt, Matthew
• [Om-announce] [fm-announcements] NFM 2022 - THIRD CALL FOR PAPERS   Havelund, Klaus (US 348B) via fm-announcements
• [Om-announce] CFP: IEEE INFOCOM 2022 – BigSecurity Workshop   Shui Yu
• [Om-announce] Logica Universalis Webinar - November 17 - Correspondence Analysis for Some Fragments of Classical Propositional Logic by Yaroslav Petrukhin and Vasilyi Shangin   Antje Herbst
• [Om-announce] [ISSAC-ANNOUNCE] Final Call for Nominations: 2021 Jenks Prize   Matthew England
• [Om-announce] CFP: International Conference on Security and Privacy in Smart Environments (SMARTS&P)   Pankaj Pandey
• [Om-announce] CFP to Special Issue in TCBB on Deep Learning-Empowered Big Data Analytics in Biomedical Applications and Digital Healthcare - Deadline Dec. 30, 2021   Xiaokang Zhou
• [Om-announce] Research Positions available - working on Adaptive Cyber-Physical Systems at Mälardalen University, Sweden   Marjan Sirjani
• [Om-announce] IEEE Transactions on Industrial Informatics -- Special Section on Cyber-Physical Threats and Solutions for Autonomous Transportation Systems   Alessandro Brighente
• [Om-announce] [PSD 2022] PRIVACY IN STATISTICAL DATABASES, Springer LNCS, Paris, France, Sept. 2022   Joaquin Garcia-Alfaro
• [Om-announce] CFP: 19th Conference on Principles of Knowledge Representation and Reasoning (KR2022)   Heyninck, Jesse
• [Om-announce] iFM 2022 (Integrated Formal Methods): Call for Papers   iFM 2022
• [Om-announce] [fm-announcements] NFM 2022 - call for papers - DEADLINE EXTENSION!   Havelund, Klaus (US 348B) via fm-announcements

Last message date: Tue Nov 30 17:49:43 CET 2021
Archived on: Thu Dec 2 10:26:16 CET 2021

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