News and Events: Conferences

The event will take place in Rio de Janeiro, Brazil, December 8-13, 2019 Everybody is welcome to join us for a major philosophical event in one of the most beautiful and fascinating cities in the world.

Rewriting is a powerful model of computation that underlies much of declarative programming and is ubiquitous in mathematics, logic, theorem proving, verification, model-checking, compilation, biology, chemistry, physics, etc. The school is aimed at Master and PhD students, researchers and practitioners interested in the use or the study of rewriting and its applications.

We intend to offer on the one hand a basic track on rewriting and on lambda calculus, and on the other hand an advanced track on more specialized topics, related to state-of-the-art research and novel applications. The typical day will contain 4 slots of 90 minutes.

The FoIKS symposia provide a biennial forum for presenting and discussing theoretical and applied research on information and knowledge systems. The goal is to bring together researchers with an interest in this subject, share research experiences, promote collaboration and identify new issues and directions for future research.

NASSLLI 2020 will consist of a series of courses and workshops, most running daily from Monday July 13 - Friday July 17. In addition, there will be intensive mini-courses the day prior to the start of courses (Sunday July 12). The summer school is aimed at graduate students and advanced undergraduates in the fields of Linguistics, Computer Science, Cognitive Science, Logic, Philosophy, AI, and other related areas. NASSLLI brings these disciplines together with the goal of producing excellence in the study of how minds and machines represent, communicate, manipulate and reason with information. The 2020 NASSLLI will also have a theme - Formal and Computational Pragmatics and Models of Dialogue.

Virtue theory has an illustrious history as one of the most prominent philosophical traditions, and in the wake of the recent renewed focus on human practices virtue theory once again provides powerful frameworks, tools and insights. Work in such diverse fields as ethics, the philosophy of science, epistemology, philosophy of law, political theory, aesthetics, and argumentation theory shows that virtue theory permits normative discourse without imposing overly rigid criteria. Within the philosophy of mathematics, and mathematics itself, attention to virtues has a variety of sources: theoretical virtues have been put forward both to analyse the practice of proof and to justify axioms, and ethical virtues have been offered as a basis for understanding the social dimensions of mathematical practice. Indeed, some authors have advocated virtue epistemology as the correct epistemology for mathematics (and perhaps even as the basis for progress in the metaphysics of mathematics). In this topical collection we aim to consolidate and encourage this trend in the philosophy of mathematics.

Guest Editors: Andrew Aberdein, Colin Jakob Rittberg, Fenner Stanley Tanswell

The International Symposium on Artificial Intelligence and Mathematics (ISAIM), is a biennial meeting that fosters interactions between mathematics, theoretical computer science, and artificial intelligence. This will be the sixteenth Symposium in the series, sponsored by Florida Atlantic University and the Annals of Mathematics and Artificial Intelligence. Traditionally, the Symposium attracts participants from a variety of disciplines, thereby providing a unique forum for scientific exchange. The three-day Symposium includes invited speakers, presentations of technical papers, and special topic sessions.

Kurt Gödel's unparalleled results in logic grant him a prominent place among logicians. Apart from extraordinary results in the theory of formal systems, he influenced research in set theory, non-classical logics, physical model of the universe, and in philosophy. The event is organised to commemorate the anniversaries (14 January) of the death of Kurt Gödel (Brno 1906 - Princeton 1978) as well as the birth of Alfred Tarski (Warsaw 1901 - Berkeley 1983); January 14 may thus be viewed as World Logic Day.

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. After four workshops on connexive logics in Istanbul, Raesfeld Castle, Kyoto and Bochum, a fifth workshop on connexive logics will take place in Bochum (Germany) on the 29th of November, 2019.

The fifth workshop aims at discussing directions for future research in connexive logics. Special focus will be given on historical aspects as well as connections to conditional logics. The workshop will be collocated with a workshop on the Logic of Paradox, from the 25th to 27th, and a workshop on FDE-based modal logic on the 28th. Keynote speakers: Vincenzo Crupi, Andrea Iacona, Spencer Johnston and Marko Malink.

LATA is a conference series on theoretical computer science and its applications. LATA 2020 will consist of invited talks and peer-reviewed contributions, and reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.

EvoStar comprises of four co-located conferences run each spring at different locations throughout Europe. These events arose out of workshops originally developed by EvoNet, the Network of Excellence in Evolutionary Computing, established by the Information Societies Technology Programme of the European Commission, and they represent a continuity of research collaboration stretching back over 20 years. EvoStar is organised by SPECIES, the Society for the Promotion of Evolutionary Computation in Europe and its Surroundings. This non-profit academic society is committed to promoting evolutionary algorithmic thinking, with the inspiration of parallel algorithms derived from natural processes. It provides a forum for information and exchange.

The four conferences include:
 - EuroGP 23rd European Conference on Genetic Programming
 - EvoApplications 23rd European Conference on the Applications of Evolutionary and bio-inspired Computation
 - EvoCOP 20th European Conference on Evolutionary Computation in Combinatorial Optimisation
 - EvoMUSART 9th International Conference (and 14th European event) on Computational Intelligence in Music, Sound, Art and Design

The biennial European Conference on Artificial Intelligence (ECAI) is Europe's premier venue for presenting scientific results in AI. Under the general theme 'Paving the way towards Human-Centric AI', the 24th edition of ECAI will be held in Santiago de Compostela, a UNESCO's World Heritage City which is the destination of unique Routes that cross all Europe since the Middle Ages.

