ILLC-LIRa May 2018

illc-lira@list.uva.nl

1 participants
3 discussions

Tomorrow LIRa Session with Davide Grossi at 16:30
by LIRa Seminar 23 May '18

23 May '18

Dear all, Tomorrow we will have our next LIRa Session. Speaker: Davide Grossi Date and Time: Thursday, May 24th 2018, 16:30-18:00 Venue: ILLC Seminar Room F1.15, Science Park 107. Title: Interactive Epistemology for Blockchain Protocols? Abstract: This is an exploratory talk focusing on the nexus between distributed ledgers on one side, and epistemic logic and game theory on the other side. The aim is to sketch a research agenda exploring the epistemological foundations of blockchain protocols. I will highlight, through a series of examples, the incentive structures and epistemic assumptions underpinning the correct functioning of consensus protocols for distributed ledgers (e.g., Bitcoin’s Nakamoto consensus, Stellar’s federated voting), and point at possible research directions. Hope to see you there! The LIRa team

1 0

Thursday: No LIRa session, but Workshop in Utrecht
by LIRa Seminar 14 May '18

14 May '18

Dear all, We postpone Gianluca Grilletti LIRa Session. We will announce the new date soon! On the occasion of the PhD defense of Hein Duijf there will be a workshop on May 17th 2018 in Utrecht. Title: Collective Responsibility, Joint Action, and Participation Date and Time: Thursday, May 17th 2018, 10:15-18:00 Venue: Universiteitsmuseum (Lange Nieuwstraat 106, Utrecht) at the Grote Vergaderzaal (2nd floor). Attendance is free, but registration is required. You can register by sending an email to h.w.a.duijf(a)uu.nl The PhD defense of Hein Duijf will take place in Utrecht on May 18th, 2018. For more information about this send an email to h.w.a.duijf(a)uu.nl Hope to see you there! The LIRa team

1 0

Tomorrow LIRa Session with Ana Lucia Vargas-Sandoval
by LIRa Seminar 02 May '18

02 May '18

Dear all, Tomorrow we will have our next LIRa Session. Speaker: Ana Lucia Vargas-Sandoval Date and Time: Thursday, May 3rd 2018, 16:00-17:30 Venue: ILLC Seminar Room F1.15, Science Park 107. Title: Arbitrary Announcement Logic with Memory is better. Abstract. Arbitrary Public Announcement logic (APAL) and its relatives are natural extensions of Public Announcement Logic obtained by adding an arbitrary announcement operator. These logics are of great interest both philosophically and from the point of view of applications. Motivations range from modelling notions of knowability to modelling inductive learnability in empirical science. One problem with APAL formalisms is that they use infinitary axiomatisations, therefore it is not guaranteed that the validities of these logics are recursively enumerable. The question of whether Arbitrary Public Announcement logic has a finitary axiomatisation remains open since almost a decade. In this talk we present an APAL-style logic for which a recursive axiomatisation is guaranteed. We expose the problem of the original APAL and explain our solution: equipping APAL with a memory mechanism. We introduce Arbitrary Public Announcement Logic with Memory (APALM), obtained by adding to the models a memory of the initial states, representing the information before any communication took place, and adding to the syntax operators that can access this memory. We give a sound and complete axiomatisation for APALM that is recursive, our recursive axiomatisation uses a natural finitary rule. If time permits we will also discuss expressivity results and some connections of APALM with other logics. Hope to see you there! The LIRa team

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

ILLC-LIRa May 2018