Programming Languages Reading Group-- 2018

Location: Stocker 326
Time: Tuesdays 4 PM

Date Topic Discussion Leader Notes/Supplements
9/5/2017 Introduction to SMT solvers and Z3 Logan Leland
9/12/2017 Applications of Z3 Alex Bagnall
9/19/2017 Introduction to Idris Nathan St. Amour
9/26/2017 Pythagorean Triples Dr. David Juedes
10/3/2017 PL for ML Dr. Gordon Stewart
10/10/2017 PL for ML Cont. Sam Merten
10/17/2017 Reluplex Alex Bagnall
10/24/2017 -- ??? ATAPL topics Various