The 6th Global Conference on Artificial Intelligence (GCAI 2020) will be held in Hangzhou, China, 6-9 April 2020, as part of the Zhejiang Logic for AI Summit (ZjuLogAI 2020). With its special focus theme on "Explainable AI and Responsible AI", the summit intends to promote the interplay between logical approaches and machine learning based approaches in order to make AI more transparent, responsible and accountable.

Monotonicity, in various forms, is a pervasive phenomenon in logic, linguistics, and related areas. In theoretical linguistics, monotonicity properties are relevant to a large array of semantic phenomena  and to the presence of pragmatic inferences such as scalar implicatures. In logic and mathematics, monotonicity guarantees the existence of fixed points and the well-formedness of inductive definitions. Also, monotonicity is closely tied to reasoning, in formal as well as natural languages. Recent logical and linguistic work on monotonicity has also found its way into computation systems for natural language processing and cognitive models of human reasoning. The goal of our workshop is to bring together researchers working on monotonicity or related properties, from different fields and perspectives.

The first day of the workshop is devoted to two tutorials:
1. Jakub Szymanik (University of Amsterdam): Monotonicity in Logic
2. Gennaro Chierchia (Harvard University): Monotonicity in Language
The remaining two days consist of invited and contributed talks.

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 AWPL 2020 workshop is an event in the Zhejiang Logic for AI Summit. All AWPL participants are invited to attend other events as well.

CLAR 2020 will be held in Hangzhou, 6-9 April 2020, as part of the Zhejiang Logic for AI Summit (ZJULogAI 2020). With a special focus on 'methods and tools for explainable AI', a core objective of ZJULogAI is to present the latest developments and progress made on the crucial question of how to make AI more transparent, trustworthy and accountable, both in China as well as in the rest of the world. All participants to CLAR 2020 have access to all other events of ZJULogAI as well.

CLAR 2020 conference highlights recent advances in the two fields of logic and argumentation and promotes communication between researchers in logic and argumentation within and outside China.

There has been a recent move in philosophy of science towards views that in some sense reject the strict dichotomy between realism and anti-realism, or otherwise situate themselves between these two extremes. These include varieties of structuralism, perspectivalism, and pluralism/relativism, and have been applied across various scientific domains, including physics, mathematics, biology, cognitive science, and computer science. This conference will bring together representatives of each of these viewpoints, in order to compare the respective progress made by each approach, and to develop a shared foundation for the future development of alternatives to traditional scientific realism and anti-realism.

Confirmed Keynote Speakers: James Ladyman (Bristol), Michela Massimi, (Edinburgh) and Martin Kusch (Vienna).

Reasoning is at the very heart of logic, constituting its subject matter. In the last few decades, there has been considerable progress both in the purely logical analysis of reasoning and in applied logical investigations of various concrete subject domains, such as philosophical and scientific discourse, logic programming and everyday communication. Along with further elaboration of standard techniques a range of other approaches and semantic modeling of logical systems are being developed. Moreover, there is a powerful tradition of analyzing and evaluating reasoning patterns by means of informal logic and argumentation theory. . The aim of the conference is to bring together scholars working in various areas of proof-theoretic, semantic, argumentative and informal logic analysis.

 Invited Speakers: Hans van Ditmarsch (French National Centre for Scientific Research, France), Valentin Goranko (Stockholm University, Sweden), Dale Hample (University of Maryland, USA) and Hitoshi Omori (Ruhr-University Bochum, Germany).

The Society for Philosophy of Science in Practice (SPSP) is an interdisciplinary community of scholars who approach the philosophy of science with a focus on scientific practice and the practical uses of scientific knowledge. The SPSP conferences provide a broad forum for scholars committed to making detailed and systematic studies of scientific practices - neither dismissing concerns about truth and rationality, nor ignoring contextual and pragmatic factors. The conferences aim at cutting through traditional disciplinary barriers and developing novel approaches.

Keynote speakers: Karen Barad, University of California at Santa Cruz; Till Grüne-Yanoff, Royal Institute of Technology (KTH) Stockholm.

Cryptography forms the underlying basis for many security solutions in today's computer systems and networks, securing data while it is being stored, transferred, and processed. As security and privacy problems increase in real-world applications with emerging threats, new and innovative cryptography solutions are needed in order to ensure our computer systems and networks are protected.

This Special Issue will specifically focus on new and innovative cryptography solutions aiming to address emerging threats and existing threats in more efficient manner. The particular topics of interest for this Special Issue include, but are not limited to, the following:
- Foundational theory and mathematics for emerging computer systems and networks
- Provable security of emerging techniques for cryptography
- The proposal and analysis of cryptographic primitives for emerging computer systems and networks
- Cryptanalytic attacks on emerging computer systems and networks
- Cryptographic applications in cloud computing and IoT

Research articles, review articles as well as short communications are invited. Submitted manuscripts should not have been published previously, nor be under consideration for publication elsewhere (except conference proceedings papers). All papers will be peer-reviewed. Accepted papers will be published continuously in the journal (as soon as accepted) and will be listed together on the special issue website.

