- The Seminar on Applied Mathematical Logic will resume after the summer break in September 2020.
- We're hiring! Consult the ICS Postdoctoral Fellowship call. Deadline: 30 June.
- DaLí 2020, 9-10 October, Prague. Extended deadline: 10 July.
- I. Sedlár: Finitely-valued propositional dynamic logics. Forthcoming in Advances in Modal Logic 13.
- I. Sedlár and A. Tedder: Lambek calculus with conjugates. Forthcoming in Studia Logica.
- G. Badia, P. Cintula, P. Hájek, and A. Tedder: How much propositional logic suffices for Rosser's undecidability theorem? Forthcoming in the Review of Symbolic Logic.
- G. Paterson, D.W. Ripley, and A. Tedder: Qua solution, 0-Qua has problems. Forthcoming in the Journal of Analytic Theology.