News and Events: Conferences

We are happy to announce the Fifth Workshop on Generalised Baire Spaces! This will take place on the 3rd and 4th of February 2020 at the University of Bristol. The focus of this year's workshop is on connections with model theory and infinite combinatorics.

The main speakers are David Aspero (Norwich), Vincenzo Dimonte (Udine), Lorenzo Galeotti (Amsterdam), Philipp Lücke (Bonn), Miguel Moreno (Vienna), Luca Motto Ros (Torino), Isabel Müller (London), Sarka Stejskalova (Prague), and Dorottya Sziraki (Budapest).

The international Conference "ULTRAMATH 2020? aims to present recent results in the whole spectrum of mathematics which are grounded on the use of ultrafilters and ultraproducts. Its main goals:
- Disseminate information about the various techniques related to the use of ultrafilters and ultraproducts, and their potential to attack open problems.
 - Bring together researchers with different backgrounds, and encourage their collaborations and interactions, especially on topics connecting different areas of mathematics.

The covered topics of UltraMath 2020 include (but are not limited to):
 - Additive and Combinatorial Number Theory.
 - Combinatorics and Ramsey Theory.
 - Algebra and Geometry.
 - General Topology.
 - Measure Theory.
 - Ergodic Theory and Dynamics.
 - Functional Analysis and Metric Spaces.
 - Nonstandard Analysis and Model Theory.
 - Generalized Spaces and Differential Equations.
 - Set Theory.

Probability and Meaning (PaM) is a conference organized by the Centre for Linguistic Theory and Studies in Probability (CLASP).  PaM will bring together researchers interested in computationally relevant probabilistic approaches to natural language meaning. PaM will include symbolic, machine learning and experimental approaches to this task, as well as hybrid models.

In addition to the main conference, on 5th June 2020 CLASP and the AI Competence for Sweden are organising a one day workshop on AI and Natural Language with emphasis on industrial collaboration. The aim of the workshop is to present cutting edge research in Natural Language Processing and Computational Linguistics and its relation to AI and to bring together researchers and industrial partners mainly from Sweden and the Nordic countries in these areas.

Argumentation and exchange of information help groups to coordinate, deliberate and decide. On the other hand, debates often generate detrimental large-scale phenomena such as polarization, informational cascades and echo-chambers, where the behavior of entire groups shifts in seemingly irrational ways.

Understanding the deep mechanisms of informational and social influence that underlie these phenomena in the age of social media is a challenge that engages methods from different disciplines, including philosophy, artificial intelligence, computer and social sciences and psychology.

This workshop brings together scholars with different theoretical approaches. Its broader aim is to foster an interdisciplinary understanding of the mechanisms that determine the behavior of individuals in a social context from multiple perspectives. The workshop will last two and a half days. The first half-day of it will be dedicated to an introductory seminar on abstract argumentation, held by Professor Pietro Baroni (Brescia).

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).

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 aims of FMAI 2020 are to:
 - Present success stories about the application of formal methods in AI.
 - Discuss strategies for bringing the Formal Methods and the AI communities closer together.
 - Consolidate collaborations between these two communities and foster new ones.

Invited Speakers: Giuseppe de Giacomo (Sapienza Universita' di Roma, Italy) and  Jane Hillston (University of Edinburgh, UK).

We are in the reality of natural and computational systems of argumentation provided by reasoning, with natural and artificial languages. Intelligent systems of argumentation target advanced methods for exchanging, saving, reasoning, accessing, and updating information in memory. There will be a Special Session on Natural Language and Argumentation 2020 (NLA'20) at DCAI'20, the 17th International Conference on Distributed Computing and Artificial Intelligence. This special session will cover both theories and applications.

Spatial Cognition is concerned with the acquisition, development, representation, organization, and use of knowledge about spatial objects in real, virtual or hybrid environments and processed by human or artificial agents. Spatial Cognition includes research from different fields insofar as they are concerned with cognitive agents and space. Research issues in the field range from the investigation of human spatial cognition to mobile robot navigation. SC 2020 will bring together researchers working on spatial cognition from all of these perspectives.

The conference is single-track, and the final program will be the result of a selective review process. The program will include oral and poster presentations of refereed papers, and keynote talks by Sara I. Fabrikant, Steve Franconeri and Laure Rondi-Reig.

The purpose of BCTCS is to provide a forum in which researchers in theoretical computer science can meet, present research findings, and discuss developments in the field. It also aims to provide an environment in which PhD students can gain experience in presenting their work, and benefit from contact with established researchers.

The scope of the colloquium includes all aspects of theoretical computer science, including automata theory, algorithms, complexity theory, semantics, formal methods, concurrency, game theory, types, languages and logics.

BCTCS 2020 is being held together with the Fourth AlgoUK workshop which includes a session on Verification of Railway Control Systems. There will also be a special evening public forum on Formal Methods in Software Engineering.

FSCD covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logics, models of computation, semantics and verification in new challenging areas.

Integrating generic and contextual knowledge remains a challenging task in Computational Linguistics and interfacing fields. While current data-driven models excel in capturing broad regularities, they can fail to apply this information to specific situations. The GeCKo symposium seeks to 1) understand the issues involved in the integration of generic and situation-specific information in Computational Linguistics, across applications and research areas; 2) identify ways forward; and 3) cross-fertilize Computational Linguistics with Machine Learning, Linguistics, and Cognitive Science researchers working at this junction.

