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

[Laurence Tratt]

============================================================================
                            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
                    http://soft-dev.org/events/srepls8/
============================================================================

  Overview

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.


  Programme

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
Specification
  Alastair Reid

Sand Efficient Data Representations for Dynamic Languages with Shared-Memory
Parallelism
  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


  Register

Please register by Dec 11th at:

  http://soft-dev.org/events/srepls8