From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/4408 Path: news.gmane.org!not-for-mail From: lamarche@loria.fr Newsgroups: gmane.science.mathematics.categories Subject: Workshop on Deep Inference, Nancy Date: Sun, 25 May 2008 21:27:51 +0200 Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1241019929 13170 80.91.229.2 (29 Apr 2009 15:45:29 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:45:29 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Mon May 26 20:15:55 2008 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Mon, 26 May 2008 20:15:55 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1K0lff-0007Rc-5J for categories-list@mta.ca; Mon, 26 May 2008 20:00:03 -0300 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 31 Original-Lines: 31 Xref: news.gmane.org gmane.science.mathematics.categories:4408 Archived-At: (a reminder for many, an announcement for others, and perhaps something v= erging on spam for some, with apologies) The workshop Deep Inference, its Algebra, Geometry and Syntax Will be held in Nancy, France on June 18 2008. As the title implies the main theme of the workshop is deep inference, but talks on related subjects like the the improvement and abstract theory of proof formalisms are most welcome. The workshop will be held at the Loria computer science lab on Wednesday June 18 2008, starting at 10:30, so as to ensure an easy commute from Paris (there is a Paris-Nancy TGV that leaves Gare de l'Est at 8:12 and the last return train leaves Nancy at 20:15). The webpage http://www.loria.fr/~lamarche/deepinf.html contains a few more details, including suggestions for accomodation. Please contact me if you intend to attend and/or give a talk. Fran=E7ois Lamarche