Parisian Master of Research in Computer Science
Master Parisien de Recherche en Informatique (MPRI)

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

emploidutemps12 [2013/01/08 14:50]
hubertcomon [2012-2013 Agenda]
emploidutemps12 [2013/01/08 14:54] (current)
hubertcomon
Line 304: Line 304:
 Introduction to verification <br> Introduction to verification <br>
     <font color=red>   Period 1 and Period 2, 20 lectures </font> <br>     <font color=red>   Period 1 and Period 2, 20 lectures </font> <br>
-    <font color=blue> Chevaleret 1C12  Sept. 19 <br> 7D01, starting from Sept. 26 <br> Room 2.027, Sophie Germain </font>+    <font color=blue> Chevaleret 1C12  Sept. 19 <br> 7D01, starting from Sept. 26 <br> Room 2.027, Bat. Sophie Germain, starting from Jan 7th. </font>
     </td>     </td>
     <td bgcolor=yellow colspan=4> &nbsp; &nbsp; &nbsp; &nbsp; </td>     <td bgcolor=yellow colspan=4> &nbsp; &nbsp; &nbsp; &nbsp; </td>
 
Universités partenaires Université Paris-Diderot
Université Paris-Saclay
ENS Cachan École polytechnique Télécom ParisTech
ENS
Établissements associés Université Pierre-et-Marie-Curie CNRS INRIA CEA