Activities per year
- 10 results
Search results
-
Higher-Order Program Analysis
Matthew Hague (Chair)
28 Jun 2013 → 29 Jun 2013Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
INFINITY
Matthew Hague (Invited speaker)
15 Dec 2015Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
Higher Order Program Analysis
Matthew Hague (Chair)
4 Jul 2015Activity: 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 2016Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
INFINITY
Matthew Hague (Chair) & Anthony Lin (Chair)
26 Aug 2016Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
Automata, Logic and Games
Matthew Hague (Invited speaker)
22 Aug 2016 → 25 Sept 2016Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
Higher-Order Model Checking
Matthew Hague (Invited speaker)
14 Mar 2016 → 17 Mar 2016Activity: 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 2017Activity: 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 2018Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
Meeting on String Constraints and Applications
Matthew Hague (Invited speaker)
6 May 2019 → 9 May 2019Activity: Participating in or organising an event › Participation in workshop, seminar, course