GT Scalp - Journées inaugurales - 26 et 27 novembre à Orsay - Inscription

Suite à la réorganisation des anciens GT LAC et GeoCal, nous avons le plaisir de vous inviter aux journées inaugurales du groupe de travail Scalp : Structures formelles pour le Calcul et les Preuves, qui auront lieu à l’Université Paris-Sud les lundi 26 (à partir de 13h) et mardi 27 novembre prochains.
 
 
La rencontre sera faite de quelques exposés invités ainsi que de sessions d’exposés de 30 minutes donnés par des participants. Nous encourageons tout particulièrement les exposés de jeunes chercheurs, qui peuvent se saisir de cette tribune pour faire connaissance avec la communauté nationale.
 
La participation aux journées est gratuite.
 

ouinon
Lundi 26 (13h-18h) *
Repas lundi soir *
Mardi 27 (9h-17h) *

Ne transmettez aucun mot de passe via Framaforms.