Bounds on strong unicity for Chebyshev approximation with bounded coefficients Speaker: Andrei Sipoş (IMAR/TU Darmstadt) Thursday, June 27, 2019, 10:00 FMI, Hall 202
Good for a conclusion, not good enough for a premise. Natural-language reasoning and the logic of vagueness Speaker: Marian Calborean (Univ. Bucharest) Thursday, May 16, 2019, 10:00 FMI, Hall 202
Lindström`s Theorems Speaker: Mihai Prunescu (Univ. Bucharest/IMAR) Thursday, March 14, 2019, 10:00 FMI, Hall 202
The frontier between decidability and undecidability for logics for strategic reasoning in the presence of imperfect information Speaker: Cătălin Dima (Université Paris-Est Créteil) Thursday, January 31, 2019, 10:00 FMI, Hall 202