Search
Nils Morawietz (LaBRI) Title: A Parameterized-Complexity Framework for Finding Local Optima Abstract: Local search is a fundamental optimization
ATTENTION: 10:45 Guillaume Lagarde (LaBRI) Title: Analyzing and Leveraging the k-Sensitivity of LZ77 Abstract: We study the sensitivity of the Lempel
Philippe Gireaudeau will defend her thesis entitled: "Tangible and augmented interactions to discover, understand and learn"
Marie-Christine Rousset will give a seminar (in English), on the occasion of the defense of Quentin Manière's thesis.
Guillaume Lagarde has been appointed by the French Ministry of Higher Education, Research and Innovation (MESRI) to work alongside Hugo Gimbert and
Hussein Kazemi (LaBRI) Title: Trajectory visibility at first sight Abstract: Let P be a simple polygon with n vertices, and let two moving entities q
The tree-independence number of a graph is the analogue of treewidth where, instead of minimising the size of bags, we minimise the size of a stable
Presentation on the software engineering issues involved in the development of the Coq proof assistant
Combinatorics is the study of discrete structures that appear in computer science, mathematics, statistical physics, biology, and indeed everywhere