Search results

Conference on Logic Programming Logic ILP - International Conference on Inductive Logic Programming Logic LICS - IEEE Symposium on Logic in Computer Science

Computer Science CSL - Annual Conference on Computer Science Logic Computer Science Logic CSR - Computer Science Symposium in Russia Computer Science DCC

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

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

Formal Methods Software Verification Logic Programming Automation Theory Events List ICLP 2009 2009-07-14 → 2009-07-17 Logic Programming

Inverse Problems Mathematics Colloquium Logicum Mathematics Mathematical Logic DMV-Jahrestagung Mathematics ECM - European Congress of Mathematics Mathematics

Event Series List CSL - Annual Conference on Computer Science Logic Computer Science Logic Events

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

tocsLinked DataLinked Open DataLinuxLiteratureLogicLogic ProgrammingLogic-Based Knowledge RepresenLogicsLogisticsLoop OptimizationLoop ParallelizationLow

Conference on Logic Programming Computer Science Logic Programming Events List ICLP 2023 2023-07-09 → 2023-07-15 Computer Science Logic Programming ICLP

Event Series Acronym AiML Title Advances in Modal Logic Recurrence Unit year Academic Field Logic Official Website http://www.aiml.net/ Related Identifiers

2016-12-19 → 2016-12-21 Machine Learning Pattern Recognition Soft Computing Fuzzy Logic

Academic Field Event Series Events

2016 2016-11-14 → 2016-11-16 Artificial Intelligence Automated Reasoning Logic-Based Knowledge Represen

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

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

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

Acronym ILP Title International Conference on Inductive Logic Programming Academic Field Logic Related Identifiers CORE Rankings Year 2017 Rank B Maintainer

for Mathematical Logic and for Basic Research in the Exact Sciences Maintainer Organization German Association for Mathematical Logic and for Basic Research

ID Q1204365 Event Series List Colloquium Logicum Mathematics Mathematical Logic Events

LOPSTR Title International Symposium on Logic-based Program Synthesis and Transformation Academic Field Logic Related Identifiers CORE Rankings Year 2018

International Symposium on Formal Methods Neural Networks Software Verification Logic Programming Automation Theory Events

Academic Field Event Series Events List M4M-6 2009-11-12 → 2009-11-14 Modal Logic

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

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

Methods Computer Science Neural Networks Formal Methods Software Verification Logic Programming Automation Theory Events

Methods Computer Science Neural Networks Formal Methods Software Verification Logic Programming Automation Theory GECCO - Conference on Genetic and Evolutionary

Methods Computer Science Neural Networks Formal Methods Software Verification Logic Programming Automation Theory MEMOCODE - International Conference on Formal

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

higher-order logic, hybrid systems, lambda and combinatory calculi, linear logic, logical aspects of computational complexity, logical frameworks, logics in artificial

computational proof theory logic programming and constraints lambda calculus and combinatory logic domain theory categorical logic and topological semantics

computational proof theory logic programming and constraints lambda calculus and combinatory logic domain theory categorical logic and topological semantics

BMVC - British Machine Vision Conference IWLS - International Workshop on Logic and Synthesis LSSC - International Conference on Large-Scale Scientific Computations

equational logic and rewriting finite model theory higher-order logic lambda calculus and combinatory logic linear logic and other substructural logics logic

Programming Techniques Related Paradigms Abductive Logic Programming Inductive Logic Programming Constraint Logic Programming Answer-Set Programming Applications:

Conference on Implementation and Application of Automata Academic Field Logic Related Identifiers DBLP Series ID wia Wikidata Series ID Q5159944 WikiCFP

History of Logic Academic Field Philosophy of Science Related Identifiers Maintainer Events List 2nd Pan-American Symposium on the History of Logic - Existence

Event Series Acronym IWLS Title International Workshop on Logic and Synthesis Recurrence Period 1 Recurrence Unit year Academic Field Integrated Circuit

Description logics - Non-monotonic reasoning - Specification using logics - Logic in artificial intelligence - Lambda calculus - Constructive logic and type

on Formal Methods Recurrence Unit year Academic Field Automation Theory, Logic Programming, Neural Networks, Software Verification, Computer Science, Formal

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

higher-order logic lambda and combinatory calculi linear logic logic in artificial intelligence logic programming logical aspects of bioinformatics logical aspects

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

of functional and logic programming languages to future multicore applications * extraction of parallelism from functional and logic programs * ways of

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

Series Acronym TbiLLC Title International Tbilisi Symposium on Language, Logic and Computation Recurrence Unit year Official Website https://events.illc

The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI

higher-order logic lambda and combinatory calculi linear logic logic in artificial intelligence logic programming logical aspects of bioinformatics logical aspects

Title 39th International Conference on Logic Programming Ordinal 39 Event Series ICLP - International Conference on Logic Programming Start Date 2023-07-09

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

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

theory computational proof theory logic programming and constraints lambda calculus and combinatory logic categorical logic and topological semantics domain

International Symposium on Temporal Representation and Reasoning Academic Field Logic Related Identifiers Maintainer Events List TIME 2020 2020-09-23 → 2020-09-25

computational proof theory, logic programming and constraints, lambda calculus and combinatory logic, categorical logic and topological semantics, domain

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

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

computational proof theory logic programming and constraints lambda calculus and combinatory logic domain theory, categorical logic and topological semantics

propositional proof complexity logic programming and constraints lambda calculus and combinatory logic domain theory categorical logic and topological semantics

Event Series Acronym LPAR Title Logic Programming and Automated Reasoning Academic Field Artificial Intelligence Related Identifiers CORE Rankings Year

propositional proof complexity, logic programming and constraints, lambda calculus and combinatory logic, domain theory, categorical logic and topological semantics

International Conference on Inductive Logic Programming Event Series ILP - International Conference on Inductive Logic Programming Start Date 2009-07-02 End

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

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

presence of ontologies * Logic-Programming based mashups for Linked Open Data * Combinations of Logic Programming and Description Logics * Modeling of and reasoning

Workshop on Computer Science Logic (CSL) 1991 The topics included: Theory of Computation Mathematical Logic and Foundations Logics and Meanings of Programs

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

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

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

2022 Title International Workshop on Logic and Synthesis Ordinal 31 Event Series IWLS - International Workshop on Logic and Synthesis Start Date 2022-07-18

knowledge, Epistemic and Doxastic logics, Multi-agent logics of belief and knowledge Logic programming, Constraint logic programming, Answer set programming

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

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

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

higher-order logic lambda and combinatory calculi linear logic logic in artificial intelligence logic programming logical aspects of bioinformatics logical aspects

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

including formal systems of deontic logic, defeasible normative reasoning, the logic of action, and other related areas of logic * the formal analysis of normative

Relating ASP to classical logic formalisms (SAT/FOL/QBF/SMT/DL). - Relating ASP to constraint programming. - Relating ASP to other logic programming paradigms

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

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

Title 38th International Conference on Logic Programming Ordinal 38 Event Series ICLP - International Conference on Logic Programming Start Date 2022-07-31

Artificial Intelligence Artificial Intelligence Computer Science LPAR - Logic Programming and Automated Reasoning Artificial Intelligence MAMI - International

higher-order logic lambda and combinatory calculi linear logic logic in artificial intelligence logic programming logical aspects of bioinformatics logical aspects

Event Series Acronym LENLS Title Logic and Engineering of Natural Language Semantics Related Identifiers CORE Rankings Year 2018 Rank B Maintainer Events

multiple-valued logic, including but not limited to: Algebraic and Formal Aspects Automatic Reasoning Communication Systems Data Mining Image Processing Logic Programming

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

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

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

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

lambda and combinatory calculi linear logic logic in artificial intelligence logic programming logical aspects of bioinformatics logical aspects of computational

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

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

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

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

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

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

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

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

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

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

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

Event Acronym LICS 1991 Event Series LICS - IEEE Symposium on Logic in Computer Science Start Date Error: Invalid time. End Date Error: Invalid time. Status

