Upcoming Seminars
Sébastien Combéfis | Tuesday 20 January 2009 | 12h45 - 14h00 | PCUR 01 (Pierre Curie) |
---|---|---|---|
Semantic Model for Process Calculi |
English |
||
In this presentation, I will draw up a list of several semantic models for process calculi. The first part of the talk focuses on concrete and sequential processes. Three main kind of semantics are presented : trace-based, failure-based and LTS-based semantics. The second part introduces semantics for processes with silent moves. The talk is centered on development relations (refinement, equivalence and implementation relations) for the various presented models. |
Dalila Tamzalit Assistant Professor, Univesity of Nantes |
Tuesday 17 February 2009 | 12h45 - 14h00 | BARB22 |
---|---|---|---|
<Title of presentation> |
<language> |
||
<Abstract of presentation.> |
Pierre Dupont | Tuesday 24 February 2009 | 12h45 - 14h00 | BARB22 |
---|---|---|---|
Microarray Data Analysis: Machine Learning for Pharmaceutical and Medical Research |
English |
||
<Abstract of presentation.> |
INGI sysadmins | Monday 2 March 2009 | 12h45 - 14h00 | BARB22 |
---|---|---|---|
IRM sysadmin 2009, What's up, Doc? |
français |
||
Comme chaque année, l'équipe sysadmin fait le point avec vous sur l'état
de l'infrastructure informatique en INGI. Après une mise en jambes
présentant l'état de nos différents services, nous exposerons nos
réalisations de l'année écoulée, l'état d'avancement de nos projets en
cours, ainsi que les évolutions futures envisagées pour notre système
informatique. Nous espérons aussi que ce sera l'occasion d'échanger avec
vous impressions, commentaires et désidératas à propos de notre outil de
travail commun. |