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

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.

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

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!

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.

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.

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 .

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.

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.