Rencontre, 15 juin 2017

Rencontre, 11 mai 2017

Rencontre, 13 avril 2017

Rencontre, 9 mars 2017

Rencontre, 9 février 2017

Rencontre, 12 janvier 2017

Séminaire, 1 décembre 2016

The meeting will take place

. in the morning, in room B1 (4th floor, Monod site, ENS de Lyon)

. in the afternoon, in amphi B (3rd floor, Monod site, ENS de Lyon)

Rencontre, 10 novembre 2016

Cette journée CHoCoLa aura pour cadre la rencontre LL2016 - Linear Logic: interaction, proofs and computation.

Vous pouvez consulter le programme (cliquez sur une session pour avoir les détails).

La rencontre aura lieu dans la salle 1 place de l'École de l'ENS Lyon.

Rencontre, 9 novembre 2016

Cette journée CHoCoLa aura pour cadre la rencontre LL2016 - Linear Logic: interaction, proofs and computation.

Vous pouvez consulter le programme (cliquez sur une session pour avoir les détails).

La rencontre aura lieu dans la salle 1 place de l'École de l'ENS Lyon.

Séminaire, 13 octobre 2016

La rencontre aura lieu en amphi B, à l'ENS de Lyon.

Séminaire, 22 septembre 2016

Matin : amphi B

Après-midi : amphi A (3è étage, à l'autre bout du couloir par rapport à l'amphi B)

Séminaire, 9 juin 2016

Séminaire, 12 mai 2016

We will be in Amphi B, third floor.

Séminaire, 10 mars 2016

Le matin, nous serons a priori en salle B1 (4ème étage). L'après-midi, nous serons en amphi B (3è étage).

Séminaire, 11 février 2016

Nous serons en amphi B toute la journée (3è étage, site Monod de l'ENS Lyon).

Séminaire, 14 janvier 2016

The talks will take place

  • in salle des thèses (ground floor) in the morning;

  • in amphi I (not C !!!! -- neither C, nor L) (ground floor, opposite part of the building) in the afternoon.

Séminaire, 3 décembre 2015

Séminaire, 5 novembre 2015

Séminaire, 1 octobre 2015

Séminaire, 21 mai 2015

Séminaire, 9 avril 2015

Séminaire, 12 mars 2015

Séminaire, 5 février 2015

! The talk by J. Endrullis will be in room B1 (4th floor).

Séminaire, 4 décembre 2014

Cette réunion se tiendra à Marseille, plus précisément à Luminy (notez au passage les horaires inhabituels).

Pour aller à Luminy, voici un lien, et voici un plan du campus.

Nous serons le matin dans l'amphi 1 du bâtiment A : c'est le rectangle bleu qui porte le numéro 6 sur le plan. Après avoir déjeuné dans une bonne auberge, nous serons l'après-midi dans les locaux du labo I2M, qui se trouve dans la partie CNRS du bâtiment TPR2: c’est le rectangle orange numéro 5.

Séminaire, 13 novembre 2014

Séminaire, 16 octobre 2014

Programme à venir

Séminaire, 25 septembre 2014

Séminaire, 3 avril 2014

Séminaire, 13 mars 2014

Séminaire, 13 février 2014

Séminaire, 12 décembre 2013

This meeting will take place in Paris, Amphithéâtre 9E, Université Denis Diderot (Paris 7), esplanade Pierre Vidal-Naquet 75013 Paris (Metro Bibliothèque François Mitterrand, reachable by line 14 from Gare de Lyon).

Séminaire, 14 novembre 2013

Séminaire, 17 octobre 2013

Séminaire, 26 septembre 2013

Séminaire, 16 mai 2013

Réunion ANR Récré, 11 avril 2013

Séminaire, 14 mars 2013

Rencontre annuelle GeoCal, 15 février 2013

Rencontre annuelle du groupe de travail Géométrie du Calcul (GeoCal) du GDR Informatique Mathématique

Séminaire, 14 février 2013

Cette journée Chocola sera suivie d'une rencontre du Groupe de travail Geocal du GDR IM, le 15 février.

Séminaire, 17 janvier 2013

Séminaire, 6 décembre 2012

Attention cette rencontre aura lieu à Paris.

Réunion ANR Récré, 15 novembre 2012

Réunion du projet ANR Récré ouverte à tous les participants des rencontres CHoCoLa.

Séminaire, 11 octobre 2012

Séminaire, 10 mai 2012

Séminaire, 5 avril 2012

Séminaire, 15 mars 2012

Inauguration Récré, 12 janvier 2012

Journée inaugurale du projet ANR Récré.

Séminaire, 8 décembre 2011

Séminaire, 10 novembre 2011

Séminaire, 13 octobre 2011