Van-Giang Trinh
Department of Computer Science, Faculty of Computer Science and Engineering
Ho Chi Minh City University of Technology
268 Ly Thuong Kiet, Dien Hong Ward, Ho Chi Minh City, Vietnam

 

Talks & Seminars

  • 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