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



LOGIC EVENTS

Filter: Logic

Country



Categories



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  
BIBE 2019 : 19th International Conference on BioInformatics and BioEngineering Conference Series : Bioinformatics and Bioengineering  
Athens, Greece
When: Oct 28, 2019 - Oct 30, 2019 Submission Deadline: Jul 15, 2019
The series of BIBE Conferences was found in 2000 and BIBE is the first leading Conference of its kind in IEEE/Internationally inspiring others to follow its path. The 19th annual IEEE International Conference on Bioinformatics and Bioengineering aims at building synergy between Bioinformatics and Bi...
ENGINEERING MODELS IN BIO-MEDI   BIOMEDICAL & BIOLOGICAL SENSOR  
IJAI 2019 : The International Journal of Artificial Intelligence (IJAI-2019)
N/A
Submission Deadline: Jun 10, 2019
Aim & Scope • ************ • The International Journal of Artificial Intelligence (IJAI) is a peer-reviewed online journal and is published in Bi-Monthly i.e. six times in a year. IJAI journal is reviewed, abstracted and indexed by the SCOPUS (Elsevier Bibliographic),world artificial int...
NEURAL NETWORKS   FUZZY LOGIC   BIOLOGICAL EVOLUTION ALGORITHM   MULTIMEDIA AND COGNITIVE INFOR  
Gynecology Congress2019 2019 : 7th International Meeting on Gynecology and Gynecologic Oncology
Sydney, Australia
When: Sep 9, 2019 - Sep 10, 2019 Submission Deadline: Aug 15, 2019
It's an extreme privilege for us to announce the upcoming "7th International Meeting on Gynecology and Gynecologic Oncology" at Sydney, Australia from September 09-10, 2019 after a series of successful Gynecology Conferences. It's our immense honour to have your presence at Gynecology Congress 2019 ...
GYNECOLOGY   GYNECOLOGIC ONCOLOGY   BREAST CANCER   INVITRO FERTILIZATION  
GandAlf 2019 : The Tenth International Symposium on Games, Automata, Logics, and Formal Verification
Bordeaux, France
When: Sep 2, 2019 - Sep 4, 2019 Submission Deadline: May 19, 2019
The aim of the GandALF symposium is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The 2019 edition of the symposium is the tenth edition. It is organized in the city of Bordeaux by the LABRI labo...
GAMES   AUTOMATA   LOGICS   FORMAL VERIFICATION  
Stroke Meet 2019 : 6th Annual Conference on Stroke and Neurological Disorders
Dubai, UAE
When: Sep 23, 2019 - Sep 24, 2019 Submission Deadline: Sep 15, 2019
STROKE MEET 2019 provides the best platform to learn, inform and discuss new ideas, current discoveries, medications, failures and issues related to neurological disorders as well as stroke and is progressed by knowledgeable, skilled and experienced Neurologists, neuroscientists, neuro health profes...
NEUROLOGY   NEUROSCIENCE   STROKE   NEUROLOGICAL DISORDER  
SYNASC 2019 : International Symposium on Symbolic and Numeric Algorithms for Scientific Computing Conference Series : Symbolic and Numeric Algorithms for Scientific Computing  
Timisoara
When: Sep 4, 2019 - Sep 7, 2019 Submission Deadline: May 31, 2019
...
SYMBOLIC COMPUTATION   NUMERICAL COMPUTING   LOGIC AND PROGRAMMING   ARTIFICIAL INTELLIGENCE  
MEHS 2019 : 2019 International Conference on Medical Engineering and Health Science (MEHS 2019)
Macau
When: Nov 22, 2019 - Nov 24, 2019 Submission Deadline: Sep 30, 2019
2019 International Conference on Medical Engineering and Health Science (MEHS 2019) • 22-24 November, 2019 • Macau • We are pleased to announce that 2019 International Conference on Medical Engineering and Health Science (MEHS 2019) will be held on 22-24 November, 2019, Macau. &bu...
MEDICAL ENGINEERING   HEALTH SCIENCE   MEDICAL PHYSICS   BIOLOGICAL SCIENCES  
Gynecology Congress 2019 : 7th International Meeting on Gynecology and Gynecologic Oncology
Sydney
When: Sep 9, 2019 - Sep 10, 2019 Submission Deadline: Aug 9, 2019
Gynecology Congress 2019 welcomes you all to its new event 7th International Meeting on Gynecology and Gynecologic Oncology which is going to take place in the mesmerizing city of Sydney September 09-10, 2019. • A two-day event which consists of a lettered scientific program, stellar talks by ...
GYNECOLOGY   GYNECOLOGIC ONCOLOGY   BREAST CANCER   INVITRO FERTILIZATION  
OGEGS 2019 : 2019 International Conference on Oil & Gas Engineering and Geological Sciences (OGEGS 2019)
DaLian,China
When: Sep 28, 2019 - Sep 29, 2019 Submission Deadline: Aug 30, 2019
2019年油气工程与地质科学国际会议 (OGEGS 2019) • 2019 International Conference on Oil & Gas Engineering and Geological Sciences (OGEGS 2019) • 2019年油气工程与地质科学国际会议 (OGEGS 2019) • September 28-29 2019: DaLian,China • OGEGS 2019旨在为...
OIL & GAS ENGINEERING   GAS ENGINEERING   GEOLOGICAL SCIENCES   OGEGS 2019  
ICCWS 2020 : 15th International Conference on Cyber Warfare and Security
Norfolk, Virginia, USA
When: Mar 12, 2020 - Mar 13, 2020 Submission Deadline: Aug 21, 2019
ICCWS 2020 is an opportunity for academics, military personnel, practitioners and consultants from around the world who are involved in the study, management, development and implementation of systems and concepts to combat information warfare or to improve information systems security to come toget...
CYBER WARFARE   CYBER TERRORISM   CYBER SECURITY   PSYCHOLOGICAL WARFARE  
EABPH 2019 : ISTANBUL 20th International Conference on Ecological Agriculture, Biodiversity and Public Health
Holiday Inn Istanbul City
When: Dec 5, 2019 - Dec 6, 2019 Submission Deadline: Sep 5, 2019
Agricultural Biotechnology • Agricultural biotechnology & developing countries • Agricultural Biotechnology regulations, rules & perceptions • Animal biotechnology • Application of artificial intelligence in food engineering research and in industry • Beverage and Ferme...
ECOLOGICAL AGRICULTURE   BIODIVERSITY   PUBLIC HEALTH  


