August 22nd 2017, Markus Pantsar will give a talk “What is arithmetic?” at the ECAP9 in Munich.

July 21st 2017, Fausto Barbero will present the paper “Independence-Friendly Logic without Henkin Quantification” (joint paper with L.Hella and R.Rönnholm) at the WoLLIC 2017 conference (held at the University College, London, 18th-21st July).

18th November 2016, 12 am – 2 pm. Fausto Barbero will be giving a presentation “Complexity of prefixes of  Independence-Friendly logic” at the University Tampere “Finite Model Theory seminar”(Äärellisten mallien seminaari), room Pinni B0020.