Catuscia Palamidessi

Keynote - Tuesday, August 2nd at 11:00

Director of Research at INRIA

Title and Abstract : TBD

http://www.lix.polytechnique.fr/~catuscia/

Don Knuth

CP invited speaker - Wednesday, August 3rd at 09:00

The Art of Computer Programming at Stanford University

Title and Abstract : TBD

https://www-cs-faculty.stanford.edu/~knuth/news.html

Orna Kupferman

Plenary - Thursday, August 4th at 16:00

School of Computer Science and Engineering at The Hebrew University of Jerusalem

Title and Abstract : TBD

https://ieeexplore.ieee.org/author/37323816700

Ziyad Hanna

Keynote - Sunday, August 7th at 11:00

Corporate Vice President at Cadence Design Systems and Visiting Professor at The University of Oxford

Talk Title: Harnessing the Power of Formal Verification for the $Trillion Chip Design Industry

https://www.cs.ox.ac.uk/people/ziyad.hanna/

Aarti Gupta

Plenary - Tuesday, August 9th at 16:30

Department of Computer Science at Princeton University

Title and Abstract : TBD

https://www.cs.princeton.edu/~aartig/