STAF 2023
Tue 18 - Fri 21 July 2023 Leicester, United Kingdom
VenueCollege Court, Leicester, UK
Room nameWillow
Capacity80
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 18 Jul

Displayed time zone: London change

09:15 - 10:30
GCM Session 1GCM at Willow
Chair(s): Jens Kosiol Universität Kassel, Detlef Plump University of York

Remote Participants: Zoom Link, YouTube Livestream

09:15
15m
Day opening
GCM Opening
GCM
Jens Kosiol Universität Kassel
09:30
30m
Talk
Model-Driven Rapid Prototyping for Control Algorithms with the GIPS Framework (System Description)
GCM
P: Maximilian Kratz Technical University of Darmstadt, Real-Time Systems Lab, Sebastian Ehmes Technical University of Darmstadt, Real-Time Systems Lab, Philipp Menzel Technical University of Darmstadt, Andy Schürr TU Darmstadt, Germany
Media Attached File Attached
10:00
30m
Talk
Pedagogy of Teaching Pointers in the C Programming Language using Graph Transformation
GCM
P: Adwoa Donyina University of New Haven, Reiko Heckel University of Leicester
File Attached
13:30 - 15:00
GCM Session 2GCM at Willow
Chair(s): Andrea Corradini

Remote Participants: Zoom Link, YouTube Livestream

13:30
30m
Talk
Hypergraph Rewriting and Higher-Arity Algebra
GCM
P: Carlos Zapata-Carratala Wolfram Institute / Society for Multidisciplinary and Fundamental Research
14:00
30m
Talk
Graph Edit Distance for Interaction Net Rewrite Rules
GCM
P: Ian Mackie University of Sussex, Shinya Sato Ibaraki University, Marc Thatcher University of Sussex
14:30
30m
Talk
Dynamic Tracing: a graphical language for rewriting protocols
GCM
P: Kristopher Brown Stanford University, David Spivak Topos Institute
15:30 - 17:00
GCM Session 3GCM at Willow
Chair(s): Jens Kosiol Universität Kassel

Remote Participants: Zoom Link, YouTube Livestream

15:30
7m
Talk
A high-level functional programming language for interaction nets
GCM
P: Marc Thatcher University of Sussex
15:38
7m
Talk
Finite Automata for Efficient Graph Recognition
GCM
Frank Drewes Umeå universitet, Berthold Hoffmann Universität Bremen, P: Mark Minas Universität der Bundeswehr München
15:45
7m
Talk
Towards Efficient Boltzmann Sampling with Graph Generative Models and Constraints
GCM
P: Justin Diamond University of Basel, Markus Lill University of Basel
15:53
7m
Talk
Random Graph Generation in Context-Free Graph Languages
GCM
P: Federico Vastarini University of York, Detlef Plump University of York
16:00
60m
Other
Open Discussion
GCM

Wed 19 Jul

Displayed time zone: London change

11:15 - 12:45
TAP Session 4: Model-based test generationTAP at Willow
Chair(s): Nico Naus Virginia Tech

Remote Participants: Zoom Link

11:15
30m
Talk
Symbolic Observation Graph-Based Generation of Test Paths
TAP
P: Kais Klai Universit Paris 13, Mohamed Taha Bennani Universty of Tunis El Manar, Jaime Arias CNRS; LIPN; Université Sorbonne Paris Nord, Jörg Desel Fernuniversität in Hagen, Hanen Ochi EFREI
DOI File Attached
11:45
30m
Talk
Testing Languages with a Languages-as-databases ApproachTAP Best Paper
TAP
P: Matteo Cimini University of Massachusetts Lowell
DOI
12:15
30m
Talk
Proving Properties of Operation Contracts with Test Scenarios
TAP
P: Martin Gogolla Database Systems Group, University of Bremen, Lars Hamann HAW Hamburg
DOI
13:45 - 15:15
TAP Session 5: KeynoteKeynotes at Willow
Chair(s): Virgile Prevosto CEA Tech List

Remote Participants: Zoom Link

