TAROT Summer School UCL

21/05/2018

Last week for our registration with accommodation:

Registration TweetThe registration process is currently open. You can register for the summer school through its online shop: ———————> UCL Online Shop

14/05/2018

Ready for this summer? You can find our list of talks for the next edition of . Hope to see you there!

Talks TweetFormal Testing: Alastair Donaldson – Where is the Oracle? Metamorphic Testing for GPU Compilers Compilers are among the infrastructure on which we most critically depend, yet production compilers are beyond the scope of formal verification. Testing compilers is hindered by the lack of a...

08/05/2018

Our register with accommodation closes on the 27th of May. If you want to join us for this summer just visit:

Registration TweetThe registration process is currently open. You can register for the summer school through its online shop: ———————> UCL Online Shop

04/05/2018

We have published the first version of our schedule! Be ready for this summer!

Schedule TweetThe following schedule is still under construction: Monday 2nd July Topic: Information Theory and Testing 9:00 – 11:00: Registration (Roberts Building 4.21) 10:30 – 11:00: Welcome (Roberts Building 4.21) 11:00 – 12:30: 1st Tutorial: Héctor D. Menéndez – Diversity and Software...

31/03/2018

Tomorrow our count down starts for the Early Birds, remember that our discount finishes the 10th of April:

Registration TweetThe registration process is currently open. You can register for the summer school through its online shop: ———————> UCL Online Shop

31/03/2018

We've published the first tentative schedule: https://wp.cs.ucl.ac.uk/tarot2018/schedule

Schedule TweetThe following schedule is still under construction: Monday 2nd July Topic: Information Theory and Testing 9:00 – 11:00: Register (Roberts Building 4.21) 10:30 – 11:00: Welcome (Roberts Building 4.21) 11:00 – 12:30: 1st Tutorial (Roberts Building 4.21) 12:30 – 14:00: Lunch (Robe...

31/03/2018

For our Early Birds, you can find information about the accommodation here:

https://wp.cs.ucl.ac.uk/tarot2018/accomodation/

For those that still planning to register, we will close the early register on the 10th of April, so hurry up! ;)

Accommodation TweetFor the Early Birds, if you register for the Summer School with accommodation, we will grant you a hotel room in The Royal National Hotel in the center of London. The accommodation includes the nights from the 1st to the 5th of July (both included). The facilities of the hotel inc...

31/03/2018

TAROT 2018 Summer School on Software Testing, Verification and Validation is online now, find more information in: https://wp.cs.ucl.ac.uk/tarot2018/