Latest Talks

(» further talks)
Nov
28

Ringo Baumann

An Abstract, Logical Approach to Characterizing Strong Equivalence in Non-monotonic Knowledge Representation Formalisms
Thursday, November 28, 2019 at 12:00 s.t.

Nov
20

Dominique Larchey-Wendling

Hilbert’s Tenth Problem in Coq
Wednesday, November 20, 2019 at 16:30 s.t.

Nov
11

Prafullkumar Tale

Lossy Kernels for Graph Contraction Problems
Monday, November 11, 2019 at 14:00 s.t.

Nov
6

Davide Grossi

Credulous Acceptability, Poison Games and Modal Logic
Wednesday, November 6, 2019 at 16:30 s.t.

Oct
16

David Cerna

A Mobile Application for Self-Guided Study of Formal Reasoning
Wednesday, October 16, 2019 at 16:30

Oct
1

Gerd Brewka

Admissibility and Completeness Revisited
Tuesday, October 1, 2019 at 10:00 s.t.