Messages by Thread
-
[Om-announce] UbiSec 2024-Call for Papers-Deadline 15 July 2024
svcmathdoxmail
-
[Om-announce] CFP LADC 2024 - Research Track
svcmathdoxmail
-
[Om-announce] Second round of abstract submissions - WADT 2024
svcmathdoxmail
-
[Om-announce] Call for Papers -The 34th IEEE ITNAC Hybrid Conference (ITNAC 2024)
svcmathdoxmail
-
[Om-announce] Why the hexagon of opposition is really a triangle: logical structures as geometric shapes - Ori Milstein - LUW April 24, 2024, 4pm CET
svcmathdoxmail
-
[Om-announce] CfP 8th World Congress on the Square of Opposition - Costa Rica - September 2024
svcmathdoxmail
-
[Om-announce] DEADLINE EXTENDED - 14th Workshop on Management of Cloud and Smart City Systems (MoCS 2024)
svcmathdoxmail
-
[Om-announce] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - Video Track First Call for Papers
svcmathdoxmail
-
[Om-announce] The 18th International Conference on Reachability Problems - RP 2024
svcmathdoxmail
-
[Om-announce] SYNASC 2024 - Second Call for Papers
svcmathdoxmail
-
[Om-announce] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - FINAL CALL FOR PAPERS (April 24, 2024)
svcmathdoxmail
-
[Om-announce] IJCAR 2024: Call for Participation
svcmathdoxmail
-
[Om-announce] LOPSTR 2024 - Call For Papers
svcmathdoxmail
-
[Om-announce] Doctoral student position in Mathematical Knowledge Management
svcmathdoxmail
-
[Om-announce] [Approaching Deadline] LPNMR 2024 - Call for Workshops
svcmathdoxmail
-
[Om-announce] TSD 2024 - Last Call for Papers
svcmathdoxmail
-
[Om-announce] FACS 24 - Second Call for Papers
svcmathdoxmail
-
[Om-announce] SAT/SMT/AR 2024: International Summer School
svcmathdoxmail
-
[Om-announce] Extension to abstract submission deadline - WADT 2024
svcmathdoxmail
-
[Om-announce] ESSAI&ACAI 2024 - Preliminary call for participation
svcmathdoxmail
-
[Om-announce] [CFP-ESORICS 2024, approaching deadline, April 19]: 29th European Symposium on Research in Computer Security (ESORICS 2024), LNCS proceedings, 16-20 September 2024, Bydgoszcz, Poland
svcmathdoxmail
-
[Om-announce] Modern vs. classical structures of opposition: A discussion - LUW April 10, 4pm CET
svcmathdoxmail
-
[Om-announce] [First CFP] CRiSIS 2024: The 19th International Conference on Risks and Security of Internet and Systems
svcmathdoxmail
-
[Om-announce] IJCAR: Woody Bledsoe Award: Call for Nominations
svcmathdoxmail
-
[Om-announce] Call for papers: Graph Computation Models (GCM 2024)
svcmathdoxmail
-
[Om-announce] LOD 2024 1st Call for papers: 10th International Conference on Learning, Optimization and Data - LOD 2024, 22-25 September, Riva del Sole Resort & SPA, Castiglione della Pescaia (Grosseto) Tuscany, Italy -> Submission Deadline: April 23
svcmathdoxmail
-
[Om-announce] 5th International Workshop on Formal Methods for Blockchains (FMBC) 2024 - Call for Participation
svcmathdoxmail
-
[Om-announce] CALL FOR PAPERS: ITNAC 2024, November 27-29, 2024 in Sydney, Australia
svcmathdoxmail
-
[Om-announce] [ECAI-2024] Submission deadline approaching
svcmathdoxmail
-
[Om-announce] PAAR 2024 - Call for Papers - Extended Deadlines
svcmathdoxmail
-
[Om-announce] iFM 2024 Call for Papers
svcmathdoxmail
-
[Om-announce] LPAR 2024 short presentation papers - CFP
svcmathdoxmail
-
[Om-announce] Call for Chapters - Internet of Things A to Z: Technologies and Applications - 2nd Edition - Wiley-IEEE Press 2024/2025
svcmathdoxmail
-
[Om-announce] [QUATIC 2024] CfP
svcmathdoxmail
-
[Om-announce] PostDoc in using Formal Methods for finding security vulnerabilities and misconfigurations in business-process-driven systems (Deadline: 2024-04-18)
svcmathdoxmail
-
[Om-announce] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - TUTORIAL AND WORKSHOP PROPOSALS EXTENDED DEADLINE
svcmathdoxmail
-
[Om-announce] CICM 2024 - Extended deadline - Call for Papers
svcmathdoxmail
-
[Om-announce] ICE 2024: Third Call for Papers (abstract deadline tomorrow)
svcmathdoxmail
-
[Om-announce] Second CFP - ESORICS 2024
svcmathdoxmail
-
[Om-announce] CFP: The 9th IEEE Cyber Science and Technology Congress (CyberSciTech) - Boracay Island, Malay, Philippines, November 5-8, 2024
svcmathdoxmail
-
[Om-announce] [ECAI-2024] Call for Nominations for the EurAI Dissertation Award
svcmathdoxmail
-
[Om-announce] Extended Deadline April 8, 2024 (abstracts April 1, 2024): 17th Conference on Intelligent Computer Mathematics (CICM 2024)
svcmathdoxmail
-
Re: (PN) Call for Papers: 2024 IEEE INTERNATIONAL CONFERENCE ON QUANTUM SOFTWARE (QSW 2024)
Quantum Software Conference
-
[Om-announce] Paraconsistent Newsletter Winter-Summer 2024
svcmathdoxmail
-
[Om-announce] Funded PhD Position in Formalizing/Verification of Golang (Application Deadline 2024-03-31)
svcmathdoxmail
-
[Om-announce] ICCCN 2024 (technically co-sponsored by IEEE) - deadline March 25 - last call for papers
svcmathdoxmail
-
[Om-announce] VTSA 2024: 1st call for applications
svcmathdoxmail
-
[Om-announce] Deadline extended - IEEE International Conference on Software Services Engineering (SSE 2024)
svcmathdoxmail
-
[Om-announce] [DEADLINE EXTENDED] CFP IEEE International Conference on Digital Health (ICDH) July 7-13, 2024 - Shenzhen, China
svcmathdoxmail
-
[Om-announce] CFP - 14th Workshop on Management of Cloud and Smart City Systems (MoCS 2024)
svcmathdoxmail
-
[Om-announce] LPNMR 2024 - Call for Workshops
svcmathdoxmail
-
[Om-announce] LPNMR 2024 - Preliminary Call for Papers
svcmathdoxmail
-
[Om-announce] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - KR in the Wild (Special Track)
svcmathdoxmail
-
[Om-announce] LOPSTR 2024 -- Call for Papers
svcmathdoxmail
-
[Om-announce] 1st cfp of SEFM'24
svcmathdoxmail
-
[Om-announce] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - Reasoning, Learning, and Decision Making (Special Track)
svcmathdoxmail
-
[Om-announce] EKAPI 2024 - Call for Papers
svcmathdoxmail
-
[Om-announce] TSD 2024 - 2n Call for Papers
svcmathdoxmail
-
[Om-announce] Final Call for Papers: 17th Conference on Intelligent Computer Mathematics (CICM 2024)
svcmathdoxmail
-
[Om-announce] ICCCN 2024 DEADLINE NEXT WEEK -- The 33rd International Conference on Computer Communications and Networks
svcmathdoxmail
-
[Om-announce] SYNASC 2024 - First Call for Papers
svcmathdoxmail
-
[Om-announce] IJCAR 2024 Workshops
svcmathdoxmail
-
[Om-announce] International Logic Olympiad
svcmathdoxmail
-
[Om-announce] ICCCN 2024 DEADLINES EXTENDED -- The 33rd International Conference on Computer Communications and Networks
svcmathdoxmail
-
[Om-announce] Call for Participation ACAIN 2024 - 4th Int. Advanced Course & Symposium on Artificial Intelligence & Neuroscience, September 22-25 2024, Riva del Sole Resort & SPA, Castiglione della Pescaia (Grosseto) Tuscany, Italy -> Deadline: March 23
svcmathdoxmail
-
[Om-announce] LPAR-25, Call for Short Presentation Papers
svcmathdoxmail
-
[Om-announce] ICE 2024: Second Call for Papers
svcmathdoxmail
-
[Om-announce] Call for Abstracts - WADT 2024
svcmathdoxmail
-
[Om-announce] TSD 2024 - 1st Call for Papers
svcmathdoxmail
-
[Om-announce] [CFP] Safeguarding CybersEcurity IN HEalthcare Workshop
svcmathdoxmail
-
[Om-announce] Bill McCune PhD Award in Automated Reasoning 2024 Call for Nominations
svcmathdoxmail
-
[Om-announce] [Poster Deadline Approaching] 8 Mar 2024 | EICC 2024, 5-6 Jun 2024, Xanthi (Greece) | ACM ICPS
svcmathdoxmail
-
[Om-announce] [ECAI-2024] Call for PC Members for ECAI-2024
svcmathdoxmail
-
[Om-announce] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - FIRST CALL FOR PAPERS
svcmathdoxmail
-
[Om-announce] ICGT '24 Final Call for Papers
svcmathdoxmail
-
[Om-announce] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - FIRST CALL FOR TUTORIAL AND WORKSHOP PROPOSALS
svcmathdoxmail
-
[Om-announce] [CFP] 14th Int. Conf. on Simulation and Modeling Methodologies, Technologies and Applications:: Submission Deadline 15th February
svcmathdoxmail
-
[Om-announce] 1st CfP ACAIN 2024 - 4th Int. Advanced Course & Symposium on Artificial Intelligence & Neuroscience, September 22-25 2024, Riva del Sole Resort & SPA, Castiglione della Pescaia (Grosseto) Tuscany, Italy -> Submission Deadline: March 23
svcmathdoxmail
-
[Om-announce] LOPSTR 2024 -- Preliminary Call for Papers
svcmathdoxmail
-
[Om-announce] [ECAI-2024] Deadline for Tutorial Proposals approaching
svcmathdoxmail
-
[Om-announce] Final Call for ESSAI 2024 Course Proposals: Deadline 7 February
svcmathdoxmail
-
[Om-announce] Call for Book Chapters - Internet of Things: Challenges and Advances - CRC Press
svcmathdoxmail
-
[Om-announce] [CFP] 2024 IEEE International Conference on Cyber Security and Resilience
svcmathdoxmail
-
[Om-announce] First Call for Papers - 20th International Conference on Formal Aspects of Component Software (FACS)
svcmathdoxmail
-
[Om-announce] Call for Papers - QUATIC 2024
svcmathdoxmail
-
[Om-announce] Call for Papers IEEE SMC-IT/SCC 2024 - EXTENDED DEADLINE
svcmathdoxmail
-
[Om-announce] CFP IEEE International Conference on Digital Health (ICDH) July 7-13, 2024 - Shenzhen, China
svcmathdoxmail
-
[Om-announce] QUATIC 2024 - Call for Papers
svcmathdoxmail
-
[Om-announce] 2nd Call for Papers: 17th Conference on Intelligent Computer Mathematics (CICM 2024)
svcmathdoxmail
-
[Om-announce] [CfP & Lecturers] ACDL 2024, 7th Advanced Course on Data Science & Machine Learning - From Deep Learning to Generative AI | June 10-14 | Riva del Sole Resort & SPA - Italy -> Early Registration: by February 23
svcmathdoxmail
-
[Om-announce] CICM 2024, Call for Workshop and Tutorial Proposals, Conference on Intelligent Computer Mathematics 2024
svcmathdoxmail
-
[Om-announce] FMBC 2024 - Third Call for Papers
svcmathdoxmail
-
[Om-announce] [Extended Deadline] CfP: NetRobiCS 2024 - INFOCOM workshop on Networked Robotics and Communication Systems
svcmathdoxmail
-
[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
-
[Om-announce] SALOME 1 - celebration of the 6th edition of the World Logic Day - Sunday 14 at 4pm CET
svcmathdoxmail
-
[Om-announce] [EXTENDED DEADLINE] IEEE WCCI/IJCNN 2024 Special Session on Artificial Intelligence and Complex Systems
svcmathdoxmail
-
[Om-announce] [logic-programming] Picat - Version 3.6 released
svcmathdoxmail
-
[Om-announce] ICE 2024: First Call for Papers
svcmathdoxmail
-
[Om-announce] 2nd CfP: 17th International Conference on Graph Transformation (ICGT)
svcmathdoxmail
-
[Om-announce] Call for Papers: OptLearnMAS workshop at AAMAS 2024
svcmathdoxmail
-
[Om-announce] IJCAR 2024: Final Call for Papers
svcmathdoxmail
-
[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
-
[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
-
[Om-announce] [Job Opening] Postdoc in Complex Network Analysis @ Luiss University
svcmathdoxmail
-
[Om-announce] [ECAI-2024] Deadline for Workshop Proposals approaching (and more!)
svcmathdoxmail
-
[Om-announce] Call for Papers: 2024 IEEE INTERNATIONAL CONFERENCE ON QUANTUM SOFTWARE (QSW 2024)
svcmathdoxmail
-
[Om-announce] Call for Papers - ESORICS 2024 (Deadline: January 8, 2024)
svcmathdoxmail
-
[Om-announce] Call for Workshops - ESORICS 2024 (Deadline: February 12, 2024)
svcmathdoxmail
-
[Om-announce] [Extended Deadline] Call for Papers: The 17th International Workshop on Networked Robotics and Communication Systems (NetRobiCS 2024)
svcmathdoxmail
-
[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
-
[Om-announce] FMBC 2024 - Second Call for Papers
svcmathdoxmail
-
[Om-announce] ESSAI 2024 CALL FOR COURSE PROPOSALS
svcmathdoxmail
-
[Om-announce] Extended deadline BDIoT24 | April 17 - 19, 2024 | Fez, Morocco(Proceedings by Springer)
svcmathdoxmail
-
[Om-announce] Call for Book Chapters - Internet of Things: Adoption Challenges and Technological Advances
svcmathdoxmail
-
[Om-announce] Call for Papers: The 17th International Workshop on Networked Robotics and Communication Systems (NetRobiCS 2024)
svcmathdoxmail
-
[Om-announce] IEEE WCCI/IJCNN 2024 Special Session on Artificial Intelligence and Complex Systems
svcmathdoxmail
-
[Om-announce] Call for Papers - ESORICS 2024
svcmathdoxmail
-
[Om-announce] FPS 2023 - Call for Participation
svcmathdoxmail
-
[Om-announce] [Vardi-list] Jan 12th, 2024: Moshe Vardi - What Came First, Math or Computing?
svcmathdoxmail
-
[Om-announce] Call for Papers DOD 2024
svcmathdoxmail
-
[Om-announce] Second Call for Papers IEEE SMC-IT/SCC 2024
svcmathdoxmail
-
[Om-announce] Call for Papers ARES 2024
svcmathdoxmail
-
[Om-announce] 2024 Alonzo Church Award Call for Nominations
svcmathdoxmail
-
[Om-announce] IJCAR 2024: 2nd call for co-located events
svcmathdoxmail
-
[Om-announce] ECAI-2024: Call for Papers, Tutorial Proposals and Workshop Proposals
svcmathdoxmail
-
[Om-announce] IJCAR 2024: 2nd Call for Papers
svcmathdoxmail
-
[Om-announce] CICM 2024 - 17th Conference on Intelligent Computer Mathematics - Call for Papers
svcmathdoxmail
-
[Om-announce] 'Call for Papers: 17th Conference on Intelligent Computer Mathematics (CICM 2024)
svcmathdoxmail
-
[Om-announce] FMBC 2024 - First Call for Papers
svcmathdoxmail
-
[Om-announce] ICGT 2024: First Call for Papers
svcmathdoxmail
-
[Om-announce] Postdoc position in Formal Methods at University of Exeter
svcmathdoxmail
-
[Om-announce] Call for Papers IEEE SMC-IT/SCC 2024
svcmathdoxmail
-
[Om-announce] VerifyThis 2024 : Call for Problems
svcmathdoxmail
-
[Om-announce] IJCAR 2024 - Call for Papers
svcmathdoxmail
-
[Om-announce] IJCAR 2024: call for co-located events
svcmathdoxmail
-
[Om-announce] [ICTAC 2023] Call for Participation
svcmathdoxmail
-
[Om-announce] IJCAR 2024 --- Call for Papers
svcmathdoxmail
-
[Om-announce] CFP extended - Special Issue on Non-Classical Reasoning for Contemporary AI Applications
svcmathdoxmail
-
[Om-announce] NASA NFM 2024
svcmathdoxmail
-
[Om-announce] LOPSTR 2023 - Final Call for Participation
svcmathdoxmail
-
[Om-announce] [CfP] European Interdisciplinary Cybersecurity Conference - EICC 2023 | 5-6 Jun 2024, Xanthi, Greece
svcmathdoxmail
-
[Om-announce] Deadline Extension - 20 October 2023 - Joint AI Conferences on Multiple Themes - SCOPUS indexed - Hybrid Event - Springer Publication
svcmathdoxmail
-
[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
-
[Om-announce] Deadline Extension (20 October 2023) CFP - SCOPUS indexed - 23rd International Conference on Hybrid Intelligent Systems (HIS 2023) - Hybrid Event - Springer Publication
svcmathdoxmail
-
[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
-
[Om-announce] Deadline Extension (20 October 2023) Call for papers: SCOPUS indexed - Hybrid Event - Springer Publication
svcmathdoxmail
-
[Om-announce] Extended Deadline - Call for Papers - Special Issue of eJournal of eDemocracy and Open Government (JeDEM)
svcmathdoxmail
-
[Om-announce] Paraconsistent Newsletter Summer-Winter 2023
svcmathdoxmail
-
[Om-announce] SALOME 1 - Cusco, Peru, January 12-15, 2024
svcmathdoxmail
-
[Om-announce] FPS 2023 - Call for Papers (Extended Deadline: Sep 29, 2023)
svcmathdoxmail
-
[Om-announce] LOPSTR 2023 - Call for Participation
svcmathdoxmail
-
[Om-announce] Final CFP - SCOPUS indexed - 23rd International Conference on Hybrid Intelligent Systems (HIS 2023) - Hybrid Event - Springer Publication
svcmathdoxmail
-
[Om-announce] Final CFP - SCOPUS indexed - 19th International Conference on Information Assurance and Security (IAS 2023) - Hybrid Event - Springer Publication
svcmathdoxmail
-
[Om-announce] Final CFP - SCOPUS indexed - 23rd International Conference on Intelligent Systems Design and Applications (ISDA 2023) - Hybrid Event - Springer Publication
svcmathdoxmail
-
[Om-announce] Final CFP - SCOPUS indexed - 13th World Congress on Information and Communication Technologies (WICT'23) - Hybrid Event - Springer Publication
svcmathdoxmail
-
[Om-announce] Final CFP - SCOPUS indexed - 15th International Conference on Soft Computing and Pattern Recognition (SoCPaR 2023) - Hybrid Event - Springer Publication
svcmathdoxmail
-
[Om-announce] CFP (EXTENSION): 5th Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis (OVERLAY 2023)
svcmathdoxmail
-
[Om-announce] Final CFP - SCOPUS indexed - 15th World Congress on Nature and Biologically Inspired Computing (NaBIC 2023) - Hybrid Event - Springer Publication
svcmathdoxmail
-
[Om-announce] VMCAI 2024: First Call for Papers
svcmathdoxmail
-
[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
-
[Om-announce] [Call for Papers - Deadline extended] 12th International Workshop on Cloud and Edge Computing, and Applications Management (CloudAM 2023)
svcmathdoxmail
-
[Om-announce] Call for Papers - eCrime 2023 (Extended Deadline: Sep 1o, 2023)
svcmathdoxmail
-
[Om-announce] VMCAI 2024: Extended Deadline September 7th
svcmathdoxmail
-
[Om-announce] Call for Book Chapters for the Springer Book on Intelligent Technologies for Healthcare Business Applications - Deadline Extended
svcmathdoxmail
-
[Om-announce] CfPart Reliability, safety and security of railway systems (RSSRail 2023)
svcmathdoxmail
-
[Om-announce] GandALF 2023: Registration is open – Call For Participation
svcmathdoxmail
-
[Om-announce] CALL FOR PAPERS: ITNAC 2023 Hybrid Conference
svcmathdoxmail
-
[Om-announce] CALL FOR PAPERS: ITNAC 2023 Hybrid Conference, MELBOURNE, 29 NOV - 1 DEC 2023
svcmathdoxmail
-
[Om-announce] [Call for Papers] 12th International Workshop on Cloud and Edge Computing, and Applications Management (CloudAM 2023)
svcmathdoxmail
-
[Om-announce] CICM 2023 - Call for Participation
svcmathdoxmail
-
[Om-announce] Deadline Extension Doctoral Programme CICM 2023: 14 July 2023
svcmathdoxmail
-
[Om-announce] FMCAD 2023: First Call for Papers
Rozier, Kristin-Yvonne [AER E]
-
[Om-announce] [CFP] 2023 IEEE CSR Workshops --- Deadline extended
IEEE CSR Conference
-
[Om-announce] TSD 2023 - 2nd Call for papers
TSD 2023
-
[Om-announce] [Deadline approaching, March 31st] Cybersecurity Associate - Assistant Prof. position at Télécom SudParis
Joaquin Garcia-Alfaro
-
[Om-announce] LPAR 2023 Deadline extension
geoff
-
[Om-announce] [SecMT2023] CFP - International Workshop on Security in Mobile Technologies
Eleonora Losiouk
-
[Om-announce] LOPSTR 2023 - Call for Papers
daniel . jurjo
-
[Om-announce] Call for Papers ARES 2023
SBA Research Events
-
[Om-announce] iFM 2023 - Call for Papers
Laarman, A.W. (Alfons) via Om-announce
-
[Om-announce] GandALF 2023: Call For Papers
Nicola Saccomanno
-
[Om-announce] IEEE CLOUD 2023 - Deadline extended
Tevfik Kosar
-
[Om-announce] 2023 IEEE WORLD CONGRESS ON SERVICES
Huang Bing via Om-announce