News rss Menu openen 18 juli 2018 Dr Robbert Krebbers has been awarded Veni grant for Verified programming language interaction Software systems consist of many components written in different programming languages. The correctness of a software system relies on correct interaction between its components. This project will develop mathematical methods for verifying the correctness of interaction between software components. Lees meer 01 juli 2018 NWO has granted the proposal for the sixth generation of the Distributed ASCI Supercomputer (DAS6) NWO has granted the proposal for the sixth generation of the Distributed ASCI Supercomputer (DAS6) to a consortium consisting of... Lees meer 29 juni 2018 The ICAPS'18 and the CPAIOR'18 conference at the TU Delft have been a great success The International Conference on Automated Planning and Scheduling (ICAPS) 2018 and the International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR) 2018 in Delft have been a great success. Thanks to everyone who helped us! Lees meer 03 mei 2018 Alexey Ilyushkin receives a best-paper nomination at CCGrid 2018 Alexey Ilyushkin receives a best-paper nomination at CCGrid 2018. Lees meer 01 mei 2018 Two demonstration papers accepted at WWW '18 Two demonstration papers have been accepted at the 2018 edition of The Web Conference (27th edition of the former WWW conference): SmartPub: A Platform for Long-Tail Entity Extraction from Scientific Publications Sepideh Mesbah, Alessandro... Lees meer ... Pagina 6 Pagina 7 Pagina 8 Je bent op pagina 9 Pagina 10 Pagina 11 ... Deel deze pagina: Facebook Linkedin Twitter Email WhatsApp Deel deze pagina