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 Sophie Maupilé
(sophie.maupile[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 INTERESTS

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

TEACHING TOPICS

  • Logic
  • Automata    
  • Algorithmics
  • Model checking

HEADLINES

  • AiML 2020 (PC) 13th Conference on Advances in Modal Logic. 17-21 August 2020, University of Helsinki.
  • SR 2019 (co-Chair) 7th International Workshop on Strategic Reasoning 11-12 August 2019 Macao, Satellite Workshop of IJCAI 2019
  • TIME 2019 (co-Chair) International Symposium on Temporal Representation and Reasoning. 16-19 October 2019
  • RADICAL 2019 (PC) Workshop on Recent Advances in Concurrency and Logic, 26 August 2019, co-located with CONCUR 2019.
  • JIAF 2019 (PC) 13èmes Journées d'Intelligence Artificielle Fondamentale, 1-3 July 2019.
  • IJCAI 2019 (PC) 28th International Joint Conference on Artificial Intelligence.
  • GraMSec 2019 (PC) 6th International Workshop on Graphical Models for Security Hoboken. 24 June 2019 Co-located with CSF 2019
  • LICS 2019 (PC) 34th Annual ACM/IEEE Symposium on Logic in Computer Science. 24–27 June 2019, Vancouver
  • Journées annuelles du GT-VERIF 17-19 juin 2019, LS2N / École Centrale - Nantes
  • FMAI 2019 (co-Chair) Second Workshop on Formal Methods and AI. 2-3 May, 2019, Rennes, France.
  • PERMANENT EVENTS/LINKS



    PROJECTS and SOFTWARES

    MEMBERSHIP

    HOT TOPICS


    Search with Qwant, the search engine that respects your privacy.