Search

Thibault Hilaire will present his thesis entitled “Coverability algorithms for Petri nets certified in Coq”.
The voice is one of the specific characteristics of each of us. What if it was studied to allow the diagnosis of certain diseases or at least their
Seminar by Anna Vanden Wyngaerd . The speaker will be at a distance on Zoom, but participants will be in room 76. Title of talk: "A sand pile model
We are interested in the definition of a complete pipeline for the exploitation of mega-data. Firstly, heterogeneous data of interest must be
Emile Barjou will submit his thesis entitled: "High-resolution phase contrast tomography".
Bruno Pinaud (SeD department, BKB team), is taking part as a speaker and trainer in the Digital Humanities Summer School: "Theory and Practice in Law
The axis "Logic, Graphs, and Languages" (leader Sylvain Lombardy) is interested in the fundamental concepts of language theory such as grammars
Yvan Le Borgne will be giving a seminar. The title of his talk: "On classical and quantum walks in welded trees" – Part 2
Adélaïde Genay, Satanas department (Manioc team), will present her thesis entitled: "Being a Virtual Avatar in a Real Environment: Design and Study of
Manh Tu Vu (PhD student in the I&S department, TAD team) will submit his thesis entitled: "Deep learning for automatic evaluation of facial