LAIIL 2023 : International Workshop on Logic, AI and LawHybrid mode, Hangzhou, China |
||
When: Sep 11, 2023 - Sep 12, 2023 Submission Deadline: Jun 10, 2023 | ||
International Workshop on Logic, AI and Law (LAIL 2023) will be held on 11th-12th September 2023, at Guanghua Law School, Zhejiang University in Hangzhou, China. The workshop is associated with the n... | ||
LAW ARTIFICIAL INTELLIGENCE LOGIC | ||
ArgXAI 2023 : 2nd International Workshop on Argumentation for eXplainable AIImperial College London London, UK, |
||
When: Jul 10, 2023 - Jul 10, 2023 Submission Deadline: May 15, 2023 | ||
2nd International Workshop on Argumentation for eXplainable AI (ArgXAI) • Co-located with ICLP 2023 (London, UK) • In recent years, research on intelligent systems that can explain their ... | ||
LOGIC PROGRAMMING FORMAL METHODS EXPLAINABLE AI | ||
MEandE-LP 2023 : 3rd International Workshop on Machine Ethics and Explainability - The Role of Logic ProgrammingImperial College London, UK |
||
When: Jul 9, 2023 - Jul 10, 2023 Submission Deadline: May 15, 2023 | ||
======================================================================= • CALL FOR PAPERS • MEandE-LP 2023 • 3rd Workshop on Machine Ethics and Explainability - The Role of Logic Pr... | ||
ARTIFICIAL INTELLIGENCE MACHINE ETHICS EXPLAINABILITY LOGIC PROGRAMMING | ||
|
||
When: Nov 16, 2023 - Nov 17, 2023 Submission Deadline: Sep 8, 2023 | ||
LANMR 2023 is the fifteenth edition of the Latin American Workshop series on Logic/Languages, Algorithms and New Methods of Reasoning organized by Universidad Nacional Autónoma de México through Fa... | ||
LOGIC AUTOMATED RESONING FORMAL METHODS | ||
|
||
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: 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 | ||
STRL 2022 : 1st International Workshop on Spatio-Temporal Reasoning and Learningco-located with IJCAI-ECAI 2022 |
||
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: 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 | ||
|
||
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 | ||
MK 2022 : 1st Workshop on Modular KnowledgeHersonissos (Greece) |
||
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 | ||
|
||
When: Sep 12, 2022 - Sep 12, 2022 Submission Deadline: Jun 1, 2022 | ||
• Scope and Topics • The EXPRESS/SOS workshop series aims at bringing together researchers interested in the formal semantics of systems and programming concepts, and in the expressiveness... | ||
FORMAL METHODS PROGRAMMING LANGUAGES LOGIC SOFTWARE | ||
ULAM 2022 : workshop on Axiomatic Method, Crete, April 6-10, 2022Orthodox Academy of Crete |
||
When: Apr 6, 2022 - Apr 11, 2022 Submission Deadline: Dec 15, 2021 | ||
A workshop on Axiomatic Method will be held as a part of School and Congress on Universal Logic during the period of 6-11 April, 2022 (the exact dates will be decided later on) in the premises of the... | ||
PHILOSOPHICAL LOGIC PHILOSOPHY OF SCIENCE HISTORY OF LOGIC HISTORY OF MATHEMATICS | ||
|
||
When: Jun 16, 2022 - Jun 17, 2022 Submission Deadline: Apr 1, 2022 | ||
LANMR 2022 is the fourteenth edition of the Latin American Workshop series on Logic/Languages, Algorithms and New Methods of Reasoning. The aim of LANMR is to bring together researchers interested in... | ||
LOGIC AUTOMATED REASONING COMPUTER SCIENCE | ||
|
||
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: 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: 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 | ||
WiL 2020 : 4th Women in Logic WorkshopParis, France |
||
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: 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 | ||
UNIF 2020 : 34th International Workshop on UnificationParis, 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, ... | ||
AUTOMATED REASONING LOGIC UNIFICATION CONSTRAINT SOLVING | ||
IULP 2020 : 3rd International Workshop on User-Oriented Logic ParadigmsSantiago 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 recentl... | ||
COMPUTER SCIENCE ARTIFICIAL INTELLIGENCE LOGIC EDUCATION | ||
PLP 2019 : The Sixth Workshop on Probabilistic Logic ProgrammingLas Cruces, New Mexico, USA |
||
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: Jul 15, 2019 - Jul 19, 2019 Submission Deadline: Apr 21, 2019 | ||
Formal techniques can help analyse programs, precisely describe program behaviour, and verify program properties. Modern programming languages are interesting targets for formal techniques due to thei... | ||
FORMAL METHODS PROGRAMMING LANGUAGES SOFTWARE ENGINEERING LOGIC | ||
|
||
When: Sep 9, 2019 - Sep 13, 2019 Submission Deadline: Jun 3, 2019 | ||
... | ||
THEORY PROGRAMMING LANGUAGES COGNITIVE SYSTEMS REASONING | ||
|
||
When: Sep 9, 2019 - Sep 13, 2019 Submission Deadline: Jun 24, 2019 | ||
... | ||
(CONSTRAINT) LOGIC PROGRAMMING NON-MONOTONIC REASONING APPLICATIONS OF CLP | ||
Find and Compare Upcoming Logic Workshops. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.