resurchify Conferences Journals Workshops Seminars
      
SYMPOSIUMS MEETINGS CONFERENCE RANKING JOURNAL RANKING IMPACT FACTOR BLOGS



LOGIC EVENTS

Filter: logic

Country



Categories



SLIE 2021 : Semantic, Logics, Information Extraction and AI
North-Miami Beach
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 scientists, experts in artificial intelligence, mathematicians, statisticians, logicians, linguists, phil...
NLP   INFORMATION EXTRACTION   LOGIC  
GA 2020 : XXIII Generative Art conference
Virtual
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 conferences are the international leading meetings involving researchers, Ph.D. and creative people perform...
GENERATIVE ART, DESIGN, MUSIC   ALGORITHMS AND CHAOTIC SYSTEMS   SINGULARITY AND AI   POETRY AND POETIC LOGIC  
PADL 2021 : 23rd International Symposium on Practical Aspects of Declarative Languages
Copenhagen, Denmark
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 have been successfully applied to many different real-world situations, ranging from database managem...
FUNCTIONAL PROGRAMMING   LOGIC PROGRAMMING   CONSTRAINT PROGRAMMING   DECLARATIVE PROGRAMMING  
ICAISC 2021 : The 20th International Conference on Artificial Intelligence and Soft Computing
Zakopane, Poland
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 Zakopane Kasprowy Hotel. The conference will provide an excellent opportunity for scientists and engineer...
NEURAL NETWORK   FUZZY LOGIC   EVOLUTIONARY COMPUTATION   COMPUTER VISION  
ICCBS 2021 : 8th International Conference on Chemical and Biological Sciences
Tokyo, Japan
When: Feb 25, 2021 - Feb 28, 2021 Submission Deadline: Oct 10, 2020
The aim objective of ICCBS 2021 is to provide a platform for researchers, engineers, academicians as well as industrial professionals from all over the world to present their research results and development activities in Chemical and Biological Sciences. ICCBS 2021 provides opportunities for t...
CHEMISTRY   BIOLOGICAL SCIENCE   BIOMEDICAL ENGINEERING   MEDICINE  
ASPOCP 2020 : 13th Workshop on Answer Set Programming and Other Computing Paradigms
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 found to be closely related to SAT, which led to a new method of computing answer sets using S...
LOGIC  
REBLS 2020 : 7th Workshop on Reactive and Event-based Languages & Systems
Chicago, USA
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 several questions. For example, the interaction with mainstream language concepts is poorly understood, ...
REACTIVE PROGRAMMING   REACTIVE SYSTEMS   EVENT PROGRAMMING   TEMPORAL LOGIC  
ICBSE 2020 : International Conference on Biological Science and Engineering
Xi’an, Shaanxi, China
When: Dec 18, 2020 - Dec 19, 2020 Submission Deadline: Jul 06, 2020
 ICBSE2020 aims to offer an opportunity for biological researchers, scholars and engineers to exchange new ideas and share the latest research outcomes. The conference is organized by Science & Engineering Research Center(S&E), an independent, nonprofit research and development organization, an...
BIOLOGICAL SCIENCE   PHARMACEUTICS   BIOINFORMATICS  
RP 2020 : 14th International Conference on Reachability Problems
Paris, France
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 presenting original contributions related to reachability problems in different computational models an...
COMPUTER SCIENCE   ALGORITHMS   LOGIC  
OVERLAY 2020 : 2nd Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis
Bolzano, Italy
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, long-term scientific forum on relevant topics connected to the relationships between Artificial In...
ARTIFICIAL INTELLIGENCE   LOGIC  
WOMoCoE 2020 : 5th International Workshop on Ontology Modularity, Contextuality, and Evolution
Bolzano, Italy
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 central to organize knowledge bases, from their design to their management, from their maintenance to ...
KNOWLEDGE REPRESENTATION   LOGIC   ARTIFICIAL INTELLIGENCE   SEMANTIC WEB  
SYNASC 2020 : 22th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
Timisoara
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 communities of symbolic and numeric computing and to exhibit interesting applications of the areas ...
NUMERICAL COMPUTATION   LOGIC AND PROGRAMMING   ARTIFICIAL INTELLIGENCE  
SQUARE 2020 : 7th World Congress on the Square of Opposition
Leuven, Belgium
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: leuven2020@square-of-opposition.org. All talks related to the square of opposition are welcomed, in particular those falling under the categories below. Diagrammatic and Artistic works related to the square of opposition are ...
LOGIC   PHILOSOPHY   MATHEMATICS   ARTS  
PRIMA 2020 : The 23nd International Conference on Principles and Practice of Multi-Agent Systems
Nagoya, Japan
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 result, intelligent agents and multi-agent systems have demonstrated the capability to use intellig...
MULTI-AGENT SYSTEMS   LOGIC AND REASONING   HUMAN-AGENT INTERACTION   ARTIFICIAL INTELLIGENCE  
EXPRESS/SOS 2020 : Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics
Vienna, Austria
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 traditionally been on the comparison between programming concepts (such as concurrent, functional, imp...
FORMAL METHODS   SEMANTICS   THEORETICAL COMPUTER SCIENCE   LOGIC  
COMELA 2020 : Conference on Mediterranean and European Linguistic Anthropology
American College of Greece Athens, Greec
When: Sep 02, 2020 - Sep 05, 2020 Submission Deadline: Apr 01, 2020
The politics of identity are central to language change. Here, linguistic boundaries rise and fall, motivating the ephemeral characteristics of language communities. The Mediterranean and European regions are replete with histories, and with power struggles, that demarcate nation, ethnicity, and com...
ANTHROPOLOGICAL LINGUISTICS   SOCIOLINGUISTICS   LANGUAGE SOCIALIZATION   LANGUAGE IDEOLOGIES   LANGUAGE  
UNIF 2020 : 34th International Workshop on Unification
Paris, France
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, FSCD 2020, and over 20 satellite events. UNIF 2020 will be the 34th in a series of annual interna...
AUTOMATED REASONING   LOGIC   UNIFICATION   CONSTRAINT SOLVING  
SA 2020 : 2nd International Conference on Societal Automation
Funchal, Madeira, Portugal
When: Sep 09, 2020 - Sep 11, 2020 Submission Deadline: Apr 12, 2020
The 4th Industrial Revolution and emerging Societal Automation initiatives deeply rooted in advances in Electronics, Communication, and Computer Science has been heralded by numerous visionary initiatives sponsored and advanced by industry, private consortia, and governments alike, all over the indu...
COMPUTER SCIENCE   SOCIETAL AUTOMATION   TECHNOLOGICAL SINGULARITY   SYSTEM ENGINEERING  
LPAR 2020 : 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Alicante, Spain
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 areas of logic, automated reasoning, computational logic, programming languages and their...
ARTIFICIAL INTELLIGENCE   LOGIC PROGRAMMING   COMPUTATIONAL COMPLEXITY   SYSTEMS ENGINEERING  
IULP 2020 : 3rd International Workshop on User-Oriented Logic Paradigms
Santiago de Compostela, Spain
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 recently, implementations and IDEs emerged which have been used for various problem-solving applications. H...
COMPUTER SCIENCE   ARTIFICIAL INTELLIGENCE   LOGIC   EDUCATION  
ICLP 2020 : The 36th International Conference on Logic Programming
Rende, Italy
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 KR 2020 . It will be hosted by the Department of Mathematics and Computer Science of the Uni...
CONSTRAINT LOGIC PROGRAMMING   OPERATIONS RESEARCH   CONSTRAINT SATISFACTION   LOGIC PROGRAMMING  
BDLT 2019 : Call for Posters and Lightning Talks for International Summer School on Security & Privacy for Blockchains and Distributed Ledger Technologies - BDLT19
Vienna
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 showcase work-in-progress and already-published research. • The BDLT19 is jointly organized b...
BLOCKCHAIN   SECURITY   LOGIC   MATHEMATICS  
SLIE 2020 : Semantic, Logics, Information Extraction and AI
North Miami Beach
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 scientists, experts in artificial intelligence, mathematicians, statisticians, logicians, linguists, phil...
NLP & IA   INFORMATION EXTRACTION   SEMANTIC   LOGIC  
BICT 2020 : 12th EAI International Conference on Bio-inspired Information and Communications Technologies
Shanghai, People's Republic of China
When: Jul 7, 2020 - Jul 8, 2020 Submission Deadline: Dec 15, 2019
Scope • BICT 2020 aims to provide a world-leading and multidisciplinary venue for researchers and practitioners in diverse disciplines that seek the understanding of key principles, processes and mechanisms in biological systems and leverage those understandings to develop novel information an...
BIOLOGICAL SYSTEMS   COMPUTING   COMPUTATIONAL INTELLIGENCE  
Neurology 2019 : World Congress on Neurological and Psychiatric Disorders
Holiday Inn Express,Kuala Lumpur,Malaysi
When: Nov 21, 2019 - Nov 22, 2019 Submission Deadline: Nov 5, 2019
World Neurology 2019 is the premier event that brings together a unique and International mix of experts, researchers and medical practitioners both from academia and industry across the globe to exchange their knowledge, experience and research innovations in Neurology and Psychiatric disorders. We...
BRAIN SCIENCE   DEMENTIA   NEURO ONCOLOGY   NEUROLOGICAL DISORDERS  
FSDM 2019 : 5th International Conference on Fuzzy Systems and Data Mining
Kitakyushu, Japan
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 on Electronics, Communications and Networks (CECNet2019) at Kitakyushu International Conference Cent...
FUZZY THEORY   FUZZY APPLICATION   DATA MINING   APPLICATIONS OF FUZZY LOGIC  
KRR@SAC 2020 : Knowledge Representation and Reasoning (track of the 35th ACM/SIGAPP Symposium On Applied Computing)
Brno, Czech Republic
When: Mar 30, 2020 - Apr 3, 2020 Submission Deadline: Sep 15, 2019
############################################################### • The 35th ACM SIGAPP Symposium On Applied Computing • Brno, Czech Republic • March 30-April 3, 2020 • Track on Knowledge Representation and Reasoning (KRR) • Website: http://www.dmi.unipg.it/bista/organizi...
KNOWLEDGE REPRESENTATION   ARTIFICIAL INTELLIGENCE   LOGIC  
BESD 2019 : 9-th International Youth Science Forum «Litteris et Artibus»: Biotechnology, Ecology & Sustainable Development
Lviv, Ukraine
When: Nov 21, 2019 - Nov 23, 2019 Submission Deadline: Sep 2, 2019
Dear researchers, doctoral candidates and students! • This year the conference will be held as a part of the 9-th International Youth Science Forum «Litteris et Artibus». • Conference areas include but are not limited to: • - Biotechnology • - General and Applied Ecology &...
BIOTECHNOLOGY   ECOLOGICAL   NATURAL RESOURCE MANAGEMENT   SUSTAINABLE DEVELOPMENT  
TACEBS 2019 : 14th International Conference on Trends in Agricultural, Chemical, Environmental and Biological Sciences
Mercure Porto Centro Hotel
When: Sep 9, 2019 - Sep 11, 2019 Submission Deadline: Jun 25, 2019
Environmental Science • Aquaculture • Food Engineering • Environmental Engineering and Technology • Earth Sciences • Ecology • Oceanography • Water • Waste Management • Agricultural Science • Agriculture Science and Technology • Agric...
AGRICULTURAL   ENVIRONMENTAL   BIOLOGICAL   CHEMICALSCIENCES  
CVPM 2019 : 2nd International Workshop on Computer Vision for Physiological Measurement
Seoul, Korea
When: Oct 27, 2019 - Nov 2, 2019 Submission Deadline: Aug 1, 2019
Workshop website: http://www.es.ele.tue.nl/cvpm19/ • Main conference website: http://iccv2019.thecvf.com/ • The 2nd International Workshop on Computer Vision for Physiological Measurement (CVPM) will be held in conjunction with the IEEE Internal Conference (ICCV 2019) in Seoul, Republic ...
COMPUTER VISION   PHYSIOLOGICAL MEASUREMENT   ARTIFICIAL INTELLIGENCE   IMAGE PROCESSING  


EVENTS RECENTLY ADDED

CISTI 2021 : 16th Iberian Conference on Information Systems and Technologies
Chaves, Portugal
Jun 23, 2021
MCSMS 2020 : The Sixth International Workshop on Mobile Cloud Computing systems, Management, and Security
Paris, France
Dec 14, 2020
FCST 2020 : The 3rd International Symposium on Future Cyber Security Technologies
Paris, France
Dec 14, 2020
BDSN 2020 : The 8th International workshop on Big Data and Social Networking Management and Security
Paris, France
Dec 14, 2020
DSEA 2020 : The Fourth International Workshop on Data Science Engineering and its Applications
Paris, France
Dec 14, 2020
OSNT 2020 : The Fifth International Workshop on Online Social Networks Technologies
Paris, France
Dec 14, 2020
HMiMS 2020 : The International Symposium on Health and Medical informatics, Management and Security
Paris, France
Dec 14, 2020
SAMSN 2020 : The International Workshop on Sentiment Analysis and Mining of Social Networks
Paris, France
Dec 14, 2020
CNS 2020 : The International Workshop on Cognitive and Neural Systems
Paris, France
Dec 14, 2020
ANLP 2020 : The Fourth International Workshop on Advances in Natural Language Processing
Paris, France
Dec 14, 2020
S.ARCH 2021 : The 8th International Conference on Architecture and Built Environment with Architecture AWARDs
Rome, Italy
May 10, 2021
ICSCER 2021 : 5th International Conference on Structure and Civil Engineering Research
Xi'an, China
Jun 21, 2021
ICEEA 2021 : 12th International Conference on Environmental Engineering and Applications
Xi'an, China
Jun 21, 2021
ICBDC 2021 : 6th International Conference on Big Data and Computing
Shenzhen, China
May 22, 2021
EuroS&P 2021 : 6th IEEE European Symposium on Security and Privacy
Vienna, Austria
Sep 07, 2021
ACLA 2021 : Literary Diagnosis and the Anti-Medical Humanities
Virtual
Apr 08, 2021
ICACDS 2021 : Fifth International Conference on Advances in Computing and Data Sciences
Nashik, Maharashtra, India
Apr 23, 2021
ICEIEC 2021 : 11th IEEE International Conference on Electronics Information and Emergency Communication
China
Jun 18, 2021
FormaliSE 2021 : International Conference on Formal Methods in Software Engineering
Madrid, Spain
May 23, 2021
ICGET 2021 : 6th International Conference on Green Energy Technologies
Frankfurt, Germany
Jul 14, 2021