Monday 3rd July
09:00 – 09:30: Registration (River Room, King’s Building)
09:30 – 10:00: Welcome by TAROT Chairs (River Room, King’s Building)
10:00 – 11:00: 1st Tutorial: Andreas Zeller – Language-Based Fuzzing (River Room, King’s Building, Chair: Gunel Jahangirova)
11:00 – 11:30: Coffee break (River Room, King’s Building)
11:30 – 12:30: 2nd Tutorial: Justyna Petke – Combinatorial Interaction Testing (River Room, King’s Building, Chair: Hector Menendez)
12:30 – 14:00: Lunch
14:00 – 15:00: 3 Tutorial: John Hughes – Property-based Testing: New Developments (River Room, King’s Building, Chair: Alastair Donaldson)
15:00 – 15:30: Coffee break (River Room, King’s Building)
15:30 – 16:30: Panel discussion (River Room, King’s Building, Chair: Mohammad Mousavi)
Tuesday 4th July
09:30 – 10:30: 1st Tutorial: Andreas Zeller – Language-Based Fuzzing (River Room, King’s Building, Chair: Hector Menendez)
10:30 – 11:00: Coffee break (River Room, King’s Building)
11:00 – 12:00: 2nd Tutorial: John Hughes – Property-based Testing: New Developments (River Room, King’s Building, Chair: Mohammad Mousavi)
12:00 – 14:00: Lunch
14:00 – 15:00: 3 Tutorial: Justyna Petke – Genetic Improvement of Software (River Room, King’s Building, Chair: Gunel Jahangirova)
15:00 – 15:30: Coffee break (River Room, King’s Building)
15:30 – 16:30: Panel discussion (River Room, King’s Building, Chair: Jie Zhang)
Wednesday 5th July
09:30 – 10:30: 1st Tutorial: Shiva Nejati – Testing Cyber Physical Systems: Dynamic Modeling, Evolutionary Search and Machine Learning (Anatomy Museum, King’s Building, Chair: Hector Menendez)
10:30 – 11:00: Coffee break (Anatomy Museum, King’s Building)
11:00 – 12:00: 2nd Tutorial: Manuel Rigger – Towards Correct and Reliable Data-centric Systems (Anatomy Museum, King’s Building, Chair: Alastair Donaldson)
12:00 – 14:00: Lunch
14:00 – 15:00: 3rd Tutorial: Bernhard Aichernig – Automata Learning and Testing in AALpy (Anatomy Museum, King’s Building, Chair: Mohammad Mousavi)
15:30 – 16:00: Coffee break (Anatomy Museum, King’s Building)
15:30 – 16:30: Panel discussion (Anatomy Museum, King’s Building, Chair: Alastair Donaldson)
19:00 – 21:00 Dinner (Hux American Brasserie, Directions (using London Underground))
Thursday 6th July
09:30 – 10:30: 1st Tutorial: Manuel Rigger – Towards Correct and Reliable Data-centric Systems (MB2.2 in Macadam Building, Chair: Alastair Donaldson)
10:30 – 11:00: Coffee break (MB2.2 in Macadam Building)
11:00 – 12:00: 2nd Tutorial: Bernhard Aichernig – Automata Learning and Testing in AALpy (MB2.2 in Macadam Building, Chair: Mohammad Mousavi)
12:00 – 14:00: Lunch (MB2.2 in Macadam Building)
14:00 – 15:00: 3rd Tutorial: Shiva Nejati – Testing Cyber Physical Systems: Dynamic Modeling, Evolutionary Search and Machine Learning (MB2.2 in Macadam Building, Chair: Hector Menendez)
15:00 – 15:30: Coffee break (MB2.2 in Macadam Building)
15:30 – 16:30: Panel discussion (MB2.2 in Macadam Building, Chair: Gunel Jahangirova)
18:00 – 21:00 Social Event: Boat Trip from Blackfriars to North Greenwich and Back (Last return at 21:00, return timetable), Riding the IFS Cloud Cable Car over the Thames (return)
Friday 7th July
9:30 – 10:30: Students and Research Project’s presentations (Anatomy Museum, King’s Building, Chair: Alastair Donaldson)
9:30 – 9:50: Dragana Milovancevic
9:50 – 10:10: Nikolaos Louloudakis
10:10 – 10:30: Daniel Sokolowski
10:30 – 11:00: Coffee break (Anatomy Museum, King’s Building)
11:00 – 12:30: Students and Research Project’s presentations (Anatomy Museum,King’s Building, Chair: Mohammad Mousavi)
11:00 – 11:20 Stefanos Chaliasos
11:20 – 11:40 Laura Troost
11:40 – 12:00 Samira Silva
12:00 – 14:00: Lunch
14:00 – 15:00 Students and Research Project’s presentations (Anatomy Museum,King’s Building, Chair: Gunel Jahangirova)
14:00 – 14:20 Hendrik Winkelmann
14:20 – 14:40 Manuel Carrasco
14:40 – 15:00 Ignacio Ballesteros
15:00 – 15:20 Bachir Bendrissou
15:20 – 15:30 Closure (Anatomy Museum,King’s Building)