The LSV seminar takes place on Tuesday at 11:00 AM. The usual location is the conference room at Pavillon des Jardins (venue). If you wish to be informed by e-mail about upcoming seminars, please contact Stéphane Le Roux and Matthias Fuegger.
The seminar is open to public and does not require any form of registration.
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.