Conference presentations | External seminars | Internal seminars

Conferences

  • eFLINT: a Domain-Specific Language for Executable Norm Specifications. Proceedings of GPCE '20 (November 2020). L. Thomas van Binsbergen, Lu-Chi Liu, Robert van Doesburg, and Tom van Engers. [DOI] [Preprint] [Video]
  • A principled approach to REPL interpreters. Proceedings of Onward! '20 (October 2020). L. Thomas van Binsbergen, Mauricio Verano Merino, Pierre Jeanjean, Tijs van der Storm, Benoit Combemale, and Olivier Barais. [DOI] [Preprint] [Video]
  • Funcons for HGMP: the fundamental constructs of homogeneous generative meta-programming (short paper). Proceedings of GPCE '18 (November 2018). L. Thomas van Binsbergen. [DOI] [Authorized access]
  • GLL parsing with flexible combinators. Proceedings of SLE' 18 (October 2018). L. Thomas van Binsbergen, Elizabeth Scott and Adrian Johnstone. [DOI] [Authorized access]
  • Checking cryptographic API usage with composable annotations (short paper). Proceedings of PEPM '18 (December 2017). Duncan Mitchell, L. Thomas van Binsbergen, Blake Loring and Johannes Kinder. [DOI] [Authorized access]
  • Tool support for component-based semantics. Companion proceedings of Modularity '16 (March 2016). L. Thomas van Binsbergen, Neil Sculthorpe and Peter D. Mosses. [DOI] [Authorized access]
  • Linearly Ordered Attribute Grammars Scheduling Using SAT-Solving. Proceedings of TACAS' 15 ( 2015). Jeroen Bransen, L. Thomas van Binsbergen, Koen Claessen and Atze Dijkstra. [DOI]
  • Linearly Ordered Attribute Grammars: with Automatic Augmenting Dependency Selection. Proceedings of PEPM' 15 (January 2015). L. Thomas van Binsbergen, Jeroen Bransen and Atze Dijkstra. [DOI] [Authorized access]
  • Model solutions and properties for diagnosing student programs in Ask-Elle. Proceedings of CSERC' 14 (November 2014). Johan Jeuring, L. Thomas van Binsbergen, Alex Gerdes and Bastiaan Heeren. [DOI] [Authorized access]

External seminars

  • Invited talk at the Air France KLM seminar 'AI for Aviation Sustainability': Domain-specific languages, regulated systems and sustainability (February 2021). L. Thomas van Binsbergen. [Slides]
  • Invited seminar talk at the University of Ottawa: Prototyping regulated systems (February 2021). L. Thomas van Binsbergen. [Slides]
  • Presentation at Jurix Workshop Frontier of Digital Enforceable Contracts (FDEC 2020): Languages for prototyping regulated systems: A case study (December 2020). L. Thomas van Binsbergen, Lu-Chi Liu and Mostafa Mohajeri Parizi. [Abstract] [Slides]
  • 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 seminars

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