' <p class=bio> <img src=/images/tools/speakers/jezequel.jpg width=100 align=left> <b> Jean-Marc Jézéquel </b> is a professor at the University of Rennes and head of the Triskell team, involved in research activities in the domain of object-oriented software engineering for distributed computing systems and telecommunications. His research interest covers building and assembling reliable and efficient components, formal manipulation of UML models (UMLAUT Project), formal specification based on OCL, Design Patterns, as well as the validation (random or exhaustive simulation, test cases generation) of distributed software systems based on model-checking. He is the author of <i>Object Oriented Software Engineering with Eiffel</i> (Addison-Wesley) and co-author of <i>Design Patterns and Contracts</i>.  <p class=bio> <img src=/images/tools/speakers/letraon.jpg width=100 align=left> <b> Yves Le Traon </b> received the engineering degree, in 1994, and a PhD in Computer Science, in 1997, from the Institut National Polytechnique de Grenoble, France. He is now an Assistant Professor at the University of Rennes I and a member of the IRISA research institute. With more than 25 publications in international conferences and journals, he is a recognized expert in the fields of testing, design-for-testability and software measurement.'