University of Twente hosts the International Workshop on Automated Verification of Critical Systems, 24 and 26 September 2014

Between 24 and 26 September, the University of Twente will act as host to the International Workshop on Automated Verification of Critical Systems. This event will explore the latest developments in the field of verification of critical software systems.

Enschede, Netherlands, 23-9-2014 — /EuropaWire/ — The variety of subjects covered during the workshop include the following: railway safety systems reliability, financial information exchange protocols correctness, and various techniques for automatically identifying errors in modern multithreaded software, which allows for performing multiple calculations at the same time. In addition, the workshop will touch on ways these techniques and developments can see more widespread industrial and commercial use.

Keynote speakers
The workshop will have three invited speakers: Alastair Donaldson, PhD, Laura Kovács, PhD, and Guy Broadfoot, PhD. Doctor Alastair Donaldson, of Imperial College London, will present his GPUVerify tool for the automatic detection of bugs in software running on GPUs. A GPU is a special type of hardware specifically designed for very quickly performing a massive number of parallel calculations. Originally, GPUs were mainly designed for manipulating computer graphics, but nowadays they also see use in, e.g., medical imaging and facial recognition. There is industry-wide commercial interest in this technology. Doctor Donaldson was recently given a HiPEAC Technology Transfer Award for his GPUVerify tool.

Automatic understanding of properties
Doctor Laura Kovács, of Chalmers University of Technology, Sweden, is working on technology to automatically generate the main properties of software programs. She is a promising young scientist and we hope her presence will serve to encourage other female computer scientists. Her presence is sponsored by the University of Twente Aspasia Fund, which aims to develop and accelerate the careers of female scientists.

Doctor Guy Broadfoot will talk about his decade-long experience with integrating software verification techniques into the everyday business sector software development practice.

The workshop is organised by Professor Jaco van de Pol, PhD, Marieke Huisman, PhD, and Wojciech Mostowski, PhD, of the University of Twente’s Formal Methods and Tools department. Huisman: “We’ll be offering a highly varied programme and have no doubt that a number of incredibly interesting new developments will be presented on this fourteenth edition of the workshop.” More information on the workshop and its programme is available via www.utwente.nl/avocs2014.

Note for the press

For more information or interview requests, please contact Doctor Marieke Huisman, tel. +31 (0)6 45852707.

###

University of Twente hosts the International Workshop on Automated Verification of Critical Systems, 24 and 26 September 2014