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)
|Tuesday, 12:30, HalB 2F||Lunch colloqium: Prof. Dr. Martin Lange: Model Checking Equivalence Relations|
|Wednesday, 14:00, Hal B 2B||MSc Presentation: Maks Verver: Practical Improvements to Parity Game Solving|
|Next Friday, 16:00, Carre 2H||MSc Presentation: Freark van der Berg: Model Checking LLVM IR using LTSmin|
Press Releases and Media Coverage
|Dec 05, 2013|
|Oct 02, 2013|
|Sep 11, 2013|
Article mentioning Mark Timmer in Tweakers.net because of PhD defense of Mark Timmer: Onderzoeker UT: minder softwarefouten door toepassen van moderne kansmodellen. [in Dutch]
|Sep 20, 2013|
Mark Timmer editor of the Nieuw Archief voor Wiskunde
Mark Timmer was invited to become an editor of the "Nieuw Archief voor Wiskunde". This quarterly journal of the Royal Dutch Mathematical Society is aimed at anyone who is involved with mathematics professionally.
|Sep 17, 2013|
Joost-Pieter Katoen is appointed as member of the Academia Europaea
Academia Europaea is the European Academy of Sciences, similar to the Dutch KNAW. See http://www.acadeuro.org/ for information on the EA: "Our members are scientists and scholars who collectively aim to promote learning, education and research. ... members [are] leading experts from the physical sciences and technology, biological sciences and medicine, mathematics, the letters and humanities, social and cognitive sciences, economics and the law."
|Sep 04, 2013|
Prof. Aksit's keynote talk at SEAA 2013
Prof. Aksit will give a keynote talk at the 39th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2013) in Santander, Spain on September 5, 2013, entitled “Gummy Modules for Coping with Emergent Behaviour”.Further information.
(note: 'latest' refers to the date of addition to the EPrints publication database, not to the date of publication.)