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

emploidutemps20 [2020/07/27 15:48]
carton [2020-2021 Agenda]
emploidutemps20 [2020/07/27 16:05] (current)
carton [2020-2021 Agenda]
Line 70: Line 70:
 | Monday  \\  12h45|2_20_2: Symbolic dynamics \\ 2_24_1: Optimization \\ 2_12_1: Techniques in cryptography and cryptanalysis|2035 \\ 2036 \\ 2035|1-2 \\ 1 \\ 1-2|first half of slot \\ \\ second half of slot| | Monday  \\  12h45|2_20_2: Symbolic dynamics \\ 2_24_1: Optimization \\ 2_12_1: Techniques in cryptography and cryptanalysis|2035 \\ 2036 \\ 2035|1-2 \\ 1 \\ 1-2|first half of slot \\ \\ second half of slot|
 | Monday  \\  16h15|2_20_1: Game theory techniques in computer science \\ 2_22: Efficient algorithms in computer algebra \\ 2_29_1:  Graph algorithms|2035 \\ 2036 \\ 2035|1 \\ 1-2 \\ 2| \\  \\ | | Monday  \\  16h15|2_20_1: Game theory techniques in computer science \\ 2_22: Efficient algorithms in computer algebra \\ 2_29_1:  Graph algorithms|2035 \\ 2036 \\ 2035|1 \\ 1-2 \\ 2| \\  \\ |
-| Tuesday  \\  8h45|2_29_2:  Fouille de graph \\ 2_2: Models of programming languages: domains, categories, games\\ 2_3_1: Concurrency|2036 \\ 2035 \\ 2036|1 \\ 1-2 \\ 2| \\ \\ |+| Tuesday  \\  8h45|2_29_2:  Graph mining \\ 2_2: Models of programming languages: domains, categories, games\\ 2_3_1: Concurrency|2036 \\ 2035 \\ 2036|1 \\ 1-2 \\ 2| \\ \\ |
 | Tuesday  \\  12h45|2_18_2: Distributed algorithms on shared memory \\ 2_30: Cryptographic protocols: formal and computational proofs|2036 \\ 2035|1 \\ 1-2| \\ | | Tuesday  \\  12h45|2_18_2: Distributed algorithms on shared memory \\ 2_30: Cryptographic protocols: formal and computational proofs|2036 \\ 2035|1 \\ 1-2| \\ |
 | Tuesday  \\  16h15|2_19: Biochemical Programming \\ 2_1: Linear logic and logical paradigms of computation \\ 2_23_1: Synchronous systems|2036 \\ 2035 \\ 2036|2 \\ 1-2 \\ 1| \\  \\ | | Tuesday  \\  16h15|2_19: Biochemical Programming \\ 2_1: Linear logic and logical paradigms of computation \\ 2_23_1: Synchronous systems|2036 \\ 2035 \\ 2036|2 \\ 1-2 \\ 1| \\  \\ |
 
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