RSS Meetup

SmartScribble: Safer Smart Contracts

Transmissão através de Videoconferência
Título, data, orador e localização do evento

Por Afonso Falcão (LASIGE, DI-FCUL).

Blockchain is considered one of the technologies of the future. Over the last years, a myriad of blockchain-based solutions has been discovered and implemented. At the centre of this revolution are smart contracts, scripts deployed on the blockchain that automatically execute procedures that usually involve assets. Unfortunately, several well-known attacks exploited vulnerabilities in smart contracts leading to huge monetary losses.

In this talk, I will present SmartScribble: a programming language for the specification of protocols for smart contracts. Protocols in SmartScribble describe valid patterns of interaction between user and endpoints. From a protocol specification, our compiler automatically generates a smart contract, to which the developer can add relevant business logic. SmartScribble relies on finite state machines to control endpoint invocation. As a proof-of-concept, we target Plutus, the contract programming language for the Cardano Blockchain. Preliminary evaluation points to a 75% decrease in the amount of code that developers write coupled with increased reliability of the contracts.

Short bio: I am an MSc student in FCUL working at LASIGE research unit. I have also completed my BSc in Informatics Engineering in FCUL.

Over the last year, I have been mainly focused on studying blockchain and smart contracts programming languages - the subject of my master thesis. I have also worked on other projects such as Waste2Block (a blockchain-based solution for waste management) and non-blockchain projects such as AlarmBot (

Transmissão em direto via Zoom.

Fotografia de cigarra e informações relacionadas com o concurso

Onde vivem as 13 espécies de cigarras conhecidas em Portugal? É este o desafio lançado pelo projeto Cigarras de Portugal, do cE3c.

Representação da cidade de Lisboa, acompanhada do título da conferência

The scientific programme addresses a broad range of topics at the interface between particle, nuclear and astrophysics. Special emphasis will be devoted to recent discoveries and results.

Luz solar

The world’s largest specialist PV Solar Conference - connect with the global PV community at EU PVSEC in September to gain knowledge, explore trends and discuss what is needed to keep up the new solar momentum in Europe.

Título do evento, acompanhado dos logótipos do Tec Labs e de Ciências ULisboa

Applications until 12 August 2021.

The International Doctorate Network in Particle Physics, Astrophysics and Cosmology (IDPASC) is an interdisciplinary network whose aim is to train a new generation of high-level experts in the fields of Particle Physics, Astrophysics and Cosmology.

Logótipo da Unite!

Summer School no âmbito da Rede UNITE! (University Network for Innovation, Technology and Engineering), de que faz parte a ULisboa.

O curso visa apresentar uma série de perspetivas sobre o desenvolvimento conceitual da estatística e sobre o uso de inferências e modelos estatísticos nas ciências empíricas.

Imagem ilustrativa do curso, acompanhada de várias informações úteis

Um curso dirigido ao público em geral e a estudantes de arte ou ciência (a partir dos 16 anos), com interesse em desenho de observação, ilustração e biologia, com ou sem experiência em desenho.

The objective of this course is to introduce participants to the details of communication and writing scientific publications.

Imagem ilustrativa do programa, acompanhada do respetivo título

Um programa de aceleração de ideias e negócios, promovido pela redeSaúde, com candidaturas de 01 a 30 de setembro de 2021.

The objective of this course is to introduce participants to the details of communicating science to non-specialized audiences, including, but not exclusive to, public and private stakeholders, students and teachers, and media professionals.

This course aims to evidence the importance of natural history collections for the study of biodiversity, to show new tools and approaches to extract and disseminate biodiversity data from natural history collections and to increase awareness of young researchers for the scientific and cultural value of Natural History Museums.

The course aims at providing an introduction to stable isotopes ratios as tools to understand global, ecosystem and community level bio/geo cycles; light isotopes: H, N, C, O and S isotopes, geo cycles and ecological significance; sampling and analytical methodologies in stable isotope analysis.

EvoS aims at turning evolutionary theory into a common language to areas that pertain to the natural world, including human affairs.

The course SoilEco aims at introducing attendants to an updated state of the art of diversity of the soil biota and the functional roles played by soil organisms in key ecological processes.

In this course, we promote a multidisciplinary approach presenting the most recent findings on the topic and challenging the traditional way of considering symbiotic associations as exceptions and not as the rule.

The goal of this course is to provide to the participants with current and practical knowledge on urban ecology, including ecological and social aspects.

This course aims to explore ways of communicating science to non-specialized audiences, such as policy makers, industry, general public (including students and teachers), through their engagement and participation in citizen science activities.

This course introduces the field of island biogeography, a discipline that has long influenced other research areas such as macroecology, community ecology, evolution and conservation biology.