Sophie Pinchinat

PUBLICATIONS

TALKS

STUDENTS

TEACHING

short CV

USEFUL LINKS



-
 Full Professor at Univ Rennes at ISTIC
(Department of Electrical Engineering and Computer Science)
Research Scientist LogicA research team at IRISA / INRIA
Assistant Fanny Banor
(fanny.banor[at]irisa.fr and +33(0)2 99 84 71 26, office E211)
Offices and telephone +33 (0)2 99 84 72 54 in B119 at IRISA
Address Office B119/IRISA/Campus Universitaire de Beaulieu/
263 Avenue du Général Leclerc/Bât 12/35042 Rennes Cedex/FRANCE

RESEARCH

  • Logic, Automata and Games
  • Imperfect Information
  • Knowledge, Uncertainty
  • Synthesis problems
  • Formal methods for security
  • Diagnosis and Control Theory

TEACHING

  • Logic
  • Automata    
  • Algorithmics
  • Model checking

HEADLINES

  • LICS 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 24–27 June 2019, Vancouver, Canada.
  • AAMAS 2019 18th International Conference on Autonomous Agents and Multiagent Systems, May 13-17, 2019, Montreal, Canada.
  • Dynamics of MultiAgent Systems 17-21 Dec, 2018, Lorentz Center, Leiden, NL.
  • AiML 2018 Advances in Modal Logic 2018, Bern, August 27-31.
  • 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.
    		•

    PERMANENT EVENTS/LINKS


    HOT TOPICS

    NETWORKS and PROJECTS