Programming Language Research Seminar 2018/19 spring

Schedule

All meetings take place in Liivi 2-512 on Tuesdays 10:15-12:00.

Date	Topic	Homework*
12.02	Introduction. Basics
19.02	Basics, Induction	Basics.v
26.02	Induction exercises	Induction.v
05.03	no seminar -- EWCS'19
12.03	Lists	Lists.v
19.03	Poly	Poly.v
26.03	Tactics	Tactics.v
02.04	Logic
09.04	Logic	Logic.v
16.04	IndPorp	IndProp.v
23.04	IndPorp, Maps	Maps.v
30.04	Imp	Imp.v
07.05	Imp, ProofObjects	ProofObjects.v
14.05	ProofObjects
21.05	Solving of exercises

* You may skip informal, optional and 5 star exercises. Also skip exercises after IndProp.

Chosen topics

Chapter	Presenter
Basics	Kalmer
Induction	Kalmer
Lists	Kalmer
Poly
Tactics
Logic
IndProp	Simmo
Maps	Mattias
ProofObj	Lei
Rel
Imp	Turkhan
IndPrinciples
Auto
ImpParser
ImpCEvalFun
Extraction

Homework Submission

1. Basics.v 2. Induction.v 3. Lists.v 4. Poly.v 5. Tactics.v 6. Logic.v 7. IndProp.v