Event Acronym LICS 2002 Event Series LICS - IEEE Symposium on Logic in Computer Science Start Date Error: Invalid time. End Date Error: Invalid time. Status

Event Acronym LICS 2012 Event Series LICS - IEEE Symposium on Logic in Computer Science Start Date Error: Invalid time. End Date Error: Invalid time. Status

Event Acronym AiML 2022 Title Advances in Modal Logic Ordinal 14 Event Series AiML - Advances in Modal Logic Start Date 2022-08-22 End Date 2022-08-25 Status

Event Acronym LICS 2001 Event Series LICS - IEEE Symposium on Logic in Computer Science Start Date Error: Invalid time. End Date Error: Invalid time. Status

Event Acronym LICS 1998 Event Series LICS - IEEE Symposium on Logic in Computer Science Start Date Error: Invalid time. End Date Error: Invalid time. Status

Event Acronym LICS 1995 Event Series LICS - IEEE Symposium on Logic in Computer Science Start Date Error: Invalid time. End Date Error: Invalid time. Status

Event Acronym LICS 2000 Event Series LICS - IEEE Symposium on Logic in Computer Science Start Date Error: Invalid time. End Date Error: Invalid time. Status

Event Acronym LICS 1986 Event Series LICS - IEEE Symposium on Logic in Computer Science Start Date Error: Invalid time. End Date Error: Invalid time. Status

Event Acronym LICS 1987 Event Series LICS - IEEE Symposium on Logic in Computer Science Start Date Error: Invalid time. End Date Error: Invalid time. Status

Event Acronym LICS 1996 Event Series LICS - IEEE Symposium on Logic in Computer Science Start Date Error: Invalid time. End Date Error: Invalid time. Status

Event Acronym LICS 2013 Event Series LICS - IEEE Symposium on Logic in Computer Science Start Date Error: Invalid time. End Date Error: Invalid time. Status

International Conference on Inductive Logic Programming Event Series ILP - International Conference on Inductive Logic Programming Start Date 2019-09-03 End

Event Acronym LICS 1992 Event Series LICS - IEEE Symposium on Logic in Computer Science Start Date Error: Invalid time. End Date Error: Invalid time. Status

Event Acronym LICS 2005 Event Series LICS - IEEE Symposium on Logic in Computer Science Start Date Error: Invalid time. End Date Error: Invalid time. Status

formalizing knowledge using two-valued logics like Description Logics or Logic Programming. However, fuzzy logic is inherently better suited for expressing

Methods Computer Science Neural Networks Formal Methods Software Verification Logic Programming Automation Theory FMICS - International Workshop on Formal Methods

Title 1st Workshop on Computer Science Logic Ordinal 1 Event Series CSL - Annual Conference on Computer Science Logic Start Date 1987-10-12 End Date 1987-10-16

Title 3rd Workshop on Computer Science Logic Ordinal 3 Event Series CSL - Annual Conference on Computer Science Logic Start Date 1989-10-02 End Date 1989-10-06

Title 2nd Workshop on Computer Science Logic Ordinal 2 Event Series CSL - Annual Conference on Computer Science Logic Start Date 1988-10-03 End Date 1988-10-07

Organization Event Series Events List AColl 2007 2007-12-17 → 2007-12-19

fields of artistic engagement. Keywords: sport, Game Logic, Body Logic, Aesthetic Logic, Organisational Logic,

Organization Wikidata ID Q158158 ROR ID 042aqky30 Event Series Events List KI 2015 2015-09-21 → 2015-09-25 Artificial Intelligence Computer Science

2008 Title International Workshop on Logic and Synthesis Ordinal 17 Event Series IWLS - International Workshop on Logic and Synthesis Start Date 2008-06-04

International Workshop on Computer Science Logic Ordinal 8 Event Series CSL - Annual Conference on Computer Science Logic Start Date 1994-09-25 End Date 1994-09-30

International Workshop on Computer Science Logic Ordinal 12 Event Series CSL - Annual Conference on Computer Science Logic Start Date 1998-08-24 End Date 1998-08-28

International Workshop on Computer Science Logic Event Series CSL - Annual Conference on Computer Science Logic Start Date 1995-09-22 End Date 1995-09-29

International Workshop on Computer Science Logic Ordinal 10 Event Series CSL - Annual Conference on Computer Science Logic Start Date 1996-09-21 End Date 1996-09-27

International Workshop on Computer Science Logic Ordinal 13 Event Series CSL - Annual Conference on Computer Science Logic Start Date 1999-09-20 End Date 1999-09-25

International Workshop on Computer Science Logic Ordinal 11 Event Series CSL - Annual Conference on Computer Science Logic Start Date 1997-08-23 End Date 1997-08-29

Title 4th Workshop on Computer Science Logic Ordinal 4 Event Series CSL - Annual Conference on Computer Science Logic Start Date 1990-10-01 End Date 1990-10-05

Title 6th Workshop on Computer Science Logic Ordinal 6 Event Series CSL - Annual Conference on Computer Science Logic Start Date 1992-09-28 End Date 1992-10-02

Event Series Acronym ILPS Title International Logic Programming Symposium Related Identifiers CORE Rankings Year 2017 Rank A Maintainer Events List ILPS

Integrated Circuit Very Large-Scale Integration IWLS - International Workshop on Logic and Synthesis Integrated Circuit SBCCI - Symposium on Integrated Circuits

Event Series Acronym FLOPS Title International Symposium on Functional and Logic Programming Related Identifiers CORE Rankings Year 2017 Rank A Maintainer

Title 7th Workshop on Computer Science Logic Ordinal 7 Event Series CSL - Annual Conference on Computer Science Logic Start Date 1993-09-13 End Date 1993-09-17

International Conference on Inductive Logic Programming Event Series ILP - International Conference on Inductive Logic Programming Start Date 2017-09-04 End

International Conference on Inductive Logic Programming Event Series ILP - International Conference on Inductive Logic Programming Start Date 2018-09-02 End

Event Series Events List CSL 2015 2015-09-07 → 2015-09-10 Computer Science Logic

Theorem Proving with Analytic Tableaux and Related Methods Academic Field Logic Related Identifiers CORE Rankings Year 2017 Rank A Maintainer Events List

Mathematical Logic, Mathematics DOI https://doi.org/10.25798/0rw4-4146 10.25798/0rw4-4146 Deadlines organization German Association for Mathematical Logic and for

Mathematical Logic and for Basic Research in the Exact Sciences Metrics Organizer Organization German Association for Mathematical Logic and for Basic

Mathematical Logic and for Basic Research in the Exact Sciences Metrics Organizer Organization German Association for Mathematical Logic and for Basic

Mathematical Logic and for Basic Research in the Exact Sciences Metrics Organizer Organization German Association for Mathematical Logic and for Basic

Event Acronym AiML 2020 Title Advances in Modal Logic Ordinal 13 Event Series AiML - Advances in Modal Logic Start Date 2020-08-17 End Date 2020-08-21 Status

techniques: * (constraint) logic programming approaches to agent systems * distributed constraint satisfaction * modal and epistemic logics for agent modelling

Academic Field Soft Computing, Machine Learning, Pattern Recognition, Fuzzy Logic Official Website http://www.mirlabs.org/socpar16 Deadlines 2016-10-15 2016-09-30

2017-02-19 → 2017-02-23 Algebra Programming Language Distributed Computation Logics

Event Acronym SELSE 2008 Title IEEE Workshop on Silicon Errors in Logic - System Effects Start Date 2008-03-26 End Date 2008-03-27 Status as scheduled

Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the European Association for Logic, Language and Information

Programmable Logic and Applications (FPL) is the first and largest conference covering the rapidly growing area of field-programmable logic and it covers

Event Acronym LENLS 14 Title Logic and Engineering of Natural Language Semantics Event Series LENLS - Logic and Engineering of Natural Language Semantics

International Symposium on Functional and Logic Programming Event Series FLOPS - International Symposium on Functional and Logic Programming Start Date 2020-04-23

Event Acronym ILPS 2020 Title International Logic Programming Symposium Event Series ILPS - International Logic Programming Symposium Start Date 2020-04-23

