Просмотр новости
Найдите то, что Вас интересует
Спутники
РН
SpaceX
Роскосмос
NASA
СпутникиРНSpaceXРоскосмосNASARalf Hinze has been awarded the Peter Landin prize 2009 for his paper Scans and Convolutions: A Calculational Proof of Moessner's Theorem
Department of Computer Science, University of Oxford
Posted: 28th September 2009
Ralf Hinze has been awarded the Peter Landin prize 2009 for his paper Scans and Convolutions: A Calculational Proof of Moessner’s Theorem, presented at the 20th International Symposium on the Implementation and Application of Functional Languages in September 2008. This year's prize is especially memorable, given that Peter sadly passed away in June.
| # | Наименование новости | Тональность | Информативность | Дата публикации |
|---|---|---|---|---|
| 1 | Best paper win at International Colloquium on Automata, Languages and Programming | 0 | 10 | 10-05-2017 |
| 2 | Best paper prize at JELIA 2010 | 0 | 10 | 04-10-2010 |
| 3 | PhD thesis "Computability of Euclidean Spatial Logics" awarded Best Thesis Prize | 0 | 8.01 | 05-11-2012 |
| 4 | Best paper at CONCUR 2015 | 0 | 13.96 | 03-09-2015 |
| 5 | Best paper award at International Conference on Information Processing in Sensor Networks | 0 | 10 | 07-05-2014 |
| 6 | Influential paper receives HSCC Test-of-Time Award | 0 | 16.35 | 13-06-2024 |
| 7 | Distinguished Paper Award won at USENIX | 0 | 10 | 23-08-2023 |
| 8 | Oxford Led Team win Best Paper Prize at 19th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2023) | 0 | 10 | 18-07-2023 |
| 9 | Best Paper Award at *SEM2013 | 0 | 15.26 | 20-06-2013 |