IMPACT SCORE JOURNAL RANKING CONFERENCE RANKING Conferences Journals Workshops Seminars SYMPOSIUMS MEETINGS BLOG LaTeX 5G Tutorial Free Tools

Logics Events

Find Events


When: Nov 10, 2025 - Nov 11, 2025 Submission Deadline: Aug 20, 2025
Satellite event of SEFM 2025 (https://sefm-conference.github.io/sefm2025) • ================================================== • OVERVIEW • =========================================...
COMPUTER SCIENCE   SEMANTICS   MODELLING   LOGICAL METHODS  

When: May 18, 2024 - May 21, 2024 Submission Deadline: Jan 29, 2024
Semantic, Logics, Information Extraction and AI (SLIE) • Special Track at The 37th International FLAIRS Conference • Miramar Beach, FL, USA • May 18 - 21, 2024 • January 22, 2...
ARTIFICIAL INTELLIGENCE   NATURAL LANGUAGE PROCESSING   LOGICS   INFORMATION EXTRACTION  



When: Jul 31, 2021 - Aug 1, 2021 Submission Deadline: May 10, 2022
DaLí 2022 - Call for Papers • http://dali2022.campus.ciencias.ulisboa.pt • ***Important Dates*** • - Abstract submission deadline: 03 May 2022 • - Full paper submission deadl...
DYNAMIC LOGIC, FOUNDATIONS AND   MODAL/TEMPORAL/EPISTEMIC LOGIC   LOGICS WITH REGULAR MODALITIES  

When: Aug 7, 2022 - Aug 10, 2022 Submission Deadline: Apr 30, 2022
DL 2022 FIRST CALL FOR PAPERS • 35th International Workshop on Description Logics, DL 2022 • August 7–10, 2022, Haifa, Israel • Website: http://dl.kr.org/dl2022 • Contact: d...
ARTIFICIAL INTELLIGENCE   DESCRIPTION LOGICS   KNOWLEDGE REPRESENTATION   SEMANTIC WEB  

When: May 22, 2020 - May 22, 2020 Submission Deadline: Apr 12, 2020
The 14th International Workshop on the Implementation of Logics will be held in May 2020 in conjunction with the 23rd International Conference on Logic for Programming, Artificial Intel...
ARTIFICIAL INTELLIGENCE  

When: Sep 2, 2019 - Sep 4, 2019 Submission Deadline: May 19, 2019
The aim of the GandALF symposium is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The 2019 edit...
GAMES   AUTOMATA   LOGICS   FORMAL VERIFICATION  

When: Jun 18, 2019 - Jun 21, 2019 Submission Deadline: Apr 2, 2019
------------------------------------------------------------------------------- • CALL FOR PAPERS • 32nd International Workshop on Description Logics, DL 2019 • June 18th to June 21s...
ARTIFICIAL INTELLIGENCE   DESCRIPTION LOGICS   KNOWLEDGE REPRESENTATION   SEMANTIC WEB  




Find and Compare Upcoming Logics Events. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.

Events Recently Added
ChapelCon 2025: The Chapel Event of the Year
Virtual
Oct 7, 2025
MAS-GAIN 2025: 1st International Workshop on Multi-Agent Systems using Generative Artificial INtelligence for Automated Software Engineering
Seoul, South Korea
Nov 16, 2025
WoSC 2025: 11th International Workshop on Serverless Computing (WoSC11)
Vanderbilt University Nashville, TN, US
Dec 15, 2025
Ecology and Indian Transgender Cinema 2025: Ecological Book Chapters for 'The Handbook of Indian Trans Cinema: Film, Television, and Web Series' Exploring Transgender Themes
Publication
Jul 1, 2025
COMINDS 2025: 4th Workshop on Collaboration Mining for Distributed Systems (COMINDS) @ ICPM 2025
Montevideo, Uruguay
Oct 20, 2025
EG 2026: Eurographics
Aachen, Germany
May 4, 2026
DCC 2025: Data Compression Conference
123
Jan 1, 2025
ArIT 2025: 6th International Conference on Advances in Artificial Intelligence Techniques
Toronto, Canada
Jul 19, 2025
SPTM 2025: 13th International Conference of Security, Privacy and Trust Management
London, United Kingdom
Jul 26, 2025
GamiFIN 2026: 10th International GamiFIN Conference
Saariselkä, Lapland, Finland
Mar 23, 2026
Neuroscience Congress 2026: 4th International Conference on Neuroscience and Mental Health
Kuala Lumpur, Malaysia
May 14, 2026
PQMI 2025: The 10th International Workshop on Process Querying, Manipulation, and Intelligence
Montevideo, Uruguay
Oct 20, 2025
ICCAR 2026: 2026 12th International Conference on Control, Automation and Robotics (ICCAR 2026)
Nagoya, Japan
Apr 8, 2026
ICCAR--EI 2026: 2026 12th International Conference on Control, Automation and Robotics (ICCAR 2026)
Nagoya, Japan
Apr 8, 2026
ICMAA 2026: 2026 The 10th International Conference on Mechanical, Aeronautical and Automotive Engineering (ICMAA 2026)
Tokyo, Japan
Apr 1, 2026
ICMAA--EI 2026: 2026 The 10th International Conference on Mechanical, Aeronautical and Automotive Engineering (ICMAA 2026)
Tokyo, Japan
Apr 1, 2026
ICMIP--EI 2026: 2026 11th International Conference on Multimedia and Image Processing (ICMIP 2026)
Sapporo, Japan
Apr 25, 2026
ICMIP 2026: 2026 11th International Conference on Multimedia and Image Processing (ICMIP 2026)
Sapporo, Japan
Apr 25, 2026
CSP--EI 2026: 2026 10th International Conference on Cryptography, Security and Privacy (CSP 2026)
Sapporo, Japan
Apr 25, 2026
CSP 2026: 2026 10th International Conference on Cryptography, Security and Privacy (CSP 2026)
Sapporo, Japan
Apr 25, 2026