ECOOP and ISSTA 2023 (series) / VORTEX 2023 (series) /
VORTEX 2023 Program
This is the VORTEX 2023 program - see the full program for ECOOP and ISSTA 2023 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 17 JulDisplayed time zone: Pacific Time (US & Canada) change
Mon 17 Jul
Displayed time zone: Pacific Time (US & Canada) change
08:00 - 08:30 | |||
08:00 30mCoffee break | Break Catering | ||
10:00 - 10:30 | |||
10:00 30mCoffee break | Break Catering | ||
12:00 - 13:30 | |||
12:00 90mLunch | Lunch Catering | ||
15:00 - 15:30 | |||
15:00 30mCoffee break | Break Catering | ||
Tue 18 JulDisplayed time zone: Pacific Time (US & Canada) change
Tue 18 Jul
Displayed time zone: Pacific Time (US & Canada) change
08:00 - 08:30 | |||
08:00 30mCoffee break | Break Catering | ||
08:30 - 09:00 | |||
09:00 - 10:00 | |||
09:00 60mKeynote | Towards Code-Aware Code Models Keynotes | ||
10:00 - 10:30 | |||
10:00 30mCoffee break | Break Catering | ||
10:30 - 12:00 | |||
10:30 20mTalk | Runtime Monitoring of Human Behaviour with Aggregate Computing on Android VORTEX Media Attached | ||
10:50 20mTalk | On Stream Runtime Verification and Aggregate Programming VORTEX Ferruccio Damiani University of Turin, Gianluca Torta Dipartimento di Informatica - Università di Torino, Italy | ||
11:10 20mTalk | Combining Static and Runtime Verification with AC and Coq VORTEX | ||
12:00 - 13:30 | |||
12:00 90mLunch | Lunch Catering | ||
13:30 - 15:00 | |||
13:30 30mTalk | RV4Rasa: a formalism-agnostic Runtime Verification framework for verifying ChatBots in Rasa VORTEX Angelo Ferrando , Andrea Gatti University of Genoa, Italy, Viviana Mascardi DIBRIS, University of Genova, Italy | ||
14:00 20mTalk | Monitoring for resource-awareness VORTEX Riccardo Bianchini University of Genoa | ||
15:00 - 15:30 | |||
15:00 30mCoffee break | Break Catering | ||
Wed 19 JulDisplayed time zone: Pacific Time (US & Canada) change
Wed 19 Jul
Displayed time zone: Pacific Time (US & Canada) change
08:00 - 08:30 | |||
08:00 30mCoffee break | Break Catering | ||
08:30 - 09:15 | |||
08:30 45mKeynote | Reflections on the Impact of Calculating Source Line Level Energy Information for Android Applications Keynotes | ||
09:15 - 10:00 | |||
09:15 45mKeynote | AITO Test of Time Award: Why Programming Languages Matter: Reflections on 45 Years of Language Design Keynotes Pre-print Media Attached | ||
10:00 - 10:30 | |||
10:00 30mCoffee break | Break Catering | ||
12:00 - 13:30 | |||
12:00 90mLunch | Lunch Catering | ||
15:00 - 15:30 | |||
15:00 30mCoffee break | Break Catering | ||
17:30 - 20:30 | |||
Thu 20 JulDisplayed time zone: Pacific Time (US & Canada) change
Thu 20 Jul
Displayed time zone: Pacific Time (US & Canada) change
08:00 - 08:30 | |||
08:00 30mCoffee break | Break Catering | ||
08:30 - 09:00 | |||
08:30 30mAwards | ECOOP: Dahl-Nygaard Prize Ceremony and Awards Keynotes | ||
09:00 - 10:00 | |||
09:00 60mKeynote | Dahl-Nygaard Senior Prize: Safe Journeys into the Unknown – Object Capabilities Keynotes Media Attached | ||
10:00 - 10:30 | |||
10:00 30mCoffee break | Break Catering | ||
12:00 - 13:30 | |||
12:00 90mLunch | Lunch Catering | ||
15:00 - 15:30 | |||
15:00 30mCoffee break | Break Catering | ||
15:30 - 17:00 | |||
15:30 60mKeynote | Machine Learning for Software Engineering Keynotes | ||
16:30 15mDay closing | ISSTA'24 Preview Keynotes | ||
16:45 15mDay closing | ISSTA Closing Keynotes | ||
17:30 - 18:30 | |||
Fri 21 JulDisplayed time zone: Pacific Time (US & Canada) change
Fri 21 Jul
Displayed time zone: Pacific Time (US & Canada) change
08:00 - 08:30 | |||
08:00 30mCoffee break | Break Catering | ||
08:30 - 09:00 | |||
08:30 30mDay closing | ECOOP: Outlooks and Farewells Keynotes | ||
09:00 - 10:00 | |||
09:00 60mKeynote | Dahl-Nygaard Junior Prize: My Part of the Scala Story, and Beyond! Keynotes Media Attached | ||
10:00 - 10:30 | |||
10:00 30mCoffee break | Break Catering | ||
12:00 - 13:30 | |||
12:00 90mLunch | Lunch Catering | ||