06-08-10 23:28

Mathematical Foundations of Fuzzy Logics

KGS is proud to be a supporter of the workshop on Mathematical Foundations of Fuzzy Logics, a satellite of the MFCS and CSL 2010 Conference, in Brno on August 28, 2010.

23-07-10 18:01

Sixth Vienna Tbilisi Summer School in Logic and Language

For the sixth time students and teachers meet in Tbilisi, Georgia, for a summer school. Please see the conference page http://www.logic.at/tbilisi10/ fo...

17-05-10 17:12

Collegium Logicum Lecture Series

25 May 2010, Jeremy Avigad (Carnegie Mellon University): Understanding, formal verification, and the philosophy of mathematics

02-03-10 11:43

Collegium Logicum Lecture Series

Hans de Nivelle (Institute of Computer Science, University of Wrocław, Poland): Extending Classical Logic with Partial Functions

15-02-10 13:28

Collegium Logicum Lecture Series

Kazushige Terui (Kyoto University): Algebraic proof theory for substructural logics
1st part on Mo, 13 February 2010, 15:00
2nd part on Th, 18 February 2010, 14:00