On Monday 26th of February, at 15:00, Jérémy Dubut-Kross will give a talk on “Fixed-Point Theorems for Non-Transitive Relations” during the seminar of the Automata and Application group. More information here: https://www.lre.epita.fr/automata_seminars/
Vincent Botbol will give a talk on “Static analysis of Michelson smart-contracts using abstract interpretation” during the seminar of the Automata and Application group. More information here: https://www.lre.epita.fr/automata_seminars/
Vijay Ganesh will give a talk on “SAT Solver + Computer Algebra Attack on the Minimum Kochen-Specker Problem” (conjoint with LIP6) during the seminar of the Automata and Application group. More information here: https://www.lre.epita.fr/automata_seminars/
Copyright (c) 2022, LRE; all rights reserved.
Template by Bootstrapious. Ported to Hugo by DevCows.
