News and Events
Here we list the news of FMT
|October 16, 2018||
Djurre van der Wal has won the "KHMW Internetscriptieprijs", the Internet MSc prize in the category "internet and technological sciences"! The jury has awarded this prize on behalf of KHMW, the Royal Dutch Society of Sciences. The prize will be handed over on November 1st, 2018. Djurre has been asked to present his MSc research on the specification and verification of Wireless Network Protocols in AWN and mCRL2.
|September 13, 2018||
Güner Orhan, with his co-authors, won the 2019 Outstanding Paper award in IEEE Transactions on Cognitive and Developmental Systems (TCDS) for their paper entitled “Learning Context on a Humanoid Robot Using Incremental Latent Dirichlet Allocation,” by Hande Celikkanat, Guner Orhan, Nicolas Pugeault, Frank Guerin, Erol Şahin, and Sinan Kalkan. In: IEEE Transactions on Cognitive and Developmental Systems (IEEE TCDS), vol. 8, no. 1, pp. 42-59, 2016. The prize comes with a honorarium of US $1,000.
|September 12, 2018||
Vincent Bloemen won the Best Student Paper at BPM2018 (Sydney, Australia) for the paper "Maximizing Synchronization for Aligning Observed and Modelled Behaviour", by Vincent Bloemen, Sebastiaan van Zelst, Wil van der Aalst, Boudewijn van Dongen, and Jaco van de Pol.
|April 15, 2018||
At 'Verify This', part of the ETAPS Conference in Thessaloniki in April 2018, Wytse Oortwijn and Mohsen Safari won Verify This Student Team - Silver Award!
|April 10, 2018||
The self-driving car will rely on it for its driving behaviour, the autonomous robot can’t do without. ‘Probabilistic’ computer programmes are getting more and more important in artificial intelligence. This type of software deals with many uncertainties and real-world data. Is it possible to verify correct operations, given this level of uncertainty? Joost-Pieter Katoen, Professor at the RWTH Aachen and the University of Twente, proposes a new approach, and he receives an Advanced Grant of the European Research Council (ERC) for this.
|March 22, 2018||
22 March 2018, Roeland Krak has received the ENIAC Thesis Prize for the college year 2016-2017. Associated is € 500,- prize money, as well as a work of art in the price range of € 150 to € 200. All nominees have also received the book Start with Why.
|November 21, 2017||
During the SDPS conference in Birmingham, USA in the beginning of November 2017, professor Mehmet Aksit of the Formal Methods and Tools group, has received an Award for lifetime achievements in Software Research, Technology Innovation or Engineering Education.
|July 28, 2017||
Verification of Cyber-Physical Systems: Exploiting Uncertainty for Scalability
|July 17, 2017||