Просмотр новости
Найдите то, что Вас интересует
Спутники
РН
SpaceX
Роскосмос
NASA
СпутникиРНSpaceXРоскосмосNASAOxford's Department of Computer Science will host the 19th International SPIN Workshop on Model Checking of Software (SPIN 2012) from 23-24 July 2012.
Posted: 23rd May 2012
Oxford's Department of Computer Science will host the 19th International SPIN Workshop on Model Checking of Software (SPIN 2012) from 23-24 July 2012. SPIN 2012 is the latest in a successful series of workshops for practitioners and researchers interested in state space-based techniques for the validation and analysis of software systems. This year's event features invited talks and tutorials from Tom Ball, Andrey Rybalchenko, Andreas Zeller and Cristian Cadar, as well as 16 other talks. See the web site for full details:
| # | Наименование новости | Тональность | Информативность | Дата публикации |
|---|---|---|---|---|
| 1 | Student Conference 2012 | 0 | 14.13 | 26-06-2012 |
| 2 | The 22nd International Workshop on Description Logics (DL2009) 27 to 30 July 2009, Oxford | 0 | 10.99 | 07-07-2009 |
| 3 | Workshop announced: cell-based modelling within Chaste (Cancer, Heart and Soft-Tissue Environment) | 0 | 17.51 | 13-07-2011 |
| 4 | Forum for research on querying large data streams at Oxford | 0 | 12.71 | 28-08-2012 |
| 5 | Software Engineering Open Day | 0 | 10.42 | 29-04-2015 |
| 6 | Student and Research Staff Conference | 0 | 9.2 | 11-05-2015 |
| 7 | Oxford University Software Engineering presents workshop at SPLASH 2016 | 0 | 21.11 | 25-10-2016 |
| 8 | Software Engineering Open Day | 0 | 10.42 | 22-07-2014 |
| 9 | Student Conference 2017 | 0 | 16.69 | 07-06-2017 |
| 10 | Ethical and societal responsibility debated at 2018 conference | 0 | 12.76 | 12-06-2018 |