The GeCKo symposium will feature talks by invited speakers, contributed talks, as well as a poster session preceded by lightning talks.

LAMAS is a scientific network spanning an interdisciplinary community of researchers working on logical aspects of multi-agent systems (MAS) from the perspectives of artificial intelligence, computer science, game theory, and more.

LAMAS2020 will be the next annual event of the LAMAS research network and will continue the series of LAMAS workshops. The LAMAS workshop is the pivotal event of the network and it provides a platform for presentation, exchange, and publication of ideas in all these areas, including:
 - Logical systems for modeling, specification, analysis and synthesis of MAS
 - Deductive systems and decision procedures for logics for MAS
 - Algorithmic methods for formal verification of MAS
 - Logic-based tools for MAS
 - Applications of logics in MAS

The 47th International Colloquium on Automata, Languages and Programming (ICALP 2020), the main European conference in Theoretical Computer Science and annual meeting of the European Association for Theoretical Computer Science (EATCS), will take place in Beijing (China) on 8 - 12 July 2020. ICALP 2020 will have the two traditional tracks A (Algorithms, Complexity and Games) and B (Automata, Logic, Semantics and Theory of Programming). ICALP 2020 will be hosted at Peking University, in co-location with LICS 2020.

The field of natural language semantics has undergone what some refer to as an ‘experimental turn’ and is arguably currently undergoing a ‘computational turn’. By expanding the toolbox available to the semanticist, these two turns have the effect of expanding the phenomena that can be explained and the varieties of semantic explanation that can be offered.

For example, experimental methods can help distinguish between alternative explanations of semantic effects, e.g. whether to classify controversial phenomena as implicatures or presuppositions. Similarly, computational models of semantics can generate fine-grained and non-categorical predictions that can fruitfully be tested experimentally. And both kinds of methods can be used to ask questions about the emergence of semantic structures in language, including which factors influence their distribution and typology.

Given this wider toolbox and purview, we aim to gather a workshop to showcase exciting new work that develops new semantic explanations using experimental and computational methods, as well as to invite broader reflection on the methodology of semantics now and in its future.

Recent work in implicature has seen a great deal of activity within two lines of research: the rational choice approach associated with game-theoretic pragmatics and the Bayesian Rational Speech Act framework, and the exhaustification-based approach. While these frameworks have generally been thought to be in theoretical tension, there are also underexplored ways to combine them, with the potential to benefit both approaches. The workshop will explore explicit comparisons between the two frameworks as well as efforts to combine them, with the hope of producing a more unified theory of implicature and a more general understanding of the data that such a theory must account for.

The International Conference on Theory and Applications of Satisfiability Testing (SAT) is the premier annual meeting for researchers focusing on the theory and applications of the propositional satisfiability problem, broadly construed. In addition to plain propositional satisfiability, it also includes Boolean optimization (such as MaxSAT and Pseudo-Boolean (PB) constraints), Quantified Boolean Formulas (QBF), Satisfiability Modulo Theories (SMT), and Constraint Programming (CP) for problems with clear connections to Boolean-level reasoning.

The Institute of Philosophy of the The Czech Academy of Sciences announces 'LOGICA 2020', the 33nd in the series of annual international symposia devoted to logic. Rhe first session begins on the morning of Tuesday, 16 June. The symposium closes at noon on Friday, 19 June.

Invited speakers: Katalin Bimbo, Rosalie Iemhoff, Alena Vencovska and Diderik Batens.

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 Joint Ontology WOrkshops (JOWO) is a venue of workshops that, together, 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.

Workshops and tutorials at JOWO 2020 are events whose scientific program is independently established by the workshop organizers.  Workshops can be events that provide a forum for the discussion of topics broadly related to ontologies, formal ontology, and knowledge management and their application in information science or other areas. JOWO is especially suitable for interdisciplinary and innovative formats.

ISA-16 is the sixteenth edition of a series of joint workshops of the ACL Special Interest Group in Semantics (SIGSEM) and the International Organisation for Standardisation ISO. ISA-workshops bring together experts in the annotation of semantic information as expressed in text, speech, gestures, graphics, video, images, and in communicative behaviour where multiple modalities are combined. Examples of semantic annotation include the markup of events, time, space, dialogue acts, discourse relations, semantic roles, coreference, quantification phenomena, and other aspects of meaning for which the ISO organisation pursues the establishment and application of standardised annotation methods and representation schemes, in order to support the creation of interoperable semantic and pragmatic resources.

