Van-Giang Trinh
Lifeware team, Inria Saclay
Bâtiment Alan Turing, Campus de l'École Polytechnique
1 rue Honoré d'Estienne d'Orves 91120 Palaiseau, France

 

Talks & Seminars

  • 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.