Formal Methods and Tools
In the Formal Methods and Tools (FMT) research group, formal techniques and tools are developed and used as a means to support the development of software. This includes the development of formal theories of concurrency, design methodologies for distributed systems, and correctness assessment using verification or validation techniques. The group is also concerned with the development of traditional tools such as compilers and interpreters. In both research and courses much attention is paid to the applicability of formal methods.
Upcoming Events (for recurrent events only next 7 days are shown)
|Today, 12:30, Carre 2G||Lunch colloqium: Dennis Guck: Modelling and analysis of Markov reward automata|
|Friday, 12:00, Zilverling 2042||Presentation: Marie-Collette van Lieshout: Spatial point patterns: Theory and practice|
|Nov 04, 14:00, Ravelijn 2336||MSc Presentation: Ruud Wiegers: A Behavior Description Language for Ontologically Grounded Conceptual Models|
|Nov 05, 9:00, Oisterwijk||Symposium IPA Fall Days|
|Nov 06-07, De Vereeniging, Nijmegen||The 26th Benelux Conference on Artificial Intelligence|
|Nov 17, 9:00, De Eenhoorn, Amersfoort||Dutch Testing Day 2014|
|Dec 03, 9:00, Amsterdam, CWI||Symposium National symposium on software engineering (SEN)|
Press Releases and Media Coverage
|Oct 18, 2014|
|Oct 01, 2014|
|Sep 22, 2014|
Press Release about the workshop Automated Verification of Critical Systems because it is held in Enschede from September 24 - 26, 2014: Workshop on Verification of Critical Software Systems. [in English]
|Jun 12, 2014|
Steven te Brinke wins second prize in CTIT poster competition
During the CTIT Symposium of Tuesday 3 June, Steven te Brinke won the second prize in the PhD poster competition with his poster "Interpreting Energy Profiles with CEGAR".
|Apr 14, 2014|
Steven te Brinke wins Student Research Competition at SAC '14
The Symposium on Applied Computing (SAC) 2014 was held from March 24 to 28 in Gyeongju, Korea. SAC 2014 hosted a Student Research Competition that provides graduate students the opportunity to receive feedback on their research ideas from the scientific community. For this competition, students are selected based on submitted abstracts and then graded first on their poster and then on their presentation. Steven te Brinke from the FMT group of the University of Twente won the gold medal of this competition with his presentation titled "Interpreting Energy Profiles with CEGAR".Further information.
|Apr 02, 2014|
Mark Timmer wins IPA dissertation prize
Dr. ir. Mark Timmer is the winner of the IPA Dissertation Award for the best IPA dissertation of 2013. Mark's thesis on 'Efficient Modelling, Generation and Analysis of Markov Automata' was selected as the best among the nominated theses.
Mark carried out his research at the University of Twente under the joint supervision of Jaco van de Pol, Joost-Pieter Katoen and Mariëlle Stoelinga.
(note: 'latest' refers to the date of addition to the EPrints publication database, not to the date of publication.)