Professor to give three keynote lectures at international conferences
Posted: 4th January 2013
Marta Kwiatkowska has been invited to give keynote lectures at TASE 2013 (7th International Symposium on Theoretical Aspects of Software Engineering), ICTAC 2013 (10th International Colloquium on Theoretical Aspects of Computing) and ATVA 2013 (11th International Symposium on Automated Technology for Verification and Analysis). She will also give a tutorial at ATVA 2013.