Messages by Thread
-
[Om-announce] [ICLP 2025 - Call for Student Grants] 41st International Conference on Logic Programming (ICLP’25), University of Calabria, Rende, Italy | September 12-19, 2025
svcmathdoxmail
-
[Om-announce] WoSAR 2025 - Call for Papers
svcmathdoxmail
-
[Om-announce] DPM 2025 - CFP - Data Privacy Manamgement, co-located with ESORICS 2025
svcmathdoxmail
-
[Om-announce] CBT 2025 - CFP - Cryptocurrency and Blockchain Technology, co-located with ESORICS 2025
svcmathdoxmail
-
[Om-announce] CADE-30 Call for Participation
svcmathdoxmail
-
[Om-announce] [C.A.R.L.A. 2025 - Deadline Extended] 1st Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action, University of Calabria, Rende, Italy | September 12-13, 2025
svcmathdoxmail
-
[Om-announce] iFM 2025 Call for Papers - Deadline Extended
svcmathdoxmail
-
[Om-announce] BMQL 2025 - Second Call for Papers
svcmathdoxmail
-
[Om-announce] [fm-announcements] PVS Day at NFM 2025, June 10, 2025
svcmathdoxmail
-
[Om-announce] DaLí 2025 - 3rd Call for Papers ** deadline extension **
svcmathdoxmail
-
[Om-announce] ECOOP 2025: Call for Participation - Early Registration Deadline (28th May 2025 CEST) is approaching
svcmathdoxmail
-
[Om-announce] [CFP][DEADLINE EXTENDED] AHPC3: The 2nd Workshop on Accelerated HPC in the Cloud-Edge Continuum
svcmathdoxmail
-
CFP Extension for Christoph Weidenbach’s 60th Birthday
svcmathdoxmail
-
[Om-announce] JELIA 2025 - FINAL CfP - DEADLINE EXTENDED
svcmathdoxmail
-
[Om-announce] [ICLP 2025 - Announcement of Accepted Workshops ] 41st International Conference on Logic Programming (ICLP’25), University of Calabria, Rende, Italy | September 12-19, 2025
svcmathdoxmail
-
[Om-announce] [AI3 2025 - Second Call for Papers] *DATES UPDATE* 9th Workshop on Advances in Argumentation in Artificial Intelligence
svcmathdoxmail
-
[Om-announce] [fm-announcements] DisCoTec Call for Participation - Early Registration Deadline Soon
svcmathdoxmail
-
[Om-announce] CADE-30 Woodie Bledsoe Awards
svcmathdoxmail
-
[Om-announce] SYNASC 2025 - Final Call for Papers
svcmathdoxmail
-
[Om-announce] SMT 2025: Deadline extension
svcmathdoxmail
-
[Om-announce] [AI3 2025 - First Call for Papers] 9th Workshop on Advances in Argumentation in Artificial Intelligence
svcmathdoxmail
-
[Om-announce] Weidenbach'60: First-Order Reasoning. Call for Papers
svcmathdoxmail
-
[Om-announce] [CFP] AHPC3: The 2nd Workshop on Accelerated HPC in the Cloud-Edge Continuum
svcmathdoxmail
-
[Om-announce] JELIA 2025 - EXTENDED DEADLINE
svcmathdoxmail
-
[Om-announce] [C.A.R.L.A. 2025 - Call for Papers] 1st Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action, University of Calabria, Rende, Italy | September 12-13, 2025
svcmathdoxmail
-
[Om-announce] 1st Call for Papers Express/SOS 2025
svcmathdoxmail
-
[Om-announce] [ICLP 2025 - CfP Special Tracks] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025
svcmathdoxmail
-
[Om-announce] [fm-announcements] Call for Participation: NFM 2025
svcmathdoxmail
-
[Om-announce] ECOOP Doctoral Symposium -- 2nd Call for Papers
svcmathdoxmail
-
[Om-announce] FTfJP 2025 - 4th Call for Papers
svcmathdoxmail
-
[Om-announce] [CFP - FGCS: September 1, 2025] Special Issue on “Advanced Situational Awareness and Resilience for Hyperconnected Industrial Scenarios” in Future Generation Computer Systems (FGCS), Elsevier
svcmathdoxmail
-
[Om-announce] CICM 2025 *** DEADLINES FOR FORMAL SUBMISSIONS EXTENDED BY ANOTHER WEEK ***
svcmathdoxmail
-
[Om-announce] Second Call for Papers SYNASC 2025
svcmathdoxmail
-
[Om-announce] CICM 2025: 4th Announcement and Call for Papers with deadline extension
svcmathdoxmail
-
[Om-announce] Call for Papers - ESORICS 2025 Spring Cycle (Extended Deadline: April 29, 2025)
svcmathdoxmail
-
[Om-announce] TSD 2025 - Second Call for Papers
svcmathdoxmail
-
[Om-announce] DaLi 25, 2nd call for papers
svcmathdoxmail
-
[Om-announce] Deadline Extended August 31: Special Issue of Journal of Systems Architecture on Security and Privacy in AIoT-enabled Smart Cities
svcmathdoxmail
-
[Om-announce] FTfJP 2025 - Last CfP (extended deadline)
svcmathdoxmail
-
[Om-announce] 3rd CfP - JELIA 2025 - 19th European Conference on Logics in AI
svcmathdoxmail
-
[Om-announce] Deadline Extended August 31: Special Issue of Journal of Systems Architecture on Security and Privacy in AIoT-enabled Smart Cities
svcmathdoxmail
-
[Om-announce] [Extended Deadline] IEEE COINS 2025 – Paper Submissions Now Due April 22
svcmathdoxmail
-
[Om-announce] CFP: The 10th IEEE Cyber Science and Technology Congress (CyberSciTech) - Hakodate City, Hokkaido, Japan, October 21-24, 2025
svcmathdoxmail
-
[Om-announce] CFP: The 10th IEEE Cyber Science and Technology Congress (CyberSciTech) - Hakodate City, Hokkaido, Japan, October 21-24, 2025
svcmathdoxmail
-
[Om-announce] CFP: The 10th IEEE Cyber Science and Technology Congress (CyberSciTech) - Hakodate City, Hokkaido, Japan, October 21-24, 2025
svcmathdoxmail
-
[Om-announce] CFP: The 10th IEEE Cyber Science and Technology Congress (CyberSciTech) - Hakodate City, Hokkaido, Japan, October 21-24, 2025
svcmathdoxmail
-
[Om-announce] FTfJP 2025 - Second Call for Papers
svcmathdoxmail
-
[Om-announce] 2nd call for papers DaLí 2025
svcmathdoxmail
-
[Om-announce] CICM 2025: 3rd Announcement and Call for Papers
svcmathdoxmail
-
[Om-announce] Call for Papers: 23rd International Workshop on Satisfiability Modulo Theories
svcmathdoxmail
-
[Om-announce] IEEE SMC-IT/SCC 2025 CALL FOR SUBMISSIONS [FINAL]
svcmathdoxmail
-
[Om-announce] ICE 2025: Second Call for Papers
svcmathdoxmail
-
[Om-announce] Marktoberdorf 2025 CFP
svcmathdoxmail
-
[Om-announce] [ICLP DC 2025 - Call for Papers] 21st Doctoral Consortium (DC) on Logic Programming | University of Calabria, Rende, Italy | September 12-19, 2025
svcmathdoxmail
-
[Om-announce] iFM 2025 Call for Papers - 20th International Conference on Integrated, Formal Methods
svcmathdoxmail
-
[Om-announce] LOD 2025 Call for papers: 11th International Conference on Learning, Optimization and Data - LOD 2025, 21-24 September, Riva del Sole Resort & SPA @ Tuscany * Submission Deadline: April 23 *
svcmathdoxmail
-
[Om-announce] [Second Call for Papers - LOPSTR 2025] 35th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2025), Rende, Italy | September 9-10, 2025
svcmathdoxmail
-
[Om-announce] [ICLP 2025 - Deadline Approaching] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025
svcmathdoxmail
-
[Om-announce] LUW session March 26: Stephen Read, Consequence, Signification and Insolubles in Fourteenth-Century Logic - Arché presented by Simon Prosser
svcmathdoxmail
-
[Om-announce] Paraconsistent Newsletter Winter-Summer 2025
svcmathdoxmail
-
[Om-announce] ARES 2025 Call for Papers
svcmathdoxmail
-
[Om-announce] Call for Workshops, Conference on Intelligent Computer Mathematics (CICM), 6-11 october 2025, Brasilia
svcmathdoxmail
-
[Om-announce] CfP RSSRail 2025, Int. Conf. on Reliability, Safety and Security of Railway Systems
svcmathdoxmail
-
[Om-announce] IEEE SMC-IT/SCC 2025 CALL FOR SUBMISSIONS [UPDATE]
svcmathdoxmail
-
[Om-announce] Institution-independent Model Theory by R.Diaconescu, LUWebinar, March 12 - 16h CET
svcmathdoxmail
-
[Om-announce] FTfJP 2025 - First Call for Papers
svcmathdoxmail
-
[Om-announce] Call for papers - SYNASC 2025
svcmathdoxmail
-
[Om-announce] CFP 23rd Int. Conf. Computational Methods in Systems Biology, CMSB 2025
svcmathdoxmail
-
[Om-announce] [ICLP 2025 - First Call for Papers] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025
svcmathdoxmail
-
[Om-announce] CFP: 35th ITNAC 2025
svcmathdoxmail
-
[Om-announce] ECOOP 2025: 2nd Call for Papers
svcmathdoxmail
-
[Om-announce] CFP: The 26th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2025)
svcmathdoxmail
-
[Om-announce] [ICLP 2025 - Call for Workshop Proposals] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025
svcmathdoxmail
-
[Om-announce] [fm-announcements] LOPSTR 2025 call for papers
svcmathdoxmail
-
[Om-announce] ICE 2025: First Call for Papers
svcmathdoxmail
-
[Om-announce] [fm-announcements] Call for Papers: 3rd TACPS Workshop @ CAV 2025
svcmathdoxmail
-
[Om-announce] Deadline approaching: 1 Mar 2025 [CyFRP 2025] Advances in Interdisciplinary Cybersecurity: Insights from Funded Research Projects | 18-19 Jun 2025 | Rennes, France
svcmathdoxmail
-
[Om-announce] DaLí 2025, 1st call for papers
svcmathdoxmail
-
[Om-announce] [1st CFP] 4th International Workshop on Cyber Forensics , Massachusetts, U.S
svcmathdoxmail
-
[Om-announce] ESORICS 2025 - Call for Workshops (Deadline: Feb 28, 2025)
svcmathdoxmail
-
[Om-announce] [CFP] 2025 IEEE International Conference on Cyber Security and Resilience --- Deadline Extended
svcmathdoxmail
-
[Om-announce] KR 2025: The 22nd International Conference on Principles of Knowledge Representation and Reasoning
svcmathdoxmail
-
[Om-announce] Fully Funded PhD Position: Identification of Molecular PD Endophenotypes
svcmathdoxmail
-
[Om-announce] Fully Funded PhD Position: Stratification of Clinical Disease Trajectories and Prediction of Individual Rate of Progression in Parkinson's Disease
svcmathdoxmail
-
[Om-announce] Fully Funded PhD Position: Multimodal AI/ML Models for Early Parkinson's Disease Diagnosis
svcmathdoxmail
-
[Om-announce] ECOOP 2025: Call for AEC members
svcmathdoxmail
-
[Om-announce] Postdoc position in formal verification of multi-agent systems
svcmathdoxmail
-
[Om-announce] Second Announcement and CfP, Conference on Intelligent Computer Mathematics (CICM), 6-11 october 2025, Brasilia
svcmathdoxmail
-
[Om-announce] [Call for Papers - LOPSTR 2025] 35th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2025), Rende, Italy | September 9-10, 2025
svcmathdoxmail
-
[Om-announce] SPIN: Final Call for Papers
svcmathdoxmail
-
[Om-announce] PhD Position: Verification of Golang using Interactive Theorem Proving (Application Deadline 2025-02-10)
svcmathdoxmail
-
[Om-announce] [CFP] 2025 IEEE International Conference on Cyber Security and Resilience --- Deadline Approaching
svcmathdoxmail
-
[Om-announce] [IEEE CLOUD 2025] Call for Papers - Abstract Deadline: February 24, 2025
svcmathdoxmail
-
[Om-announce] IEEE ICDH 2025 Call For Paper (3rd call)
svcmathdoxmail
-
[Om-announce] [Call For Tutorials] 2025 IEEE CSR: IEEE International Conference on Cyber Security and Resilience
svcmathdoxmail
-
[Om-announce] [Submission 1 Mar 2025] CyFRP 2025: Advances in Interdisciplinary Cybersecurity: Insights from Funded Research Projects | 18-19 Jun 2025 | Rennes, France
svcmathdoxmail
-
[Om-announce] TSD 2025 - First Call for Papers
svcmathdoxmail
-
[Om-announce] OptLearnMAS 2025: Call for Papers
svcmathdoxmail
-
[Om-announce] [CFP] 15th Int. Conf. on Simulation and Modeling Methodologies, Technologies and Applications:: Submission Deadline 6th February
svcmathdoxmail
-
[Om-announce] FroCoS 2025 - Call for Papers
svcmathdoxmail
-
[Om-announce] Dahl-Nygaard junior and senior prizes 2025 - deadline for nominations: 31 January 2025
svcmathdoxmail
-
[Om-announce] CFP: Special Issue of Journal of Systems Architecture on Security and Privacy in AIoT-enabled Smart Cities
svcmathdoxmail
-
[Om-announce] [DEADLINE EXTENDED] IEEE IJCNN 2025 Special Session on Artificial Intelligence and Complex Systems
svcmathdoxmail
-
[Om-announce] European Conference on Artificial Intelligence - ECAI 2025
svcmathdoxmail
-
[Om-announce] Last Call for ECOOP 2025 Workshop Proposals
svcmathdoxmail
-
[Om-announce] AAAI 2025 Tutorial on Machine Learning for Solvers
svcmathdoxmail
-
[Om-announce] [ICLP 2025 - Preliminary Call for Papers] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025
svcmathdoxmail
-
[Om-announce] [Deadline Approaching, Jan 31] CALL FOR PAPERS, WNDSS 2025, Springer IFIP proceedings, Maribor (Slovenia)
svcmathdoxmail
-
[Om-announce] [Deadline extended: 2025-02-05] EICC | 18-19 Jun 2025 | Rennes, France
svcmathdoxmail
-
[Om-announce] Call For Papers: IEEE QSW 2025
svcmathdoxmail
-
[Om-announce] [Vardi-list] World Logic Day Lecture: Homo Ratiocinator (Reckoning Human)- 1/14/25
svcmathdoxmail
-
[Om-announce] ECOOP 2025: Call for Papers
svcmathdoxmail
-
[Om-announce] [Deadline approaching: 2025-01-15] EICC | 18-19 Jun 2025 | Rennes, France
svcmathdoxmail
-
[Om-announce] Call for Papers - ESORICS 2025 Winter Cycle (Deadline: January 10, 2025)
svcmathdoxmail
-
[Om-announce] DEADLINE EXTENDED - IFIP SEC 2025 CFP
svcmathdoxmail
-
[Om-announce] Call For Papers And Projects: Multi-Year Track On AI And Social Good (Special Track)
svcmathdoxmail
-
[Om-announce] VSS 2025: Call for Papers
svcmathdoxmail
-
[Om-announce] Ici-Rio 2024 - UNILOG'2025, Cusco
svcmathdoxmail
-
[Om-announce] Discover Internet of Things (Springer Nature, indexed in SCOPUS, EI Compendex): Collection Call for Papers - Innovations in Cyber-Physical Systems and Self-Organizing Networks for Next-Generation IoT
svcmathdoxmail
-
[Om-announce] CALL FOR IEEE SMC-IT/SCC 2025 SUBMISSIONS
svcmathdoxmail
-
[Om-announce] ICGT 2025 - Call for Papers
svcmathdoxmail
-
[Om-announce] Call for Papers: IEEE International Conference on Quantum Software (IEEE QSW 2025)
svcmathdoxmail
-
[Om-announce] CFP - IEEE International Conference On Software Services Engineering (SSE2025)
svcmathdoxmail
-
[Om-announce] CFP: IEEE ICWS 2025 (Abstract Submission: February 24th, 2025; Paper Submission: March 3rd, 2025)
svcmathdoxmail
-
[Om-announce] 7th edition of the World Logic Day
svcmathdoxmail
-
[Om-announce] ESSAI 2025 CALL FOR COURSE PROPOSALS - extended deadline
svcmathdoxmail
-
[Om-announce] IEEE IJCNN 2025 Special Session on Artificial Intelligence and Complex Systems
svcmathdoxmail
-
[Om-announce] [fm-announcements] NFM 2025 *deadline extended*
svcmathdoxmail
-
[Om-announce] Call for Book Chapters on Intelligent Transformative Technologies
svcmathdoxmail
-
[Om-announce] FMBC25 - First Call for Papers
svcmathdoxmail
-
[Om-announce] Announcement and CfP, Conference on Intelligent Computer Mathematics (CICM), 6-11 october 2025, Brasilia, Brazil
svcmathdoxmail
-
[Om-announce] [CFP] 2025 IEEE International Conference on Cyber Security and Resilience (IEEE CSR)
svcmathdoxmail
-
[Om-announce] Workshop on Theorem Proving and Machine Learning
svcmathdoxmail
-
[Om-announce] CFP NetRobiCS 2025
svcmathdoxmail
-
[Om-announce] CFP IEEE COINS 2025 - IEEE International Conference on Omni-layer Intelligent Systems - University of Wisconsin–Madison, USA | August 4-6, 2025
svcmathdoxmail
-
[Om-announce] [fm-announcements] NFM 2025 second CFP
svcmathdoxmail
-
[Om-announce] Call for ECOOP 2025 Workshop Proposals
svcmathdoxmail
-
[Om-announce] SPIN 2025: Call for Papers
svcmathdoxmail
-
[Om-announce] CfP: EICC | 18-19 Jun 2025 | Rennes, France | Deadline: 15 Jan 2025
svcmathdoxmail
-
[Om-announce] [Vardi-list] Appeal to support SIGLOG, the LICS sponsor
svcmathdoxmail
-
[Om-announce] [CFP][Last Deadline Extension] AHPC3 - The 1st Workshop on Accelerated HPC in the Cloud-Edge Continuum
svcmathdoxmail
-
[Om-announce] ESSAI 2025 CALL FOR COURSE PROPOSALS
svcmathdoxmail
-
[Om-announce] [logic-programming] Picat Usability Feedback
svcmathdoxmail
-
[Om-announce] CADE-30 Call for Colocated Events: **deadline November 11th**
svcmathdoxmail
-
[Om-announce] [CFP] 2025 IEEE CSR: IEEE International Conference on Cyber Security and Resilience
svcmathdoxmail
-
[Om-announce] CIAC 2025: 2nd Call for Papers
svcmathdoxmail
-
[Om-announce] [CFP][Deadline extended] AHPC3 - The 1st Workshop on Accelerated HPC in the Cloud-Edge Continuum
svcmathdoxmail
-
[Om-announce] [CFP] 2025 IEEE International Conference on Cyber Security and Resilience
svcmathdoxmail
-
[Om-announce] SEFM'24: Call for Participation
svcmathdoxmail
-
[Om-announce] [fm-announcements] NFM 2025 CFP
svcmathdoxmail
-
[Om-announce] CADE-30 Call for Papers
svcmathdoxmail
-
[Om-announce] [CFP] AHPC3: The 1st Workshop on Accelerated HPC in the Cloud-Edge Continuum
svcmathdoxmail
-
[Om-announce] IFIP SEC 2025 CFP
svcmathdoxmail
-
[Om-announce] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024): 2-8 November, 2024; Hanoi, Vietnam: Call for Participation - Early Bird Registration Extended to 4 October
svcmathdoxmail
-
[Om-announce] CIAC 2025: Call for Papers
svcmathdoxmail
-
[Om-announce] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) -2-8 November, 2024; Hanoi, Vietnam: Call for Participation
svcmathdoxmail
-
[Om-announce] [ICFNDS 2024-CFP] The 8th International Conference on Future Networks & Distributed Systems
svcmathdoxmail
-
[Om-announce] [CFP] AHPC3: The 1st Workshop on Accelerated HPC in the Cloud-Edge Continuum
svcmathdoxmail
-
[Om-announce] FPS 2024 - Call for Papers (Extended Deadline: Sep 16, 2024)
svcmathdoxmail
-
[Om-announce] CADE-30 Call for Colocated Events
svcmathdoxmail
-
[Om-announce] Final CFPs of UbiSec 2024-Paper Submission Deadline: October 10, 2024
svcmathdoxmail
-
[Om-announce] NSS 2024 second cycle CFP (Deadline: In less than 24 hours)
svcmathdoxmail
-
[Om-announce] [LPNMR 2024] CALL FOR PARTICIPATION
svcmathdoxmail
-
[Om-announce] [Vardi-list] ICLA 2025
svcmathdoxmail
-
[Om-announce] PhD Symposium iFM 2024 - Final Call for Papers (extended deadline)
svcmathdoxmail
-
[Om-announce] Call for Papers - 13th International Workshop on Cloud and Edge Computing, and Applications Management (CloudAM 2024)
svcmathdoxmail
-
[Om-announce] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - LCA-Doctoral Consortium-Deadline Extension
svcmathdoxmail
-
[Om-announce] ASPOCP 2024@ICLP- EXTENDED DEADLINE
svcmathdoxmail
-
[Om-announce] LOPSTR 2024 - Call for Participation
svcmathdoxmail
-
[Om-announce] ASPOCP 2024 @ ICLP- Second Call for Paper
svcmathdoxmail
-
[Om-announce] PhD Symposium iFM 2024 - Call for Papers
svcmathdoxmail