BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Research Cluster in Verification and Testing - ECPv6.15.11//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Research Cluster in Verification and Testing
X-ORIGINAL-URL:http://wp.doc.ic.ac.uk/verificationgroup
X-WR-CALDESC:Events for Research Cluster in Verification and Testing
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:UTC
BEGIN:STANDARD
TZOFFSETFROM:+0000
TZOFFSETTO:+0000
TZNAME:UTC
DTSTART:20140101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=UTC:20151205T093000
DTEND;TZID=UTC:20151205T173000
DTSTAMP:20260526T115038
CREATED:20151019T110509Z
LAST-MODIFIED:20151214T101126Z
UID:121-1449307800-1449336600@wp.doc.ic.ac.uk
SUMMARY:Workshop - Introduction to Verification and Testing (INVEST)\, 2015
DESCRIPTION:Introduction to Verification and Testing (INVEST) workshop will take place in the Department of Computing\, Imperial College London on Saturday\, December 5 2015. The aim of the workshop is to introduce young researchers\, and students potentially interested in research careers\, to the fields of software verification and testing. By attending the workshop\, you will listen to and engage with world-leading academic scholars\, current Post-Docs and PhD students\, experience what it’s like being a Verification and Testing researcher\, and network with other high achieving participants. \nWho should attend\nOutstanding computer science undergraduate students in their third or final year/postgraduate students/early stage PhD students. We expect most of the attendees to come from the UK/Europe (no assistance related to UK visa can be provided). \nHow to apply\nTo be considered for a place on the workshop\, please send an email (see Contact us page) providing your name\, the name of your PhD supervisor or tutor\, the name of your university\, and a brief statement on why you want to attend this workshop. \nThe decisions on accepting participants would be made on a case by case basis. \nThere is no charge for the workshop. Complimentary tea\, coffee and lunch will be provided\, but participants are expected to make their own travel and accommodation arrangements. \nImportant dates\nApplication deadline: Mon\, Nov 30\, 2015 \nNotification of application status: Wed\, Dec 2\, 2015 \nWorkshop: Sat\, Dec 5\, 2015 \nAgenda\n09:30 – 09:50   Registration and Coffee \n09:50 – 09:55   Welcome to INVEST 2015 \n09:55 – 10:35   Symbolic Execution for Evolving Software\, Cristian Cadar (Software Reliability Group) \n10:35 – 10:45   Break \n10:45 – 11:35   Understanding and Verifying JavaScript Programs\, Philippa Gardner (Resource Reasoning Group) \n11:35 – 11:45   Break \n11:45 – 12:15   Metamorphic Compiler Testing\, Alastair Donaldson (Multicore Programming Group) \n12:15 – 12:30   On Broken Documents and Automatic Document Recovery\, Tomasz Kuchta (Software Reliability Group) \n12:30 – 13:00   One Minute Madness\, part 1 (attendees present snapshots of their work\, 1 minute each) \n13:00 – 14:00   Lunch and Coffee \n14:00 – 14:20   Analysing Asynchronous Concurrent Programs with the P# Language\, Pantazis Deligiannis (Multicore Programming Group) \n14:20 – 14:35   Towards Deployment-Time Dynamic Analysis of Server Applications\, Luis Pina (Software Reliability Group) \n14:35 – 15:00   One Minute Madness\, part 2 (attendees present snapshots of their work\, 1 minute each) \n15:00 – 15:10   Break \n15:10 – 15:25   Symbooglix: A Symbolic Execution Engine for Boogie Programs\, Dan Liew (Multicore Programming Group and Software Reliability Group) \n15:25 – 15:45   Concurrency and Termination Verification\, Julian Sutherland (Resource Reasoning Group) \n15:45 – 16:05   An Empirical Investigation of GPU Memory Consistency\, Tyler Sorensen (Multicore Programming Group) \n16:05 – 16:15   Break \n16:15 – 17:00   How to Do a Bad (or Good) PhD and How to Give a Bad (or Good) Talk\, Cristian Cadar (Software Reliability Group) \n17:00 – 17:30   Discussion \n\nBios:\nAlastair Donaldson is a Senior Lecturer in the Department of Computing\, Imperial College London\, where he leads the Multicore Programming Group and is Coordinator of the FP7 project CARP: Correct and Efficient Accelerator Programming. He has published more than 50 peer-reviewed papers in formal verification and multicore programming\, and leads the GPUVerify project on automatic verification of GPU kernels\, which is a collaboration with Microsoft Research. Before joining Imperial\, Alastair was a Visiting Researcher at Microsoft Research Redmond\, a Research Fellow at the University of Oxford and a Research Engineer at Codeplay Software Ltd. He holds a PhD from the University of Glasgow. \nCristian Cadar is a Reader in the Department of Computing at Imperial College London where he leads the Software Reliability Group (http://srg.doc.ic.ac.uk) and holds an EPSRC Early-Career Fellowship. His research interests span the areas of software engineering\, computer systems\, and security\, with an emphasis on building practical tools for improving the reliability and security of software systems. Cristian received a PhD in Computer Science from Stanford University\, and undergraduate and Master’s degrees from the Massachusetts Institute of Technology. \nPhilippa Gardner is a Professor in the Department of Computing at Imperial and Director of the Research Institute in Automated Program Analysis and Verification\, funded by GCHQ in association with EPSRC. She completed her PhD thesis\, supervised by Professor Gordon Plotkin at Edinburgh in 1992. She moved to Cambridge in 1998 on an EPSRC Advanced Fellowship\, hosted by Professor Robin Milner. She obtained a lectureship at Imperial in 2001\, and became professor in 2009. She held a Microsoft Research Cambridge/Royal Academy of Engineering Senior Fellowship from 2005 to 2010 at Imperial. She is funded by two EPSRC programme grants: `Resource Reasoning’ with UCL (O’Hearn and then Pym\, PI) and Oxford\, and `REMS: Rigorous Engineering of Mainstream Systems’ with Cambridge (Sewell\, PI) and Edinburgh\, and by GCHQ grant `Certified Verification of Client-side Web Programs’ with Sergio Maffeis at Imperial. \n 
URL:http://wp.doc.ic.ac.uk/verificationgroup/event/workshop-introduction-to-verification-and-testing-invest-2015/
END:VEVENT
END:VCALENDAR