June 2024 Archives by date

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

Starting: Sat Jun 1 18:50:16 CEST 2024
Ending: Sat Jun 29 17:47:27 CEST 2024
Messages: 48

• [Om-announce] SecureComm 2024 - Call for Papers (Deadline: July 1, 2024)   Paria Shirani
• [Om-announce] SYNASC 2024 - Final Call for Papers   SYNASC 2024
• [Om-announce] CALL FOR PAPERS: IEEE ITNAC 2024, November 27-29, 2024 in Sydney, Australia   news itnac
• [Om-announce] [extended June 23] DPM 2024 - cfp - Data Privacy Manamgement, co-located with ESORICS 2024, Sep 19   Guillermo Navarro-Arribas
• [Om-announce] CALL FOR PARTICIPATION - IEEE SMC-IT/SCC 2024   Simon Kolker
• [Om-announce] TR: [First CFP] CRiSIS 2024: The 19th International Conference on Risks and Security of Internet and Systems   Samir Ouchani
• [Om-announce] [IEEE CSR Workshop] (Submission Deadline Extended: June 30th, 2024)   Filippo Berto
• [Om-announce] IEEE DASC 2024-Call for Papers-Deadline 15 Jun 2024   Qin Liu
• [Om-announce] UbiSec 2024-Call for Papers-Deadline 15 July 2024   Qin Liu
• [Om-announce] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - FCA-Doctoral Consortium   Stavros Vassos
• [Om-announce] SEFM'24 -- Deadline extended!   Alexandre Madeira
• [Om-announce] 18th International Conference on Reachability Problems - RP'24   geoff at cs.miami.edu
• [Om-announce] 19th International Conference on Integrated Formal Methods - iFM 2024   geoff at cs.miami.edu
• [Om-announce] [ITNAC Newsletter] ITNAC 2024 June Newsletter   International Telecommunication Networks and Applications Conference
• [Om-announce] [Second Call for Papers] Women in Formal Methods (WiFM-2024)   Serge Autexier
• [Om-announce] Second Call for Submissions to the Doctoral Program - 17th Conference on Intelligent Computer Mathematics - CICM 2024 - Extended Deadline: June 20, 2024   Serge Autexier
• [Om-announce] CALL FOR PAPERS: IEEE ITNAC 2024, November 27-29, 2024 in Sydney, Australia   news itnac
• [Om-announce] ICCCN 2024 - Call for participation   Carlo Puliafito
• [Om-announce] [Vardi-list] OSSyM Workshop at CAV 2024   Moshe Vardi
• [Om-announce] [Second Call for Papers] Formal Verification of Physical Systems (FVPS-2024) Extended Deadline: June 16, 2024   Serge Autexier
• [Om-announce] SYNASC 2024 - Final Call for Papers   SYNASC 2024
• [Om-announce] DDP 2024   DDP 2024
• [Om-announce] [CRISIS 2024 - Deadline Extension] The 19th International Conference on Risks and Security of Internet and Systems   Samir OUCHANI
• [Om-announce] [Approaching Deadline - LPNMR 2024] Call For Papers   giuseppe.mazzotta at unical.it
• [Om-announce] Call For Papers - 36th IEEE International Conference on Tools with Artificial Intelligence - Oct. 28 - Oct. 30 2024 - Herndon, VA, USA   Sachin Sharma
• [Om-announce] NSS-SocialSec 2024 - Call for Papers (Extended deadline: July 1, 2024)   Paria Shirani
• [Om-announce] FTfJP 2024 - Deadline extension   Di Stefano, Luca
• [Om-announce] SYNASC 2024 - Final Call for Papers   SYNASC 2024
• [Om-announce] CALL FOR PAPERS: IEEE ITNAC 2024, November 27-29, 2024 in Sydney, Australia   news itnac
• [Om-announce] ESSAI 2024 Early Registration deadline extended   Manolis Koubarakis
• [Om-announce] CFP: The 9th IEEE Cyber Science and Technology Congress (CyberSciTech) - Boracay, Philippines, November 5-8, 2024   Xiaokang Zhou
• [Om-announce] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - Workshop Submissions   Stavros Vassos
• [Om-announce] [Deadline Extension - LPNMR 2024] Call For Papers   giuseppe.mazzotta at unical.it
• [Om-announce] SEFM'24 -- Last Call for papers   Alexandre Madeira
• [Om-announce] SYNERGY 2024 - Call for Contributions   marcello.balduccini at gmail.com
• [Om-announce] [DATALOG 2.0 2024] Call For Papers   giuseppe.mazzotta at unical.it
• [Om-announce] [ICLP & LPNMR DC 2024] Call For Papers   giuseppe.mazzotta at unical.it
• [Om-announce] SYNASC 2024 - Final Call for Papers   SYNASC 2024
• [Om-announce] DPM 2024 - [June 30 - FIRM] - CFP - Data Privacy Manamgement, co-located with ESORICS 2024, Sep 19   Guillermo Navarro-Arribas
• [Om-announce] CALL FOR PAPERS: IEEE ITNAC 2024, November 27-29, 2024 in Sydney, Australia   news itnac
• [Om-announce] CICM 2024 - Call for Participation (August 5-9 in Montreal, Canada   Serge Autexier
• [Om-announce] [CICM] MathUI'24: Submission Deadline Extended to July 12, 2024   Kazuhisa NAKASHO
• [Om-announce] [3rd Call for Papers] Formal Verification of Physical Systems (FVPS-2024) Extended Deadline: July 12, 2024   Serge Autexier
• [Om-announce] CFP LADC 2024 - deadline approaching   Jean Carlos Teixeira de Araujo
• [Om-announce] UbiSec 2024-Call for Papers-Deadline 15 July 2024   Qin Liu
• [Om-announce] IEEE DASC 2024-Call for Papers-Deadline Extended to 15 July   Qin Liu
• [Om-announce] 3RD CALL FOR PARTICIPATION - IEEE SMC-IT/SCC 2024   Simon Kolker
• [Om-announce] SYNASC 2024 - Final Call for Papers   SYNASC 2024

Last message date: Sat Jun 29 17:47:27 CEST 2024
Archived on: Tue Jul 2 13:05:09 CEST 2024

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