Distinction: VCLA International Student Awards 2019
The community of logicians at Faculty of Informatics celebrates.
Gerd Brewka
Admissibility and Completeness Revisited
Tuesday, October 1, 2019 at 10:00 s.t.
Tanja Schindler
A DPLL(T) theory solver for quantified formulas
Monday, September 16, 2019 at 11:00 c.t.
Award Ceremony: VCLA International Student Awards 2019
Tuesday, September 24, 2019 at 15:15 s.t.
Alexej Rotar
The Satisfiability Problem for Fragments of PCTL
Tuesday, September 24, 2019 at 15:50 s.t.
Martin Munoz
Descriptive Complexity for Counting Complexity Classes
Tuesday, September 24, 2019 at 15:30 s.t.
Yuri Gurevich
LOGIC in computer science and software industry (and in mathematics, time permitting)
Wednesday, September 18, 2019 at 16:00 c.t.
Dana Scott
Free Logic: its Formalization and some Applications
Monday, September 30, 2019 at 16:00 c.t.
Joshua Blinkhorn
Building Strategies into DQBF Proofs
Tuesday, August 27, 2019 at 11:00 c.t.
Spouseware and Stalkerware – LogicLounge with Eva Galperin
Eva Galperin, director of cybersecurity at Electronic Frontier Foundation, at the LogicLounge in New York.
After Oxford and Vienna, the LogicLounge in New York on July 15, has been already the 15th in the series of LogicLounges, which feature discussions between the public and the eminent scientists in the fields of logic, philosophy, mathematics, […]
