The next iteration of the S-REPLS series, S-REPLS 6, has been announced. Our next meeting will be held at University College London, and is being organised by Ilya Sergey. A website has been set up, including a Doodle poll to gauge which day in May is most convenient for everyone interested in attending. See here for more details.
S-REPLS 5, held at the University of Oxford on 12th January 2017, and organised by Ohad Kammar, Sam Staton, and Jeremy Gibbons, was a great success. Thanks to the organisers, the speakers, and everybody who took part.
Details of previous S-REPLS events (including S-REPLS 5) can be found here.
Alastair Donaldson and Luis Pina of Imperial College have announced the fourth iteration of SREPLS on 27th September. They are now actively seeking volunteered talks and confirmation of attendees. See here for more details.
“The missing link: explaining ELF linking semantically”, joint work with Stephen Kell and Peter Sewell.
To appear at SPLASH 2016 OOPSLA.
The third S-REPLS meeting at the University of Kent at Canterbury was a success! We thank Scott and Mark for organising the event, and the invited and contributed speakers for giving very interesting talks.
We look forward to the next S-REPLS meeting to be held in mid-late 2016 at Imperial College, organised by Ally Donaldson.
I am now the co-ordinator for the Logic and Semantics seminar of the Computer Laboratory’s Theory Group, after taking over the role from Ohad Kammar.
The second S-REPLS meeting at Middlesex University was a success! We thank Andrei, Jaap, and Raja, for organising, the invited and contributed speakers for giving very interesting talks, and the OCamlLabs initiative for agreeing to sponsor the event once more.
We look forward to the next S-REPLS meeting to be held in early 2016 at the University of Kent at Canterbury, organised by Mark Batty and Scott Owens.
Andrei Popescu, Jaap Boender and Raja Nagarajan have now announced the second S-REPLS meeting to be held on Friday 20th November at Middlesex University, London. Proposals for contributed talks are currently being solicited. See here for more details.
The second meeting follows on from the very successful first S-REPLS meeting held in Cambridge earlier this year.
This Autumn I will be serving on the Programme Committee of the 5th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2016.