Besides a main track, ISA-16 will feature two specialised tracks, focused on (a) the annotation of quantification (and quantified modification) in natural language and (b) the design and representation of data structures for generating visualisations of linguistically represented objects, properties, and events. Both specialised tracks will consist of a pre-conference on-line portion and an on-site portion during the ISA-16 workshop.

Logic programming is a framework for expressing programs, propositions and relations as Horn clause theories, with the purpose of performing automatic inference in these theories. The aim of this workshop is to bring together researchers that work on extensions of logic programming and inference methods, and to foster an exchange of methods and applications that have emerged in different communities.

This workshop focuses on the issues of information spread in a social network of natural and artificial agents as studied by the emerging interdisciplinary field of multi-agent systems, reasoning and social network analysis.

This is the 14th in a series of bi-annual conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making. The three-day conference will give opportunity for paper presentations and discussions.

Among the topics of particular relevance are:
- Modal logics for games and protocols
- Foundations of game and decision theory
- Learning and information-processing models
- Bounded rationality approaches to game and decision theory

Computational Creativity (or CC) is a discipline with its roots in Artificial Intelligence, Cognitive Science, Engineering, Design, Psychology and Philosophy that explores the potential for computers to be autonomous creators in their own right. ICCC is an annual conference that welcomes papers on different aspects of CC, on systems that exhibit varying degrees of creative autonomy, on frameworks that offer greater clarity or computational felicity for thinking about machine (and human) creativity, on methodologies for building or evaluating CC systems, on approaches to teaching CC in schools and universities or to promoting societal uptake of CC as a field and as a technology, and so on.

The conference brings together researchers working on the mathematical foundations of quantum physics, quantum computing, and related areas, with a focus on structural perspectives and the use of logical tools, category-theoretic structures, formal languages, semantic methods, and other computer science techniques applied to the study of physical behaviour in general. Work that applies structures and methods inspired by quantum theory to other fields (including computer science) is also welcome.

QPL 2020 will be co-located with the 36th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2020).

The International Joint Conference on Rules and Reasoning (RuleML+RR) is the leading international joint conference in the field of rule-based reasoning. Stemming from the synergy between the well-known RuleML and RR events, one of the main goals of this conference is to build bridges between academia and industry.

RuleML+RR 2020 aims to bring together rigorous researchers and inventive practitioners, interested in the foundations and applications of rules and reasoning in academia, industry, engineering, business, finance, healthcare and other application areas. It provides a forum for stimulating cooperation and cross-fertilization between the many different communities focused on the research, development and applications of rule-based systems.

RuleML+RR 2020 is co-located with DecisionCAMP 2020 and the 16th Reasoning Web Summer School (RW 2020), as part of the Declarative AI 2020 event. The theme of the 2020 edition is: Explainable algorithmic decision-making

The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts, normative language and normative systems with computer science, artificial intelligence, linguistics, philosophy, organization theory and law. In addition to these general themes, DEON 2020 will encourage a special focus on the topic "Norms in Social Perspective". We are happy to announce that the keynote speakers for DEON 2020 will be: Marcia Baron (Indiana University, Bloomington), Emiliano Lorini (IRIT-CNRS, Toulouse University, France), Shyam Nair (Arizona State University, Tempe), and Sonja Smets (ILLC, University of Amsterdam).

DEON 2020 will be co-located with the Summer School on Mathematical Philosophy for Female Students, to be held in Munich from 26th until 31st July 2020.

Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. AiML 2020 is the 13th conference in the series.

CLIB covers a broad spectrum of areas related to natural language processing and computational linguistics focused on but not limited to Bulgarian.

CLIB 2020's invited speakers will be: Prof. Galya Angelova (Institute of Information and Communication Technologies, Bulgarian Academy of Sciences Assoc), Prof. Svetla Boytcheva (Institute of Information and Communication Technologies, Bulgarian Academy of Sciences) and Dr. Preslav Nakov (Qatar Computing Research Institut). A special session on wordnets and ontologies is also envisaged.

FG 2020 is the 25th conference on Formal Grammar, to be held in conjunction with the European Summer School in Logic, Language and Information which, in 2020, will take place at the University of Utrecht, Utrecht, the Netherlands.

FG provides a forum for the presentation of new and original research on formal grammar, mathematical linguistics and the application of formal and mathematical methods to the study of natural language. Previous conferences in this series have welcomed papers from a wide variety of frameworks. The program will include a special session on the relevance of formal grammar methods in deep learning and other statistical and vector space approaches to language.

Logical and semantic frameworks are formal languages used to represent logics, languages and systems. These frameworks provide foundations for the formal specification of systems and programming languages, supporting tool development and reasoning.

