Willow - STAF 2023

VenueCollege Court, Leicester, UK

Room nameWillow

Capacity80

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT+01:00) London.

Use conference time zone: (GMT+01:00) LondonSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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 Mattias Ulbrich KIT

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 Graham Campbell , Brian Courtehoute , P: Detlef Plump University of York 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

Tue 18 Jul
Displayed time zone: London change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
Willow				GCM GCM Session 1																																																			GCM GCM Session 2																								GCM GCM Session 3

Wed 19 Jul
Displayed time zone: London change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
Willow				TAP TAP Session 4: Model-based test generation																														Keynotes TAP Session 5: Keynote																								TAP TAP Session 6: Abstraction and Refinement

Thu 20 Jul
Displayed time zone: London change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Willow	ICGT Research Papers + ICGT Journal-First ICGT Session 5: Blue Skies & Journal-First																								ICGT Research Papers ICGT Session 6: Applications																														ICGT Journal-First + Keynotes ICGT Session 7: Keynote & Journal-First																								ICGT Research Papers ICGT Session 8: Tools & Applications

Fri 21 Jul
Displayed time zone: London change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
Willow	HEDA HEDA Session 1																														HEDA HEDA Session 2																								HEDA HEDA Session 3 - Panel presentaion and discussion

Tue 18 Jul
Displayed time zone: London change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
Willow				GCM GCM Opening 09:15 - 09:30			GCM Model-Driven Rapid Prototyping for Control Algorithms with the GIPS Fra ... 09:30 - 10:00						GCM Pedagogy of Teaching Pointers in the C Programming Language using Graph ... 10:00 - 10:30																																										GCM Hypergraph Rewriting and Higher-Arity Algebra 13:30 - 14:00						GCM Graph Edit Distance for Interaction Net Rewrite Rules 14:00 - 14:30						GCM Dynamic Tracing: a graphical language for rewriting protocols 14:30 - 15:00												GCM A high-level functional programming language for interaction nets 15:30 - 15:37		GCM Finite Automata for Efficient Graph Recognition 15:38 - 15:45	GCM Towards Efficient Boltzmann Sampling with Graph Generative Models and C ... 15:45 - 15:52		GCM Random Graph Generation in Context-Free Graph Languages 15:53 - 16:00	GCM Open Discussion 16:00 - 17:00

Wed 19 Jul
Displayed time zone: London change


Room	11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
Willow				TAP Symbolic Observation Graph-Based Generation of Test Paths 11:15 - 11:45						TAPTAP Best Paper Testing Languages with a Languages-as-databases Approach 11:45 - 12:15						TAP Proving Properties of Operation Contracts with Test Scenarios 12:15 - 12:45																		STAF Keynotes KeY: A Verification Platform For Java 13:45 - 15:15																								TAPTAP Best Paper Abstract Interpretation of Recursive Logic Definitions for Efficient Ru ... 15:45 - 16:15						TAP Slow Down, Move Over: A Case Study in Formal Verification, Refinement, ... 16:15 - 16:45

Thu 20 Jul
Displayed time zone: London change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Willow	ICGT Research Papers A living monograph for graph transformation 09:00 - 09:30						ICGT Research PapersNominated for Best Paper Graph Rewriting for Graph Neural Networks 09:30 - 10:00						ICGT Journal-First Compositionality of Rewriting Rules with Conditions 10:00 - 10:30												ICGT Research Papers A Rule-Based Procedure for Graph Query Solving 11:00 - 11:30						ICGT Research PapersICGT Best Applications Paper Formalization and analysis of BPMN using graph transformation systems 11:30 - 12:00						ICGT Research Papers Dominant Eigenvalue-Eigenvector Pair Estimation via Graph Infection 12:00 - 12:30																		STAF Keynotes Formal Mathematics: Matching Algorithms as a Case Study 13:30 - 14:30												ICGT Journal-First Fast Rule-Based Graph Programs 14:30 - 15:00												ICGT Research Papers Implementing the λGT Language: A Functional Language with Graphs as Fir ... 15:30 - 16:00						ICGT Research Papers Computing k-Bisimulations for Large Graphs: A Comparison and Efficiency ... 16:00 - 16:30						ICGT Research Papers Advanced Consistency Restoration with Higher-Order Short-Cut Rules 16:30 - 17:00						ICGT Research Papers ICGT Conference Closing 17:00 - 17:15