Event Acronym LENLS 15 Title Logic and Engineering of Natural Language Semantics Event Series LENLS - Logic and Engineering of Natural Language Semantics

modal logics. Here the term "modal logics" is conceived broadly, including temporal logic, description logic, guarded fragments, conditional logic, temporal

several generations of product. Programs written in functional or (constraint-)logic programming languages, or even in other languages with a controlled use of

23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning Event Series LPAR - Logic Programming and Automated Reasoning

International Symposium on Logic-based Program Synthesis and Transformation Event Series LOPSTR - International Symposium on Logic-based Program Synthesis

International Symposium on Logic-based Program Synthesis and Transformation Event Series LOPSTR - International Symposium on Logic-based Program Synthesis

Title 30th Annual ACM/IEEE Symposium on Logic in Computer Science Event Series LICS - IEEE Symposium on Logic in Computer Science Start Date 2015-07-06

International Conference on Inductive Logic Programming Event Series ILP - International Conference on Inductive Logic Programming Start Date 2020-09-09 End

people, including those interested in description logic, feature logic, applied modal logics, temporal logic, and labelled deduction. The workshop continues

pleased to announce the Student Session of the 20th European Summer School in Logic, Language and Information to be held in Hamburg, Germany on August 4-15,

Event Acronym LPNMR 2009 Title 10th International Conference on Logic Programming and Nonmonotonic Reasoning Event Series Event Series:LPNMR Start Date

International Symposium on Logic-Based Program Synthesis and Transformation Event Series LOPSTR - International Symposium on Logic-based Program Synthesis

International Symposium on Logic-based Program Synthesis and Transformation Event Series LOPSTR - International Symposium on Logic-based Program Synthesis

Event Acronym LENLS 16 Title Logic and Engineering of Natural Language Semantics 16 Event Series LENLS - Logic and Engineering of Natural Language Semantics

International Symposium on Logic-based Program Synthesis and Transformation Event Series LOPSTR - International Symposium on Logic-based Program Synthesis

Symposium on Logical Formalizations of Commonsense Reasoning Academic Field Logic Related Identifiers Maintainer Events

Event Series Acronym ALP Title International Conference on Algebraic and Logic Programming Related Identifiers CORE Rankings Year 2018 Rank B Maintainer

2000 Title International Workshop on Logic and Synthesis Ordinal 9 Event Series IWLS - International Workshop on Logic and Synthesis Start Date 2000-05-31

2002 Title International Workshop on Logic and Synthesis Ordinal 11 Event Series IWLS - International Workshop on Logic and Synthesis Start Date 2002-06-04

2012 Title International Workshop on Logic and Synthesis Ordinal 21 Event Series IWLS - International Workshop on Logic and Synthesis Start Date 2012-06-01

2001 Title International Workshop on Logic and Synthesis Ordinal 10 Event Series IWLS - International Workshop on Logic and Synthesis Start Date 2001-06-12

2010 Title International Workshop on Logic and Synthesis Ordinal 19 Event Series IWLS - International Workshop on Logic and Synthesis Start Date 2010-06-18

2020 Title International Workshop on Logic and Synthesis Ordinal 29 Event Series IWLS - International Workshop on Logic and Synthesis Start Date 2020-07-27

2021 Title International Workshop on Logic and Synthesis Ordinal 30 Event Series IWLS - International Workshop on Logic and Synthesis Start Date 2021-07-19

2011 Title International Workshop on Logic and Synthesis Ordinal 20 Event Series IWLS - International Workshop on Logic and Synthesis Start Date 2011-06-03

2009 Title International Workshop on Logic and Synthesis Ordinal 18 Event Series IWLS - International Workshop on Logic and Synthesis Start Date 2009-07-31

Title 31st International Conference on Logic Programming Ordinal 31 Event Series ICLP - International Conference on Logic Programming Start Date 2015-08-31

Title 30th International Conference on Logic Programming Ordinal 30 Event Series ICLP - International Conference on Logic Programming Start Date 2014-07-19

Title 28th International Conference on Logic Programming Ordinal 28 Event Series ICLP - International Conference on Logic Programming Start Date 2012-09-04

Title 32nd International Conference on Logic Programming Ordinal 32 Event Series ICLP - International Conference on Logic Programming Start Date 2016-10-16

Title 27th International Conference on Logic Programming Ordinal 27 Event Series ICLP - International Conference on Logic Programming Start Date 2011-07-06

Title 29th International Conference on Logic Programming Ordinal 29 Event Series ICLP - International Conference on Logic Programming Start Date 2013-08-24

Title 37th International Conference on Logic Programming Ordinal 37 Event Series ICLP - International Conference on Logic Programming Start Date 2021-09-20

Title 33rd International Conference on Logic Programming Ordinal 33 Event Series ICLP - International Conference on Logic Programming Start Date 2017-08-28

Title 36th International Conference on Logic Programming Ordinal 36 Event Series ICLP - International Conference on Logic Programming Start Date 2020-09-18

Title 26th International Conference on Logic Programming Ordinal 26 Event Series ICLP - International Conference on Logic Programming Start Date 2010-07-16

2019 Title International Workshop on Logic and Synthesis Ordinal 28 Event Series IWLS - International Workshop on Logic and Synthesis Start Date 2019-06-21

2017 Title International Workshop on Logic and Synthesis Ordinal 26 Event Series IWLS - International Workshop on Logic and Synthesis Start Date 2017-06-17

2007 Title International Workshop on Logic and Synthesis Ordinal 16 Event Series IWLS - International Workshop on Logic and Synthesis Start Date 2007-05-30

2013 Title International Workshop on Logic and Synthesis Ordinal 22 Event Series IWLS - International Workshop on Logic and Synthesis Start Date 2013-06-07

2014 Title International Workshop on Logic and Synthesis Ordinal 23 Event Series IWLS - International Workshop on Logic and Synthesis Start Date 2014-05-30

2003 Title International Workshop on Logic and Synthesis Ordinal 12 Event Series IWLS - International Workshop on Logic and Synthesis Start Date 2003-05-28

2004 Title International Workshop on Logic and Synthesis Ordinal 13 Event Series IWLS - International Workshop on Logic and Synthesis Start Date 2004-06-02

2018 Title International Workshop on Logic and Synthesis Ordinal 27 Event Series IWLS - International Workshop on Logic and Synthesis Start Date 2018-06-23

2016 Title International Workshop on Logic and Synthesis Ordinal 25 Event Series IWLS - International Workshop on Logic and Synthesis Start Date 2016-06-10

2006 Title International Workshop on Logic and Synthesis Ordinal 15 Event Series IWLS - International Workshop on Logic and Synthesis Start Date 2006-06-07

2005 Title International Workshop on Logic and Synthesis Ordinal 14 Event Series IWLS - International Workshop on Logic and Synthesis Start Date 2005-06-08

2015 Title International Workshop on Logic and Synthesis Ordinal 24 Event Series IWLS - International Workshop on Logic and Synthesis Start Date 2015-06-12

Title 35th International Conference on Logic Programming Ordinal 35 Event Series ICLP - International Conference on Logic Programming Start Date 2019-09-20

Title 34th International Conference on Logic Programming Ordinal 34 Event Series ICLP - International Conference on Logic Programming Start Date 2018-07-14

Acronym AiML 2018 Title Advances in Modal Logic 2018 Ordinal 12 Event Series AiML - Advances in Modal Logic Start Date 2018-08-27 End Date 2018-08-31 Status

uva.nl/AC2007 Deadlines 2007-09-01 Organizer Organization Institute for Logic, Language and Computation (ILLC) Venue Amsterdam, Netherlands Loading map

Mexico (MX) Academic Field Artificial Intelligence, Automated Reasoning, Logic-Based Knowledge Represen Official Website http://nova.mxl.uabc.mx/enc16/

chaos/neural/fuzzy-logic circuits, high-speed/low-power circuits. Computer-Aided Design (CAD): hardware/software co-design, logic and behavioral synthesis, logic mapping

linguistics, conceptual modeling and design, diagrammatic reasoning and logic, intelligent systems and knowledge management. The activity of the field

Computational Logic, TU Dresden Metrics Submitted Papers 59 Accepted Papers 29 Organizer Organization International Center for Computational Logic, TU Dresden

Relational Learning * ILP-2009 - 19th International Conference on Inductive Logic Programming * MLG-2009 - 7th International Workshop on Mining and Learning

Working Group on Genetic Fuzzy Systems of the European Society for Fuzzy Logic and Technologies. The workshop will be technically co-sponsored by the IEEE

Event Acronym LGS6 Title Logic, Game Theory, and Social Choice 6 Event Series LGS - Start Date 2009-08-26 End Date 2009-08-29 Status as scheduled Mode

Fairness Track B: Automata, Logic, Semantics, and Theory of Programming: Algebraic and Categorical Models of Computation Automata, Logic, and Games Database Theory

Mathematics Event Series List DL - International Workshop on Description Logics Description Logics Events

warehouses; distributed databases; information retrieval; knowledge bases; logic; multimedia; physical design; privacy; quantitative approaches; query languages;

Event Series Events List CSL 2004 2004-09-20 → 2004-09-24 Computer Science Logic MFCS 1999 1999-09-06 → 1999-09-10 Computing In Mathematics Theoretical Computer

Event Acronym AiML 1998 Title Advances in Modal Logic Ordinal 2 Event Series AiML - Advances in Modal Logic Start Date 1998-10-16 End Date 1998-10-18 Status

Symposium on Language, Logic and Computation Ordinal 13 Event Series TbiLLC - International Tbilisi Symposium on Language, Logic and Computation Start Date

Event Acronym AiML 2004 Title Advances in Modal Logic Ordinal 5 Event Series AiML - Advances in Modal Logic Start Date 2004-09-09 End Date 2004-09-11 Status

Symposium on Language, Logic and Computation Ordinal 3 Event Series TbiLLC - International Tbilisi Symposium on Language, Logic and Computation Start Date

Symposium on Language, Logic and Computation Ordinal 1 Event Series TbiLLC - International Tbilisi Symposium on Language, Logic and Computation Start Date

Symposium on Language, Logic and Computation Ordinal 2 Event Series TbiLLC - International Tbilisi Symposium on Language, Logic and Computation Start Date

Symposium on Language, Logic and Computation Ordinal 8 Event Series TbiLLC - International Tbilisi Symposium on Language, Logic and Computation Start Date

Symposium on Language, Logic and Computation Ordinal 12 Event Series TbiLLC - International Tbilisi Symposium on Language, Logic and Computation Start Date

Event Acronym AiML 2000 Title Advances in Modal Logic Ordinal 3 Event Series AiML - Advances in Modal Logic Start Date 2000-10-04 End Date 2000-10-07 Status

Event Acronym AiML 2012 Title Advances in Modal Logic Ordinal 9 Event Series AiML - Advances in Modal Logic Start Date 2012-08-22 End Date 2012-08-25 Status

Symposium on Language, Logic and Computation Ordinal 11 Event Series TbiLLC - International Tbilisi Symposium on Language, Logic and Computation Start Date

Event Acronym AiML 2002 Title Advances in Modal Logic Ordinal 4 Event Series AiML - Advances in Modal Logic Start Date 2002-09-30 End Date 2002-10-02 Status

Event Acronym AiML 2006 Title Advances in Modal Logic Ordinal 6 Event Series AiML - Advances in Modal Logic Start Date 2006-09-25 End Date 2006-09-28 Status

Event Acronym AiML 1996 Title Advances in Modal Logic Ordinal 1 Event Series AiML - Advances in Modal Logic Start Date 1996-10-08 End Date 1996-10-10 Status

Symposium on Language, Logic and Computation Ordinal 9 Event Series TbiLLC - International Tbilisi Symposium on Language, Logic and Computation Start Date

Event Acronym AiML 2008 Title Advances in Modal Logic Ordinal 7 Event Series AiML - Advances in Modal Logic Start Date 2008-09-09 End Date 2008-09-12 Status

Event Acronym AiML 2010 Title Advances in Modal Logic Ordinal 8 Event Series AiML - Advances in Modal Logic Start Date 2010-08-24 End Date 2010-08-27 Status

Symposium on Language, Logic and Computation Ordinal 6 Event Series TbiLLC - International Tbilisi Symposium on Language, Logic and Computation Start Date

Symposium on Language, Logic and Computation Ordinal 7 Event Series TbiLLC - International Tbilisi Symposium on Language, Logic and Computation Start Date

Event Acronym AiML 2016 Title Advances in Modal Logic Ordinal 11 Event Series AiML - Advances in Modal Logic Start Date 2016-08-30 End Date 2016-09-02 Status

Event Acronym AiML 2014 Title Advances in Modal Logic Ordinal 10 Event Series AiML - Advances in Modal Logic Start Date 2014-08-05 End Date 2014-08-08 Status

Symposium on Language, Logic and Computation Ordinal 4 Event Series TbiLLC - International Tbilisi Symposium on Language, Logic and Computation Start Date

Symposium on Language, Logic and Computation Ordinal 10 Event Series TbiLLC - International Tbilisi Symposium on Language, Logic and Computation Start Date

Symposium on Language, Logic and Computation Ordinal 5 Event Series TbiLLC - International Tbilisi Symposium on Language, Logic and Computation Start Date

Event Acronym WILF 2009 Title International Workshop on Fuzzy Logic and Applications Start Date 2009-06-09 End Date 2009-06-12 Status as scheduled Mode

Artificial Life, Biocomputation - New Models of Logic Software - "Intersections" - e.g., work at the crossroads of logic, epistemology, philosophy of science and

Event Series Acronym ICTL Title International Conference on Temporal Logic Related Identifiers CORE Rankings Year 2017 Rank A Maintainer Events

DSP and multicore architectures * Memory circuits and systems * Low power logic and architectures * Multimedia processing circuits * Communication circuits

Event Series Acronym LPMA Title International Workshop on Logic Programming and Multi-Agents Related Identifiers CORE Rankings Year 2018 Rank B Maintainer

Acronym PLILP Title Symposium on Programming Language Implementation and Logic Programming Related Identifiers CORE Rankings Year 2018 Rank B Maintainer

Event Series Acronym FLINS Title International Fuzzy Logic and Intelligent technologies in Nuclear Science Conference Related Identifiers CORE Rankings

Computing is an emerging field that consists of complementary elements of fuzzy logic, neural computing, evolutionary computation, machine learning and probabilistic

Computing is an emerging field that consists of complementary elements of fuzzy logic, neural computing, evolutionary computation, machine learning and probabilistic

Event Acronym SPL 2008 Title 4th Southern Conference on Programmable Logic Start Date 2008-03-26 End Date 2008-03-28 Status as scheduled Mode on site City

Event Acronym FPL 2008 Title International Conference on Field Programmable Logic and Applications Start Date 2008-09-08 End Date 2008-09-10 Status as scheduled

St. Petersburg Country Russian Federation (RU) Official Website https://logic.pdmi.ras.ru/sea2016 Deadlines Metrics Submitted Papers 54 Accepted Papers

Evolutionary Algorithms Expert Systems Foundations of AI Fractals Fuzzy Logic Genetic Algorithms Hardware Architectures for AI Heuristic and Knowledge-Based

stabilize for several generations of product. Programs written in functional or logic programming languages, or even in other languages with a controlled use of

ID 00excyz84 Event Series Events List CIAA 2023 2023-09-19 → 2023-09-22 Logic

Temperature-aware and reliable design 1.2. Logic and Microarchitecture Design: Processor core design; Cache and register file design; Logic and RTL design; Arithmetic

2016-12-19 → 2016-12-21 Machine Learning Pattern Recognition Soft Computing Fuzzy Logic MLSCPS 2016 2016-12-18 → 2016-12-20 Machine Learning Cyber Security Cyber-Physical

Event Acronym LPNMR 2017 Title 14th International Conference on Logic Programming and Nonmonotonic Reasoning Event Series Event Series:LPNMR Start Date

2017-02-19 → 2017-02-23 Algebra Programming Language Distributed Computation Logics

collaboration at the intersection of philosophical ontology, linguistics, logic, cognitive science, and computer science, as well as in the applications

Languages (POPL 2009). The emphasis will be on functional and (constraint-)logic programming, but any programming language ideas that aim to raise the level

all fields of kinesiology and sport. Keywords: Game , Sports, Aesthetic Logic, international , conference

Event Series Events List CSL 2017 2017-08-20 → 2017-08-24 Computer Science Logic

Pan-American Symposium on the History of Logic - Existence and Nonexistence Pan-American Symposium on the History of Logic 2023-06-20 SIGMETRICS 2023 SIGMETRICS

possibilities approaches Industrial, financial, and medical applications Fuzzy logic application in civil engineering and GIS Fuzzy sets and soft computing in

intelligent systems - Fuzzy decision making and decision support systems - Fuzzy logic and fuzzy set theory - Fuzzy optimization and design - Fuzzy pattern recognition

declarative programming communities. It solicits papers on all aspects of logic, constraint and functional programming, as well as on related paradigms such

ERCIM/CSCLP Title ERCIM Annual Workshop on Constraint Solving and Constraint Logic Programming Related Identifiers CORE Rankings Year 2018 Rank B Maintainer

Computing is an emerging field that consists of complementary elements of fuzzy logic, neural computing, evolutionary computation, machine learning and probabilistic

of computational intelligence techniques such as: - Neural networks Fuzzy logic Evolutionary computing Expert systems Symbolic AI Swarm intelligence Rough

applications related to decision making such as agents, multi-agent systems, fuzzy logic, genetic algorithms, neural networks, and expert systems. Intelligent decision

Intelligence o Fuzzy reasoning, Fuzzy decision making, Fuzzy logic o Interactions of Fuzzy logic, Neural networks and Evolutionary computation o Genetic algorithms

Fuzzy Sets and Fuzzy Logic, Rough Sets, Aggregation Methods, Knowledge Representation, Approximate Reasoning, Non-classical Logics, Default Reasoning, Belief

other agents and self - BDI, speech act theory - reactive vs deliberative - logic-based methods - bounded rationality Agent societies and Societal issues -

Randomness in Computation Theory of Security in Networks Track B (Automata, Logic, Semantics and Theory of Programming): Algebraic and Categorical Models Automata

Theory Approximation Algorithms and Online Algorithms Automata, Languages, Logic, and Computability Complexity Theory Computational Learning Theory and Knowledge

concrete computational models Interactive and probabilistic proof systems Logic and descriptive complexity Pseudorandomness and derandomization Average case

neural-symbolic, neuro-fuzzy,neuro-evolutionary systems, neuro-swarm, neural dynamic logic and other methods Connectionist methods of emergent intelligence Bayesian

and methodology 8.2. Combinational, sequential and asynchronous logic synthesis 8.3. Logic synthesis and physical design technique for FPGA 8.4. Technology

Multivalued Logic Optimization Operations Management Operations Research Soft Computing Supply Chain Management Uncertain Calculus Uncertain Logic Uncertain

argumentation systems; Logics in Databases and AI: classical and non-classical logics, logic programming, description logics, spatial and temporal logics, probability

for FPGAs: Placement, routing, retiming, logic optimization, technology mapping, system-level partitioning, logic generators, testing and verification, CAD

Learning) Neuromorphic Computing Low Power and Energy Efficient Architectures Logic Synthesis and Electronic Design Automation Computer Arithmetic and Cryptography

Event Series Events List CSL 2021 2021-01-25 → 2021-01-28 Computer Science Logic

Artificial Intelligence Problem Solving Logic Reasoning and Theorem-Proving Expert Systems Decision support systems Fuzzy logic and soft computing Brain models/Cognitive

Event Acronym CiE 2008 Title Computability in Europe 2008: Logic and Theory of Algorithms Start Date 2008-06-15 End Date 2008-06-20 Status as scheduled

MODELS, DATA INTEGRATION AND SERVICES § Data Models and Database Design § Logic and Databases § Semi-structured, XML, and Web Data § Ontologies for Databases

formal models of agents and on agent logics, including epistemic logics, logics of action, dynamic logic, coalition logics etc. For example, the development

for FPGAs: Placement, routing, retiming, logic optimization, technology mapping, system-level partitioning, logic generators, testing and verification, CAD

ROR ID 01f1vfy95 Event Series Events List CIAA 22 2022-06-28 → 2022-07-01 Logic

Computing Quantum Computing Randomness in Computation Track B: Automata, logic, semantics, and theory of programming: Algebraic and Categorical Models Automata

Learning Neural Network Theory and Architectures Hardware Implementations Fuzzy Logic Fuzzy Optimisation Fuzzy Control Fuzzy Computing with Words Theory of Evolutionary

Egypt T: +1-408-835-9040 E: hazem_eltahawy@mentor.com Yervant Zorian Virage Logic 47100 Bayside Parkway Fremont CA, 94538, USA T: +1-510-360-8035 E: zorian@viragelogic

the world famous Eden Gardens Stadium. Keywords: Game , Sports, Aesthetic Logic, international , conference

marking algorithm with Modal Logic * Xinyu Feng, Zhong Shao, Yu Guo and Yuan Dong. Combining Domain-Specific and Foundational Logics to Verify Complete Software

complexity. Track B - Logic, Semantics, Specification and Verification: Automata theory; automated deduction; constructive and non- standard logics in computer science;

multi-agent systems, many researchers have proposed the use of modal logics such as logics of beliefs, knowledge, norms and time. This workshop will focus on

Acronym DL Title International Workshop on Description Logics Academic Field Description Logics Related Identifiers DBLP Series ID dlog Maintainer Events

Tishby, (The Hebrew University, Israel) SPECIAL TOPIC INVITED SESSIONS: * Logic in Artificial Intelligence Special Session in Honor of the 65th Birthday

encouraged. statistical learning neural network learning learning through fuzzy logic learning through evolution (evolutionary algorithms) reinforcement learning

Architecture: Architectures for programmable logic fabrics or their components, including routing, flexible logic cells, embedded blocks (memory, DSP, processors)

Agios Sergios Region Gazimağusa District Country Cyprus (CY) Academic Field Logic Official Website https://ciaa.emu.edu.tr/en Deadlines organization Eastern

large-scale data mining - Soft computing (including neural networks, fuzzy logic, evolutionary computation, and rough sets) and uncertainty management for

fuzzy measures and fuzzy integrals » fuzzy differential equations » fuzzy logic, fuzzy inference systems » aggregation, operators, fuzzy relations » Fuzzy

retrieval and databases. * Information retrieval, filtering and dissemination. * Logic in databases. * Performance issues of database. * Privacy and Security in

particular, the workshop seeks original contributions demonstrating the use of logic, discrete mathematics, combinatorics, domain theory and other mathematical

tabular methods, - algebraic approaches to logics of programs, modal and dynamic logics, interval and temporal logics - algebraic semantics of programming languages

synchronous systems; Logics for concurrency such as modal logics, probabilistic and stochastic logics, temporal logics, and resource logics; Verification and

fusion * Belief functions * Uncertainty & data mining * Fuzzy sets and Fuzzy Logic * Classification & clustering * Rough sets * Algorithms for uncertain inference

(patterns co-chair) David Carral, International Center For Computational Logic, TU Dresden, Germany (patterns co-chair)

Event Acronym SLIE 2017 Title SLIE 2017 : Semantic, Logics, Information Extraction and AI Start Date 2017-05-22 End Date 2017-05-24 Status as scheduled

this old phenomena which is Learning. Topics Learning environment Learning Logic Learning paradigm Human and Machine Learning Fuzziness Human Robot Interaction

Evolutionary algorithms * Expert systems * Fractals * Fuzzy sets and fuzzy logic * Game playing * Genetic algorithms * Hardware aspects of AI * Heuristics

