An international workshop on the model theory of valued fields will be held at the Institute for Research in Fundamental Sciences (IPM) in Tehran from the 1st to the 11th of October 2018.

The international conference "Formal Philosophy" will be held from 1st to 2nd October 2018 ( Moscow, Higher School of Economics). Conference topics include philosophical logic, formal epistemology, formal ontology, formal ethics and other branches of formal and mathematical philosophy. Invited speakers: Jacek Malinowski (Institute of Philosophy and Sociology, Polish Academy of Sciences), Ahti-Veikko Pietarinen (Nazarbayev University), Allard Tamminga (University of Groningen) and Paul Weingartner (University of Salzburg).

An international workshop on the model theory of valued fields will be held at the Institute for Research in Fundamental Sciences (IPM) in Tehran from the 1st to the 11th of October 2018.

The international conference "Formal Philosophy" will be held from 1st to 2nd October 2018 ( Moscow, Higher School of Economics). Conference topics include philosophical logic, formal epistemology, formal ontology, formal ethics and other branches of formal and mathematical philosophy. Invited speakers: Jacek Malinowski (Institute of Philosophy and Sociology, Polish Academy of Sciences), Ahti-Veikko Pietarinen (Nazarbayev University), Allard Tamminga (University of Groningen) and Paul Weingartner (University of Salzburg).

The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 22nd LPAR will be held will be held in Haile Resort, Awassa, Ethiopia, 16-21 November 2018. The proceedings will be published by EasyChair Publications, in the EPiC Series in Computing. The volume will be open access and the authors will retain copyright.

An international workshop on the model theory of valued fields will be held at the Institute for Research in Fundamental Sciences (IPM) in Tehran from the 1st to the 11th of October 2018.

An international workshop on the model theory of valued fields will be held at the Institute for Research in Fundamental Sciences (IPM) in Tehran from the 1st to the 11th of October 2018.

Non-monotonic reasoning has received a lot of attention in the fields of artificial intelligence and philosophical logic. One of the most promising paradigms is formal argumentation. One central goal of this research program is to give a (normative) account of actual human reasoning. However, there is still a substantial gap between these formal models and many real-life instances of the formalized phenomena.

An international workshop on the model theory of valued fields will be held at the Institute for Research in Fundamental Sciences (IPM) in Tehran from the 1st to the 11th of October 2018.

Non-monotonic reasoning has received a lot of attention in the fields of artificial intelligence and philosophical logic. One of the most promising paradigms is formal argumentation. One central goal of this research program is to give a (normative) account of actual human reasoning. However, there is still a substantial gap between these formal models and many real-life instances of the formalized phenomena.

An international workshop on the model theory of valued fields will be held at the Institute for Research in Fundamental Sciences (IPM) in Tehran from the 1st to the 11th of October 2018.

The next Peripatetic Seminar on Sheaves and Logic (PSSL), the 104th, will be held in Amsterdam during the weekend of October 6 and 7, 2018. We will use the occasion to celebrate the 60th birthdays of Jaap van Oosten and Thomas Streicher.

An international workshop on the model theory of valued fields will be held at the Institute for Research in Fundamental Sciences (IPM) in Tehran from the 1st to the 11th of October 2018.

The next Peripatetic Seminar on Sheaves and Logic (PSSL), the 104th, will be held in Amsterdam during the weekend of October 6 and 7, 2018. We will use the occasion to celebrate the 60th birthdays of Jaap van Oosten and Thomas Streicher.

An international workshop on the model theory of valued fields will be held at the Institute for Research in Fundamental Sciences (IPM) in Tehran from the 1st to the 11th of October 2018.

A two-days conference to bring together senior and junior researchers from real algebraic geometry and model theory. The participation is open to anyone and free of charge.

Speakers:
Mickaël Matusinski (Université de Bordeaux)
Françoise Point (Université de Mons / Université Paris-Diderot)
Tobias Kuna (University of Reading)
Siegfried Van Hille (KU Leuven)
Nikolaas Verhulst (TU Dresden)
Andre Opris (Universität Passau)
Gabriel Dill (Universität Basel)
Pablo Andújar Guerrero (McMaster University)
Christoph Schulze (Universität Konstanz)
Alexander Taveira Blomenhofer (Universität Konstanz)

An international workshop on the model theory of valued fields will be held at the Institute for Research in Fundamental Sciences (IPM) in Tehran from the 1st to the 11th of October 2018.

A two-days conference to bring together senior and junior researchers from real algebraic geometry and model theory. The participation is open to anyone and free of charge.

