 |
||
| 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 | ||
 FPL 2024 : Field-Programmable Logic and ApplicationsTurin, Italy |
||
| When: Sep 2, 2024 - Sep 6, 2024 Submission Deadline: May 6, 2024 | ||
| ... | ||
 CONCUR 2024 : International Conference on Concurrency TheoryCalgary, Canada |
||
| 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 | ||
 Highlights 2024 : Highlights of Logic, Games and AutomataBordeaux, France |
||
| 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 | ||
 NAFIPS 2024 : International Conference on Fuzzy Systems, Soft Computing, and Explainable AISouth Padre Island, Texas, USA |
||
| 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 | ||
 ALC 2024 : 1st pan African logic CongressBritish University in Egypt |
||
| 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 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 | ||
LICS 2024 : Logic in Computer ScienceTallinn, Estonia |
||
| 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 ... | ||
IEA/AIE 2024 : 37th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent SystemsHradec Kralove, Czech Republic |
||
| 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 | ||
LAIIL 2023 : International Workshop on Logic, AI and LawHybrid mode, Hangzhou, China |
||
| 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 | ||
ArgXAI 2023 : 2nd International Workshop on Argumentation for eXplainable AIImperial College London London, UK, |
||
| 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 | ||
 MEandE-LP 2023 : 3rd International Workshop on Machine Ethics and Explainability - The Role of Logic ProgrammingImperial College London, UK |
||
| 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 | ||
NLPAI 2024 : 2nd International Conference on NLP & AIVirtual Conference |
||
| 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: Sep 5, 2022 - Sep 5, 2022 Submission Deadline: Jun 30, 2022 | ||
| In the last decades, deductive reasoning has been widely used in several fields such as planning, scheduling problems, robotics controls applications, and many others thanks to its ability in develop... | ||
| LOGIC PROGRAMMING DEDUCTIVE REASONING INDUCTIVE REASONING MACHINE LEARNING | ||
RP 2022 : Reachability ProblemsKaiserslautern |
||
| When: Oct 17, 2022 - Oct 21, 2022 Submission Deadline: Jun 28, 2022 | ||
| The 16th International Conference on Reachability Problems (RP'22) will be organised by the Max Planck Institute for Software Systems (MPI-SWS) and the University of Kaiserslautern. • In 2020 a... | ||
| THEORETICAL COMPUTER SCIENCE LOGIC ALGORITHMS VERIFICATION | ||
|
|
||
| When: Sep 12, 2022 - Sep 15, 2022 Submission Deadline: Jun 1, 2022 | ||
| SYNASC aims to stimulate the interaction among multiple communities focusing on defining, optimizing and executing complex algorithms in several application areas. The focus of the conference ranges ... | ||
| MATHEMATICS ARTIFICIAL INTELLIGENCE FORMAL METHODS LOGIC | ||
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.
