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.
A team of LASIGE, constituted by Nuno Neves, Fernando Ramos, Max Alaluna and Eric Vial, demonstrated the creation of a virtual network connecting 10 000 Docker containers over a multi-cloud setting spanning three providers (Amazon, Google, and LASIGE as a private cloud). The event was held during the SUPERCLOUD project meeting at the Orange Gardens Innovation Center in Châtillon, south of Paris.
The Information Systems Analysis and Design discipline invited ex-LASIGE researcher and FCUL PhD graduate, João Craveiro, to present a lecture about his profesional experience as a product manager.
LASIGE research was presented at FISMED 2017, the National Meeting of Medical Physics, through an invitation addressed to Francisco Couto to present a talk about his work in data exploitation, sharing and privacy.
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.
The 2nd edition of AltMM 2017 - International Workshop on Multimedia Alternate Realities, co-chaired by Teresa Chambel, will take place next October 27, 2017, at Mountain View, CA, USA, co-located with ACM Multimedia 2017 Conference (CORE A* event).
The app helpAR developed by Alcides Fonseca, along with two colleague researchers, had won the 1st place prize at Pixels Camp hackathon.
The app goal is to improve the shopping experience by applying AR and Machine Learning models, and was rewarded by its creativity and innovation being the one that most singled out at the event's hackathon.
The last Talk @ DI organised by FCUL Informatics Department was given, at October 3rd, 2017, by ex-LASIGE researcher and FCUL PhD graduate, João Antunes, who shared his journey and gave a glimpse of the life lesson acquired by, from a PhD graduate, who with no experience traveled to Silicon Valley for his first job at a startup tech company, and now, 5 years later, still lives and works in the heart of the technology mecca.
LASIGE is supported by FCT, project UID/CEC/00408/2019
