From: retore <christian.retore-BktLLJ5BOkI@public.gmane.org>
To: Categories Mailing List <categories-59hdLBrVOVU@public.gmane.org>,
types-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB@public.gmane.org,
types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org,
ProofTheory.List-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org
Subject: "logic, categories, semantics" Bordeaux November 12-13
Date: Thu, 23 Sep 2010 23:12:21 +0200 [thread overview]
Message-ID: <0C1DB5B2-7A4E-4E0C-BC71-B6E020CFDE8D@labri.fr> (raw)
[-- Attachment #1: Type: text/plain, Size: 108 bytes --]
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[-- Attachment #2.1: Type: text/plain, Size: 1635 bytes --]
We are glad to announce the workshop
"logic, categories, semantics"
to be held in Bordeaux on November 12-13
http://www.labri.fr/perso/retore/LCS/index.html
Speakers:
Michele Abrusci (Università 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çois Lamarche (INRIA, LORIA, Nancy)
Paul-André Melliès (CNRS, PPS, Paris)
Michael Moortgat (Universiteit Utrecht)
Carl Pollard (Ohio State University, Columbus)
Anne Preller (LIRMM, Université de Montpellier)
Thomas Streicher (Technische Universität 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é
http://www.labri.fr/perso/retore/LCS/index.html
[-- Attachment #2.2: Type: text/html, Size: 2317 bytes --]
next reply other threads:[~2010-09-23 21:12 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-09-23 21:12 retore [this message]
-- strict thread matches above, loose matches on Subject: below --
2010-09-23 21:12 retore
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=0C1DB5B2-7A4E-4E0C-BC71-B6E020CFDE8D@labri.fr \
--to=christian.retore-bktllj5boki@public.gmane.org \
--cc=ProofTheory.List-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org \
--cc=categories-59hdLBrVOVU@public.gmane.org \
--cc=types-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB@public.gmane.org \
--cc=types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).