09:30-10:30
Workshop Registration
10:30-11:00
Opening Session
Chair:
Daniella Santaguida
11:00-12:00
Maribel Fernandez (Invited Speaker)
Hierarchical Higher-Order Port Graph Rewriting as a Modelling Language (slides)
12:00-14:00
Lunch Time
14:00-15:00
Marcelo Finger (Invited Tutorial)
The use of Łukasiewicz Logic for the verification of properties in neural networks. (slides-1)
15:00-15:30
Coffe Break
15:30-16:30
Marcelo Finger (Invited Tutorial)
The use of Łukasiewicz Logic for the verification of properties in neural networks. (slide-2)