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

Logic Events

Find Events


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...

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  

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  

When: Jun 18, 2023 - Jun 22, 2023 Submission Deadline: Nov 20, 2022
The 22nd International Conference on Artificial Intelligence and Soft Computing ICAISC 2023 will be held in Zakopane (situated in the High Tatra mountains), Poland in June 18-22, 2023 in Mercure Zako...
NEURAL NETWORKS   FUZZY LOGIC   EVOLUTIONARY COMPUTATION   COMPUTER VISION  

When: Jul 4, 2022 - Jul 4, 2022 Submission Deadline: May 20, 2022
**************************************** • STRUCTURE MEETS POWER 2022 • (an ICALP workshop) • Call for Contributions • **************************************** • Worksho...
FINITE MODEL THEORY   SEMANTICS   DESCRIPTIVE COMPLEXITY   MATHEMATICAL LOGIC  

When: Sep 12, 2022 - Sep 16, 2022 Submission Deadline: Jun 5, 2022
The Brazilian Logic Conference (EBL) is a traditional event organized by the Brazilian Logic Society (SBL) since 1979. It gathers logicians from all research areas - Foundations and Philosophy of Sci...
LOGIC   FORMAL METHODS   THEORETICAL COMPUTER SCIENCE  

When: Feb 13, 2023 - Feb 17, 2023 Submission Deadline: Jul 16, 2022
CSL is the annual conference of the European Association for Computer Science Logic (EACSL). • It is an interdisciplinary conference, spanning across both basic and application oriented researc...
FORMAL METHODS   LOGIC  

When: Aug 11, 2022 - Aug 12, 2022 Submission Deadline: Apr 26, 2022
8TH WORKSHOP ON PRACTICAL ASPECTS OF AUTOMATED REASONING • Co-located with FLoC/IJCAR 2022, August 11-12, 2022, Haifa, Isreal • General Information • The Eighth Workshop on Practica...
ARTIFICIAL INTELLIGENCE   FORMAL METHODS   LOGIC   MACHINE LEARNING  

When: Sep 29, 2022 - Oct 1, 2022 Submission Deadline: May 6, 2022
Urteile der Logik, Logik der Urteile • 29.09.-01.10.2022 • FernUniversität in Hagen, Universitätsstr. 33, KSW Raum 1+2 • Organisation: Jens Lemanski, Andrea Reichenberger • ...
PHILOSOPHY   LOGIC   LINGUISTICS   HISTORY  

