Loading Events

Upcoming Events › Séminaire

Events Search and Views Navigation

Event Views Navigation

February 2025

D5 Seminar: Interactive molecular visualization and simulation

28 February 2025 @ 10:30 am - 12:00 pm

The next D5 Seminar, "Interactive molecular visualization and simulation: examples with UDock and VTX" will be held by Pr. Matthieu Montes, from Le CNAM, laboratory of Génomique, bioinformatique et chimie moléculaire (GBCM). The event will take place on Friday, February 28 at 10:30 a.m. in room A008. Abstract: UDock (available at https://udock.fr and on gitlab): Originally developed to gamify protein-protein docking, UDock is now an interactive multibody molecular docking software designed to explore protein interactions for research purposes but also for teaching…

Find out more »

March 2025

[Formal Methods Seminar] A scalable framework for backward bounded static symbolic execution

4 March 2025 @ 13:00 pm - 14:00 pm
A008

The next D2 seminar, entitled “A scalable framework for backward bounded static symbolic execution”, by Nicolas Bellec, will be held on March 4 at 1:00 pm in room A008. Abstract Many programs (e.g. malware) hide their behavior by using obfuscations such as opaque predicates. Automatic methods have been developed to detect such obfuscations. In this presentation, we will focus on static symbolic backward bounded execution, a method that enumerates backward bounded paths from a potential opaque predicate and uses symbolic…

Find out more »
+ Export Events