Speakers:
Mickaël Matusinski (Université de Bordeaux)
Françoise Point (Université de Mons / Université Paris-Diderot)
Tobias Kuna (University of Reading)
Siegfried Van Hille (KU Leuven)
Nikolaas Verhulst (TU Dresden)
Andre Opris (Universität Passau)
Gabriel Dill (Universität Basel)
Pablo Andújar Guerrero (McMaster University)
Christoph Schulze (Universität Konstanz)
Alexander Taveira Blomenhofer (Universität Konstanz)

An international workshop on the model theory of valued fields will be held at the Institute for Research in Fundamental Sciences (IPM) in Tehran from the 1st to the 11th of October 2018.

An international workshop on the model theory of valued fields will be held at the Institute for Research in Fundamental Sciences (IPM) in Tehran from the 1st to the 11th of October 2018.

TIME 2018 aims to bring together researchers interested in reasoning about temporal aspects of information in any area of Computer Science. The symposium, currently in its 25th edition, has a wide remit and intends to cater to both theoretical aspects and well-founded applications. One of the key aspects of the symposium is its interdisciplinarity, with attendees from distinct areas such as artificial intelligence, database management, logic and verification, and beyond. The symposium will encompass four tracks on temporal representation and reasoning in (1) Artificial Intelligence, (2) Databases (3) Logic and Verification, and (4) New areas and Applications.

TIME 2018 aims to bring together researchers interested in reasoning about temporal aspects of information in any area of Computer Science. The symposium, currently in its 25th edition, has a wide remit and intends to cater to both theoretical aspects and well-founded applications. One of the key aspects of the symposium is its interdisciplinarity, with attendees from distinct areas such as artificial intelligence, database management, logic and verification, and beyond. The symposium will encompass four tracks on temporal representation and reasoning in (1) Artificial Intelligence, (2) Databases (3) Logic and Verification, and (4) New areas and Applications.

TIME 2018 aims to bring together researchers interested in reasoning about temporal aspects of information in any area of Computer Science. The symposium, currently in its 25th edition, has a wide remit and intends to cater to both theoretical aspects and well-founded applications. One of the key aspects of the symposium is its interdisciplinarity, with attendees from distinct areas such as artificial intelligence, database management, logic and verification, and beyond. The symposium will encompass four tracks on temporal representation and reasoning in (1) Artificial Intelligence, (2) Databases (3) Logic and Verification, and (4) New areas and Applications.

Substructural logics are formal reasoning systems that refine classical logic by weakening structural rules in a Gentzen-style sequent calculus. Traditionally, substructural logics have been investigated using proof theoretic and algebraic methods. In recent years, combined approaches have started to emerge. The programme of the SYSMICS conference will focus on interactions between syntactic and semantic methods in substructural logics. This conference is the last of a series of meetings planned in the SYSMICS RISE project during 2016-2019.

The ALT 2019 conference is dedicated to all theoretical and algorithmic aspects of machine learning.

Modern connexive logic started in the 1960s with seminal papers by Richard B. Angell and Storrs McCall. Systems of connexive logic have been motivated by considerations on a content connection between the antecedent and succedent of valid implications and by applications that range from Aristotle's syllogistic to Categorial Grammar and the study of causal implications. As we are observing some growing interests in topics related to connexive logics, the fourth workshop aims at discussing directions for future research in connexive logics. Moreover, we will have a special session on contra-classical logics, namely a broad family of nonclassical logics, including connexive logics, that are orthogonal to classical logic.

Modern connexive logic started in the 1960s with seminal papers by Richard B. Angell and Storrs McCall. Systems of connexive logic have been motivated by considerations on a content connection between the antecedent and succedent of valid implications and by applications that range from Aristotle's syllogistic to Categorial Grammar and the study of causal implications. As we are observing some growing interests in topics related to connexive logics, the fourth workshop aims at discussing directions for future research in connexive logics. Moreover, we will have a special session on contra-classical logics, namely a broad family of nonclassical logics, including connexive logics, that are orthogonal to classical logic.