This workshop will aim to bring together researchers whose interests bridge between AI and other disciplines such as Cognitive Science, Language and Philosophy, to study how computational argumentation can form an underlying theoretical and practical basis for modeling cognition and building human-centric AI systems.
The main general questions that will concern the workshop are:
- Can argumentation provide the basis for computational models of human reasoning that are cognitively adequate?
- How can we form a synthesis between computational argumentation and theories of cognition that will give us models of computational cognition for the development of AI systems?

This is one of the main events of the Tbilisi Autumn of Logic, a series of conferences and summer schools taking place in Tbilisi promoting research in pure and applied logic at an international level.

The LATD conference series started as an official meeting of the working group on Mathematical Fuzzy Logic and has evolved into a wider meeting in algebraic logic and related areas. Its main goal is to foster collaboration between researchers in these areas, and to promote communication and cooperation with members of neighbouring fields.

The conference will be preceded by the Sixteenth International Tbilisi Summer School in Logic and Language devoted to courses on core topics of LATD 2020.

The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections.

The ESSLLI Student Session is a forum for PhD and Master students to present their research at the interfaces of logic, language and computation. It features three tracks: Logic & Computation (LoCo), Logic & Language (LoLa), and Language & Computation (LaCo). The ESSLLI 2020 Student Session will be held during ESSLLI 2020 at Utrecht University, Utrecht, the Netherlands

We invite participatuib in the XXIII International Summer School in Philosophy of Physics to be held in Urbino 15th-18th June 2020. The topic of the school is 'Philosophy of Quantum Computation' and it will feature lectures given by Michael Cuffaro (Munich Center for Mathematical Philosophy) and Roberto Giuntini (University of Cagliari), with afternoon seminars given by David Vitali (University of Macerata), Gustavo Martin Bosyk (University of Cagliari), and Rossella Lupacchini (University of Bologna). The School will host a limited number of students, graduate students and early researchers depending on a successful application.

TSD series evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world.  The conference program will include presentation of invited papers, oral presentations, and poster/demonstration sessions. Papers will be presented in plenary or topic oriented sessions with sufficient time for discussions of the issues raised.The TSD 2020 conference will be accompanied by one-day satellite workshops or project meetings with organizational support by the TSD organizing committee. Social events including a trip in the vicinity of Brno will allow for additional informal interactions.

WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. WoLLIC 2020 is planned to also have a special session with the exhibition of a one-hour documentary film about Maryam Mirzakhani, a remarkable mathematician whose contributions were recognized with a Fields Medal just a few years before her untimely death.

As it is its tradition, *AUTOMATA 2020* will focus on the theory and application of cellular automata and discrete dynamical systems in connection to complexity theory and algorithmic information. There will be special sessions on *Automata in Deep Learning* and *Algorithmic Information Dynamics* with a particular interest in aspects of computability in causation and reprogrammability.

AUTOMATA 2020 is innovating on various fronts given the challenge of climate change we want to reduce the conference Carbon footprint through a virtual attendance option, and also by addressing the underrepresentation of young and minority groups in the field.

"Concepts in Action: Representation, Learning, and Application" (CARLA) is an international workshop aimed at fostering interdisciplinary exchange about research on concepts.  Although the workshop is open for research on any aspect of concepts, there exists a set of core topics that are of special interest:

 - Representation: How can we formally describe and model concepts?
  - Learning: Where do concepts come from and how are they acquired?
 - Application: How are concepts used in cognitive tasks?

Invited Speakers: Mattis List and Marianna Bolognesi.

This bi-annual conference  focuses on all aspects of grammar learning, including (but not limited to) theoretical and experimental analysis of different models of grammar induction, and algorithms for induction of different classes of languages and automata.

This edition will provide a particular insight  on the relation with connectionist models such as neural networks: tutorials of the first day will focus on that subject and authors are encouraged to submit works on that subject.

The triennial international conference of the Italian Society for Logic and the Philosophy of Science, will be held at the Department of Philosophy and Communication of the University of Bologna.

Mereology is a very plural subject in which individual researchers may work in multiple potentially incompatible perspectives. It is well-known that mereological methods are important in AI and formalizing human reasoning. In particular, these are relevant in formal approaches to vagueness and point-free reasoning. The main aim of the symposium session is to connect researchers in formal approaches to vagueness and ontology from applied mereological perspectives. All submissions are expected to have a strong focus on applications or potential applications.

The journal "Logical Investigations" provides a platform for broad discussions of logical problems of both conceptual and purely theoretical nature. There are plans for a special issue of "Logical Investigations" devoted to logical and philosophical aspects of negation, Vol. 27(1), 2021.

Original papers are invited on negation related topics. Submissions should be written in English and should be submitted electronically as Pdf-documents generated from LaTeX using the style file LIarticle.cls. Papers should not exceed 20 pages in the above mentioned format (including all notes, the bibliography, and the abstract).

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.

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

