Pole Algorithms and discrete structures
Pole Automata, structures and verification
Pole Proofs, programs and systems
Inria project-team $\pi r^2$ (Inria)
Thematic team Algebra and computation
Thematic team Algorithms and complexity
Thematic team Automata and applications
Thematic team Combinatorics
Thematic team Modeling and verification
Thematic team Proofs and programs
Thematic team Theory and algorithmics of graphs
Thursday at 5pm, room 3052 (Sophie Germain 3rd floor)
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.
cake at irif.fr
IRIF CakeTM is an amazing opportunity to meet people while simultaneously eating cakes baked by your fellow colleagues! Join us every Thursday, at 5pm, in room 3052 (Sophie Germain 3rd floor) for a weekly feast. You can also express your cooking skills and volunteer to bake a cake by sending an email to cake at irif.fr.