The Asian Workshop on Philosophical Logic (AWPL) is an event-series initiated by a group of Asian logicians, and in 2012 the first installment took place at the JAIST in Japan. It is devoted to promote awareness, understanding, and collaborations among researchers in philosophical logic and related fields. The workshop emphasizes the interplay of philosophical ideas and formal theories. Topics of interest include non-classical logics, philosophical logics, algebraic logics, and their applications in computer science, cognitive science, and social sciences. The second and third workshop took place successfully in Guangzhou (2014) and Taipei (2016), respectively. And the two post conference proceedings were published in the Studia Logica book series "Logic in Asia" (http://www.springer.com/series/13080?detailsPage=titles) with Springer.

The Fourth Asian Workshop on Philosophical Logic (AWPL 2018) will be held in Beijing, China, on 20-21 October 2018, organized by the Tsinghua-UvA Joint Research Centre for Logic at Tsinghua University.

The symposium is intended to provide a forum for researchers working in algorithms and theory of computation. In this year, we schedule two keynote talks by Clifford Stein and Shang-Hua Teng. In addition, we organize a special workshop on Dec. 16, right before the regular program of ISAAC (Dec. 17-19) and invite several internationally renowned computer scientists who were born in 1949 or earlier as special guest speakers, including Tetsuo Asano, Fan Chung Graham, Kurt Mehlhorn, and so on.

The Journal of Natural Language Engineering (JNLE) has a Special Issue on Representation of Sentence Meaning.

We are seeking long research papers, survey papers and position papers on any of the following or related topics:

• Which properties of meaning representations are most desirable, universally.
• Comparisons of types of meaning representations (e.g. fixed-size vs. variable-length) and methods for learning them.
• Techniques of explorations of learned meaning representations.
• Evaluation methodologies for meaning representations, including surveys thereof.
• Extrinsic evaluation by relations to cognitive processes.
• Relation between traditional symbolic meaning representations and the learned continuous ones.
• Broad summaries of psycholinguistic evidence describing properties of meaning representation in the human brain.

Modern connexive logic started in the 1960s with seminal papers by Richard B. Angell and Storrs McCall. Systems of connexive logic have been motivated by considerations on a content connection between the antecedent and succedent of valid implications and by applications that range from Aristotle's syllogistic to Categorial Grammar and the study of causal implications. As we are observing some growing interests in topics related to connexive logics, the fourth workshop aims at discussing directions for future research in connexive logics. Moreover, we will have a special session on contra-classical logics, namely a broad family of nonclassical logics, including connexive logics, that are orthogonal to classical logic.

The Asian Workshop on Philosophical Logic (AWPL) is an event-series initiated by a group of Asian logicians, and in 2012 the first installment took place at the JAIST in Japan. It is devoted to promote awareness, understanding, and collaborations among researchers in philosophical logic and related fields. The workshop emphasizes the interplay of philosophical ideas and formal theories. Topics of interest include non-classical logics, philosophical logics, algebraic logics, and their applications in computer science, cognitive science, and social sciences. The second and third workshop took place successfully in Guangzhou (2014) and Taipei (2016), respectively. And the two post conference proceedings were published in the Studia Logica book series "Logic in Asia" (http://www.springer.com/series/13080?detailsPage=titles) with Springer.

The Fourth Asian Workshop on Philosophical Logic (AWPL 2018) will be held in Beijing, China, on 20-21 October 2018, organized by the Tsinghua-UvA Joint Research Centre for Logic at Tsinghua University.

The purpose of the International Conference on Agents and Artificial Intelligence is to bring together researchers, engineers and practitioners interested in the theory and applications in the areas of Agents and Artificial Intelligence. Two simultaneous related tracks will be held, covering both applications and current research work. One track focuses on Agents, Multi-Agent Systems and Software Platforms, Distributed Problem Solving and Distributed AI in general. The other track focuses mainly on Artificial Intelligence, Knowledge Representation, Planning, Learning, Scheduling, Perception Reactive AI Systems, and Evolutionary Computing and other topics related to Intelligent Systems and Computational Intelligence.

Formal causation, one of the four traditional kinds of causation distinguished by Aristotle, is currently heavily under-researched and has even fallen into disrepute. Formal causation is at play whenever a thing has a certain property because it is of a certain kind. Such properties are normally called essential properties. For instance, whales have the disposition to breathe with lungs because they are mammals. There is an extensive and influential trend in contemporary philosophy studying causation in terms of dispositions, while the question of why things have some dispositions (or other properties) and lack others in the first place has largely been ignored.

The conference will explore formal causation, i.e., the view that an object having a property such as a disposition can be explained through kind membership. Some of the talks will be historical work, mainly on Aristotle, some will be systematic work on the contemporary discussion, and some will combine both historical and systematic approaches. Especially relevant for formal causation are the contemporary debates about essence and necessity, dependence and grounding, laws of nature, universals, dispositions, and functions.

The conference is funded through the DFG-project 'Formal Causation in Aristotle and in Analytic Metaphysics and Philosophy of Science'.

Formal causation, one of the four traditional kinds of causation distinguished by Aristotle, is currently heavily under-researched and has even fallen into disrepute. Formal causation is at play whenever a thing has a certain property because it is of a certain kind. Such properties are normally called essential properties. For instance, whales have the disposition to breathe with lungs because they are mammals. There is an extensive and influential trend in contemporary philosophy studying causation in terms of dispositions, while the question of why things have some dispositions (or other properties) and lack others in the first place has largely been ignored.

The conference will explore formal causation, i.e., the view that an object having a property such as a disposition can be explained through kind membership. Some of the talks will be historical work, mainly on Aristotle, some will be systematic work on the contemporary discussion, and some will combine both historical and systematic approaches. Especially relevant for formal causation are the contemporary debates about essence and necessity, dependence and grounding, laws of nature, universals, dispositions, and functions.

The conference is funded through the DFG-project 'Formal Causation in Aristotle and in Analytic Metaphysics and Philosophy of Science'.

Analogy is a powerful, yet controversial, tool of scientific reasoning. Indeed, many achievements in the history of science and mathematics have been driven by analogical inferences. Moreover, one can formulate conjectures about domains into which one does not have empirical access just based on analogy with other known domains. Nonetheless, from a logical point of view analogical inferences do not yield conclusions with certainty. So, what is it that justifies the use of analogy in science and mathematics? And how reliable is analogical reasoning? This conference will address such open philosophical problems.

The DL workshop is the major annual event of the description logic research community. It is the forum at which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences. The 31st edition will be collocated with the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018).

Analogy is a powerful, yet controversial, tool of scientific reasoning. Indeed, many achievements in the history of science and mathematics have been driven by analogical inferences. Moreover, one can formulate conjectures about domains into which one does not have empirical access just based on analogy with other known domains. Nonetheless, from a logical point of view analogical inferences do not yield conclusions with certainty. So, what is it that justifies the use of analogy in science and mathematics? And how reliable is analogical reasoning? This conference will address such open philosophical problems.

The DL workshop is the major annual event of the description logic research community. It is the forum at which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences. The 31st edition will be collocated with the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018).

