The Schedule

Day 1

Monday October 6

Welcome coffee and breakfast (next to the Henri Poincaré room) : 9:30 - 10am

10:00 - 11:00

What are Your Powers? (Truth Set Algebras)

Sophia Knight - Henri Poincaré room

Informal discussions 11:00 - 12:00 - David Hilbert room

12:00 - 13:30

Lunch - next to the Henri Poincaré room

14:00 - 15:00

Space-Time Trade-off in Bounded Iterated Memory

Guillermo Toyos - Henri Poincaré room

15:00 - 16:00

Some new developments in epistemic simplicial semantics

Hans van Ditmarsch - Henri Poincaré room

16:00 - 17:00

Working session - David Hilbert room

Day 2

Tuesday October 7

Welcome coffee and breakfast (next to the Henri Poincaré room) : 9:30 - 10:00

10:00 - 11:00

Mixing decentralized systems with probabilities

Roman Kniazev - Grace Hopper room

11:00 - 12:00

Probabilistic methods in distributed computing

Sergio Rajsbaum - Grace Hopper room

12:00 - 13:30

Lunch - next to the Henri Poincaré room

14:00 - 15:00

Preserving Hyperproperties in Programs that Use Concurrent Objects

Constantin Enea - Henri Poincaré room

15:30 - 17:00

Working session - David Hilbert room

Day 3

Wednesday October 8

Welcome coffee and breakfast(next to the Henri Poincaré room) : 9:30 - 10:00

10:00 - 11:00

Hypergraph Semantics for Doxastic Logics

Valentin Müller - Henri Poincaré room

11:00 - 12:00

Simplicial Belief

David Lehnherr - Henri Poincaré room

12:00 - 12:30

Virtual Group Knowledge and Group Belief in Topological Evidence Models

Djanira Gomes - Henri Poincaré room

12:00 - 13:30

Lunch - next to the Henri Poincaré room

13:30 - 17:00

Working session - David Hilbert room

Page updated

Google Sites

Report abuse