Professor Matthew Hague
- Participation in conference
Asian Programming Languages and Systems
Matthew Hague (Member of programme committee)2 Dec 2019 → 4 Dec 2019Activity: Participating in or organising an event › Participation in conference
Foundations of Software Science and Computation Structures
Matthew Hague (Member of programme committee)6 Apr 2019 → 11 Apr 2019Activity: Participating in or organising an event › Participation in conference
Higher Order Program Analysis
Matthew Hague (Chair)18 Jul 2014Activity: Participating in or organising an event › Participation in conference
International Colloquium on Automata, Languages, and Programming
Matthew Hague (Member of programme committee)12 Jul 2016 → 15 Jul 2018Activity: Participating in or organising an event › Participation in conference
International Conference on Engineering of Complex Computer Systems
Matthew Hague (Member of programme committee)12 Dec 2018 → 14 Dec 2018Activity: Participating in or organising an event › Participation in conference
International Conference on Engineering of Complex Computer Systems
Matthew Hague (Member of programme committee)10 Nov 2019 → 13 Nov 2019Activity: Participating in or organising an event › Participation in conference
International Conference on the Implementation and Application of Automata
Matthew Hague (Member of programme committee)27 Jun 2017Activity: Participating in or organising an event › Participation in conference
Reachability Problems
Matthew Hague (Chair), Igor Potapov (Chair)7 Sep 2017 → 9 Sep 2017Activity: Participating in or organising an event › Participation in conference
Reachability Problems
Matthew Hague (Member of programme committee)24 Sep 2018 → 26 Sep 2018Activity: Participating in or organising an event › Participation in conference
Reachability Problems
Matthew Hague (Member of programme committee)11 Sep 2019 → 13 Sep 2019Activity: Participating in or organising an event › Participation in conference
Young Researchers Workshop on Concurrency Theory
Matthew Hague (Member of programme committee)3 Sep 2018Activity: Participating in or organising an event › Participation in conference
- Participation in workshop, seminar, course
Automata, Logic and Games
Matthew Hague (Invited speaker)22 Aug 2016 → 25 Sep 2016Activity: 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
Higher Order Program Analysis
Matthew Hague (Chair)4 Jul 2015Activity: 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
Higher-Order Program Analysis
Matthew Hague (Chair)28 Jun 2013 → 29 Jun 2013Activity: Participating in or organising an event › Participation in workshop, seminar, course
Highlights of Games, Logic and Automata
Matthew Hague (Organiser), Nikos Tzevelekos (Organiser)12 Sep 2017 → 15 Sep 2017Activity: Participating in or organising an event › Participation in workshop, seminar, course
Highlights of Logic, Games and Automata
Matthew Hague (Member of programme committee)6 Sep 2016 → 9 Sep 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
INFINITY
Matthew Hague (Invited speaker)15 Dec 2015Activity: 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