Séminaire Valda : Julien Grange

6 décembre 2019, 10h30-11h30. ENS, S16. Order-invariant first-order logic over hollow trees. Order-invariant first-order logic is the extension of first-order logic in which the usage of an additional ordering relation on the structure’s universe is allowed, provided that the evaluation of sentences is independent of the choice of a particular…

Lire la suite

Cours de Leonid Libkin

***A modern theory of database query languages.*** * Dates : 30 septembre, 4, 7, 11, 14, 18 et 25 octobre 2019 * Horaire : de 10h30 à 12h * Lieu : salle 3052 du Bâtiment Sophie Germain, IRIF, Université Paris-Diderot (8, place Aurélie Nemours, 75013 Paris). Pour plus de détails : https://www.sciencesmaths-paris.fr/fr/leonid-libkin-2019-1008.htm

Lire la suite