TAP 2023
Tue 18 - Wed 19 July 2023
Leicester, United Kingdom
co-located with
STAF 2023
Toggle navigation
Attending
Venue: College Court, Leicester, UK
STAF 2023
Cultural Activities
Instructions for Presenters, Participants, and Chairs
Registration
Social Events
Program
TAP Program
Your Program
Accepted Papers
Tue 18 Jul
Wed 19 Jul
Tracks
TAP 2023
Research Papers
STAF 2023
Keynotes
Organization
TAP 2023 Committees
Track Committees
Program Committee Chairs
Program Committee
Web Chair
Contributors
People Index
Search
Series
Sign in
Sign up
STAF 2023
(
series
) /
Social
STAF 2023
About
Program
Events
Lunch, Dinner, Coffee-breaks
Dates
Tue 18 Jul 2023
Wed 19 Jul 2023
Plenary
Hide plenary sessions
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
10:30 - 11:00
Morning Coffee
STAF Social
at
The Bar
10:30
30m
Coffee break
Coffee Break
STAF Social
11:00 - 12:30
STAF Keynote / TAP Session 1
STAF Keynotes
/
Research Papers
/
ECMFA Technical Track
/
ICGT Research Papers
at
Oak
Chair(s):
Cristina Seceleanu
Mälardalen University
Remote Participants:
Zoom Link
,
YouTube Livestream
11:00
15m
Day opening
TAP Conference Opening
Research Papers
Virgile Prevosto
CEA Tech List
,
Cristina Seceleanu
Mälardalen University
11:15
75m
Keynote
Symbolic, Statistical and Randomized Engines in UPPAAL
STAF Keynotes
Kim Larsen
Aalborg University
12:30 - 13:30
Lunch
STAF Social
at
The Restaurant
12:30
60m
Lunch
Lunch
STAF Social
15:00 - 15:30
Afternoon Coffee
STAF Social
at
The Bar
15:00
30m
Coffee break
Coffee Break
STAF Social
18:00 - 19:00
STAF Welcome Reception
STAF Social
at
The Bar
18:00
60m
Social Event
Welcome Reception
STAF Social
Wed 19 Jul
Displayed time zone:
London
change
09:00 - 10:15
STAF Keynote / ICGT Session 1
STAF Keynotes
/
Research Papers
/
ECMFA Technical Track
/
ICGT Research Papers
at
Oak
Chair(s):
Maribel Fernandez
King's College London
Remote Participants:
Zoom Link
,
YouTube Livestream
09:00
15m
Day opening
ICGT Conference Opening
ICGT Research Papers
Maribel Fernandez
King's College London
,
Chris Poskitt
Singapore Management University
File Attached
09:15
60m
Keynote
Syntactic trinitarianism: terms, graphs, diagrams
STAF Keynotes
Dan Ghica
Huawei Research and University of Birmingham
Pre-print
10:30 - 11:00
Morning Coffee
STAF Social
at
The Bar
10:30
30m
Coffee break
Coffee Break
STAF Social
12:30 - 13:30
Lunch
STAF Social
at
The Restaurant
12:30
60m
Lunch
Lunch
STAF Social
15:00 - 15:30
Afternoon Coffee
STAF Social
at
The Bar
15:00
30m
Coffee break
Coffee Break
STAF Social
17:15 - 22:30
STAF Excursion & Banquet
STAF Social
17:15
1h45m
Social Event
Excursion to St Mary de Castro
STAF Social
19:00
3h30m
Dinner
Banquet at Bistrot Pierre
STAF Social
Events
Title
Banquet at Bistrot Pierre
STAF Social
Coffee Break
STAF Social
Excursion to St Mary de Castro
STAF Social
Lunch
STAF Social
Welcome Reception
STAF Social
x
Mon 17 Mar 00:07
:
: