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

[Dominic Mulligan]

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

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

                        FIRST 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 for the first event is

** Conor McBride (Mathematically Structured Programming Group, Strathclyde) **

Following the invited talk, we will have an afternoon of short talks
proferred by the local PLT community interspersed with coffee and food
breaks.  Talks by PhD students and those working in industry are
especially welcome, and we welcome talks by individuals working in any
corner of PLT, whether they are symbol pushing homotopy type-theorists
or bit-twiddling compiler hackers.

We therefore solicit four talks (around 30 minutes, including
questions) for our first meeting.  Relevant topics of interest
include, but are certainly not limited to:

    * Novel and experimental programming languages,
    * Mathematical models of programming languages,
    * New developments in type systems and type theory,
    * Advances in compiler and parsing technology
    * Novel optimisations and static analyses,
    * Programming language design and empirical studies,
    * Issues surrounding concurrency and parallelism,
    * Theorem proving applied to PLT, and program verification,
    * Novel applications of PLT to other subject areas,
    * etc.

To offer a talk, please e-mail

    dominic.p.mulligan at gmail.com

with your name, institution/employer, title and a short abstract.  To
attend, please fill in the following Doodle poll

    http://doodle.com/n93sqw86sa7azc3m

with your name.

For the latest news, more information on the meeting, as well as a
full programme of talks in due course, please browse the S-REPLS
homepage at:

    http://bit.ly/1FDUgBj

We encourage everybody interested in this or future meetings to sign
up to our mailing list.  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.