Talks & Seminars

• Logic, Dynamics, and Optimization: Formal Foundations and Automated Reasoning
  Center for Environmental Intelligence (CEI) seminar, 28 October 2026, 10:30–11:30
  Room D212, VinUniversity, Hanoi, Vietnam

• From Graph Structure to Argumentation Semantics: A Dynamics-Based Analysis of Abstract Argumentation Frameworks
  Knowledge Technology Laboratory (KTLab) seminar, 20 August 2026, 15:00
  Room 405, Building E3, University of Engineering and Technology, VNU-Hanoi, Vietnam

• From Graph Structure to Argumentation Semantics: A Dynamics-Based Analysis of Abstract Argumentation Frameworks
  Thematic Semester "Graphs and Beyond" (Lecture 4), 11 August 2026, 09:30–11:00
  Institute of Mathematics, Hanoi, Vietnam

• Scalable enumeration of trap spaces in Boolean networks via answer set programming
  PTIT seminar, 28 August 2025
  Hanoi, Vietnam
• Scalable enumeration of trap spaces in Boolean networks via answer set programming
  HUS seminar, 27 August 2025
  Hanoi, Vietnam
• Connecting Abstract Argumentation Frameworks and Boolean Networks
  Joint seminar of the Department of Discrete Mathematics, Probabilily Theory and Statistics, and the ICRTM, 12 August 2025
  Hanoi, Vietnam
• Scalable enumeration of trap spaces in Boolean networks via answer set programming
  MLLab seminar, 07 August 2025
  Hanoi, Vietnam
• On the Trap Space Semantics of Normal Logic Programs
  LIRICA seminar, 26 June 2025
  St Charles, Marseille
• Graphical conditions for the existence, unicity and number of regular models
  LIRICA seminar, 25 November 2024
  St Charles, Marseille
• Trap spaces of multi-valued networks: definition, computation, and applications
  MABioS seminar, 30 September 2024
  Luminy, Marseille
• Trap spaces of Boolean networks are conflict-free siphons of their Petri net encoding
  Seminar on Mathematical Foundations for Computer Science, 20 August 2024
  Hanoi, Vietnam
• Scalable enumeration of trap spaces in Boolean networks via answer set programming
  UET seminar, 19 August 2024
  Hanoi, Vietnam
• Scalable enumeration of trap spaces in Boolean networks via answer set programming
  CSE-HCMUT seminar, 12 August 2024
  Ho Chi Minh City, Vietnam
• Trap spaces of multi-valued networks: definition, computation, and applications
  Journées annuelles 2024 du GT Bioss, 27 May 2024
  LIP6, Paris
• Scalable enumeration of trap spaces in Boolean networks via answer set programming
  LIRICA seminar, 25 March 2024
  St Charles, Marseille
• Trap spaces of Boolean networks are conflict-free siphons of their Petri net encoding
  Lifeware seminar, 30 November 2023
  INRIA, Saclay
• Efficient enumeration of fixed points in complex Boolean networks using answer set programming
  IRISA seminar, 30 November 2023
  IRISA, Rennes
• Efficient enumeration of fixed points in complex Boolean networks using answer set programming
  LIRICA seminar, 20 November 2023
  St Charles, Marseille
• Efficient enumeration of fixed points in complex Boolean networks using answer set programming
  Demi Journées du Pôle Calcul on Artificial Intelligence, 15 June 2023
  Luminy, Marseille
• Trap spaces of Boolean networks are conflict-free siphons of their Petri net encoding
  CANA seminar, 30 May 2023
  Luminy, Marseille
• An approach based on ASP and Petri nets for the calculation of attractors in Boolean networks
  Journées BioLogique BIOSS/CAVIAR, 25 May 2023
  LIP6, Paris
• Efficient enumeration of minimal trap spaces in large-scale Boolean networks of gene networks
  Journées Scientifiques du LIS, 23 May 2023
  Carry le Rouet
• Minimal trap spaces of Boolean models are maximal siphons of their Petri net encoding
  LIRICA seminar, 17 October 2022
  St Charles, Marseille
• An FVS-based approach to attractor detection in asynchronous Boolean networks
  LIRICA seminar, 28 June 2021
  Virtual