[isabelle] Programming Languages Meeting (S-REPLS 2) at Middlesex University London, Nov 20th
- To: "isabelle-users (isabelle-users at cl.cam.ac.uk)" <isabelle-users at cl.cam.ac.uk>
- Subject: [isabelle] Programming Languages Meeting (S-REPLS 2) at Middlesex University London, Nov 20th
- From: Andrei Popescu <A.Popescu at mdx.ac.uk>
- Date: Wed, 28 Oct 2015 12:52:51 +0000
- Accept-language: en-US, en-GB
- Acceptlanguage: en-US, en-GB
- Thread-index: AdERfoebmOitcJPTStuwNa28gng3YwAAFSzw
- Thread-topic: Programming Languages Meeting (S-REPLS 2) at Middlesex University London, Nov 20th
If you happen to be in the London area around the 20th of November, please consider attending (and perhaps giving a talk) at
the second edition of S-REPLS, where Phil Wadler will give an invited talk.
All the best,
CALL FOR PARTICIPATION AND TALK PROPOSALS
South of England Regional Programming Language Seminar (S-REPLS)
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. It had one invited talk and four contributed talks.
For this second edition, we are planning to have a blend of invited and contributed talks. We are delighted to have Phil Wadler (Edinburgh) as confirmed invited speaker and we are in the process of confirming with others.
** Please let us know if you are interested in giving a talk on an exciting programming language topic. You can do this by sending a proposed title and abstract to Andrei Popescu
at a.popescu at mdx.ac.uk<mailto:a.popescu at mdx.ac.uk>. There is, of course, a limited number of slots, so please contact us as early as you can. **
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<mailto: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 in due course, 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 (organisers)
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