The journal Linguistics and Philosophy (L&P) have agreed to publish a special issue of Super Linguistics. Super Linguistics subsumes the application of formal linguistic methodology and methodologies inspired by formal linguistics to diverse non-standard objects. In addition to manuscripts by linguists, we welcome submissions from all relevant fields (such as, but not limited to, biology and musicology) provided that they are super linguistic in nature. To be considered, the manuscript should include a short paragraph outlining in what way the research is super linguistic in nature and how the research advances this new sub-field. Submissions must propose a clear formal analysis based on rich and detailed data. The manuscript submission deadline for this special issue is April 23rd 2021.

The goal of this workshop is to create a forum where researchers and practitioners interested in building models using OCL or other kinds of textual languages (e.g., OCL, textual MOF, Epsilon, or Alloy) can directly interact, report advances, share results, identify tools for language development, and discuss appropriate standards. In particular, the workshop will encourage discussions for achieving synergy from different modeling language concepts and modeling language use. The close interaction will enable researchers and practitioners to identify common interests and options for potential cooperation.

The workshop will be co-located with MODELS 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and System.

The Thirteenth International Tbilisi Symposium on Logic, Language, and Computation will be held 16-20 September 2019 in Batumi, Georgia.

The Symposium series is organized by the Tbilisi State University and the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam in conjunction with the Institute of Linguistics and Information Science of the Heinrich-Heine-University Düsseldorf. The programme will include tutorials on Logic, Language and Computation, and a series of invited lecturers. There will be two workshops (on Language and on Logic and Computation) embedded in the conference programme.

The workshop “Syntax, Semantics, and Pragmatics of Aspect Across Modalities” wants to discuss recent advances in the research on inner and outer aspects and their interaction. This workshop will take place at the 13th International Tbilisi Symposium on Language, Logic and Computation.

HIGHLIGHTS 2019 is the seventh conference on Highlights of Logic, Games and Automata that aims at integrating the community working in these fields. Papers from these areas are dispersed across many conferences, which makes them difficult to follow. A visit to the Highlights conference should offer a wide picture of the latest research in the field and a chance to meet everybody in the community, not just those who happen to publish in one particular proceedings volume.

The conference is short (from 18 September to the mid-day on 20 September) and it is preceded by the Highlights Tutorial Day (17 September). The participation costs are modest and Warsaw is easy to reach.

Scope: Representative areas include, but are not restricted to: + logic and finite model theory + automata theory + games for logic and verification.

Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but not restricted to Foundations, Languages, Declarative programming, Implementation, Related Paradigms and Synergies, and Applications.

Besides the main track, ICLP 2019 will host additional tracks and special sessions:
- Applications Track
- Sister Conferences and Journal Presentation Track
- Special Session: Women in Logic Programming
- Research Challenges in Logic Programming Track

The aim of the autumn school is to bring together young researchers in the field of Foundations of Mathematics, Computer Science and Philosophy. Scope: Predicative Foundations, Constructive Mathematics and Type Theory, Computation in Higher Types, and  Extraction of Programs from Proofs.

Courses include Ingo Blechschmidt on Generalized Spaces for Constructive Algebra, Stefania Centrone on Proof Theory, Thierry Coquand on Applications of Type Theory, Anton Freund on Dilators,  Tatsuji Kawai on Concepts of Continuity, and Dominique Larchey on Extraction of Programs in Coq. There will be an opportunity to form ad-hoc groups working on specific projects, but also to discuss in more general terms the vision of constructing correct programs from proofs.

The purpose of the Semantics and Philosophy in Europe (SPE) colloquia is to provide a forum for presenting research in the interface between linguistic semantics and various areas of philosophy (philosophy of language, philosophy of mind/cognition, metaphysics etc.). This year's Semantics and Philosophy in Europe Colloquium features a general session as well as two special sessions (preceded by tutorials):
1 - Subjectivity: Theoretical and Experimental Perspectives
2 - Truthmaker Semantics and Situations

There will also be two invited lectures on the influence of the Lvov-Warsaw School on contemporary semantics and philosophy of language.

The 15th Reasoning Web Summer School brings together leading AI researchers to share their ideas and knowledge about how to make AI more explainable. The school is a five-day intensive training course that interleaves lectures and hands-on sessions. Participants learn about exciting new methods and technologies, and at the same time get to know their peers and senior researchers in their area. Our focus topic "Explainable AI" has many ties to formal logic, but it also connects to machine learning, knowledge representation, planning, databases, and formal methods.

RW 2019 is aimed at a wide audience of young post-graduate researchers, most typically early-stage Ph.D. candidates, but also advanced Master students and more senior Ph.D. candidates and PostDocs who want to deepen their knowledge. Basics of knowledge representation and reasoning will be helpful for benefiting from the contents of the school. Reasoning Web is co-located with RuleML+RR 2019, GCAI 2019, and DecisionCAMP 2019, which come together for the Bolzano Rules and Artificial Intelligence Summit (BRAIN).

Several successful logic programming languages have been proposed in the literature. Researchers have long recognized the need for epistemic operators in these languages.  A central question is that of the definition of a rigorous and intuitive semantics for such epistemic operators, which is still subject of ongoing research. Notions of equivalence, structural properties, and the inter-relationships between logic programming languages and established logics are all subjects being actively investigated.

Another important topic is that of practical solvers to compute answers to logic programs that contain epistemic operators. Several solvers are actively developed, building on established solvers, or using rewriting-based approaches. For practical applications, additional language features are actively explored in order to be able to apply epistemic extensions of logic programming langauges to practical problems.

The goal of this workshop is to facilitate discussions regarding these topics and a productive exchange of ideas. The workshop is part of the International Conference of Logic Programming (ICLP) 2019.

