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

Logic Events

Find Events


When: Sep 24, 2025 - Sep 26, 2025 Submission Deadline: Jun 8, 2025
-------------------------------------------------------------------------- • CALL FOR PAPERS • DECLARE 2025 - Conference on Declarative Programming • Evora, Portugal, September 24-2...
DEDUCTIVE DATABASES   CONSTRAINT LOGIC PROGRAMMING   LEGAL REASONING   GENERATIVE AND EXPLAINABLE AI  

When: Sep 22, 2025 - Sep 25, 2025 Submission Deadline: Jun 20, 2025
(Apologies for the cross-postings) • ----------------------------------------------------- • SYNASC 2025 - Second Call for Papers • -------------------------------------------------...
SYMBOLIC AND NUMERIC COMPUTING   LOGIC AND PROGRAMMING   DISTRIBU�ED COMPUTING   ARTIFICIAL INTELLIGENCE  



When: Jun 14, 2026 - Jun 18, 2026 Submission Deadline: Nov 15, 2025
The 25th International Conference on Artificial Intelligence and Soft Computing ICAISC 2024 will be held in Zakopane (situated in the High Tatra mountains), Poland in June 14-18, 2026 in Bachleda Zak...
NEURAL NETWORKS   COMPUTER VISION   FUZZY LOGIC   EVOLUTIONARY COMPUTATION  

When: Oct 11, 2024 - Oct 17, 2024 Submission Deadline: May 6, 2024
SCOPE • Since the first conference In Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are sought in all areas of log...
LOGIC PROGRAMMING  

When: Sep 2, 2024 - Sep 6, 2024 Submission Deadline: May 6, 2024
...

When: Sep 9, 2024 - Sep 13, 2024 Submission Deadline: Apr 26, 2024
============================ • CONCUR 2024: Call for Papers • ============================ • September 9-13, 2024 • Calgary, Canada • https://confest2024.github.io/CONCU...
CONCURRENCY   THEORY   LOGIC  

When: Nov 13, 2024 - Nov 15, 2024 Submission Deadline: Apr 20, 2024
A PDF flyer is available at: • https://ieee.org.co/la-cci2024/wp-content/uploads/sites/15/2024/02/CFP-LA-CCI-2024.pdf • LA-CCI is an acronym that refers to the Latin America Conference on...
COMPUTATIONAL INTELLIGENCE   NEURAL NETWORKS   MACHINE LEARNING   FUZZY LOGIC  

When: Oct 28, 2024 - Oct 30, 2024 Submission Deadline: Jun 21, 2024
The 31st International Symposium on Temporal Representation and Reasoning, 28--30 October 2024, Montpellier, France • Website: https://www.lirmm.fr/time2024/ • Introduction • ======...
TEMPORAL LOGIC   TEMPORAL DATABASES   TIME AND SPACE IN AI   REPRESENTATION AND REASONING  

When: Sep 9, 2024 - Sep 11, 2024 Submission Deadline: May 13, 2024
The 26th International Symposium on • Principles and Practice of Declarative Programming • Part of FM 2024 and co-located with LOPSTR 2024, FACS 2024, FMICS 2024, • and TAP 2024. &...
PROGRAMMING LANGUAGES   FUNCTIONAL PROGRAMMING   LOGIC PROGRAMMING   DECLARATIVE PROGRAMMING  

When: Sep 9, 2024 - Sep 11, 2024 Submission Deadline: May 10, 2024
34th International Symposium on Logic-Based Program Synthesis • and Transformation (LOPSTR 2024). • Part of FM 2024 and co-located with PPDP 2024, FACS 2024, FMICS 2024, • and TAP 2...
PROGRAM TRANSFORMATION   PROGRAM SYNTHESIS   LOGIC BASED PROGRAM DEVELOP.   PROGRAM AND MODEL MANIPULATION  

When: Sep 16, 2024 - Sep 20, 2024 Submission Deadline: Dec 15, 0022
CALL FOR PRESENTATIONS AND PARTICIPATION TO HIGHLIGHTS’24, AUTOMATHA’24, • AND HCRW (Bordeaux, France, 16-20 September 2024) • *HIGHLIGHTS’24* and *AUTOMATHA’24* are jointly sched...
THEORETICAL COMPUTER SCIENCE   LOGIC   GAMES   AUTOMATA  

When: May 27, 2024 - May 29, 2024 Submission Deadline: Mar 15, 2024
As a truly unique and international conference in the areas of fuzzy sets, soft computing and explainable AI, NAFIPS 2024 meeting will bring together scientists, engineers, students, and practitioner...
FUZZY LOGIC   FUZZY SETS   EVOLUTIONARY COMPUTATION   NEURAL NETWORKS  

When: Aug 21, 2024 - Aug 24, 2024 Submission Deadline: Mar 15, 2024
Call for Papers: SAT 2024 • ========================== • SAT 2024 is the 27th edition of the International Conference on Theory and Applications of Satisfiability Testing (SAT). The scope...
FORMAL METHOD   LOGIC   SATISFIABILITY   CONSTRAINT PROGRAMMING  

When: Apr 28, 2024 - Apr 30, 2024 Submission Deadline: Mar 15, 2024
This congress aims to promote logic in Africa. It is focused on Nature in a double sense. Wildlife is very important in Africa, the flora and fauna are very impressive. • This is the place wher...
LOGIC   PHILOSOPHY   AFRICAN  

When: May 26, 2024 - May 31, 2024 Submission Deadline: Feb 23, 2024
...

