Keynote Speakers


Jean-Christophe Filliatre (CNRS, France)

Tiziana Margaria (University of Limerick, Ireland)

Corina Pasareanu (NASA Ames and Carnegie Mellon University, United States)