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

2012-13-examens [2013/09/06 16:16]
hubertcomon created
2012-13-examens [2013/09/06 16:17] (current)
hubertcomon
Line 1: Line 1:
 +
 +
 +
 + ===== mid-term and final exams of [[cours2|level 2 courses]], year 2012-2013 =====
 +
 +|**Courses** |**Title of the courses** |**mid-term or final exam \\ from Nov. 26, 2012 until Dec. 7, 2012** |**Final exam \\ From Mar, 4 2013 until Mar, 15 2013** |**Retaking exams \\ from April 11 until July 31, 2013** |
 +|2-1|Logique linéaire et paradigmes logiques du calcul \\ Linear Logic|Date: Dec. 3, 2012 13h15\\ location: same room as the course \\ format and allowed documents: all documents allowed, no laptops, tablets or cell phones |Date: **to be completed **\\ location: **to be completed ** \\ format and allowed documents: **to be completed ** |Date, location, format (oral or written) |
 +|2-2|Modèles des langages de programmation: domaines, catégories, jeux \\ Models of programming languages: domains, categories, games. |Date: Wednesday 5 December 2012 from 8h45 to 11h45 \\ location: Chevaleret 1E20 \\ format and allowed documents: Written examination (3 hours). Printed and hand-written documents accepted, electronic device forbidden.|Date: Wednesday 13 March 2013 from 8h45 to 11h45\\ location: Sophie Germain, Room 109 \\ format and allowed documents: Written examination (3 hours). Printed and hand-written documents accepted, electronic device forbidden. |Date, location, format (oral or written) |
 +|2-3|Concurrence \\ Concurrency|Date: Dec 6, 2012, 8:45--11:45 (3 hours)\\ location: Chevaleret 1E20 \\ format and allowed documents: written examination, only the lecture notes are allowed.|Date: Mar 14, 2013, 8:45--11:45 (3 hours)\\ location: **to be announced ** \\ format and allowed documents:  written examination, only the lecture notes are allowed. | Contact R. Amadio |
 +|2-4|Programmation fonctionnelle et systèmes de types \\ Functional programming and type systems |Date: Dec 04, 9h15--11h45\\ location: Chevaleret, 1E01 \\ format and allowed documents: lecture notes and hand written notes |Date: Mar 12, 9h15--11h45\\ location: Batiment Sophie Germain, room 108 \\ format and allowed documents: lecture notes and hand written notes |Contact D. Rémy |
 +|2-5|Démonstration automatique \\ Automated deduction |Date: projet à rendre pour le 10/12/2012\\ location: sans objet \\ format and allowed documents: sans objet |Date: March 15 2013\\ location: salle 109, Sophie Germain \\ format and allowed documents: Written exam, written notes and lecture notes allowed. |Date, location, format (oral or written) |
 +|2-6|Interprétation abstraite: application à la vérification et à l'analyse statique \\ Abstract interpretation: application to verification and static analysis|Date: Friday 7 December, 8:45-11:45\\ location: ENS, U/V \\ format and allowed documents: written exam, lecture notes and personal notes |Date: Friday 8 March\\ location: ENS, INFO 5 \\ format and allowed documents: 30mn oral presentation |Date, location, format (oral or written) |
 +|2-7-1|Fondements des systèmes de preuves \\ Foundations of proof systems |Date: Monday, 26 November 2012, **__16:00--18:30__**\\ location: Chevaleret 1E20 \\ format and allowed documents: Written examniation; written notes and lecture notes allowed. |  |Date, location, format (oral or written) |
 +|2-7-2|Assistants de preuves  \\ Proof assistants| |Date: Monday, 11 March 2013 at 16:15--18:15, \\ location: room 109, Sophie Germain building, \\ format and allowed documents: written exam, 2h, lecture and personnal notes allowed |Date, location, format (oral or written) |
 +|2-8|Fondements pour la vérification des systèmes temps-réel  \\ Foundations of real time systems verificarion|Date:  December 5, 2012 \\ location: Chevaleret 1E01 (same room as the lecture) \\ format and allowed documents: 3h written exam, printed lecture notes and written notes are allowed |Date: March 13, 2013\\ location: Bdg Sophie Germain, room 1008 (same room as the lectures) \\ format and allowed documents: 3h written exam. No electronic device allowed. Lecture notes, personal notes allowed. |Date, location, format (oral or written) |
 +|2-9-1|Fondements mathématiques de la théorie des systèmes infinis\\Mathematical foundations of the theory of infinite transition systems |Date: **Final exam**, Dec 4th 2012\\ location and time: same as the lecture \\ format and allowed documents: written exam, only course lecture notes allowed, see [[cours:c-2-9-1|course page]] for more details. | | |
 +|2-9-2|Vérification algorithmique des programmes\\ Algorithmic verification of programs  | |Date: March 12, 2013\\ location: same as the lecture \\ format and allowed documents: written exam, 3 hours, lecture notes and personal notes allowed but no electronic device  |Date, location, format (oral or written) |
 +|2-10|Aspects algorithmiques de la combinatoire \\ Algorithmic aspects of combinatorics |Date: 29/11/2012 horaire habituel\\ location: salle habituelle \\ format and allowed documents: notes de cours imprimées ou manuscrites |Date: 07/03/2013\\ location: salle habituelle \\ format and allowed documents: notes de cours impriées ou manuscrites |Date, location, format (oral or written) |
 +|2-11-1|Algorithmique avancée\\ Advanced algorithmics| |Date: **Wed Dec. 5 - 12:45-15:45**\\ location: **Chevaleret 1E20**\\ format and allowed documents: //Written lecture notes and (corrected) exercises sessions. No book, no laptop, no phone, no internet.// |Date, location, format (oral or written) |
 +|2-11-2|Complexité randominsée \\ Randomized complexity  |Date: 30/11/2012, 12.45-15.45 (same as course)\\ location: 1E20 (same as course) \\ format and allowed documents: Written exam (3 hours), all printed/handwritten documents are allowed. Electronic devices are forbidden. | |Date, location, format (oral or written) |
 +|2-12-1|Cryptanalyse \\ Cryptanalysis|Date: **to be completed **\\ location: **to be completed ** \\ format and allowed documents: **to be completed ** | |Date, location, format (oral or written) |
 +|2-12-2|Algorithmes arithmetiques pour la cryptologie \\ Arithmetic algorithms for cryptology|Date: 03/12/2012 horaire habituel \\ location: endroit habituel \\ format and allowed documents: Written examination (1.5 hours). Printed and hand-written documents accepted,electronic device forbidden. |Date: 04/03/2013 horaire habituel \\ location: endroit habituel \\ format and allowed documents: Written examination (1.5 hours). Printed and hand-written documents accepted,electronic device forbidden.  |Date, location, format (oral or written) |
 +|2-13-1|Systemes polynomiaux, calcul formel et applications  \\ Polynomial systems, computer algebra and applications |Date: 3 dec 2012\\ location: Chevaleret 1E01 \\ format and allowed documents: examen oral |Date: March 4, 2013  10h00 - 12h00\\ location: Bdg Sophie Germain, room 1008 (same room as the lectures) \\ format and allowed documents: 2h written exam. No electronic device allowed. Lecture notes, personal notes allowed. |Date, location, format (oral or written) |
 +|2-13-2|Codes correcteurs d'erreurs et application a la cryptologie \\ Error correcting codes and applications to cryptology |Date: Nov, 26 2012\\ location: Chevaleret \\ format and allowed documents: Handwritten, any document allowed, any device |Date: **to be completed **\\ location: Chevaleret \\ format and allowed documents: **to be completed ** |Date, location, format (oral or written) |
 +|2-14-1|Analyse géométrique des données \\ Computational geometry learning |Date: **December 6th, 9h15-11h45**\\ location: **Chevaleret 1E01 ** \\ format and allowed documents: written exam, all documents allowed  | |Date, location, format (oral or written) |
 +|2-15| Analyse d'algorithmes \\ Analysis of algorithms |Date: Dec 5, 2012, 16:15--19:15 \\ location:  Chevaleret 1E20 \\ format and allowed documents: written examination, only the lecture notes are allowed |Date: Mar 6, 2013, 16:15--19:15 \\ location: **to be completed ** \\ format and allowed documents: written examination, only the lecture notes are allowed | Contact M. Soria |
 +|2-16|Modélisation par automates finis |Date: 7 Décembre 2012, 8:45--11:45 \\ location: salle habituelle \\ format and allowed documents: examen écrit; notes personnelles manuscrites et notes de cours autorisées, livres et documents électroniques interdits |Date: 15 Mars 2013, 8:45–11:45  \\ location: salle habituelle \\ format and allowed documents: examen écrit; notes personnelles manuscrites et notes de cours autorisées, livres et documents électroniques interdits |Contact J. Sakarovitch |
 +|2-17-1|Fondements sur la modelisation des réseaux \\ Foundations of networks models | |Date: March 11, 2013, 13.15-15.45\\ location: Usual room (1008), Sophie Germain \\ format and allowed documents: lecture notes only. No electronic devices.  |Contact Jean Mairesse |
 +|2-18-1|Algorithmique distribuée pour les réseaux \\ Distributed algorithms for the networks |Date: 4 décembre 2012 09:00-12:00 \\ location: Chevaleret 1E20 \\ format and allowed documents: examen écrit; tout document papier autorisé (documents électroniques interdits)  |Date: March 5, 2013, 09:30-12:00\\ location: Usual room, Sophie Germain \\ format and allowed documents: no document allowed, no electronic devices |Date, location, format (oral or written) |
 +|2-18-2|Algorithmique distribuée avec mémoire partagée |Date: 26 novembre, 8h45-11h45\\ location: Chevaleret 1E20 \\ format and allowed documents: tout document papier| |Date, location, format (oral or written) |
 +|2-19|Méthodes informatiques pour la biologie systémique et synthétique \\ Computational Methods for Systems and Synthetic Biology|Date: **28 Nov and 5 Dec 12.45-15.45** \\ location: Chevaleret - E1-01 \\ format and allowed documents: oral, all documents and devices allowed |Date: **13 Mar 12.45-15.45**\\ location: Chevaleret - E1-01 \\ format and allowed documents: written - all printed documents allowed, any electronic device forbidden |Date, location, format: oral |
 +|2-20-1|Jeux pour la théorie des automates, la vérification et l'internet \\ Game theory techniques in computer science|Date: 29 Nov 16H15-18h45 \\ location: Chevaleret 1E20  \\ format and allowed documents: written exam. Handwritten notes and  lecture notes allowed.|Date: 7 Mars 2013, 16h30-19h00\\ location: Sophie Germain \\ format and allowed documents: Handwritten notes and all printed documents allowed |Date, location, format (oral or written) |
 +|2-20-2|Fondations mathématiques de la théorie des automates \\ Mathematical foundations of automata theory|Date: December 6, 2012, 17:15 - 19:00 \\ location: Chevaleret \\ Written exam. Allowed documents: Yellow book and written notes |Date: 14 Mars 2013, 17h-19h\\ location: Sophie Germain \\ format and allowed documents: Yellow book and written notes |Date, location, format: written exam) |
 +|2-22|Algorithmes efficaces en calcul formel \\ Efficient algorithms in computer algebra|Date: 29 Novembre, 12:45--15:45\\ location: salle habituelle \\ format and allowed documents: examen écrit; notes personnelles manuscrites et notes de cours autorisées, livres et documents électroniques interdits |Date: 7 Mars, 12:45--15:45\\ location: salle habituelle \\ format and allowed documents: notes personnelles manuscrites et notes de cours autorisées, livres et documents électroniques interdits |Date, location, format (oral or written) |
 +|2-23-1|Systèmes synchrones \\ Synchronous systems|Date: **to be completed **\\ location: **to be completed ** \\ format and allowed documents: **to be completed ** | |Date, location, format (oral or written) |
 +|2-24-1|Optimisation  \\ Optimization |Date: 6dec201216:15-18:45\\ location: Chevaleret 1E01 \\ format and allowed documents: written exam, lecture notes from this course allowed, but no books |Date: **to be completed **\\ location: **to be completed ** \\ format and allowed documents: **to be completed ** |Date, location, format (oral or written) |
 +|2-26-2| Gestion de données sur le web \\ Web data management| |Date: **9:15 March 11 **\\ location: **Sophie Germain 1009 ** \\ format and allowed documents: **no document** |Date, location, format (oral or written) |
 +|2-27-1|Structures Informatiques et Logiques pour la Modélisation Linguistique |Date: **December 4, 16:15--19:15**\\ location: **Chevaleret 1E01** as usual\\ format and allowed documents: written examination\\all printed/manuscript documents; electronic devices are prohibited | |Date, location, format (oral or written) |
 +|2-29-1|Algorithmique des graphes \\ Graph algorithms  |Date: 9h--12h, 27 november \\ location: salle habituelle, Chevaleret 1E20 \\ format and allowed documents: all printed/manustript documents are allowed. Electronic devices are forbidden|Date:   March 12: 9H --12H \\ location: Sophie Germain \\ format and allowed documents: all printed/manustript documents are allowed. Electronic devices are forbidden |Date, location, format (oral or written) |
 +|2-30|Protocoles cryptographiques: preuves formelles et calculatoires \\ Cryptographic protocols: computational and symbolic proofs |Date: November, 30, 12:45-15:45\\ location: Chevaleret 1E01 \\ format and allowed documents: all printed/manustript documents are allowed. Electronic devices are forbidden |Date: March, 15, 12:45-15:45\\ location: Sophie Germain 1008 \\ format and allowed documents: all printed/manustript documents are allowed. Electronic devices are forbidden |Date, location, format (oral or written) |
 +|2-31-1|Algorithmique et complexité des problèmes de satisfaction de contraintes \\ Constraint satisfaction problems: algorithms and complexity|Date: **4 December 2012 @ 17:45**\\ location: **1E20 Chevaleret ** \\ format and allowed documents: **mid-term written exam, 90min, all documents allowed** |Date: **12 March 2013 @ 17:45**\\ location: **room 109, Sophie Germain** \\ format and allowed documents: **final written exam, 90min, all documents allowed** |Date, location, format (oral or written) |
 +|2-33-1|Theorie des calculs \\ Theory of computations|Date: **4 December 2012 @ Usual Time (16h15) **\\ location: ** Usual location = 1E20 ** \\ format and allowed documents: ** written exam, all documents allowed ** |Date: **March 12th @ 15:45 -> 17:45 **\\ location: **room 109, Sophie Germant ** \\ format and allowed documents: **written exam, 120 minutes, all documents allowed ** |Date, location, format (oral or written) |
 +|2-34-1|Informatique quantique et applications\\ Quantum information and applications| |Date: **15 March **\\ location: **Sophie Germain 1001 ** \\ format and allowed documents: **3 hours, written exam. Handwritten notes and lecture notes ** |Date, location, format (oral or written) |
 +|2-36-1| Preuves de programmes \\ Proofs of programs | |Date: **6 March 2013, 16:15-19:15**\\ location: **room 1008, Sophie Germain** \\ format and allowed documents: **written exam, 3 hours, lecture notes and personal notes allowed but no electronic device** |Date, location, format (oral or written) |
 +|2-37-1| Semantique, langages et algorithmes pour la programmation multicore\\ Semantics, languages and algorithms for multicore programming| |Date: **13 March 2013 **\\ location: **1009 Sophie Germain, 12:45-14:45** \\ format and allowed documents: **written exam, 2 hours, all documents allowed, including electronic devices** |Date, location, format (oral or written) |
 +|2-38-1| Algorithmes pour les graphes plongés\\ Algorithms for embedded graphs|Date: Tue, Nov 27, 12:45-15:45 \\ location: Chevaleret 1E20 \\ format and allowed documents: written exam (French and English versions provided; answers in French or English); handout given in class and handwritten notes allowed | |Date, location, format (oral or written) |
 +
  
  
  
 
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