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
ICAKMPET 2022: 3rd International Conference on Advancing Knowledge from Multidisciplinary Perspectives in Engineering & Technology
Turkey
Dec 23, 2022
ICMRP 2022: International Conference On Multidisciplinary Research and Practices
Phuket
Nov 22, 2022
FAVPQC 2022: International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols
TBD
Oct 24, 2022
MASE 2022: Modeling in Automotive System and Software Engineering Workshop
Montreal, Canada
Oct 23, 2022
Open Theology / call for proposals for t 2022: Open Theology / call for proposals for topical issues 2023
Online
May 25, 2022
RCRA 2022: 29th RCRA workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion
Genova, Italy
Sep 5, 2022
ECIR 2023: 45th European Conference on Information Retrieval
Dublin, Ireland
Apr 2, 2023
PDCTA 2022: 11th International Conference on Parallel, Distributed Computing Technologies and Applications
London, United Kingdom
Jul 30, 2022
NC 2022: 10th International Conference of Networks and Communications
Toronto, Canada
Jul 23, 2022
Open-SOFOS 2022: Open Data Science for Food Security
Online Event
Sep 19, 2022
CCY 2022: The 4th World Conference on Children and Youth (CCY 2022)
Virtual Conference
Jul 7, 2022
ICMLSC 2023: ACM--2023 The 7th International Conference on Machine Learning and Soft Computing (ICMLSC 2023)
Chongqing, China
Jan 5, 2023
ACM ICMLSC 2023: ACM--2023 The 7th International Conference on Machine Learning and Soft Computing (ICMLSC 2023)
Chongqing, China
Jan 5, 2023
ACIE--EI 2023: 2023 The 3rd Asia Conference on Information Engineering (ACIE 2023)
Chongqing, China
Jan 5, 2023
ACIE 2023: 2023 The 3rd Asia Conference on Information Engineering (ACIE 2023)
Chongqing, China
Jan 5, 2023
IPMV--Ei 2023: 2023 5th International Conference on Image Processing and Machine Vision (IPMV 2023)
Macau, China
Jan 13, 2023
IPMV 2023: 2023 5th International Conference on Image Processing and Machine Vision (IPMV 2023)
Macau, China
Jan 13, 2023
ICESP--EI 2023: 2023 4th International Conference on Electronics and Signal Processing (ICESP 2023)
Macau, China
Jan 13, 2023
ICESP 2023: 2023 4th International Conference on Electronics and Signal Processing (ICESP 2023)
Macau, China
Jan 13, 2023
WSES--Ei 2022: 2022 The 3rd World Symposium on Electrical Systems (WSES 2022)
Sanya, Hainan, China
Dec 9, 2022