This workshop is part of The Joint Ontology WOrkshops (JOWO) Episode V. The purpose of the workshop is twofold: on the one hand, to gather original research work about both application and theoretical issues emerging in the elaboration of conceptual models, ontologies, and Semantic Web technologies for the Digital Humanities (DH) and, on the other hand, to collect studies on the philosophical and social impact of such models.

The complementary character of these two kinds of contributions should allow both modelers and users to be more aware of the modeling choices behind models and applications and of the theories that constitute the background of such choices. This would enhance transparency and reliability of the adopted models and thus understanding and trust on the side of stakeholders and users.

KI 2019 is the 42nd edition of the German Conference on Artificial Intelligence organized in cooperation with the AI Chapter of the German Society for Informatics (GI-FBKI).

KI traditionally brings together academic and industrial researchers from all areas of AI, providing an ideal place for exchanging news and research results of intelligent system technology. While KI is primarily attended by researchers from Germany and neighboring countries, it warmly welcomes international participation.

The JOWO workshops address a wide spectrum of topics related to ontology research, ranging from Cognitive Science to Knowledge Representation, Natural Language Processing, Artificial Intelligence, Logic, Philosophy, and Linguistics. JOWO is especially suitable for interdisciplinary and innovative formats.

The following workshops are being organized:

• 2nd International Workshop on Bad or Good Ontology (BOG)
• Cognition And OntologieS (CAOS IV)
• Contextual Representations of Events and Objects in Language (CREOL).
• Workshop on Data meets Applied Ontologies in Open Science and Innovation (DAO-SI)
• 10th International Workshop on Formal Ontologies meet Industry (FOMI)
• Workshop on Foundational Ontology (FOUST).
• Ontologies and Data in Life Sciences 2019 (ODLS 2019)
• The Shape of Things (SHAPES 5.0).
• Social, Legal and Economic Entities (SoLEE)
• Second Workshop on INteraction-based Knowledge Sharing (WINKS-2)
• 1st International Workshop on Ontologies for Digital Humanities and their Social Analysis (WODHSA)
• 4th International Workshop on Ontology Modularity, Contextuality, and Evolution (WOMoCoE 2019)

In addition, JOWO 2019 will host five tutorials:

• Data-driven ontology engineering with Relational Concept Analysis (DOnEReCA)
• Introduction to Foundational Ontologies (FOUNT)
• Semantic similarity and machine learning with ontologies.
• SNOMED CT Tutorial
• Top Level Ontologies (ISO/IEC 21838)

This Second Workshop on INteraction-based Knowledge Sharing (WINKS-2) collocated with JOWO 2019 is aimed at researchers and practitioners investigating issues related to aspects of (autonomous) knowledge sharing, where the integration of knowledge is inherently interaction-based, irrespective of whether the interaction is machine to machine, or human to machine.

Gradually expanding, distributed systems heighten the need of dynamic interactive knowledge-sharing processes and ever more sophisticated mechanisms are used to acquire and elicit knowledge. A paradigm shift has emerged that views knowledge creation, curation and evolution as a collaborative and interactive process between autonomous entities. As a highly interdisciplinary workshop, WINKS-2 invites submissions that address the fundamental issues and challenges posed by interaction-based approaches to knowledge sharing. At the same time, we are interested in submissions that provide solutions for allowing knowledge sharing interactively, with a particular focus on the processes, mechanisms and protocols underlying the proposed solution.

Understanding the ontological nature of social, legal and economic concepts and institutions is crucial for providing principled modelling in many important domains such as enterprise modelling, business processes, and social ontology. A significant number of fundamental concepts that are ubiquitous in economics, social, and legal sciences - such as value, risk, capability, good, service, exchange, transaction, competition, social norm, group, institution - have only recently been approached from a specifically ontological perspective. It is therefore important to offer a venue to gather the recent contributions to this topic.

This workshop is part of the Joint Ontology Workshops (JOWO 2019), and relates mainly to two previous events (SoLE-BD and Ontology of Economics 2018).  The goals of the workshop are:
- to collect approaches to deal with social, legal and economic entities in foundational and applied ontologies,
- discuss applications of these approaches to social, legal and economic entities in ontologies for biomedicine and business informatics, and
- serve as a meeting point for stakeholders from applied ontology and the respective domain disciplines.

The purpose of the workshop is to bridge the gap between the cognitive sciences and research on ontologies and, thus, to create a venue for researchers interested in interdisciplinary aspects of knowledge representation. More specifically CAOS addresses the difficult question of how key cognitive phenomena and concepts (and the involved terminology) can be found across language, psychology and reasoning and how this can be formally and ontologically understood, analyzed and represented.

We aim to address to an interdisciplinary audience, by inviting scholars in philosophy, computer science, logic, conceptual modelling, knowledge representation, and cognitive science to contribute to the discussion.

This workshop is part of The Joint Ontology Workshops JOWO 2019.

Information for real life AI applications is usually pervaded by uncertainty and subject to change, and thus demands for non-classical reasoning approaches. At the same time, psychological findings indicate that human reasoning cannot be completely described by classical logical systems. Sources of explanations are incomplete knowledge, incorrect beliefs, or inconsistencies. A wide range of reasoning mechanism has to be considered, such as analogical or defeasible reasoning. The field of knowledge representation and reasoning offers a rich palette of methods for uncertain reasoning both to describe human reasoning and to model AI approaches.

