Talks and Poster Presentations (without Proceedings-Entry):
L. Kovacs:
"Algebraic Reasoning for Program Analysis";
Keynote Lecture: 33rd Conference on the Mathematical Foundations of Programming Semantics (MFPS),
Ljubljana, Slovenia (invited);
2017-06-12
- 2017-06-16.