The next LAB42 meetup is planned on January 11th starting at 16.00. During this month's edition we're arranging an excursion to our neighbours at the Quantum Experience! Join and explore the potentials and future of quantum technology. Following that, we'll gather on the third floor of LAB42 at 16:30 to raise a toast to the upcoming year.

Please RSVP promptly due to limited spots for the Quantum Experience.

Dear colleagues,

We cordially invite you to attend the Vienna World Logic Day Lecture, which will be held by Prof. Adnan Darwiche (UCLA):

"Beyond truth and falsehood: Logic as a Calculus of Events"

When? Friday, January 12, 2024, 17:00 CET

Where? Online via Zoom with a livestream on Youtube

The first speaker in the PhD-in-DDriH Seminar Series is Maud van Lier (University of Konstanz) who is setting up a corpus-based investigation of the concept of artificial agency.

LAB42 is in development, and we'd like to hear your thoughts! On 18 January 12.00, we're hosting an Insight and Idea Lunch (lunch will be provided ????). We'll share brief presentations about our latest projects and seek your thoughts on upcoming endeavors.

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.

Due to unforeseen circumstances, the speaker will not be able to come to Amsterdam in person but will give the talk through Zoom. You can join the talk in room F1.15 at Science Park 107, or on Zoom.

On 29 and 30 January 2024 the workshop Proof Systems for Modal Fixed Point Logics takes place at the University of Amsterdam. The workshop is associated with two public PhD Defences. Guillermo Menéndez Turata will defend his thesis Cyclic Proof Systems for Modal Fixpoint Logics on 30 January at 13:00 in the Agnietenkapel. Jan Rooduijn will defend his thesis Fragments and Frame Classes: Towards a uniform proof theory for modal fixed point logics on 31 January at 11:00 in the Aula.

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 it, as well as further announcements, please subscribe here:https://listserv.gu.se/sympa/subscribe/nordiclogic .

On 29 and 30 January 2024 the workshop Proof Systems for Modal Fixed Point Logics takes place at the University of Amsterdam. The workshop is associated with two public PhD Defences. Guillermo Menéndez Turata will defend his thesis Cyclic Proof Systems for Modal Fixpoint Logics on 30 January at 13:00 in the Agnietenkapel. Jan Rooduijn will defend his thesis Fragments and Frame Classes: Towards a uniform proof theory for modal fixed point logics on 31 January at 11:00 in the Aula.

The goal of the workshop is to bring together linguists, philosophers, logicians, and cognitive scientists who share an interest in the interfaces between (non-classical) logic, language and cognition.