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 (https://github.com/LendaDeAfonselio/Alarm_Bot).


Transmissão em direto via Zoom.

14h00
LASIGE

Hi-Phi Seminar, por Gonçalo Martins (CFCUL) e Pier Luigi Pireddu (CIUHCT).

Título/data do evento e representação de vírus

O congresso visa estimular uma reflexão alargada sobre o período pós-pandémico de COVID-19.

A joint organization between Luisa Fiorot (Dipartimento di Matematica ”Tullio Levi-Civita”, Padova, Italy) and Teresa Monteiro Fernandes (CMAFcIO, FCUL, Portugal).

Título e data do evento, sobre fotografia de paisagem polar

Neste evento, a elite mundial de exploradores e cientistas partilhará com o público as descobertas mais recentes, as tecnologias mais inovadoras e as novas missões que prometem revolucionar o futuro do espaço, dos oceanos e do planeta.

A short course by Luisa Fiorot (Dipartimento di Matematica ”Tullio Levi-Civita”, Padova, Italy).

Título/data do evento e logótipos das entidades organizadoras

Uma oportunidade para debater o tema do Doutoramento em Ambiente Empresarial e para refletir sobre a importante temática do relacionamento entre a academia e as empresas - inscrições a decorrer.

Fotografia do mar, titulo dos cursos e logótipos das entidades promotoras

Brevemente serão disponibilizados mais 6 cursos, estando já previsto um na área da Biotecnologia Marinha, programado para início de outubro.

Título do evento e representação de átomo

O principal objetivo desta formação é capacitar doutorandos e doutorados de instituições de ensino superior e centros de investigação para os temas de empreendedorismo, inovação e transferência de conhecimento, permitindo-lhes perceber de que forma podem potenciar ainda mais o impacto gerado pelo

Geometry & Physics Seminar, por Vadim Lebovici (Univ. Paris-Sud & E.N.S.).

Colóquio de Matemática, por Jean-Baptiste Casteras (CMAFcIO, FCUL).

Geometry & Physics Seminar, por Azizeh Nozad (IPM, Iran).

Seminário Helena Avelar de Astronomia e Astrologia Antiga, por Eunice Santos (Universidade de Lisboa).

Workshop organizado por Luís Ribeiro e Francisco Malta Romeiras (CIUHCT), com a participação de investigadores cujo trabalho incide sobre o "early modern knowledge."

Ação de formação para docentes, por Sofia Sá.

Sessão no âmbito do Lisbon Workshop Series.

Título do evento e fotografia de participantes numa sessão

O prazo de submissão de resumos termina no dia 30 de abril.

Logótipo da iniciativa e fotografia de dois investigadores

Ciência Aberta e Inovação: uma abordagem colaborativa, transparente e acessível.

Título do evento e fotografia de utilizador de computador

Curso com candidaturas a decorrer.

Título do evento e fotografia de dois estudantes

Candidaturas para estudantes regulares da ULisboa até 28 de março de 2023.

Conferência do Centro Interuniversitário de História das Ciências e da Tecnologia, por Quintino Lopes (IHC, NOVA FCSH / U. Évora).

Logótipo do prémio

As candidaturas à 10.ª edição decorrem até 30 de junho de 2023.

As candidaturas estão abertas até 26 de maio de 2023.

Logótipo do programa, sobre um fundo amarelo

Inscrições para Monitores até 31 de maio.

Título/data do evento, logótipo da Rede MAR e fotografia do mar

Applications from 01 June to 15 June 2023.

Logótipo do evento (representação do cérebro humano)

O maior evento anual na área da ciência e da tecnologia em Portugal.

Páginas