• . . p. .

    Conference articles without published proceedings

    1. Philippe Balbiani, Olivier Gasquet, François Schwarzentruber. Knowledge reasoning in Lineland. Dans : Advances in Modal Logic, Moscow, 24/08/2010-27/08/2010.
    2. Philippe Balbiani, Olivier Gasquet, François Schwarzentruber. Représentation des connaissances dans flatland. Dans : RTE (Représentation du Temps et de l'Espace) dans RFIA 2010 (Représentation des Formes et Intelligence Artificielle), Caen, 19/01/2010-22/01/2010.  
    3. Olivier Gasquet, Bilal Said, François Schwarzentruber. A semantics for an event based generic tableau prover (student paper). Dans : International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2009), Oslo, Norway, 06/07/2009-10/07/2009, University of Oslo, p. 1-15, juillet 2009.
    4. François Schwarzentruber. Knowledge about lights along a line. Dans : FAMAS'09, Turino, Italia, 07/09/2009-11/09/2009.
    5. François Schwarzentruber. A non-normal geometric logic related to the coalition logic. Dans : DGL 2008, ILLC, Amsterdam, 30/06/2008-02/07/2008.


    1. Olivier Gasquet, Bilal Said, François Schwarzentruber. A semantics for an event based generic tableau prover (long version). Rapport de recherche, IRIT/RT--2009-2--FR, IRIT, avril 2009.
    2. François Schwarzentruber. Décidabilité et complexité de la logique normale des coalitions. Rapport de Master, IRIT, juin 2007.
    3. François Schwarzentruber. Seeing, knowing, doing: case studies in modal logic. Thèse de doctorat, Université Paul Sabatier, décembre 2010.


    1. IME (Institut médico-éducatif) Le 3 Mâts, Betton, 23 january 2017. Discussion for a potential software for children. Slides
    2. Intelligent artificial agents that detect and produce lies Lorentz center workshop. The Invention of Lying: Language, Logic & Cognition from 9 Jan 2017 through 13 Jan 2017. Slides
    3. Overview about Epistemic planning A decade of ICR, Luxembourg, 17-18 march 2016
    4. Asynchronous announcements in a public channel at the rump session at the workshop 'To be announced', 17-21 august 2015 (link: extended abstract)
    5. Tutorial: Dynamic epistemic logic and complexity results, Labex Cimi, 22 june 2015
    6. Arbitrary public announcement logic with mental programs, Labex Cimi, 23 june 2015
    7. Arbitrary public announcement logic with mental programs, ANR DynRes meeting, 13 april 2015
    8. Flatland logic Kanazawa Workshop for Epistemic Logic and its Dynamic Extensions, 21-22 february 2014.
    9. Big Brother Logic. 68NQRT, IRISA, Rennes (Mini workshop for the PhD defense of Bastien Maubert), 16 january 2014
    10. Flatland logic: robots and cameras. "Planning with epistemic goals". Dagstuhl seminar. 15 january 2014
    11. On the Complexity of Dynamic Epistemic Logic. International workshop "Believing, planning, acting, revising", 5 july 2013.
    12. Flatland logic. VaToMAS Dagstuhl seminar, 1 may 2013.
    13. About Automated Reasoning and Dynamic Epistemic Logic. Free university of Bolzano, 19 june 2012.
    14. One hour Tour in STIT Countryside. University of Luxembourg, 21 may 2012.
    15. Tableau Method and NEXPTIME-Completeness of DEL-Sequents. University of Luxembourg, 27 february 2012.
    16. Tableau Method and NEXPTIME-Completeness of DEL-Sequents. Ruhr-Universität Bochum, 26 january 2012.
    17. Complexity results of STIT fragments. Ruhr-Universität Bochum, 19 january, 2012.
    18. Trois applications de la logique modale. CAPP-café. LIG, Grenoble, 5 may 2011.
    19. Seeing, knowing, doing. 68NQRT, IRISA, Rennes, 31 march 2011.
    20. Quelques outils pédagogiques pour un cours de logique, séminaire pédagogique, IRISA, Rennes, 29 march 2011.
    21. Seeing, knowing, doing. Saarbrucken, Max Planck Institute, 14 december 2010.


    1. DISTOL (DIStributed and STOchastic systems, Logic)

    Other scientific activities

    1. Organizer of TTL2015
    2. PC member of PRIMA2015, AAMAS 2015, DARe-15@IJCAI2015, DARe-14@ECAI2014, CLIMA2014, IDAS@ESSLLI2014, IJCAI2011
    3. Local organizer of LOFT 2010
    4. Reviewer for COMSOC 2008, AiML 2008, AAMAS 2009, ICAART 2010, M4M 2010, AiML 2010, AAAI 2011, TARK 2011, TARK 2013, AAMAS 2013, MSR 2013, MAROC 2013, AAMAS 2014, AIMSA2014, AiML2014
    5. Reviewer for Synthese, JANCL, Studia Logica, The Review of Symbolic Logic


    1. Tristan Charrier. PhD, 2015-201?. Epistemic planning in a multi-robot system.
    2. Tristan Charrier. MSc thesis, 2014. Communications with cameras in epistemic modal logic..
    3. Gaspard Douady. MSc thesis, 2013. An automaton approach to Kripke semantics (co-supervised with Sophie Pinchinat)