Invited Talks

Unifying speakers:

Daniel Licata (Wesleyan University, USA)

Catuscia Palamidessi (INRIA Saclay and LIX, France)

CC invited speaker:

Keshav Pingali (University of Texas, USA)

FoSSaCS invited speaker:

Frank Pfenning (Carnegie Mellon University, USA)

TACAS invited speaker:

Wang Yi (Uppsala University, Sweden)