EVENTS RECENTLY ADDED

CODS COMAD 2021 : ACM India Joint International Conference on Data Science & Management of Data
Bangalore, India
Jan 02, 2021
SoGood 2020 : The Fifth Workshop on Data Science for Social Good - SoGood 2020
Ghent, Belgium
Sep 14, 2020
JOB 2020 : Postdocs/Research Scientists in Digital and Computational Demography
Rostock
KGEcom 2020 : Knowledge Graphs and E-commerce workshop, Held in conjunction with KDD 2020
San Diego, CA
Aug 24, 2020
IIoTBDSC 2020 : The First International Conference on Industrial IoT Big Data and Supply Chain
Macao, SAR of China
Sep 15, 2020
AI Heritage 2020 : Artificial Intelligence in Heritage Science

BIOIMAGING 2021 : 8th International Conference on BIOIMAGING
Vienna, Austria
Feb 11, 2021
SPIE Medical Imaging 2021 : The leading conference that explores the science of medical imaging
San Diego, California, United States
Feb 14, 2021
ICVGIP 2020 : 12th Indian Conference on Computer Vision, Graphics and Image Processing
Jodhpur, India
Dec 18, 2020
ICSGRC 2020 : 11th IEEE Control & System Graduate Research Colloquium
Malaysia
Aug 08, 2020
AutoML 2020 : The Fourth International Workshop on Automation in Machine Learning
San Diego, California - USA
Aug 24, 2020
ICCDE 2020 : International Conference on Intelligent Computing, Communication and Data Engineering
Shanghai, China
Nov 23, 2020
CMAI 2020 : 1st Workshop on Conceptual Modeling Meets Artificial Intelligence and Data-Driven Decision Making
Vienna, Austria
Nov 03, 2020
WISHWell 2020 : 10th International Workshop on Intelligent Environments Supporting Healthcare and Well-being
Madrid, Spain (virtual attendance)
Jul 20, 2020
ICN 2020 : 7th ACM conference on Information Centric Networking
Montreal, Canada
Sep 28, 2020
ORSUM 2020 : 3rd Workshop on Online Recommender Systems and User Modeling
Rio de Janeiro, Brazil
Sep 25, 2020
LABELS 2020 : The 5th MICCAI Workshop on Large-scale Annotation of Biomedical data and Expert Label Synthesis
Lima, Peru
Oct 04, 2020
CSBio 2020 : The 11th International Conference on Computational Systems-Biology and Bioinformatics
Bangkok, Thailand
Nov 19, 2020
PEOCO 2020 : 14th International Power Engineering, Optimization and Computing Conference
Virtual or Melaka, Malaysia
Jul 18, 2020
IEEE ANDESCON 2020 : IEEE Andean Conference - Technology and innovation
Ecuador
Oct 13, 2020