Events

Archives

Share:
A A
18 May 2010
Vladimir Komendantsky gives seminar on Two encounters with Coq: dependently typed regular expressions and handshaking with a computer algebra system
Bld I, Microsoft Research-INRIA Joint Centre Two encounters with Coq: dependently typed regular expressions and handshaking with a computer algebra system Vladimir Komendantsky School of Computer Sciences, St Andrews University In this short introduction I’m going to first talk about my recent industrial consultancy experience and present a dependent type of regular expressions and explain.. ... More
17 February 2010
Gilles Dowek (LIX) gives a seminar talk on vector spaces and computability
Centre de Recherche Commun INRIA - Microsoft Research Espaces vectoriels et calculabilité Gilles Dowek Ecole polytechnique Espaces vectoriels et calculabilité Cet exposé sera consacré à deux résultats (l’un et l’autre communs avec Pablo Arrighi) qui mettent en lien les notions d’espace vectoriel et d’algorithme. Le premier montre que les axiomes des espaces vectoriels ... More
2 February 2010
Samuel Mimram donne un séminaire sur Une approche algébrique des sémantiques interactives
Centre de Recherche Commun INRIA - Microsoft Research Une approche algébrique des sémantiques interactives Samuel Mimram CEA Les sémantiques de jeux décrivent le comportement interactif des preuves en interprétant les formules comme des jeux sur lesquels les preuves induisent des stratégies. Dans ce travail, nous introduisons une telle sémantique afin de capturer les dépendances induites.. ... More
25 January 2010
MSR-INRIA Workshop on Computer Vision and Machine Learning
The MSR-INRIA projet “Scientific Image and Video Data Mining” organises the following workshop on MSR-INRIA Workshop on Computer Vision and Machine Learning 25 January 2010 Salle Orange, INRIA, 23 av. d’Italie, Paris 75013. see the detailed program More
25 January 2010
Pierre-Malo Deniélou defends his thesis at University of Paris 7
Monday 25 January 2010 14h30, Room 0C8, ground floor 175 rue du Chevaleret, Paris, 75013 Sûreté des abstractions et Sessions sécurisées dans les langages distribués Pierre-Malo Deniélou Résumé : Les systèmes répartis, ou systèmes distribués, tiennent aujourd’hui un rôle critique dans notre société et dans notre industrie. Cette thèse explore deux approches permettant aux programmeurs.. ... More
28 October 2009
Joint Institutes Workshop 2009 will hold at MSR Cambridge
Microsoft Research Laboratory Cambridge, UK Joint Institutes Workshop 2009 The Joint Institutes Workshop, held at Microsoft Research Cambridge on 28 October 2009, brings together researchers from joint research institutes with Microsoft researchers and guests. The three existing joint institutes at University of Trento (i.e. CoSBi), INRIA and BSC, as well as a newly incubated institute.. ... More
21 October 2009
Le forum Digiteo 2009 a lieu le 21 octobre à l’Ecole polytechnique, Palaiseau
Ecole polytechnique Palaiseau Le forum Digiteo 2009 présente les activités récentes des laboratoires Digiteo. Plus d’informations en Ligne More
25 September 2009
Sergio Maffeis talks about Isolating JavaScript with Filters, Rewriting, and Wrappers
Orsay, Bat I, 1st floor, MSR-INRIA Joint Centre Isolating JavaScript with Filters, Rewriting, and Wrappers Sergio Maffeis Imperial College, London We study methods that allow web sites to safely combine JavaSCript from untrusted sources. If implemented properly, filters can prevent dangerous code from loading into the execution environment, while rewriting allows greater expressiveness by inserting.. ... More
23 September 2009
Elena Giachino talks about the Foundations of Session Types
Orsay, Bat I, 1st floor, MSR-INRIA Joint Centre Foundations of Session Types Elena Giachino PPS and Univ. of Torino In network applications it is crucial to have a mechanism to guarantee that communications evolve correctly according to the agreed protocol. Session types offer a method for abstracting and validating structured communication sequences (sessions). In this.. ... More
9 September 2009
Spring Day
More