[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