Formal Mathematics aims at the complete formalization and formal checking of mathematical statements and proofs. In recent years practically efficient computer assisted systems have been developed and used to formally verify outstanding mathematical results. However, formalizations in the currently dominating systems are written in languages that resemble computer code and are neither accessible nor attractive to the wider mathematical community. The workshop will be looking into ways to overcome this barrier by using (controlled) natural language  input for proof systems.

The workshop will bring together invited experts from linguistics, formal mathematics, type theory and the LEAN prover system. After some invited talks on Saturday we envisage intense interactions of various groups with ample time for discussion and exploratory experiments. Participants will be asked to give brief contributed presentations of their research relevant to the conference topic.

The Workshop  is able to offer five scholarships for PhD students and new PhDs with previous experience in formal mathematics. The workshop will cover local costs and give travel support. Apply before November 30, 2019.

This workshop brings together scholars working on the philosophy of language, philosophy of mathematics, philosophy of logic, and metaphysics, to present recent work on propositions, propositional functions, properties, sets, numbers, composite objects, and truth.

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.

There will be a one-day Colloquium at Wolfson College Oxford. This event celebrates the centenary of Robin Gandy, a leading figure in Mathematical Logic, student and close friend of Alan Turing, Oxford University Reader in Mathematical Logic and a Fellow of Wolfson College. It will be a full day meeting with an outstanding set of speakers, including four of Gandy's former students, and ranging across topics in mathematical logic, philosophy of mathematics, and computer science, as well as personal reflections and historical perspectives.

Speakers: Marianna Antonutti Marfori (Munich), Andrew Hodges (Oxford), Martin Hyland (Cambridge), Jeff Paris (Manchester), Göran Sundholm (Leiden), Christine Tasson (Paris), Philip Welch (Bristol)

Computational and technological developments that incorporate natural language are proliferating. Adequate coverage encounters difficult problems related to partiality, underspecification, and context-dependency, which are signature features of information in nature and natural languages. Furthermore, agents (humans or computational systems) are information conveyors, interpreters, or participate as components of informational content. Generally, language processing depends on agents' knowledge, reasoning, perspectives, and interactions.

This ICAART 2020 Special Session covers theoretical work, applications, approaches, and techniques for computational models of information and its presentation by language (artificial, human, or natural in other ways). The goal is to promote intelligent natural language processing and related models of thought, mental states, reasoning, and other cognitive processes.

The 21st Workshop on the Roots of Pragmasemantics will be held on the top of the Szrenica mountain in the Giant Mountains on the border of Poland and the Czech Republic on February 28 - March 2, 2020. On top of our general theme, this year's special theme is Reference.

This year's invited speakers are:

Maria Aloni (University of Amsterdam)
Ethan Nowak (King's College London)
Peter Sutton (Heinrich Heine University Düsseldorf)
Sarah Zobel (University of Oslo)

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.

The TYPES meetings are a forum to present new and ongoing work in all aspects of type theory and its applications, especially in formalised and computer assisted reasoning and computer programming. Part of the program is organised under the auspices of EUTypes.

Invited speakers: Ulrik Buchholtz, Pierre Marie-Pédrot, Leonardo de Moura and Sara Negri.

Intersection types were introduced near the end of the 1970s to overcome the limitations of Curry's type assignment system and to provide a characterization of the strongly normalizing terms of the Lambda Calculus.

Although intersection types were initially intended for use in analyzing and/or synthesizing lambda models as well as in analyzing normalization properties, over the last twenty years the scope of the research on intersection types and related systems has broadened in many directions.

The ITRS 2020 workshop aims to bring together researchers working on both the theory and practical applications of systems based on intersection types and related approaches. ITRS workshops have been held every two years.

The theoretical aspects of disagreements in fields such as ontology, logic, epistemology, and ethics have already received extensive treatment in the philosophical literature. There is a plethora of views debated at an increased level of sophistication at a very high level of abstraction (e.g. conciliationist vs steadfast views in the epistemology of disagreement). What is much less discussed are the practical consequences of these theoretical models of disagreement. The conference 'Disagreements: from Theory to Practice' aims to bridge the gap between theory and practice and inquire into the implications of theoretical positions for real life disagreements. Our confirmed speakers include Margit Sutrop, Daniel Cohnitz and Folke Tersman.

Around thirty years after the fall of Hilbert's program, the proofs-as-programs paradigm established the view that proofs should consist in computational or epistemic objects conveying evidence to mathematical propositions. The relationship between formal derivations and proofs should then be analogous to the one between words and their meanings. This view naturally gives rise to questions such as 'which conditions should a formal arrangement of symbols satisfy to represent a proof?' or 'when do two formal derivations represent the same proof?'. These questions underlie past and current research in proof theory both in the theoretical computer science community (e.g. categorical logic, domain theory, linear logic) and in the philosophy community (e.g. proof-theoretic semantics).

In spite of these common motivations and historical roots, it seems that today proof theorists in philosophy and in computer science are losing sight of each other. This workshop aims at contributing to a renaissance of the interaction between researchers with different backgrounds by establishing a constructive environment for exchanging views, problems and results.

In addition to regular invited talks, the workshop includes two tutorials, aimed at introducing recent ideas on the correspondence between proofs, programs and categories as well as to the historical and philosophical aspects of the notions of infinity and predicativity.

Large-scale semantic processing and strong computer assistance of mathematics and science is our inevitable future. New combinations of AI and reasoning methods and tools deployed over large mathematical and scientific corpora will be instrumental to this task. The AITP conference is the forum for discussing how to get there as soon as possible, and the force driving the progress towards that.

There will be several focused sessions on AI for ATP, ITP and mathematics, Formal Abstracts, linguistic processing of mathematics/science, modern AI and big-data methods, and several sessions with contributed talks. The focused sessions will be based on invited talks and discussion oriented.

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.

Organized by John P. Burgess and Silvia De Toffoli

Speakers: Jeremy Avigad (Carnegie Mellon University), Silvia De Toffoli (Princeton University), Marcus Giaquinto (University College London), Juliette Kennedy (Helsinki University), Saul Kripke (CUNY Graduate Center), Danielle Macbeth (Haverford College), Paolo Mancosu (UC Berkeley), Friederike Moltmann (CNRS / New York University), Ben Morison (Princeton University), Marco Panza (CNRS / Chapman University), Richard Pettigrew (Bristol University) and Sun-Joo Shin (Yale University).

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.

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.

The Zhejiang Conferences on Logics in Artificial Intelligence (ZjuLogAI 2020) is organized by the Zhejiang University - University of Luxembourg Joint Laboratory on AIs, Robotics and Reasoning (ZLAIRE). With its special focus theme on Explainable AI, the summit intends to promote the interplay between logical approaches and machine learning based approaches in order to make AI more transparent and accountable.

ZJULogAI consists of
- 5th Asian Workshop on Philosophical Logic (AWPL 2020)
- 3rd International Conference on Logic and Argumentation (CLAR 2020)
- 6th Global Conference on Artificial Intelligence (GCAI 2020)
ZjuLogAI will be accompanied by an AI and ART exhibition demonstrating the latest application of AI and robotics.
Keynotes (confirmed): Gabriella Pigozzi (Université Paris Dauphine) and Fei Wu (Zhejiang University)

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.

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.

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

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).

