Hugo Herbelin (INRIA, Paris, France), TBA

Schedule

  • Feb. 13, 2012, 11:00 - 12:30: Classical logic and control operators
  • Feb. 16, 2012, 11:00 - 12:30: Proving with delimited control
  • Feb. 17, 2012, 11:00 - 12:30: On the use of side effects in logic

Attachments