Catuscia Palamidessi

Catuscia Palamidessi

Keynote - Tuesday, August 2nd at 11:00

Director of Research at INRIA

Title and Abstract : TBD

Don Knuth

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

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

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

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:

© FLoC 2022 - All rights reserved to Technion - Israel Institute of Technology

Designed and powered by PREMIUM

If you have any inquires please contact us at  

floc2022@technion.ac.il

  • Facebook
  • Twitter
  • YouTube
  • Pinterest
  • Tumblr Social Icon
  • Instagram