|
Reasoning About Modular Programs: Part 3: More Representation Invariants
Date
August 16th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
Implementing Ocaml in Ocaml: Part 1: Representing Abstract Syntax
Date
August 12th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
PCTS "Bridging Mathematical Optimization, Information Theory and Data Science"
Date
May 15th, 2018 Speaker
Rachel Ward Department
PCTS Location
407 Jadwin Hall
|
|
|
|
Dr. Francesco Romanelli
JET and EFDA
|