* Machine learning * Expert systems * Artificial neural networks * Fuzzy logic and systems * Feature selection * Dimension reduction * Pattern classification

SiGe bipolar, and BiCMOS ICs * DRAM, SRAM and non-volatile memory * Merged logic and memory * SOI material and devices * Device and interconnect reliability

of computational intelligence techniques such as: neural networks fuzzy logic rough sets metaheuristics (evolutionary algorithms, simulated annealing,

Alexandrescu, iRoC R. Iyer, U. Illinois C. Slayman, Sun Y. Zorian, Virage Logic D. Appello, ST Microelectronics A. Krasniewski, Warsaw U. T. M. Sonza Reorda

formalize commonsense reasoning using formal languages such as mathematical logic. Since John McCarthy founded the Commonsense Symposium in 1991, the symposium

CSIT 09 * WEB Page: http://csit.am/2009 * Topics: Algorithms, Automata and Logic, Discrete Mathematics and Combinatorics, Coding Theory, Information Theory

formalize commonsense reasoning using formal languages such as mathematical logic. Since John McCarthy founded the Commonsense Symposium in 1991, the symposium

disi.unitn.it/ MOTIVATIONS In various areas of computer science, such as logic, computation, program development and verification, artificial intelligence

html August 11-15, 2008 organized as part of the European Summer School on Logic, Language and Information ESSLLI 2008 (http://www.illc.uva.nl/ESSLLI2008/)

sfb441.uni-tuebingen.de/fg08/ Collocated with the European Summer School in Logic, Language and Information Background FG-2008 is the 13th conference on Formal

Event Series Acronym JELIA Title Logics in Artificial Intelligence, European Conference Related Identifiers CORE Rankings Year 2017 Rank A Maintainer Events

learning Evolutionary computing Economic theory and game theory Mathematical logic and reasoning Data mining and (big) data analysis Monitoring and measurements

formalize commonsense reasoning using formal languages such as mathematical logic. Since John McCarthy founded the Commonsense Symposium in 1991, the symposium

privacy and security database aspects of machine learning model theory, logics, algebras, computational complexity design, semantics, query languages data

engage with the world around them. For these systems to be applied, technical logic must be further developed in such a way that complex decision-making is possible

interest include, but are not limited to: * Theory and Formal Models for IR: Logic and Language Models, Probabilistic Models. * Cross Language and Multi Language

Evolution Distributed and Parallel Computing Electronic Design Automation Fuzzy logic and Reasoning Games and Entertainment Genetic, Evolutional, Computational

(FOSSACS) 2020 categorical models and logics; language theory, automata, and games; modal, spatial, and temporal logics; type theory and proof theory; concurrency

computing. Programming paradigms (including object-oriented, functional, logic, concurrent, mobile, aspect-oriented) and their relevance to practical problems

algorithms) - Word sense disambiguation - Lexical semantics - Formal semantics and logic - Textual entailment and paraphrasing - Discourse and pragmatics - Dialog

Computer Science CSL 2024 2024-02-19 → 2024-02-23 Italy (IT) Computer Science Logic PID Network DE-Online-Seminar zu PIDs für Forschungsdaten 2024 2024-02-15 → 2024-02-15

integration of metamodels for ontology technologies, for example OWL, SWRL, F-Logic. * Ontology driven software development: ontology support to web service

Semi-Supervised, Multi-Instance, Multi-Label and Multi-Task Learning Description Logic and Ontologies Transfer/Adaptive, Rational and Structured Learning Preference/Ranking

4. Circuits and Systems for Communications 5. Neural Networks and Fuzzy Logic Processing 6. Others 6. Emerging Technologies in Signal Processing and Communications

developed a number of languages (such as RDF, RDF Schema, OWL) that deploy logic for this purpose. Impressive progress has been made on scalable storage,

with fragments OWL added. Extensions based on rules, such as SWRL and N3 logic, have been developed as well as enhancements to the SPARQL query language

checking), programming paradigms and their integration (including functional, logic, concurrent, and object-oriented), semantics facilitating the formal development

Singular Value and Tucker Decomposition) - Higher order tensors and Quantum Logic extensions - Feature engineering in machine learning models - Computational

conference. Fuzzy sets: Fuzzy sets and fuzzy logic Mathematical foundations of fuzzy sets and fuzzy logic Fuzzy systems design and optimization Fuzzy control

semantics, and can be mapped to an existing formal language, such as first-order logic. Thus, those languages can be used as knowledge representation languages

functional programming, object-oriented programming, aspect-oriented programming, logic programming, constraint programming, extensible programming languages, domain-specific

Document classification and information retrieval, Bayesian networks, fuzzy logic and reasoning under uncertainty, Temporal and spatial representation and

warehouses; distributed databases; information retrieval; knowledge bases; logic; multimedia; physical design; privacy; quantitative approaches; query languages;

related to computer science * grammars and formal models * program semantics, logic, and verification THEORY AND PRACTICE OF SOFTWARE SERVICES * software engineering

(FOSSACS) 2021 categorical models and logics; language theory, automata, and games; modal, spatial, and temporal logics; type theory and proof theory; concurrency

parallel and distributed computation, machine learning, applications of logic, algorithmic algebra and coding theory, computational biology, computational

limited to: Fuzzy sets: Fuzzy sets and fuzzy logic Mathematical foundations of fuzzy sets and fuzzy logic Fuzzy systems design and optimization Fuzzy control

correction, heterogeneous applications that use both classical and quantum logic, benchmarks for heterogeneous quantum computers.) !!! SPECIAL TOPIC 2 !!

Quantum computing, Computational geometry, Computational applications of logic, Algorithmic graph theory and combinatorics, optimization, Randomness in

synthesis, and transformation program analysis, verification, model-checking logic, constraint, probabilistic, and quantum programming software security concurrency

relevant disciplines such as artificial intelligence, knowledge modeling, logic, databases, social networks, Web services, distributed computing, Web engineering

Learning Graph Mining Implementation issues of Relational Learning Inductive Logic Programming New Relational Learning algorithms Propositionalization methods

synthesis, and transformation Program analysis, verification, model-checking Logic, constraint, probabilistic, and quantum programming Software security Concurrency

(FOSSACS) 2014 Categorical models and logics; Language theory, automata, and games; Modal, spatial, and temporal logics; Type theory and proof theory; Concurrency

Event Series Events List CSL 2018 2018-09-04 → 2018-09-07 Computer Science Logic

constraint-based reasoning, constraint satisfaction technologies and constraint logic programming. Submission Authors are invited to submit a full paper of up

data Infinite state systems Computation structures Logics of programs Modal, spatial, and temporal logics Models of concurrent, reactive, distributed, and

functional programming, aspect-oriented programming, object-oriented programming, logic programming, constraint programming, extensible programming languages, domain-specific

automata, including (but not limited to): algorithms on automata automata and logic bioinformatics complexity of automata operations compilers computer-aided

TO:] Brain models / cognitive science Natural language processing Fuzzy logic and soft computing Software tools for AI Expert systems Decision support

Neural Network Theory and Architectures - Hardware Implementations - Fuzzy Logic - Fuzzy Optimisation - Fuzzy Control - Fuzzy Computing with Words - Theory

expected to be written so that they are reproducible by others, and the logic of the research design is clearly described in the paper. The conference

(FOSSACS) 2019 categorical models and logics; language theory, automata, and games; modal, spatial, and temporal logics; type theory and proof theory; concurrency

(FOSSACS) 2016 categorical models and logics; language theory, automata, and games; modal, spatial, and temporal logics; type theory and proof theory; concurrency

(FOSSACS) 2022 categorical models and logics; language theory, automata, and games; modal, spatial, and temporal logics; type theory and proof theory; concurrency

(FOSSACS) 2017 categorical models and logics; language theory, automata, and games; modal, spatial, and temporal logics; type theory and proof theory; concurrency

(FOSSACS) 2015 Categorical models and logics; Language theory, automata, and games; Modal, spatial, and temporal logics; Type theory and proof theory; Concurrency

E-commerce * Computational intelligence including neural networks, fuzzy logic, and genetic algorithms * Intelligent agents for multimedia content creation

limited to: - semantic disambiguation with deep learning - neural networks and logic rules for semantic compositionality - learning semantic similarity and encoding

will be colocated with the Tenth International Workshop on Computational Logic in Multi-Agent Systems (CLIMA'09) and the Fifth International Workshop on

graphic design, history of science, human-computer interaction, linguistics, logic, mathematics, philosophy, psychology, and software modelling. For the first

synthesis, and transformation program analysis, verification, model-checking logic, constraint, probabilistic, and quantum programming software security concurrency

analysis of algorithms computational and structural complexity semantics logic in computer science circuits and networks learning theory specification and

concurrency, mobility, dynamic, spatial and probabilistic aspects of coordination, logic, emergent behaviour, types, semantics; Specification, refinement, and analysis

* computational game theory * computational geometry * computer science logic * continuous and real computation * cryptography * domain models * dynamical

psychology and linguistics. Invited Speakers: * Rens Bod, Institute for Logic, Language and Computation, University of Amsterdam, Netherlands * Damir Cavar

Infinite state systems Computation structures, Logics of programs, Modal, spatial, and temporal logics, Models of concurrent, reactive, distributed, and

Infinite state systems, Computation structures, Logics of programs, Modal, spatial, and temporal logics, Models of concurrent, reactive, distributed, and

Automata, Languages, and Programming (ICALP) 2018 Algorithms Complexity Games Logic Semantics Automata and Theory of Programming Foundations of Networked Computation:

046rm7j60 Event Series Events List 2nd Pan-American Symposium on the History of Logic - Existence and Nonexistence 2023-06-20 → 2023-06-23 Philosophy of Science

functional programming, aspect-oriented programming, object-oriented programming, logic programming, constraint programming, extensible programming languages, domain-specific

in stream processing, complex event forecasting, in-network processing, logic-based complex event recognition, online relational learning, distributed

languages database theory foundations of concurrency and distributed systems logic and model checking models of reactive, hybrid, and stochastic systems principles

functional programming, aspect-oriented programming, object-oriented programming, logic programming, constraint programming, extensible programming languages, domain-specific

functional programming, object-oriented programming, aspect-oriented programming, logic programming, constraint programming, extensible programming languages, domain-specific

languages database theory foundations of concurrency and distributed systems logic and model checking models of reactive, hybrid, and stochastic systems principles

device support - Streaming queries, transformations, or correlation engines - Logic-based event processing - Semantic event processing - Business Process Management

of materialized views, dynamic graph processing, in-network processing, logic-based event recognition, event correlation and pattern languages. Systems

Engineering * Lattice Theory * Data Analysis * FCA and Data Mining * FCA and Logic * Philosophical Foundations ==Submission Details== We call for scientific

analysis of algorithms computational and structural complexity semantics logic, algebra and categories in computer science circuits and networks learning

Intelligent Systems, Informatics, Knowledge representation, Linguistics, Logic, Mathematics, Mental simulation, Molecular biology, Multiagent systems, Natural

Some topics (not limited to): Knowledge Representation, Reasoning, and Logic Automated Reasoning Reasoning Under Inconsistency Agent-based and Multi-agent

database management - experiences with real applications Track 3: Temporal Logic and Verification in Computer Science - specification and verification of

computer science are sought. Track A: Algorithms, Complexity and Games Track B: Logic, Semantics, Automata and Theory of Programming Track C: Foundations of Networked

paradigms and styles: functional programming, object-oriented programming, logic programming, constraint programming, extensible programming languages, domain-specific

Semantic Web Data Semantics and Web Semantics Semantic Interoperability Logics for the Semantic Web Semantic Web Mining Reasoning on the Semantic Web Behavior

parallel and distributed computation, machine learning, applications of logic, algorithmic algebra and coding theory, computational biology, computational

through reinforcement - Other models of learning - Applications of AI (TTIA) - Logic - Systems support for the decision - Intelligent Interaction - Knowledge

concrete computational models Interactive and probabilistic proof systems Logic and descriptive complexity Pseudorandomness and derandomization Average case

concurrency, mobility, dynamic, spatial and robabilistic aspects of coordination, logic, emergent behaviour, types, semantics; Specification, refinement, and analysis

paradigms and styles: functional programming, object-oriented programming, logic programming, constraint programming, extensible programming languages, domain-specific

methods (Rule Induction and Decision Tree Learning, Lazy Learning, Inductive Logic Programming, Analytical Learning, Transformation- *based Error-driven Learning)

functional programming, object-oriented programming, aspect-oriented programming, logic programming, constraint programming, extensible programming languages, domain-specific

functional programming, object-oriented programming, aspect-oriented programming, logic programming, constraint programming, extensible programming languages, domain-specific

functional programming, object-oriented programming, aspect-oriented programming, logic programming, constraint programming, extensible programming languages, domain-specific

Venue Atrium City Rouen Region Normandy Country France (FR) Academic Field Logic Official Website https://ciaa2022.sciencesconf.org/ Submission Link https://easychair

understanding; clustering and conceptual clustering; process mining; inductive logic programming; deep learning and classification. Aiming at focusing the efforts

concurrency, mobility, dynamic, spatial and probabilistic aspects of coordination, logic, emergent behaviour, types, semantics; Specification, refinement, and analysis

Aware Design Issues Fault Tolerance and Security Fuzzy systems and fuzzy logic Green computing Track IV: Information Security Computer and communication

(FOSSACS) 2018 categorical models and logics; language theory, automata, and games; modal, spatial, and temporal logics; type theory and proof theory; concurrency

foundational theories can be developed, rooted into formal disciplines such as logics and optimization theory. From these foundations, new paradigms for knowledge

Krebbers: Iris - A Modular Foundation for Higher-Order Concurrent Separation Logic

power series and weighted automata, - cellular automata, - relations to -logic, -picture description and analysis, -concurrency, -distributed systems, multi-agent

that from the backbone of intelligent control, real time control, fuzzy logic systems, neuro-computing, DNA computing, neural networks (NN), humanoids

algorithms • Data Representation and Visualization • Data Mining • Fuzzy Logic • Optimization Algorithms • Graph/Network/Social Mining Applications include

models database theory foundations of concurrency and distributed systems logic and model checking models of reactive, hybrid and stochastic systems principles

Programming and Reinforcement Learning; Artificial Life; Control Systems; Fuzzy Logic and System; Neural Networks; Genetic Algorithm; Swarm Intelligence; Computational

Pacific Workshop on Systems 2022-08-23 AiML 2022 AiML - Advances in Modal Logic 2022-08-22 SBCCI 2022 SBCCI - Symposium on Integrated Circuits and Systems

Biophotonics Computed Tomography Data Representation and Visualization Fuzzy Logic and Expert Systems Haptics Healthcare Informatics Human-Computer Interaction

functional programming, object-oriented programming, aspect-oriented programming, logic programming, constraint programming, extensible programming languages, domain-specific

Passau, Germany) * Don Batory (University of Texas, USA) * Martin Bravenboer (LogicBlox, USA) * Krzysztof Czarnecki (University of Waterloo, Canada) * Charles

aspects and cognitive issues. ? The computational use of models from informal logic and argumentation theory, ? The linguistic characteristics of natural argumentation

constraint-based reasoning, constraint satisfaction technologies and constraint logic programming. Submission details: -------------------------- Authors are invited

suicide, and, illuminating Agamben’s “whatever singularity,” corrode the logic of sovereignty. Benjamin’s “historical materialism” as a means to creativity

Intelligent Virtual Environments Knowledge Representation and Reasoning, Logic Programming Knowledge-Based Systems Machine Learning, Neural Nets, Genetic

databases and knowledge bases; Distributed databases; Integrity and security; Logic and databases; Multimedia databases; Query optimization; Query processing;

functional programming, object-oriented programming, aspect-oriented programming, logic programming, constraint programming, extensible programming languages, domain-specific

Electronics for robotics systems Complex architectures Neural Networks, Fuzzy logic and Evolutionary Computation in Robots Robot Vision Man-machine systems Cybernetics

