Detailed information about the course

[ Back ]

Winter School in Proof and Computation


Sunday January 27th (afternoon) to Thursday January 31st (morning) 2013

Responsable de l'activité

Gerhard Jäger


Prof. Dr. Gerhard Jäger (Chair), Institut für Informatik und angewandte Mathematik, Universität Bern;
Prof. George Metcalfe (Chair), Faculté des sciences, Universität Bern
Prof. Jacques Duparc, Ecole des HEC, Université de Lausanne
Dr Laura Ciobanu, Faculté des sciences, Université de Neuchâtel


Mai Gehrke, Université Paris Diderot – Paris 7, France
Peter Jipsen, Chapman University, USA
Stanley Wainer, University of Leeds, UK
Andrea Cantini, University of Florence, Italy
Dale Miller, INRIA, Saclay, France
Hans van Ditmarsch, LORIA, Nancy & IMSc, Chennai


The twin concepts of "proof" and "computation" play a fundamental role in both mathematical logic and theoretical computer science. The aim of this CUSO Winter School in Mathematics and Computer Science is to introduce to students some important features of these concepts, focussing on topics such as proof theory and computability, duality and computation, and proof-theoretic applications in algebra. The meeting will also provide an excellent opportunity for doctoral students to meet leading practitioners in this field and hear about topics at the forefront of current research.


Hotel Les Sources, Les Diablerets


The program will consist of three one hour tutorials in the mornings, an invited lecture each evening, and free afternoons for skiing, discussion, and research.

The web page for the school is at:


All fees and travel costs for Mathematics and Computer Science doctoral students at Swiss  Universities will be covered (CUSO members will be reimbursed by CUSO, while members of other universities will be reimbursed by other funds). For other participants, the fee is CHF 636.


Please register before 16 December 2012.

CUSO members should register using the registration link above and also send an email to George Metcalfe at george.metcalfe(at)math.unibe(dot)ch . 

Non-CUSO members who want to participate, please contact George Metcalfe at george.metcalfe(at)math.unibe(dot)ch directly.



Deadline for registration 16.12.2012
short-url short URL

short-url URL onepage