The Nordic Online Logic Seminar (NOL Seminar) is organised monthly over Zoom, with expository talks on topics of interest for the broader logic community. The seminar is open for professional or aspiring logicians and logic aficionados worldwide.

This is the announcement for the next talk. Those who wish to receive the Zoom ID and password for it, as well as further announcements, can subscribe here:https://listserv.gu.se/sympa/subscribe/nordiclogic .

Our main reading is Peters, Jonas, Dominik Janzing, and Bernhard Schölkopf. 2017. Elements of Causal Inference: Foundations and Learning Algorithms. The MIT Press. [pdf]

For the next meeting, we have to read:

1) Chapter 5 "Connections to Machine Learning, I"

2) Chapter 6 "Multivariate Causal Models" until Subchapter 6.5 "Markov Property, Faithfulness, and Causal Minimality".

In 2021, the Faculty of Science organizes multiple editions of the stress relief workshop for PhDs given by a psychologist. First, you will practice some mindfulness to help you slow down and take better care of yourself. After that, you will also have time to share difficult work situations and support each other. Let's prevent the negative effects of stress together!

The ILLC Colloquium is a half-yearly festive event (either the New Year's Colloquium, the Midsummernight Colloquium or the Midwinter Colloquium) that brings together the three research groups at the ILLC. Each colloquium consists of three main talks by representatives from the Logic and Language group, the Language and Computation group and the Logic and Computation group, which are occasionally followed by Wild Idea Talks. The colloquium is concluded by a get together of the entire ILLC community.

The current organisers of the colloquium are Malvin Gattinger and Aybüke Özgün.

This talk is online, please contact the organizer for details.

Dear colleagues,

You will have noticed that due to you-know-what there has been no ILLC colloquium during this year. We do not want to let the year end without bringing the ILLC together, even if it has to be online. We will have the following programme, consisting of talks from three different research units.

- 16h00-16h30 Sandro Pezzelle (NLP&DH)

Visually-grounded semantics in human speakers and deep neural networks

- 16h30-17h00 Milica Denić (LMC)

Inferring cognitive representations underlying the meanings of numerals

- 17h00-17h30 Tobias Kappé (MCL)

Leapfrog: Certified Equivalence for Protocol Parsers

After the talks everyone is welcome to stay online - but obviously you will have to bring your own hot chocolate or beer!

To access the event, use the following link: https://uva-live.zoom.us/j/83631435297

Looking forward to see you,

The ILLC Colloquium organizers

(Aybuke and Malvin)

When mathematicians and logicians hear the term 'intuitionism' they often think about the law of excluded middle, weak proof systems, and Heyting's formalisation of his teacher's philosophy. In this talk we will look at Brouwer's philosophy and mathematics of intuitionism, tracing some of the philosophical underpinnings, and motivating his mathematical results with contemporary mathematical tools. In it, we emphasise Brouwer's attempt to undermine the place of logic in the foundation of philosophy, replacing it with a special notion of 'intuition'.

A lot has been written on solutions to the semantic paradoxes but very little on the topic of general theories of paradoxicality. The reason for this, I believe, is that in most cases it is not easy to disentangle a solution to the paradoxes from a specific conception of what those paradoxes consist in. In this talk I want to do things differently. I will first address the question of what one should expect from a theory of paradoxicality. Then I will present and critically evaluate a number of theories that have been offered in the literature. The main claim I want to make is that, in many respects, these theories needn’t be seen as competing with one another. This is joint work with Camila Gallovich.

Main reading: Peters, Jonas, Dominik Janzing, and Bernhard Schölkopf. 2017. Elements of Causal Inference: Foundations and Learning Algorithms. The MIT Press.

For the next meeting, we have to:
- Work on the problems of Chapter 3.5 "Problems" (pp. 39-41)For programming, prefer R.Submit solutions to the drive file [link in our website], so that others can access them for discussion.
- Read Chapter 4 "Learning Cause-Effect Models" (pp. 43-70)

At the beginning of the meeting, Matt will give a 10' presentation on the main arguments of the Dawid (2021) and Janzing et al. (2016) papers in the "Suggested Readings" [see website].

Michael Franke's talk at the DIP Colloquium, originally scheduled for tomorrow, is cancelled. We hope to reschedule it for some time in the Spring (date TBD), and to see Michael very soon!

In his pioneering ‘Truth and Probability’ (1931), Frank Ramsey sets out an influential account of the nature, measurement, and norms of partial belief. The centrepiece of this work is a representation theorem that allows Ramsey to construct a unique probability function representing an agent’s subjective degrees of confidence. In many ways, this marks the birth of decision theory as a field and the birth of the subjective interpretation of probability. In this expository talk we will examine the philosophical background underlying Ramsey’s goals in this work, we will re-construct the main formal moves Ramsey makes in proving his representation theorem and finally, we will criticise some of the philosophically contentious assumptions that permeate throughout ‘Truth and Probability’ (1931). Taking a broader perspective, representation theorems are the underbelly of much work in theoretical economics, the underbelly behind claims like ‘humans are rational’. This talk will give a first-hand look at (just) one such representation theorem, but the illustrative purposes this will serve will hopefully be felt by anyone who is a slave of some defunct economist. Which, if some are to believed, includes all of us.

To mark the occasion of Sirin Botan's PhD defense, we are organising a one-day workshop in the centre of Amsterdam.

This talk is on MS Teams, please contact the organizer for details.

The Nordic Online Logic Seminar (NOL Seminar) is organised monthly over Zoom, with expository talks on topics of interest for the broader logic community. The seminar is open for professional or aspiring logicians and logic aficionados worldwide.

This is the announcement for the next talk. Those who wish to receive the Zoom ID and password for it, as well as further announcements, can subscribe here: https://listserv.gu.se/sympa/subscribe/nordiclogic .

For our next meeting, we have to read Chapter 4 "Learning Cause-Effects Models" and work on the problems of chapter 3.5 "Problems". If you want to use programming, prefer R.

Two times a year Quantum.Amsterdam organises the Big Meetup. This time

four speakers will give special attention to Quantum Education. Each

speaker with his or her own expertise, varying from high school education,

towards MSc programs and courses for business, will give answer to the

question: "How to build the Future Quantum Workforce?"

Speakers:
- Jacob Sherson, Professor (Aarhus University / EU Quantum Flagship)
- Miriam Blaauboer, Associate Professor (Delft University of Technology)
- Koen Groenland, Quantum Innovation Officer (QuSoft / Quantum.Amsterdam)
- Henk Buisman, High school liaison Physics & Astronomy (Leiden University)

Students of the MoL are arranging a reading group to explore the collective corpus of Elizabeth Anscombe, Philippa Foot, Mary Midgley and Iris Murdoch, a quartet of philosophers who met and became friends at Oxford University during WWII. We would be charting, through scholarly and archival work, the distinctive methodology, philosophical attitude and metaphysics of the school in order to demonstrate the transformative potential of its philosophy.

Meetings will be held in Amsterdam on Fridays at 19:00 on a bi-weekly basis. Please join our Discord channel at https://discord.gg/afMphHdr if you wish to attend. To learn more about the reading group material and the proposed schedule, see https://www.womeninparenthesis.co.uk/curated-resources/reading-groups/reading-group-schedule/.

In his seminal 1936 paper "On the Concept of Logical Consequence", Tarski provides a notion of logical consequence which has become standard in analytic philosophy today. Tarski argues that logical consequence is independent of the meanings of non-logical terms, on the grounds that a logical inference cannot rely on any empirical knowledge of the objects referred to. Accordingly, he defines a logical consequence relation which is insensitive to the meanings of the non-logical vocabulary. In this talk, I will closely scrutinise Tarski’s original reasoning. I will then give an alternative notion of logical consequence in natural language, which is entirely sensitive to the meanings of the terms involved. I argue that the alternative notion is both interesting and fruitful, in that it captures certain inferences not reckoned as ‘logical’ by the traditional notion, thus broadening the scope of logic.

We are happy to announce the 'Cross-Alps Logic Seminars', a series of talks jointly organized by the logic groups of Genoa, Lausanne, Turin and Udine. We are going to meet every Friday at 16.00 from November 5th to December 17th. The seminars are going to be varied, with topics from all areas of logic, and will be held by international guests and members of our groups. All seminars can be followed remotely on the WebEx platform.

Do you want to communicate about your research to non-scientists, but are you unaware of the options to reach out to a broader audience? What type of help does the UvA offer, and what can you do yourself? These are the topics we’ll explore in this workshop on the basics of science communication.

This talk will also be broadcast on Microsoft Teams. Contact the organizer for details.

The reading group is about the book: Peters, Janzing & Schölkopf (2017), Elements of Causal Inference: Foundations and Learning Algorithms, The MIT Press. The book "teaches readers how to use causal models: how to compute intervention distributions, how to infer causal models from observational and interventional data, and how causal ideas could be exploited for classical machine learning problems". It can be openly accessed from the publisher's website.

For our first meeting, we have to read the first three chapters:
1. Statistical and Causal Models (pp. 1-14)
2. Assumptions for Causal Inference (pp. 15-32)
3. Cause-Effect Models (pp. 33-42).

The reading group is held under the supervision of Dr. Katrin Schultz and is organized along with Evan Iatrou (MoL student, evangelos.iat at gmail.com).

(joint work with Fabio Aurelio D’Asaro)

Abstract: What is the nature of one’s justification to use a logical principle such as Modus Ponens in reasoning? It is widely agreed amongst epistemologists of logic that such justification cannot be internalist. One key reason offered for this view is that internalist accounts of justification are susceptible to Carroll-style regresses. In this talk, I examine this claim and argue that internalist accounts of justification are not open to such regresses. I further argue that the sorts of externalist accounts of the justification of logical principles typically put forward as alternatives are inadequate.

Please contact the organizer to join this online meeting.

This lecture will be an introduction to the theory of judgment aggregation (JA). JA deals with the problem of combining the views of several individual agents regarding the truth of a number of propositions, expressed in the language of logic, into a single such view that appropriately reflects the stance of the group as a whole. Applications of JA range from aggregating the opinions of several judges in a court of law into a single legal opinion, all the way to aggregating information received from several autonomous software agents in the context of distributed computing systems.

The Nordic Online Logic Seminar (NOL Seminar) is organised monthly over Zoom, with expository talks on topics of interest for the broader logic community. The seminar is open for professional or aspiring logicians and logic aficionados worldwide.

This is the announcement for the next talk. Those who wish to receive the Zoom ID and password for it, as well as further announcements, can subscribe here: https://listserv.gu.se/sympa/subscribe/nordiclogic .

This workshop is organized by the MECORE project, a collaboration between the ILLC, the University of Edinbugh and the University of Konstanz on the semantics of clause-embedding.

MoL students graduating in the current semester will present their ongoing thesis projects to the ILLC community.

In October this year Cambridge University Press will publish The Compositional Nature of Tense, Mood and Aspect, written by Henk Verkuyl (UiLOTS, Utrecht). The title of this book clearly alludes to the PhD defended in Utrecht on Friday 15 October 1971, called On the Compositional Nature of the Aspects. It was published in 1972 without substantial corrections. The fact that October 15 this year will fall on a Friday was such a nice coincidence that it was impossible to escape from the idea that the book could be presented on that very day in a celebratory setting of some sort, exactly fifty years later. This has been developed into the more concrete idea of a workshop with distinguished speakers working in the domain of tense, aspect and mood who could connect their contribution to topics broached in the new book. The book addresses both linguists and logicians, so we are happy that UiLOTS (Utrecht) and ILLC (Amsterdam) have joined forces in organizing this workshop.

Abstract: Recent works about ecumenical systems, where connectives from classical and intuitionistic logics can co-exist in peace, warmed the discussion of proof systems for combining logics, called Ecumenical systems by Prawitz and others.

In Prawitz’ system, the classical logician and the intuitionistic logician would share the universal quantifier, conjunction, negation, and the constant for the absurd, but they would each have their own existential quantifier, disjunction, and implication, with different meanings.

We extended this discussion to alethic K-modalities: using Simpson’s meta-logical characterization, necessity is shown to be independent of the viewer, while possibility can be either intuitionistic or classical.

We furthermore proposed an internal and pure calculus for ecumenical modalities, where every basic object of the calculus can be read as a formula in the language of the ecumenical modal logic.

(joint work with Elaine Pimentel, Luiz Carlos Pereira, and Emerson Sales, partially published in the proceedings of Dali’20 and WoLLiC’21)

On Thursday October 7th at 12:00 a new online edition of the IoP (Institute of Physics) Career Lunch will take place.

Your career after a PhD or postdoc might not be a topic you often think about, but it is important! Most PhD students and postdocs will not end up working as a scientist at a university, but what are your options outside academia? These career lunches are organized to help orient yourself on possible career paths. During the event, two invited guests will share their career story and in moderated sessions they will answer your questions about what it is like to work as a PhD graduate in a non-academic environment.

Students and staff with disabilities and/or chronic diseases have experienced some positive sides of the pandemic: traveling to campus was unnecessary and some developed more focused working habits. The FNWI Diversity Sounding Board and Diversity Office is convinced that we all can learn from their experience, also as we are now returning to pre-lockdown conditions. You are invited to join the discussion round on Diversity Day 2021, where some working experiences will be presented, and you are welcome to share your own lessons.

The buurtbudget, known as participatory budgeting in English, is a democratic process aiming at involving citizens in public spending decisions. In several neighborhoods of Amsterdam, residents already can vote for community-driven projects to be paid for from public funds. However, organizing this process is not straightforward, especially when it comes to making a decision based on the ballots that have been submitted. During this talk, we will see why some natural procedures to determine the winning projects suffer major drawbacks and how to circumvent those drawbacks.

Tellen kunnen we bijna allemaal. Toen ik jong was leerde ik vleermuizen tellen met Graaf Tel. Nu ik wat ouder ben tel ik examens die ik moet nakijken. Maar wat is tellen eigenlijk? En is tellen wel zo kinderlijk eenvoudig als het lijkt? In dit praatje denken we na over de dingen die we tellen en hoe tellen zich verhoudt tot de concepten die we gebruiken. We zullen zien dat tellen met verschillende filosofische puzzels samenhangt en dat het zelfs een verschil van drie-en-een-half miljard dollar kan maken.

Discover more about the secrets of the universe or the surprising properties of smart materials during the Amsterdam Science Park open day. Or take a look behind the scenes, for example in the greenhouses of the University of Amsterdam during a guided tour.

After a year in which the Open Day could not take place due to coronavirus, this year a hybrid form has been chosen, partly in-person and partly online. On October 2nd, there will be live lectures at the Science Park at various locations, and tours for small groups.

The Nordic Online Logic Seminar (NOL Seminar) is organised monthly over Zoom, with expository talks on topics of interest for the broader logic community. The seminar is open for professional or aspiring logicians and logic aficionados worldwide.

In the academic year 2021-2022, the Vossius Center will launch a close reading group with a focus on epistemology. We will read and discuss texts that the members of the group find relevant and interesting. Meetings will, ideally, take place on location, and there will be no presentations, just questions and discussion.

As a text to start with, we propose the recently translated On Logic and the Theory of Science (1942, Engl. Trans. with Urbanomic & Sequence Press, 2021) by Jean Cavaillès. The first discussion topic will be chapter 1 of this book (pp. 39-69).

Please join us for an online workshop on Stereotypes in Language which will be held on the afternoons of September 15th and September 17th, 2021. The workshop will feature talks from linguists, psychologists and NLP researchers and aims to discuss current research on stereotypes from a diversity of view points.

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.

The circumstances around the coronavirus (COVID-19) pandemic forced the organizers to postpone the 32nd edition of ESSLLI, planned for 2020 in Utrecht as ESSLLI-2020, to 26 july-13 august 2021, as well as hold it online. In view of the online format, the program is spread over three weeks so as to facilitate attendance.

Logic is not merely the study of different forms of reasoning, but also a powerful tool for representing and analyzing diverse phenomena. This course, at the summer school of the Vrije Universiteit Amsterdam, provides an introduction to logic and its application to a variety of fields, from computer science to linguistics and the social sciences. Throughout the course, we will encourage students to think about how they can apply logic to other disciplines they are interested in and discuss their ideas with lecturers and peers based on the information in the tutorials.

From 5-9 July 2021, Leiden University will organize a summer school for researchers who want to learn about communicating science to diverse audiences. The summer school is aimed at PhD students, postdoc and other early career researchers in the natural sciences and related fields. Registration is open until April 16 2021 through a registration form on the web page.

The ABC Networking Event provides you with the opportunity to discover all research treasures that ABC holds, and connect with other ABC researchers. All researchers (PhDs, post-docs,  assistant/associate/full professors) are invited to attend and actively participate.

The Networking Event will consist of:

• ABC Pitch talks: Flash talks that are all about getting to know each other, to foster fresh collaborations, and, possibly, to team-up for grant proposals. In small groups you present your research and/or listen to and discuss all the great research ABC has to offer.
• Networking session: in an informal atmosphere, the discussions continue in break-out rooms. These are small gatherings focused on a certain topic or just to get to know each other, it’s up to you!

A hybrid evening of research, music, and emotion. Honorary Frijda Chair holder Prof. dr. David Huron guides us through the science of sad sounds, addressing two questions:
 - What makes something sound sad?
 - And how is it that listening to sad music can be enjoyable?
Enriched by an interdisciplinary panel discussion, and accompanied by a measured dose of sad music.

Any Boolean function can in principle be decomposed into elementary logical gates, such as AND, OR and NOT, that act only on one or two bits at a time. Similarly, any operation on a quantum computer can be broken up into elementary gates that act only on one or two qubits at a time. I will explain how this works and what consequences this has for quantum algorithm design.

Traditional epistemic logic often comes without any notion of evidence and renders belief and knowledge susceptible to logical omniscience. I present an approach that defines belief and knowledge based on hyperintensional evidence, which comes with a notion of evidential aboutness and gives rise to more realistic epistemic agents.

Zoom ID TBA.

Zoom link: https://uva-live.zoom.us/j/86936186858

Zoom link: https://uva-live.zoom.us/j/83100972302

The EXPRESS-IHPST workshop online workshop Truth, proof and communication, jointly organised by the European Research Council project EXPRESS (grant agreement no. 758540) and the IHPST, brings together researchers from the ILLC at the University of Amsterdam and IHPST, UMR 8590, CNRS and Université Paris 1 Panthéon-Sorbonne. It will take place on 21-22 June from 14 to 18 in the afternoon, and will consist of three talks per day. Each talk will last 60 minutes including discussion, and coffee breaks are planned in between talks. Attendance is free and everybody is welcome. The registration form can be found on the website.

Speakers: Aybüke Özgün (ILLC, Amsterdam); Francesco Genco (IHPST, Paris); Leïla Bussière-Caraes (ILLC, Amsterdam); Yuta Takahashi (IHPST, Paris); Giorgio Sbardolini (ILLC, Amsterdam); Francesca Poggiolesi (IHPST, Paris).

Zoom link: https://uva-live.zoom.us/j/84765092578

The Nordic Online Logic Seminar (NOL Seminar) is organised monthly over Zoom, with expository talks on topics of interest for the broader logic community. The seminar is open for professional or aspiring logicians and logic aficionados worldwide.

If you wish to receive the Zoom ID and password for the talk, as well as further announcements, please subscribe here: https://listserv.gu.se/sympa/subscribe/nordiclogic .
Val Goranko and Graham Leigh, NOL seminar organisers

Abstract: I present some applications of logical methods (in particular, of so-called dynamic epistemic logics) to the study of emergent phenomena in groups of `agents', capable of reflection, communication, reasoning, argumentation etc.The main focus on the understanding of belief/preference formation and diffusion in social networks, and on how this affects the group's ``epistemic potential": the ability of the agents to track the truth of the matter (with respect to some given relevant topic). While in some cases, ``wisdom of the crowds" can increase the epistemic potential, in other situations the group's dynamics leads to informational distortions (-- the ``madness of the crowds": cascades, ``groupthink", the curse of the committee, pluralistic ignorance, group polarization, doxastic cycles etc). I explain how logic (in combination with probabilistic methods) can be used to provide some explanations for both types of situations, as well as to suggest some partial solutions to informational distortions.

From 14-24 June 2021 an impressive cast of international lecturers, from a wide range of disciplines, will try to unravel our capacity for music. Students will, next to attending lectures, work groups and online social events, work in groups with a designated tutor on a research project, within the broad topic of musicality, which they will present towards the end of the Summer School. Organized by Prof. Henkjan Honing and the Music Cognition Group.

Understanding dynamical systems is a fundamental problem for the 21st century. Despite the prima facie differences and purposes of many real-world networks, previous research shows several universal characteristics in networks properties such as the small-world phenomenon, fat-tail degree and feedback loops. This has led to the common but often implicit assumption that the connectedness of a node in the network is proportional to its dynamic importance. For example in epidemic research, high degree nodes or "super-spreaders" are associated to dominant epidemic risk and therefore deserve special attention. Yet prior research shows that the shared universality in network characteristics is not shared in the dynamic or functional properties of many real-world systems.

In this talk I will explore the relation between local interactions and macroscopic properties of a system through the lens of statistical physics and information theory. In particular, I will show novel methods on determining the so-called driver node in complex systems, and how tipping points can be studied from an information theoretical perspective. (website + slides: https://cvanelteren.github.io/talk/diep2021/)

Abstract:

While possible worlds can be seen as the semantic backbone of epistemic logic, they can be tedious to deal with. In this talk I introduce epistemic presentations, a kind of structure wherein "issues on the table" are primitive objects and possible worlds are only derivative. In addition to be more flexible, these models lend themselves to an interesting algebraic approach and provide inspiration for new dynamic operators.

Location:

We have a room in the big building of Science Park (house 904, room SPC1.110) with corona capacity 44. The talk will also be streamed live on Zoom. For the Zoom address, please email coollogic.uva at gmail.com.

The ability to think about non-actual possibilities is crucial for rational decision and action. When deciding what to do in situations of uncertainty or risk, we use our powers of imagination and conception to surveil the ways the world might be for all we know, and ponder the possible consequences of our actions. What is the logic of conceivability? Do thinking and imagining exhibit sufficient structure so to be amenable to precise modeling? Under what conditions does an imaginative episode establish a non-actual scenario as a real possibility? What are the special features of thought, talk and knowledge about mere possibility and conditionality? The aim of this conference is to facilitate the conversation on these questions by bringing together both senior and rising young researchers from around the world.

Unfortunately the speaker had to cancel today's DIP Colloquium, due to coming down with a (non-covid) fever. We hope to have Madgalena Kaufmann present sometime in the next semester.

The aim of this talk is to present a comprehensive classification of the main entropic forms introduced in the last fifty years within statistical physics and information theory and to review the fundamental questions about the meaning of information. I will particularly focus on axiomatic approaches to the characterization of various generalizations of the Shannon entropy, such as the Rényi, the Tsallis, the Sharma-Mittal, and the Sharma-Mittal-Taneja entropies, as well as the more general classes of pseudo-additive entropies with a well-defined mathematical and information theoretic structure. Finally, I will point out possible applications of these measures in communication theory, statistical inference and complex systems modeling.

To mark its relaunch the VvL (Dutch Association for Logic and Philosophy of Exact Sciences) has the privilege to announce its first outreach event in 2021. It will take place on Friday 28 May 2021. We are very pleased to announce that Professor Moshe Y. Vardi (Rice University) will give a public lecture entitled And Logic Begat Computer Science.

This event will take place online using Zoom. The talk will be followed first by a short session where invited commentators will react to it, and later by a general Q & A session with the audience. The outreach event will be concluded by a social gathering on the virtual platform Gather.Town.

Registration is free, but necessary to receive links to Zoom and Gather.Town.

In this roundtable conversation, part of the Humane AI conversation series, Beate Rössler, Raquel Fernández and Max Welling will discuss topics related to AI ethics in teaching and research, moderated by Natali Helberger.

In this talk we will present a number of results stemming from a computational model of collective attitude formation through a combination of group deliberation and aggregation. In this model the participants repeatedly exchange and update their preferences over small sets of alternatives, until they reach a stable preference profile. When they do so the collective attitude is computed by pairwise majority voting. The model shows, on the one hand, that rational preference change can fill an existing gap in known mechanisms purported to explain how deliberation can help avoiding incoherent group preferences. On the other hand, the model also reveals that when the participants are sufficiently biased towards their own opinion, deliberation can actually create incoherent group rankings, against the received view. The model suggests furthermore that rational deliberation can exhibit high levels of path dependencies or "anchoring", where the group opinion is strongly dependent on the order in which the participants contribute to the discussion. We will finish by discussing possible trade-offs between such positive and negative features of group deliberation.

Contact the organizer for information about how to join the online meeting.

The Nordic Online Logic Seminar (NOL Seminar) is organised monthly over Zoom, with expository talks on topics of interest for the broader logic community. The seminar is open for professional or aspiring logicians and logic aficionados worldwide.

The full announcement for the next talk can be found in the link below. If you wish to receive the Zoom ID and password for it, as well as further announcements, please subscribe here:https://listserv.gu.se/sympa/subscribe/nordiclogic .

Val Goranko and Graham Leigh, NOL seminar organisers.

As in previous editions, the purpose of this meeting is to inform you about issues that are currently of importance in the ILLC and/or the Master of Logic programme. We will also use this opportunity to welcome new members of staff and to provide you with an update about upcoming and other plans.

LoC online seminar session on Wednesday, May 12 : Graham Priest on Mission Impossible.

The weekly social event for PhD students, postdocs, and generally non-permanent research people at the ILLC is still on-going. Please feel free to join us! We meet for roughly 45 minutes and have an open informal discussion, often featuring a short (generally non-academic) presentation by one of the attendants on a topic of their choice.

Zoom url: https://uva-live.zoom.us/j/85133392465.

Contact the organizer to join this online seminar.

Contact the organizers for more information about how to join this online talk.

The Nordic Online Logic Seminar (NOL Seminar) is organised monthly over Zoom, with expository talks on topics of interest for the broader logic community. The seminar is open for professional or aspiring logicians and logic aficionados worldwide.

The full announcement for the next talk can be found in the link below. If you wish to receive the Zoom ID and password for it, as well as further announcements, please subscribe here: https://listserv.gu.se/sympa/subscribe/nordiclogic .

Val Goranko and Graham Leigh, NOL seminar organisers.

Prof. Robert Brandom holds the Spinoza Chair at the Department of Philosophy in the Faculty of Humanities during the second term of the academic year 2020-2021. Prof. Brandom will be delivering the Spinoza Lectures under the title of 'Fetishism, Anti-Authoritarianism, and the Second Enlightenment: Rorty and Hegel on Representation and Reality.'

Prof. Robert Brandom holds the Spinoza Chair at the Department of Philosophy in the Faculty of Humanities during the second term of the academic year 2020-2021. Prof. Brandom will be delivering the Spinoza Lectures under the title of 'Fetishism, Anti-Authoritarianism, and the Second Enlightenment: Rorty and Hegel on Representation and Reality.'

[Dutch only]

Artificiële intelligentie moet ons leven verrijken, maar er niet mee aan de haal gaan. Het moet zich houden aan door mensen gehanteerde logica en principes voor rationaliteit, moraliteit en consistentie. Kortom, wij willen machinaal handelen kunnen begrijpen en sturen. Mens en machine moeten elkaar in voldoende mate verstaan om op de gewenste manier met elkaar om te gaan.

Vier sprekers (Catholijn Jonker, Jan Broersen, Rineke Verbrugge en Bart Jacobs) leggen uit welke rol logica, in combinatie met probabilistisch denken, speelt in het onderzoek naar de vervulling van deze wensen.

The conferencewill feature short talks from six leading experts in mathematical psychology, cognitive modelling, and psychological methods.Talks will be approximately 20 minutes long,with 10 minutes for questions and discussion. Attendance is free and open to everyone. However, as this is intended as an expert meeting, some familiarity with computational modelling and psychological methods will be assumed.

Rosalie Iemhoff's talk on 'Proof-Theoretic Formalization' has been postponed. The new
date is to be announced.

Please contact the organizer if you would like to join the online meeting.

This talk is online, please contact the organizer to join.

As a young mathematician, Brouwer gained prominence by proving a number of fundamental theorems in topology, the most famous of which is his eponymous fixed point theorem. However, Brouwer would later come to reject this theorem as not intutionistically acceptable. In this talk, I will (briefly) sketch the proof of Brouwer's fixed point theorem as it is given in most textbooks, and present an alternative, 'almost constructive' proof based on Sperner's lemma. I will also discuss how this second proof can be used to obtain intuitionistically valid variants of the fixed point theorem.

Zoom link: TBA. Please check website - Zoom link will be provided the day before.

In many languages grammatical relations are to some extent lexically restricted, in the sense that certain verbs or verb classes take different argument coding frames than others. While such constraints are well studied for case marking, they have also been reported for grammatical relations defining other types of constructions, including a range of voice- and valency-related constructions and some clause-combining constructions. This hybrid (on-line/on-site) workshop aims to unite scholars from different (sub)disciplines, bringing together descriptive, comparative, corpus-based, and experimental studies, as well as studies that compare linguistic data with genetic and/or socio-historical evidence. Together, we hope to further our understanding why lexical restrictions should exist, how they are processed and acquired, and why/how/where they persist in languages.

Weekly social event for PhD students, postdocs, and generally non-permanent research people at the ILLC. Meetings last between 30 and 45 minutes and feature a short (generally non-academic) presentation by one of the attendants on a topic of their choice followed by an open informal discussion.

Zoom link: https://uva-live.zoom.us/j/85133392465

Contact the organizer to join the talk on Microsoft Teams.

The Nordic Online Logic Seminar (NOL Seminar), will be organised monthly over Zoom, with talks on logic topics of interest for the broader logic community.
The first talk will be given by Dag Prawitz on Monday, March 22, 16.00-17.30 (UTC+1).

Professor Joel David Hamkins from the University of Oxford will be at Φ-Math to present his upcoming book Lectures on the Philosophy of Mathematics. The presentation will contain an overview of the book's contents and motivation with a focus on selected philosophical problems tackled in it, followed by a discussion/questions from attendants.

All human societies have languages capable of expressing the richness of human thought. To what extent is this achievement an historical accomplishment, similar to mathematics or science, and to what extent does it rely on our evolved cognitive capacities? I study these questions by looking at language creation in different communities, including Nicaraguan Sign Language (a new language only 50 years old), homesign systems, and laboratory-created communication systems. I will present results on how a new language comes to have recursion and quantifiers like “some” and “all." In both cases, I find evidence for rapid emergence of linguistic structure within a few generations. One possible explanation for these findings is that features that emerge early are those that reflect underlying shared semantic structures that are universal (or nearly) in languages. In contrast, the features that emerge later (e.g., grammatical morphology) may be those that vary across languages and require convergence and iterated learning.

This talk will be given in American Sign Language (ASL) and interpreted into English. If anyone would like to attend the talk and have it interpreted in Sign Language of the Netherlands (NGT), please send an email to F.Roelofsen at uva.nl in advance and we will do our best to arrange an NGT interpreter.

Type systems are a useful tool to prevent programmers from making obvious mistakes, but they are generally quite limited in what they can describe. We've taken a look at a session types, a type system aimed at describing communication protocols, and checking that programs adhere to these protocols. Where previous work on session types has treated them as syntactical objects, we find that protocols have a natural notion of state and characterize them as coalgebras, i.e., state-based machines. In doing so, we retrieve natural definitions for type-equivalence, subtyping and duality of types as coinductive relations between states. In my talk I'll explain what session types are and present our syntax-free description of protocols as states of a coalgebra (without assuming prior knowledge of coalgebras).

Zoom Meeting ID: 878 6558 7983 (link: https://uva-live.zoom.us/j/87865587983)

Originally scheduled speaker: Justin Clarke-Doane (Columbia) on "Russell’s Regressive Method in Mathematics and Philosophy"

Prof. dr. Sonja Smets (Institute for Logic, Language and Computation):
"When agents learn new information they have to be very careful, because the fact of learning information may interfere with the reality that is being learned."
Interviewed by: Dr. J. Ashley Burgoyne (Amsterdam Music Lab).
Zoom link: https://uva-live.zoom.us/j/82520968502

Over the last decade, advances in machine learning have taken the computer science community by storm, enabling new applications and pushing the envelope on existing ones. Even on tasks that are traditionally viewed as falling in the domain of logical reasoning (e.g., reading comprehension tasks), deep neural models are now the state-of-the-art. Furthermore, logic and learning are perceived by some as being distinct or even opposing approaches. At the same time, while various algorithmic and hardware limitations that inhibited deep learning solutions in the past have been successfully addressed, other fundamental problems arise, such as problems concerning fairness, explainability, and controllability. In this talk, I will discuss a few problems at the intersection of machine learning and logic, including providing deep models with means to access structured knowledge.

Zoom link: https://uva-live.zoom.us/j/82670894282

This talk will take place on Microsoft Teams. Contact the organizer for more details.

Zoom link: http://bit.ly/comsoc-illc-21-03-04

The student-run ILLC talk series Cool Logic has been revived and will, for the first time this year, take place on Wednesday, Feb 17 in the time slot that is usually occupied by the MoL Graduation Trajectory. There will be a talk by Paul Maurice Dekker (abstract below), followed by a round of questions and discussion. Afterwards, there will be a presentation by Giovanni Cina on internship opportunities at the Amsterdam-based company Pacmed.

Zoom link: https://uva-live.zoom.us/j/81396779133

This semester, the EXPRESS Seminar is joining forces with the PHILMATH Seminar in Paris. Our first speaker will be Greg Restall on "An Inferentialist Account of Identity and Modality".

The P vs. NP problem, one of the seven Millenium Problems, is one of the most relevant unsolved questions in theoretical computer science. The progress in the last decade, however, has been little. Can information theory and philosophy of information provide new insights as to why these classes should be distinct (or the same)? Pieter Adriaans will be offering a talk on the subject, followed by a discussion.

CWI is counting down to its 75th anniversary and kindly requests you to save the date: on 11 February 2021 we will celebrate our jubilee with a special online event.

Preliminary programme:
14.00 Opening
14.10 Breakout sessions round 1: Daniel Dadush, Marten van Dijk, Benjamin Sanderse, Irene Viola
14.40 Ton de Kok
15.00 Break
15.10 Breakout sessions round 2: Peter Bosman, Stacey Jeffery, Lisa Kohl, Hannes Muhleisen
15.40 Jos Baeten
16.00 Comedian Adam Fields
16.35 Closing
Chair of the day is Ans Hekkenberg.

On 11 February 2021, it’s time for ‘Faces of Science Park: Sense of Belonging in Times of Crisis’. On this day we will reflect on the diversity within the Faculty of Science and within the university. On this day, we welcome students and staff of the Faculty of Science to talk and think about diversity.

This talk will take place in Microsoft Teams. Please contact the organizer for information about how to join the talk.

What is your position on Future Societies? At Synergy ’21 we will explore Future Societies from the perspective of the individual and the collective, moving through the development of new interactions and communities, to perspectives on the future of humanity in a posthuman society. Synergy ’21 will underscore the significance and relevance of scientific research and knowledge development that will affect our shared future.

This talk will take place online in MS Teams, please contact the organizers for more information.

Abstract:
A stereotype is a generalization about a class of people but does not necessarily represent every individual with the group (McCauley, Stitt, & Segal, 1980). Category information (i.e., stereotype information) is often used to make probabilistic predictions about people within a particular group. For instance, a probabilistic judgement about Germans would be that, “Germans are more likely than other people to be efficient.” Here we are making a prediction about an individual’s personality (i.e., efficiency) based on their group membership (i.e., German). McCauley and Stitt (1978) suggest that people are accurately Bayesian in their judgements and tend to make probabilistic judgements about people’s personality based on stereotype information. The current project aims to replicate the original McCauley and Stitt (1978) work to test whether stereotype prediction from category information to personality adheres to Bayes’ rule.

Our Philosophy of Mathematics Reading Group has the honor to start 2021 by hosting Luca Incruvati presenting his 2020 book 'Conceptions of Set and the Foundations of Mathematics' published by the Cambridge University Press. The book is accessible from the UvA Library.

Book Summary: Sets are central to mathematics and its foundations, but what are they? In this book Luca Incurvati provides a detailed examination of all the major conceptions of set and discusses their virtues and shortcomings, as well as introducing the fundamentals of the alternative set theories with which these conceptions are associated. He shows that the conceptual landscape includes not only the naïve and iterative conceptions but also the limitation of size conception, the definite conception, the stratified conception and the graph conception. In addition, he presents a novel, minimalist account of the iterative conception which does not require the existence of a relation of metaphysical dependence between a set and its members. His book will be of interest to researchers and advanced students in logic and the philosophy of mathematics.

Abstract: Logic started as a branch of philosophy, going back to Greeks, who loved debates, in the classical period. Computers are relatively young, dating back to World War II, in the middle of the 20th century. This talk tells the story of how logic begat computing, tracing the surprising path from Aristotle to the iPhone. This is a story full of both intellectual drama, as well as real-life drama, with most of the characters dying young, miserable, or both.

The talk is part of a series of World Logic Day events and is aimed at a general audience.

The talk is now available online at https://www.youtube.com/watch?v=wOQuW6QFdos&feature=youtu.be

This talk will take place in Microsoft Teams. Please contact the organizers in order to be added to the TULIPS 'team'.

Computational linguistics studies natural language in its various manifestations from a computational point of view, both on the theoretical level (modeling grammar modules dealing with natural language form and meaning, and the relation between these two) and on the practical level (developing applications for language and speech technology). Right from the start in the 1950s, there have been strong links with computer science, logic, and many areas of mathematics - one can think of Chomsky's contributions to the theory of formal languages and automata, or Lambek's logical modeling of natural language syntax. The symposium assesses the place of logic, mathematics, and computer science in present day computational linguistics. It intends to be a forum for presenting new results as well as work in progress.

The symposium focuses mainly on logical approaches to computational processing of natural language, and on the applicability of methods and techniques from the study of artificial languages (programming/logic) in computational linguistics. We invite participation and submissions from other relevant approaches too, especially if they can inspire new work and approaches.

LACompLing2021 is part of the week "Mathematical Linguistics (MALIN) 2021"

The relationship between mathematics and science continues to be of considerable philosophical interest. Within contemporary philosophy of science, for example, pinpointing the exact role of mathematics in the sciences remains a hotly debated issue. Does mathematics play a mere inferential role in that it allows for the derivations of one substantial truth from another or is mathematics more than a 'theoretical juice-extractor'? Are there distinctive mathematical explanations of physical phenomena? Similar questions can be asked about the role of logic in science.

These issues connect with discussions within the philosophy of mathematics (and the philosophy of logic) concerning the nature of mathematics (or logic). Within the philosophy of mathematics, Platonists, nominalists and structuralists consider mathematics to be fundamentally different in kind from empirical science, while empiricists have argued that mathematics is, just like other sciences, fundamentally about aspects of the empirical world. Different positions within the debate about the nature of mathematics will, arguably, lead to different answers to the question as to how mathematics and science are related.

In this workshop we want to focus on how these different philosophies of mathematics fare in giving an account of mathematical practice and the role of mathematics in scientific practice.

The 21st Trends in Logic international conference will be held at Ruhr University Bochum, Germany, from December 6-December 8, 2021 under the title 'Frontiers of connexive logic'. It is organized by the chairs of Logic and Epistemology and Nonclassical Logic at the Department of Philosophy I of Ruhr University Bochum, in co-operation with Studia Logica.

Modern connexive logic started in the 1960s with seminal papers by Richard B. Angell and Storrs McCall. Systems of connexive logic have been motivated by considerations on a content connection between the antecedent and succedent of valid implications and by applications that range from Aristotle's syllogistic to Categorial Grammar and the study of causal implications. As we are observing some growing interests in topics related to connexive logics, after six annual workshops, the Trends in Logic XXI aims at discussing directions for future research in connexive logics.

The objectives of this new international workshop are:
1. to bring together practitioners and researchers from academia, industry and research institutions who are interested in the foundations and applications of cognition from the perspective of their areas of expertise and aim at a synergistic effort in integrating approaches from different areas;
2. to nurture cooperation among researchers from different areas and establish concrete collaborations;
3. to present formal methods to cognitive scientists as a general modelling and analysis approach, whose effectiveness goes well beyond its application to computer science and software engineering.

Keynote speaker: Martin Davis (New York University, USA) on "The Brain As a Computer".

The workshop will bring together researchers on proof theory and its applications through a series of invited and contributed talks as well as panel discussion.

Confirmed speakers include Eduardo Fermé, David Fernández Duque, Stepan Kuznetsov, Fedor Pakhomov, Michael Rathjen, and Andrei Voronkov. The event will be attending-only and shall not be streamed online.

The relationship between mathematics and social ontology is often guided by the question of the possibility of applying mathematics to social sciences, especially economy. As interesting as these questions may be, they neglect the inverse possibility of applying a conceptual analysis derived from social ontology to mathematics. The issue will be devoted to the question whether the distinction between social object and social fact, on the one hand, and between different theoretical approaches to the notion of social fact, can be successfully applied to mathematical practice.

All papers will be double-blind peer-reviewed. Submission is organized through TOPOI's online editorial manager. Papers should not exceed 8000 words (excluding notes).

Modalities and predicates have since ancient time been central notions of logic. In the 20th century, various systems of non-classical logics have emerged, with applications in many disciplines like Computer Science, Linguistics, Mathematics, and Philosophy. This gave rise to the questions of a non-classical treatment of quantifiers and modalities and the accommodation of quantifiers and modalities in non-classical logics. In response, various modal and predicate variants of non-classical logics have been introduced and studied in the past decades.

NCMPL is a conference series solely dedicated to modal and predicate non-classical logics. The aim of the conference is to bring together researchers from various branches of non-classical logics, not only to present recent advances in their particular fields, but also to identify common problems and methods and foster the exchange of ideas between researchers from separate fields.

The Novembertagung on the History and Philosophy of Mathematics is an annual international conference aimed at graduate students in the history and philosophy of mathematics and neighboring fields. It provides an opportunity for young researchers to present and discuss their research in a safe, informal environment, and serves as a place for them to share experience and advice, as well as to establish new contacts. Participants are welcome from around the world.

On the Theme: Crisis, instability and times of uncertainty undoubtedly influenced the development of the sciences, and mathematics is no exception. Throughout history, mathematicians found themselves facing wide-ranging challenges, both internal and external to mathematics, to which they had to respond in new and creative ways. Inspired by contemporary global events, this conference is interested in the ways that times of crisis shaped the development of mathematics. The time of uncertainty might be frustrating and confounding for the mathematicians, but from a historical perspective it can be viewed as an engine of mathematical creativity.

Knowledge Representation and Reasoning (KR) is a well-established and lively field of research. In KR 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. Consequently, KR has contributed to the theory and practice of various areas in AI, including automated planning and natural language understanding, and to fields beyond AI, including databases, verification, software engineering, and robotics. In recent years, KR has contributed also to new and emerging fields, including the semantic web, computational biology, cyber security, and the development of software agents.

The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge.

NMR is the premier forum for results in the area of Non-Monotonic Reasoning. Its aim is to bring together active researchers in this broad field within knowledge representation and reasoning (KR), including belief revision, uncertain reasoning, reasoning about actions, planning, logic programming, preferences, argumentation, causality, and many other related topics including systems and applications.

NMR-21 will be co-located with the International Conference on Principles of Knowledge Representation and Reasoning (KR 2021).

Second-order quantifier elimination (SOQE) is the problem of equivalently reducing a formula with quantifiers upon second-order objects such as predicates to a formula in which these quantified second-order objects no longer occur. In slight variations, SOQE is known as forgetting, projection, predicate elimination, and uniform interpolation. It can be combined with various underlying logics, including propositional, model, description and first-order logics. It is attractive as a logic-based approach to various computational tasks.

The workshop aims to bring together researchers working on SOQE and all these related topics to present, discuss and compare issues shared by problems emerging from different special contexts, interesting open research problems (perhaps with partial solutions), new applications and implementation techniques. SOQE will be associated with the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021).

The problem of explaining why a consequence does or does not follow from a given set of axioms has been considered for full first-order theorem proving since at least 40 years, but there usually with mathematicians as users in mind. In knowledge representation and reasoning, efforts in this direction are more recent, and were usually restricted to sub-areas of KR such as AI planning and description logics. The purpose of this workshop is to bring together researchers from different sub-areas of KR and automated deduction that are working on explainability in their respective fields, with the goal of exchanging experiences and approaches.

Sheila McIlraith and Joe Halpern will deliver the keynotes. The workshop will be co-located with KR 2021.

Research, work in progress, position and student papers were welcome. List of topics of interest includes (but is not limited to): formalisms for program semantics, formal models and semantics of programs and systems, semantics of programming and specification languages, formal description techniques, logics for formal specification and verification, deductive program verification, automatic theorem proving, model checking of programs and systems, static analysis of programs, formal approach to testing and validation, and program analysis and verification tools.

PSSV-2021 is planned to be held in hybrid mode online (using Zoom) and offline (at Innopolis University).

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

The growing cultural import of computing practices has become ever more pressing in our days in all dimensions of social life. The global and collective nature of the challenges our epoch is facing (e.g. climate change, global pandemics, systemic inequalities, resurgence of totalitarianism, to name a few) requires a comprehensive perspective on computing, where social and cultural aspects occupy a central position. For these reasons, thinking about machines asks today for an interdisciplinary approach, where art is as necessary as engineering, anthropological insights as important as psychological models, and the critical perspectives of history and philosophy as decisive as the axioms and theorems of theoretical computer science.

For more than a decade, the 'History and Philosophy of Computing' Conference (HaPoC) has contributed to building such an interdisciplinary community and environment. We aim to bring together historians, philosophers, computer scientists, social scientists, designers, manufacturers, practitioners, artists, logicians, mathematicians, each with their own experience and expertise, to take part in the collective construction of a comprehensive image of computing.

CLAR 2021 will be held in Hangzhou at Zhejiang University City College. Due to the uncertainties of the epidemiological situation, the conference will be held in a HYBRID format (virtual and physical attendance both accepted), and we encourage physical participation if possible.

The CLAR 2021 conference will highlight recent advances in logic and argumentation and foster interaction between these areas within and outside China.

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

Arguments vary in strength. The strength of an argument is affected by e.g. the plausibility of its premises, the nature of the link between its premises and conclusion, and the prior acceptability of the conclusion. The aim of this workshop is to bring together experts from the fields of artificial intelligence, philosophy, logic, and argumentation theory to discuss questions related to the strength of arguments.

Originally planned for 2020 in Koblenz, Germany, after consideration the organizers decided to postpone the workshop in light of the current COVID-19 crisis, and hold it online.

The thirteenth edition of the French Philosophy of Mathematics Workshop (FPMW) will be held from the 7th to the 9th of October 2021 at the Université Côte d'Azur in Nice.

Each year, the workshop program consists of five talks by invited speakers, and five contributed talks,

This year, the invited speakers are: Hourya BENIS SINACEUR (CNRS, IHPST), Valeria GIARDINO (CNRS, Institut Jean-Nicod), Patrick POPESCU-PAMPU (Université de Lille, laboratoire Paul-Painlevé), Dominique PRADELLE (Sorbonne Université, Archives Husserl) and Dirk SCHLIMM (McGill University).

Computational and technological developments that incorporate natural language and reasoning methods are proliferating. Adequate coverage encounters difficult problems related to partiality, underspecification, agents, and context dependency, which are signature features of information in nature, natural languages, and reasoning.

The session covers theoretical work, applications, approaches, and techniques for computational models of information, language (artificial, human, or natural in other ways), reasoning. The goal is to promote computational systems and related models of thought, mental states, reasoning, and other cognitive processes.

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. The twenty-seventh WoLLIC will be held online from October 5 to 8, 2021.

WoLLIC 2021 is planned to have a special session with the exhibition of a one-hour documentary film 'Secrets of the Surface - The Mathematical Vision of Maryam Mirzakhani' about a remarkable mathematician whose contributions were recognized with a Fields Medal just a few years before her untimely death.

Reasoning and Interaction (ReInAct) is a conference organized by the Centre for Linguistic Theory and Studies in Probability (CLASP), at the Department of Philosophy, Linguistics and Theory of Science (FLoV). It is sponsored by SIGSEM, the ACL special interest group on semantics. The ReInAct conference proceedings will be published online in the ACL Anthology for 2021 as a SIGSEM workshop event.

ReInAct will bring together researchers interested in computationally relevant approaches to reasoning and interaction in natural language. ReInAct is open to Machine Learning, Symbolic and Experimental approaches, as well as combinations of these. ReInAct will also involve a shared task on Dialogue Natural Language Inference (DNLI).

ITRS workshops have been held every two years (with the exception of 2020). The ITRS 2021 workshop aimed to bring together researchers working on both the theory and practical applications of systems based on intersection types and related approaches. We are planning post-proceedings, including presentations to the workshop and submissions accepted via an open call.

Papers should not be published elsewhere, with original results or surveying ongoing research. They should be written in English using LaTex and will appear on EPTCS. Submissions should be 20 pages long, excluding bibliography and avoiding technical appendices. Submissions are expected via EasyChair.

We invite submissions for a Special Issue on “Combining Probability and Logic”, to be published with Annals of Pure and Applied Logic.

Classically, logic and probability offer competing representations of partial or incomplete information, with the former assuming a qualitative perspective on uncertainty and the latter focusing on a quantitative account. Both provide their own policies for updating on new information, combining evidence from different sources, and acting under partial information.

We solicit submissions of original papers that bridge these two perspectives. These could, for instance, connect representations of inductive reasoning in either setting, but they may also apply to specific sub-areas, such as game theory, network theory, causal modelling, machine learning, or maximum entropy reasoning. Likewise, the Special Issue is interested in articles that apply probabilistic tools to the study of logical systems or that use logical frameworks, classical or substructural, for understanding probabilistic approaches.

Diagrams 2021 is the twelth conference in the 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.

In addition to the Philosophy track, Diagrams 2021 will have two further tracks: Main, and Psychology and Education.

The biennial ECSQARU conferences constitute a major forum for advances in the theory and practice of reasoning under uncertainty, with a focus on bringing symbolic and quantitative aspects together. Contributions come from researchers interested in advancing the scientific knowledge and from practitioners using uncertainty techniques in real-world applications. The scope of the ECSQARU conferences encompasses fundamental issues, applications, representation, inference, learning, and decision making in qualitative and numeric uncertainty paradigms.

LATA is a conference series on theoretical computer science and its applications. LATA 2020 & 2021 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.

LATA 2020 & 2021 will merge the scheduled program for LATA 2020, which could not take place because of the Covid-19 crisis, with a new series of papers submitted on this occasion.

Keynote speakers: Eric Allender (Rutgers University),  Laure Daviaud (City, University of London), Christoph Haase (University College London), Artur Jeż (University of Wrocław), Jean-Éric Pin (CNRS), and Thomas Place (University of Bordeaux).

Since the first conference held in Marseille in 1982, the International Conference on Logic Programming (ICLP) has been the premier international event for presenting research in logic programming.

Besides the main track, ICLP 2021 will host additional tracks and special sessions:
 - Applications Track
 - Recently Published Research Track
 - MentorLP - Mentoring Workshop on Logic Programming
 - Fall School on Logic and Constraint Programming
 - Doctoral Consortium: the Doctoral Consortium (DC) on Logic
 - Tutorials and Co-located Workshops.

SWODCH 2021 is the association of the 2nd edition of WODHSA and the 4th edition of SW4CH. It is also in continuation of the 1st edition of ODOCH and the special issue of the Semantic Web journal on "Semantic Web for Cultural Heritage".

The purpose of WODHSA is to gather original research work about both application and foundational issues emerging from the design of conceptual models, ontologies, and Semantic Web technologies for the Digital Humanities (DH). The aim of SW4CH is to bring together stakeholders from various scientific fields, Computer Scientists, Data Scientists and Digital Humanists, involved in the development or deployment of Semantic Web solutions for Cultural Heritage. The overall goal of SWODCH 2021 is to provide a scientific forum where scholars and stakeholders will have the opportunity to exchange ideas, experiences, and analyses, while presenting realizations and outcomes of relevant projects and discussing the related challenges.

Due to the COVID-19 restrictions, the workshop will have a hybrid format, allowing both physical and virtual participation.

PotsDial will be the 25th edition of the SemDial workshop series, which aims to bring together researchers working on the semantics and pragmatics of dialogue in fields such as formal semantics and pragmatics, computational linguistics, artificial intelligence, philosophy, psychology, and neuroscience. In 2021 the workshop will be hosted by the Department of Linguistics at the University of Potsdam, Germany. (If the pandemic situation allows for it, there will be a local component for those who want to travel to Potsdam, but fully remote participation, including presentation, will be possible. Please see the website for updates closer to the date.)

The 4th workshop Formal Reasoning and Semantics will be held at the Inter-University Center Dubrovnik (IUC), as a part of the 10th conference Logic and Applications (LAP 2021) 20-24 September 2021. Virtual participation is also possible.

The workshop is organized within the research project Formal Reasoning and Semantics (FORMALS). The emphasis of the project is on applications of logic in computer science, and vice versa, the application of computational tools in logical and mathematical research. Another goal is to apply logic to specific problems of linguistics or, more generally, cognitive and information sciences, as well as interdisciplinary areas in which economics and mathematics overlap (game theory, social choice theory).

The aim of GandALF 2021 is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilization.

This year, GANDALF will be organised together with the 3rd Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis (OVERLAY 2021). The OVERLAY workshop focuses on the relationships between Artificial Intelligence and Formal Methods, and discusses on the opportunities and challenges at the border of the two areas.

GANDALF 2021 is planned to be a hybrid conference. We aim at organizing an in-presence event, but there will be possibilities for virtual participation for delegates affected by travel restrictions.

The topic of the conference is the study of the notion of explanation in the context of logic and philosophy. Particular attention will be devoted to the history of the investigation on explanation, to the connections with conceptual and metaphysical grounding, and to related philosophical issues such as logical pluralism and anti-exceptionalism about logic. The conference is organised in the framework of the ANR JCJC project Bolzano's Insights. The conference will be held online through Zoom and will be open to anyone who is interested.

Keynote speakers:

- Fabrice Correia (University of Geneva, Switzerland)
- Orna Harari (Tel Aviv University, Israel)
- Ole Hjortland (University of Bergen, Norway)
- Carrie Jenkins (University of British Columbia, Canada)

Probabilistic logic programming (PLP) approaches have received much attention in this century. They address the need to reason about relational domains under uncertainty arising in a variety of application domains, such as bioinformatics, the semantic web, robotics, and many more. Developments in PLP include new languages that combine logic programming with probability theory, as well as algorithms that operate over programs in these formalisms.

The workshop encompasses all aspects of combining logic, algorithms, programming and probability and provides a forum for the exchange of ideas, presentation of results and preliminary work. After seven successful editions of this workshop, the eighth edition of PLP will be held at the ICLP virtual conference organised by the University of Porto. We hope that this encourages further collaboration between researchers in PLP and researchers working in other areas of ICLP.

The DL workshop is the major annual event of the description logic research community. It is the forum in which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences.

CCC is a workshop series that brings together researchers applying logical methods to the development of algorithms, with a particular focus on computation with infinite data, where issues of continuity, computability and constructivity play major roles. Specific topics include exact real number computation, computable analysis, effective descriptive set theory, constructive analysis, and related areas. The overall aim is to apply logical methods in these disciplines to provide a sound foundation for obtaining exact and provably correct algorithms for computations with real numbers and other continuous data, which are of increasing importance in safety critical applications and scientific computation.

Invited Speakers: Suguman Bransal (U Penn), Franz Brauße (U Manchester), Sewon Park (KAIST), Monika Seisenberger (Swansea U) and Michael Yampolsky (U Toronto). Tutorial Speaker: André Platzer (CMU).

The purpose of the workshop is to bridge the gap between the cognitive sciences and research on ontologies and, thus, to create a venue for researchers interested in interdisciplinary aspects of knowledge representation. More specifically CAOS investigates how key cognitive phenomena and concepts (and the involved terminology) can be found across language, psychology and reasoning and how they can be formally and ontologically understood and analysed. It moreover seeks answers to ways such formalisations and ontological analysis can be exploited in Artificial Intelligence and information systems in general.

CAOS 2021 is going to happen at the Bolzano Summer of Knowledge, BOSK 2021, in September 2021, organised as a FOIS 2021 workshop.  CAOS 2021 is planned as a hybrid event.

"Concepts in Action: Representation, Learning, and Application" (CARLA) is an international workshop aimed at fostering interdisciplinary exchange about research on concepts. The workshop is open for research on any aspect of concepts, but there are three overarching topics that are of special interest with the following (not exhaustive) list of exemplary subtopics:

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

This workshop provides an excellent opportunity to present and discuss ongoing research on concepts, both from theoretical/formal and applied/experimental viewpoints. CARLA 2021 is currently planned to be conducted as a *hybrid* event allowing for both physical and virtual attendance. Invited Speakers: Monique Flecken and Antonio Lieto.

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.

We regret to announce that due to the coronavirus pandemic LATD has been postponed to September 2021.

The FOIS conference is a meeting point for all researchers with an interest in formal ontology. Formal ontology is the systematic study of the types of entities and relations making up the domains of interest represented in modern information systems. FOIS is the flagship conference of the International Association for Ontology and its Applications (IAOA) and aims to be a nexus of interdisciplinary research and communication, inclusive of researchers from many domains engaging with formal ontology.

FOIS 2021 is planned as a hybrid event: there will be a physical meeting in Bozen-Bolzano, Italy, with a remote participation option. FOIS 2021 includes a number of activities: FOIS conference (single track program), workshops, tutorials, an early-career symposium, a demo and industry track, and an ontology show and tell.

The Italian Conference on Theoretical Computer Science (ICTCS) is the conference of the Italian Chapter of the European Association for Theoretical Computer Science. The purpose of ICTCS is to foster the cross-fertilization of ideas stemming from different areas of theoretical computer science. In particular, ICTCS provides an ideal environment where junior researchers and PhD students can meet senior researchers.

From the end of the 19th century, mathematical and philosophical literature has often portrayed a contrast between visual intuition and logical rigor. However, the terms "rigour" and "intuition" have rich associations and connotations in different historical contexts, and well before the turn of the 20th century. The goal of our workshop is to study the historical evolution of these notions within the mathematical practice, and the epistemological debates that they have raised.

Confirmed keynote speakers are: Helena Durnova (Masaryk University, Brno) Michael Friedman (Humboldt University, Berlin) Eduardo Giovannini (University of Wien) Marco Panza (CNRS, Universit́e Paris 1/Chapman University) Vincenzo de Risi (CNRS, Universit́e Paris 7).

Note: the event as it was scheduled cannot unfortunately take place in December due to covid measures, but will be postponed to the next year, possibly September 2021 or December 2021.

This workshop on Controlled Natural Language (CNL) has a broad scope and embraces all approaches that are based on natural language and apply restrictions on vocabulary, grammar, and/or semantics. This includes (but is certainly not limited to) approaches that have been called simplified language, plain language, formalized language, processable language, fragments of language, phraseologies, conceptual authoring, language generation, and guided natural language interfaces.

Some CNLs are designed to improve communication among humans, especially for non-native speakers of the respective natural language. In other cases, the restrictions on the language are supposed to make it easier for computers to analyze such texts in order to improve computer-aided, semi-automatic, or automatic translations into other languages. A third group of CNL has the goal to enable reliable automated reasoning and formal knowledge representation from seemingly natural texts. All these types of CNL are covered by this workshop.

Due to Covid-19, the workshop is postponed to 2021!

Symbolic Computation is the science of computing with symbolic objects (terms, formulae, programs, representations of algebraic objects etc.). Powerful algorithms have been developed during the past decades for the major subareas of symbolic computation: computer algebra and computational logic. Meanwhile, artificial intelligence methods and machine learning algorithms are widely used nowadays in various domains and, in particular, combined with symbolic computation. Several approaches mix artificial intelligence and symbolic methods and tools deployed over large corpora to create what is known as cognitive systems. Cognitive computing focuses on building systems which interact with humans naturally by reasoning, aiming at learning at scale.

The purpose of SCSS 2021 is to promote research on theoretical and practical aspects of symbolic computation in software science, combined with modern artificial intelligence techniques.

The 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 (keynote speeches), oral presentations, and poster/demonstration sessions. Papers will be presented in plenary or topic oriented sessions.

TSD2021 is going to take place in the beautiful city of Olomouc, Czech Republic. Thus, it is nicely colocated with Interspeech 2021 which is going to be held in Brno, Czech Republic. But as the situation in September 2021 cannot be easily predicted, the TSD2021 organizing committee is ready to organize a virtual conference, if necessary.

TABLEAUX is the main international conference at which research on all aspects -- theoretical foundations, implementation techniques, systems development and applications -- of tableaux-based reasoning and related methods is presented.

TABLEAUX 2021 will be co-located with the 13^th International Symposium on Frontiers of Combining Systems (FroCoS 2021). The conferences will provide a rich programme of workshops, tutorials, invited talks, paper presentations and system descriptions.

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

Due to the current Covid-19 pandemic it was impossible to hold our congress as planned (6th – 9th September 2020). The congress was therefore postponed by one year, and all events will be held online.

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, mathematics, physics, relations to general AI, 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.

This conference aims at bringing together researchers from across disciplines concerned with the acquisition, curation and use of language data in the context of data science and knowledge-based applications. This builds upon the success of the inaugural event held in Galway, Ireland in 2017 and the second LDK in Leipzig, Germany in 2019.

In order to allow more people to attend the Conference physically, and due to the current state in the COVID-19 pandemic in Europe, we decided to postpone LDK 2021 to early September. The conference will allow remote presentations by participants who cannot attend the conference in person owing to COVID-19 travelling restrictions, but we do think that physical encounter and gossip leads to better research.

CALCO is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science) and WADT (the Workshop on Algebraic Development Techniques). It aims to bring together researchers with interests in both foundational and applicative uses of algebra and coalgebra in computer science, traditional as well as emerging ones. The 9th edition will be held in Salzburg, Austria, colocated with MFPS XXXVII.

MFPS conferences are dedicated to the areas of mathematics, logic, and computer science that are related to models of computation in general, and to semantics of programming languages in particular. This is a forum where researchers in mathematics and computer science can meet and exchange ideas. The participation of researchers in neighbouring areas is strongly encouraged.

MFPS 2021 is co-located with the 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021). Due to the pandemic situation, the conference will take place online. Should the situation improve and allow some international travel, we will do our best to organize a small component of the meeting in Salzburg for those participants who wish to attend the meeting in person.

The aim of the FMICS conference series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. FMICS brings together scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS conference series also strives to promote research and development for the improvement of formal methods and tools for industrial applications.

FMICS 2021 is part of the QONFEST umbrella conference. This year, a special session will be included on Formal Methods for Blockchain-based Smart Contracts along with a panel on this topic. Keynote Speaker: Joe Kiniry (Galois Inc. and Free & Fair, US).

Initially scheduled on August 26-28 2020 at NYC SUNY Global Center, ICGI’20 will be held on-line at the end of the summer 2021. 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.

DLT is International Conference Series under the auspices of the European Association for Theoretical Computer Science (EATCS). The purpose of this conference is to bring together members of the academic, research, and industrial community who have an interest in formal languages, automata theory, and related areas.

DLT 2021 will be held at Faculty of Sciences of University of Porto in an hybrid format with both in person and online participation.

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.