04 Jun

INESC-ID Distinguished Lecture: “(Programming Languages) in Agda = Programming (Languages in Agda)” by Professor Philip Wadler (UEdin)

Tuesday

EVENT DETAIL

06 May

ACM/IEEE Presidential Panel on the Future of Computing: Academia, Research, and Industry

Thursday

EVENT DETAIL

03 Dec

IST /INESC-ID Distinguished Lecture – An Ethical Crisis in Computing?

Thursday

EVENT DETAIL

18 Dec

“Beyond User Centered Design” – IST Distinguished Lecture

Wednesday, IST / Congress Center

EVENT DETAIL

15 Oct

Programming Non-Volatile Memory (INESC-ID and IST Distinguished Lecture)

Tuesday, Anfiteatro Abreu Faro

EVENT DETAIL

24 Sep

HOW I THINK ABOUT RESEARCH (IST and INESC-ID Distinguished Lecture)

Tuesday, IST / Congress Center

EVENT DETAIL

19 Sep

Bioinformatics: a Servant or the Queen of Molecular Biology? (INESC-ID and IST Distinguished Lecture)

Thursday, Sala de Reuniões IST

EVENT DETAIL