[TYPES/announce] Final Call for Participation: South of England Regional Programming Language Seminar

Dominic Mulligan dominic.p.mulligan at googlemail.com
Fri Apr 10 10:32:36 EDT 2015


We apologise for any spam.  Please distribute widely on internal mailing lists
and to other potentially interested parties.  Thank you.

=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=

                        FINAL CALL FOR PARTICIPATION

              South of England Regional Programming Language Seminar
                                 (S-REPLS)

                          Thursday, 30th April 2015
                   Wolfson College, University of Cambridge

=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=

S-REPLS is a new and informal meeting for those with a professional interest
in programming language theory in the South of England region, whether they be
working in industry or academia.

The inaugural S-REPLS meeting will be held on Thursday 30th April at Wolfson
College, Cambridge.  The event is hosted by members of the Computer Laboratory
at the University of Cambridge.  There will be no charge for the event, though
we will appreciate prior notice of attendance for catering purposes.

Our invited speaker is Conor McBride and our full programme of talks, invited
and volunteered, is:

 * Conor McBride, Strathclyde    The dependent lollipop

 * Jose Calderon, York           Improving implicit parallelism
 * Alastair Donaldson, Imperial  Many-core compiler fuzzing
 * Laurence Tratt, King's        Fine-grained language composition
 * Tony Hoare, Microsoft         Graphical models of concurrent
program execution

Further information on the event, including full abstracts for the talks and
information on how to reach Wolfson College, is available from the S-REPLS
website:

    http://bit.ly/1FDUgBj

If you would like to attend, please fill in the following Doodle poll

    http://doodle.com/n93sqw86sa7azc3m

with your name before **Wednesday 15th April** so that we can finalise numbers
for catering.

We encourage everybody interested in this or future meetings to sign up to our
mailing list where all future notices about S-REPLS will be sent.  To subscribe,
visit:

    http://www.jiscmail.ac.uk/srepls

S-REPLS is organised by Ohad Kammar, Anil Madhavapeddy, Dominic
Mulligan and Jeremy Yallop with funding kindly provided by OCaml Labs.


More information about the Types-announce mailing list