Date | Who | What |
---|---|---|
Mar 31
|
everyone |
Organizational meeting |
Apr 7
|
James W |
Breaking Through the Normalization Barrier: A Self-Interpreter for F-omega |
Apr 15
|
Doug Woos |
Learning Invariants using Decision Trees and Implication Counterexamples and please skim Decidability of Inferring Inductive Invariants |
Apr 22
|
Doug and James |
Ivy: Safety Verification by Interactive Generalization |
Apr 29
|
Talia |
F-ing Modules |
May 6
|
Nate |
Cubical Type Theory |
May 13
|
Konstantin Weitz |
The Denotational Semantics of Programming Languages |
May 20
|
Thomas Lou |
Morphoid Type Theory (Sections 1 and 2 only) |
May 27
|
Alex Sanchez-Stern |
Symbolic Abstract Data Type Inference |
Jun 3
|
Everyone |
Cubical Type Theory |
Contact James W (jrw12@cs) if you want to get on the mailing list. Or subscribe yourself.