In more than a decade of research, it has been established that a wide variety of state-based dynamical systems, like transition systems, automata (including weighted and probabilistic variants), Markov chains, and game-based systems, can be treated uniformly as coalgebras. Coalgebra has developed into a field of its own interest presenting a deep mathematical foundation, a growing field of applications, and interactions with various other fields. Established in 1998, the aim of the CMCS workshops is to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop serie strives to maintain breadth in its scope, participation by researchers in neighbouring areas is strongly encouraged.

Today's IT systems, and the interactions between them, become increasingly complex. Power grid blackouts, airplane crashes, failures of medical devices and malfunctioning automotive systems are just a few examples of incidents that affect system safety. They are often due to component failures and unexpected interactions of subsystems under conditions that have not been anticipated during system design and testing. Determining the root cause(s) of a system-level failure and elucidating the exact scenario that led to the failure is today a complex and tedious task that requires significant expertise. Formal approaches for automated causality analysis, fault localization, explanation of events, accountability and blaming have been proposed independently by several communities - in particular, AI, concurrency, model-based diagnosis, software engineering, security engineering and formal methods. Work on these topics has significantly gained speed during the last years.

The goals of this workshop are to bring together and foster exchange between researchers from the different communities, and to present and discuss recent advances and new ideas in the field.

“PhDs in Logic” is an annual graduate conference organized by graduate students. This interdisciplinary conference welcomes contributions to various topics in mathematical logic, philosophical logic, and logic in computer science. It involves tutorials by established researchers as well as short (20-25 minutes) presentations by PhD students, master students and first-year postdocs on their research.
The 12th edition of “PhDs in Logic” will take place at the Freie Universität Berlin, Germany, from April 27 to 29, 2020.

We welcome students to participate in PhDs in Logic XII regardless of whether they want to submit a contribution. Students interested in participating, even without giving a talk, are kindly asked to register.

Keynote speaker: Crispin Wright (University Stirling & NYU)

Other confirmed speakers include: .Roy T. Cook (University of Minnesota), Fiona Doherty (University of Stirling), Sean Ebels-Duggan (Northwestern University), Richard K. Heck (Brown University), Graham Leach-Krouse (Kansas State University), Paolo Mancosu (UC Berkeley), Fraser McBride (University of Manchester; via Skype), Eileen Nutting (University of Kansas), Walter Pedriali (University of St. Andrews), Agustí­n Rayo (MIT), Marcus Rossberg (University of Connecticut), William Stirton (Independent Scholar), James Studd (Oxford), Alan Weir (University of Glasgow), Sean Walsh (UCLA) and Robbie Williams (University of Leeds; via Skype).

