om-announce

Messages by Date

2024/01/16 [Om-announce] FMBC 2024 - Third Call for Papers svcmathdoxmail
2024/01/16 [Om-announce] [Extended Deadline] CfP: NetRobiCS 2024 - INFOCOM workshop on Networked Robotics and Communication Systems svcmathdoxmail
2024/01/16 [Om-announce] [CfP-Deadline Extended] 26 Jan 2024 | EICC 2024, 5-6 Jun 2024, Xanthi (Greece) | ACM ICPS + special issue Int J Inf Secur svcmathdoxmail
2024/01/15 [Om-announce] SALOME 1 - celebration of the 6th edition of the World Logic Day - Sunday 14 at 4pm CET svcmathdoxmail
2024/01/15 [Om-announce] [EXTENDED DEADLINE] IEEE WCCI/IJCNN 2024 Special Session on Artificial Intelligence and Complex Systems svcmathdoxmail
2024/01/15 [Om-announce] [logic-programming] Picat - Version 3.6 released svcmathdoxmail
2024/01/15 [Om-announce] ICE 2024: First Call for Papers svcmathdoxmail
2024/01/15 [Om-announce] 2nd CfP: 17th International Conference on Graph Transformation (ICGT) svcmathdoxmail
2024/01/15 [Om-announce] Call for Papers: OptLearnMAS workshop at AAMAS 2024 svcmathdoxmail
2024/01/15 [Om-announce] IJCAR 2024: Final Call for Papers svcmathdoxmail
2024/01/10 [Om-announce] (Reminder 3/5) Call for Papers/Posters/Demos: SafeThings '24 (Deadline: 22nd of Jan 2024) - co-located with IEEE S&P '24 svcmathdoxmail
2024/01/10 [Om-announce] (Reminder 2/5) Call for Papers/Posters/Demos: SafeThings '24 (Deadline: 22nd of Jan 2024) - co-located with IEEE S&P '24 svcmathdoxmail
2024/01/10 [Om-announce] [Job Opening] Postdoc in Complex Network Analysis @ Luiss University svcmathdoxmail
2024/01/10 [Om-announce] [ECAI-2024] Deadline for Workshop Proposals approaching (and more!) svcmathdoxmail
2024/01/02 [Om-announce] Call for Papers: 2024 IEEE INTERNATIONAL CONFERENCE ON QUANTUM SOFTWARE (QSW 2024) svcmathdoxmail
2024/01/02 [Om-announce] Call for Papers - ESORICS 2024 (Deadline: January 8, 2024) svcmathdoxmail
2024/01/02 [Om-announce] Call for Workshops - ESORICS 2024 (Deadline: February 12, 2024) svcmathdoxmail
2024/01/02 [Om-announce] [Extended Deadline] Call for Papers: The 17th International Workshop on Networked Robotics and Communication Systems (NetRobiCS 2024) svcmathdoxmail
2023/12/19 [Om-announce] [CFP-ESORICS 2024, approaching deadline]: 29th European Symposium on Research in Computer Security (ESORICS 2024), LNCS proceedings, 16-20 September 2024, Bydgoszcz, Poland svcmathdoxmail
2023/12/18 [Om-announce] FMBC 2024 - Second Call for Papers svcmathdoxmail
2023/12/18 [Om-announce] ESSAI 2024 CALL FOR COURSE PROPOSALS svcmathdoxmail
2023/12/18 [Om-announce] Extended deadline BDIoT24 | April 17 - 19, 2024 | Fez, Morocco(Proceedings by Springer) svcmathdoxmail
2023/12/11 [Om-announce] Call for Book Chapters - Internet of Things: Adoption Challenges and Technological Advances svcmathdoxmail
2023/12/11 [Om-announce] Call for Papers: The 17th International Workshop on Networked Robotics and Communication Systems (NetRobiCS 2024) svcmathdoxmail
2023/12/11 [Om-announce] IEEE WCCI/IJCNN 2024 Special Session on Artificial Intelligence and Complex Systems svcmathdoxmail
2023/12/08 [Om-announce] Call for Papers - ESORICS 2024 svcmathdoxmail
2023/12/04 [Om-announce] FPS 2023 - Call for Participation svcmathdoxmail
2023/12/04 [Om-announce] [Vardi-list] Jan 12th, 2024: Moshe Vardi - What Came First, Math or Computing? svcmathdoxmail
2023/12/01 [Om-announce] Call for Papers DOD 2024 svcmathdoxmail
2023/12/01 [Om-announce] Second Call for Papers IEEE SMC-IT/SCC 2024 svcmathdoxmail
2023/11/30 [Om-announce] Call for Papers ARES 2024 svcmathdoxmail
2023/11/29 [Om-announce] 2024 Alonzo Church Award Call for Nominations svcmathdoxmail
2023/11/29 [Om-announce] IJCAR 2024: 2nd call for co-located events svcmathdoxmail
2023/11/29 [Om-announce] ECAI-2024: Call for Papers, Tutorial Proposals and Workshop Proposals svcmathdoxmail
2023/11/27 [Om-announce] IJCAR 2024: 2nd Call for Papers svcmathdoxmail
2023/11/24 [Om-announce] CICM 2024 - 17th Conference on Intelligent Computer Mathematics - Call for Papers svcmathdoxmail
2023/11/23 [Om-announce] 'Call for Papers: 17th Conference on Intelligent Computer Mathematics (CICM 2024) svcmathdoxmail
2023/11/23 [Om-announce] FMBC 2024 - First Call for Papers svcmathdoxmail
2023/11/13 [Om-announce] ICGT 2024: First Call for Papers svcmathdoxmail
2023/11/09 [Om-announce] Postdoc position in Formal Methods at University of Exeter svcmathdoxmail
2023/11/08 [Om-announce] Call for Papers IEEE SMC-IT/SCC 2024 svcmathdoxmail
2023/11/08 [Om-announce] VerifyThis 2024 : Call for Problems svcmathdoxmail
2023/10/25 [Om-announce] IJCAR 2024 - Call for Papers svcmathdoxmail
2023/10/25 [Om-announce] IJCAR 2024: call for co-located events svcmathdoxmail
2023/10/20 [Om-announce] [ICTAC 2023] Call for Participation svcmathdoxmail
2023/10/19 [Om-announce] IJCAR 2024 --- Call for Papers svcmathdoxmail
2023/10/18 [Om-announce] CFP extended - Special Issue on Non-Classical Reasoning for Contemporary AI Applications svcmathdoxmail
2023/10/17 [Om-announce] NASA NFM 2024 svcmathdoxmail
2023/10/13 [Om-announce] LOPSTR 2023 - Final Call for Participation svcmathdoxmail
2023/10/11 [Om-announce] [CfP] European Interdisciplinary Cybersecurity Conference - EICC 2023 | 5-6 Jun 2024, Xanthi, Greece svcmathdoxmail
2023/10/10 [Om-announce] Deadline Extension - 20 October 2023 - Joint AI Conferences on Multiple Themes - SCOPUS indexed - Hybrid Event - Springer Publication svcmathdoxmail
2023/10/10 [Om-announce] Deadline Extension (20 October 2023) CFP - SCOPUS indexed - 14th International Conference on Innovations in Bio-Inspired Computing and Applications (IBICA 2023) - Hybrid Event - Springer Publication svcmathdoxmail
2023/10/10 [Om-announce] Deadline Extension (20 October 2023) CFP - SCOPUS indexed - 23rd International Conference on Hybrid Intelligent Systems (HIS 2023) - Hybrid Event - Springer Publication svcmathdoxmail
2023/10/10 [Om-announce] [Call for Papers - Deadline extended] 12th International Workshop on Cloud and Edge Computing, and Applications Management (CloudAM 2023) svcmathdoxmail
2023/10/02 [Om-announce] CFP to Special Section in IEEE TCE on Smart Data Driven Modeling for Emerging Customer Applications in Mobile Edge Computing - Deadline Extended svcmathdoxmail
2023/10/02 [Om-announce] Deadline Extension (20 October 2023) Call for papers: SCOPUS indexed - Hybrid Event - Springer Publication svcmathdoxmail
2023/09/21 [Om-announce] Extended Deadline - Call for Papers - Special Issue of eJournal of eDemocracy and Open Government (JeDEM) svcmathdoxmail
2023/09/21 [Om-announce] Paraconsistent Newsletter Summer-Winter 2023 svcmathdoxmail
2023/09/18 [Om-announce] SALOME 1 - Cusco, Peru, January 12-15, 2024 svcmathdoxmail
2023/09/18 [Om-announce] CALL FOR PAPERS: ITNAC 2023 Hybrid Conference svcmathdoxmail
2023/09/18 [Om-announce] CFP to Special Section in IEEE TCE on Smart Data Driven Modeling for Emerging Customer Applications in Mobile Edge Computing - Extended Deadline Sep. 30, 2023 svcmathdoxmail
2023/09/18 [Om-announce] FPS 2023 - Call for Papers (Extended Deadline: Sep 29, 2023) svcmathdoxmail
2023/09/18 [Om-announce] LOPSTR 2023 - Call for Participation svcmathdoxmail
2023/09/13 [Om-announce] Call for Book Chapters for the Springer Book on Intelligent Technologies for Healthcare Business Applications - Deadline Extended svcmathdoxmail
2023/09/11 [Om-announce] Final CFP - SCOPUS indexed - 15th World Congress on Nature and Biologically Inspired Computing (NaBIC 2023) - Hybrid Event - Springer Publication svcmathdoxmail
2023/09/11 [Om-announce] CALL FOR PAPERS: ITNAC 2023 Hybrid Conference svcmathdoxmail
2023/09/11 [Om-announce] Final CFP - SCOPUS indexed - 23rd International Conference on Hybrid Intelligent Systems (HIS 2023) - Hybrid Event - Springer Publication svcmathdoxmail
2023/09/11 [Om-announce] Final CFP - SCOPUS indexed - 19th International Conference on Information Assurance and Security (IAS 2023) - Hybrid Event - Springer Publication svcmathdoxmail
2023/09/11 [Om-announce] Final CFP - SCOPUS indexed - 23rd International Conference on Intelligent Systems Design and Applications (ISDA 2023) - Hybrid Event - Springer Publication svcmathdoxmail
2023/09/11 [Om-announce] Final CFP - SCOPUS indexed - 13th World Congress on Information and Communication Technologies (WICT'23) - Hybrid Event - Springer Publication svcmathdoxmail
2023/09/08 [Om-announce] Final CFP - SCOPUS indexed - 15th International Conference on Soft Computing and Pattern Recognition (SoCPaR 2023) - Hybrid Event - Springer Publication svcmathdoxmail
2023/09/08 [Om-announce] CFP (EXTENSION): 5th Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis (OVERLAY 2023) svcmathdoxmail
2023/09/08 [Om-announce] Final CFP - SCOPUS indexed - 15th World Congress on Nature and Biologically Inspired Computing (NaBIC 2023) - Hybrid Event - Springer Publication svcmathdoxmail
2023/09/04 [Om-announce] VMCAI 2024: First Call for Papers svcmathdoxmail
2023/09/04 [Om-announce] CFP to Special Section in IEEE TCE on Smart Data Driven Modeling for Emerging Customer Applications in Mobile Edge Computing - Extended Deadline Sep. 30, 2023 svcmathdoxmail
2023/09/04 [Om-announce] [Call for Papers - Deadline extended] 12th International Workshop on Cloud and Edge Computing, and Applications Management (CloudAM 2023) svcmathdoxmail
2023/09/04 [Om-announce] Call for Papers - eCrime 2023 (Extended Deadline: Sep 1o, 2023) svcmathdoxmail
2023/09/01 [Om-announce] VMCAI 2024: Extended Deadline September 7th svcmathdoxmail
2023/09/01 [Om-announce] Call for Book Chapters for the Springer Book on Intelligent Technologies for Healthcare Business Applications - Deadline Extended svcmathdoxmail
2023/09/01 [Om-announce] CfPart Reliability, safety and security of railway systems (RSSRail 2023) svcmathdoxmail
2023/09/01 [Om-announce] GandALF 2023: Registration is open – Call For Participation svcmathdoxmail
2023/09/01 [Om-announce] CALL FOR PAPERS: ITNAC 2023 Hybrid Conference svcmathdoxmail
2023/08/16 [Om-announce] CALL FOR PAPERS: ITNAC 2023 Hybrid Conference, MELBOURNE, 29 NOV - 1 DEC 2023 svcmathdoxmail
2023/08/16 [Om-announce] [Call for Papers] 12th International Workshop on Cloud and Edge Computing, and Applications Management (CloudAM 2023) svcmathdoxmail
2023/08/04 [Om-announce] CICM 2023 - Call for Participation svcmathdoxmail
2023/07/06 [Om-announce] Deadline Extension Doctoral Programme CICM 2023: 14 July 2023 svcmathdoxmail
2023/03/21 [Om-announce] Elsevier Future Generation Computer Systems - Special Issue on Serverless Computing in the Cloud-to-Edge Continuum Carlo Puliafito
2023/03/20 [Om-announce] FMCAD 2023: First Call for Papers Rozier, Kristin-Yvonne [AER E]
2023/03/17 [Om-announce] [CFP] 2023 IEEE CSR Workshops --- Deadline extended IEEE CSR Conference
2023/03/17 [Om-announce] TSD 2023 - 2nd Call for papers TSD 2023
2023/03/17 [Om-announce] [Deadline approaching, March 31st] Cybersecurity Associate - Assistant Prof. position at Télécom SudParis Joaquin Garcia-Alfaro
2023/03/14 [Om-announce] LPAR 2023 Deadline extension geoff
2023/03/14 [Om-announce] [SecMT2023] CFP - International Workshop on Security in Mobile Technologies Eleonora Losiouk
2023/03/14 [Om-announce] CFP to Special Issue in ACM TOSN on Distributed and Collaborative Learning Empowered Edge Intelligence in Smart City - Deadline(extended) Mar. 15, 2023 Xiaokang Zhou
2023/03/14 [Om-announce] LOPSTR 2023 - Call for Papers daniel . jurjo
2023/03/14 [Om-announce] Call for Papers ARES 2023 SBA Research Events
2023/03/10 [Om-announce] iFM 2023 - Call for Papers Laarman, A.W. (Alfons) via Om-announce
2023/03/10 [Om-announce] Final Call for Papers (3 days to go): 2023 IEEE INTERNATIONAL CONFERENCE ON QUANTUM SOFTWARE (QSW 2023) Quantum Software Conference
2023/03/10 [Om-announce] CFP to Special Issue in ACM TOSN on Distributed and Collaborative Learning Empowered Edge Intelligence in Smart City - Deadline(extended) Mar. 15, 2023 Xiaokang Zhou
2023/03/08 [Om-announce] GandALF 2023: Call For Papers Nicola Saccomanno
2023/03/08 [Om-announce] IEEE CLOUD 2023 - Deadline extended Tevfik Kosar
2023/03/08 [Om-announce] 2023 IEEE WORLD CONGRESS ON SERVICES Huang Bing via Om-announce
2023/03/07 [Om-announce] LPAR 2023 Call for Workshops and Tutorials geoff
2023/03/02 [Om-announce] CfP Reliability, safety and security of railway systems (RSSRail 2023) Alexander Romanovsky
2023/03/02 [Om-announce] SYNASC 2023 - First Call for Papers SYNASC 2023
2023/03/02 [Om-announce] KR 2023: Calls for Applications & Systems Track, Special Session on KR & ML, Doctoral Consortium Theofanis I. Aravanis
2023/03/02 [Om-announce] Call for Papers: CD-MAKE 2023 SBA Research Events
2023/02/27 [Om-announce] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Call for Papers Theofanis I. Aravanis
2023/02/27 [Om-announce] Extended Deadline: Call for Papers: ARES 2023 SBA Research Events
2023/02/27 [Om-announce] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Special Session on KR, Robotics & Planning Theofanis I. Aravanis
2023/02/27 [Om-announce] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Recently Published Research Track Theofanis I. Aravanis
2023/02/27 [Om-announce] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Tutorial and Workshop Proposals Theofanis I. Aravanis
2023/02/27 [Om-announce] Call for Papers: 2023 IEEE INTERNATIONAL CONFERENCE ON QUANTUM SOFTWARE (QSW 2023) Quantum Software Conference
2023/02/23 [Om-announce] CFP to Special Issue in Journal of Systems Architecture on Distributed Learning and Blockchain Enabled Infrastructures for Next Generation of Big Data Driven Cyber-Physical Systems - Deadline Mar. 31, 2023 Xiaokang Zhou
2023/02/22 [Om-announce] CADE-29 second Call for Papers geoff
2023/02/20 [Om-announce] Reminder: OptLearnMAS Call for Papers OptLearnMAS via Om-announce
2023/02/19 [Om-announce] 2nd Call for Papers, Conference on Intelligent Computer Mathematics (CICM 2023) Serge Autexier
2023/02/17 [Om-announce] 29th WoLLIC 2023 - 3rd Call for Papers (DEADLINE APPROACHING) Ruy Jose Guerra Barretto de Queiroz
2023/02/17 [Om-announce] ARES 2023 - Call for Papers - Extended Submission Deadline SBA Research Events
2023/02/17 [Om-announce] [Poster Deadline Approaching] [5 Mar 2023] EICC 2023|14-15 June 2023|Stavanger, Norway (in-person) S Vrhovec via Om-announce
2023/02/15 [Om-announce] CFP to Special Issue in ACM TOSN on Distributed and Collaborative Learning Empowered Edge Intelligence in Smart City - Deadline(extended) Mar. 15, 2023 Xiaokang Zhou
2023/02/09 [Om-announce] ICWS 2023 Calls for Papers Huang Bing via Om-announce
2023/02/09 [Om-announce] The CADE-29 ATP System Competition CASC-29 geoff
2023/02/06 [Om-announce] FroCoS 2023 Call for Papers geoff
2023/02/06 [Om-announce] Bill McCune PhD Award in Automated Reasoning 2023 Call for Nominations geoff
2023/02/06 [Om-announce] [CFP] 2023 IEEE International Conference on Cyber Security and Resilience (Hybrid Event) --- Deadline extended IEEE CSR Conference
2023/02/06 [Om-announce] ICWS 2023 Calls for Papers Huang Bing via Om-announce
2023/02/03 [Om-announce] RAMiCS 2023 - Call for participation Michael Winter
2023/02/02 [Om-announce] SMC-IT and SCC Deadline Extension (March 3rd 2023) Marie Farrell
2023/01/31 [Om-announce] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Applications & Systems Track Theofanis I. Aravanis
2023/01/31 [Om-announce] [fm-announcements] FMICS 2023 - Call for Papers Titolo, Laura (LARC-D320)[NATIONAL INSTITUTE OF AEROSPACE] via fm-announcements via Om-announce
2023/01/31 [Om-announce] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Recently Published Research Track Theofanis I. Aravanis
2023/01/31 [Om-announce] Elsevier Future Generation Computer Systems - Special Issue on Serverless Computing in the Cloud-to-Edge Continuum Carlo Puliafito
2023/01/31 [Om-announce] Call for Papers: OptLearnMAS OptLearnMAS via Om-announce
2023/01/31 [Om-announce] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Special Session on KR & ML Theofanis I. Aravanis
2023/01/31 [Om-announce] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Doctoral Consortium Theofanis I. Aravanis
2023/01/31 [Om-announce] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Call for Papers Theofanis I. Aravanis
2023/01/31 [Om-announce] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Tutorial and Workshop Proposals Theofanis I. Aravanis
2023/01/31 [Om-announce] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Special Session on KR, Robotics & Planning Theofanis I. Aravanis
2023/01/25 [Om-announce] 29th WoLLIC 2023 - 2nd Call for Papers Ruy Jose Guerra Barretto de Queiroz
2023/01/23 [Om-announce] LPAR-24, June 2023, Call for Papers geoff
2023/01/23 Re: [Om-announce] 2023 IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES (ICWS 2023) Huang Bing via Om-announce
2023/01/18 [Om-announce] GCM 2023: First call for papers Jens Kosiol via Om-announce
2023/01/18 [Om-announce] [Deadline Extended] [31 Jan 2023] EICC 2023|14-15 June 2023|Stavanger, Norway (in-person) S Vrhovec via Om-announce
2023/01/16 [Om-announce] THE IMPORTANCE OF LOGIC FOR HUMANITY - World Logic Day 2023 - January 14, 4pm CET jean-yves beziau
2023/01/13 [Om-announce] SMC-IT 2023 Call for Papers Marie Farrell
2023/01/12 [Om-announce] CADE-29 Call for Papers geoff
2023/01/09 [Om-announce] Call for Papers Special Issue on Deep Learning for Anomaly Detection Alessio Martino
2023/01/09 [Om-announce] FM 2023 - Call for Participation Violet Ka I Pun
2023/01/06 [Om-announce] Call for Papers: IEEE INTERNATIONAL CONFERENCE ON QUANTUM SOFTWARE (QSW 2023) Quantum Software Conference
2023/01/04 [Om-announce] Extended Deadline: Assistant Professor, Computer Security and Privacy - Lassonde School of Engineering - York University (Toronto, ON) Debra Clinton
2023/01/04 [Om-announce] [Deadline approaching] [15 Jan 2023] EICC 2023|14-15 June 2023|Stavanger, Norway (in-person) S Vrhovec via Om-announce
2022/12/23 [Om-announce] Call for Papers: IEEE INTERNATIONAL CONFERENCE ON QUANTUM SOFTWARE (QSW 2023) Quantum Software Conference
2022/12/23 [Om-announce] CFP to Special Issue in ACM TOSN on Distributed and Collaborative Learning Empowered Edge Intelligence in Smart City - Deadline(extended) Mar. 15, 2023 Xiaokang Zhou
2022/12/23 [Om-announce] RAMiCS 2023 - Call for short contributions / posters Michael Winter
2022/12/17 [Om-announce] Call for Workshops: Conference on Intelligent Computer Mathematics (CICM 2023) Serge Autexier
2022/12/17 [Om-announce] Call for Papers: Conference on Intelligent Computer Mathematics (CICM 2023) Serge Autexier
2022/12/15 [Om-announce] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: First CFP - Apps & Systems Track Theofanis I. Aravanis
2022/12/15 [Om-announce] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Special Session on KR & ML Theofanis I. Aravanis
2022/12/15 [Om-announce] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Recently Published Research Track Theofanis I. Aravanis
2022/12/14 [Om-announce] A Probabilistic Logic Between LPP1 and LPP2 by Šejla Dautović / LUW December 14, 2022 jean-yves beziau
2022/12/12 [Om-announce] NFM 2023: Deadline extension & final CFP Rozier, Kristin-Yvonne [AER E]
2022/12/12 [Om-announce] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Doctoral Consortium - First Call for Applications Theofanis I. Aravanis
2022/12/12 [Om-announce] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: First Call for Papers Theofanis I. Aravanis
2022/12/12 [Om-announce] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: First Call for Tutorial and Workshop Proposals Theofanis I. Aravanis
2022/12/09 [Om-announce] CfP ICGT 2023 :: 16th International Conference on Graph Transformation Christopher Michael POSKITT
2022/12/07 [Om-announce] TSD 2023 - 1st Call for papers TSD 2023
2022/12/07 [Om-announce] FPS 2022 - Call for Participants Paria Shirani
2022/12/01 [Om-announce] [CfP] EICC 2023|14-15 June 2023|Stavanger, Norway (in-person only) S Vrhovec via Om-announce
2022/11/30 [Om-announce] Dov Gabbay Prize for Logic and Foundations geoff
2022/11/30 [Om-announce] CFP to Special Issue in ACM TOSN on Distributed and Collaborative Learning Empowered Edge Intelligence in Smart City - Deadline(extended) Mar. 15, 2023 Xiaokang Zhou
2022/11/30 [Om-announce] Logic, Spatial Algorithms and Visual Reasoning / Logics in Fungal Mycelium Networks, LUW Nov 30 at 4pm CET jean-yves beziau
2022/11/21 [Om-announce] Proposals for Sites for IJCAR 2024 geoff
2022/11/21 [Om-announce] 29th WoLLIC 2023 - Call for Papers Ruy Jose Guerra Barretto de Queiroz
2022/11/21 [Om-announce] Inaugural ISOC Symposium on Vehicle Security & Privacy, VehicleSec, co-located with NDSS'23: Submission Due in 2 Months, *Jan 3* Berkay Celik
2022/11/21 [Om-announce] Call for Papers: NASA Formal Methods (NFM) 2023 Rozier, Kristin-Yvonne [AER E]
2022/11/16 [Om-announce] CFP to Special Issue in ACM TOSN on Distributed and Collaborative Learning Empowered Edge Intelligence in Smart City - Deadline Nov. 30, 2022 Xiaokang Zhou
2022/11/14 [Om-announce] Hiring for Professorial and Teaching Stream Roles - Lassonde School of Engineering - York University (Toronto, ON) Debra Clinton
2022/11/14 [Om-announce] [Invitation] HDR Defense - Samir OUCHANI Samir Ouchani
2022/11/14 [Om-announce] [CFP] 2023 IEEE International Conference on Cyber Security and Resilience (Hybrid Event) IEEE CSR Conference
2022/11/07 [Om-announce] STAF 2023 - Call for Workshop Proposals Boronat, Artur (Dr.)
2022/11/04 [Om-announce] Registration to the 2022 iDASH Privacy and Security Workshop is open Kuo, Tsung-Ting
2022/11/03 [Om-announce] CFP to Special Issue in IEEE IoT Journal on Smart Blockchain for IoT Trust, Security and Privacy - Deadline Nov. 15, 2022 Xiaokang Zhou
2022/11/03 [Om-announce] [Social Networks, Deadline Nov. 13] Call for Papers in ICC 2023 Jui-Yi Tsai
2022/11/03 [Om-announce] [Vardi-list] Job Opportunity: Postdoctoral Fellow in Tech-Culture-Society Moshe Y Vardi
2022/11/01 [Om-announce] VerifyThis 2023: Call For Problems xldenis
2022/10/28 [Om-announce] 5th edition of the World Logic Day - January 14, 2023 jean-yves beziau
2022/10/28 [Om-announce] CFP to Special Issue in ACM TOSN on Distributed and Collaborative Learning Empowered Edge Intelligence in Smart City - Deadline Nov. 30, 2022 Xiaokang Zhou
2022/10/28 [Om-announce] CfP: Doctoral Symposium @ FM 2023 Violet Ka I Pun
2022/10/21 [Om-announce] [Social Networks, Deadline Nov. 1] Call for Papers in ICC 2023 Jui-Yi Tsai
2022/10/18 [Om-announce] FSEN 2023 final CfP: deadline extension and hybrid format Maurice ter Beek
2022/10/17 [Om-announce] Deadline Extension: International Joint Conferences Online - Published by Springer LNNS Series (Scopus) Anu Bajaj
2022/10/11 [Om-announce] CFP to Special Issue in ACM TOSN on Distributed and Collaborative Learning Empowered Edge Intelligence in Smart City - Deadline Nov. 30, 2022 Xiaokang Zhou
2022/10/11 [Om-announce] [Vardi-list] A Special Seminar in Honor's of Dana Scott's 90th Birthday Moshe Y Vardi
2022/10/06 [Om-announce] [CfP] PADL 2023: Final Call for Papers (with updated deadlines!) Inclezan, Daniela
2022/10/03 [Om-announce] Deadline Extension: International Joint Conferences Online - Published by Springer LNNS Series (Scopus) Anu Bajaj
2022/09/27 [Om-announce] [FSEN 2023] Second Call for Papers FSEN 2023 Maurice ter Beek
2022/09/26 [Om-announce] RAMiCS 2023 - Deadline extension Michael Winter
2022/09/22 [Om-announce] Extension of PhD Forum Submission Deadline: Sep 25, 2022 | 18th ICISS 2022 | IIT Tirupati INDIA ICISS 2022-IITT
2022/09/21 [Om-announce] 1st Call for Papers: NASA Formal Methods (NFM) 2023 Rozier, Kristin-Yvonne [AER E]