Просмотр новости
Найдите то, что Вас интересует
Спутники
РН
SpaceX
Роскосмос
NASA
СпутникиРНSpaceXРоскосмосNASAPosted: 10th May 2017
Michael Benedikt and Michael Vanden Boom are co-authors on a paper which has been chosen for the Best Paper award in the track B category of the prestigious International Colloquium on Automata, Langauges and Programming. The paper is, 'Characterizing Definability in Decidable Fixpoint Logics'.
The conference will take place at the University of Warsaw this July.
| # | Наименование новости | Тональность | Информативность | Дата публикации |
|---|---|---|---|---|
| 1 | Best paper award at International Conference on Information Processing in Sensor Networks | 0 | 10 | 07-05-2014 |
| 2 | ICLR Deep Learning Conference - Best Paper Award | 0 | 10 | 21-04-2016 |
| 3 | Paper Award at International Workshop on Discrete Event Systems | 0 | 10 | 19-05-2014 |
| 4 | Sam Staton wins Best Paper Award at the European Symposium on Programming | 0 | 10 | 02-05-2017 |
| 5 | Best paper award at International Conference on Security and Privacy in Mobile Information and Communication Systems | 0 | 8.79 | 05-07-2013 |
| 6 | Best Paper Award at ICALP'14 | 0 | 9.88 | 21-05-2014 |
| 7 | Best paper award at ACM CCS International Workshop | 0 | 10 | 07-11-2016 |
| 8 | Best Paper Award at *SEM2013 | 0 | 15.26 | 20-06-2013 |
| 9 | Double Best Paper Win at ICALP 2016 Conference | 0 | 22.5 | 04-05-2016 |
| 10 | Keynote and best paper award at 22nd International Conference on Database Theory (ICDT) | 0 | 10 | 08-02-2019 |