[isabelle] Last call for participation: Programming Languages Meeting (S-REPLS 2) at Middlesex University London, Nov 20th


This is a gentle reminder that the second edition of S-REPLS will take place next week 
at the Middlesex University in London, with excellent speakers. Registration is still open (and free). 

All the best, 

                  CALL FOR PARTICIPATION
South of England Regional Programming Language Seminar (S-REPLS)
                (Second Meeting)
            Friday, 20th November 2015
    Middlesex University, Hendon, London NW4 4BT


S-REPLS is a new and informal meeting for those with
a professional interest in programming languages-whether it be
academic or commercial-in the South of England region. The highly
successful inaugural S-REPLS meeting was held on Thursday, 30th
April at Wolfson College, Cambridge. 

We are delighted to have Nick Benton (Microsoft Research), Paul Kelly (Imperial College London), Sam Staton (Oxford) and Phil Wadler (Edinburgh) as confirmed invited speakers. In addition, we will have two contributed talks from excellent speakers. 

The event is hosted by the Foundations of Computing group at Middlesex University. The meeting will start around 12 noon and finish by 6 p.m. Lunch will be provided. 
There will be no charge for the event, although we would appreciate prior notice of attendance for catering purposes. Please email a.popescu at mdx.ac.uk if you plan to attend.  

For the latest news, more information on the meeting, as well as a full programme of talks, please see


We encourage everybody interested in this or future meetings to sign up to the S-REPLS mailing list. To subscribe, visit:   


Jaap Boender, Raja Nagarajan and Andrei Popescu


Please note that Middlesex University's preferred way of receiving all correspondence is via email in line with our Environmental Policy. All incoming post to Middlesex University is opened and scanned by our digital document handler, CDS, and then emailed to the recipient.

If you do not want your correspondence to Middlesex University processed in this way please email the recipient directly. Parcels, couriered items and recorded delivery items will not be opened or scanned by CDS.  There are items which are "exceptions" which will be opened by CDS but will not be scanned a full list of these can be obtained by contacting the University.

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.