Professor of Univ Rennes at ISTIC
Electrical Engineering and Computer Science)
Research Scientist in the LogicA research team at
IRISA / INRIA Rennes -
Assistant Tifenn Donguy (Tifenn.Donguy[at]irisa.fr and +33(0)2
99 84 74 37, office E211)
Offices and telephone +33 (0)2 99 84 72 54 in B119 at
Address / IRISA / Campus Universitaire de Beaulieu / 263
Général Leclerc - Bât 12 / 35042 Rennes Cedex / FRANCE
- GraMSec 2018 5th International Workshop on Graphical Models for Security Oxford, UK - July 8, 2018.
- The Logic, Uncertainty and Games School Lake Como School of Advanced Studies - July 9-13, 2018.
- CSF 2018 31st IEEE Computer Security Foundations Symposium
, Co-located with FLOC 2018, July 9-12, 2018, Oxford, UK.
- WoLLIC 2018 25th Workshop on Logic, Language, Information and Computation July 24th to 27th, 2018, Bogota, Colombia.
- IJCAI-ECAI 2018 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence, July 13-19, 2018, Stockholm, Sweden.
- AAMAS 2018 17th International Conference on Autonomous Agents and Multiagent Systems, July 10-15, in Stockholm, Sweden.
- AiML 2018 Advances in Modal Logic 2018. Bern, August 27-31.