Hello, there is a new list dedicated to proof theory: please find more info and a list of subscribers at <http://www.ki.inf.tu-dresden.de/~guglielm/Research/list.html>. -Alessio -- Alessio Guglielmi, PhD Department of Computer Science - Technische Universitaet Dresden Dresden - Germany <http://www.ki.inf.tu-dresden.de/~guglielm/>