Working group Pole Proofs, programs and systems Thematic team Algebra and computation Inria project-team Picube (Inria) Thematic team Proofs and programs Manage talks Semantics Day, hour and place 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. Contact(s) Guillaume Geoffroy Jeremy Ledent Paul-André Melliès Subscribe to the gt-semantics mailing list here: https://listes.u-paris.fr/wws/info/gt.semantique.irif