Recent Changes - Search:

ProgLog Main


ProgLog Pages


edit SideBar

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

Edit - History - Print - Recent Changes - Search
Page last modified on January 14, 2015, at 12:28 PM