Logic List Mailing Archive

PhD student position in modal logics for reasoning about multi-agent systems, Lens (France)

The CRIL CNRS lab (Centre de Recherche en Informatique de Lens -- 
http://www.cril.fr/) offers a PhD fellowship on Modal Logics for Reasoning 
about Multi-Agent Systems. The successful candidate will start working 
around September 2012 under the supervision of Tiago de Lima. We are 
looking for candidates with a strong background in logic and artificial 
intelligence fields. The candidate should be able to show strong evidence 
that she/he will obtain a master's degree at most around September 2012. 
Interested applicants should contact Tiago de Lima, email: delima@cril.fr, 
url: http://www.cril.fr/~delima.