Séminaire PPS: J-L. Krivine le 5 mai à 11H en 0C2 [NB: annulation de la séance du 28 avril]

Bonjour à tous,

Suite à un empêchement de l'orateur, la séance de séminaire de Marco Gaboardi, initialement prévue le 28 avril, doit malheureusement être annulée et sera reportée à une date ultérieure.

Nous avons en revanche le plaisir d'accueillir Jean-Louis Krivine à la séance du séminaire PPS du:

Jeudi 5 mai à 11h en salle 0C2

Réalisabilité classique et théorie des ensembles

Jean-Louis Krivine (PPS),

Résumé: Tous les résultats de consistance relative en théorie des ensembles ont été obtenus en construisant des modèles de ZF, à partir d'un modèle donné, par deux méthodes:

1. Les "modèles intérieurs", dont le plus connu est l'univers constructible (Gödel, 1940)
2. Le "forcing" (Cohen, 1963)

Ces deux constructions ne changent pas la classe des ordinaux du modèle initial.

La technique de "réalisabilité classique", mise au point pour étudier la correspondance preuves-programmes, se révèle être un troisième méthode, qui donne des modèles de ZF complètement différents. En particulier, les ordinaux - et même les entiers - sont changés.

On montre, de cette façon, un résultat de consistance relative qu'on ne peut obtenir par les méthodes usuelles, concernant le "choix dépendant" et de curieuses propriétés de R.

=======

Vous pouvez noter dès maintenant que Pierre Hyvernat (LAMA) donnera le 19 mai un exposé intitulé foncteurs polynomiaux, jeux et logique linéaire (différentielle)

Plus de détails sur le séminaire à http://www.pps.jussieu.fr/seminaire.

À jeudi 5 mai,

Alexis

--
Alexis Saurin

Séminaire PPS: Stefano Zacchiroli le 14 avril à 11H en 0C02

Bonjour à tous,

Nous avons le plaisir d'accueillir Stefano Zacchiroli à la prochaine séance du séminaire PPS qui aura lieu:

Jeudi 14 avril à 11h en salle 0C02
Stefano Zacchiroli (PPS),
Formal approaches to the upgrade of component-based systems

Résumé: Free and Open Source Software (FOSS) distributions are rather peculiar instances of component-based software platforms. They are developed rapidly and without tight central coordination, they are huge (tens to thousands components per platform), and their importance in the Internet computing infrastructure is growing.

Both the construction of a coherent collection of components and the maintenance of installations based on these raise difficult problems for distribution maintainers and system administrators. Distributions evolve rapidly by releasing new component versions and strive for increasingly high Quality Assurance (QA) requirements on their component collections. System upgrades may proceed on different paths depending on the current state of the system and the available components, and system administrators are faced with difficult choices of upgrade paths and with frequent upgrade failures.

The ongoing project MANCOOSI (Managing the Complexity of the Open Source Infrastructure) aims to solve some of these problems. We will describe current and past work done in the context of MANCOOSI, as well as future research directions to scale from the single-system case to the multi-system and "cloud" cases.

=======

Nous ferons une pause la semaine suivante pour reprendre le jeudi 28 avril à 11H, toujours en salle 0C02, avec un séminaire de Marco Gaboardi, intitulé "Linear Dependent Types for Certified Resource Consumption".

Plus de détails sur le séminaire à http://www.pps.jussieu.fr/seminaire.

À jeudi prochain,

Alexis