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.
<< December 2023 | ||||||
---|---|---|---|---|---|---|
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
|
29
|
30
|
31
|
1 December 2023, Formalisation, Optimisation, Algorithms, Mechanisms (FOAM), Andreas Niskanen
Abstract:
Judgment aggregation (JA) offers a generic formal logical framework for modeling various settings where agents must reach joint agreements through aggregating the preferences, judgments, or beliefs of individual agents by social choice mechanisms. In this work, we develop practical JA algorithms for outcome determination by harnessing Boolean satisfiability (SAT) based solvers as the underlying...
7 December 2023, Data-Driven History of Ideas Seminar Series (DaDriH), Leon van Wissen
Concepts in Motion is hosting a series of online seminars on data formats, tools, and best practices for working with data relevant to the history of ideas. In particular, in this series we will have experts discussing the managing of authority records, identifiers for persons, timelines, and works, as well as infrastructures on which to clean and enrich these data.
This seminar's speaker is Leon van Wissen (Universiteit van Amsterdam), a data engineer working with cultural heritage data in CREATE and GLOBALISE, and previously in the Golden Agents project. In this session Leon will share experiences and best practices relevant to working with Linked Open Data and the implementation of ontologies. Bring your questions to the seminar for a live Q&A session.
8 December 2023, Annual VvL Joint Seminar
Utrecht University will organize the second edition of the annual seminar of the Dutch Association for Logic (VvL). The event is inspired by the departmental logic seminars that are organized at each university, and aims to unify the universities for a collaborative seminar. Besides hosting a main speaker, the seminar will also be the location of the award ceremony of the VvL MSc Thesis Prize winners, who will give a short presentation of their thesis.
Main Speaker: Natasha Alechina.
MSc Thesis Prize winners: Rodrigo Almeida (supervisors: Nick Bezhanishvili and Tommaso Moraschini), Søren Brinck Knudstorp (supervisors: Johan van Benthem and Nick Bezhanishvili), Raoul Koudijs (supervisor: Balder ten Cate).
8 December 2023, Meaning, Logic, and Cognition (MLC) Seminar, Karolina Krzyzanowska
8 December 2023, STiHAC Joint Meeting, Tristan van der Vlugt
13 December 2023, LLAMA seminar, Evgenia Ternovska
14 December 2023, PhD assembly meeting on 14 December
To all PhD candidates of the ILLC,
The next PhD assembly meeting is on Thursday 14 December from 12 till 13 o'clock in the Common Room of SP107. During this meeting, you can ask questions to the Management Team of the ILLC. Lunch will be provided.
Hope to see many of you then!
![](/images/illc/newsitem-lira.jpg)
14 December 2023, Logic and Interactive Rationality (LIRa), Andreas Herzig
15 December 2023, EDEV Online Seminar, Veli-Pekka Parkkinen
The EDEV Online Seminars are part of the PRO3 project "Understanding Public Data: Experts, Decisions, Epistemic Values" promoted by SNS Pisa, IMT Lucca and IUSS Pavia. The project aims to explore the scaffoldings of the epistemological framework, which underlies public decision-making when confronted with complex scientific data. The methodological assumption underlying the project is that the tools provided by logic, epistemology, philosophy of science, and critical reasoning can make a substantial contribution to a number of pressing issues.
![](/images/illc/newsitem-phimath.png)
15 December 2023, Philosophy of Mathematics (Φ-Math) Reading Group
15 December 2023, NihiL Seminar, Lorenzo Pinton
15 December 2023, Coinduction: a Categorical tour of Computation, Liam Chung
Induction is well known as both an important method of definition as well as proof, but it has some important blind spots. Inductive definitions use constructors, that is, methods to make new objects. Inductively constructed data must have an end, in the context of real programs. This makes it more difficult to use for modelling computation with (possibly) infinite data streams, or where program termination is not guaranteed.
In this talk we'll discuss coinduction, the dual notion to induction. Where induction is formulated as rules for creating new things, coinduction is formulated as rules for taking them apart. This gives it wide utility in modeling computational states without assuming we know what they look like, a so-called black box approach.
We'll also delve into the basics of the mathematical concepts underpinning this duality, namely the duality of algebras and coalgebras. While these topics take heavy inspiration from category theory and universal algebra, no prior significant knowledge of either will be assumed.
18 December 2023, Nordic Online Logic Seminar, Göran Sundholm
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. 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 .
![keywords.jpg](/thumbnail/newsitem/keywords.jpg.jpg?size=newsitem_list)
19 December 2023, RDT Keywords Project: ‘Responsibility’
What do we mean by 'responsibility' in the digital age? How do disciplines differ in their understanding of responsibility? Where do they meet?
We are excited to invite you to our second edition of the Responsible Digital Transformations Keywords Project, with focus on 'responsibility'. Marjolein Lanzing, Jelle Zuidema and Somendra Narayan will share their views on responsibility with us, and we invite you to join a lively interdisciplinary discussion.
20 December 2023, Current Affairs Meeting & ILLC Winter Colloquium 2023 (+ Christmas party)
The ILLC Colloquium is a festive event that brings together the six research units at the ILLC. Each colloquium consists of two or three talks by representatives from different units, sometimes followed by Wild Idea Talks.
The ILLC colloquium is preceded by the Current Affairs Meeting.
The purpose of the Current Affairs 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.