Talks 3

Summary
Presentations at the conference FoCM, 2017