13:45
90m
Keynote
KeY: A Verification Platform For Java
Keynotes
15:45 - 16:45
TAP Session 6: Abstraction and RefinementTAP at Willow
Chair(s): Matteo Cimini University of Massachusetts Lowell

Remote Participants: Zoom Link

15:45
30m
Talk
Abstract Interpretation of Recursive Logic Definitions for Efficient Runtime Assertion CheckingTAP Best Paper
TAP
P: Thibaut Benjamin Université Paris-Saclay, CEA, List, Julien Signoles Université Paris-Saclay, CEA, List
DOI
16:15
30m
Talk
Slow Down, Move Over: A Case Study in Formal Verification, Refinement, and Testing of the Responsibility-Sensitive Safety Model for Self-Driving Cars
TAP
P: Megan Strauss Carnegie Mellon University, Stefan Mitsch Carnegie Mellon University, USA
DOI

Thu 20 Jul

Displayed time zone: London change

09:00 - 10:30
ICGT Session 5: Blue Skies & Journal-FirstICGT Research Papers / ICGT Journal-First at Willow
Chair(s): Detlef Plump University of York

Remote Participants: Zoom Link, YouTube Livestream

09:00
30m
Talk
A living monograph for graph transformation
ICGT Research Papers
Nicolas Behr CNRS, Université Paris Cité, IRIF, P: Russ Harmer CNRS
DOI File Attached
09:30
30m
Talk
Graph Rewriting for Graph Neural NetworksNominated for Best Paper
ICGT Research Papers
Adam Machowczyk University of Leicester, P: Reiko Heckel University of Leicester
DOI File Attached
10:00
30m
Talk
Compositionality of Rewriting Rules with Conditions
ICGT Journal-First
P: Nicolas Behr CNRS, Université Paris Cité, IRIF, Jean Krivine CNRS
DOI Media Attached
11:00 - 12:30
ICGT Session 6: ApplicationsICGT Research Papers at Willow
Chair(s): Kazunori Ueda Waseda University

Remote Participants: Zoom Link, YouTube Livestream

11:00
30m
Talk
A Rule-Based Procedure for Graph Query Solving
ICGT Research Papers
Dominique Duval Université Grenoble Alpes, P: Rachid Echahed University of Grenoble - CNRS, Frederic Prost Université Grenoble Alpes
DOI
11:30
30m
Talk
Formalization and analysis of BPMN using graph transformation systemsICGT Best Applications Paper
ICGT Research Papers
P: Tim Kräuter Western Norway University of Applied Sciences, Adrian Rutle Western Norway University of Applied Sciences, Harald König University of Applied Sciences, FHDW Hannover and Western Norway University of Applied Sciences, Yngve Lamo Western Norway University of Applied Sciences
DOI Pre-print File Attached
12:00
30m
Talk
Dominant Eigenvalue-Eigenvector Pair Estimation via Graph Infection
ICGT Research Papers
P: Kaiyuan Yang University of Zurich, Li Xia National University of Singapore, Y.C. Tay National University of Singapore
DOI Pre-print
13:30 - 15:00
ICGT Session 7: Keynote & Journal-FirstICGT Journal-First / Keynotes at Willow
Chair(s): Chris Poskitt Singapore Management University

Remote Participants: Zoom Link, YouTube Livestream

13:30
60m
Keynote
Formal Mathematics: Matching Algorithms as a Case Study
Keynotes
Mohammad Abdulaziz Technische Universität München
File Attached
14:30
30m
Talk
Fast Rule-Based Graph Programs
ICGT Journal-First
DOI
15:30 - 17:15
ICGT Session 8: Tools & ApplicationsICGT Research Papers at Willow
Chair(s): Rachid Echahed University of Grenoble - CNRS

Remote Participants: Zoom Link, YouTube Livestream

15:30
30m
Talk
Implementing the λGT Language: A Functional Language with Graphs as First-Class Data
ICGT Research Papers
P: Jin Sano Waseda University, Kazunori Ueda Waseda University
DOI File Attached
16:00
30m
Talk
Computing k-Bisimulations for Large Graphs: A Comparison and Efficiency Analysis
ICGT Research Papers
Jannik Rau Ulm University, P: David Richerby University of Essex, Ansgar Scherp Ulm University
DOI Pre-print
16:30
30m
Talk
Advanced Consistency Restoration with Higher-Order Short-Cut Rules
ICGT Research Papers
P: Lars Fritsche TU Darmstadt, Germany, Jens Kosiol Universität Kassel, Adrian Möller TU Darmstadt, Germany, Andy Schürr TU Darmstadt, Germany
DOI
17:00
15m
Day closing
ICGT Conference Closing
ICGT Research Papers
Maribel Fernandez King's College London, Reiko Heckel University of Leicester, Chris Poskitt Singapore Management University

Fri 21 Jul

Displayed time zone: London change

11:00 - 12:30
HEDA Session 1HEDA at Willow
Chair(s): Martin Leucker University of Lübeck

Remote Participants: Zoom Link

11:00
30m
Talk
Evaluation of Data Quality in the Estonian National Health Information System for Digital Decision Support
HEDA
P: Markus Bertl Tallinn University of Technology, Kristian Juha Ismo Kankainen Tallinn University of Technology, Gunnar Piho Tallinn University of Technology, Dirk Draheim Tallinn University of Technology, Peeter Ross Tallinn University of Technology
Link to publication
11:30
30m
Talk
Intelligent Tracing and Process Improvement of Pathology workflows using Character Recognition
HEDA
P: Markus Hatlem University of Bergen, Fazle Rabbi University of Bergen, Patrick Stünkel , Friedemann Leh Haukeland University Hospital
Link to publication
12:00
30m
Talk
Maintaining data integrity in Electronic Health Records with Hyperledger Fabric
HEDA
P: Marten Kask Tallinn University of Technology, Toomas Klementi Tallinn University of Technology, Gunnar Piho Tallinn University of Technology, Peeter Ross Tallinn University of Technology
Link to publication
13:30 - 15:00
HEDA Session 2HEDA at Willow
Chair(s): Yngve Lamo Western Norway University of Applied Sciences

Remote Participants: Zoom Link

13:30
22m
Talk
Clinical data modeling combining agent-based and epidemiological models
HEDA
P: Denisse Kim University of Murcia, Manuel Campos , Bernardo Canovas-Segura University of Murcia, Jose M. Juarez University of Murcia
Link to publication
13:52
22m
Talk
Towards a Framework for Visualization and Analysis of Eye Tracking Data for Functional Vision Screening
HEDA
P: qasim ali , Carsten G. Helgesen Western Norway University of Applied Sciences, Ilona Heldal Western Norway University of Applied Sciences
Link to publication
14:15
22m
Talk
Analyzing Eye Tracking Data using Symbolic Aggregate Approximation
HEDA
P: Carsten G. Helgesen Western Norway University of Applied Sciences, Atle Geitung Western Norway University of Applied Sciences, Ilona Heldal Western Norway University of Applied Sciences
Link to publication
14:37
22m
Talk
Automatic Inference of Smart Data Discovery Interfaces for Rare Disease Datasets
HEDA
P: Artur Boronat University of Leicester, Adekunle Adeyemo , Mehdi Mehtarizadeh King’s College London, Steffen Zschaler King's College London
Link to publication
15:30 - 17:00
HEDA Session 3 - Panel presentaion and discussionHEDA at Willow
Chair(s): Carsten G. Helgesen Western Norway University of Applied Sciences, Violet Ka I Pun Western Norway University of Applied Sciences

Remote Participants: Zoom Link

15:30
60m
Talk
Panel presentations
HEDA
P: Yngve Lamo Western Norway University of Applied Sciences, P: Martin Leucker University of Lübeck, P: Gunnar Piho Tallinn University of Technology
16:30
30m
Panel
Panel discussion on the current status and future direction of health data modelling, interoperability and analytics
HEDA
P: Yngve Lamo Western Norway University of Applied Sciences, P: Martin Leucker University of Lübeck, P: Gunnar Piho Tallinn University of Technology