Просмотр новости
Найдите то, что Вас интересует
Спутники
РН
SpaceX
Роскосмос
NASA
СпутникиРНSpaceXРоскосмосNASAMarta Kwiatkowska will be speaking at TASE 2013, ICTAC 2013 and ATVA 2013
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.
| # | Наименование новости | Тональность | Информативность | Дата публикации |
|---|---|---|---|---|
| 1 | Oxford professor to give Edinburgh University’s Milner Lecture | 0 | 9.53 | 09-03-2012 |
| 2 | Marta Kwiatkowska elected as fellow of the European Association for Theoretical Science | 0 | 10 | 07-02-2017 |
| 3 | Oxford professor Marta Kwiatkowska to receive honorary doctorate from KTH in Stockholm | 0 | 10 | 07-11-2014 |
| 4 | Editorial Board of the Royal Society Philosophical Transactions A | 0 | 4.31 | 07-09-2009 |
| 5 | 15th IEEE International Conference on Engineering of Complex Computer Systems | 0 | 8.31 | 03-03-2010 |
| 6 | Marta Kwiatkowska selected as an ACM fellow | 0 | 10 | 20-12-2016 |
| 7 | VERIPACE: new ERC Proof of Concept Grant awarded to Professor Marta Kwiatkowska | 0 | 10 | 30-10-2013 |
| 8 | Two professors elected to Academia Europæa | 0 | 9.07 | 26-09-2011 |
| 9 | Marta Kwiatkowska named as BCS Lovelace Medal Winner 2019 | 0 | 21.11 | 28-06-2019 |
| 10 | Professors Ursula Martin and Mike Wooldridge to speak at Oxford Literary Festival | 0 | 7.71 | 01-03-2018 |