These pages provide information about recent developments at or relevant to the ILLC. Please let us know if you have material that you would like to be added to the news pages, by using the online submission form. For minor updates to existing entries you can also email the news administrators directly. English submissions strongly preferred.
The calender view is not available on the mobile version of the website. You can view this information as a list.
You can also view this information as a list or iCalendar-feed, or import the embedded hCalendar metadata into your calendar-app.
| << February 2022 | ||||||
|---|---|---|---|---|---|---|
| Sunday | Monday | Tuesday | Wednesday | Thursday | Friday | Saturday |
|
1
|
2
|
3
|
4
|
5
|
||
|
6
|
7
|
8
|
9
|
10
|
11
|
12
|
|
13
|
14
|
15
|
16
|
17
|
18
|
19
|
|
20
|
21
|
22
|
23
|
24
|
25
|
26
|
|
27
|
28
|
|||||
3 February 2022, Logic and Interactive Rationality (LIRa), Wesley Holliday
4 February 2022, DutchCATS, Julia Ramos Gonzalez
The Dutch Categories And Types Seminar is an inter-university seminar on type theory, category theory, and the interaction between these two fields. It provides a forum for discussion, collaboration, and dissemination to researchers in type theory and category theory working in the Netherlands.
4 February 2022, STiHAC Joint Meeting, Lucas Wansner
4 February 2022, Cool Logic, Bobby Tosswill
Are you tired of getting confused listening to logic lectures? Has anyone ever looked at you like you’re speaking Martian when you try to explain what you’re studying here at the MoL? Do you find yourself reading a paper over multiple times, just checking that it's actually words written there, and not just gibberish pretending to be intelligent? Then you’re in the right place!
In Cool Logic’s first talk of 2022 next Friday, 4 Feb, Bobby Tosswill will take us on a journey to investigate what understanding is, how we communicate complex ideas, and what exactly makes bad lectures quite so bad. Drawing on research from cognitive science, the philosophies of understanding, mathematical practice, and so much more, Bobby will propose a cognitively-plausible logic of explanation, and demonstrate how it can help us make sense of how we make sense of things. So join us February the 4th, D1.111 in Science Park 904 – you’ll laugh, you’ll cry, and you might even just learn something!
7 February 2022, Reading Group on Causal Learning (Causal Inference Lab)
Book: 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 read from Chapter 6.6 "Calculating Intervention Distributions by Covariate Adjustment" to Chapter 6.11 "Algorithmic Independence of Conditionals". work on the exercises of Chapter 6.12 "Problems" and leftover exercises from our previous meeting.
10 February 2022, PEPTalk, Federica Russo
On Thursday, 10 February, the Platform for the Ethics and Politics of Technology organises a PEPTalk on Connecting the Ethics and Epistemology of AI, featuring Federica Russo. The PEPTalk starts at 12:00 PM, (UTC+1). The session will be moderated by Aybüke Özgün.
10 February 2022, Logic and Interactive Rationality (LIRa), Salvador Mascarenhas
11 February 2022, STiHAC Joint Meeting, Deborah Kant
14 February 2022, ILLC Diversity Talks, Isabelle Collet
On 14 February, the ILLC Diversity Talks will start with a talk by Isabelle Collet, a former computer scientist and associate professor at the University of Geneva. Isabelle's talk 'Digital Technology and Gender Equality: A Challenge for Higher Education' will begin with an historical overview of gender disparity in computer science and describe effective and not effective strategies for increasing representation of women in STEM fields. Everyone is welcome!
14 February 2022, Topology via Logic Reading Group
The Topology via Logic reading group was established by the MoL students to introduce topology and its many applications in logic, epistemology, and computer science. Topology via Logic by Steven Vickers explores these applications by constructing topology on the basis of geometric logic, locales, and lattices. Join us as we go through Topology via Logic by Steven Vickers.
Our Announcements Board: https://discord.gg/MRAJ6vMs
And WhatsApp: https://chat.whatsapp.com/G61XHn8D7nIImRue1tV7Ul
16 February 2022, LLAMA seminar, Amina Doumane
16 February 2022, KdVI General Mathematics Colloquium, Jop Briët
17 February 2022, Logic and Interactive Rationality (LIRa), Torben Braüner
18 February 2022, Meaning, Logic, and Cognition (MLC) Seminar, Jialiang Yan
18 February 2022, STiHAC Joint Meeting, Raiean Banerjee
18 February 2022, Cool Logic, Bas Cornelissen
21 February 2022, Reading Group on Causal Learning (Causal Inference Lab)
Book: Peters, Jonas, Dominik Janzing, and Bernhard Schölkopf. 2017. Elements of Causal Inference: Foundations and Learning Algorithms. The MIT Press.
For the next meeting, the material would be the same as the last meeting (Chapters 6.6- 6.12) since we scarcely managed to deal with all the important and ambiguous parts of it. There is a lot more to dig up!! ;D
22 February 2022, The Utrecht Logic in Progress Series (TULIPS), Igor Sedlár
Contact the organizer to join the online talk.
24 February 2022, Logic and Interactive Rationality (LIRa), Hannes Leitgeb
25 February 2022, Philosophy of Mathematics (Φ-Math) Reading Group
On the first meeting of the Philosophy of Mathematics Reading Group in this academic year we will discuss some popular misinterpretations of Gödel's Theorem.
These will include (1) Lucas/Penrose style of arguments against mechanism, (2) GIT as a confirmation of Platonism, (3) The "postmodern" interpretation.
The talk will be given by Jan Gronwald. No preparation is required, but a look at the literature is most welcome.
There will be no Zoom broadcast of the meeting.
28 February 2022, Nordic Online Logic Seminar, Thierry Coquand
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 .