Programming Logic News

Visitors to ProgLog in 2015

  26-30 Jan 2015 Guillaume Brunerie
  16-20 Feb 2015 Jesper Cockx
  13-17 Apr? 2015 Pierre Hyvernat

Visits of ProgLog members in 2015

AIM XXI 21th Agda meeting

  Wed 3 - Tue 9 Jun 2015
  Committee: Andrea, Andreas, Bengt

Historical news

AIM 12 will take place in Nottingham from Sep 1 to Sep 7, 2010.
The 2011 Spring Workshop will take place in the Ågrenska Villan on March 8, 2011
A reading course on Domain Theory will begin in late November.
The master course Types for Programs and Proofs will be given in LP1 2012.