The Department of Informatics and LASIGE have invited Tom Bartindale, a Human Computer Interaction researcher to give a talk on collaborative media production and the rise of objects. Tom will share with us his experiences of event manager and technician and how it impacted his research in new media production.

The talk will take place on the 14th of March, at 14h on room C.6.3.38.

Abstract:

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.

Pages