The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and the aerospace industry requires advanced techniques that address their specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry, with the goal of identifying challenges and providing solutions towards achieving assurance for such critical systems.

New developments and emerging applications like autonomous on-board Software for Unmanned Aerial Systems (UAS), UAS Traffic Management (UTM), advanced separation assurance algorithms for aircraft, and the need for system-wide fault detection, diagnosis, and prognostics provide new challenges for system specification, development, and verification approaches. The focus of these symposiums are on formal techniques and other approaches for software assurance, including their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.

The ACL2 Workshop series is the major technical forum for users of the ACL2 theorem proving system to present research related to the ACL2 theorem prover and its applications. ACL2 is an industrial-strength automated reasoning system, the latest in the Boyer-Moore family of theorem provers. ACL2-2020 is a two-day workshop to be held in Austin, Texas, USA, on May 28-29, 2020. It is the 16th in the series of ACL2 workshops, which occur approximately every 18 months. The workshop will feature invited keynotes, technical papers, and rump sessions that discuss ongoing research.

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.

There are several new and rapidly evolving research areas blossoming out from the interaction of logic and relativity theory. The aim of this conference series, which take place once every 2 or 3 years, is to attract and bring together mathematicians, physicists, philosophers of science, and logicians from all over the word interested in these and related areas to exchange new ideas, problems and results.

The spirit of this conference series goes back to the Vienna Circle and Tarski's initiative Logic, Methodology and Philosophy of Science. We aim to provide a friendly atmosphere that enables fruitful interdisciplinary cooperation leading to joint research and publications.

Machine learning does not only transform businesses and the social sphere, it also fundamentally transforms science and scientific practice. The workshop focuses on that latter issue. It aims to discuss whether and how exactly recent developments in the field of machine learning potentially transform the process of scientific inquiry. For this, it sets out to analyse the field of machine learning through the lenses of philosophy of science, epistemology, research ethics and cognate fields such as sociology of science. The workshop will bring together philosophers from different backgrounds (from formal epistemology to the study of the social dimensions of science) and machine learning researchers.

The workshop is organised by the 'Ethics and Philosophy Lab' of the Cluster of Excellence 'Machine Learning: New Perspectives for Science' at the University of Tübingen.

Descriptive set theory discusses the relationship between logical complexity and good behaviour of sets, so-called regularity properties (e.g. Lebesgue measurability, perfect set property, etc.). It is well known that these properties are closely connected to forcing (and in some cases, large cardinals). Modern developments in set theory such as forcing, large cardinals and determinacy give powerful techniques to tackle problems in descriptive set theory. In recent years, set theorists have generalised classical results of descriptive set theory to generalised reals.

Speakers: 1. Vera Fischer (Vienna) 2. Yurii Khomskii (Hamburg & Amsterdam) 3. Dominique Lecomte (Paris) 4. Heike Mildenberger (Freiburg) 5. Dorottya Sziraki (Budapest) 6. Otmar Spinas (Kiel) 7. Asger Tornquist (Copenhagen) 8. Jindrich Zapletal (Gainesville FL) more TBA.

The EPICENTER, the research center on Epistemic Game Theory at Maastricht University, offers this two-week intensive course as an introduction to the blooming field of Epistemic Game Theory. This field takes a new, fresh approach to game theory, and studies how people reason in game theoretic situations before they eventually make a choice. More precisely, it explores how we reason about the minds of others before we make a choice. Hence, the reasoning of people like you and me is at the center stage of epistemic game theory.

We would like to invite you to the next European Symposium of Medieval Logic and Semantics, which will take place at the University of Warsaw on 22-25 June 2020. The topic of the conference is 'Time, Tense, and Modality', and covers logical, semantical, and grammatical problems related to time. It is meant to include a wide range of issues occurring in medieval writings, not restricted to narrowly understood field of artes.

We are pleased to announce that Computability, Complexity, and Randomness 2020 and its satellite Leeds Computability Days 2020 will take place in June and July 2020. Leeds Computability Days will be held at the University of Leeds in Leeds, UK during 24-26 June 2020. Computability, Complexity, and Randomness will be held at the Isaac Newton Institute for Mathematical Sciences in Cambridge, UK during 29 June ? 3 July 2020.

Both conferences are sponsored by the Association for Symbolic Logic, and so student members of the ASL may apply for travel grants to attend.

CiE 2020 is the 16th conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world.

The CiE conferences serve as an interdisciplinary forum for research in all aspects of computability, foundations of computer science, logic, and theoretical computer science, as well as the interplay of these areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics.

IJCAR is the premier international joint conference on all topics in automated reasoning. It is the merger of leading events in automated reasoning: CADE (Conference on Automated Deduction), FroCoS (Symposium on Frontiers of Combining Systems), ITP (International Conference on Interactive Theorem Proving) and TABLEAUX (Conference on Analytic Tableaux and Related Methods). JCAR 2020 will be co-located with the conference FSCDThe IJCAR 2020 technical program will consist of presentations of high-quality original research papers, short papers describing interesting work in progress, system descriptions, and invited talks.

