here is an interesting opportunity for international mobility of PhD
students to come to the big IRISA/Inria lab of Rennes, France.
If you are a interested in a research stay in our LogicA team
(http://www-logica.irisa.fr/) on a topic among:
* Logics for information change and infinite structures
* Logics for strategic reasoning in multi-agents systems and
multi-player games
* Language theory and logic for the design of attack trees
please let me know.
Important dates are:
# October 15, 2023: call for applications closes
# October 17, 2023: candidate files sent to Doctoral Schools
# November 10, 2023: selection panel for awarding grants
# November 17, 2023: results notified to candidates
# January 01, 2024: first outgoing mobility departures
With best regards,
Sophie Pinchinat -- "Computer Science is the Mechanization of
Abstraction" -- Aho and Ullman 1992 --
http://people.irisa.fr/Sophie.Pinchinat/ alternative email:
sophie.pinchinat@univ-rennes.fr Institut de Recherche en Informatique et
Systemes Aleatoires Campus Universitaire de Beaulieu 35042 Rennes Cedex
- FRANCE Wk +33 (0)2 99 84 72 54 or my assistant Sophie Maupilé +33 (0)2
99 84 71 26 - Fax +33 (0)2 99 84 71 71
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
