Latest Talks

(» further talks)
Mar
26

Talk by Reiner Hähnle: Context-aware Trace Contracts

Context-aware Trace Contracts
Tuesday, March 26, 2024 at 13:00

Mar
20

Women in Logic Online (seminar series)

Women in Logic Online – Network Mathematics
Wednesday, March 20, 2024 at 17:00

Feb
28

Talk by Emiliano Lorini: A Rule-based Modal View of Causal Reasoning

A Rule-based Modal View of Causal Reasoning
Wednesday, February 28, 2024 at 17:15

Jan
12

World Logic Day Lecture: Adnan Darwiche

Beyond truth and falsehood: Logic as a Calculus of Events
Friday, January 12, 2024 at 17:00

Nov
16

Talk by Petra Mutzel: Algorithmic Data Science on Graphs

Algorithmic Data Science on Graphs
Thursday, November 16, 2023 at 13:15

Oct
18

Talk by Hans van Ditmarsch: Distributed Knowledge Revisited

Distributed Knowledge Revisited
Wednesday, October 18, 2023 at 17:00