describing the applications of finite automata in parsing and compilers, logic, natural language processing, pattern matching, database management and bioinformatics

track include, but not limited to the following: Active, Deductive, and Logic Databases Audio/Video Database Systems Cache and Buffer Management Cooperative

developed a number of languages (such as RDF, RDF Schema, OWL) that deploy logic for this purpose. Impressive progress has been made on scalable storage,

Norway Nigel Horspool, University of Victoria, Canada Shan Shan Huang, Logic Blox, USA Johan Jeuring, Utrecht University, The Netherlands Ondrej Lhotak

parallelism * Security * Memory hierarchy optimization * Type systems and program logics * Memory management * Verification * Novel programming models Submission

languages and tools - Novel programming models - Type systems and program logics - Debugging techniques and tools - Language designs and extensions - Analyses

Uncertainty Evidence and Possibility Theory Utility Theory, Fuzzy Sets and Fuzzy Logic Fuzzy Control, Rough Sets Multiple Criteria Decision Methods Aggregation

Knowledge representation and reasoning - Large scale knowledge management - Logic and constraint programming - Machine learning - Multi-agent systems - Multimedia

chemical and optical computing - biomolecular nanotechnology - automata and logic - algorithms on automata and words - automata for system analysis and programme

Equivalence Checking, Model Checking Theorem, Formal Languages, Formal Logics, etc. Topics Topics may include, but are not limited to, the following:

Grammar, and algorithms * Semantics o lexical semantics o formal semantics & logic o textual entailment & paraphrasing o word sense disambiguation * Discourse

Experience/knowledge search and knowledge integration approaches (case-based reasoning, logic-based approaches, text-based approaches, semantic portals/wikis/blogs, Web

extension, Multi-tasking systems, Automated reasoning, Language expressiveness, Logic, Verification, Quantum languages, Semantics, Testing, Time-critical systems

technologies, to which more attention should be paid. Therefore philosophy and logic, cognitive science, knowledge management, linguistics and management science

and fault tolerance; memory-subsystem enhancements, including in-memory logic functions. POWER MANAGEMENT: Power control and management circuits, regulators;

automata computational models and concepts proof theory and applications of logic to computer science. Application Track topics include abstract interpretation

Change in e-services and e-world Systems * Induction of Cause and Effect, Logics for Evolution * Maintenance of Views, Summaries, Dictionaries and Warehouses

languages Categories and types Computability and complexity Computational logics Computational geometry Foundations of system specifications Learning theory

theory. Models of concurrency, and corresponding calculi, algebras, and logics. Techniques for proving properties of protocols. Formal descriptions of

Architecture and Implementation Discrete Cosine Transform Fourier Transform Fuzzy Logic Hilbert Transform Neural Networks for Signal Processing Wavelets C.2 Audio

Problem recognition and problem solving protocols - Genetic algorithms, fuzzy logic and neural networks applied to communication protocols and algorithms Important

and fault tolerance; memory-subsystem enhancements, including in-memory logic functions, machine learning, artificial intelligence, and AR/VR. POWER MANAGEMENT:

Technology) * Damien Lavaux (Thales Communications) * Akos Levay (Applied Logic Laboratories) * Stefan Michaelis (PRO DV Software AG) * Gemma Power (Waterford

(ERP) and Industry Solutions * Strategic Decision Support Systems * Fuzzy Logic and Neural Network applications * Knowledge-based Systems Engineering * Object-Oriented

epistemic logics for agent modeling game theory and mechanism design for multi-agent systems semantics of agent communication (constraint) logic programming

not limited to the following: • Knowledge representation and reasoning • Logics of knowledge; formal analysis of knowledge; reasoning about knowledge •

circuits at switch and/or at logic level; Hardware accelerators for circuit-level simulation; Hardware accelerators for logic simulation; Distributed simulation

Communication and argumentation Distributed problem solving / constraint reasoning Logics for agent reasoning Ontologies for agents Single- and multi-agent planning

models database theory foundations of concurrency and distributed systems logics and model checking models of reactive, hybrid and stochastic systems principles

computability and nonstandard computing models; algebraic and categorical methods; logics and model checking; principles of programming languages; program analysis

THz and mm-wave Advanced memory technologies Technologies for advanced logic nodes Non-charge-based devices and systems Advanced power devices, modules

Organizing Committee ==================== * Scientific - Charles Petrie, Logic Group at Stanford University (USA) - Michal Zaremba, Semantic Technology

University of Pisa Torsten Grust Technical University Munich Mary Holstege MarkLogic Yannis Papakonstantinou UCSD Michael Rys Microsoft Jayavel Shanmugasundaram

algebraic language theory - algorithms on automata and words - automata and logic - automata for system analysis and programme verification - automata, concurrency

forms (e.g. data fusion-integration, argumentation, decision theory, fuzzy logic, incomplete knowledge bases, probabilistic inferencing, etc.), in advanced

Adaptive Control Artificial Neural Networks Data Fusion Expert Systems Fuzzy Logic and Systems Machine Learning Reasoning Methods Genetic Algorithms Knowledge

reinforcement learning, neural networks, Bayesian networks, genetic algorithms, logic, rule based systems Commercial AI Implementations Case studies, implementation

Languages from All Paradigms (Agent-Oriented, Aspect-Oriented, Functional, Logic, Object-Oriented, etc.), Visual Programming Languages. Authors are invited

might not show the exact location. Knowledge representation and reasoning Logics of knowledge; formal analysis of knowledge; reasoning about knowledge Knowledge

such as ontology editors, browsers, storages, * researchers in description logics, information extraction and integration, automated reasoning who have developed

Categorical models; Infinite state systems; Modal, spatial, and temporal logics; Models of concurrent, reactive, distributed, hybrid, and mobile systems;

Categorical models; Infinite state systems; Modal, spatial, and temporal logics; Models of concurrent, reactive, distributed, hybrid, and mobile systems;

and modeling languages such as automata, state machines, process algebra, logics, SDL, UML, HOL, Markov-chains, test generation from models, model coverage;

models database theory foundations of concurrency and distributed systems logics and model checking models of reactive, hybrid and stochastic systems principles

hybrid solution techniques; satisfiability modulo theories; combinations of logics and deductive engines; applications, especially in systems analysis and

and modeling languages such as automata, state machines, process algebra, logics, UML, HOL, Markov-chains, test generation from models, model coverage Combinatorial

towards gender equality and cultural change in science, • The politics and logic of evaluation of policies towards gender equality. The Scientific Committee

described as ghost plays plays that abandoned linear narrative for the surreal logic of dreams. It is a notion that Williams uses for much for CLOTHES OF A SUMMER

of Ulster at Jordanstown, UK) • Dr. Jie Bao (Semantic Web and Description Logics, Department of Computer Science, Rensselaer Polytechnic Institute, USA)

University, New York, United States Showcase Track Co-Chair Shan Shan Huang, LogicBlox, Inc. Ciera Jaspan, Google. United States Doctoral Symposium Co-Chair

but also in more expressive representation languages, like Description Logics/OWL. The workshop aims at gathering solutions for the generalization of

design languages; - Formal aspects of popular languages and methodologies; - Logics and semantics of programming and specification languages; - Reusable domain

by computers, - knowledge representation, - man-machine NL interfaces, - Logic Programming in Natural Language Processing, - speech processing, - NL applications

while software models can represent software failure modes and recovery logic. Model checking allows verifying if a system feared event can originate from

T1: Modern and Advanced Control Strategies Neural Networks Control Fuzzy Logic Control Genetic Algorithms & Evolutionary Control Model-Predictive Control

for agent-oriented systems, including specification =C2 and verification logics; Model checking for agent-oriented systems; Engineering of large-scale agent

automata theory and formal languages principles and semantics of languages logics and their applications type and category theory in computer science case

CHEFRANOV, Eastern Mediterranean U. & ITRC, North Cyprus Anton CHUVAKIN, LogLogic, USA Danny De COCK, Katholieke U. Leuven, Belgium Mina DENG, Katholieke Universiteit