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 4pm, room 3052
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.
Welcome to a new series of non-permanent weekly seminars on Thursdays at 4 p.m., room 3052. This is an excellent opportunity for all non-permanent members, including postdocs, ATERs, PhD students, and interns, to connect, share research interests, and create a welcoming scientific atmosphere.
Upcoming Talks
All talks are open to everyone, regardless of experience level. We encourage beginners to attend and learn from our more experienced colleagues.
Refreshments
To make it even more enjoyable, we'll have IRIF cake right after the seminar!
We look forward to seeing you there!
Computer Science Q&A Forum
If you wish to ask or answer a Computer Science question at the seminar, you can use this link.