STAF 2023
Tue 18 - Fri 21 July 2023
Leicester, United Kingdom
Toggle navigation
Attending
Venue: College Court, Leicester, UK
Cultural Activities
Instructions for Presenters, Participants, and Chairs
Registration
Social Events
Info
Sponsorship Opportunities
Previous Editions
Program
Complete Program
Your Program
Schedule Overview
Proceedings
Tue 18 Jul
Wed 19 Jul
Thu 20 Jul
Fri 21 Jul
Tracks
STAF 2023
Keynotes
Workshop Proposals
Co-hosted Conferences
ECMFA
ECMFA
ECMFA
Technical Track
ICGT
ICGT
ICGT
Research Papers
ICGT
Journal-First
TAP
TAP
TAP
Research Papers
Workshops
AI4SE@STAF
Agile MDE
FPVM
GCM
HEDA
MeSS
Contests
TTC
Organization
STAF 2023 Committees
Organizing Committee
Steering Committee
Track Committees
Workshop Evaluation Committee
Contributors
People Index
Co-hosted Conferences
ECMFA
Steering Committee
Program Committee
ICGT
Steering Committee
Research Papers
Journal-First
TAP
Program Committee Chairs
Program Committee
Web Chair
Workshops
AI4SE@STAF
Organizing Committee
Program Committee
Agile MDE
Organising Committee
Program Committee
FPVM
Organizing Committee
Web Chair
Program committee
GCM
Program Committee
HEDA
Organizing Committee
Program Committee
MeSS
Organizing Committee
Program Committee
Contests
TTC
Organizing Committee
Program Committee
Steering Committee
Search
Series
Series
STAF 2024
STAF 2023
Sign in
Sign up
STAF 2023
(
series
) /
College Court, Leicester, UK
/
Room information: Willow
Venue
College Court, Leicester, UK
Room name
Willow
Capacity
80
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+01:00) London
.
Use conference time zone: (GMT+01:00) London
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify 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 1
GCM
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 2
GCM
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 3
GCM
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 generation
TAP
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 Approach
TAP 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: Keynote
Keynotes
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 Refinement
TAP
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 Checking
TAP 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-First
ICGT 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 Networks
Nominated 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: Applications
ICGT 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 systems
ICGT 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-First
ICGT 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 & Applications
ICGT 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 1
HEDA
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 2
HEDA
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 discussion
HEDA
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
TAP
TAP 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
TAP
TAP 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 Papers
Nominated 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 Papers
ICGT 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
x
Sun 6 Oct 03:25