Séminaire des membres non-permanents
Mercredi 2 décembre 2020, 11 heures, Online
Phd Students Welcome session!
Séminaire des membres non-permanents
Mercredi 6 mai 2020, 11 heures, Online
Cédric Ho Thanh (IRIF) An introduction to Docker
Séminaire des membres non-permanents
Mercredi 22 avril 2020, 11 heures, Online
Simon Mauras (IRIF) How to aggregate top-lists
This talk will start with a quick survey on rank aggregation (the special case where every input list is a complete ranking of the elements), its relation to feedback arc sets in directed graphs, NP-Hardness, and approximation algorithms. Then we will discuss how such results can be extended to the aggregation of top-lists.
Preprint available: https://arxiv.org/abs/1811.01537
Séminaire des membres non-permanents
Mercredi 15 avril 2020, 11 heures, Online
Chaitanya Leena Subramaniam (IRIF) The plus-construction for sheaves and factorisation systems
However, the plus-construction makes sense in much more generality than sheaves, and a result (joint with M. Anel) shows that it is in fact closely related to orthogonal factorisation systems on a category. Indeed, it can be used to construct such factorisation systems.
This has many applications, including in dependent type theory, where it has a fundamental application to modalities.
The talk will be a gentle introduction to the plus-construction and its various examples.
Séminaire des membres non-permanents
Mercredi 8 avril 2020, 11 heures, Online
Nicolas Jeannerod (IRIF) Analysing installation scenarios of Debian packages
Deban currently includes more than 28 thousand maintainer scripts, almost all of them written in POSIX shell. These scripts are executed with root privileges at installation, update, and removal of a package, which make them critical for system maintenance. While Debian policy provides guidance for package maintainers producing the scripts, few tools exist to check the compliance of a script to it.
This presentation reports on the application of a formal verification approach based on symbolic execution to find violations of some non-trivial properties required by Debian policy in maintainer scripts. We present our methodology and give an overview of the toolchain. We focus in particular on the tree logics used to represent symbolically a file system transformation, and the use of such a logic in the symbolic engine.
Séminaire des membres non-permanents
Mercredi 1 avril 2020, 11 heures, Online
Simona Etinski (IRIF & INRIA) Stern's Zero Knowledge Identification Scheme
Séminaire des membres non-permanents
Mercredi 25 mars 2020, 11 heures, Online
Nguyễn Lê Thành Dũng (LIPN) Aperiodicity in a non-commutative logic
Séminaire des membres non-permanents
Lundi 2 mars 2020, 15 heures, Salle 3014
Pierre Cagne Les symmétries des sphères en fondations univalentes