Talks and Poster Presentations (without Proceedings-Entry):
L. Kovacs:
"Symbolic Computation and Automated Reasoning for Program Analysis";
Keynote Lecture: 23rd IEEE International Conference on Intelligent Engineering Systems (INES) 2019,
Gödöllõ, Hungary (invited);
2019-04-25
- 2019-04-27.