When: May 25, 2024 - May 26, 2024 Submission Deadline: Jan 13, 2024
• 13thInternational Conference on Soft Computing, Artificial Intelligence and Applications (SAI 2024) May 25 ~ 26, 2024, Vancouver, CanadaTopics of interest include, but are not limited to, the ...
SOFT COMPUTING   ARTIFICIAL INTELLIGENCE   FUZZY LOGIC   INFORMATION RETRIEVAL  

When: Jul 8, 2024 - Jul 12, 2024 Submission Deadline: Jan 26, 2024
The 39th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2024) will be held in Tallinn, Estonia, from 8 – 12 July. It will be colocated with ICALP 2024 and FSCD 2024. • The LICS ...

When: Jul 10, 2024 - Jul 12, 2024 Submission Deadline: Jan 20, 2024
A PDF flyer is available at: • https://www.ieaaie2024.com/wp-content/uploads/2023/06/CFP-IEAAIE-2024_v_0_2.pdf • The 37th International Conference on Industrial, Engineering & Other Appli...
DATA MINING   EVOLUTIONARY COMPUTATION   FUZZY LOGIC   OPTIMIZATION  

When: May 15, 2024 - May 17, 2024 Submission Deadline: Dec 13, 2023
============================================================================ • Call For Papers • FLOPS 2024: 17th International Symposium on Functional and Logic Programming • =====...
PROGRAMMING LANGUAGES   FUNCTIONAL PROGRAMMING   LOGIC PROGRAMMING   DECLARATIVE PROGRAMMING  

When: Feb 19, 2024 - Feb 24, 2024 Submission Deadline: Jul 31, 2023
===================================== • Call for papers (CSL'24) • https://csl2024.github.io/Home/ • Abstract submission deadline: July 24th, 2023 (AoE) • ====================...
FORMAL METHODS   LOGIC   AUTOMATA AND GAMES   THEORETICAL COMPUTER SCIENCE  

When: Jun 16, 2024 - Jun 20, 2024 Submission Deadline: Jan 15, 2024
The 23rd International Conference on Artificial Intelligence and Soft Computing ICAISC 2024 will be held in Zakopane (situated in the High Tatra mountains), Poland in June 16-20, 2023 in Bachleda Zak...
NEURAL NETWORKS   FUZZY LOGIC   EVOLUTIONARY COMPUTATION   COMPUTER VISION  

When: Sep 11, 2023 - Sep 12, 2023 Submission Deadline: Jun 10, 2023
International Workshop on Logic, AI and Law (LAIL 2023) will be held on 11th-12th September 2023, at Guanghua Law School, Zhejiang University in Hangzhou, China. The workshop is associated with the n...
LAW   ARTIFICIAL INTELLIGENCE   LOGIC  

When: Jul 10, 2023 - Jul 10, 2023 Submission Deadline: May 15, 2023
2nd International Workshop on Argumentation for eXplainable AI (ArgXAI) • Co-located with ICLP 2023 (London, UK) • In recent years, research on intelligent systems that can explain their ...
LOGIC PROGRAMMING   FORMAL METHODS   EXPLAINABLE AI  

When: Jul 9, 2023 - Jul 10, 2023 Submission Deadline: May 15, 2023
======================================================================= • CALL FOR PAPERS • MEandE-LP 2023 • 3rd Workshop on Machine Ethics and Explainability - The Role of Logic Pr...
ARTIFICIAL INTELLIGENCE   MACHINE ETHICS   EXPLAINABILITY   LOGIC PROGRAMMING  

When: Oct 11, 2023 - Oct 13, 2023 Submission Deadline: Jul 4, 2023
-------------------------------------------------- • RP 2023: Call For Papers • 11-13 October 2023 Nice, France • -------------------------------------------------- • The 17th...
THEORETICAL COMPUTER SCIENCE   LOGIC   ALGORITHMS   VERIFICATION  

When: Nov 16, 2023 - Nov 17, 2023 Submission Deadline: Sep 8, 2023
LANMR 2023 is the fifteenth edition of the Latin American Workshop series on Logic/Languages, Algorithms and New Methods of Reasoning organized by Universidad Nacional Autónoma de México through Fa...
LOGIC   AUTOMATED RESONING   FORMAL METHODS  

When: Mar 9, 2024 - Mar 10, 2024 Submission Deadline: Jan 13, 2024
2ndInternational Conference on NLP & AI (NLPAI 2024)March 09 ~ 10, 2024, Virtual ConferenceTopics of interest include, but are not limited to, the followingText Mining • Social Media and Web Ana...
TEXT MINING   COMPUTING   ROBOTICS   FUZZY LOGIC  

When: Nov 7, 2022 - Nov 9, 2022 Submission Deadline: Jun 26, 2022
****** TIME 2022 ****** • 29th International Symposium on Temporal Representation and Reasoning • 07-09 November 2022 - Online • https://time2022.time-symposium.org • *** Scop...
FORMAL METHODS   LOGIC   DATABASE   ARTIFICIAL INTELLIGENCE  

When: Mar 3, 2022 - Mar 5, 2022 Submission Deadline: Oct 2, 2022
ALI, the Association for Logic in India, announces the tenth edition of its biennial Indian Conference on Logic and its Applications (ICLA), to be held at the Indian Institute of Technology Indore, f...
FORMAL METHODS   LOGIC   THEORETICAL COMPUTER SCIENCE   ARTIFICIAL INTELLIGENCE  

When: May 10, 2022 - May 12, 2022 Submission Deadline: Dec 12, 2021
Call for Papers • FLOPS solicits original papers in all areas of declarative programming: • functional, logic, functional-logic programming, rewriting systems, formal methods and model ch...




Find and Compare Upcoming Logic 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