Catuscia Palamidessi
Keynote - Tuesday, August 2nd at 11:00
Director of Research at INRIA
Title and Abstract : TBD
Don Knuth
CP invited speaker - Wednesday, August 3rd at 09:00
The Art of Computer Programming at Stanford University
Title and Abstract : TBD
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
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
Aarti Gupta
Plenary - Tuesday, August 9th at 16:30
Department of Computer Science at Princeton University
Title and Abstract : TBD
Plenary and Keynote Talks
FLoC is pleased to present:
