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

Ohad Kammar ohad.kammar at cs.ox.ac.uk
Sun Jan 1 16:37:43 EST 2017


=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
                  CALL FOR PARTICIPATION


 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/

     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.

Schedule
--------

For schedule and abstracts, see:

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

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