External presentations | Internal presentations

External presentation

  • Public presentation during Tenure Track interview: Software languages for data exchange systems (September 2020). [Slides]
  • Invited talk at Ministry of Defence (Ministerie van Defensie): Het formaliseren van wetten en verordeningen -- een overzicht (July 2020). L. Thomas van Binsbergen and Tom van Engers. [Slides]
  • Presentation at TNO/ICTU seminar "Computers die redeneren met wetten; de eerste stappen": eFLINT - Een modelleertaal voor het redeneren over normen (March 2020). L. Thomas van Binsbergen and Tom van Engers. [Slides]
  • Presentation at ICT.OPEN 2020 (Cancelled): Executable Component-Based Semantics (March 2020). L. Thomas van Binsbergen, Neil Sculthorpe and Peter D. Mosses. [Slides]
  • Presentation at ICT.OPEN 2020 (Cancelled): eFLINT -- An action-based language for reasoning about norms (March 2020). L. Thomas van Binsbergen and Tom van Engers. [Abstract] [Slides]
  • Invited talk at programming languages seminar TU Delft: Generalised parsing with binary subtree representation (April 2019). [Slides]
  • Presentation at S-REPLS '18: Formal, executable and reusable components for syntax specification (May 2018). [Slides]
  • Invited seminar talk at the University of Sussex: The fundamental constructs of homogeneous generative meta-programming (January 2018). [Slides]
  • Presentation at Parsing@SLE '16 during SPLASH '16: Generalised parsing and combinator parsing – a happy marriage? (October 2016). [Slides]
  • Presentation at the Haskell eXchange' 16: combinators for generalised parsing (October 2016). [Slides] [Video]
  • Invited talk at the 10th PL retreat TU Delft: Executable Component-Based Semantics (April 2016). [Slides]
  • Invited seminar talk at Utrecht University: Generalised parsing with parser combinators (January 2016). [Slides]

Internal presentation

  • Internal presentation UvA/CWI: A principled approach to REPL interpreters applied to eFLINT (April 2020). [Slides]
  • Presentation at CWI: eFLINT -- A DSL for testing normative specifications (November 2019). L. Thomas van Binsbergen. [Slides]
  • Guest lecture in 'Software Language Engineering' at Royal Holloway, University of London: Funcons: basics of imperative programming. (March 2016).