LASIGE invites Philip Wadler to present next Thursday's cialis 10mg "Informática @ Ciências" seminar on "Propositions as Sessions". Besides taking on his lambda-calculus super-hero alter-ego during his very entertaining talks, Philip Wadler is one of most influential researchers on the topic of programming language theory. Recently, he became involved with IOHK, a startup that develops smart-contract technology for blockchains.

Abstract:

The next Talk @ DI will be presented by Edwin Brady, Lecturer at the University of St Andrews (UK) and Idris' creator, in the follow up of the invitation addressed by Vasco Vasconcelos.
The lecture, with the same title of Brady's book "Type-Driven Development with Idris", will present how to improve the performance and accuracy of programs by taking advantage of a state-of-the-art type system, and will take place at January, 24th, 16:00h, at 6.2.44 room of FCUL's C6 building.

On November 8th, 2017, Arquivo.pt celebrated its 10th anniversary with the accomplishment of the initiative "Archivo.pt: New ways to travel to the past". The initiative marked the work developed by Arquivo.pt, a tool that in the future will allow society to understand how the past was in this time, increasingly digital and multimedia.
The project Arquivo.pt started at LASIGE, when Daniel Gomes, its project manager, were a LASIGE researcher and PhD student, and have been gaining volume at FCT-FCCN where he currently works.

The 2017 INForum - Simpósio de Infomática edition, the most renowned National event in computer Science, received, as common since its first edition, a strong LASIGE participation with 14 authored/co-authored articles and 17 registrants from the unit taking part at the sympsosium, held in Aveiro, Portugal, October 12-13, 2017.

Pages