Просмотр новости
Найдите то, что Вас интересует
Спутники
РН
SpaceX
Роскосмос
NASA
СпутникиРНSpaceXРоскосмосNASAThis year's CAV will feature 9 papers by Department-affiliated authors.
Posted: 24th March 2011
Members of the Computing Laboratory will have co-authored a total of 9 papers (out of 55 accepted papers) at the upcoming Conference on Computer Aided Verification, a premier event in formal verification.
| # | Наименование новости | Тональность | Информативность | Дата публикации |
|---|---|---|---|---|
| 1 | Five papers from the department to be presented at CAV 2017 | 0 | 19.09 | 09-05-2017 |
| 2 | Papers accepted to International Conference on Very Large Databases | 0 | 10 | 10-06-2015 |
| 3 | Papers accepted to Computing in Cardiology IEEE Conference | 0 | 10 | 07-06-2013 |
| 4 | Oxford papers accepted to several key computer security and trust conferences | 0 | 10 | 14-05-2013 |
| 5 | Researchers win CAV 2025 Paper Award for work on model checking | 0 | 11.72 | 04-08-2025 |
| 6 | Seven Comlab papers to be presented at TACAS 2010 | 0 | 6.36 | 21-12-2009 |
| 7 | Student Conference - Call for Papers | 0 | 4.9 | 22-09-2011 |
| 8 | Six papers at TACAS 2016 | 0 | 10.94 | 20-12-2015 |
| 9 | International Joint Conference on AI accepts 10 Oxford papers | 0 | 21.11 | 12-04-2016 |
| 10 | Bumper crop of IJCAI papers for Oxford Computer Science | 0 | 12.71 | 17-04-2013 |