From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/6210 Path: news.gmane.org!not-for-mail From: retore Newsgroups: gmane.science.mathematics.categories Subject: "logic, categories, semantics" Bordeaux November 12-13 Date: Thu, 23 Sep 2010 23:12:21 +0200 Message-ID: Reply-To: retore NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 (Apple Message framework v1081) Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: dough.gmane.org 1285340222 10868 80.91.229.12 (24 Sep 2010 14:57:02 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Fri, 24 Sep 2010 14:57:02 +0000 (UTC) To: Categories Mailing List , Original-X-From: majordomo@mlist.mta.ca Fri Sep 24 16:56:59 2010 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtpx.mta.ca ([138.73.1.138]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1Oz9hr-00033A-7g for gsmc-categories@m.gmane.org; Fri, 24 Sep 2010 16:56:59 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:36169) by smtpx.mta.ca with esmtp (Exim 4.71) (envelope-from ) id 1Oz9h4-0008Sq-NX; Fri, 24 Sep 2010 11:56:10 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1Oz9h1-0003oh-EB for categories-list@mlist.mta.ca; Fri, 24 Sep 2010 11:56:07 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:6210 Archived-At: We are glad to announce the workshop "logic, categories, semantics"=20 to be held in Bordeaux on November 12-13 http://www.labri.fr/perso/retore/LCS/index.html Speakers: Michele Abrusci (Universit=E0 di Roma tre)=20 Nicholas Asher (CNRS, IRIT, Toulouse)=20 Pierre Cartier (IHES, Orsay)=20 Dion Coumans / Mai Gehrke (Radbout Universiteit Nijmegen)=20 Jean-Yves Girard (CNRS, IML, Marseille)=20 Fran=E7ois Lamarche (INRIA, LORIA, Nancy) Paul-Andr=E9 Melli=E8s (CNRS, PPS, Paris)=20 Michael Moortgat (Universiteit Utrecht)=20 Carl Pollard (Ohio State University, Columbus)=20 Anne Preller (LIRMM, Universit=E9 de Montpellier)=20 Thomas Streicher (Technische Universit=E4t Darmstadt) Steve Vickers (University of Birmingham) Topic of the workshop =20 =20 The relationship between logic and category theory goes back to the = seventies, with the important connection between intuitionistic logic, = sheaves and topoi (1) but it extended into other directions, in = particular the proof as morphisms semantics (2), and we also include the = study of proof normalisation (3). Ideally, the workshop will consider = the three levels of foundations , according to the terminology of = Jean-Yves Girard, as well as their mutual relationships.=20 These structures provide models of computation but also models of = meaning organisation des lexemes, phrases, sentences, discourses and = dialogues: we do not exclude the first application, but we shall = privilege the linguistic application which is quite new, although = Joachim Lambek suggested to do so more than twenty years ago. -- Jean Gillibert, Christian Retor=E9 http://www.labri.fr/perso/retore/LCS/index.html [For admin and other information see: http://www.mta.ca/~cat-dist/ ]