Le séminaire du LSV

Le séminaire du LSV a lieu le mardi à 11h00. Le lieu habituel est la salle de conférences au Pavillon des Jardins (plan d'accès). Pour être informé par email des prochains séminaires, contacter Stéphane Le Roux and Matthias Fuegger.

Le séminaire du LSV est public et ne nécessite aucune inscription préalable.

Séminaires passés

OPA -- reconquering the web

Visiter le site web pour cet événement | Exporter cet événement au format iCalendar

 David Rajchenbach-Teller
Le mardi 14 septembre 2010 à 11:00
Salle de Conférence (Pavillon des Jardins)
David Rajchenbach-Teller (Head of R&D, MLstate)

For many, the Web is Wikipedia, Google Maps and hundreds of other rich applications, both powerful and usable from anywhere. For others, it is a security nightmare, full of holes, both low-level and high-level, exploited or waiting to be exploited. And for developers, it is a heap of dozens of distinct technologies, often approximative, incompatible, which need to be configured individually, connected manually, often blindly and without clear semantics. In such conditions, nothing can be checked or verified.

In this talk, we present OPA, a new approach for web programming, based on semantics and type systems. OPA is a programming language, grounded in lambda-calculus and pi-calculus, designed for the web, for databases, for concurrency and for distribution. One unique language for the whole application, with formal semantics, simple primitives, a clear syntax, and safety and security guarantees. Oh, and a few proofs in Coq.

À propos du LSV

Agenda des séminaires

Exporter l'agenda au format iCalendar | Les séminaires précédents

mar. 19 février

Les séminaires précédents