Logic List Mailing Archive

CfA: 3-Year PhD Scholarship in Dynamic Logic and Planning at IRIT, Toulouse (France), deadline: TBC

We welcome applications for a 3 years PhD scholarship on dynamic logic and planning, to be supervised by Philippe Balbiani and Andreas Herzig. 
More details can be found here: 
https://www.irit.fr/~Andreas.Herzig/Phd_BalbianiHerzig.pdf.

Interested students should email a CV, transcripts of bachelor and master degree, and a motivation statement to balbiani@irit.fr, herzig@irit.fr.

https://www.irit.fr/~Philippe.Balbiani
https://www.irit.fr/~Andreas.Herzig

--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php