News

Talk of Tim Sheard In LaBRI

Thursday, 05 January 2012 08:37

Tim Sheard will give a talk in LaBRI, Tuesday, January 10th at 4pm.

Title : Nax: a logic based upon Mendler style Iteration/Recursion Combinators

Abstract : We are interested in systems which are both a sound logic and a programming language. The design of such a system is quite delicate.

Read more...
 

Visit of Tim Sheard

Thursday, 05 January 2012 08:18

Professor Tim Sheard, from the Department of Computer Science, Maseeh College of Engineering & Computer Science (Portland State University, Portland Oregon) has arrived in the team ! He will be working with Phoenix during three months.

 

Talk of Young-Joo at the LaBRI Software Engineering Working Group

Wednesday, 23 November 2011 08:02

On November 23, during the meeting of the LaBRI Software Engineering Working Group, Young-Joo Moon will give a talk on Stochastic Models for Quality of Service of Component Connectors.

 

Journée de l'Innovation

Thursday, 10 November 2011 00:00

Le 10 novembre ont eu lieu les premiers matins de l’innovation à Bordeaux. Cette manifestation nationale fait partie du nouveau programme de sensibilisation des chercheurs au transfert, mis en place par la direction du transfert et de l’innovation d’Inria. Benjamin Bertran a présenté l'action de maturation autour de DiaSuite-Box.

 

Convention with FIPHFP

Monday, 07 November 2011 00:00

Emilie Balland presented Phoenix work on cognitive assistance on the 7th of November 2011 for the signature of the convention on disability with FIPHFP (Fonds pour l'Insertion des Personnes Handicapées dans la Fonction Publique) at Inria Rocquencourt.

 
More Articles...
  • «
  •  Start 
  •  Prev 
  •  1 
  •  2 
  •  3 
  •  4 
  •  5 
  •  6 
  •  Next 
  •  End 
  • »
Page 1 of 6

INRIA   LaBRI