Activities per year
- 11 results
Search results
-
Meeting on String Constraints and Applications
Hague, M. (Organiser), Lengál, O. (Organiser) & Day, J. (Organiser)
22 Jul 2025Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
Meeting on String Constraints and Applications
Hague, M. (Invited speaker)
6 May 2019 → 9 May 2019Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
British Colloquium for Theoretical Computer Science
Hague, M. (Chair)
26 Mar 2018 → 28 Mar 2018Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
Highlights of Games, Logic and Automata
Hague, M. (Organiser) & Tzevelekos, N. (Organiser)
12 Sept 2017 → 15 Sept 2017Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
Highlights of Logic, Games and Automata
Hague, M. (Member of programme committee)
6 Sept 2016 → 9 Sept 2016Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
Automata, Logic and Games
Hague, M. (Invited speaker)
22 Aug 2016 → 25 Sept 2016Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
Higher-Order Model Checking
Hague, M. (Invited speaker)
14 Mar 2016 → 17 Mar 2016Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
Higher Order Program Analysis
Hague, M. (Chair)
4 Jul 2015Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
Higher-Order Program Analysis
Hague, M. (Chair)
28 Jun 2013 → 29 Jun 2013Activity: Participating in or organising an event › Participation in workshop, seminar, course