| 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 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) |