The aim of this series of workshops is to address recent challenges and to present novel approaches to uncertain reasoning and belief change in their broad senses, and in particular provide a forum for research work linking different paradigms of reasoning.

As ontologies are used in more domains and applications and as they grow in size, the consequences of bad ontology design become more critical. Bad ontologies may be inconsistent, have unwanted consequences, be ridden with anti-patterns, or simply be incomprehensible. In general, bad ontologies present design mistakes that make their use and maintenance problematic or impossible.

This workshop, part of the Joint Ontology Workshops (JOWO 2019), aims to bring together research on all aspects to bad or good ontology design, including use cases and systematic reviews of bad or good ontology design, techniques and tools for diagnosing, explaining, and repairing bad ontologies, and approaches or benchmarks for evaluating such techniques.

Cyber-physical systems (CPS) are complex and autonomous ensembles of different components that interact to offer smart and adaptive functionalities. These systems are increasingly used in a variety of applications with a growing market, potentially bringing about significant social benefits. However, there is no such thing as a free lunch, and there area several new challenges and trade-offs to face when designing CPS, especially since they should be able to adapt to the changing environments, or heal themselves. Uncertain operation environments and interactions with humans as users and/or as operators complicate the scenarios of these ever increasingly pervasive systems.

The CPS summer school is targeted at students, research scientists, and R&D experts from academia and industry, who want to learn about CPS engineering and applications. The program is composed of both lectures and practical sessions, covering all the design phases of CPS (i.e., from concept to the definition of the final system and the discussion of the key challenges).

Foundational ontologies are attempts to systematise those categories of thought or reality which are common to all or almost all subject-matters. Commonly considered examples of such categories include 'object', 'quality', 'function', 'role', 'process', 'event', 'time', and 'place'. Amongst existing foundational ontologies, there is both a substantial measure of agreement and some dramatic disagreements. There is currently no uniform consensus concerning how a foundational ontology should be organised, how far its 'reach' should be (e.g., is the distinction between physical and non-physical entities sufficiently fundamental to be included here?), and even what role it should play in relation to more specialised domain ontologies.

The purpose of this workshop is to provide a forum for researchers to present work on specific foundational ontologies as well as foundational ontologies in general and their relations to each other and to the wider ontological enterprise. The FOUST III workshop will be co-located with the Joint Ontology Workshops (JOWO 2019).

The 19th Trends in Logic international conference will be held in Moscow, Russia from October 2 to October 4, 2019. It is organized by the National Research University Higher School of Economics and the journal Studia Logica.

• Lev Beklemishev (Moscow, Russia)
• Johan van Benthem (Amsterdam, The Netherlands)
• Per Martin-Löf (Stokholm, Sweden)
• Graham Priest (New York, USA)

This year the ILLC will organise its very own Open Day. It will take place on Friday October 4th, so please mark this day in your calendars.

On this day, ILLC invites all colleagues at UvA and CWI interested in
our research to visit the institute, watch posters and demos, attend
flash talks and enjoy drinks afterwards.

More information about the Open Day will follow soon.

The last two decades have seen extensive research on the syntax and distribution of reciprocal morphemes across languages. Typological linguists and theoretical syntacticians have revealed fascinating phenomena of reciprocity, which have substantially increased our knowledge of the ways languages encode reciprocal concepts. Quite independently, there have been some important advances in the formal semantic analysis of reciprocals in English. Yet, at present there is no clear understanding of the cross-linguistic semantics of reciprocals, or even the extent to which such a general semantics is motivated. The workshop will bring together formal semanticists and experts of reciprocity phenomena, with the goal of addressing some of the major questions in this area.

Keynote speakers are Mary Dalrymple (Oxford University) and Martin Haspelmath (MPI-SHH Jena & Leipzig University).

Building on the pioneer intuitions of Floyd-Hoare logic, dynamic logic was introduced in the 70's as a suitable logic to reason about, and verify, classic imperative programs. Since then, the original intuitions grew to an entire family of logics, which became increasingly popular for assertional reasoning about a wide range of computational systems. Simultaneously, their object (i.e. the very notion of a program) evolved in unexpected ways. This lead to dynamic logics tailored to specific programming paradigms and extended to new computing domains, including probabilistic, continuous and quantum computation. Both its theoretical relevance and practical potential make dynamic logic a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. However, no specific event is exclusively dedicated to it. This workshop aims at filling fill such a gap, joining an heterogeneous community of colleagues, from Academia to Industry, from Mathematics to Computer Science.

The goal of this workshop is to provide a platform for Dutch and international experts to share their knowledge and expertise on the application of algebraic and proof theoretic methods to the study of non-classical logics. The workshop is associated with the PhD defense of Frederik Möllerström Lauridsen.

Invited speakers: Nick Galatos (University of Denver), Mai Gehrke (Laboratoire J.A. Dieudonné), Rosalie Iemhoff (Utrecht University) and George Metcalfe (University of Bern).

The purpose of this workshop is to bring together researchers from philosophy, computer science, and allied disciplines who work on non-monotonic logics and defeasible inference. The idea is to bring traditional philosophical reflections on these topics-- such as defeat in epistemology, prima facie duties in ethics, and belief revision in philosophy of science-- together with the rich tradition of non-monotonic logics in computer science and artificial intelligence, including default logic and logic programming.

