Talks in 2000

OASIS Project - INRIA Sophia-Antipolis

[Oasis] [Scientific Program] [Objectives] [Members] [Software] [Internships] [Meetings] [Official]
Date Time Place/Room Subject Person
June 1st 10h00 Salle du Conseil (Lagrange) Présentations Guillaume Dufay
Ludovic Henrio
INRIA Sophia - OASIS
March 30th 14h00 Protocole à Meta-Objet (MOP) en Java et Sécurité Julien Vayssière
INRIA Sophia - OASIS
July
 6th    
Contracts for Java
 Matthias Felleisen Université de Rice
July
 26th     The LOOP project : reasoning about inheritance in Java Marieke Huisman Katholieke Universiteit Nijmegen
Sept
 29th     Soutenance de these : Analyse 
Statique de programmes Java. Application a la parallelisation		 Romain Guider INRIA Sophia Antipolis
Oct
 26th     Documents multi-dimensionnels pour la 
transformation de programmes		 Patrick viry ASTEM, Kyoto, Japon
Nov
 17th     Process Algebra and Information Flow Peter Ryan  
Nov
 17th     Non-Interference via Typing in the 
Security Pi-calculus		 Mattew Hennessy  

Talks in 1999

Eurecom Seminars in 2000
Networking Seminars (INRIA)


Last modified: Tuesday Jan 23th MET DST 2000