Sophie Pinchinat

PUBLICATIONS

TALKS

STUDENTS

TEACHING

short CV

USEFUL LINKS



-

Full Professor
at ISTIC (Department of Electrical Engineering and Computer Science) University of Rennes 1
Research Scientist in the LogicA research team at IRISA / INRIA Rennes - Bretagne Atlantique
Assistant Tifenn Donguy (Tifenn.Donguy[at]irisa.fr and +33(0)2 99 84 74 37)
Offices and telephone +33 (0)2 99 84 72 54 in B119 at IRISA / +33 (0)2 23 23 39 21 in D286 at ISTIC
Address / IRISA / Campus Universitaire de Beaulieu / 263 Avenue du Général Leclerc - Bât 12 / 35042 Rennes Cedex / FRANCE

RECENT OR FORTHCOMING EVENTS

  • FSTTCS 2016 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Chennai Mathematical Institute, Chennai. December 13-15, 2016.
  • CSL 2016 25th EACSL Annual Conference on Computer Science Logic, Marseille, France August 29 - September 1
  • SR 2016 4th International Workshop on Strategic Reasoning Satellite Workshop of LICS 2016, July 9-10, 2016, New York City, USA
  • GraMSec 2016 3rd International Workshop on Graphical Models for Security Lisbon, Portugal - June 27, 2016, Co-located with CSF 2016
  • WODES 2016 13th International Workshop on Discrete Event Systems, Xi'an, China, May 30 - June 1,2016.
  • Cassting 2016 Cassting Workshop at ETAPS 2016 Eindhoven (NL), 2-3 April 2016
  • PERMANENT EVENTS/LINKS

    HOT TOPICS

    RESEARCH

    • Logic, Automata and Games
    • Imperfect Information
    • Knowledge, Uncertainty
    • Synthesis problems
    • Diagnosis, Opacity and Control Theory

    TEACHING

    • Logic and Automata    
    • Game Theory
    • Verification
    • Algorithmics

    NETWORKS and PROJECTS

    RESPONSABILITIES