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 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 Presentation
Mikael Monet -- Counting Problems over Incomplete Databases
Recorded on September 29, 2020
42 min 24 Presentation
Loïc Paulevé -- Boolean networks: semantics, complexity, and abstraction of quantitative systems 
Recorded on September 22, 2020
52 min 15 Presentation
Damien Busatto-Gaston -- Monte Carlo Tree Search guided by Symbolic Advice for MDPs
Recorded on September 15, 2020
59 min 14 Presentation
Guillermo A. Perez -- Safe Learning for Near Optimal Scheduling
Recorded on September 08, 2020
52 min 19 Presentation
Helmut Seidl -- When Is a Bottom-up Deterministic Tree Transducer Top-down Deterministic?
Recorded on June 30, 2020
57 min 25 Presentation
Elena Gutierrez -- A Congruence-based Perspective on Automata Minimization Algorithms
Recorded on June 23, 2020
46 min 36 Presentation
Ana Ozaki -- Learning Description Logic Ontologies
Recorded on June 02, 2020
52 min 29 Presentation
Abhishek De -- A parallel syntax for non-wellfounded proof theory
Recorded on May 26, 2020
50 min 17 Presentation
Antoine Amarilli -- Query evaluation on probabilistic data: a story of dichotomies
Recorded on May 19, 2020
1 h 4 min 27 Presentation
Thibault Godin -- Order problem for automaton semigroups
Recorded on May 05, 2020
1 h 1 min 49 Presentation
Filip Mazowiecki -- On polynomial recursive sequences
Recorded on April 21, 2020
1 h 2 min 33 Presentation
Cookies help us deliver our services. By using our services, you agree to our use of cookies.