Chair:
Fabricio S. Paranhos
9:30-10:00
Properties of UTxO ledgers and their subsystems. Polina Vinogradova and Alexey Sorokin.
10:00-10:30
An Execution Model for RICE. Steven Libby.
10:30-11:00
Coffe Break
Chair:
Anderson Paiva Cruz
11:00-12:00
Heloisa Camargo (Invited Speaker)
Fuzzy sets, fuzzy logic and aggregation operators: recent developments in artificial intelligence applications. (slides)
12:00-12:30
Workshop Closing Session.
12:30-14:00
Lunch Time
14:00-15:00
LSFA Business Meeting.