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

emploidutemps13-save [2014/04/25 09:32] (current)
amadio created
Line 1: Line 1:
 +
 +====2013-2014 Agenda====
 +
 +==M1==
 +
 +The M1 year is organized by each of the Master partners. 
 +
 +The Paris 7 M1 is organized by  [[http://www.informatique.univ-paris-diderot.fr/wiki/doku.php?id=Accueil | UFR d'Informatique]]. 
 +
 +The Ecole Polytechnique M1 is organized by [[http://www.informatique.polytechnique.edu/| Dept. Informatique]].
 +
 +ENS Paris and ENS Cachan organize a joint M1 curriculum.
 + <html> <font color=red>Students enrolled in the MPRI M1 at ENS Cachan or ENS Paris  must attend the kickoff meeting of the M2 year </font></html> (see M2).
 +
 +==M2==
 +
 +<html> <font color=red> The kickoff meeting will take place on Monday, September 16th at 10:00 </font> 
 + in  salle des thèses, 580F, 5th floor, secteur F, la Halle aux farines, 10-16 rue Françoise Dolto, 75013 Paris, Métro : ligne 14, RER C : Bibliothèque F. Mitterrand. 
 +</html> 
 +
 +
 +
 +A small buffet will be organized after the meeting.
 +
 +{{:upload:kickoff13.pdf|The Slides of the Kickoff Meeting 2013}}
 +
 +<html> <font color=red> The lectures will start on Monday, september 16th at 12:45. </font>
 +</html>
 +
 +There will be a Christmas break from December 21st until Jan 5th, 2014 (bounds included). There is no other break.
 +
 +The M2 lectures are divided in two periods of 10 weeks, each period is followed by 2 weeks of examinations.
 +
 +    * From Sept 16th 2013 until Nov. 22nd 2013 : first lecture period.
 +    * From Nov 25th, 2013 until Dec. 6th, 2013 : final or mid-term exams.
 +    * From Dec. 9th, 2013 until March 1st, 2014 : second lecture period.
 +    * From Mar 3rd, 2013 until March 14th, 2014 : exams.
 +
 +M2 lectures take place in [[http://www.informatique.univ-paris-diderot.fr/wiki/doku.php?id=ufr:venir_a_l_ufr| Batiment Sophie Germain ]]  
 +
 +Research internships last 4.5 months (at least) and may start from March 17th, 2014.
 + 
 +
 +===Summary of some deadlines===
 +  * Sep. 30: submission of a module selection
 +  * Nov. 15: canceling registration to 1st period modules
 +  * Jan. 15: canceling registration to 2nd period modules
 +  * Jan. 31: submission of an internship choice
 +  * Apr. 30: retaking exams requests
 +  * Jul. 31: retaking exams
 +  * Aug. 22: internship reports upload
 +
 +===2013-2014 Calendar===
 +
 +For the schedule of the M1 P7 courses consult 
 +[[http://www.informatique.univ-paris-diderot.fr/wiki/doku.php?id=Accueil | UFR d'Informatique, P7]].
 +<html>
 +
 +<table border=2 cellpadding=4>
 + <tr bgcolor=green> <td> &nbsp; </td>
 +<th> 8:45 -- 9:15 </th>
 +<th> 9:15 -- 10:15 </th>
 +<th> 10:15 -- 11:45 </th>
 +<td bgcolor=yellow> &nbsp; &nbsp; &nbsp; &nbsp; </td>
 +<th> 12:45 -- 13:15 </th>
 +<th> 13:15 -- 14:15 </th>
 +<th> 14:15 -- 15:45 </th>
 +<td bgcolor=yellow> &nbsp; &nbsp; &nbsp; &nbsp; </td>
 +<th> 16:15 -- 17:45 </th>
 +<th> 17:45 -- 18:45 </th>
 +<th> 18:45 -- 19:15 </th>
 +</tr>
 +<tr border=1 bordercolor=black>
 +<th bgcolor="#99CCFF" rowspan=5> Monday </th>
 +<td colspan=3> <a href=https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-2-18-2> 2.18.2 </a> <br>
 +  Algorithmique distribuée avec mémoire partagée <br>
 +  Distributed algorithms with shared memory <br>
 +  <font color=red> Period 1, 8 lectures (first lecture: Sept 23rd)  </font> <br>
 +  <font color=blue> Bat. Sophie Germain Room 1008 </font>
 +  </td>
 +         <td bgcolor=yellow> &nbsp; &nbsp; &nbsp; &nbsp; </td>
 +        <td colspan=3> <a href=https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-2-1> 2.1 </a> <br>
 +Logique linéaire et paradigmes logiques du calcul <br>
 +Linear logic <br>
 +    <font color=red>   Period 1 and Period 2, 16 lectures </font> <br>
 +    <font color=blue> Bat. Sophie Germain Room 1009 </font>
 +    </td>
 +  <td bgcolor=yellow> &nbsp; &nbsp; &nbsp; &nbsp; </td>
 +  <td> <a href=https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-2-12-1> 2.12.1 </a> <br>
 +Techniques in Cryptography and Cryptanalysis  <br>
 +  <font color=red> Period 1 and Period 2, 16 lectures </font><br>
 +  <font color=blue>  Bat. Sophie Germain Room 1009 </font> </td>
 +    <td colspan=2> <a href=https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-2-12-2> 2.12.2 </a> <br>
 +Algorithmes arithmétiques pour la cryptologie <br>
 +Arithmetic algorithms for cryptology <br>
 +    <font color=red>   Period 1 and Period 2, 16 lectures </font> <br>
 + <font color=blue> Bat. Sophie Germain Room 1009 </font> </td>
 +</tr>
 +<tr border=1 bordercolor=black>
 +    <td colspan=3> <a href=https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-2-20-1> 2.20.1 </a> <br> Techniques de théorie des jeux en informatique <br>
 +Game theory techniques in computer science <br>
 +    <font color=red>  Period 1,  8 lectures (first lecture: sept 23rd)<br>
 +    <font color=blue>  Bat. Sophie Germain Room 1009  </font></td>
 +       <td bgcolor=yellow> &nbsp; &nbsp; &nbsp; &nbsp; </td>
 +  <td colspan=2><a href=https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-2-20-2> 2.20.2 </a><br>
 +   Fondations mathématiques de la théorie des automates <br>
 +Mathematical foundations of automata theory<br>
 +  <font color=red> Period 1 and Period 2, 16 lectures </font><br> <font color=blue>  Bat. Sophie Germain Room 1008 </font></td>
 +  <td><a href=https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-2-13-2> 2.13.2 </a><br>
 +   Codes correcteurs d'erreurs et applications à la cryptographie <br>
 +Error correcting codes and applications to cryptography <br>
 +  <font color=red> Period 1 and Period 2, 16 lectures </font><br> <font color=blue>  Bat. Sophie Germain Room 1008  </font>
 +   </td>
 +  <td bgcolor=yellow> &nbsp; &nbsp; &nbsp; &nbsp; </td>
 +      <td colspan=3> <a href=https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-2-19> 2.19 </a> <br>
 +      Méthodes informatiques pour la biologie systémique et synthétique <br>
 +Computational methods for systems and synthetic biology <br>
 +      <font color=red> Period 1 and Period 2, 16 lectures </font> <br>
 +      <font color=blue>  Bat. Sophie Germain Room 1008  </font> </td>
 +  </tr> 
 +  <tr>
 +      <td colspan=3> <a href=https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-2-7-2> 2.7.2 </a> <br>
 +      Assistants de preuve <br>
 +Proof assistants <br>
 +      <font color=red> Period 2, 8 lectures </font> <br>
 +      <font color=blue>  Bat. Sophie Germain Room 1009 or Computer Laboratory 2001 </font> </td>
 +       <td bgcolor=yellow colspan=8> &nbsp; &nbsp; &nbsp; &nbsp; </td>
 +    </tr>
 +      <tr>
 +      <td colspan=3> <a href=https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-2-26-2> 2.26.2 </a> <br>
 +      Gestion de données sur le web <br>
 +Web data management <br>
 +      <font color=red> Period 2, 8 lectures </font> <br>
 +      <font color=blue>  Bat. Sophie Germain Room 1008  </font> </td>
 +       <td bgcolor=yellow colspan=8> &nbsp; &nbsp; &nbsp; &nbsp; </td>
 +    </tr>
 +    <tr>
 +      <td colspan=3> <a href=https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-1-20> 1.20 </a> <br>Catégories, lambda-calculs <br> Categories, lambda-calculus<br>
 +Period 1 and Period 2, 16 lectures <br>
 +      <font color=red>  Period 1 and Period 2. First lecture not before Sept. 23rd.<br></font>
 +      <font color=blue> Ulm Salle R  </td>
 +      <td bgcolor=yellow colspan=5> &nbsp; &nbsp; &nbsp; &nbsp; </td>
 +      <td colspan=2> <a href=https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-1-30> 1.30 </a><br>
 +      Apprentissage <br> Machine learning <br>
 +      <font color=red>  Period  1 and Period 2 <br></font>
 +      <font color=blue>  Bat. Sophie Germain Room 2027 till end of December, from January Room 2035  </font></td>
 +      <td bgcolor=yellow> &nbsp; &nbsp; &nbsp; &nbsp; </td>
 +      </tr>
 +<tr bgcolor=green> <td> &nbsp; </td>
 +<th> 8:45 -- 9:15 </th>
 +<th> 9:15 -- 10:15 </th>
 +<th> 10:15 -- 11:45 </th>
 +<td bgcolor=yellow> &nbsp; &nbsp; &nbsp; &nbsp; </td>
 +<th> 12:45 -- 13:15 </th>
 +<th> 13:15 -- 14:15 </th>
 +<th> 14:15 -- 15:45 </th>
 +<td bgcolor=yellow> &nbsp; &nbsp; &nbsp; &nbsp; </td>
 +<th> 16:15 -- 17:45 </th>
 +<th> 17:45 -- 18:45 </th>
 +<th> 18:45 -- 19:15 </th>
 +</tr>
 + <tr>
 +  <th bgcolor="#99CCFF" rowspan=3> Tuesday </th>
 +    <td bgcolor=yellow> &nbsp; &nbsp; &nbsp; &nbsp; </td>
 +   <td colspan=2> <a href=https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-2-4-2> 2.4 </a> <br>
 +Programmation fonctionnelle et systemes de types<br>
 +Functional programming and type systems<br>
 +    <font color=red> Period 1 and Period 2, 20 lectures </font><br>
 +    <font color=blue>  Bat. Sophie Germain Room 1009  </font>
 +    </td>
 +       <td bgcolor=yellow> &nbsp; &nbsp; &nbsp; &nbsp; </td>
 +            <td colspan=3> <a href=https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-2-11-2> 2.11.2 </a> <br>
 +Complexité randomisée <br>
 +Randomness in Complexity  <br> <font color=red> Period 1, 8 lectures </font><br>
 +    <font color=blue>  Bat. Sophie Germain Room 1008 </font>
 +    </td>
 +           
 +          <td bgcolor=yellow> &nbsp; &nbsp; &nbsp; &nbsp; </td>
 +        <td colspan=3> <a href=https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-2-8> 2.8 </a> <br> Fondements pour la vérification des systèmes temps-réel <br>
 +Foundations of real time systems verification
 +    <font color=red>   Period 1 and Period 2, 16 lectures </font> <br>
 +    <font color=blue>  Bat. Sophie Germain Room 1008 </font>
 +    </td>   
 +  </tr>
 +  <tr> <td colspan=2> <a href=https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-2-18-1> 2.18.1 </a> <br>
 +Algorithmique distribuée pour les réseaux<br>
 +Distributed algorithms for the networks <br>
 +    <font color=red> Period 1 and Period 2, 16 lectures </font> <br>
 +    <font color=blue> Bat. Sophie Germain Room 1008  </font>
 +    </td>
 +    <td> <a href=https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-2-29-1> 2.29.1 </a> <br>
 +Algorithmique des graphes <br>
 +Graph algorithms <br>
 +    <font color=red> Period 1 and Period 2, 16 lectures </font> <br>
 +    <font color=blue>Bat. Sophie Germain Room 1008 </font>
 +    </td>
 +        <td bgcolor=yellow> &nbsp; &nbsp; &nbsp; &nbsp; </td>
 +   <td colspan=2> <a href=https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-2-7-1> 2.7.1 </a> <br>
 +Fondements des systèmes de preuves <br>
 +Foundations of proof systems<br>
 +    <font color=red> Period 1 and Period 2, 16 lectures </font> <br>
 +    <font color=blue>Bat. Sophie Germain Room 1009 </font></td>
 +          <td> <a href=https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-2-13-1> 2.13.1 </a> <br>
 +Systèmes polynomiaux, calcul formel et applications <br>
 +Polynomial systems, computer algebra and applications <br>
 +    <font color=red> Period 1 and Period 2, 16 lectures </font> <br>
 +    <font color=blue>Bat. Sophie Germain Room 1009 </font> </td>
 +        <td bgcolor=yellow> &nbsp; &nbsp; &nbsp; &nbsp; </td>
 +    </td>
 +    <td colspan=2><a href=https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-2-14-1> 2.14.1 </a> <br>Analyse Géométrique des Données<br>
 +Computational Geometry Learning
 + <br>
 +    <font color=red> Period 1, 10 lectures </font> <br>
 +    <font color=blue>Bat. Sophie Germain Room 1009 </font>
 +      </td>
 +      <td bgcolor=yellow> &nbsp; &nbsp; &nbsp; &nbsp; </td>
 +    </tr>
 +    <tr> <td bgcolor=yellow colspan=5> &nbsp; &nbsp; &nbsp; &nbsp; </td>
 +    <td colspan=2><a href=https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-1-19> 1.19 </a> <br>Planification du mouvement en robotique<br>Robot motion planning
 + <br>
 +    <font color=red> Period 1 and Period 2 </font> <br>
 +    <font color=blue>Ulm salle UV </font>
 +     <td bgcolor=yellow> &nbsp; &nbsp; &nbsp; &nbsp; </td>
 +    </td>
 +     <td colspan=2><a href=https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-2-17-1> 2.17.1 </a> <br>Fondements sur la modélisation des réseaux <br>
 +Foundations of network models
 + <br>
 +    <font color=red> Period 2, 10 lectures </font> <br>
 +    <font color=blue>Bat. Sophie Germain Room 1009 </font>
 +      </td>
 +    </tr>
 +     <tr bgcolor=green> <td> &nbsp; </td>
 +<th> 8:45 -- 9:15 </th>
 +<th> 9:15 -- 10:15 </th>
 +<th> 10:15 -- 11:45 </th>
 +<td bgcolor=yellow> &nbsp; &nbsp; &nbsp; &nbsp; </td>
 +<th> 12:45 -- 13:15 </th>
 +<th> 13:15 -- 14:15 </th>
 +<th> 14:15 -- 15:45 </th>
 +<td bgcolor=yellow> &nbsp; &nbsp; &nbsp; &nbsp; </td>
 +<th> 16:15 -- 17:45 </th>
 +<th> 17:45 -- 18:45 </th>
 +<th> 18:45 -- 19:15 </th>
 +</tr>
 + <tr>
 +  <th bgcolor="#99CCFF" rowspan=4> Wednesday </th>
 +   <td colspan=3> <a href=https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-2-2> 2.2 </a> <br>
 +Modèles des langages de programmation: domaines, catégories, jeux <br>
 +Models of programming languages: domains, categories, games  <br>
 +    <font color=red>  Period 1 and Period 2, 16 lectures </font> <br>
 +    <font color=blue> Bat. Sophie Germain Room 1009 </font>
 +    </td>
 +    <td bgcolor=yellow> &nbsp; &nbsp; &nbsp; &nbsp; </td>
 +       <td colspan=3> <a href=https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-2-30> 2.30 </a> <br>
 +Protocoles cryptographiques : preuves formelles et calculatoires <br>
 +Cryptographic protocols: computational and symbolic proofs     <br>
 +    <font color=red>  Period 1 and Period 2, 16 lectures </font> <br>
 +    <font color=blue> Bat. Sophie Germain Room 1009 </font>
 +    </td>
 +    <td bgcolor=yellow> &nbsp; &nbsp; &nbsp; &nbsp; </td>
 +          <td colspan=2> <a href=https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-2-24-1> 2.24.1 </a> <br>
 +Optimisation <br>
 +Optimization  <br>
 +    <font color=red>  Period 1, 10 lectures </font> <br>
 +    <font color=blue> Bat. Sophie Germain Room 1009 </font>
 +    </td>
 +    <td bgcolor=yellow> &nbsp; &nbsp; &nbsp; &nbsp; </td>
 +    </tr>
 +    <tr>
 +     <td colspan=3 > <a href=https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-2-38-1> 2.38.1 </a> <br>
 +Algorithmes pour les graphes plongés <br>
 +Algorithms for embedded graphs <br>
 +  <font color=red> Period 1, 8 lectures </font><br>
 +  <font color=blue> Bat. Sophie Germain Room 1008 </font> </td>
 +        <td bgcolor=yellow> &nbsp; &nbsp; &nbsp; &nbsp; </td>
 +  <td colspan=3> <a href=https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-2-9-1> 2.9.1 </a> <br> Fondements mathématiques de la théorie des systèmes infinis<br>
 +Mathematical foundations of the theory of infinite transition systems <br>
 +    <font color=red>   Period 1, 8 lectures </font> <br>
 +    <font color=blue> Bat. Sophie Germain Room 1008</font>
 +    </td>
 +           <td bgcolor=yellow> &nbsp; &nbsp; &nbsp; &nbsp; </td>
 +    <td colspan=3> <a href=https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-2-27-1> 2.27.1 </a> <br>
 + Structures Informatiques et Logiques pour la Modélisation Linguistique <br>
 +    <font color=red>  Period 1, 8 lectures </font> <br>
 +    <font color=blue>  Bat. Sophie Germain Room 1008 </font>
 +    </td>
 +      </tr>
 +      <tr>
 +      <td colspan=3> <a href=https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-1-17> 1.17 </a> <br>
 +Complexité avancée <br>
 +Advanced complexity <br>
 +    <font color=red>  Period 1 and Period 2, 16 lectures  </font> <br>
 +    <font color=blue> Ulm Salle UV </font>
 +    </td>
 +    <td bgcolor=yellow> &nbsp; &nbsp; &nbsp; &nbsp; </td>
 +      <td colspan=3> <a href=https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-2-37-1> 2.37.1 </a> <br>
 + Sémantique, langages et algorithmes pour la programmation multicore <br>
 +Semantics, languages and algorithms for multicore programming  <br>
 +    <font color=red>    Period 2, 8 lectures </font> <br>
 +    <font color=blue>  Bat. Sophie Germain Room 1008 </font>
 +    </td>
 +    <td bgcolor=yellow> &nbsp; &nbsp; &nbsp; &nbsp; </td>
 +    <td colspan=3> <a href=https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-2-34-1> 2.34.1 </a><br>
 +    Informatique quantique et applications <br>
 +Quantum information and applications  <br>  <font color=red>   Period 2, 8 lectures </font> <br>
 +    <font color=blue>  Bat. Sophie Germain Room 1009 </font>
 + </td>
 +</tr>
 +<tr>   <td bgcolor=yellow colspan=8> &nbsp; &nbsp; &nbsp; &nbsp; </td>
 +  <td colspan=2> <a href=https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-1-22> 1.22 </a> <br>
 + Initiation à la vérification <br>
 +Basics of verification <br>
 +    <font color=red>   Period 1 and Period 2, 20 lectures </font> <br>
 +    <font color=blue> Bat. Sophie Germain Room 2035 </font>
 +    </td>
 +    <td bgcolor=yellow> &nbsp; &nbsp; &nbsp; &nbsp; </td>
 +    </tr>
 +    <tr bgcolor=green> <td></td>
 +<th> 8:45 -- 9:15 </th>
 +<th> 9:15 -- 10:15 </th>
 +<th> 10:15 -- 11:45 </th>
 +<td bgcolor=yellow> &nbsp; &nbsp; &nbsp; &nbsp; </td>
 +<th> 12:45 -- 13:15 </th>
 +<th> 13:15 -- 14:15 </th>
 +<th> 14:15 -- 15:45 </th>
 +<td bgcolor=yellow> &nbsp; &nbsp; &nbsp; &nbsp; </td>
 +<th> 16:15 -- 17:45 </th>
 +<th> 17:45 -- 18:45 </th>
 +<th> 18:45 -- 19:15 </th>
 +</tr>
 + <tr>
 +  <th bgcolor="#99CCFF" rowspan=4> Thursday </th>
 + <td colspan=3> <a href=https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-2-26-1> 2.26.1 </a> <br>
 + Logic, descriptive complexity and database theory  <br>
 +    <font color=red>   Period 1, 8 lectures </font> <br>
 +    <font color=blue>  Bat. Sophie Germain Room 1009 </font>
 +    </td>
 +    <td bgcolor=yellow> &nbsp; &nbsp; &nbsp; &nbsp; </td>
 +     <td colspan=3> <a href=https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-2-22> 2.22 </a> <br>
 +Algorithmes efficaces en calcul formel <br>
 +Efficient algorithms in computer algebra <br>
 +    <font color=red>   Period 1 and Period 2, 16 lectures  </font> <br>
 +    <font color=blue>  Bat. Sophie Germain Room 1009 </font>
 +    </td>
 +    <td bgcolor=yellow> &nbsp; &nbsp; &nbsp; &nbsp; </td>
 +    <td colspan=3> <a href=https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-2-15> 2.15 </a> <br>
 +Analyse d'algorithmes <br>
 +Analysis of algorithms <br>
 +    <font color=red>   Period 1 and Period 2, 16 lectures </font> <br>
 +    <font color=blue> Bat. Sophie Germain Room 1009 </font>
 +    </td>
 +      </tr>
 +    <tr>
 +            <td colspan=3> <a href=https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-2-35-1> 2.35.1 </a> <br>
 +       Constraint Programming <br>
 +    <font color=red>   Period 1, 8 lectures </font> <br>
 +    <font color=blue> Bat. Sophie Germain Room 1008 </font>
 +    </td>
 +   <td bgcolor=yellow> &nbsp; &nbsp; &nbsp; &nbsp; </td>
 +     <td colspan=3> <a href=https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-2-33-1> 2.33.1 </a> <br>
 +  Théorie des calculs pour les phénomènes émergents<br>
 +Theory of computations for emerging systems<br>
 +    <font color=red>   Period 1, 8 lectures </font> <br>
 +    <font color=blue> Bat. Sophie Germain Room 1008 </font>
 +    </td>
 +   <td bgcolor=yellow> &nbsp; &nbsp; &nbsp; &nbsp; </td>
 +   <td colspan=3>  <a href=https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-2-9-2> 2.9.2 </a> <br>Vérification algorithmique des programmes <br>
 +Algorithmic verification of programs  <br>
 +  <font color=red> Course suspended in 2013-2014 </font><br>
 +  <font color=blue>  </font> </td>
 +   </tr>
 +   <tr> <td colspan=3>  <a href=https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-2-5> 2.5 </a> <br>Démonstration automatique <br>
 +Automated deduction  <br>
 +  <font color=red> Period 2, 8 lectures </font><br>
 +  <font color=blue> Bat. Sophie Germain Room 1009 </font> </td>
 +  <td bgcolor=yellow> &nbsp; &nbsp; &nbsp; &nbsp; </td>
 +  <td colspan=3>  <a href=https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-2-18-3> 2.18.3 </a> <br>Robust Concurrent Computing  <br>
 +  <font color=red> Period 2, 8 lectures </font><br>
 +  <font color=blue> Bat. Sophie Germain Room 1008 </font> </td>
 +  <td bgcolor=yellow colspan=4> &nbsp; &nbsp; &nbsp; &nbsp; </td>
 +   </tr>
 +   <tr>
 +   <td colspan=3>  <a href=https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-1-24> 1.24 </a> <br>Aspects probabilistes  de l'informatique<br>Probabilistic aspects of computer science  <br>
 +  <font color=red> Period 1 and Period 2, 16 lectures </font><br>
 +  <font color=blue> Bat. Sophie Germain Room 2035 till end of December, starting from January room 1008</font> </td>
 +  <td bgcolor=yellow> &nbsp; &nbsp; &nbsp; &nbsp; </td>
 +        <td colspan=3>  TD du cours 1.20<br> <font color=blue> Ulm:  Amphi Rataud 1er sous sol Nouvel Immeuble Rataud, except on Thu Nov 14 and Thu Dec 12: salle Paul Langevin, 29 rue d'Ulm. </font>
 +    </td>
 +       <td bgcolor=yellow> &nbsp; </td>
 +       <td colspan=3>  <a href=https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-1-32> 1.32 </a> <br>Algorithmique et bio-informatique  <br>
 +       Algorithmics and bioinformatics
 +  <font color=red>  Period 2, 8 lectures </font><br>
 +  <font color=blue> Bat. Sophie Germain Room 1008 </font> </td>    
 +     </tr>
 +    <tr bgcolor=green> <td></td>
 +<th> 8:45 -- 9:15 </th>
 +<th> 9:15 -- 10:15 </th>
 +<th> 10:15 -- 11:45 </th>
 +<td bgcolor=yellow> &nbsp; &nbsp; &nbsp; &nbsp; </td>
 +<th> 12:45 -- 13:15 </th>
 +<th> 13:15 -- 14:15 </th>
 +<th> 14:15 -- 15:45 </th>
 +<td bgcolor=yellow> &nbsp; &nbsp; &nbsp; &nbsp; </td>
 +<th> 16:15 -- 17:45 </th>
 +<th> 17:45 -- 18:45 </th>
 +<th> 18:45 -- 19:15 </th>
 +</tr>
 + <tr>
 +  <th bgcolor="#99CCFF" rowspan=3> Friday </th>
 +    <td colspan=3> <a href=https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-2-6> 2.6 </a> <br>
 +Interprétation abstraite: application à la vérification et à l'analyse statique <br>
 +Abstract interpretation: application to verification and static analysis <br>
 +    <font color=red>   Period 1 and Period 2, 16 lectures  </font> <br>
 +    <font color=blue> Bat. Sophie Germain Room 1009 </font>
 +    </td>
 +         <td bgcolor=yellow colspan=2> &nbsp; &nbsp; &nbsp; &nbsp; </td>
 +        <td colspan=2> <a href=https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-2-3> 2.3 </a> <br>
 +   Concurrence <br> Concurrency <br>
 +    <font color=red>  Period 1 and Period 2, 20 lectures </font> <br>
 +    <font color=blue> Bat. Sophie Germain Room 1009 </font>
 +    </td>
 +             <td bgcolor=yellow> &nbsp; &nbsp; &nbsp; &nbsp; </td>
 +       <td colspan=3> <a href=https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-2-23-1> 2.23.1 </a> <br>
 +Systèmes synchrones <br>
 +Synchronous systems <br>
 +    <font color=red>   Period 1, 8 lectures </font> <br>
 +    <font color=blue> Bat. Sophie Germain Room 1009 </font>
 +    </td>
 +</tr>
 +<tr>
 +     <td colspan=3> <a href=https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-2-16> 2.16 </a><br>
 +Modélisation par automates finis  <br>
 +    <font color=red>  Period 1 and Period 2, 16 lectures </font> <br>
 +    <font color=blue> Bat. Sophie Germain Room 1008 </font>
 +    </td> 
 +         <td bgcolor=yellow colspan=2> &nbsp; &nbsp; &nbsp; &nbsp; </td>
 +        <td colspan=2> <a href=https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-2-10> 2.10 </a> <br>
 +Aspects algorithmiques de la combinatoire <br>
 +Algorithmic aspects of combinatorics <br>
 +    <font color=red>   Period 1 and Period 2,  20 lectures </font> <br>
 +    <font color=blue> Bat. Sophie Germain Room 1008 </font>
 +    </td>
 +           <td bgcolor=yellow> 
 +           
 +           
 +           &nbsp; &nbsp; &nbsp; &nbsp; </td>
 +  
 +<td colspan=3> <a href=https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-2-36-1> 2.36.1 </a> <br>
 +Preuve de programmes <br>
 +Proofs of programs  <br>
 +    <font color=red>   Period 2, 8 lectures </font> <br>
 +    <font color=blue> Bat. Sophie Germain Room 1009  </font>
 +    </td>
 +  </tr>
 +  <tr>
 +  <td bgcolor=yellow colspan=2> &nbsp; &nbsp; &nbsp; &nbsp; </td>
 +        <td  colspan=2>
 +         <a href=https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-1-31>1.31 </a><br>
 +      Projet Génie Logiciel <br>
 +Software engineering (10h30-12h30)<br>
 +<font color=red> Period 1 and Period 2 </font> <br> <font color=blue> Bat. Sophie Germain Room 2035 till end of December, from January Room 321 at ENS Cachan </font> &nbsp; &nbsp; &nbsp; &nbsp; </td>
 +      <td bgcolor=yellow colspan=4> &nbsp; &nbsp; &nbsp; &nbsp; </td>
 +  <td colspan=3>  <a href=https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-1-18> 1.18 </a> <br> 
 +Automates d'arbres et applications <br>
 +Tree automata  and applications<br>
 +     <font color=red>    Period 1, 8 lectures </font> <br>
 +    <font color=blue> Bat. Sophie Germain Room 1008 </font>
 +    </td>
 +
 +    </tr>
 +  </table>
 +  </html>
 +  
 +  
 +[[emploidutemps12|2012-13 Calendar]]
  
 
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