You have been invited to join

Séminaire MF

G
Guillaume Lagarde (Owner)

Public Room Recordings

Name Thumbnails Length Users Visibility Formats
Richard Combes -- Solving Random Parity Games in Polynomial Time        
Recorded on October 20, 2020
50 min 25
Public
Presentation
Igor Konnov -- Using TLA+ and Apalache to specify and check the Tendermint light client
Recorded on October 06, 2020
1 h 12 min 23
Public
Presentation
Mikael Monet -- Counting Problems over Incomplete Databases
Recorded on September 29, 2020
42 min 24
Public
Presentation
Loïc Paulevé -- Boolean networks: semantics, complexity, and abstraction of quantitative systems 
Recorded on September 22, 2020
52 min 15
Public
Presentation
Damien Busatto-Gaston -- Monte Carlo Tree Search guided by Symbolic Advice for MDPs
Recorded on September 15, 2020
59 min 14
Public
Presentation
Guillermo A. Perez -- Safe Learning for Near Optimal Scheduling
Recorded on September 08, 2020
52 min 19
Public
Presentation
Helmut Seidl -- When Is a Bottom-up Deterministic Tree Transducer Top-down Deterministic?
Recorded on June 30, 2020
57 min 25
Public
Presentation
Elena Gutierrez -- A Congruence-based Perspective on Automata Minimization Algorithms
Recorded on June 23, 2020
46 min 36
Public
Presentation
Ana Ozaki -- Learning Description Logic Ontologies
Recorded on June 02, 2020
52 min 29
Public
Presentation
Abhishek De -- A parallel syntax for non-wellfounded proof theory
Recorded on May 26, 2020
50 min 17
Public
Presentation
Antoine Amarilli -- Query evaluation on probabilistic data: a story of dichotomies
Recorded on May 19, 2020
1 h 4 min 27
Public
Presentation
Thibault Godin -- Order problem for automaton semigroups
Recorded on May 05, 2020
1 h 1 min 49
Public
Presentation
Filip Mazowiecki -- On polynomial recursive sequences
Recorded on April 21, 2020
1 h 2 min 33
Public
Presentation
Cookies help us deliver our services. By using our services, you agree to our use of cookies.