|
|
|
Ready for your midterms? In this workshop you will learn proven methods for anticipating and preparing for the kind of problems and questions you will be expected to answer on exams., selecting and…
Date
September 29th, 2020 Speaker
Nic Voge Department
McGraw Center for Teaching & Learning Location
Virtual
|
|
COS510 preview - Software Verification
Date
September 16th, 2020 Speaker
Andrew Appel Department
COS Location
Princeton NJ
|
|
|
|
|
|
Computability
Date
August 12th, 2020 Speaker
Andrew Appel 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 1: Simple Proofs
Date
August 12th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
Implementing Ocaml in Ocaml: Part 2: Substitution and Evaluation
Date
August 12th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
Let Expressions
Date
August 12th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
PPPL's Eliot Feibush: ACM conference July 20-24, 2020 called PEARC20 - Practice & Experience in Academic Research Computing. They chose my visualization of an astrophysics simulation for…
|
|
|
|
Get started with this new web-based platform for thorough and transparent documentation of protocols for lab experiments and analyses with complex procedures.
Date
May 14th, 2020 Department
Princeton Research Data Service
|
|
|
|
Speaker
Avi Wigderson, School of Mathematics, Institute for Advanced Study Department
Public Lecture Series
|
|
Coeus Training - Coeus Proposal Hierarchy Part 1: What is a proposal hierarchy? Why are hierarchies created? What are some key proposal hierarchy concepts to know before creating a hierarchy in…
Date
September 14th, 2019 Speaker
Kyle Burkhardt Department
ORPA
|