Distinguished Lecture by Professor Philip Wadler
On June 4th at 15h00, Professor Philip Wadler will give an INESC-ID Distinguished Lecture organized in the scope of the European Union´s Horizon 2020 BIG ERA Chair Project titled “(Programming Languages) in Agda = Programming (Languages in Agda)”

Date: June 4th, 2024 | Time: 15h00-16h15 | Location: Anfiteatro Abreu Faro - Complexo Interdisciplinar, Instituto Superior Técnico (Alameda)

More information at: https://bigerachair.tecnico.ulisboa.pt/news-events/distinguished-lecture-by-professor-philip-wadler/ 

Sign in to Google to save your progress. Learn more
Name *
E-mail *
Institution *
Would you like to receive information about upcoming events organised by the BIG ERA Chair project? *
Clear form
Never submit passwords through Google Forms.
This form was created inside of Instituto Superior Técnico. Report Abuse