Home > 2008

Yearly Archives: 2008

A A

17 December 2008 Simon Zambrovski talks about Model-driven software development, an emerging technology and approach, very popular in the last years…: Wednesday 17 December 2008, 14h30, batiment I, 1st floor Model-driven software development is an emerging technology and approach, which became very popular in the last years. ... More
11 December 2008 Nataliya Guts gives seminar on Auditability, Evidence, and Out-of-Context Proofs: Thursday 11 December 2008, 14h, batiment I, 1st floor Auditability, Evidence, and Out-of-Context Proofs Nataliya Guts MSR-INRIA Joint Centre An ambitious challenge for today’s software is to show that audit trails can be ... More
3 December 2008 Benoît Razet donne un séminaire sur “Modélisation et simulation d’automates à l’aide de machines d’Eilenberg”: Mercredi 3 décembre, 11h, Batiment I, 1er étage, Centre Commun INRIA-MSR Modélisation et simulation d’automates à l’aide de machines d’Eilenberg. Benoit Razet INRIA Rocquencourt Un ... More
26 November 2008 Gérard Boudol donne un séminaire sur les modèles de mémoire pour architectures multi-coeurs: Mercredi 26 novembre 2008, 11h, Batiment I, 1er étage Relaxed memory models: an operational approach Gérard Boudol INRIA Memory models define an interface between programs written in some language and their ... More
22 October 2008 Bob Harper gives seminar on Mechanizing Metatheory using Twelf: Wednesday 22 October 2008, 11h, batiment I, 1er étage Mechanizing the Metatheory of Programming Languages Bob Harper Carnegie-Mellon University Program verification is difficult, and remains a task for specialists. One way to bring ... More
15 October 2008 2nd meeting of Management Committee in 2008: 15 October, MSR-INRIA Joint Centre, Orsay