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.
