Thematic team Algebra and computation
Inria project-team Picube (Inria)
Thematic team Proofs and programs
Tuesday at 3:00pm, room 3071
The calendar of events (iCal format).
In order to add the event calendar to your favorite agenda, subscribe to the calendar by using this link.
Subscribe to the gt-semantics mailing list here: https://listes.u-paris.fr/wws/info/gt.semantique.irif