IMPACT FACTOR JOURNAL RANKING CONFERENCE RANKING Conferences Journals Workshops Seminars SYMPOSIUMS MEETINGS BLOGS LaTeX 5G Tutorial
 

Logic Events

Find Events


Submission Deadline: Jan 09, 2021
International Journal of Instrumentation and Control Systems (IJICS) is a Quarterly open access peer-reviewed journal that publishes articles which contribute new results in all areas of Instrumentati...
CONTROL   COMPUTING   FUZZY LOGIC  

When: Jul 24, 2021 - Jul 26, 2021 Submission Deadline: Jan 10, 2021
The 2021 17th International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery (ICNC-FSKD 2021) will be held from 24-26 July 2021 in Guiyang, China. Guiyang is the capital o...
NEURAL NETWORKS   FUZZY LOGIC   DATA MINING  

When: Jan 14, 2021 - Jan 14, 2021 Submission Deadline: Jan 10, 2021
The ability to think is one of the most defining features of humankind. In different cultures, the definition of humanity is associated with concepts such as consciousness, knowledge and reason. Accor...
LOGIC   PHILOSOPHY   MATHEMATICS   COMPUTER SCIENCE  

When: Aug 30, 2021 - Sep 03, 2021 Submission Deadline: Mar 22, 2021
The International Conference on Field-Programmable Logic and Applications (FPL) was the first and remains the largest conference covering the rapidly growing area of field-programmable logic and recon...
FPGA  

When: Jan 14, 2021 - Jan 14, 2021 Submission Deadline: Mar 22, 2021
We will be celebrating the World Logic Day 2021 on a digital hub featuring: livestream of the Vienna Logic Day Lecture 2021 with Prof. Georg Gottlob on the future of logic in...
MATHEMATICS   LOGIC   ARTIFICIAL INTELLIGENCE   FORMAL METHODS  

When: May 16, 2021 - May 19, 2021 Submission Deadline: Nov 17, 2020
Today, people working in Natural Language Processing (NLP) domain, especially Semantic, Logics and Information Extraction (SLIE), are often members of interdisciplinary teams, including computer scien...
NLP   INFORMATION EXTRACTION   LOGIC  

When: Dec 15, 2020 - Dec 17, 2020 Submission Deadline: Sep 15, 2020
XXIII GA Conference will run as virtual conference, organized by Argenia Ass. with the support of METID, Politecnico di Milano University. • Starting since 1998, the annual Generative Art confere...
GENERATIVE ART, DESIGN, MUSIC   ALGORITHMS AND CHAOTIC SYSTEMS   SINGULARITY AND AI   POETRY AND POETIC LOGIC  

When: Jan 18, 2021 - Jan 19, 2021 Submission Deadline: Oct 09, 2020
The paradigm of declarative languages encompasses several well-established classes of programming languages, namely: functional, logic, and constraint programming languages.These languages h...
FUNCTIONAL PROGRAMMING   LOGIC PROGRAMMING   CONSTRAINT PROGRAMMING   DECLARATIVE PROGRAMMING  

When: Jun 20, 2021 - Jun 24, 2021 Submission Deadline: Nov 20, 2020
The 20th International Conference on Artificial Intelligence and Soft Computing ICAISC 2021 will be held in Zakopane (situated in the High Tatra mountains), Poland in June 20-24, 2021 in Mercure Zakop...
NEURAL NETWORK   FUZZY LOGIC   EVOLUTIONARY COMPUTATION   COMPUTER VISION  

When: Sep 17, 2020 - Sep 18, 2020 Submission Deadline: Jul 13, 2020
 Since its introduction in the late 1980s, Answer Set Programming (ASP) has been widely applied to various knowledge-intensive tasks and combinatorial search problems. ASP was foun...
LOGIC  

When: Nov 15, 2020 - Nov 20, 2020 Submission Deadline: Jul 24, 2020
A number of publications on middleware and language design – so-called reactive and event-based languages and systems (REBLS) – have already seen the light, but the field still raises seve...
REACTIVE PROGRAMMING   REACTIVE SYSTEMS   EVENT PROGRAMMING   TEMPORAL LOGIC  

When: Nov 08, 2020 - Nov 12, 2020 Submission Deadline: May 31, 2020
The purpose of the World Congress on Logic and Religion (WoCoLoR) series is to bridge this gap by providing a place where scholars from all fields, as well as theologians of all religions, can come to...
MATHEMATICS   RELIGION   PHILOSOPHY   THEOLOGY  

