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!

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

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.

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

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)

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!

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

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 .