[Haskell] Homotopy Type Theory IRC Channel

Hello, I know there are many haskellers interested in dependent type theory so I wanted to mention that there is now an IRC channel on freenode for discussing Homotopy Type Theory (HoTT), e.g., the recent book, possible implementations, dependent type theory in general, etc. The channel is ##hott

[Haskell] Workshop on Termination (deadline extension: July 22)

13th International Workshop on Termination (WST) Centro Residenziale Universitario di Bertinoro (near Bologna, Italy) http://www.imn.htwk-leipzig.de/WST2013/ submission: July 22, 2013 notification: July 25, 2013 final version: August 10, 2013 workshop: August 29 - 31, 2013 The W