When: Oct 19, 2020 - Oct 21, 2020 Submission Deadline: Jul 03, 2020
The institut de recherche en informatique fondamentale at Université de Paris organises the 14th International Conference on Reachability Problems (RP'20). Papers pre...
COMPUTER SCIENCE   ALGORITHMS   LOGIC  

When: Sep 25, 2020 - Sep 26, 2020 Submission Deadline: Jul 03, 2020
The workshop is the main official initiative supported by OVERLAY, presenting the research group and its current results to the Italian AI scientific community. The event aims at establishing a stable...
ARTIFICIAL INTELLIGENCE   LOGIC  

When: Sep 14, 2020 - Sep 14, 2020 Submission Deadline: Jun 29, 2020
In the area of ontologies for Knowledge representation and reasoning, knowledge is rarely considered as a monolithic and static structure: partitioning knowledge into distinct modular structures is ce...
KNOWLEDGE REPRESENTATION   LOGIC   ARTIFICIAL INTELLIGENCE   SEMANTIC WEB  

When: Jun 30, 2020 - Jun 30, 2020 Submission Deadline: May 22, 2020
To submit a nomination for the SIGLOG/VCLA/ILLC Travel Awards please submit: Basic information about the applicant Information about her/their accepted WiL 2020 contribution A statement abou...
COMPUTER SCIENCE   WOMEN  

When: Sep 01, 2020 - Sep 04, 2020 Submission Deadline: May 01, 2020
International Symposium on Symbolic and Numeric Algorithms for Scientific Computing is an international conference that aims to stimulate the interaction between the two scientific comm...
NUMERICAL COMPUTATION   LOGIC AND PROGRAMMING   ARTIFICIAL INTELLIGENCE  

When: Sep 16, 2020 - Sep 20, 2020 Submission Deadline: Apr 20, 2020
To submit a contribution send a one page abstract before April 20 2020 to: [email protected] All talks related to the square of opposition are welcomed, in particular those falling ...
LOGIC   PHILOSOPHY   MATHEMATICS   ARTS  

When: Jun 30, 2020 - Jun 30, 2020 Submission Deadline: May 22, 2020
It is our pleasure to announce the call for the SIGLOG/VCLA/ILLC Travel Awards for attendees of Women in Logic Workshop 2020. Thanks to the generous support of SIGLOG, the Vienna Center for Logic a...
WOMEN   AWARDS  

When: Jun 30, 2020 - Jun 30, 2020 Submission Deadline: Apr 22, 2020
Women in Logic 2020 is part of "Paris Nord Summer of LoVe 2020", a joint event on LOgic and VErification at Université Paris 13, made of Petri Nets 2020, IJCAR 2020, FSCD 2020, a...
ARTIFICIAL INTELLIGENCE   BIOINFORMATICS   FORMAL METHODS  

When: Sep 27, 2020 - Sep 30, 2020 Submission Deadline: Apr 24, 2020
Agent-based Computing addresses the challenges in managing distributed computing systems and networks through monitoring, communication, consensus-based decision-making and coordinated actuation. As a...
MULTI-AGENT SYSTEMS   LOGIC AND REASONING   HUMAN-AGENT INTERACTION   ARTIFICIAL INTELLIGENCE  

When: Aug 31, 2020 - Aug 31, 2020 Submission Deadline: Jun 26, 2020
The EXPRESS workshops aim at bringing together researchers interested in the expressiveness of various formal systems and semantic notions, particularly in the field of concurrency. Their focus has tr...
FORMAL METHODS   SEMANTICS   THEORETICAL COMPUTER SCIENCE   LOGIC  

When: Jun 29, 2020 - Jun 29, 2020 Submission Deadline: Apr 20, 2020
The 34th International Workshop on Unification is part of "Paris Nord Summer of LoVe 2020", a joint event on LOgic and VErification at Université Paris 13, made of Petri Nets 2020, IJCAR 2020, ...
AUTOMATED REASONING   LOGIC   UNIFICATION   CONSTRAINT SOLVING  

When: May 22, 2020 - May 27, 2020 Submission Deadline: Feb 15, 2020
The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the...
ARTIFICIAL INTELLIGENCE   LOGIC PROGRAMMING   COMPUTATIONAL COMPLEXITY   SYSTEMS ENGINEERING  

When: Jun 09, 2020 - Jun 09, 2020 Submission Deadline: Mar 08, 2020
Since the emergence of the field of logic programming more than 30 years ago, a lot of theoretical work has been done for example with respect to different semantics and their properties. More recentl...
COMPUTER SCIENCE   ARTIFICIAL INTELLIGENCE   LOGIC   EDUCATION  

When: Sep 18, 2020 - Sep 24, 2020 Submission Deadline: May 15, 2020
The 36th International Conference on Logic Programming (ICLP 2020) will take place from the 18th to the 24nd of September 2020 in Rende (CS), Italy, with the main program starting immediately after&nb...
CONSTRAINT LOGIC PROGRAMMING   OPERATIONS RESEARCH   CONSTRAINT SATISFACTION   LOGIC PROGRAMMING  

When: Sep 2, 2019 - Sep 5, 2019 Submission Deadline: Aug 8, 2019
Call for Posters and Lightning Talks • The 1st International Summer School on Security & Privacy for Blockchains and Distributed Ledger Technologies (BDLT) invites posters and lightning talks to...
BLOCKCHAIN   SECURITY   LOGIC   MATHEMATICS  

When: May 17, 2020 - May 20, 2020 Submission Deadline: Nov 18, 2019
Today, people working in Natural Language Processing (NLP) domain, especially Semantic, Logics and Information Extraction (SLIE), are often members of interdisciplinary teams, including computer scien...
NLP & IA   INFORMATION EXTRACTION   SEMANTIC   LOGIC  

When: Sep 20, 2019 - Sep 25, 2019 Submission Deadline: Aug 19, 2019
PLP-2019: The Sixth Workshop on Probabilistic Logic Programming • ---------------------------------------------------------------- • A workshop of 35th International Conference on Logic Pr...

When: Oct 18, 2019 - Oct 21, 2019 Submission Deadline: Jul 15, 2019
Supported by Saga University, the 5th International Conference on Fuzzy Systems and Data Mining (FSDM2019) will be held during October 18-21, 2019 in conjunction with the 9th International Conference ...
FUZZY THEORY   FUZZY APPLICATION   DATA MINING   APPLICATIONS OF FUZZY 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.

Events Recently Added
LBIS 2021: Law, Business and Innovation Studies (LBIS) Conference
London
Sep 09, 2021
SEFM 2021: The 19th edition of the International Conference on Software Engineering and Formal Methods
Virtual
Dec 06, 2021
AMICT 2021: 15th Workshop on Advances in Methods of Information and Communication Technology
Oulu, Finland
Oct 28, 2021
SEA 2021: 10th International Conference on Software Engineering and Applications
Copenhagen, Denmark
Jun 19, 2021
ICPaH 2021: International Conference Photography and History
Funchal (Portugal)
Dec 15, 2021
SoICT 2021: THE 11TH INTERNATIONAL SYMPOSIUM ON INFORMATION AND COMMUNICATION TECHNOLOGY
Hanoi, Vietnam
Dec 02, 2021
RAID 2021: Research in Attacks, Intrusions and Defenses
Donostia / San Sebastian, Spain
Oct 06, 2021
CCCG 2021: Canadian Conference on Computational Geometry
Halifax, Nova Scotia, Canada
Aug 10, 2021
SOENG 2021: 7th International Conference on Software Engineering
Copenhagen, Denmark
Apr 24, 2021
SILM 2021: 3rd Workshop on the Security of Software / Hardware Interfaces
Online
Sep 06, 2021
DLonSC 2021: The 6th International Workshop on Deep Learning on Supercomputers
Frankfurt, Germany
Jul 02, 2021
PACBB 2021: 15th International Conference on Practical Applications of Computational Biology & Bioinformatics
Salamanca, Spain
Oct 06, 2021
ICNLP 2021: 3rd International Conference on Natural Language Processing
Beijing, China
Mar 26, 2021
FGIP 2021: International Workshop on Frontiers of Graphics and Image Processing
Xi'an, China
May 21, 2021
ICICA 2021: 10th International Conference on Intelligent Computing and Applications
Melbourne, Australia
Jun 25, 2021
ICCMS 2021: The 13th International Conference on Computer Modeling and Simulation
Melbourne, Australia
Jun 25, 2021
ICITIES 2021: SECOND INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGIES IN EDUCATION AND SCIENCE
Melitopol, Ukraine
Jun 10, 2021
IJCTCM 2021: International Journal of Control Theory and Computer Modelling

IPPR 2021: 7th International Conference on Image Processing and Pattern Recognition
Copenhagen, Denmark
Apr 24, 2021
ITCSE 2021: 10th International Conference on Information Technology Convergence and Services
Sydney, Australia
Jun 26, 2021