[PT] PhD offer

retore <[email protected]>
Newsgroups gmane.science.mathematics.prooftheory
Message-ID <[email protected]> 
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/
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.