Latest Talks

(» further talks)
Jun
5

Talk by David Pearce: Logic, Accountability, and Design

Logic, Accountability, and Design
Wednesday, June 5, 2024

May
28

LogicLounge 2024 with Georg Gottlob

Artificial Intelligence and Artificial Ignorance
Tuesday, May 28, 2024 at 16:00

Apr
17

Talk by Byron Cook: The Business of Proofs

Business of Proofs
Wednesday, April 17, 2024 at 11:15

Apr
16

Talk by Nick Bezhanishvili: Degrees of the Finite Model Property for Superintuitionistic and Modal Logics

Degrees of the Finite Model Property for Superintuitionistic and Modal Logics
Tuesday, April 16, 2024 at 13:00 – 14:00

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