Appel à Participation.

Le groupe intitulé "Langages, Types et Preuves" se réunira à Strasbourg le 19 Novembre 2010.

Cette journée marquera le troisième rendez-vous du groupe, après Évry en 2008 à  l'ENSIEE et Créteil en 2009 au LACL.