Seminar on Linear Logic and Applications
(CS 359 - Winter 99)

Schedule of Lectures

 

  1. We 1/6   Sequent Calculus (Iliano Cervesato)
  2. Fr 1/8   Sequent Calculus (Iliano Cervesato)

  3. Fr 1/15 - A   Linear Sequent Calculi (Iliano Cervesato)
  4. Fr 1/29 - B Linear Sequent Calculi (Iliano Cervesato)

  5. Fr 1/22 - A 2.30-3.45 Cut Elimination in Linear Logic (Iliano Cervesato)
  6. Fr 1/22 - B 4.00-5.15 Cut Elimination in Linear Logic (Iliano Cervesato)

  7. Fr 1/29 - A Linear logic for Natural Language (John Fry)
  8. Fr 1/29 - B Linear logic for Natural Language (John Fry)

  9. Fr 2/12 - A Intuitionistic Linear Logic Programming (Clark Barrett)
  10. Fr 2/12 - B Intuitionistic Linear Logic Programming (Clark Barrett)

  11. Fr 2/19 - A Linear context management (Iliano Cervesato)
  12. Fr 2/19 - B Natural deduction for Intuitionistic linear logic (Iliano Cervesato)

  13. Mo 2/22
    (room 400)         		Decidability and Complexity (Aaron Stump)
  14. Fr 2/26 - A Hilbert-style axiomatization of linear logic (Vaugham Pratt)
  15. Fr 2/26 - B Typed lambda-calculus and the Curry-Howard Isomorphism (Iliano Cervesato)

  16. Fr 3/5 - A Pi-Calculus as a Theory in Linear Logic (Nancy Durgin)
  17. Fr 3/5 - B Linear Functional Programming (Ajay Chander)

  18. Fr 3/12 - A Linear Explicit Substitutions (Valeria de Paiva)
  19. Fr 3/12 - B Linear logic and lambda-terms (Grigori Mints)

Iliano Cervesato