Description

Logic Lounge

Informal afternoon meeting with short talks from participants in the logic program.

Speakers:

Kenta Cho: "Effectus Theory, Part 2"
Vincent Danos: "Continuous Time Markov Chains as Transformers of Unbounded Observables"
Marijana Lazić: "Parameterized Verification of Fault-Tolerant Distributed Algorithms"

All scheduled dates:

Upcoming

No Upcoming activities yet

Past