[TYPES/announce] CFP S-REPLS-5 @ University of Oxford

Ohad Kammar ohad.kammar at cs.ox.ac.uk
Tue Nov 22 09:10:16 EST 2016


=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
             CALL FOR PARTICIPATION AND TALK PROPOSALS


 Southern-Region English Programming Language Seminar (S-REPLS)
                       (Fifth Meeting)

            11am-5pm, Thursday, 12th January 2017
                   (Thursday before POPL)
      University of Oxford Department of Computer Science

      http://www.cs.ox.ac.uk/people/ohad.kammar/s-repls-5/

     Submit proposals to <ohad.kammar at cs.ox.ac.uk> by 8 Dec '16
     Doodle registration: http://doodle.com/poll/hz6z3zqpupds2fm4
                    (free participation)

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

S-REPLS is a regular informal meeting for those with a professional
interest in programming languages in the South of England region. The
past four meetings consisted of 50-90 participants from academia and
industry with invited and contributed talks ranging from abstract
areas in semantics and type system theory to nuts-and-bolts
implementations of mainstream and avant-garde compilers and
programming languages.

We will hold the next meeting at the University of Oxford Department
of Computer Science.

Contributing a talk
-------------------

Talks are typically in 20-30 slots. In light of the popularity of past
S-REPLs, we might not be able to offer a slot for every proposal. The
schedule will therefore include ample time for informal discussions
over coffee. Submissions from industrial professionals and junior
researchers (postdocs and students), and description of work in
progress are especially welcome.

To propose a talk, please send your title and abstract to:

Ohad Kammar <ohad.kammar at cs.ox.ac.uk>

by 8 December 2016

or earlier (preferably), as we plan to advertise the programme by
22 December 2016.

Please include in your proposal whether you have special requirements,
such as a shorter time slot, or non-standard equipment. These
requirements will have no direct bearing on the selection process.

Sign-up
-------

The meeting is free of charge, but for logistical purposes please
indicate if you plan to attend:

http://doodle.com/poll/hz6z3zqpupds2fm4

Mailing list
------------

All S-REPLS related communications are made via the mailing list:

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

This mailing list has very low traffic. If you have professional
interests in programming language in the region, we encourage you to
sign up.

Sponsorship
-----------

Please let us know of potential sponsorship opportunities at:

Ohad Kammar <ohad.kammar at cs.ox.ac.uk>

Past events have had academic, industrial, and government sponsorship
for invited speaker costs, catering costs (lunch, dinner, or
refreshments during the break).


Organising future meetings
--------------------------
If you would like to organise future meetings at your university or
company, please get in touch with the steering committee

Dominic Mulligan <dpm36 at cam.ac.uk>
Jeremy Yallop    <jeremy.yallop at cl.cam.ac.uk>
Ohad Kammar      <ohad.kammar at cs.ox.ac.uk>


We would be grateful if you could please circulate this announcement
in your department/company.


We hope to see you there,

Jeremy Gibbons,
Sam Staton,
and Ohad Kammar.


More information about the Types-announce mailing list