MPRI

2012-2013 Agenda

M1

The M1 year is organized by each of the university partners. The Paris 7 M1 is a curriculum of the master Ingénierie Informatique. All informations about the MPRI M1 should therefore be available on these pages.

The students enrolled in the MPRI M1 at ENS Cachan or ENS Paris follow a curriculum, that is designed with the agreement of the representative of their home university in the studies committee. They must attend the kickoff meeting of the M2 year , which is precised below.

M2

The kickoff meeting will take place on Monday, September 17th at 10:00 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.

The slides of the kickoff meeting

A small buffet will be organized after the meeting.

The lectures will start on Monday, september 17th at 13:15.

There will be a Christmas break from December 22nd until Jan 6th, 2013 (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 17th 2012 until Nov. 23rd 2012 : first lecture period.
From Nov 26th, 2012 until Dec. 7th, 2012 : final or mid-term exams.
From Dec. 10th, 2012 until March 2nd, 2013 : second lecture period.
From Mar 4th, 2013 until March 15th, 2013 : exams.

Warning: In 2013, the lectures move from Chevaleret to Batiment Sophie Germain

Research internships last 4.5 months (at least) and may start from March 18th, 2013.

Summary of some deadlines

Oct. 8: submission of a module selection
Nov. 5: canceling registration to 1rst period modules
Jan. 11: canceling registration to 2nd period modules
Jan. 21: submission of an internship choice
Apr. 30: retaking exams requests
Jul. 31: retaking exams
Aug. 22: internship reports upload

2012-2013 Calendar

	8:45 -- 9:15	9:15 -- 10:15	10:15 -- 11:45	12:45 -- 13:15	13:15 -- 14:15	14:15 -- 15:45	16:15 -- 17:45	17:45 -- 18:45	18:45 -- 19:15
Monday	2.18.2 Algorithmique distribuée avec mémoire partagée Distributed algorithms with shared memory Period 1, 8 lectures (first lecture: Sept 24th) Chevaleret 1E20				2.1 Logique linéaire et paradigmes logiques du calcul Linear logic Period 1 and Period 2, 20 lectures Chevaleret 1E20 until Dec. 21rst. Batiment Sophie Germain room 109, from Jan 7th		2.12.2 Algorithmes arithmétiques pour la cryptologie Arithmetic algorithms for cryptology Period 1 and Period 2, 16 lectures Chevaleret 1E01 until Dec. 21rst. Batiment Sophie Germain room 108, from Jan 7th	2.13.2 Codes correcteurs d'erreurs et applications à la cryptographie Error correcting codes and applications to cryptography Period 1 and Period 2, 16 lectures Chevaleret 1E01 until Dec. 21rst. Batiment Sophie Germain room 108, from Jan 7th
			2.13.1 Systèmes polynomiaux, calcul formel et applications Polynomial systems, computer algebra and applications Period 1 and Period 2, 16 lectures (first lecture: sept 24th) Chevaleret 1E01 until Dec. 21rst. Batiment Sophie Germain room 108, from Jan 7th		2.12.1 Techniques in Cryptography and Cryptanalysis Period 1, 10 lectures Chevaleret 1E01		2.7.1 Fondements des systèmes de preuves Foundations of proof systems Period 1, 8 lectures Chevaleret 1E20 First lecture on Sept. 24th
	1.20 Catégories, lambda-calculs Period 1 and Period 2, 16 lectures 1rst lecture on Sept. 24 Ulm salle R				2.17.1 Fondements sur la modélisation des réseaux Foundations of network models Period 2, 10 lectures Chevaleret 1E01 until Dec. 21rst. Batiment Sophie Germain room 108, from Jan 7th		1.21 Projet de programmation réseau Period 1 and Period 2, 16 lectures ENSC Cachan, Cournot 411
		2.26.2 Gestion de données sur le web Web data management Period 2, 10 lectures Chevaleret 1E20 until Dec. 21rst. Batiment Sophie Germain room 109, from Jan 7th					2.7.2 Assistants de preuve Proof assistants Period 2, 8 lectures Chevaleret 1E20 until Dec. 21rst. Batiment Sophie Germain room 109, from Jan 7th
	8:45 -- 9:15	9:15 -- 10:15	10:15 -- 11:45	12:45 -- 13:15	13:15 -- 14:15	14:15 -- 15:45	16:15 -- 17:45	17:45 -- 18:45	18:45 -- 19:15
Tuesday		2.4 Programmation fonctionnelle et systemes de types Functional programming and type systems Period 1 and Period 2, 20 lectures Chevaleret 1E01 until Dec. 21rst. Batiment Sophie Germain room 108, from Jan 7th			2.9.1 Fondements mathématiques de la théorie des systèmes infinis Mathematical foundations of the theory of infinite transition systems Period 1, 10 lectures Chevaleret 1E01		2.27.1 Structures Informatiques et Logiques pour la Modélisation Linguistique Logical and computational structures for linguistic modeling Period 1, 8 lectures Chevaleret 1E01
	2.18.1 Algorithmique distribuée pour les réseaux Distributed algorithms for the networks Period 1 and Period 2, 16 lectures Chevaleret 1E20 until Dec. 21rst. Batiment Sophie Germain room 109, from Jan 7th		2.29.1 Algorithmique des graphes Graph algorithms Period 1 and Period 2, 16 lectures Chevaleret 1E20 until Dec. 21rst. Batiment Sophie Germain room 109, from Jan 7th	2.38.1 Algorithmes pour les graphes plongés Algorithms for embedded graphs Period 1, 8 lectures Chevaleret 1E20			2.33.1 Théorie des calculs Theory of computations Period 1 and Period 2, 16 lectures First lecture on Sept 25th Chevaleret 1E20 until Dec. 21rst. Batiment Sophie Germain room 109, from Jan 7th	2.31.1 Algorithmique et complexité des problèmes de satisfaction de contraintes Constraint Satisfaction Problems: algorithms and complexity Period 1 and Period 2, 16 lectures Chevaleret 1E20 until Dec. 21rst. Batiment Sophie Germain room 109, from Jan 7th
				2.9.2 Vérification algorithmique de programmes Algorithmic verification of programs Period 2, 8 lectures Chevaleret 1E20 until Dec. 21rst. Batiment Sophie Germain room 109, from Jan 7th
				1.19 Planification de mouvement en robotique Period 1 and Period 2, 16 lectures First lecture Sept. 25th Ulm salle UV
	8:45 -- 9:15	9:15 -- 10:15	10:15 -- 11:45	12:45 -- 13:15	13:15 -- 14:15	14:15 -- 15:45	16:15 -- 17:45	17:45 -- 18:45	18:45 -- 19:15
Wednesday	2.2 Modèles des langages de programmation: domaines, catégories, jeux Models of programming languages: domains, categories, games Period 1 and Period 2, 16 lectures Chevaleret 1E20 until Dec. 21rst. Batiment Sophie Germain room 109, from Jan 7th			2.11.1 Algorithmique avancée et complexité Advanced algorithmics and complexity Period 1, 8 lectures Chevaleret 1E20			2.23.1 Systèmes synchrones Synchronous systems Period 1, 8 lectures Ulm salle UV
	2.8 Fondements pour la vérification des systèmes temps-réel Foundations of real time systems verification Period 1 and Period 2, 16 lectures Chevaleret 1E01 until Dec. 21rst. Batiment Sophie Germain room 108, from Jan 7th			2.19 Méthodes informatiques pour la biologie systémique et synthétique Computational methods for systems and synthetic biology Period 1 and Period 2, 16 lectures Chevaleret 1E01 until Dec. 21rst. Batiment Sophie Germain room 108, from Jan 7th			2.15 Analyse d'algorithmes Analysis of algorithms Period 1 and period 2, 16 lectures Chevaleret 1E20 until Dec. 21rst. Batiment Sophie Germain salle 109, from Jan 7th
	1.17 Complexité avancée Advanced complexity theory Period 1 and Period 2, 16 lectures Ulm salle UV			2.37.1 Sémantique, langages et algorithmes pour la programmation multicore Semantics, languages and algorithms for multicore programming Period 2, 8 lectures Chevaleret 1E20 until Dec. 21rst. Batiment Sophie Germain room 109, from Jan 7th			2.36.1 Preuve de programmes Proofs of programs Period 2, 8 lectures Chevaleret 1E01 until Dec. 21rst. Batiment Sophie Germain room 108, from Jan 7th
					1.22 Initiation à la vérification Introduction to verification Period 1 and Period 2, 20 lectures Chevaleret 1C12 Sept. 19 7D01, starting from Sept. 26 Room 2.027, Bat. Sophie Germain, starting from Jan 7th.
	8:45 -- 9:15	9:15 -- 10:15	10:15 -- 11:45	12:45 -- 13:15	13:15 -- 14:15	14:15 -- 15:45	16:15 -- 17:45	17:45 -- 18:45	18:45 -- 19:15
Thursday		2.3 Concurrence Concurrency Period 1 and Period 2, 20 lectures Chevaleret 1E20 until Dec. 21rst. Batiment Sophie Germain salle 109, from Jan 7th		2.22 Algorithmes efficaces en calcul formel Efficient algorithms in computer algebra Period 1 and Period 2, 16 lectures Chevaleret 1E01 until Dec. 21rst. Batiment Sophie Germain room 108, from Jan 7th			2.20.1 Techniques de théorie des jeux en informatique Game theory techniques in computer science Period 1 and Period 2, 16 lectures Chevaleret 1E20 until Dec. 21rst. Batiment Sophie Germain salle 109, from Jan 7th	2.20.2 Fondations mathématiques de la théorie des automates Mathematical foundations of automata theory Period 1 and Period 2, 16 lectures Chevaleret 1E20 until Dec. 21rst. Batiment Sophie Germain salle 109, from Jan 7th
		2.14.1 Analyse Géométrique des Données Computational Geometry Learning Period 1, 10 lectures Chevaleret 1E01			2.10 Aspects algorithmiques de la combinatoire Algorithmic aspects of combinatorics Period 1 and Period 2, 20 lectures Chevaleret 1E20 until Dec. 21rst. Batiment Sophie Germain salle 109, from Jan 7th		2.24.1 Optimisation Period 1, 10 lectures Chevaleret 1E01
				TD du cours 1.20, Ulm salle UV First lecture Sept. 27th
	8:45 -- 9:15	9:15 -- 10:15	10:15 -- 11:45	12:45 -- 13:15	13:15 -- 14:15	14:15 -- 15:45	16:15 -- 17:45	17:45 -- 18:45	18:45 -- 19:15
Friday	2.6 Interprétation abstraite: application à la vérification et à l'analyse statique Abstract interpretation: application to verification and static analysis Period 1 and Period 2, 16 lectures Ulm salle UV			2.30 Protocoles cryptographiques : preuves formelles et calculatoires Cryptographic protocols: computational and symbolic proofs Period 1 and Period 2, 16 lectures Chevaleret 1E01 until Dec. 21rst. Batiment Sophie Germain room 108, from Jan 7th			2.5 Demonstration automatique Automated deduction Period 1 and Period 2, 16 lectures Chevaleret 1E20 until Dec. 21rst. Batiment Sophie Germain salle 109, from Jan 7th
	2.16 Modélisation par automates finis Period 1 and Period 2, 16 lectures Chevaleret 1E01 until Dec. 21rst. Batiment Sophie Germain room 108, from Jan 7th			2.11.2 Complexité randomisée Randomness in Complexity Period 1, 8 lectures Chevaleret 1E20
	1.24 Probabilistic systems Period 1 and Period 2, 16 lectures Chevaleret 1E20 until Dec. 21rst. Batiment Sophie Germain salle 109, from Jan 7th			2.34.1 Informatique quantique et applications Quantum information and applications Period 2, 8 lectures Chevaleret 1E20 until Dec. 21rst. Batiment Sophie Germain room 109, from Jan 7th