Rencontre, décembre 13th, 2018

Rencontre, novembre 15th, 2018

Rencontre, septembre 20th, 2018

Rencontre, mai 17th, 2018

Amphi B, ENS de Lyon, site Monod

Rencontre, avril 12th, 2018

Rencontre, mars 15th, 2018

La rencontre aura lieu à Lyon, dans un amphi à préciser.

Rencontre, février 8th, 2018

Amphi B, ENS de Lyon, site Monod

Rencontre, décembre 14th, 2017

Nous serons en amphi B (site Monod, 3ème étage)

Rencontre, novembre 9th, 2017

Rencontre, octobre 12th, 2017

La rencontre aura lieu en amphi B.

Rencontre, juin 29th, 2017

Amphi A le matin, amphi B l'après-midi.

Rencontre, mai 11th, 2017

La rencontre se tiendra en amphi B, 3ème étage, site Monod de l'ENS de Lyon.

Rencontre, avril 13th, 2017

La rencontre aura lieu en amphi B, au 3è étage, sur le site Monod de l'ENS de Lyon (fléchage depuis l'ascenseur).

Rencontre, mars 9th, 2017

La rencontre se tiendra en amphi B, à l'ENS de Lyon.

Rencontre, février 9th, 2017

La rencontre aura lieu à l'ENS de Lyon, site Monod, en amphi B (3ème étage).

Rencontre, janvier 12th, 2017

La rencontre aura lieu en salle B2 (4ème étage, ENS de Lyon)

Séminaire, décembre 1st, 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, novembre 10th, 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, novembre 9th, 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, octobre 13th, 2016

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

Séminaire, septembre 22nd, 2016

Matin : amphi B

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

Séminaire, juin 9th, 2016

Séminaire, mai 12th, 2016

We will be in Amphi B, third floor.

Séminaire, mars 10th, 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, février 11th, 2016

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

Séminaire, janvier 14th, 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, décembre 3rd, 2015

Séminaire, novembre 5th, 2015

Séminaire, octobre 1st, 2015

Séminaire, mai 21st, 2015

Séminaire, avril 9th, 2015

Séminaire, mars 12th, 2015

Séminaire, février 5th, 2015

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

Séminaire, décembre 4th, 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, novembre 13th, 2014

Séminaire, octobre 16th, 2014

Programme à venir

Séminaire, septembre 25th, 2014

Séminaire, avril 3rd, 2014

Séminaire, mars 13th, 2014

Séminaire, février 13th, 2014

Séminaire, décembre 12th, 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, novembre 14th, 2013

Séminaire, octobre 17th, 2013

Séminaire, septembre 26th, 2013

Séminaire, mai 16th, 2013

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

Séminaire, mars 14th, 2013

Rencontre annuelle GeoCal, février 15th, 2013

Rencontre annuelle du groupe de travail <a href="http://iml.univ-mrs.fr/~regnier/gdr-im/">Géométrie du Calcul (GeoCal)</a> du <a href="http://www.gdr-im.fr/">GDR Informatique Mathématique</a>

Séminaire, février 14th, 2013

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

Séminaire, janvier 17th, 2013

Séminaire, décembre 6th, 2012

Attention cette rencontre aura lieu à Paris.

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

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

Séminaire, octobre 11th, 2012

Séminaire, mai 10th, 2012

Séminaire, avril 5th, 2012

Séminaire, mars 15th, 2012

Inauguration Récré, janvier 12th, 2012

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

Séminaire, décembre 8th, 2011

Séminaire, novembre 10th, 2011

Séminaire, octobre 13th, 2011