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

2013-14-examens [2014/06/03 12:02] (current)
amadio created
Line 1: Line 1:
 +
 + ===== mid-term and final exams of [[cours2|level 2 courses]], year 2013-2014 =====
 +
 +|**Courses** |**Title of the courses** |**mid-term or final exam \\ from Nov. 25, 2013 until Dec. 6, 2013** |**Final exam \\ From Mar, 3 2014 until Mar, 14 2014** |**Retaking exams \\ from April 12 until July 31, 2014** |
 +|2-1|Logique linéaire et paradigmes logiques du calcul \\ Linear Logic|2/12/2013 \\ Room 1009 (usual course hours) \\ written exam, all documents allowed   |Date, location, format | |
 +|2-2|Modèles des langages de programmation: domaines, catégories, jeux \\ Models of programming languages: domains, categories, games. | Wednesday, December 4 \\ Room 1009 (usual room) \\ from 8h45 to 11h45 (usual course hours) \\ written exam \\ lecture notes and handwritten notes allowed \\ but no books or electronic devices. \\  |Date, location, format |
 +|2-3|Concurrence \\ Concurrency. | December 6: \\ Deadline for home assignment and \\ written examination on Varacca's part. \\ Usual hour (13:15) and room, \\ lecture notes allowed,\\ no books or electronic devices.|March 7: \\ written examination on second period. \\ Usual room but start at 12:45, \\ lecture notes allowed, \\ no books or electronic devices. \\ |Contact R. Amadio |
 +|2-4|Programmation fonctionnelle et systèmes de types \\ Functional programming and type systems. |December Tuesday 03\\ Room 1009 \\ Lecture notes and handwritten notes \\ No electronic device |March Tuesday 11 \\ Room 1009, 9:15-11:45. \\ Lecture notes and handwritten notes \\ No electronic device|  Contact D. Remy |
 +|2-5|Démonstration automatique \\ Automated deduction. |Date, location, format | 6 mars 9h45-11h45\\ Bat. Sophie Germain Room 1009 \\ exam mainly on R. Treinen's part \\ 1 exercice on E. Contejean's  part \\ Lecture notes and handwritten notes \\ No electronic device \\ project on S. Conchon's part | Contact R. Treinen / E. Contejean |
 +|2-6|Interprétation abstraite: application à la vérification et à l'analyse statique \\ Abstract interpretation: application to verification and static analysis.|December 6. \\ Written exam at usual place (room 1009) and hours (8:45-11:45). \\ Authorized documents: personal notes and printed course slides only; no other document, and no computer. |March 7 (to be confirmed). \\ Oral exam: 20mn presentation of an article from a given list (announced two weeks before the oral) followed by a 10mn question session.|Contact A. Miné|
 +|2-7-1|Fondements des systèmes de preuves \\ Foundations of proof systems. |November 26th, room 1009, written exam |Date, location, format |
 +|2-7-2|Assistants de preuves  \\ Proof assistants.|Date, location, format |March 3, 9:00-11:00, room 1009, written exam \\ March 10, 8:45-11:45, room 1009, 10' project defense | 
 +|2-8|Fondements pour la vérification des systèmes temps-réel  \\ Foundations of real time systems verificarion. | le mardi 26 novembre à 16h15, salle 1008, écrit, 2h | le mardi 11 mars à 16h15, salle 1008, écrit, 3h |
 +|2-9-1|Fondements mathématiques de la théorie des systèmes infinis\\Mathematical foundations of the theory of infinite transition systems. |27 novembre 12h45-15h45, room 1008, written exam, Allowed documents: your personal notes. No other printed document allowed. No computer allowed.|Date, location, format |
 +|2-9-2|Vérification algorithmique des programmes\\ Algorithmic verification of programs  |Date, location, format |Date, location, format | 
 +|2-10|Aspects algorithmiques de la combinatoire \\ Algorithmic aspects of combinatorics. |December 6, written exam at usual place and hour. |March 7, written exam at usual place and hour. | 
 +|2-11-1|Algorithmique avancée\\ Advanced algorithmics. |Date, location, format |Date, location, format | 
 +|2-11-2|Complexité randominsée \\ Randomized complexity. |3 decembre 12h45-15h45, room 1008, written exam, Allowed documents: your personal notes. Other printed documents allowed. No computers. |Date, location, format |  
 +|2-12-1|Techniques in Cryptography and Cryptanalysis |25 November 2013, 16h15-17h45, room 1009, written exam. Allowed documents: personal notes and other printed documents. No computers.  |3 March 2014, 16h15-17h45, room 1009, written exam. Allowed documents: personal notes and other printed documents. No computers. |Contact M. Abdalla |
 +|2-12-2|Algorithmes arithmetiques pour la cryptologie \\ Arithmetic algorithms for cryptology. |2 December 17h45-19h15, room 1009, written exam. Allowed documents: personal notes and other printed documents. No computers.   |10 March 16h30-18h00, room 1009, written exam. Allowed documents: personal notes and other printed documents. No computers.|
 +|2-13-1|Systemes polynomiaux, calcul formel et applications  \\ Polynomial systems, computer algebra and applications. |December 6. Oral exam at usual place (room 1009) and hours (14:15-15:45). |4 March 2014,  written exam (questions asked on an article handled to students four weeks before the exam) at usual place (room 1009) and hours (14:15-15:45). Allowed documents: personal notes and other printed documents. No computers. |
 +|2-13-2|Codes correcteurs d'erreurs et application a la cryptologie \\ Error correcting codes and applications to cryptology. |December 2. Written exam|March, 10th, usual places, questions asked on an article handled to students four weeks before the exam | 
 +|2-14-1|Analyse géométrique des données \\ Computational geometry learning. |Dec 3rd , 16h15 - 18h45 \\ Bat. Sophie Germain Room 1009 \\ written exam, documents allowed|Date, location, format |
 +|2-15| Analyse d'algorithmes \\ Analysis of algorithms. |5 Décembre,  examen écrit, heure et lieu habituels. Documents: notes de cours et notes personnelles; pas de livres ni appareil électronique.  |6 Mars,  examen écrit, heure et lieu habituels. Documents: notes de cours et notes personnelles; pas de livres ni appareil électronique. |
 +|2-16|Modélisation par automates finis.|Date: 6 Dec., 8h45–11h45, salle 1008. \\ Documents: notes de cours et notes personnelles; pas de livres ni appareil électronique. | 
 +|2-17-1|Fondements sur la modelisation des réseaux \\ Foundations of networks models. |Date, location, format |4 mars, examen écrit, heure et lieu habituels (16:15 - 19:15, salle 1009). Documents: 2 feuilles A4 R/V avec des notes personnelles.  |  
 +|2-18-1|Algorithmique distribuée pour les réseaux \\ Distributed algorithms for the networks. |Date: 3 Dec., 9h–12h, location: room 1008, format: written exam. All paper documents allowed. Electronic devices forbidden. |Date: March 4, 9:00-12:00, location: room 1008, format: written exam. All paper documents allowed. Electronic devices forbidden | 
 +|2-18-2|Algorithmique distribuée avec mémoire partagée. |Date: 2 Déc., 8h45-11h45, lieu: salle 1008 Bat. Sophie Germain, format: écrit, tout les documents écrits sont autorisés, support électronique interdit|Date, location, format |
 +|2-18-3|Robust concurrent computing | Date, location, format |Date: 06/03/2014, location: salle 1008, Bât. Sophie Germain, format:  écrit, tout les documents écrits sont autorisés, support électronique interdit| Contact P. Kuznetsov |
 +|2-19|Méthodes informatiques pour la biologie systémique et synthétique \\ Computational Methods for Systems and Synthetic Biology. |Nov. 25 and Dec. 2 (16.15-19.15); Bât. Sophie Germain, room 1008; oral presentation of articles |March 3 (16.15-19.15) Bât. Sophie Germain, room 1008; written examination, all printed documents allowed, electronic devices excluded. |
 +|2-20-1|Jeux pour la théorie des automates, la vérification et l'internet \\ Game theory techniques in computer science. |December 2, 8h45-11h45, Sophie Germain, room 1009; written exam, course material allowed |Date, location, format |
 +|2-20-2|Fondations mathématiques de la théorie des automates \\ Mathematical foundations of automata theory. |December 2, 12:45 - 14:15; Sophie Germain, room 1008; written exam, course material allowed (excluding past exams), electronic devices excluded. |March 3, 12:45 - 15:15; Sophie Germain, room 1008; written exam, course material allowed (excluding past exams), electronic devices excluded. |
 +|2-22|Algorithmes efficaces en calcul formel \\ Efficient algorithms in computer algebra. |Nov 28, same room and time as usual. Documents: lecture notes and personal notes. No electronic device.  |March 13, same room and time as usual. Documents: lecture notes and personal notes. No electronic device. |
 +|2-23-1|Systèmes synchrones \\ Synchronous systems. |Dec 6, Cecile Germain (same room), written exam, electronic devices excluded. |Date, location, format |
 +|2-24-1|Optimisation  \\ Optimization. |Nov 27 16:15-18:45, same room as lectures (Sophie Germain: 1009), no books, personal notes allowed |Date, location, format | 
 +|2-26-1| Logic, descriptive complexity, and database theory. |21 november, 9h-11h30, room 1009, written exam  | |
 +|2-26-2| Gestion de données sur le web \\ Web data management. |Date, location, format |Date, location, format |
 +|2-27-1|Structures Informatiques et Logiques pour la Modélisation Linguistique. |Date: December 4, 4:15pm--7:15pm, location: usual room (1008), format: written exam, all documents allowed, no electronic devices. |Date, location, format | 
 +|2-29-1|Algorithmique des graphes \\ Graph algorithms. |Date: 26 November 9h--12h, location: room 1008, format: written exam all documents allowed. Electronic devices are forbidden|March 11 9h--12h, Room 1008, written exam, all documents allowed. Electronic devices are forbidden |
 +|2-30|Protocoles cryptographiques: preuves formelles et calculatoires \\ Cryptographic protocols: computational and symbolic proofs. | Date: December 4th, 12:45-15:45 \\ Location: Room 1009, Bat. Sophie Germain \\ Format and allowed documents: all printed/manustript documents are allowed. Electronic devices are forbidden |Date, location, format | 
 +|2-31-1|Algorithmique et complexité des problèmes de satisfaction de contraintes \\ Constraint satisfaction problems: algorithms and complexity. |Date, location, format |Date, location, format |
 +|2-33-1|Theorie des calculs \\ Theory of computations. |Nov 28, 12:45-15:45, room 1008, written exam.  Allowed documents: your personal notes and the handout.  No electronic devices.|Date, location, format |
 +|2-34-1|Informatique quantique et applications\\ Quantum information and applications |Date, location, format | March 12, ROOM CHANGE : Sophie Germain 2018, TIME CHANGE: exam starts at 15h15 or 16h15 (your choice) AUTHORIZED NOTES: handwritten A4 page + printed lecture notes from the class. format: written exam. | contact Sophie Laplante | 
 +|2-35-1| Programmation par Contraintes \\ Constraints programming |Dec 5, 9h45-11h45; Sophie Germain, room 1008; written exam, course material allowed. | -- | Contact Sylvain Soliman |
 +|2-36-1| Preuves de programmes \\ Proofs of programs. |Date, location, format | March 14, **13:15-16:15** (not the usual hour), room 1009, written exam. Printed slides, handwritten notes, no electronic device. | Contact Claude Marché |
 +|2-37-1| Semantique, langages et algorithmes pour la programmation multicore\\ Semantics, languages and algorithms for multicore programming. | -- |Mar 5, 12:45-15:45, room 1008, written exam. Allowed documents: all, including computers| 
 +|2-38-1| Algorithmes pour les graphes plongés\\ Algorithms for embedded graphs. |Nov 27, 8:45-11:45, room 1008, written exam.  Allowed documents: your personal notes and the handout.  No computers |Date, location, format |
 +
 +
 +==== Previous years ====
 +  * [[2012-13-examens|2012-2013]]
 +  * [[examens|2011-2012]]
  
 
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