Conference on Logic Programming Logic ILP - International Conference on Inductive Logic Programming Logic LICS - IEEE Symposium on Logic in Computer Science
39 bytes (418 words) - 13:36, 24 August 2022
Computer Science CSL - Annual Conference on Computer Science Logic Computer Science Logic CSR - Computer Science Symposium in Russia Computer Science DCC
104 bytes (874 words) - 09:08, 12 September 2022
Computer Science Logic CSL 2023 2023-02-13 → 2023-02-16 Computer Science Logic CSL 2022 2022-02-14 → 2022-02-19 Computer Science Logic CSL 2021 2021-01-25 → 2021-01-28
668 bytes (448 words) - 14:38, 13 June 2023
2014-07-14 → 2014-07-18 Logic LICS 2013 2013-06-25 → 2013-06-28 Logic LICS 2012 2012-06-25 → 2012-06-28 Logic LICS 2011 2011-06-21 → 2011-06-24 Logic LICS 2010 20
388 bytes (341 words) - 14:32, 24 August 2022
Formal Methods Software Verification Logic Programming Automation Theory Events List ICLP 2009 2009-07-14 → 2009-07-17 Logic Programming
104 bytes (44 words) - 11:28, 20 October 2022
Inverse Problems Mathematics Colloquium Logicum Mathematics Mathematical Logic DMV-Jahrestagung Mathematics ECM - European Congress of Mathematics Mathematics
82 bytes (717 words) - 11:48, 20 October 2022
Event Series List CSL - Annual Conference on Computer Science Logic Computer Science Logic Events
72 bytes (18 words) - 09:32, 13 June 2023
Science Logic Programming ICLP 2022 2022-07-31 → 2022-08-06 Computer Science Logic Programming ICLP 2021 2021-09-20 → 2021-09-27 Computer Science Logic Programming
667 bytes (253 words) - 10:37, 9 October 2023
tocsLinked DataLinked Open DataLinuxLiteratureLogicLogic ProgrammingLogic-Based Knowledge RepresenLogicsLogisticsLoop OptimizationLoop ParallelizationLow
305 bytes (1,165 words) - 16:17, 2 February 2023
Conference on Logic Programming Computer Science Logic Programming Events List ICLP 2023 2023-07-09 → 2023-07-15 Computer Science Logic Programming ICLP
72 bytes (43 words) - 07:26, 9 October 2023
Event Series Acronym AiML Title Advances in Modal Logic Recurrence Unit year Academic Field Logic Official Website http://www.aiml.net/ Related Identifiers
410 bytes (152 words) - 14:24, 24 August 2022
2016-12-19 → 2016-12-21 Machine Learning Pattern Recognition Soft Computing Fuzzy Logic
117 bytes (32 words) - 06:57, 20 October 2022
Academic Field Event Series Events
39 bytes (5 words) - 08:35, 4 April 2023
2016 2016-11-14 → 2016-11-16 Artificial Intelligence Automated Reasoning Logic-Based Knowledge Represen
39 bytes (22 words) - 14:07, 24 August 2022
2016-12-19 → 2016-12-21 Machine Learning Pattern Recognition Soft Computing Fuzzy Logic VAAM 2016 2016-12-04 → 2016-12-04 Computer Vision Image Processing Machine
104 bytes (305 words) - 15:19, 20 October 2022
Pan-American Symposium on the History of Logic Philosophy of Science Events List 2nd Pan-American Symposium on the History of Logic - Existence and Nonexistence
114 bytes (67 words) - 13:36, 8 September 2022
2016-12-19 → 2016-12-21 Machine Learning Pattern Recognition Soft Computing Fuzzy Logic AECIA 2016 2016-11-21 → 2016-11-23 Computer Science Data Mining Machine Learning
104 bytes (89 words) - 12:36, 21 October 2022
Acronym ILP Title International Conference on Inductive Logic Programming Academic Field Logic Related Identifiers CORE Rankings Year 2017 Rank B Maintainer
332 bytes (70 words) - 14:31, 24 August 2022
for Mathematical Logic and for Basic Research in the Exact Sciences Maintainer Organization German Association for Mathematical Logic and for Basic Research
372 bytes (111 words) - 16:03, 5 April 2023
ID Q1204365 Event Series List Colloquium Logicum Mathematics Mathematical Logic Events
71 bytes (13 words) - 08:35, 4 April 2023
LOPSTR Title International Symposium on Logic-based Program Synthesis and Transformation Academic Field Logic Related Identifiers CORE Rankings Year 2018
350 bytes (68 words) - 14:32, 24 August 2022
International Symposium on Formal Methods Neural Networks Software Verification Logic Programming Automation Theory Events
71 bytes (22 words) - 07:17, 13 March 2023
Academic Field Event Series Events List M4M-6 2009-11-12 → 2009-11-14 Modal Logic
39 bytes (16 words) - 13:42, 24 August 2022
LaSh 2016 2016-10-17 → 2016-10-17 Artificial Intelligence Computer Science Logic Knowledge Representation KR 2016 2016-05-04 → 2016-09-04 Knowledge Representation
104 bytes (256 words) - 11:08, 20 October 2022
2016 2016-11-14 → 2016-11-16 Artificial Intelligence Automated Reasoning Logic-Based Knowledge Represen IJCAR 2016 2016-06-27 → 2016-02-07 Automated Reasoning
104 bytes (139 words) - 11:03, 19 October 2022
Methods Computer Science Neural Networks Formal Methods Software Verification Logic Programming Automation Theory Events
104 bytes (33 words) - 11:09, 19 October 2022
Methods Computer Science Neural Networks Formal Methods Software Verification Logic Programming Automation Theory GECCO - Conference on Genetic and Evolutionary
104 bytes (503 words) - 12:55, 20 October 2022
Methods Computer Science Neural Networks Formal Methods Software Verification Logic Programming Automation Theory MEMOCODE - International Conference on Formal
110 bytes (346 words) - 16:55, 20 October 2022
Annual Conference on Computer Science Logic Ordinal 24 Event Series CSL - Annual Conference on Computer Science Logic Start Date 2015-09-07 End Date 2015-09-10
2 KB (247 words) - 07:40, 7 August 2023
higher-order logic, hybrid systems, lambda and combinatory calculi, linear logic, logical aspects of computational complexity, logical frameworks, logics in artificial
2 KB (408 words) - 15:23, 19 October 2022
computational proof theory logic programming and constraints lambda calculus and combinatory logic domain theory categorical logic and topological semantics
4 KB (539 words) - 14:38, 13 June 2023
computational proof theory logic programming and constraints lambda calculus and combinatory logic domain theory categorical logic and topological semantics
3 KB (477 words) - 14:39, 13 June 2023
BMVC - British Machine Vision Conference IWLS - International Workshop on Logic and Synthesis LSSC - International Conference on Large-Scale Scientific Computations
393 bytes (14 words) - 11:24, 24 November 2022
equational logic and rewriting finite model theory higher-order logic lambda calculus and combinatory logic linear logic and other substructural logics logic
5 KB (653 words) - 12:46, 4 August 2023
Programming Techniques Related Paradigms Abductive Logic Programming Inductive Logic Programming Constraint Logic Programming Answer-Set Programming Applications:
6 KB (720 words) - 09:39, 9 October 2023
Conference on Implementation and Application of Automata Academic Field Logic Related Identifiers DBLP Series ID wia Wikidata Series ID Q5159944 WikiCFP
461 bytes (79 words) - 14:26, 24 August 2022
History of Logic Academic Field Philosophy of Science Related Identifiers Maintainer Events List 2nd Pan-American Symposium on the History of Logic - Existence
164 bytes (42 words) - 15:33, 28 October 2022
Event Series Acronym IWLS Title International Workshop on Logic and Synthesis Recurrence Period 1 Recurrence Unit year Academic Field Integrated Circuit
279 bytes (266 words) - 09:28, 29 September 2022
Description logics - Non-monotonic reasoning - Specification using logics - Logic in artificial intelligence - Lambda calculus - Constructive logic and type
6 KB (891 words) - 15:21, 19 October 2022
on Formal Methods Recurrence Unit year Academic Field Automation Theory, Logic Programming, Neural Networks, Software Verification, Computer Science, Formal
573 bytes (308 words) - 09:00, 17 August 2023
International Workshop on Computer Science Logic Ordinal 18 Event Series CSL - Annual Conference on Computer Science Logic Start Date 2004-09-20 End Date 2004-09-24
1 KB (197 words) - 09:48, 5 August 2023
higher-order logic lambda and combinatory calculi linear logic logic in artificial intelligence logic programming logical aspects of bioinformatics logical aspects
4 KB (620 words) - 14:13, 19 October 2022
Annual Conference on Computer Science Logic Ordinal 27 Event Series CSL - Annual Conference on Computer Science Logic Start Date 2018-09-04 End Date 2018-09-07
1 KB (226 words) - 12:27, 4 August 2023
of functional and logic programming languages to future multicore applications * extraction of parallelism from functional and logic programs * ways of
4 KB (536 words) - 12:04, 28 June 2023
Symposium on the History of Logic - Existence and Nonexistence Ordinal 2 Event Series Pan-American Symposium on the History of Logic Start Date 2023-06-20 End
722 bytes (184 words) - 11:56, 4 August 2023
Series Acronym TbiLLC Title International Tbilisi Symposium on Language, Logic and Computation Recurrence Unit year Official Website https://events.illc
238 bytes (133 words) - 14:48, 24 August 2022
The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI
2 KB (342 words) - 14:55, 19 October 2022
higher-order logic lambda and combinatory calculi linear logic logic in artificial intelligence logic programming logical aspects of bioinformatics logical aspects
5 KB (723 words) - 14:12, 19 October 2022
Title 39th International Conference on Logic Programming Ordinal 39 Event Series ICLP - International Conference on Logic Programming Start Date 2023-07-09
597 bytes (172 words) - 10:38, 9 October 2023
International Workshop on Computer Science Logic Ordinal 17 Event Series CSL - Annual Conference on Computer Science Logic Start Date 2003-08-25 End Date 2003-08-30
1 KB (210 words) - 09:16, 5 August 2023
International Workshop on Computer Science Logic Ordinal 24 Event Series CSL - Annual Conference on Computer Science Logic Start Date 2010-08-23 End Date 2010-08-27
2 KB (246 words) - 06:39, 7 August 2023
theory computational proof theory logic programming and constraints lambda calculus and combinatory logic categorical logic and topological semantics domain
3 KB (433 words) - 07:28, 7 August 2023
International Symposium on Temporal Representation and Reasoning Academic Field Logic Related Identifiers Maintainer Events List TIME 2020 2020-09-23 → 2020-09-25
272 bytes (44 words) - 14:36, 24 August 2022
computational proof theory, logic programming and constraints, lambda calculus and combinatory logic, categorical logic and topological semantics, domain
3 KB (415 words) - 07:48, 7 August 2023
International Workshop on Computer Science Logic Ordinal 27 Event Series CSL - Annual Conference on Computer Science Logic Start Date 2013-09-02 End Date 2013-09-05
1 KB (191 words) - 12:24, 4 August 2023
Annual Conference on Computer Science Logic Ordinal 28 Event Series CSL - Annual Conference on Computer Science Logic Start Date 2020-01-13 End Date 2020-01-16
3 KB (461 words) - 12:17, 4 August 2023
computational proof theory logic programming and constraints lambda calculus and combinatory logic domain theory, categorical logic and topological semantics
3 KB (472 words) - 12:12, 7 July 2023
propositional proof complexity logic programming and constraints lambda calculus and combinatory logic domain theory categorical logic and topological semantics
3 KB (476 words) - 12:40, 4 August 2023
Event Series Acronym LPAR Title Logic Programming and Automated Reasoning Academic Field Artificial Intelligence Related Identifiers CORE Rankings Year
332 bytes (45 words) - 14:33, 24 August 2022
propositional proof complexity, logic programming and constraints, lambda calculus and combinatory logic, domain theory, categorical logic and topological semantics
4 KB (558 words) - 06:34, 7 August 2023
International Conference on Inductive Logic Programming Event Series ILP - International Conference on Inductive Logic Programming Start Date 2009-07-02 End
4 KB (633 words) - 15:22, 19 October 2022
regardless of the data model. Logic is a fundamental tool for understanding and analyzing several aspects of data management. The Logic in Databases (LID'08) symposium
5 KB (747 words) - 15:22, 19 October 2022
Workshop on Logic and Search Start Date 2016-10-17 End Date 2016-10-17 Status as scheduled Mode on site City New York City Academic Field Logic, Computer
492 bytes (134 words) - 15:21, 19 October 2022
presence of ontologies * Logic-Programming based mashups for Linked Open Data * Combinations of Logic Programming and Description Logics * Modeling of and reasoning
6 KB (963 words) - 14:45, 19 October 2022
Workshop on Computer Science Logic (CSL) 1991 The topics included: Theory of Computation Mathematical Logic and Foundations Logics and Meanings of Programs
897 bytes (168 words) - 13:38, 18 October 2022
International Workshop on Computer Science Logic Ordinal 14 Event Series CSL - Annual Conference on Computer Science Logic Start Date 2000-08-21 End Date 2000-08-26
1 KB (184 words) - 08:42, 5 August 2023
International Workshop on Computer Science Logic Ordinal 21 Event Series CSL - Annual Conference on Computer Science Logic Start Date 2007-09-11 End Date 2007-09-15
1,013 bytes (178 words) - 07:57, 7 August 2023
Annual Conference on Computer Science Logic Ordinal 23 Event Series CSL - Annual Conference on Computer Science Logic Start Date 2014-07-14 End Date 2014-07-18
1 KB (179 words) - 07:55, 7 August 2023
2022 Title International Workshop on Logic and Synthesis Ordinal 31 Event Series IWLS - International Workshop on Logic and Synthesis Start Date 2022-07-18
479 bytes (128 words) - 09:29, 29 September 2022
knowledge, Epistemic and Doxastic logics, Multi-agent logics of belief and knowledge Logic programming, Constraint logic programming, Answer set programming
4 KB (550 words) - 15:22, 19 October 2022
International Workshop on Computer Science Logic Ordinal 19 Event Series CSL - Annual Conference on Computer Science Logic Start Date 2005-08-22 End Date 2005-08-25
1,019 bytes (192 words) - 10:44, 5 August 2023
International Workshop on Computer Science Logic Ordinal 22 Event Series CSL - Annual Conference on Computer Science Logic Start Date 2008-09-15 End Date 2008-09-19
1 KB (187 words) - 06:57, 10 July 2023
International Workshop on Computer Science Logic Ordinal 15 Event Series CSL - Annual Conference on Computer Science Logic Start Date 2001-09-10 End Date 2001-09-13
1 KB (190 words) - 08:51, 5 August 2023
higher-order logic lambda and combinatory calculi linear logic logic in artificial intelligence logic programming logical aspects of bioinformatics logical aspects
4 KB (610 words) - 14:13, 19 October 2022
International Workshop on Computer Science Logic Ordinal 16 Event Series CSL - Annual Conference on Computer Science Logic Start Date 2002-09-22 End Date 2002-09-25
1 KB (201 words) - 09:08, 5 August 2023
including formal systems of deontic logic, defeasible normative reasoning, the logic of action, and other related areas of logic * the formal analysis of normative
5 KB (690 words) - 14:45, 19 October 2022
Relating ASP to classical logic formalisms (SAT/FOL/QBF/SMT/DL). - Relating ASP to constraint programming. - Relating ASP to other logic programming paradigms
5 KB (735 words) - 14:45, 19 October 2022
Annual Conference on Computer Science Logic Ordinal 31 Event Series CSL - Annual Conference on Computer Science Logic Start Date 2023-02-13 End Date 2023-02-16
656 bytes (171 words) - 14:38, 13 June 2023
Annual Conference on Computer Science Logic Ordinal 32 Event Series CSL - Annual Conference on Computer Science Logic Start Date 2024-02-19 End Date 2024-02-23
618 bytes (169 words) - 14:38, 13 June 2023
Title 38th International Conference on Logic Programming Ordinal 38 Event Series ICLP - International Conference on Logic Programming Start Date 2022-07-31
628 bytes (163 words) - 10:39, 9 October 2023
Artificial Intelligence Artificial Intelligence Computer Science LPAR - Logic Programming and Automated Reasoning Artificial Intelligence MAMI - International
104 bytes (4,594 words) - 09:45, 1 September 2022
higher-order logic lambda and combinatory calculi linear logic logic in artificial intelligence logic programming logical aspects of bioinformatics logical aspects
4 KB (583 words) - 15:23, 19 October 2022
Event Series Acronym LENLS Title Logic and Engineering of Natural Language Semantics Related Identifiers CORE Rankings Year 2018 Rank B Maintainer Events
303 bytes (47 words) - 14:32, 24 August 2022
multiple-valued logic, including but not limited to: Algebraic and Formal Aspects Automatic Reasoning Communication Systems Data Mining Image Processing Logic Programming
2 KB (386 words) - 15:22, 19 October 2022
Event Acronym LICS 1994 Event Series LICS - IEEE Symposium on Logic in Computer Science Start Date 1994-04-07 End Date 1994-07-07 Status as scheduled Mode
422 bytes (132 words) - 15:23, 19 October 2022
Event Acronym LICS 1999 Event Series LICS - IEEE Symposium on Logic in Computer Science Start Date 1999-02-07 End Date 1999-05-07 Status as scheduled Mode
423 bytes (132 words) - 15:20, 19 October 2022
Event Acronym LICS 2006 Event Series LICS - IEEE Symposium on Logic in Computer Science Start Date 2006-12-08 End Date Error: Invalid time. Status as scheduled
410 bytes (135 words) - 15:20, 19 October 2022
Event Acronym LICS 2007 Event Series LICS - IEEE Symposium on Logic in Computer Science Start Date 2007-10-07 End Date 2007-12-07 Status as scheduled Mode
490 bytes (136 words) - 15:23, 19 October 2022
lambda and combinatory calculi linear logic logic in artificial intelligence logic programming logical aspects of bioinformatics logical aspects of computational
4 KB (618 words) - 15:21, 19 October 2022
Event Acronym LICS 1997 Event Series LICS - IEEE Symposium on Logic in Computer Science Start Date Error: Invalid time. End Date 1997-02-07 Status as scheduled
504 bytes (153 words) - 15:23, 19 October 2022
Event Acronym LICS 2003 Event Series LICS - IEEE Symposium on Logic in Computer Science Start Date Error: Invalid time. End Date Error: Invalid time. Status
489 bytes (150 words) - 15:22, 19 October 2022
Event Acronym LICS 2011 Event Series LICS - IEEE Symposium on Logic in Computer Science Start Date Error: Invalid time. End Date Error: Invalid time. Status
506 bytes (153 words) - 15:20, 19 October 2022
Event Acronym LICS 1989 Event Series LICS - IEEE Symposium on Logic in Computer Science Start Date 1989-05-06 End Date 1989-08-06 Status as scheduled Mode
449 bytes (143 words) - 15:21, 19 October 2022
Event Acronym LICS 1988 Event Series LICS - IEEE Symposium on Logic in Computer Science Start Date 1988-05-07 End Date 1988-08-07 Status as scheduled Mode
426 bytes (146 words) - 15:20, 19 October 2022
Event Acronym LICS 2009 Event Series LICS - IEEE Symposium on Logic in Computer Science Start Date 2009-11-08 End Date Error: Invalid time. Status as scheduled
513 bytes (147 words) - 15:21, 19 October 2022
Event Acronym LICS 2004 Event Series LICS - IEEE Symposium on Logic in Computer Science Start Date Error: Invalid time. End Date Error: Invalid time. Status
488 bytes (150 words) - 15:22, 19 October 2022
Event Acronym LICS 2014 Event Series LICS - IEEE Symposium on Logic in Computer Science Start Date Error: Invalid time. End Date Error: Invalid time. Status
493 bytes (151 words) - 15:23, 19 October 2022
Event Acronym LICS 2010 Event Series LICS - IEEE Symposium on Logic in Computer Science Start Date 2010-11-07 End Date Error: Invalid time. Status as scheduled
509 bytes (153 words) - 15:21, 19 October 2022
Event Acronym LICS 1990 Event Series LICS - IEEE Symposium on Logic in Computer Science Start Date 1990-04-06 End Date 1990-07-06 Status as scheduled Mode
450 bytes (141 words) - 15:21, 19 October 2022
Event Acronym LICS 1993 Event Series LICS - IEEE Symposium on Logic in Computer Science Start Date Error: Invalid time. End Date Error: Invalid time. Status
427 bytes (146 words) - 15:20, 19 October 2022
