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

emploidutemps17 [2017/10/05 15:16]
carton
emploidutemps17 [2017/10/23 20:26] (current)
carton
Line 69: Line 69:
  
 | Monday  \\  8h45|2.10: Algorithmic aspects of combinatorics \\ 2.8.1: Non-sequential theory of distributed systems \\ 2.13.1: Polynomial Systems, computer algebra, and applications|2036 \\ 2035 \\ 2035|1-2 \\ 1 \\ 2| \\  \\ | | Monday  \\  8h45|2.10: Algorithmic aspects of combinatorics \\ 2.8.1: Non-sequential theory of distributed systems \\ 2.13.1: Polynomial Systems, computer algebra, and applications|2036 \\ 2035 \\ 2035|1-2 \\ 1 \\ 2| \\  \\ |
-| Monday  \\  12h45|2.11.2: Randomness in complexity \\ 2.16: Finite automata modelling \\ 2.3.2: Foundations of privacy|2036 \\ 2035 \\ 2036 |1 \\ 1-2  \\ 2| \\ \\ |+| Monday  \\  12h45|2.11.2: Randomness in complexity \\ 2.16: Finite automata modelling |2036 \\ 2035 |1 \\ 1-2 | \\ |
 | Monday  \\  16h15|2.35.1: Constraint programming \\ 2.26.2: Web data management \\ 2.14.1: Computational geometry learning| 2036 \\ 2035 \\ 2035| 1 \\ 2 \\ 1| \\  \\ | | Monday  \\  16h15|2.35.1: Constraint programming \\ 2.26.2: Web data management \\ 2.14.1: Computational geometry learning| 2036 \\ 2035 \\ 2035| 1 \\ 2 \\ 1| \\  \\ |
 | Tuesday  \\  8h45|2.29.1:  Graph algorithms \\ 2.29.2: Graph mining \\ 2.37.1: Semantics, languages and algorithms for multicore programming |2036 \\ 2036 \\ 2035 |1 \\ 2 \\ 2 | \\ \\ | | Tuesday  \\  8h45|2.29.1:  Graph algorithms \\ 2.29.2: Graph mining \\ 2.37.1: Semantics, languages and algorithms for multicore programming |2036 \\ 2036 \\ 2035 |1 \\ 2 \\ 2 | \\ \\ |
Line 78: Line 78:
 | Wednesday  \\  16h15| 2.34.2: Quantum information and cryptography \\ 2.27.1: Computational structures and logics for natural language modelling \\ 2.39  : Computer Graphics and Visualization| 2035 \\ 2035 \\ 2036| 2 \\ 1 \\ 1-2| \\ \\ first half of slot| | Wednesday  \\  16h15| 2.34.2: Quantum information and cryptography \\ 2.27.1: Computational structures and logics for natural language modelling \\ 2.39  : Computer Graphics and Visualization| 2035 \\ 2035 \\ 2036| 2 \\ 1 \\ 1-2| \\ \\ first half of slot|
 | Thursday  \\  8h45|2.2: Models of programming languages: domains, categories, games \\ 2.13.2: Error correcting codes and applications to cryptography \\ 2.18.1: Distributed algorithms on networks|2036 \\ 2035 \\ 2035|1-2 \\ 1-2 \\ 1-2| \\ second half of slot \\ first half of slot| | Thursday  \\  8h45|2.2: Models of programming languages: domains, categories, games \\ 2.13.2: Error correcting codes and applications to cryptography \\ 2.18.1: Distributed algorithms on networks|2036 \\ 2035 \\ 2035|1-2 \\ 1-2 \\ 1-2| \\ second half of slot \\ first half of slot|
-| Thursday  \\  12h45|2.7.1: Foundations of proof systems  \\ 2.38.1: Algorithms and combinatorics for geometric graphs|2036 \\  2035|1 \\  1| \\  |+| Thursday  \\  12h45|2.7.1: Foundations of proof systems  \\ 2.38.1: Algorithms and combinatorics for geometric graphs \\ 2.3.2: Foundations of privacy|2036 \\  2035 \\ 2035|1 \\  1 \\ 2| \\ \\ |
 | Thursday  \\  16h15|2.22: Efficient algorithms in computer algebra \\ 2.7.2: Proof assistants \\ 2.20.1: Game theory techniques in computer science|2036 \\ 2035 \\ 2035|1-2 \\ 2 \\ 1| \\  \\ | | Thursday  \\  16h15|2.22: Efficient algorithms in computer algebra \\ 2.7.2: Proof assistants \\ 2.20.1: Game theory techniques in computer science|2036 \\ 2035 \\ 2035|1-2 \\ 2 \\ 1| \\  \\ |
 | Friday  \\  8h45|2.18.2: Distributed algorithms on shared memory \\ 2.24.2 Optimization and Search Heuristics \\ 2.8.2: Foundations of real-time and hybrid systems \\ 2.9.2: Algorithmic verification of programs |2036 \\ 2035 \\ 2035 \\ 2036 |1 \\ 2 \\ 1 \\ 2| \\  \\ \\ | | Friday  \\  8h45|2.18.2: Distributed algorithms on shared memory \\ 2.24.2 Optimization and Search Heuristics \\ 2.8.2: Foundations of real-time and hybrid systems \\ 2.9.2: Algorithmic verification of programs |2036 \\ 2035 \\ 2035 \\ 2036 |1 \\ 2 \\ 1 \\ 2| \\  \\ \\ |
 
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