Talks and Poster Presentations (without Proceedings-Entry):
R. Kuznets:
"Proof-theoretic Approach to Craig Interpolation";
Keynote Lecture: Special Session on Proof Theory at the Logic Colloquium 2015,
Helsinki, Finnland (invited);
2015-08-03
- 2015-08-08.