Detailed information about the course
Winter School in Proof and Computation
Sunday January 27th (afternoon) to Thursday January 31st (morning) 2013
|Responsable de l'activité||
Prof. Dr. Gerhard Jäger (Chair), Institut für Informatik und angewandte Mathematik, Universität Bern;
Mai Gehrke, Université Paris Diderot – Paris 7, France
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|