[TYPES/announce] Workshop: S-REPLS 4

Luís Pina l.pina at imperial.ac.uk
Wed Aug 17 06:13:11 EDT 2016

Dear all,

Alastair Donaldson and I are organizing a regional PL seminar that will take
place at Imperial College on the 27/September.  This event brings together the
PL community from the South of England, with participants from both academia and

This event is probably of interest to people in the UK.  Of course, people from
outside are welcome to attend and participate as well.

Please find the Call for Participation below.

Luís Pina


Call for Participation

What:     A programming language seminar, S-REPLS 4
When:     27 September, 2016
Where:    Imperial College London (South Kensington Campus)
Who:      Keynote by Cristophe Dubach (http://homepages.inf.ed.ac.uk/cdubach/), plus volunteered talks
How much: Registration is free, lunch and coffee-breaks will be provided

URL:          http://srepls4.doc.ic.ac.uk/
Registration: http://doodle.com/poll/3pp26yfmi7uuc9z7


The South of England Regional Programming Language Seminar (S-REPLS) is a
regular and informal meeting based in the South of England for those with an
interest in the semantics and implementation of programming languages.

The fourth meeting, S-REPLS 4, will take place at Imperial College London on 27
September, 2016. It will follow the low-overhead formula of the previous
meetings at Cambridge, Middlesex, and Canterbury. Cristophe Dubach will give an
invited talk, and we solicit proposals for 15 or 30 minute talks from attendees.

To submit a talk proposal, please email Alastair Donaldson
(alastair.donaldson at imperial.ac.uk) and Luís Pina (l.pina at imperial.ac.uk) with a
brief abstract and preferred length as soon as possible. Talks about any
PL-related topics are welcome, and at any stage of development (from promising
ideas to work submitted for publication, as well as experience reports arising
from more mature projects). The workshop will start at 11:30am on the South
Kensignton campus in London (Huxley building, room 308), and last until 6pm.

To register to attend the seminar, please fill in this Doodle poll
http://doodle.com/poll/3pp26yfmi7uuc9z7 indicating your attendance. We are also
organising a dinner afterward: we ask that those interested in attending
indicate so on the Doodle poll. Please email us with any dietary restrictions
for the provided lunch.

The South Kensington campus of Imperial College London is well served by public
transport from nearly anywhere in the London area.  To find out how to get
there, please visit the directions to the South Kensington campus
(http://www.imperial.ac.uk/visit/campuses/south-kensington/).  The seminar takes
place at the Huxley building, up the stairs from the entrance at Queen's Gate.

For the latest news, more information on the meeting, as well as a full
programme of talks (as it becomes available), please visit the S-REPLS 4
website: http://srepls4.doc.ic.ac.uk/

Alastair Donaldson and Luís Pina

More information about the Types-announce mailing list