• A short introduction to subset space logics, Modal Logic Seminars (Seminar, Istanbul, Turkey), 2013.
  • Completeness and definability of a modal logic interpreted over iterated strict partial orders, International Workshop on Topological Methods in Logic III (Workshop, Tbilisi, Georgia), 2012.
  • Sahlqvist theorems for precontact logics, Modal Logic Seminars (Seminar, Istanbul, Turkey), 2012.
  • Region-based theories of space, La logique et ses applications (Conference, Toulouse, France), 2012.
  • Modal logics based on the derivative operation in topological spaces, Theories of Space and Time: Algebraic, Topological and Logical Approaches (Workshop, Gueletchica, Bulgaria), 2011.
  • Spatial reasoning, Cinquièmes journées de l'intelligence artificielle fondamentale (Conference, Lyon, France), 2011, in collaboration with Jean-François Condotta.
  • Formal concept analysis: foundations and applications, 2èmes Doctoriales STIC'11 (Conference, Tébessa, Algeria), 2011.
  • Processing and management of spatial and temporal information, Doctoriales STIC'09 (Conference, M'Sila, Algeria), 2009.
  • Time representation and temporal reasoning from the perspective of non-standard analysis, Non-Classical Logics (Seminar, Sofia, Bulgaria), 2009.
  • Complete axiomatizations of modal logics for region-based theories of space, Logic Colloquium 2009 (Conference, Sofia, Bulgaria), 2009.
  • Unconditionally safe communication protocols, Protection de l'information (Seminar, Saint-Denis, France), 2007.
  • Unconditionally safe communication protocols, Sécurité Informatique : Tendances et Applications (Thematic school, Algiers, Algeria), 2006.
  • Variants of PDL with intersection of programs, Advances in Modal Logic 2004 (Conference, Manchester, UK), 2004.
  • Processing and management of temporal information, La temporalité dans les sciences cognitives (Thematic school, Roscoff, France), 2001.
  • Spatial reasoning, Documents et évolution (Thematic school, Marseille, France), 2000, in collaboration with Philippe Muller.
  • Processing and management of spatial and temporal information, Septièmes journées nationales sur la résolution pratique de problèmes NP-complets (Conference, Lyon, France), 2000.

© 2017 LILaC