10:00 - 10:30 Arrival and coffee 

10:30 - 11:30 Session 1

   T. van Binsbergen: Formal, executable and reusable components for
   syntax specification.

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

11:30 - 12:00 Break

12:00 - 13:00 Keynote talk:

   R. Evans: Inductive Logic Programming for "Seek Whence".
 
13:00 - 14:15 Lunch

14:15 - 15:15 Session 2

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

   T. Petricek: Teaching old type systems new tricks with type
   providers.
	      
15:15 - 16:00 Afternoon break with refreshments

16:00 - 17:30 Session 3

   F. Dilke: Bewl, a Scala DSL for topos theory.
   
   M. Arntzenius: Type inference for monotonicity.

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

All talks in: Room A (FUL-A)
All catering in: Lobby Area adjacent to Room A (FUL-A)