DaVinci-KLEE
Joint Workshop

This workshop is dedicated to the dissemination of existing contributions for the DaVinci project, on interactions within distributed architectures for Cyber-Physical Systems, and for the KLEE project, on coalgebraic modes for computational synthetic biology. This is open for everyone, but for logistic reasons please send an email to José Proença if you plan to attend.

• Where: Sala de Reuniões, Dep. Informática, Universidade do Minho
• When: 12 February 2020

Program

• 10:30 - Status of the projects
  José Proença & Luís Barbosa
• 10:45 - Lince - lightweight analysis of hybrid programs
  Renato Neves
• 11:05 - Distributed Quantum Processes
  Vitor Fernandes
• 11:20 - Quantum Software Engineering @ INL
  Luís Barbosa
• 14:00 - Verification of Real-Time properties of Altreonic’s hubs
  Guillermina Cledou
• 14:20 - Introducing synchrony in fuzzy automata
  Leandro Gomes and Alexandre Madeira
• 14:40 - Future directions
  Chair: José Proença
• 15:00 - Ideas for FCT project proposals
  Chair: Luís Barbosa