(Updated) 12 December 2019, Logic and Interactive Rationality (LIRa), Hans van Ditmarsch
Speaker: Hans van Ditmarsch (CNRS, LORIA)
Title: Dynamic epistemic logic for distributed computing – asynchrony and concurrency
Date: Thursday 12 December 2019
Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
For more information, see https://projects.illc.uva.nl/lgc/seminar/2019/09/lira-session-hans-van-ditmarsch/.