[TYPES/announce] PhD offer on categorical logic (University of Bordeaux, INRIA Grant)

[retore]

The following topic is eligible for a PhD grant funded by INRIA (details and application online): 

Categorical interpretations of first order linear logic 
— with application to ontological aspects of lexical semantics
http://www.labri.fr/perso/retore/SUJETS/semantique_categorique_LL.html
(supervised by Christian Retoré INRIA & LaBRI and Jean Gillibert IMB — université de Bordeaux)

This subject involves mathematical  logic,  theoretical computer science,
category theory and topology, with some applications to the semantics of natural language. 
Please forward this announcement to every student that may be interested. 

Jean Gillibert http://www.math.u-bordeaux1.fr/~gilliber/ 
Christian Retoré http://www.labri.fr/perso/retore/

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20100429/89e5ad7a/attachment.htm