Latest Talks

(» further talks)
Nov
25

Women in Logic Online – Talk Announcement

Automating Game Reasoning in Blockchain Security
Monday, November 25, 2024 at 17:00

Oct
10

Talk by Jan von Plato: Two Gödelian Topics in Modal Logic

Jan von Plato: Two Gödelian Topics in Modal Logic
Thursday, October 10, 2024 at 16:00

Oct
4

Talk by George Metcalfe: Substructural Logics with Minimally True Tautologies

Substructural Logics with Minimally True Tautologies
Friday, October 4, 2024 at 16:00

Aug
29

Talk by Rajeev Gore: CEGAR-Tableaux – Improved Modal Satisfiability via Modal Clause-Learning and SAT

CEGAR-Tableaux: Improved Modal Satisfiability via Modal Clause-Learning and SAT
Thursday, August 29, 2024 at 15:00

Aug
27

Talk by Guillermo Badia: Logical Characterizations of Weighted Complexity Classes

Logical Characterizations of Weighted Complexity Classes
Tuesday, August 27, 2024 at 11:00

Jun
5

Talk by David Pearce: Logic, Accountability, and Design

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