Meeting Room 209 - FormaliSE 2023

VenueMelbourne Convention Exhibition Centre | MCEC

Room nameMeeting Room 209

Floor2

Room number209

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT+11:00) Hobart.

Use conference time zone: (GMT+11:00) HobartSelect 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

Mon 15 May
Displayed time zone: Hobart change

11:00 - 12:30	Session 1DeepTest at Meeting Room 209 Deeptest

11:30 10m Day opening		Opening DeepTest
11:40 50m Keynote		Testing Autonomous Driving Systems DeepTest Baishakhi Ray Columbia University

13:45 - 15:15	Session 2DeepTest at Meeting Room 209

13:45 20m Talk		Metamorphic Testing of Machine Translation Models using Back Translation DeepTest Wentao Gao University of Melbourne, Jiayuan He RMIT University, Van-Thuan Pham Monash University
14:05 20m Talk		A Method of Identifying Causes of Prediction Errors to Accelerate MLOps DeepTest Keita Sakuma NEC Corporation, Ryuta Matsuno NEC Corporation, Yoshio Kameda NEC Corporation
14:25 20m Talk		DeepSHAP Summary for Adversarial Example Detection DeepTest Yi-Ching Lin National Chengchi University, Fang Yu National Chengchi University
14:45 20m Talk		DeepPatch: A Patching-Based Method for Repairing Deep Neural Networks DeepTest Hao Bu Peking University, Meng Sun Peking University

15:45 - 17:15	Session 3DeepTest at Meeting Room 209

15:45 50m Keynote		Testing Generative Large Language Model: Mission Impossible or Where Lies the Path? DeepTest Zhenchang Xing CSIRO’s Data61; Australian National University
16:35 30m Panel		Panel DeepTest
17:05 10m Day closing		Closing DeepTest

Mon 15 May
Displayed time zone: Hobart 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
Meeting Room 209	DeepTest																								DeepTest Session 1																																	DeepTest Session 2																								DeepTest Session 3

Mon 15 May
Displayed time zone: Hobart 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			17:00			15			30			45
Meeting Room 209							DeepTest Opening 11:30 - 11:40		DeepTest Testing Autonomous Driving Systems 11:40 - 12:30																									DeepTest Metamorphic Testing of Machine Translation Models using Back Translation 13:45 - 14:05				DeepTest A Method of Identifying Causes of Prediction Errors to Accelerate MLOps 14:05 - 14:25				DeepTest DeepSHAP Summary for Adversarial Example Detection 14:25 - 14:45				DeepTest DeepPatch: A Patching-Based Method for Repairing Deep Neural Networks 14:45 - 15:05												DeepTest Testing Generative Large Language Model: Mission Impossible or Where Li ... 15:45 - 16:35										DeepTest Panel 16:35 - 17:05						DeepTest Closing 17:05 - 17:15

Room information: Meeting Room 209

Mon 15 May
Displayed time zone: Hobart change

Mon 15 May
Displayed time zone: Hobart change

DeepTest

DeepTest

DeepTest

DeepTest

Mon 15 May
Displayed time zone: Hobart change

Tracks

Room information: Meeting Room 209

Program Display Configuration

Mon 15 MayDisplayed time zone: Hobart change

Mon 15 MayDisplayed time zone: Hobart change

DeepTest

DeepTest

DeepTest

DeepTest

Mon 15 MayDisplayed time zone: Hobart change

Mon 15 May
Displayed time zone: Hobart change

Mon 15 May
Displayed time zone: Hobart change

Mon 15 May
Displayed time zone: Hobart change