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.

The conference will take place in Lublin at the Catholic University of Lublin (Poland) on November 29-30, 2019. The subject this year will be "Advances in Philosophical Logic". Invited keynote speakers: Valentin Goranko, Stockholm University Ondrej Majer, Czech Academy of Science Antonino Rotolo, University of Bologna Marek Sergot, Imperial College London.

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.

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 programme of the workshop ThEdu'19 was comprised of one invited contribution and four regular contributions, whose abstract are in the workshop web-page. Now postproceedings are planned to collect the contributions upgraded to full papers. We welcome submission of papers presenting original unpublished work which is not been submitted for publication elsewhere.  This is a call open for everyone, also those who did not participate in the workshop. All papers will undergo review according to EPTCS standards.

Scope: Computer Theorem Proving is becoming a paradigm as well as a technologica base for a new generation of educational software in science, technology, engineering and mathematics. Topics of interest include:
- methods of automated deduction applied to checking students' input;
- methods of automated deduction applied to prove post-conditions for particular problem solutions;
- combinations of deduction and computation enabling systems to propose next steps;
- automated provers specific for dynamic geometry systems;
- proof and proving in mathematics education.

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

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.

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.

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

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)

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.

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.

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

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 such as reactive and interactive system theory, object-oriented and concurrent programming, formal system specification, modal and description logics, artificial intelligence, dynamical systems, control systems, category theory, algebra, analysis, etc. 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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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

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

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.

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.

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

The Nederlandse Onderzoeksschool Wijsbegeerte (OZSW), or the Dutch Research School of Philosophy, was established at the end of 2012. It incorporates the former Onderzoeksschool Ethiek (OZSE). The OZSW is an initiative of 11 departments at Dutch universities doing research in philosophy. Its general purpose is to strengthen the discipline of philosophy by promoting and facilitating collaboration between the participating universities in the areas of research and the training of young researchers (PhD students and Research Master students). This annual conference is one of its activities.

Keynote speakers: Anne Phillips (London School of Economics), Barbara Vetter (Freie Universität Berlin), Pauline Kleingeld (Rijksuniversiteit Groningen) and Ruth Sonderegger (Academy of Fine Arts Vienna)

This symposium, part of the 7th annual OZSW Conference, concerns methodological reflection on computational approaches to the study of (the history of) philosophy. The goal is to discuss some state-of-the-art applications of computational methods in (historical) philosophical research and focus on their methodology. The main question of this symposium will be: What are the conditions under which computational methods can be used in philosophical research in a methodologically sound way? Additionally, it will discuss which obstacles are to be overcome for a successful use of computer methods in the research in (the history of) philosophy.

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.

 Speakers: Philip Pettit, Leon Schĺ̈üter, Philip Schink, Johannes Marx, Dominik Klein, Zoe Christoff, Erasmus Mayr, Stefan Napel, and Rudolf Scḧüssler.

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.

On 27 November 2019, the ILLC is organising a workshop and reception to celebrate Dick de Jongh's 80th birthday. The workshop will take place in the ILLC Common Room, to be followed by a Reception (in the same place). Everybody at ILLC is most welcome to attend!

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

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.

A conference in honor of Michel Balinski (1933-2019) with invited speakers covering topics such as operations research, game theory, and social choice theory.

The workshop focuses on philosophical and methodological problems connected to causal inference. The topics covered by participants range from econometric modeling to medical research. The list of participants includes Sebastian Køhlert (How Empirical is Empirical Modelling Really? On Probabilism in Econometrics), Jan-Willem Romeijn (Shrinking and extremizing: two studies in meta-analysis), and Mariusz Maziarz (How to make inferences from inconsistent empirical results?). All the participants are welcome but please register by sending an email.

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.

This conference is intended to investigate recent proposals for characterizing and solving paradoxes. More precisely, the aim is to create a bridge between the truth-theoretic, set-theoretic, and proof-theoretic traditions in the analysis of paradoxes.

MIREL-2019 workshop aims at bridging the gap between the community working on legal ontologies and NLP parsers and the community working on reasoning methods and formal logic, in line with the objectives of the MIREL (MIning and REasoning with Legal texts) project.

The workshop aims at fostering the scientific discussion between approaches based on language technologies applied to the legal domain (representing legal knowledge) and those based on legal reasoning (using the legal knowledge to build specialized services and applications).

The FSTTCS conference is a forum for presenting original results in foundational aspects of Computer Science and Software Technology.

Workshops and co-located events:
 - SAT/SMT winter school: December 8-9
 - Complexity in Algorithmic Game Theory: December 10
 - Extension Complexity and Lifting Theorems: December 14
 - Trends in Transformations: December 10
 - GALA: Gems of Automata, Logic and Algebra: December 14

Speakers: Mark Jago (Nottingham), Peter Hawke (Amsterdam / St Andrews), Aybüke Özgün (Amsterdam / St Andrews), Janneke van Lith (Utrecht), Johannes Korbmacher (Utrecht), Maria Aloni (Amsterdam).

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.

This is a project kickoff workshop.

It focuses on both the foundation of univalent mathematics and the applications of the univalent innovations.

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.

This workshop is organized by the interdisciplinary research group investigating the Structure and Development of Understanding Actions and Reasons, funded by the German Research Foundation (DFG), the Swiss National Fund (SNF) and the Austrian Science Fund (FWF).

Invited Speakers: Caroline T. Arruda, Daniel Povinelli,  Eva Rafetseder and Michael Tomasello.

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

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.

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

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.

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

Digital curation is a complex time and knowledge intensive process, in which knowledge workers create new content artifacts and knowledge insights from heterogeneous sources (content, data, knowledge). The work required for this includes, e.g., selecting, summarizing, scheduling, translating, localising, structuring, condensing, enriching, visualizing and explaining the various contents, from sources such as online newspapers, news portals, social media, linked data, business information systems, IoT data streams etc. AI, in particular from the field of language and semantic knowledge technologies, are used to support these tasks and thereby accelerate and qualitatively improve them.

The conference provides a forum on the use of digital curation technologies in application domains for, e.g., media, journalism, logistics, cultural heritage, health care and life sciences, energy, industry. Of particular relevance are papers that demonstrate the applied use of digital curation technologies and tools in domain-specific use cases and that bridge traditional boundaries between disciplines such as Artificial Intelligence and Semantic Web, data analytics and machine learning, information/content and knowledge management systems, information retrieval, knowledge discovery, and computational linguistics.

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.

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.

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.

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.

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)

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.

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.

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.

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.