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, […]