[TYPES/announce] MTCoord 2007 CFP

2007-02-14 Thread Isabelle Linden
.cs.ucy.ac.cy/index.htm WORKSHOP ORGANIZERS o Carolyn Talcott, SRI International, USA o Isabelle Linden, University of Namur, Belgium PROGRAMME COMITTEE o Marco Bernardo, Università degli Studi di Urbino Carlo Bo, Urbino, Italy o Christel Baier, Technical University Dresden

[TYPES/announce] MTCoord 2008 - CFP

2008-01-31 Thread Isabelle Linden
/DisCoTec08/HomePage WORKSHOP ORGANIZERS o Carolyn Talcott, SRI International, USA o Isabelle Linden, University of Namur, Belgium PROGRAMME COMITTEE * Marco Bernardo,Università degli Studi di Urbino Carlo Bo, Urbino, Italy * Christel Baier, Technical University Dresden, Germany