ETAPS DAILY 11 April 2015

Welcome to ETAPS

The eighteenth edition of ETAPS is taking place in London, UK, from 11 to 18 of April 2015. The venue is Queen Mary University of London in the Mile End campus. ETAPS 2015 will consist of 6 conferences, 17 workshops and 2 tutorials.

Queen Mary's main campus is located in the Mile End area of the East End of London, with other campuses in Holborn,

�1

Workshops Time Table

Saturday and Sunday Schedule

830 - 900 : registration

900 -1030 : workshops

1030 -1100 : coffee break

1100 -1230: workshops

1230-1400: lunch

1400-1600 : workshops

1600-1630: coffee break

1630-1800: workshops

ETAPS DAILY The weekend issue | Events | Workshops dinner

ETAPS DAILY 11 April 2015

Smithfield and Whitechapel. It has around 17,000 full-time students and 4,000 staff and an annual turnover of £350 million, of which around £100 million is from research grants and contracts. Queen Mary is organised into three faculties – the Faculty of Humanities and Social Sciences, the Faculty of Science and Engineering and Barts and The London School of Medicine and Dentistry – within which there are 21 academic departments and institutes. It is one of the largest colleges of the University of London. Queen Mary is a member of the Russell Group of leading British research universities, the Association of Commonwealth Universities and Universities UK.

�2

Workshop Dinner at the Dickens Inn

The Dickens Inn (Marble Quay, St K a t h a r i n e D o c k s , S a i n t Katharine's Way, London E1W 1UH tel 020 7488 2208) is a restyled and reconstructed wooden warehouse building thought to have housed tea or to have been owned by a local brewery. It certainly existed at the turn of the 18th century and may well have been born in the 1700’s.

The Dickens Inn is now one of the most famous and most successful pubs on The River Thames loved by locals and tourists alike. The area (St Katharine Docks) with its cafes, restaurants and a yachting marina is a popular leisure destination.

Notice: all workshops take place on the first floor of the Bancroft Building. The registration desk in the weekend is situated in the foyer of Bancroft Building. Coffee Breaks and Lunches are in the Octagon (2 minutes walk on the right when coming out from the Bancroft Building, see map below)

Sat, 11 April Events (and rooms)

GALOP (B 1.13), GaM (B 1.08), QAPL (B 1.15), FMSPLE (B 1.09), FOPARA (B.106), SynCop (B 1.01.1), VPT (B 1.01.2)

Sun, 12 April Events (and rooms)

GALOP (B 1.13), GaM (B 1.08), QAPL (B 1.15), DICE (B 1.06), FESCA (B 1.01.2), VerifyThis (B 1.09), WoC (B. 1.01.1), WPLI (B 1.15a)

WORKSHOPS

CONFERENCES

CATERING