Mr L. Thomas van Binsbergen

  1. Prize (including medals and awards)
  2. Best Presentation - Annual PhD Colloquium 2016

    L. Thomas van Binsbergen (Recipient), 11 May 2016

    Activity: AwardsPrize (including medals and awards)

  3. Invited talk
  4. Funcons: Basics of imperative programming (Guest Lecture)

    L. Thomas van Binsbergen (Participant), 7 Mar 2016

    Activity: External academic activityInvited talk

  5. Funcons (Guest Lecture)

    L. Thomas van Binsbergen (Participant), 7 Mar 2016

    Activity: External academic activityInvited talk

  6. Executable Component Based Semantics - 10th PL Retreat TU Delft

    L. Thomas van Binsbergen (Participant), 20 Apr 2016

    Activity: External academic activityInvited talk

  7. The Fundamental Constructs of Homogeneous Generative Meta-Programming

    L. Thomas van Binsbergen (Speaker), 25 Jan 2018

    Activity: External academic activityInvited talk

  8. Public Lecture/debate/seminar
  9. The Fundamental Constructs of Homogeneous Generative Meta-Programming

    L. Thomas van Binsbergen (Speaker), 17 Jan 2018

    Activity: Public engagement, outreach and knowledge exchangePublic Lecture/debate/seminar

  10. The Operational Semantics of Programs - Cake Talk CS Department

    L. Thomas van Binsbergen (Speaker), 15 Mar 2017

    Activity: Public engagement, outreach and knowledge exchangePublic Lecture/debate/seminar

  11. Participation in workshop, seminar, course
  12. International Summer School on Meta-Programming

    L. Thomas van Binsbergen (Participant), 8 Aug 201612 Aug 2016

    Activity: Conference contributionParticipation in workshop, seminar, course

  13. Generalised Parsing with Parser Combinators - Utrecht University MSc Colloquium

    L. Thomas van Binsbergen (Speaker), 5 Jan 2016

    Activity: Conference contributionParticipation in workshop, seminar, course

  14. Participation in conference
  15. Poster Demo - Modular Semantics with UUAGC - TACAS 2015

    L. Thomas van Binsbergen (Participant), May 2015

    Activity: Conference contributionParticipation in conference

  16. Linear Ordered Attribute Grammars - without fake dependency selection - TFP 2014

    L. Thomas van Binsbergen (Speaker), Mar 2014

    Activity: Conference contributionParticipation in conference

  17. Linearly Ordered Attribute Grammars - with Automatic Augmenting Dependency Selection - PEPM 2015

    L. Thomas van Binsbergen (Speaker), Jan 2015

    Activity: Conference contributionParticipation in conference

  18. Linearly Ordered Attribute Grammar Scheduling using SAT-solving - TACAS 2015

    L. Thomas van Binsbergen (Speaker), 15 Apr 2015

    Activity: Conference contributionParticipation in conference

  19. CSERC 2014

    L. Thomas van Binsbergen (Participant), Nov 2014

    Activity: Conference contributionParticipation in conference

  20. Defining Parser Combinators with Attribute Grammars - Annual PhD Colloquium RHUL 2015

    L. Thomas van Binsbergen (Speaker), May 2015

    Activity: Conference contributionParticipation in conference

  21. Tool Support for Component-Based Semantics - NWPT 2015

    L. Thomas van Binsbergen (Speaker), Oct 2015 → …

    Activity: Conference contributionParticipation in conference

  22. BCTCS 2015

    L. Thomas van Binsbergen (Participant), 2015 → …, BCTCS 2015

    Activity: Conference contributionParticipation in conference

  23. Executable Component Based Semantics - BCTCS 2016

    L. Thomas van Binsbergen (Speaker), 22 Mar 2016, BCTCS 2016

    Activity: Conference contributionParticipation in conference

  24. Strachey 100

    L. Thomas van Binsbergen (Participant), 19 Nov 2016

    Activity: Conference contributionParticipation in conference

  25. Doctoral School Summer Conference 2017 "CHANGE"

    L. Thomas van Binsbergen (Speaker), 6 Jun 2017

    Activity: Conference contributionParticipation in conference

  26. Doctoral School Summer Conference 2016 "SPACE"

    L. Thomas van Binsbergen (Participant), Jun 2016

    Activity: Conference contributionParticipation in conference

  27. Generalised Parsing and Combinator Parsing - Parsing@SLE 2016

    L. Thomas van Binsbergen (Participant), 30 Oct 2016

    Activity: Conference contributionParticipation in conference

  28. Combinators for Generalised Parsing - Haskell eXchange 2016

    L. Thomas van Binsbergen (Participant), 6 Oct 20167 Oct 2016

    Activity: Conference contributionParticipation in conference

  29. Efficient Interpretation of I-MSOS - IFL 2016

    L. Thomas van Binsbergen (Speaker), 31 Aug 20162 Sep 2016

    Activity: Conference contributionParticipation in conference

  30. Pattern Matching with Sequence Variables - Annual PhD Colloquium 2016

    L. Thomas van Binsbergen (Participant), 11 May 2016

    Activity: Conference contributionParticipation in conference

  31. Principles of Programming Languages (POPL2018)

    L. Thomas van Binsbergen (Participant), 2018

    Activity: Conference contributionParticipation in conference

  32. Membership of peer review panel or committee
  33. Postgraduate Representative BCTCS

    L. Thomas van Binsbergen (Participant), 20162017

    Activity: Participation in council, board, committee and networkMembership of peer review panel or committee

  34. PhD Student Representative CS Department

    L. Thomas van Binsbergen (Participant), 20152016

    Activity: Participation in council, board, committee and networkMembership of peer review panel or committee