Universiteit van Amsterdam


Institute for Logic, Language and Computation

(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
Time: 16:30-18:00
Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam