WG3 Kick-off meeting

February 10-11, 2022

Program

The event is scheduled as a two-day meeting. Times are CET.

Day 1

• Opening & Presentation (10:00-10:30): The EuroProofNet COST Action and WG3 “Program Verification”  
  • Frédéric Blanqui, Rodica Condurache, Alicia Villanueva
    • Presentation of EPN   (slides) (video)
    • Presentation of WG3   (slides) (video)
• Deliverables (10:30-11:30):
  • WG3 deliverables   (slides) (video)
  • Comparison of existing tools/benchmarks   by Laura Kovacs   (slides) (video)
• Talks (12:00-13:30)
  • Data accounting, Invariants for testing of smart contracts   by M. Gajda
  • Language-agnostic program verification   by J. Conejero   (slides) (video)
  • CPF: The Certification Problem Format   by René Thiemann   (slides) (video)
• Interaction (15:00-16:00): Identifying goals
• Wrapping-up (16:00-17:00): Conclusion & Plan

Day 2

• Day presentation (10:00-10:20)
• Talks (10:20-11:00)
  • Legal certified software through proof assistants: a global scientific and managerial perspective   by J. Joosten   (slides) (video)
  • Equational Unification and Symbolic Reachability in Maude   by Santiago Escobar   (slides) (video)
  • Converging two directions of program verification: deductive verification meets smart types for smart contracts   by Antonio Ravara   (slides) (video)
• Interaction (11:00-11:30)
• Participants (12:00-13:30): Towards the deliverables
  • Groups
• Wrapping-up (15:00-16:00): Setting the agenda for the year

53 Participants:

• Damian Aparicio Sanchez (UPV - Spain)
• Ana Borges (Universitat de Barcelona - Spain)
• Juan José Conejero Rodriguez (Runtime Verification Inc. - USA)
• Santiago Escobar (UPV - Spain)
• Mirela Gonzalez Bedmar (Formal Vindications S.L. - Spain)
• Joost Joosten (Universitat de Barcelona - Spain)
• Raul Lopez Rueda (UPV - Spain)
• Salvador Lucas (UPV - Spain)
• Sergio Pérez Rubio (UPV - Spain)
• Mehmet Tahir Sandikkaya (Istanbul Technical University - Turkey)
• Alicia Villanueva (UPV - Spain)
• Julia Sapina (UPV - Spain)
• Victor Garcia (UPV - Spain)
• Maria Alpuente (UPV - Spain)
• Antonio Ravara (Universidade Nova de Lisboa - Portugal)

Online:

• Frédéric Blanqui (INRIA - France)
• Michal Gajda (Migamake - Singapore)
• René Thiemann (University of Innsbruck - Austria)
• Gergely Buday (Institute of Technology - Hungary)
• Laura Castro (University of A Coruna - Spain)
• Rodica Condurache (“A.I.Cuza” University of Iasi - Romania)
• Luıs Cruz-Filipe (University of Southern Denmark - Denmark)
• Ugo de’Liguoro (Universita di Torino - Italy)
• Madalina Erascu (West University of Timisoara - Romania)
• Thiago Felicissimo (INRIA - France)
• Maribel Fernandez (King’s College London - UK)
• Pascal Fontaine (University of Liège - Belgium)
• Carsten Fuhs (University of London - UK)
• Emilio Jesus Gallego-Arias (INRIA - France)
• Muharrem Tuncay Gencoglu (Firat University - Turkey)
• Lilia Georgieva (Heriot-Watt University - UK)
• Vaidas Giedrimas (Siauliai University - Lithuania)
• Tobias Gleißner (Freie Universität Berlin - Germany)
• Candelaria Hernandez-Goya (Universidad de La Laguna - Spain)
• Kuen-Bang Hou-Favonia (University of Minnesota - USA)
• Ekaterina Komendantskaya (Heriot-Watt University - UK)
• Laura Kovacs (Vienna University of Technology - Austria)
• Julia Lawall (INRIA - France)
• Amélie Ledein (INRIA - France)
• Luigi Liquori (INRIA - France)
• Dorel Lucanu (Alexandru Ioan Cuza University - Romania)
• Fatih Ozkaynak (Firat University - Turkey)
• Rodrigo Raya (EPFL - Switzerland)
• Adrian Riesco (Universidad Complutense de Madrid - Spain)
• Ayse Sayın (Istanbul Technical University - Turkey)
• Josep Silva (UPV - Spain)
• Volker Stolz (University of Oslo - Norway)
• Geoff Sutcliffe (University of Miami - USA)
• Amin Timany (Aarhus University - Denmark)
• Dmitriy Traytel (University of Copenhagen - Denmark)
• Shmuel Tyszberowicz (The Academic College of Tel-Aviv Yaffo - Israel)
• German Vidal (UPV - Spain)
• Chuangjie Xu (fortiss - Germany)

Photos