Home
Schedule
Assignments
Handouts
Software
Resources
 
linlog-course@cs
fp@cs
Frank Pfenning
  

15-816 Linear Logic
Schedule

  • Lectures are Monday and Wednesday, 12:00-1:20 EST, GHC 4303.
  • We provide live streaming video during lecture
  • The class notes provide additional reading material.
    They complement, but do not replace the lecture.
  • The schedule is subject to change throughout the semester.
Date Lecture Notes Additional Reading Video Due
Mon Jan 16 Deductive Inference 00-overview.pdf Lecture 01
Wed Jan 18 From Rules to Propositions Lecture 02
Mon Jan 23 Harmony Lecture 03
Wed Jan 25 No Class (POPL 2012)
Mon Jan 30 Cut Reduction as Computation [CPT12] pp.1-3 Lecture 04
Wed Feb 1 Choice and Replication [CPT12] pp.4-8 Lecture 05 Asst 1
Mon Feb 6 Quantification [CPT12] pp.8-9 Lecture 06
Wed Feb 8 Cut Elimination Lecture 07
Mon Feb 13 Identity and Inversion Lecture 08
Wed Feb 15 Chaining and Focusing Lecture 09 Asst 2
Mon Feb 20 Natural Deduction Lecture 10
Wed Feb 22 Functional Computation Lecture 11 Asst 3
Mon Feb 27 Substructural Operational Semantics Lecture 12
Wed Feb 29 Forward Chaining linlam.clf Lecture 13 Asst 4
Mon Mar 5 Pi-Calculus Revisited Lecture 14
Wed Mar 7 Midterm Exam Sample Solution
Mon Mar 12 Spring Break
Wed Mar 14 Spring Break
Mon Mar 19 Ordered Logic Ollibot Lecture 15
Wed Mar 21 Ordered Forward Chaining Examples Lecture 16
Mon Mar 26 Backward Chaining Lecture 17
Wed Mar 28 Resource Management [CHP00] Lecture 18
Mon Apr 2 Unification Lecture 19
Wed Apr 4 Monadic Logic Programming [LPPW05]   Code Lecture 20
Mon Apr 9 A Concurrent Logical Framework [WCPW02] [CPWW02] Lecture 21 Asst 5
Wed Apr 11 Concurrent Monadic Computations Code Lecture 22
Mon Apr 16 Resource Semantics Lecture 23
Wed Apr 18 Embedding Linear Logic in Intuitionistic Logic [RP10] Lecture 24 Asst 6
Mon Apr 23 Classical Linear Logic [A92] [CCP03] Lecture 25
Wed Apr 25 Mix and Proof Nets [BvdW94] Lecture 26
Mon Apr 30 Implicit Computational Complexity [H03] [AS02] Lecture 27
Wed May 2 Asynchronous Session Types [DYCPT 2012] Lecture 28 Asst 7
Tue May 8 Final Exam, 8:30-11:30am, GHC 4215 Sample Solution

[ Home | Schedule | Assignments | Handouts | Software | Resources ]

fp@cs
Frank Pfenning