Fri 21 Jul
Displayed time zone: London change


Room	11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
Willow	HEDA Evaluation of Data Quality in the Estonian National Health Information ... 11:00 - 11:30						HEDA Intelligent Tracing and Process Improvement of Pathology workflows usin ... 11:30 - 12:00						HEDA Maintaining data integrity in Electronic Health Records with Hyperledge ... 12:00 - 12:30																		HEDA Clinical data modeling combining agent-based and epidemiological models 13:30 - 13:52				HEDA Towards a Framework for Visualization and Analysis of Eye Tracking Data ... 13:52 - 14:15					HEDA Analyzing Eye Tracking Data using Symbolic Aggregate Approximation 14:15 - 14:37				HEDA Automatic Inference of Smart Data Discovery Interfaces for Rare Disease ... 14:37 - 15:00											HEDA Panel presentations 15:30 - 16:30												HEDA Panel discussion on the current status and future direction of health d ... 16:30 - 17:00

Room information: Willow

Tue 18 Jul
Displayed time zone: London change

Wed 19 Jul
Displayed time zone: London change

Thu 20 Jul
Displayed time zone: London change

Fri 21 Jul
Displayed time zone: London change

Tue 18 Jul
Displayed time zone: London change

GCM

GCM

GCM

Wed 19 Jul
Displayed time zone: London change

TAP

Keynotes

TAP

Thu 20 Jul
Displayed time zone: London change

ICGT Research Papers + ICGT Journal-First

ICGT Research Papers

ICGT Journal-First + Keynotes

ICGT Research Papers

Fri 21 Jul
Displayed time zone: London change

HEDA

HEDA

HEDA

Tue 18 Jul
Displayed time zone: London change

Wed 19 Jul
Displayed time zone: London change

Thu 20 Jul
Displayed time zone: London change

Fri 21 Jul
Displayed time zone: London change

Tracks

Co-hosted Conferences

Workshops

Contests

Room information: Willow

Program Display Configuration

Tue 18 JulDisplayed time zone: London change

Wed 19 JulDisplayed time zone: London change

Thu 20 JulDisplayed time zone: London change

Fri 21 JulDisplayed time zone: London change

Tue 18 JulDisplayed time zone: London change

GCM

GCM

GCM

Wed 19 JulDisplayed time zone: London change

TAP

Keynotes

TAP

Thu 20 JulDisplayed time zone: London change

ICGT Research Papers + ICGT Journal-First

ICGT Research Papers

ICGT Journal-First + Keynotes

ICGT Research Papers

Fri 21 JulDisplayed time zone: London change

HEDA

HEDA

HEDA

Tue 18 JulDisplayed time zone: London change

Wed 19 JulDisplayed time zone: London change

Thu 20 JulDisplayed time zone: London change

Fri 21 JulDisplayed time zone: London change

Tue 18 Jul
Displayed time zone: London change

Wed 19 Jul
Displayed time zone: London change

Thu 20 Jul
Displayed time zone: London change

Fri 21 Jul
Displayed time zone: London change

Tue 18 Jul
Displayed time zone: London change

Wed 19 Jul
Displayed time zone: London change

Thu 20 Jul
Displayed time zone: London change

Fri 21 Jul
Displayed time zone: London change

Tue 18 Jul
Displayed time zone: London change

Wed 19 Jul
Displayed time zone: London change

Thu 20 Jul
Displayed time zone: London change

Fri 21 Jul
Displayed time zone: London change