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

cours:c-2-3 [2018/09/14 11:02]
haucourt [Calendar 2018-2019]
cours:c-2-3 [2020/02/11 15:28] (current)
haucourt [Calendar 2019-2020]
Line 3: Line 3:
  
 Course director: Emmanuel Haucourt Course director: Emmanuel Haucourt
 +
 +
 +
 ==== Time schedule (8x3h) ==== ==== Time schedule (8x3h) ====
  
Line 8: Line 11:
  
  
-==== Teacher for 2018-2019 ====+==== Teacher for 2019-2020 ====
  
 Emmanuel Haucourt ([[http://www.lix.polytechnique.fr/Labo/Emmanuel.Haucourt/index.html | professional web page]]) Emmanuel Haucourt ([[http://www.lix.polytechnique.fr/Labo/Emmanuel.Haucourt/index.html | professional web page]])
  
 +<html>
 +<span style="color:blue;font-size:150%;">
 +Final exam on Tuesday, the 3rd of March (second week of exams) 08h45 - 11h45. 
 +</span>
 +</html>
 +
 +
 +<html>
 +<span style="color:red;font-size:150%;">
 +Due to strikes, I will not be able to reach Paris on the 10th of december 2019, the course is therefore  cancelled.  
 +</span>
 +</html>
 +
 +<html>
 +<span style="color:red;font-size:150%;">
 +Due to strikes, I will not be able to reach Paris on the 17th of december 2019, the course is therefore  cancelled.  
 +</span>
 +</html>
 +
 +<html>
 +<span style="color:green;font-size:150%;">
 +Cancelled courses have been moved to the 11th and 18th of February 2020. 
 +</span>
 +</html>
  
 ==== Goals  ==== ==== Goals  ====
Line 17: Line 44:
 Starting from a restriction of the language introduced by E. W. Dijkstra, we explain how directed algebraic topology can be applied to the study of concurrency. Starting from a restriction of the language introduced by E. W. Dijkstra, we explain how directed algebraic topology can be applied to the study of concurrency.
  
-==== Plan of the course for 2018-2019 ====+==== Plan of the course for 2019-2020 ====
  
  
Line 36: Line 63:
 ==== French and English ==== ==== French and English ====
  
-French by default. However, questions asked in english will be answered in english.  +French. However, questions asked in english will be answered in english.  
  
 ==== Material ==== ==== Material ====
Line 56: Line 83:
   * Leinster, T. //Basic Category Theory//. Cambridge University Press 2014.   * Leinster, T. //Basic Category Theory//. Cambridge University Press 2014.
   * Roman, S. //An Introduction to the Language of Category theory//. Birkhäuser 2017.   * Roman, S. //An Introduction to the Language of Category theory//. Birkhäuser 2017.
 +More advanced books:
 +  * McLane, S. //Categories for the Working Mathematician (2nd ed.)//. Springer 1998.
 +  * Riehl, E. //Category Theory in Context//. Dover 2016. 
 ==== Related courses ==== ==== Related courses ====
  
Line 78: Line 108:
  
  
-==== Calendar 2018-2019  ==== +==== Calendar 2019-2020  ==== 
-Second period:\\ +Second period:\\  
-To be announed+3, 10, 17 december 2019,\\ 
 +7, 14, 21, 28 january 2020,\\ 
 +4 february 2020 
 + 
 +<html> 
 +<span style="color:blue;font-size:150%;"> 
 +Final exam on Tuesday, the 3rd of March (second week of exams) 08h45 - 11h45.  
 +</span> 
 +</html> 
 + 
 +<html> 
 +<span style="color:red;font-size:150%;"> 
 +Due to strikes, I will not be able to reach Paris on the 10th of december 2019, the course is therefore  cancelled.   
 +</span> 
 +</html> 
 + 
 +<html> 
 +<span style="color:red;font-size:150%;"> 
 +Due to strikes, I will not be able to reach Paris on the 17th of december 2019, the course is therefore  cancelled.   
 +</span> 
 +</html> 
 + 
 +<html> 
 +<span style="color:green;font-size:150%;"> 
 +Cancelled courses have been moved to the 11th and 18th of February 2020.  
 +</span> 
 +</html>
  
  
-** Previous years ** 
-[[2-3:Year16-17| Year 2016-2017]] 
-[[2-3:Year15-16| Year 2015-2016]] 
-[[2-3:Year14-15| Year 2014-2015]] 
-[[2-3:Year13-14| Year 2013-2014]] 
-[[2-3:Year12-13| Year 2012-2013]] 
  
 
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