From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/6202 Path: news.gmane.org!not-for-mail From: retore Newsgroups: gmane.comp.science.types.announce,gmane.science.mathematics.categories Subject: "logic, categories, semantics" Bordeaux November 12-13 Date: Thu, 23 Sep 2010 23:12:21 +0200 Message-ID: <0C1DB5B2-7A4E-4E0C-BC71-B6E020CFDE8D@labri.fr> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 (Apple Message framework v1081) Content-Type: multipart/mixed; boundary="===============8029252778181132361==" X-Trace: dough.gmane.org 1285276750 4283 80.91.229.12 (23 Sep 2010 21:19:10 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Thu, 23 Sep 2010 21:19:10 +0000 (UTC) To: Categories Mailing List , types-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB@public.gmane.org, types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org, ProofTheory.List-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org Original-X-From: types-announce-bounces-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org Thu Sep 23 23:19:07 2010 Return-path: Envelope-to: gcst-types-announce-Uylq5CNFT+jYtjvyW6yDsg@public.gmane.org Original-Received: from rhizome.seas.upenn.edu ([158.130.69.24]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1OytC4-0003rp-Vb; Thu, 23 Sep 2010 23:19:05 +0200 Original-Received: from RHIZOME.SEAS.UPENN.EDU (LOCALHOST.upenn.edu [127.0.0.1]) by rhizome.seas.upenn.edu (8.14.3/8.12.8) with ESMTP id o8NLE1ZR008842; Thu, 23 Sep 2010 17:14:14 -0400 X-Mailman-Handler: $Id: mm-handler,v 1.2 2002/04/05 19:41:09 bwarsaw Exp $ Original-Received: from telepathy.seas.upenn.edu (telepathy.SEAS.UPENN.EDU [158.130.68.71]) by rhizome.seas.upenn.edu (8.14.3/8.12.8) with ESMTP id o8NLCZT9008780 for ; Thu, 23 Sep 2010 17:12:35 -0400 Original-Received: from iona.labri.fr (iona.labri.fr [147.210.8.143]) by telepathy.seas.upenn.edu (8.14.3/8.13.6) with ESMTP id o8NLCTVJ002479 for ; Thu, 23 Sep 2010 17:12:34 -0400 Original-Received: from localhost (localhost.localdomain [127.0.0.1]) by iona.labri.fr (Postfix) with ESMTP id 6115436B67; Thu, 23 Sep 2010 23:12:23 +0200 (CEST) X-Virus-Scanned: amavisd-new at labri.fr Original-Received: from iona.labri.fr ([127.0.0.1]) by localhost (iona.labri.fr [127.0.0.1]) (amavisd-new, port 10027) with LMTP id ol6mi+9Bx3VX; Thu, 23 Sep 2010 23:12:23 +0200 (CEST) Original-Received: from new-host.home (ABordeaux-257-1-175-224.w90-60.abo.wanadoo.fr [90.60.206.224]) (using TLSv1 with cipher AES128-SHA (128/128 bits)) (Client did not present a certificate) by iona.labri.fr (Postfix) with ESMTP id 9A0EE36B5A; Thu, 23 Sep 2010 23:12:22 +0200 (CEST) X-Mailer: Apple Mail (2.1081) X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10432:5.0.10011, 1.0.148, 0.0.0000 definitions=2010-09-23_12:2010-09-23, 2010-09-23, 1970-01-01 signatures=0 X-Spam-Level: X-Proofpoint-Spam-Details: rule=spam_score_tagging policy=default score=0 spamscore=0 ipscore=0 phishscore=0 bulkscore=0 adultscore=0 classifier=spam adjust=0 reason=mlx engine=5.0.0-1005130000 definitions=main-1009230186 X-Proofpoint-SpamScore: 0 X-Mailman-Approved-At: Thu, 23 Sep 2010 17:14:00 -0400 X-BeenThere: types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org X-Mailman-Version: 2.1.12 Precedence: list List-Id: Announcements of interest to the TYPES community List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: types-announce-bounces-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org Errors-To: types-announce-bounces-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org Xref: news.gmane.org gmane.comp.science.types.announce:1951 gmane.science.mathematics.categories:6202 Archived-At: --===============8029252778181132361== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline [ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] --===============8029252778181132361== Content-Type: multipart/alternative; boundary=Apple-Mail-12--121019824 --Apple-Mail-12--121019824 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=iso-8859-1 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 --Apple-Mail-12--121019824 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=iso-8859-1
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) 
Nicholas = Asher (CNRS, IRIT, Toulouse) 
Pierre Cartier (IHES, = Orsay) 
Dion Coumans / Mai Gehrke (Radbout Universiteit = Nijmegen) 
Jean-Yves Girard (CNRS, IML, = Marseille) 
Fran=E7ois Lamarche (INRIA, LORIA, = Nancy)
Paul-Andr=E9 Melli=E8s (CNRS, PPS, Paris) 
Michael = Moortgat (Universiteit Utrecht) 
Carl Pollard (Ohio State = University, Columbus) 
Anne Preller (LIRMM, Universit=E9 de = Montpellier) 
Thomas Streicher (Technische Universit=E4t = Darmstadt)
Steve Vickers (University of = Birmingham)

Topic of the = workshop    
 
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. 

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


= --Apple-Mail-12--121019824-- --===============8029252778181132361==--