This will be a 1.5 day workshop (half day Friday 11 October afternoon, full day Saturday 12 October), with approximately 30 participants, including 4 invited talks, 2-3 contributed talks, and a poster session.

SLSP is a yearly conference series aimed at promoting and displaying excellent research on the wide spectrum of statistical methods that are currently in use in computational language or speech processing. It aims at attracting contributions from both fields. Though there exist large conferences and workshops hosting contributions to any of these areas, SLSP is a more focused meeting where synergies between the two domains will hopefully happen. In SLSP 2019, significant room will be reserved to young scholars at the beginning of their career and particular focus will be put on methodology.

SLSP 2019 will consist of invited talks, peer-reviewed contributions and posters.

The 4th of the FILOMENA Workshop (FIlosofia, LOgica e MEtafísica aNAlítica) has the purpose of gathering logicians working at the intersection of Logic and Metaphysics, through the application of formal methods in Philosophy. Our keynote speakers are: Daniel Durante (UFRN, Brazil), Michaela Mcsweeney (Boston University, USA) and Peter  Peter Verdee (UCLouvain, Belgium).

The 4th Filomena Workshop will be followed on the 17-18 by the workshop 'How do logics explain?'. All participants of Filomena are cordially invited to attend this workshop as well.

Since 1994, the TIME International Symposium on Temporal Representation and Reasoning aims to bring together researchers in the area of temporal reasoning in Computer Science. TIME 2019 will be organized as a combination of technical paper presentations, keynote talks, and tutorials, encompassing three tracks (Time in Artificial Intelligence, Temporal DataBases, Temporal Logic and Reasoning).

The ​ International Conference on Logic, Rationality and Interaction (LORI) ​ conference series aims at bringing
together researchers working on a wide variety of logic-related fields that concern the understanding of rationality and interaction. The series aims at fostering a view of Logic as an interdisciplinary endeavor, and supports the creation of an East-Asian community of interdisciplinary researchers.

A workshop 'Logic in Computer Science' will take place at the University of Jena, Germany, on 21 and 22 October 2019. The workshop will serve as the annual meeting of the GI group Logic in Computer Science.

Invited speakers:
- Christoph Berkholz (Humoldt-Universität zu Berlin)
- Thomas Schwentick (TU Dortmund)
Everyone interested is welcome to attend and contribute a talk.

The language sciences increasingly have in common their adoption of rational probabilistic approaches, such as Bayesian, Information Theoretic, and Game Theoretic frameworks. The goal of this conference is to bring together speech and language researchers whose scientific contributions reflect the full diversity of disciplines and methodologies - from speech to discourse, on-line processing to corpus-based investigation, through to language change and evolution - that have benefited from, and share, such rational explanations.

Keynote speakers: Gerhard Jaeger (Tuebingen University), Gina Kuperberg (Tufts University), Hannah Rohde (University of Edinburgh) and Rory Turnbull (University of Hawaiʻi at Mānoa).

Ontology matching is a key interoperability enabler for the Semantic Web, as well as a useful technique in some classical data integration tasks dealing with the semantic heterogeneity problem. It takes ontologies as input and determines as output an alignment, that is, a set of correspondences between the semantically related entities of those ontologies. These correspondences can be used for various tasks, such as ontology merging, data interlinking, query answering or process mapping.

The workshop has three goals: 1. To bring together leaders from academia, industry and user institutions to assess how academic advances are addressing real-world requirements. 2. To conduct an extensive and rigorous evaluation of ontology matching and instance matching (link discovery) approaches through the OAEI 2019 campaign. 3. To examine new uses, similarities and differences from database schema matching, which has received decades of attention but is just beginning to transition to mainstream tools.

Software systems are becoming more intelligent in the kind of functionality they offer users. At the same time, systems are becoming more decentralized, with components that represent autonomous entities who must communicate among themselves to achieve their goals. Examples of such systems range from healthcare and emergency relief and disaster management to e-business and smarts grids. A multiagent worldview is crucial to properly conceptualizing, building, and governing such systems. It offers abstractions such as intelligent agent, protocol, norm, organization, trust, incentive, and so on, and is rooted in solid computational and software engineering foundations. As a large but still growing research field of Computer Science, multiagent systems today remain a unique enabler of interdisciplinary research.

Today more than ever computers have taken center stage in our lives: science, economy, politics, art, there is no single human endeavour that has been left unaffected by Information Technologies. People connected to the Internet can enjoy an unprecedented amount of information and computing power at their disposal, but more and more negative side effects of a widespread use of computers are brought to our attention: automation bias, echo chambers, shortened attention spans, job displacement, election hacking are just a few examples. The need to conduct a systematic and well-informed discussion in a context ranging from theoretical and mathematical problems to labour and resource exploitation issues is evident.

HaPoC's appeal to historical and philosophical reflection aims at addressing this shortcoming. We aim to bring together researchers exploring the various aspects of computation: historians, philosophers, computer scientists, sociologists, anthropologists, designers, manufacturers, practitioners, artists, logicians, mathematicians, each with their own experience and expertise, all part of a society impacted by computation, and all necessary to the creation of a better discourse.

The Novembertagung on the History and Philosophy of Mathematics is an annual international conference aimed at PhD and postdoctoral students (young scholars) in the history and philosophy of mathematics.

