Informaticapionier Emerson kreeg in 2007 de Turing-award voor zijn werk op het gebied van Formele Methoden, de tak van informatica die de betrouwbaarheid van digitale systemen onderzoekt. Na de oudgediende Emerson kreeg de jonge Nederlandse hoogleraar prof.dr.ir. Joost-Pieter Katoen de gelegenheid om te laten zien waar de in de jaren tachtig door Emerson ontwikkelde methoden tegenwoordig worden ingezet.

De lezingen waren onderdeel van de Formal Methods Week aan de TU/e; met ongeveer 750 geregistreerde bezoekers het grootste congres ter wereld op dit vakgebied. Volgens organisator dr. Tijn Borghuis was het voor het eerst in tien jaar dat zoveel mensen bijeenkwamen om kennis over formele methoden uit te wisselen. “Er bestaan veel kleine conferenties in dit vakgebied, maar wij hebben nu naast FM2009 -dat we zelf organiseren- de mogelijkheid geboden aan de organisaties van nog een negental gerelateerde conferenties en workshops, om hun evenement gelijktijdig aan de TU/e te laten plaatsvinden. Daaraan was overduidelijk behoefte. Diverse conferenties hebben ook gezamenlijke sessies ingelast, in een paar gevallen zijn die zelfs ter plekke georganiseerd.”

De ‘Industry Day’ op donderdag 5 november stond in het teken van de synergie tussen onderzoekers en gebruikers van formele methoden. In duopresentaties werd verteld over de wederzijdse ervaringen. Ook de kenniswerkersregeling kwam aan bod; in een speciale sessie mocht ir. Pieter de Bock van het TU/e Innovation Lab dit Nederlandse samenwerkingsmodel voor het internationale gezelschap toelichten. Al met al een zeer geslaagde week, vindt Borghuis. “Er wordt dan ook al druk gediscussieerd over de termijn waarop de volgende editie moet plaatsvinden.” (TJ)