Two PhD student positions: belief revision / model checking, Toulouse (France)

Two PhD projects are proposed by the LILaC research group at IRIT, at the University of Toulouse, France:
1) Belief revision for modal and epistemic logic. Supervisory team: Johnathan Ben-naim and Andreas Herzig (bennaim at irit.fr , herzig at irit.fr)
2) Model checking and automated mechanism design. Supervisory team: Guillaume Feuillade and Laurent Perrussel (guillaume.feuillade at irit.fr, laurent.perrussel at ut-capitole.fr)

The selection of applicants will be in two steps: first at department level (April), then an interview at the doctoral school level (May). For more information and for applications please write to the contact persons of the relevant project.