Le séminaire M2F a lieu en salle 178 un mardi sur deux à 14H.
Pour proposer un séminaire, le calendrier ci-dessous vous aidera à choisir une date disponible.
Pour s'abonner ou se désabonner de la liste de diffusion.
Pour s'inscrire au calendrier de l'équipe M2F.
|Date||Orateur||Titre||Hybride / Virtuel|
|mardi 16 mai||Markus Müller-Olm||Logics for Asynchronous Hyperproperties||Hybride|
|Logics for Hyperproperties have received increasing attention in the last decade due to their importance e.g. for security analyses. Past approaches have focussed on synchronous properties, i.e. techniques in which different paths are explored lockstepwise. More recently automata models and logics supporting also asynchronous hyperproperties have been studied. In this talk I will survey our recent research on logics for asynchronous hyperproperties. This is joint work with Jens Gutsfeld and Christoph Ohrem.|
|mardi 30 mai||Sławek Lasota||Orbit-finite linear programming||Online|
|An infinite set is orbit-finite if, up to permutations of the underlying structure of atoms, it has only finitely many elements. We study a generalisation of linear programming where constraints are expressed by an orbit-finite system of linear inequalities over an orbit-finite set of unknowns. As our principal contribution we provide a decision procedure for checking if such a system has a real solution, and for computing the minimal/maximal value of a linear objective function over the solution set. We also show undecidability of these problems in case when only integer solutions are considered. Therefore orbit-finite linear programming is decidable, while orbit-finite integer linear programming is not.|
|mardi 13 juin||Thomas Place||TBA||Hybride|
Igor Walukiewicz, Corto Mascle