[ecoop-info] S-REPLS 8: Programme now available

Laurence Tratt laurie at tratt.net
Thu Nov 30 10:50:14 CET 2017

                            S-REPLS 8 (#srepls8)
       South of England Regional Programming Language Seminar series

                       Fri Jan 5th 2018 10:00 - 18:00

               King's College London, Bush House, BH (S) 4.04


S-REPLS is a regular and informal meeting for those based in the South of
England with a professional interest - whether it be academic or commercial -
in the semantics, implementation, and use of programming languages.
Attendance is free and lunch and refreshments will be provided at S-REPLS 8.


Keynote talk: We Software People are not Worthy - All Hail the Hardware Gods
  Sylvan Clebsch

Who guards the guards? Formal Validation of the ARM v8-M Architecture
  Alastair Reid

Sand Efficient Data Representations for Dynamic Languages with Shared-Memory
  Stefan Marr

String-diagram Semantics for Functional Languages with Data-flow
  Steven Cheung

Slicing Extended Finite State Machines
  Kelly Androutsopoulos

Rule-based Graph Programming
  Detlef Plump

Transactions in Relaxed Memory Architectures
  Brijesh Dongol

Fast, Precise Dynamic Checking of Types and Bounds in C
  Stephen Kell


Please register by Dec 11th at:


More information about the ecoop-info mailing list