As usual, the plan is for a full day of talks and discussions on Saturday and a half day on Sunday. As usual, too, there will be a workshop lunch and workshop dinner on Saturday, with all participants invited to attend as guests of the university.

Analogy is a powerful, yet controversial, tool of scientific reasoning. Indeed, many achievements in the history of science and mathematics have been driven by analogical inferences. Moreover, one can formulate conjectures about domains into which one does not have empirical access just based on analogy with other known domains. Nonetheless, from a logical point of view analogical inferences do not yield conclusions with certainty. So, what is it that justifies the use of analogy in science and mathematics? And how reliable is analogical reasoning? This conference will address such open philosophical problems.

The DL workshop is the major annual event of the description logic research community. It is the forum at which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences. The 31st edition will be collocated with the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018).

As usual, the plan is for a full day of talks and discussions on Saturday and a half day on Sunday. As usual, too, there will be a workshop lunch and workshop dinner on Saturday, with all participants invited to attend as guests of the university.

The DL workshop is the major annual event of the description logic research community. It is the forum at which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences. The 31st edition will be collocated with the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018).

Since 1994, the RAMiCS conference series has been the main venue for research on relation algebras, Kleene algebras and similar algebraic formalisms, and their applications as conceptual and methodological tools in computer science and beyond.

Since 1994, the RAMiCS conference series has been the main venue for research on relation algebras, Kleene algebras and similar algebraic formalisms, and their applications as conceptual and methodological tools in computer science and beyond.

Knowledge Representation and Reasoning (KRR) is an exciting, well-established field of research. In KRR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. In recent years KRR has contributed to new and emerging fields including the semantic web, computational biology, and the development of software agents.

The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. Workshops and tutorials will precede the KR technical program and will run on 27-29 October 2018.

KR also features a Doctoral Consortium program, a student mentoring program bringing together PhD students and senior researchers from the area of KR. Application deadline: June 24, 2018.

Join us for an innovative 2-day conference on the nexus between Metaphor, Linguistic Diversity, and Creativity.

The conference will be structured around four themes. Each theme will be introduced in a keynote lecture, and developed in a plenary round-table discussion featuring selected panelists. Panelists will address general questions as well as questions raised by the audience. Moreover, two extensive Poster sessions will be dedicated to present specific studies related to the four themes.

Themes:
- Metaphor and Linguistic Diversity (keynote speaker: Lera Boroditsky)
- Metaphor and Emotion (keynote speaker: Zoltán Kövecse)
- Metaphor and Communication (keynote speaker: Gerard Steen)
- Metaphor and Creativity (keynote speaker: Rachel Giora)

Since 1994, the RAMiCS conference series has been the main venue for research on relation algebras, Kleene algebras and similar algebraic formalisms, and their applications as conceptual and methodological tools in computer science and beyond.

Knowledge Representation and Reasoning (KRR) is an exciting, well-established field of research. In KRR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. In recent years KRR has contributed to new and emerging fields including the semantic web, computational biology, and the development of software agents.

The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. Workshops and tutorials will precede the KR technical program and will run on 27-29 October 2018.

KR also features a Doctoral Consortium program, a student mentoring program bringing together PhD students and senior researchers from the area of KR. Application deadline: June 24, 2018.