News rss Open menu 18 July 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. Read more 01 July 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... Read more 29 June 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! Read more 03 May 2018 Alexey Ilyushkin receives a best-paper nomination at CCGrid 2018 Alexey Ilyushkin receives a best-paper nomination at CCGrid 2018. Read more 01 May 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... Read more ... Page 6 Page 7 Page 8 You are on page 9 Page 10 Page 11 ... Share this page: Facebook Linkedin Twitter Email WhatsApp Share this page