[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Since the pioneering work of Richard Montague, lambda-calculus, 
higher-order logic, and type theory have been
widely used in natural language semantics.  The following announcement 
concerns  this line of research.

------------------------------------------------

    PhD Position at INRIA-Lorraine, Nancy (France)


Topic: Expressing discourse dynamics through continuations

Applications are invited for a Ph.D. student to work on a three-year
INRIA funded Ph.D. project, in the field of computational linguistics.
The candidate will work in Nancy, in the east of France, under the
supervision of Philippe de Groote, in the INRIA team Calligramme.

Applicants must have a Master's degree in Computer Science or equivalent
qualification.  Additional information is available at:

    http://www.loria.fr/%7Edegroote/PhDproposal.html

Putative candidates are requested to send an email to Philippe de Groote
<[EMAIL PROTECTED]> for further enquiry.

Reply via email to