From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2279 Path: news.gmane.org!not-for-mail From: "Proof Theory, Computation and Complexity" Newsgroups: gmane.science.mathematics.categories Subject: Proof Theory, Computation and Complexity Summer School and Workshop Date: Mon, 12 May 2003 19:58:55 +0200 Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" ; format="flowed" Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1241018546 3370 80.91.229.2 (29 Apr 2009 15:22:26 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:22:26 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Tue May 13 16:31:07 2003 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Tue, 13 May 2003 16:31:07 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 19FfQi-0003AE-00 for categories-list@mta.ca; Tue, 13 May 2003 16:27:16 -0300 X-Sender: kimail@Janeway.Inf.TU-Dresden.DE Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 14 Original-Lines: 84 Xref: news.gmane.org gmane.science.mathematics.categories:2279 Archived-At: Summer School and Workshop on Proof Theory, Computation and Complexity =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Technische Universitaet Dresden June 23-July 4, 2003 Call for Participation ---------------------- We plan the following courses and workshop for graduate students and researchers. Like for last year's events on `Proof Theory and Computation=B4 (Dresden) and `Proof, Computation, Complexity=B4 (Tuebingen), we aim at a meeting where people have plenty of time to exchange ideas. The summer school consists of eight advanced courses; the workshop is integral part of the school and takes place in the last two days. We ask for a participation fee of 100 EUR. A limited number of grants covering all expenses is available. Registration is requested before May 25, 2003; please send an email to PTEvent@Janeway.Inf.TU-Dresden.DE, making sure you include a very brief bio (5-10 lines) stating your experience, interests, home page, etc. We will select applicants in case of excessive demand. We will provide assistance in finding an accommodation in Dresden. Week 1, June 23-27: courses on Denotational Semantics of Lambda Calculi Achim Jung (Birmingham, UK) Semantics and Cut-elimination for Church's (Intuitionistic) Theory of Types, with Applications to Higher-order Logic Programming Jim Lipton (Wesleyan, USA) Five Lectures on Proof-Analysis Sara Negri (University of Helsinki and Academy of Finland) Mass Problems Stephen Simpson (Penn State, USA) Week 2 June 30-July 2: courses on Dependent Type Theories Peter Aczel (Manchester, UK) Term-rewriting and Termination in Proof Theory Roy Dyckhoff (St Andrews, Scotland) Proof Theory with Deep Inference Alessio Guglielmi (Dresden, Germany) Natural Deduction: Some Recent Developments Jan von Plato (Helsinki, Finland) July 3-4: workshop Please consult the workshop web page: . Venue ----- Dresden, on the river Elbe, is one of the most important art cities of Germany. You can find world-class museums and wonderful architecture and surroundings. We will organize trips and social events. Organization ------------ This event is organized by Paola Bruscoli, Birgit Elbl, Bertram =46ronh=F6fer, Alessio Guglielmi, Reinhard Kahle, Charles Stewart and the AI Institute at TU Dresden, and sponsored by Deutscher Akademischer Austausch Dienst, IQN (Rational mobile agents and systems of agents), Graduiertenkolleg 334 (Specification of discrete processes and systems of processes by operational models and logics) and Consolato Generale d'Italia - Lipsia/Italienisches Generalkonsulat in Leipzig. Please distribute this message broadly.