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
  • Strategic reasoning
  • Formal methods for security
  • Diagnosis and Control Theory

TEACHING TOPICS

  • Logic
  • Automata    
  • Algorithmics
  • Model checking

HEADLINES

  • R Ramanujam has been awarded The Indira Gandhi Prize for popularization of science for 2020
  • CSL 2021 (PC) 29th International Conference on Computer Science Logic January 11-14, 2021, Athens, Greece
  • AiML 2020 (PC) 13th Conference on Advances in Modal Logic. 17-21 August 2020, University of Helsinki.
  • AAMAS 2020 (PC) Int. Conf. on Autonomous Agents and Multiagent Systems May 9-13,2020, Auckland, NZ
    + TAB satellite event LAMAS 2020 (PC) 10th International Workshop on Logical Aspects of Multi-Agent Systems.
  • FMAI 2020 (PC) International Workshop on Formal Methods in AI. March 26-27, 2020, London, UK.
  • AAAI 2020 (PC) 34th AAAI Conference on Artificial Intelligence. February 7-12, 2020, Hilton New York, USA.
  • Congrès annuel de la Société Informatique de France, Lyon 4 et 5 février 2020
  • TIME 2019 (co-Chair) 26th Int. Symp. on Temporal Representation and Reasoning. Oct. 16-19, 2019, Malaga.
  • HOT TOPICS



    PROJECTS and SOFTWARES

    PERMANENT EVENTS/LINKS

    MEMBERSHIP


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