Second International Summer School on Metaprogramming

Arrival and check-in are on Sunday 11th August. The Dagstuhl website has additional information about arrival.

• Monday 12 August

  8:45 8:45-10:15

  Introduction
  10:15 10:15-10:45 Break
  10:45 10:45-12:15

  Building Languages with Racket

  (Matthew Flatt)
  12:15 12:15-14:00 Lunch
  14:00 14:00-15:30

  Meta-F*

  (Jonathan Protzenko)
  15:30 15:30-16:00 Break
  16:00 16:00-17:30

  Exploring Universes

  Conor McBride
  20:15 20:15-21:15

• Tuesday 13 August

  8:45 8:45-10:15

  From the tagless-final cookbook

  (Oleg Kiselyov)
  10:15 10:15-10:45 Break
  10:45 10:45-12:15

  Building Languages with Racket

  (Matthew Flatt)
  12:15 12:15-14:00 Lunch
  14:00 14:00-15:30

  Programming with nominal techniques

  (Jamie Gabbay)
  15:30 15:30-16:00 Break
  16:00 16:00-17:30

  Structured multi-stage programming

  (Jeremy Yallop)

• Wednesday 14 August

  8:45 8:45-10:15

  Labs
  10:15 10:15-10:45 Break
  10:45 10:45-12:15

  From the tagless-final cookbook

  (Oleg Kiselyov)
  12:15 12:15-14:00 Lunch
  Excursion / walk
  20:15 20:15-21:15

  Technical writing

  (Jamie Gabbay)

• Thursday 15 August

  8:45 8:45-10:15

  From the tagless-final cookbook

  (Oleg Kiselyov)
  10:15 10:15-10:45 Break
  10:45 10:45-12:15

  Exploring Universes

  Conor McBride
  12:15 12:15-14:00 Lunch
  14:00 14:00-15:30

  Meta-F*

  (Jonathan Protzenko)
  15:30 15:30-16:00 Break
  16:00 16:00-17:30

  Structured multi-stage programming

  (Jeremy Yallop)

• Friday 16 August

  8:45 8:45-10:15

  Exploring Universes

  Conor McBride
  10:15 10:15-10:45 Break
  10:45 10:45-12:15

  Labs
  12:15 12:15-14:00 Lunch