Mathematical knowledge is commonly thought of as being essentially universal: its truths are eternal and incontrovertible, its propositions understandable and agreeable by all, independent of linguistic, cultural, ethnic or religious backgrounds. However, global knowledge, as mathematics seems to be, is always produced locally. As such, it hinges upon collectively shared ways of practicing, writing, and communicating mathematics. This year's Novembertagung invites participants to reflect on the theme 'Mathematical Cultures, Values, & Norms'. The invited speakers are June Barrow-Green (Open University) and Roy Wagner (ETH Zurich).

ManyVal is a series of international workshops on the logical and algebraic aspects of many-valued reasoning. The aim of the workshops is to gather both established and young researchers sharing an interest for a specific topic. Accordingly, each edition has a sharp focus. The attendance is limited in order to facilitate close and informal interaction. There are no parallel sessions.

ManyVal 2019 will focus on Probabilities, modalities and algebraic structures in many-valued logics.

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.

We are pleased to have Marc Lange and Rebecca Morris joining us as invited speakers.

This workshop is the eleventh in an annual series of workshops in philosophy of mathematics organized by a team of scholars from France and abroad. As in past years, the forthcoming workshop, held at the universities Panthéon Sorbonne and Paris Diderot, will consist in a three-day meeting and will feature 4 invited as well as 6 contributed talks.

The confirmed invited speakers are: Arianna Betti (University of Amsterdam, ILLC), Patricia Blanchette (University of Notre Dame). Tim Button (Cambridge University) and Frederic Patras (CNRS, Laboratoire J.A. Dieudonne).

Tutorial: Asaf Karagila (University of East Anglia).
Invited Speakers: Ralf Schindler (University of Muenster) and Boban Velickovic (University of Paris 7).
The workshop will be held in the best period of red leaves in Kyoto.

AIIA 2019 is organized by the Italian Association for Artificial Intelligence (AIIA – Associazione Italiana per l’Intelligenza Artificiale), which is a non-profit scientific society founded in 1988 devoted to the promotion of Artificial Intelligence. The society aims to increase the public awareness of AI, encourage the teaching of it and promote research in the field. The conference covers broadly the many aspects of theoretical and applied Artificial Intelligence. A Doctoral Consortium and a series of workshops dedicated to specific topics enhance the program.

The increasing adoption of Artificial Intelligence techniques in safety-critical systems, employed in real world scenarios, requires the design of reliable, robust and verifiable methodologies. The combined efforts of notable Italian researchers, that have been collaborating for several years in complementary fields such as specification, verification, and synthesis of reactive systems, artificial intelligence, controller synthesis, etc., has led to the creation of a new research group on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis (OVERLAY). The group aims at investigating novel methods and algorithms supporting the design and development of autonomous safety-critical systems.

The workshop, part of the AIxIA 2019 conference, is the first official initiative supported by OVERLAY, presenting the research group and its current results to the Italian AI scientific community. The event aims at establishing a stable, long-term scientific forum on relevant topics connected to the relationships between Artificial Intelligence and Formal Methods, by providing a stimulating environment where researchers can discuss about opportunities and challenges at the border of the two areas.

The conference is dedicated to aspects of circularity and ill-foundedness in formal methods. The aim is to gather together researchers who study and/or utilise these phenomena from different perspectives such as provability, formal reasoning, construction, computation and complexity. The 2019 Lindström Lectures will be held in connection with CiSS and delivered by Johan van Benthem.

Carlos di Prisco will turn 70 years old in October 2019. This conference is held in honor of his life and work.

It is intended for a wide audience, especially for students, but will also include the participation of mathematicians who have worked with Carlos and are close to him.

Invited speakers include J. Bagaria, C. Brech, J. Lopez-Abad, N. Dobrinen, A. Arias, and X. Caicedo.

The concept of representation is ubiquitous in cognitive science and in the philosophy of mind. Neural representations are postulated by neuroscientists to explain sub-personal phenomena such as the processing of visual information in the brain, while mental representations are taken to explain person-level phenomena, such as imagination, or consciousness. But non-representationalists contend that postulating representations of any sort is unnecessary or problematic. This workshop investigates the status of representations in a mechanical account of the mind and cognition. One core question will be whether the status of neural and mental representation is equally problematic. A second core question concerns the relationship between neural and mental representations.

Speakers: Joe Dewhurst (LMU), Carrie Figdor (Iowa), Jolien Francken (Amsterdam), Matej Kohar (RUB), Beate Krickel (RUB), Marcin Milkowski (Polish Academy of Sciences) and Karina Vold (Cambridge).

The International Conference for Philosophy of Science and Formal Methods in Philosophy (CoPS-FaM-19) of the Polish Association for Logic and Philosophy of Science will take place on December 4-6, 2019 at the University of Gdansk (in cooperation with the University of Warsaw). The conference will feature invited and contributed talks in Mathematical Logic,Philosophy of Mathematics & Philosophy of Science,Philosophical Logic, andFormal Philosophy (including formal epistemology, formal ethics, and applications of formal methods to philosophical issues in general etc.).

Keynote speakers: Hitoshi Omori (Ruhr-Universität Bochum), Oystein Linnebo (University of Oslo), Miriam Schoenfield (MIT), Stanislav Speranski (St. Petersburg State University) and Katya Tentori (University of Trento).

