IRM

INGI Research Meetings

INGI (département d'Ingénierie Informatique) is the computer science department of the Faculty of Applied Sciences at the University of Louvain-la-Neuve (UCL). The INGI Research Meetings (or IRM, for short) constitute our weekly forum where internal as well as external researchers can present their ongoing research. The meetings are an excellent opportunity for researchers to get early feedback on their work and to forge new collaboration links with other researchers at the department.

If you want to volunteer for one of the upcoming IRMs or if you have any question regarding the organization or purpose of these meetings, feel free to contact Prof. Kim Mens. For any question or remark regarding this web page, please contact the webmaster.

If you want to keep updated by e-mail of upcoming seminars, subscribe to our IRM mailing list.

Upcoming Seminars


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.

<Abstract of presentation.>

<Abstract of presentation.>

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.

Future Seminars


If you would like to present something yourself, or know a visitor that would like to present something, please contact us. Normally the IRM sessions take place on Tuesday between 12h45 and 14h in room BARB22 (room reserved from 20 January until 12 May, 2009). Other days are possible on demand.

Pending Seminars


<Abstract of presentation here.>

<Abstract of presentation.>

<Abstract of presentation.>

  • Jean-Noël Monette

Past Seminars (2009)


Mail the website maintainer | last modified on January 12, 2009 ; Status: stable.