[TYPES/announce] S-REPLS 9: Programme now available

[Martin Berger]

============================================================================
            S-REPLS 9 (#srepls) South of England Regional
                 Programming Language Seminar series

                  Friday 25 May 2018, 10:00 - 19:00

   University of Sussex, Brighton, Fulton building, Room A (FUL-A)
               http://users.sussex.ac.uk/~mfb21/srepls9

   Call for participation
============================================================================

Overview

S-REPLS is a regular, informal and friendly 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, and related areas. Attendance is free! Lunch
and refreshments will be provided at S-REPLS 9.

Programme  

Keynote talk: Inductive Logic Programming for "Seek Whence"
   Richard Evans (Google/Deepmind)

A Session Type Provider: Compile-Time API Generation of Distributed
Protocols with Refinements in F#.
   R. Neykova

An abstract model for higher-order incremental computation.
   M. Alvarez Picallo

A Graph-Rewriting Perspective of the Beta-Law. 
   K. Muroya

Teaching old type systems new tricks with type providers. 
   T. Petricek

Formal, executable and reusable components for software language
development.
   T. van Binsbergen

Type inference for monotonicity. 
   M. Arntzenius

Bewl, a Scala DSL for topos theory. 
   F. Dilke

Registration: free at https://srepls9.eventbrite.co.uk. Registration
helps us to estimate numbers for catering.