From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1372 Path: news.gmane.org!not-for-mail From: Nuno Barreiro Newsgroups: gmane.science.mathematics.categories Subject: The LINEAR International Summer School Date: Fri, 21 Jan 2000 11:54:40 +0000 Message-ID: <38884900.195DC903__4501.52734197236$1241017783$gmane$org@di.fc.ul.pt> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1241017783 30926 80.91.229.2 (29 Apr 2009 15:09:43 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:09:43 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Fri Jan 21 15:35:04 2000 -0400 Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.9.3/8.9.3) id OAA28413 for categories-list; Fri, 21 Jan 2000 14:12:42 -0400 (AST) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f X-Mailer: Mozilla 4.6 [en] (X11; I; Linux 2.0.36 i686) X-Accept-Language: en Original-Sender: cat-dist@mta.ca Precedence: bulk Original-Lines: 58 Xref: news.gmane.org gmane.science.mathematics.categories:1372 Archived-At: The LINEAR International Summer School (Linear Logic and Applications) August 30 to September 7, 2000 Hotel Terra Nostra, S.Miguel, Azores, Portugal The Linear TMR research network (http://iml.univ-mrs.fr/LINEAR) is proud to announce its first International Summer School on Linear Logic and Applications. The school lasts one week and comprises both lectures and thematic sessions directed to young computer scientists and mathematicians interested in the field of formal logic and its applications. The lectures are in the tradition of summer schools and cover one topic, from basic material to more advanced issues. The topics and lecturers are the following: Samson Abramsky --- Game Semantics Jean-Yves Girard -- Linear Logic and Ludics Stefano Guerrini -- Proof-Nets and Lambda-Calculus Yves Lafont ------- Phase Semantics and Decision Problems Phil Scott -------- Category Theory and Concrete Models The thematic sessions will cover state-of-the-art research in Linear Logic. Each session has an organiser responsible for inviting speakers who will talk about their work. The themes and organisers are the following: Andrea Asperti ---- Applications Vincent Danos ----- Proof Theory Thomas Ehrhard ---- Semantics Glynn Winskel ----- Concurrency The school will be held in the island of S.Miguel, Azores, amid luxurious vegetation and hot water springs. The entrance to the mythic kingdom of the Atlantis is believed to be located near Hotel Terra Nostra, some say at the bottom of its famous red and hot water swimming pool... Mark the dates on your agenda now. Up-to-date information, including the application form, is being made available at http://linear.di.fc.ul.pt Don't forget to check it!