News and Events

Here we list the news of FMT

<< 1 2 3 4 5 6 7 8 9 >>

April 28, 2011

Friday May 13, 2011: Symposium: Model-based Testing, from theory to practice and back again

After the PhD defense of Machiel van der Bijl which takes place at May 12,  at May 13 an interesting combination of speakers from research en industry will share their vision and experiences on Model-Based Testing.

For more information (program, registration) see the event description.

April 7, 2011

Mark Florisson presents his BScRef work on Multi-Level Debugging for Cython at Munich International Cython Workshop 2011

Mark Florisson was invited to present his Bachelor Referaat work on Multi-Level Debugging for Cython at the Munich International Cython Workshop 2011.

His slides are linked from this page: http://wiki.cython.org/workshop1/OpenCythonDay.

March 15, 2011

FMT Alumni group at LinkedIn

Already a while ago, at LinkedIn the group 'FMT alumni' was created: 'a group for students and staff who have at one point been involved in the Formal Methods and Tools group at the University of Twente'.

Further information.

February 28, 2011

New FMT website has gone live

We made the transition to the new website.

February 8, 2011

Michael Weber has won the Inter-Actief Informatica Onderwijsprijs!

Michael Weber has won the Inter-Actief Educational Award for the Department of Computer Science! Other nominees were Rom Langerak en Harry Aarts. At tuesday februari 8 the winner was announced in borrelruimte Abscint, waar de winst ook meteen gevierd werd.

December 16, 2010

Rom Langerak and Michael Weber nominated for Educational Award

Rom Langerak and Michael Weber have been nominated for the Inter-Actief Educational Award for the Department of Computer Science!

December 13, 2010

Work has started on a new FMT website -- many thanks to DIES

Work has started on a revised website for FMT -- you are looking at (part of) the result. When all content has been integrated this site wil replace the current website for FMT.
This revised website is based on the website of the DIES group. We thank them for allowing us to build on their work!

Further information.

December 3, 2010

Joost-Pieter Katoen receives educational award

Joost-Pieter Katoen received the educational award of the Department of Computer Science of the RWTH Aachen for his lectures on "Data Structures and Algorithms" in the summer semester of 2010.

November 26, 2010

Tingting Han receives the Overijssel Ph.D Award

Tingting Han received the Overijssel Ph.D Award (the best PhD dissertation in 2009 at the University of Twente, NL). In the autumn of 2009, she defended her dissertation at both the RWTH Aachen and in Twente with honours. Her dissertation is on "Diagnosis, Synthesis and Analysis of Probabilistic Models".

October 11, 2010

Marieke Huisman obtains ERC Starting Independent Researcher Grant

Marieke Huisman has obtained a 1.3 million ERC Starting Independent Researcher Grant for the VerCors project, to work on the verification of concurrent data structures. Project duration is 60 months. Two PhD students and two post docs will be appointed on the project.

Further information.

<< 1 2 3 4 5 6 7 8 9 >>