-
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 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).