Speakers

  • Sandrine Blazy (IRISA, Rennes University, France): From mechanized semantics to verified compilation
  • Matthias Függer (CNRS, LMF, ENS Paris-Saclay, France): Distributed Computing x Cells
  • Pierre Ganty (IMDEA Software Institute, Madrid, Spain): A Uniform Framework for Language Inclusion Problems
  • Hugo Gimbert (CNRS, LaBRI, Bordeaux, France): title TBA
  • Nils Jansen (Ruhr-University Bochum, Germany): title TBA
  • Bas Luttik (Eindhoven University of Technology, The Netherlands): title TBA
  • Daniela Petrişan (IRIF, Univ. Paris-Cité, France): title TBA
  • Ocan Sankur (CNRS, IRISA, Rennes, France): title TBA
  • Jeremy Sproston (University of Turin, Italy): Model checking for probabilistic systems
  • Jan Strejček (Masaryk University, Brno, Czech Republic): BDDs and their application in SMT solving

Comments are closed.