When: Jul 23, 2022 - Jul 25, 2022 Submission Deadline: May 20, 2022
The First International Workshop on Spatio-Temporal Reasoning and Learning (STRL), collocated with IJCAI-ECAI 2022 (https://ijcai-22.org/) • Website: https://strl2022.github.io/ • Introdu...
ARTIFICIAL INTELLIGENCE   MACHINE LEARNING   LOGIC   DATA SCIENCE  

When: Jul 31, 2022 - Jul 31, 2022 Submission Deadline: May 10, 2022
This workshop is affiliated with 38th International Conference on Logic Programming (ICLP2022) • ************************************************************************************************...
ARTIFICIAL INTELLIGENCE   MACHINE ETHICS   EXPLAINABILITY   LOGIC PROGRAMMING  

When: Jun 19, 2022 - Jun 23, 2022 Submission Deadline: May 10, 2022
The 21st International Conference on Artificial Intelligence and Soft Computing ICAISC 2022 will be held in Zakopane (situated in the High Tatra mountains), Poland in June 19-23, 2022 in Mercure Zako...
NEURAL NETWORKS   FUZZY LOGIC   EVOLUTIONARY COMPUTATION   COMPUTER VISION  

When: Sep 5, 2022 - Sep 8, 2022 Submission Deadline: Apr 30, 2022
The Sixth World Congress of Paraconsistency in Toruń (WCP6) - • the Second Stanisław Jaśkowski Memorial Symposium, • 5-8 September 2022, Toruń, Poland • https://wcp6.umk.pl &bu...
PARACONSISTENT LOGIC   PHILOSOPHICAL LOGIC   NON-CLASSICAL LOGIC   LOGIC  

When: Jul 18, 2022 - Jul 21, 2022 Submission Deadline: Apr 18, 2022
The International Workshop on Logic and Synthesis is the premier forum for research in • synthesis, optimization, and verification of integrated circuits ans systems. Research on logic synthesi...
LOGIC   VERIFICATION   FORMAL METHODS   OPTIMIZATION  

Submission Deadline: Jun 4, 2022
International Journal of Instrumentation and Control Systems (IJICS)Scope and TopicsInternational Journal of Instrumentation and Control Systems (IJICS) is a Quarterly open access peer-reviewed journa...
CONTROL   ROBUST   COMPUTING   FUZZY LOGIC  

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: Jun 14, 2022 - Jun 14, 2022 Submission Deadline: Apr 1, 2022
KR4HI is the first International Workshop on Knowledge Representation for Hybrid intelligence which will be co-located with the first international conference on Hybrid-Human Artificial Intelligence ...
AS ARTIFICIAL INTELLIGENCE   KNOWLEDGE ENGINEERING   FORMAL METHODS   LOGIC  

When: Jul 31, 2022 - Aug 1, 2022 Submission Deadline: May 20, 2022
2022 Joint Workshop Linearity & TLLA • Haifa, Israel • 31 July - 1 August 2022 • ======================================================== • FIRST Call for Papers • 3rd J...
LOGIC   FORMAL METHODS   THEORETICAL COMPUTER SCIENCE   PROGRAMMING LANGUAGES  

When: Jun 28, 2022 - Jul 1, 2022 Submission Deadline: Mar 18, 2022
*CALL FOR PRESENTATIONS* • HIGHLIGHTS 2022 will happen from June 28th to July 1st, 2022, in Paris, • France. The conference will be hosted by Université de Paris, and happen on • t...
THEORETICAL COMPUTER SCIENCE   LOGIC   GAMES   AUTOMATA  

When: Jun 13, 2022 - Jun 17, 2022 Submission Deadline: Apr 29, 2022
Interaction and Concurrency Experience (ICE) is a series of • international scientific meetings oriented to theoretical computer • science researchers with special interest in models, ver...
FORMAL METHODS   LOGIC   VERIFICATION  

Submission Deadline: Jun 30, 2022
Dear Colleagues, • Information Science Journal is currently running a Special Issue entitled "Recent Advances in Fuzzy Deep Learning for Uncertain Medicine Data": https://www.journals.elsevier....
ARTIFICIAL INTELLIGECNE   DEEP LEARNING   FUZZY LOGIC   UNCERTAIN MEDICINE DATA  

When: Jun 30, 2024 - Jul 5, 2024 Submission Deadline: Jun 30, 2022
On behalf of the IEEE WCCI 2024 Organizing Committee, it is our great pleasure to invite you to the bi-annual IEEE World Congress on Computational Intelligence (IEEE WCCI), the world’s largest tech...
ARTIFICIAL INTELLIGENCE   NEURAL NETWORKS   FUZZY LOGIC   EVOLUTIONARY COMPUTATION  

When: May 29, 2022 - May 29, 2022 Submission Deadline: Mar 12, 2022
*Workshop on Modular Knowledge (1st edition), co-located with ESWC 2022* • https://mk2022.fbk.eu/ • *** EXTENDED DEADLINES *** • *Third Call for Papers* • We invite submission...
KNOWLEDGE REPRESENTATION   LOGIC   ARTIFICIAL INTELLIGENCE   SEMANTIC WEB  

Submission Deadline: Jun 30, 2022
GUEST EDITORS: • * Dr. S. Arumugam (Lead Guest Editor), Kalasalingam Academy of Research and Education, India • * Dr. Mehrdad Jalali, Karlsruhe Institute of Technology, Germany • * ...
INTELLIGENT SYSTEMS   ARTIFICIAL INTELLIGENCE   PATTERN RECOGNITION   TECHNOLOGY  

When: Sep 5, 2022 - Sep 8, 2022 Submission Deadline: Apr 30, 2022
[Apologies in case of multiple posting] • Call for Papers • --------------------------------------------------------------------------------------------- • 16th International Confer...
LOGIC PROGRAMMING   NON-MONOTONIC REASONING   KNOWLEDGE REPRESENTATION  

When: Jul 31, 2022 - Aug 1, 2022 Submission Deadline: May 10, 2022
========================================================== • First Call for Contributions • FOMEO'22 Formal Methods Education Online: Tips, Tricks & Tools • Collocated with FLoC'22 ...
FORMAL METHODS   LOGIC  

When: Sep 24, 2022 - Sep 25, 2022 Submission Deadline: May 28, 2022
8th International Conference on Artificial Intelligence and Fuzzy Logic Systems (AIFZ 2022)September 24 ~ 25, 2022, Toronto, CanadaTopics of interest include, but are not limited to, the followingArti...
ARTIFICIAL INTELLIGENCE   BIOINFORMATICS   NEURAL NETWORKS   ROBOTICS  




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
ICSTR 2023: 5th International Conference on Stem Cells, Tissue Engineering & Regenerative Medicine
Rome, Italy
May 18, 2023
ASLE/ASEAN 2023: 5th ASLE-ASEAN Ecocritical Conference: Posthuman Southeast Asia
Chiang Rai, Thailand
Nov 23, 2023
ICGEEE 2022: 7th INTERNATIONAL CONFERENCE ON GLOBALIZATION, ENTREPRENEURSHIP AND EMERGING ECONOMIES (ICGEEE)-2022
Virtual Conference
Dec 8, 2022
WAMTA 2023: Workshop on Asynchronous Many-Task Systems and Applications
Baton Rouge, LA, USA
Feb 15, 2023
RTNS 2023: International conference on Real-Time Networks and Systems
Dortmund, Germany
Jun 7, 2023
DFAfrica 2022: Digital Finance Africa 2022
Rivonia Rd &, Grayston Dr, Sandton.
Sep 22, 2022
Nature Scientific Reports 2022: Special Issue on Bioinspired Robotic Locomotion
n/a
Jun 1, 2022
4 Elements of Fashion 2023: INTERNATIONAL FASHION CONFERENCE: EARTH, WATER, AIR, AND FIRE: THE FOUR ELEMENTS OF FASHION
Venice, Italy
Mar 16, 2023
DV2-AVSS 2022: DeepView2 AVSS
Online
Nov 29, 2022
KST 2023: 2023 15th International Conference on Knowledge and Smart Technology (KST)
Novotel Vintage Park, Phuket, Thailand
Feb 21, 2023
St. John's Law Review Symposium 2022: St. John's Law Review Symposium: 40th Anniversary of Plyler v. Doe and Immigration Law in the United States
Zoom
Nov 4, 2022
DISCC 2022: First Workshop on Data Integrity and Secure Cloud Computing
Chicago, Illinois, USA
Oct 2, 2022
DGE&D 2022: Decoloniality, Gender, Equity & Diversity - International Conference
University of Johannesburg
Nov 3, 2022
DMBD 2022: The Seventh International Conference on Data Mining and Big Data
Beijing
Nov 21, 2022
Book_Algorithm 2023: Novel Research and Development Approaches in Heterogeneous Systems and Algorithms
USA
Jan 1, 2000
IAIM 2023: International Conference on Artificial Intelligence and Machine Learning
Chennai, India
Mar 29, 2023
ETTIS 2023: 3rd International Conference on Emerging Trends and Technologies on Intelligent Systems
New Delhi, India
Feb 23, 2023
AISC 2023: IEEE International Conference on Artificial Intelligence and Smart Communication
Noida, India
Jan 27, 2023
ICDMAI 2023: 7th International Conference on Data Management, Analytics and Innovation
Pune, India
Jan 20, 2023
ETCIA 2023: International Conference on Emerging Trends in Computational Intelligence and Applications
Bhopal, India
Jan 27, 2023