Woody Bledsoe Travel Awards will be available to support selected students attending the conference.

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 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.

The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. LICS 2020 will be hosted in Beijing, China during 8–12 July 2020, in co-location with ICALP 2020.

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.

The São Paulo School of Advanced Science on Contemporary Logic, Rationality and Information – SpLogIC – is promoted by the Centre for Logic, Epistemology and the History of Science (CLE) of the University of Campinas (Unicamp), Brazil, to be held from July 13th to 24th, 2020. The program comprises nine courses and nine plenary talks ministered in English by experts in each topic, as well as oral presentations (LED Talks) and poster sessions delivered by students.

Undergraduate and graduate students, and postdoctoral fellows (up to 5 years after completion of the Ph.D) from all countries are encouraged to apply. The event will select 100 fully-funded participants (50 grantees from all states of Brazil and 50 international grantees). Funding includes airfare, medical insurance, accommodation and meals throughout the event.

Priority will be given to candidates currently enrolled in graduate programs (Masters/M.Sc. and Doctorate/Ph.D.) and currently developing a thesis or dissertation in the fields of the event. The applicant’s country of origin will also be taken into consideration, in order to include participants from all continents.

There will be introductory, intermediate and advanced courses in a variety of linguistic subfields.

The IEEE World Congress on Computational Intelligence (IEEE WCCI) is the world’s largest technical event in the field of computational intelligence. WCCI 2020 features the flagship conference of the Computational Intelligence Society: The 2020 International Joint Conference on Neural Networks (IJCNN 2020), the 2020 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2020), and the 2020 IEEE Congress on Evolutionary Computation (IEEE CEC 2020) under one roof. It encourages cross-fertilisation of ideas among the three big areas and provides a forum for intellectuals from all over the world to discuss and present their research findings on computational intelligence.

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.

Diagrams 2020 is the eleventh conference in the biennial series that started in 2000. The multidisciplinary nature of Diagrams means it encompasses: architecture, art, artificial intelligence, biology, cartography, cognitive science, computer science, education, graphic design, history of science, human-computer interaction, linguistics, logic, mathematics, philosophy, psychology, and software modelling. The conference attracts a large number of researchers from these interrelated fields, positioning Diagrams as the major international event in the area.

There will be a section on Logic and Philosophy of Mathematics at the XXVth Congress of the German Society for Philosophy (DGPhil), "The True, the Good, and the Beautiful".

The summer school is a major event of the Tbilisi Autumn of Logic organised by the Kurt Gödel Society. This summer school is directed towards the audience of young researchers of LATD 2020. For young researchers the summer school is covered by the registration fees of LATD 2020. For additional participants the fee is Euro 150, for Georgian participants a limited number of free registrations is provided.

Confirmed lecturers: Bahareh Afshari (University of Amsterdam), Thomas Eiter (nominated, TU Wien)
Christian Fermüller (TU Wien), Daniele Mundici (University of Florence), Norbert Preining (Accelia Inc.), James Raftery (University of Pretoria).

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 biennial International Conference on the Principles of Knowledge Representation and Reasoning (KR) is a leading forum for timely, in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge.

The International Conferences on Conceptual Structures (ICCS) focus on the formal analysis and representation of conceptual knowledge, at the crossroads of artificial intelligence, human cognition, computational linguistics, and related areas of computer science and cognitive science. The ICCS conferences evolved from a series of seven annual workshops on conceptual graphs, starting with an informal gathering hosted by John F. Sowa in 1986. Recently, graph-based knowledge representation and reasoning (KRR) paradigms are getting more and more attention. With the rise of quasi-autonomous AI, graph-based representations provide a vehicle for making machine cognition explicit to its human users. This year ICCS 2020 is a part of 'Bolzano Summer of Knowledge' which will take place in Bolzano, Italy during the month of September, 2020.

The Colloquium Logicum is organized every two years by the "Deutsche Vereinigung fuer Mathematische Logik und fuer Grundlagenforschung der Exakten Wissenschaften" (DVMLG).The conference will cover the whole range of mathematical logic and the foundations of the exact sciences. In addition to all fields of mathematical logic, this includes the philosophy of the exact sciences, logic in philosophy, and logic in computer science and artificial intelligence. In addition to the keynote talks, there will be a "PhD Colloquium" with invited presentations of excellent recent PhD graduates.

Keynote Speakers: Laurent Bienvenu (Bordeaux), Catrin Campbell-Moore (Bristol), Wesley Holliday (Berkeley), Christian Ikenmeyer (Liverpool), Angeliki Koutsoukou-Argyraki (Cambridge), Alison Pease (Dundee) and Margaret Thomas (West Lafayette).