skip to content
 

Speakers (LAAW05)

Name Home Institution
D Lugiez [CMI]
M Leconte [ILOG SA]
J Marques-Silva University of Southampton
E Giunchiglia [DIST - Universita di Genova]
K Namjoshi [Bell Labs]
D Kroening [ETH Zentrum]
S Cotton Verimag
Y Naveh [IBM Research Lab in Haifa]
Z Manna Stanford University
P Abdullah [Uppsala University]
O Maler Verimag
University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons