Matthew Hague

Search results

• Meeting on String Constraints and Applications

  Hague, M. (Invited speaker)

  6 May 2019 → 9 May 2019

  Activity: Participating in or organising an event › Participation in workshop, seminar, course

• British Colloquium for Theoretical Computer Science

  Matthew Hague (Chair)

  26 Mar 2018 → 28 Mar 2018

  Activity: Participating in or organising an event › Participation in workshop, seminar, course

• Highlights of Games, Logic and Automata

  Matthew Hague (Organiser) & Nikos Tzevelekos (Organiser)

  12 Sept 2017 → 15 Sept 2017

  Activity: Participating in or organising an event › Participation in workshop, seminar, course

• Highlights of Logic, Games and Automata

  Matthew Hague (Member of programme committee)

  6 Sept 2016 → 9 Sept 2016

  Activity: Participating in or organising an event › Participation in workshop, seminar, course

• INFINITY

  Matthew Hague (Chair) & Anthony Lin (Chair)

  26 Aug 2016

  Activity: Participating in or organising an event › Participation in workshop, seminar, course

• Automata, Logic and Games

  Matthew Hague (Invited speaker)

  22 Aug 2016 → 25 Sept 2016

  Activity: Participating in or organising an event › Participation in workshop, seminar, course

• Higher-Order Model Checking

  Matthew Hague (Invited speaker)

  14 Mar 2016 → 17 Mar 2016

  Activity: Participating in or organising an event › Participation in workshop, seminar, course

• INFINITY

  Matthew Hague (Invited speaker)

  15 Dec 2015

  Activity: Participating in or organising an event › Participation in workshop, seminar, course

• Higher Order Program Analysis

  Matthew Hague (Chair)

  4 Jul 2015

  Activity: Participating in or organising an event › Participation in workshop, seminar, course

• Higher-Order Program Analysis

  Matthew Hague (Chair)

  28 Jun 2013 → 29 Jun 2013

  Activity: Participating in or organising an event › Participation in workshop, seminar, course