The Schedule

Day 1

Monday June 15

Welcome coffee (x room) : 9:00 - 9:30am

9:30 - 10:30

Common Distributed Knowledge and the Majority Agreement task

Jérémy Ledent

10:30 - 11:30

Improperly Deducing Simplicial Crashing

Marta Bílková and Roman Kuznets

11:30 - 12:30

Characterizing Stabilizing Consensus Topologically and Epistemically

Stephan Felber

12:30 - 13:30

Lunch - x room

14:00 - 15:00

Tool-Supported Action Model Synthesis for Truly Private Model Updates

Thomas Schlögl

15:00 - 16:00

How groups communicate - variations in (a)synchronicity and models

Clara Lerouvillois and Hans van Ditmarsch

16:00 - 17:00

Hypergraph Semantics for Modal Logics: Axiomatizations and Limitations

Valentin Müller

Day 2

Tuesday June 16

Welcome coffee and breakfast (x room) : 9:00 - 9:30

9:30 - 10:30

Implementability of Concurrent Objects from a Topological Perspective

Armando Castañeda

10:30 - 11:30

A guided tour of probabilistic dynamic epistemic logic

Barteld Kooi

11:30 - 12:30

Randomized coordinated attack

David Lehnherr, Sophia Knight

12:30 - 13:30

Lunch - x room

14:00 - 15:00

title

Sonja Smets

15:00 - 16:00

title

Alexandru Baltag

16:00 - 17:00

Local Semantics for Simplicial Models

Djanira Gomes

Dinner at Zeyer 7pm (for the speakers only)

Day 3

Wednesday June 17

Welcome coffee and breakfast(x room) : 9:00 - 9:30

9:30 - 10:30

Dynamic Common Knowledge and Agreement

Yoram Moses

10:30 - 11:30

Heterogeneous Bracha Broadcast

Murdoch James Gabbay

11:30 - 12:30

A categorical and logical framework for iterated protocols

Eric Goubault

12:30 - 13:30

Lunch - x room

13:30 - 14:30

An Implementation of Belief Revision in Simplicial Models for Dynamic Epistemic Logic

Philip Sink

14:30 - 17:00

Working session

Dinner

Page updated

Google Sites

Report abuse