Hello, there is a new list dedicated to proof theory, which could be of some interest for Types people: please find more information and a list of subscribers at <http://www.ki.inf.tu-dresden.de/~guglielm/Research/list.html>. -Alessio -- Alessio Guglielmi Technische Universitaet Dresden <http://www.ki.inf.tu-dresden.de/~guglielm/>