A Symposium on the occasion of Julia Robinson's 100th birthday will be held on Monday December 9, 2019 at MSRI. Julia Robinson (1919-1985) was a leading mathematical logician of the twentieth century, and notably a first in many ways, including the first woman president of the American Mathematical Society and the first woman mathematician elected to membership in the National Academy of Sciences. Her most famous work, alongside others including Martin Davis and Hilary Putnam, led to Yuri Matijasevich's solution in the negative of Hilbert's Tenth Problem, showing that there is no general algorithmic solution for Diophantine equations. She contributed in other topics as well. Her 1948 thesis linked the undecidability of the field of rational numbers to Godel?s proof of undecidability of the ring of integers.

Confirmed participants in this day-long celebration of her work and of current mathematics insprired by her research include: Lenore Blum, who will give a public lecture, Lou van den Dries, Martin Davis, Kirsten Eisentrager, and (provisionally yes) Yuri Matijasevich.

On 15-19 December 2019, we will be organizing a math-oriented quantum computation school in the IIAS at the Hebrew university. No prior knowledge on quantum will be assumed. The school will introduce TCS and math students and faculty, who are interested in the more mathematical side of the area, to the beautiful and fascinating mathematical open questions in quantum computation, starting from scratch. We hope to reach a point where participants gain initial tools and basic perspective to start working in this area.

To achieve this, we will have several mini-courses, each of two or three hours, about central topics in the area. These will include quantum algorithms, quantum error correction, quantum supremacy, delegation and verification, interactive proofs, cryptography, and Hamiltonian complexity. We will emphasize concepts, open questions, and links to mathematics. We will have daily TA sessions with hands-on exercises, to allow for a serious process of learning.

The SLALM was conceived in the late 1960s by Abraham Robinson, who at the time was President of the ASL. It brings together the community of researchers in logic in Latin America and is nourished by the crucial participation of researchers from around the world.

The 22nd Amsterdam Colloquium will be held on 18-20 December, 2019 to bring together linguists, philosophers, logicians, cognitive scientists and computer scientists who share an interest in the formal study of the semantics and pragmatics of natural and formal languages.

The Amsterdam Colloquium will feature two workshops: one on Semantic Universals, featuring Terry Regier (Berkeley) and Susan Rothstein (Bar-Ilan); and one on Super Linguistics, featuring Cornelia Ebert (Berlin) and Gabe Greenberg (UCLA).

The regular programme will feature talks by Kathryn Davidson (Harvard), Lucas Champollion (NYU), Imogen Dickie (St Andrews) and Fabrizio Cariani (Northwestern). The Amsterdam Colloquium will also feature one evening lecture by Ian Rumfitt (Oxford), jointly organized with the E.W. Beth Foundation.

The LFCS series provides an outlet for the fast-growing body of work in the logical foundations of computer science, e.g., areas of fundamental theoretical logic related to computer science.

*Formal Methods in Mathematics / Lean Together 2020* will run from Monday, January 6 to Friday, January 10, 2020 at Carnegie Mellon University, in Pittsburgh, Pennsylvania. The meeting is a successor to Lean Together 2019.

The first three days will focus on formal methods in pure and applied mathematics, including interactive theorem proving, automated reasoning, verification of symbolic and numeric computation, and general mathematical infrastructure. The last two days will be devoted to specifically to the Lean Theorem Prover and its core library, mathlib. Users and library developers will have opportunities to present work in progress and discuss plans for the future.

Attendance is free and open to the public, but we ask you to let us know by December 6 if you plan to come.

This meeting aims to bring together young researchers interested in model theory. It will feature a mini-course, invited talks by established academics, and contributed talks by postgraduate researchers. Accommodation will be provided for a limited number of participants. Supported by LMS, University of Leeds, and the British Logic Colloquium.

We are seeking early career scholars (by your own definition) interested in the history or sociology of the modern theoretical and mathematical sciences for an interdisciplinary 2-day workshop exploring the methods and implications of studying the local and global scales of seemingly universal knowledge. Conversations will be guided by a fantastic group of senior scholars: Martina Merz (Alpen-Adria-Universität), Tatiana Roque (Universidade Federal do Rio de Janeiro), David Aubin (Sorbonne Universit́é), and Ursula Martin (Oxford and Edinburgh).

Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science.

Keynote speakers: Gisele Secco (Univ. Federal de Santa Maria, Brasil), Jemma Lorenat (Pitzer College, USA), Øystein Linnebo (Univ. of Oslo, Norway), Jeremy Avigad (Carnegie Mellon University, USA), Vincenzo De Risi (Laboratoire SPHère, CNRS-Univ. Paris 7, France).

A conference to celebrate Hans Peters' contributions to social choice and game theory, on the occasion of his retirement.

ICDT is an international conferences series that addresses the principles and theory of data management. Since 2009, it is annually and jointly held with EDBT, the international conference on extending database technology.

As ICDT strives to broaden its scope, ICDT 2020 will have a Reach Out Track that calls for novel formal frameworks or directions for database theory and/or connections between principles of data management and other communities.

Under the auspices of FoLLI the European Summer School in Logic, Language, and Information (ESSLLI) is organized every year in a different European country. It takes place over two weeks in the European Summer, hosts approximately 50 different courses at both the introductory and advanced levels, attracting around 400 participants each year from all the world.

The main focus of the program of the summer schools is the interface between linguistics, logic and computation, with special emphasis in human linguistic and cognitive ability. Courses, both introductory and advanced, cover a wide variety of topics within the combined areas of interest: Logic and Computation, Computation and Language, and Language and Logic. Workshops are also organized, providing opportunities for in-depth discussion of issues at the forefront of research, as well as a series of invited lectures.