Exploring programming languages at Philip Wadler’s Distinguished Lecture. From Ancient Greece to modern cryptography
Wearing a khaki suit and a Panama hat, Philip Wadler meets his audience for the Distinguished Lecture (Programming Languages) in Agda = Programming (Languages in Agda), organized within the scope of the BIG ERA Chair Project. This time, we got the explorer’s look. For other…
10, 9, 8…Ariane 6 is set for liftoff and we’re onboard
We are on the verge of a new dawn for European space exploration and for Portuguese academia. On its maiden flight, Ariane 6, the new European heavy lift launch vehicle, is carrying our ISTSat-1, the first university CubeSat satellite entirely conceived in Portugal. Handwritten on…