Talks and Poster Presentations (without Proceedings-Entry):
R. Kuznets:
"How I stopped worrying about formulas and learned to interpolate";
Talk: Logic and Theory Group, Institute of Computer Science, University of Bern,
Bern, Schweiz (invited);
2016-12-13.