Catuscia Palamidessi

Keynote - Tuesday, August 2nd at 11:10

Director of Research at INRIA

Talk Title: Information Structures for Privacy and Fairness

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

Talk Title: All Questions Answered

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

Talk Title: Complexity Measures for Reactive Systems

https://www.cs.huji.ac.il/~ornak/

Ziyad Hanna

Keynote - Sunday, August 7th at 11:10

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

Talk Title: SMT-based Verification of Distributed Network Control Planes

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