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/
Abstract and Brief Bio:
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
Abstract and Brief Bio:
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/
Abstract and Brief Bio:
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/
Abstract and Brief Bio:
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/
Abstract and Brief Bio:
Plenary and Keynote Talks
FLoC is pleased to present:
