Latest Talks

(» further talks)
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.

Sep
30

Dana Scott

Free Logic: its Formalization and some Applications
Monday, September 30, 2019 at 16:00 c.t.

Sep
24

Martin Munoz

Descriptive Complexity for Counting Complexity Classes
Tuesday, September 24, 2019 at 15:30 s.t.

Sep
24

Alexej Rotar

The Satisfiability Problem for Fragments of PCTL
Tuesday, September 24, 2019 at 15:50 s.t.

Sep
18

Yuri Gurevich

LOGIC in computer science and software industry (and in mathematics, time permitting)
Wednesday, September 18, 2019 at 16:00 c.t.