===== Archives =====

---- datatemplateentry ----
template : templates:evenement
type : Journées
nom : Journée d'accueil des nouveaux membres de l'IRIF
date : 6 novembre 2017
lieu : Amphi Turing
web : https://www.irif.fr/_media/rencontres/irif2017/newcomer17.pdf
----

---- datatemplateentry ----
template : templates:evenement
type : Journées
nom : Journées de rentrée du pôle PPS
date : Jeudi 12 et vendredi 13 octobre 2017
lieu : Salle 3052
web : https://www.irif.fr/rencontres/pps2017/index
----   

---- datatemplateentry ----
template : templates:evenement
nom : Clôture du projet MealyM
date : Lundi 10 - Jeudi 13 juillet 2017
lieu : Amphi Turing
web : https://mealym.sciencesconf.org
----

---- datatemplateentry ----
template : templates:evenement
nom : 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017)
date : Dimanche 15 - Vendredi 20 Janvier 2017
lieu : Jussieu
web : http://conf.researchr.org/home/POPL-2017
----

---- datatemplateentry ----
template : templates:evenement
nom : Rencontre du GDR Topologie algébrique
date : Vendredi 2 - Samedi 3 décembre 2016
lieu : Salle 3052
web : https://www.irif.fr/rencontres/gdrtop2016/index
----

---- datatemplateentry ----
template : templates:evenement
nom : Journées Nationales Géocal-LAC 2016
date : Lundi 28 - Mardi 29 novembre 2016
lieu : Amphi Turing / Salle des thèses
web : https://www.irif.fr/rencontres/geocal-lac2016/index
----

<label type="primary">Mercredi 9 novembre 2016 · Bâtiment Sophie Germain</label>

[[https://www.irif.fr/_media/users/pierref/journee-entrants-2016.pdf|Journées des entrants 2016]]

----
<label type="primary">Vendredi 4 novembre 2016 · Salle 3052</label>

[[https://www.irif.fr/~kesner/lia/workshop-lia-2016.html|Workshop LIA INFINIS]]

----
<label type="primary">Mercredi 7 – Vendredi 9 septembre 2016 · Institut Henri Poincaré (IHP) </label>

[[http://cui.unige.ch/tcs/random-approx/2016/index.php|Approx-Random 2016]]

----
<label type="primary">Lundi 13 - Mardi 14 Juin 2016 · Salle 0011</label>

[[https://www.irif.univ-paris-diderot.fr/~kesner/gdri/workshop-it.html|Workshop on Intersection Types]]

----
<label type="primary">Lundi 6 – Mercredi 8 juin 2016 · Amphi Buffon</label>

[[http://highlightsofalgorithms.org|Highlights of Algorithms 2016 (HALG)]]

----
<label type="primary">Mercredi 1 – Vendredi 3 juin 2016 · Amphi Buffon</label>

[[https://www.irif.univ-paris-diderot.fr/~mrenault/FILOFOCS2016|5th French-Israeli Workshop on Foundations of Computer Science (FILOFOCS)]]

----
<label type="primary">Lundi 9 – Mercredi 11 mai 2016 · Amphi Turing</label>

[[https://www.irif.univ-paris-diderot.fr/~asarin/workshop.html|Workshop EQINOCS]]

----
<label type="primary">Mardi 26 - Jeudi 28 avril 2016 · Station d'écologie forestière de l'Université Paris Diderot à Fontainebleau</label>

[[https://www.irif.univ-paris-diderot.fr/~jkrivine/conferences/WIP2016/WIP_2016.html|Workshop on Information and Processes (WIP)]]

----