|
This talk will compare two recent advances in the understanding of election integrity. The Scytl/SwissPost e-voting solution was intended to provide complete verifiability for Swiss government…
Date
November 10th, 2020 Speaker
Vanessa Teague Department
Center for Information Technology Policy Location
Webinar
|
|
The Turing Machine Test: module proof for equivalence
Date
November 15th, 2020 Speaker
Andrew Appel Department
COS Location
Princeton NJ
|
|
COS510 preview - Software Verification
Date
September 16th, 2020 Speaker
Andrew Appel Department
COS Location
Princeton NJ
|
|
Reasoning About Modular Programs: Part 3: More Representation Invariants
Date
August 16th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
Reasoning About Modular Programs: Part 2: Proving Representation Invariants
Date
August 16th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
Uncomputability: What We Can't Compute
Date
August 16th, 2020 Speaker
Andrew Appel Department
COS Location
Princeton NJ
|
|
Generalizing Your Inductive Hypothesis
Date
August 16th, 2020 Speaker
Andrew Appel Department
COS Location
Princeton NJ
|
|
Did I Get it Right? Part 5: Proofs About Programming Languages
Date
August 16th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
Did I Get it Right? Part 4: Induction for Datatypes
Date
August 12th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
Did I Get it Right? Part 3: Induction for Lists
Date
August 12th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
Did I Get it Right? Part 2: Induction for Naturals
Date
August 12th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
Did I Get it Right? Part 1: Simple Proofs
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
Sewoong Oh Department
PCTS Location
407 Jadwin Hall
|
|
Lecture 5 | Free Will Lecture Series | Old news to physicists. Descartes and Leibniz disproved. The Janus universe. Left/right symmetry. Satisfying Curie. Hidden variable theories. Random vs.…
Date
April 20th, 2009 Speaker
John Conway Department
Mathematics
|