Date/Time
Date(s) - 10/05/2023
5:00 pm - 6:30 pm
Location
Maison du Nombre 01.020
Categories
It is our greatest pleasure to extend a warm invitation to you all to join us at the BiCS Type Theory Seminar on May 10th at 17.00 in MNO1.020. We are excited to announce that the seminar will feature a presentation by our very own Quentin, who will share some fascinating concepts from type theory and highlight why learning logic is important for programming languages. This seminar is a must-attend for anyone who is interested in delving deeper into the exciting world of theoretical computer science, and for those who want to broaden their knowledge of programming languages.
So mark your calendars and join us at the BiCS Type Theory Seminar on May 10th at 17.00 in MN01.020! Let’s come together to learn, share ideas and engage in meaningful discussions. There will also be drinks after btw
Join our Discord! https://discord.gg/PEmybCGMZq
