Activities per year
- 17 results
Search results
-
ACM/IEEE Symposium on Logic in Computer Science
Hague, M. (Member of programme committee)
2 Aug 2023 → 5 Aug 2023Activity: Participating in or organising an event › Participation in conference
-
Principles of Programming Languages
Hague, M. (Member of programme committee)
16 Jan 2022 → 22 Jan 2022Activity: Participating in or organising an event › Participation in conference
-
Reachability Problems
Hague, M. (Member of programme committee)
25 Oct 2021 → 27 Oct 2021Activity: Participating in or organising an event › Participation in conference
-
The International Conference on Networked Systems
Hague, M. (Member of programme committee)
19 May 2021 → 21 May 2021Activity: Participating in or organising an event › Participation in conference
-
Reachability Problems
Hague, M. (Member of programme committee)
19 Oct 2020 → 21 Dec 2020Activity: Participating in or organising an event › Participation in conference
-
Mathematical Foundations of Computer Science
Hague, M. (Member of programme committee)
24 Aug 2020 → 28 Aug 2020Activity: Participating in or organising an event › Participation in conference
-
Asian Programming Languages and Systems
Hague, M. (Member of programme committee)
2 Dec 2019 → 4 Dec 2019Activity: Participating in or organising an event › Participation in conference
-
International Conference on Engineering of Complex Computer Systems
Hague, M. (Member of programme committee)
10 Nov 2019 → 13 Nov 2019Activity: Participating in or organising an event › Participation in conference
-
Reachability Problems
Hague, M. (Member of programme committee)
11 Sept 2019 → 13 Sept 2019Activity: Participating in or organising an event › Participation in conference
-
Foundations of Software Science and Computation Structures
Hague, M. (Member of programme committee)
6 Apr 2019 → 11 Apr 2019Activity: Participating in or organising an event › Participation in conference
-
International Conference on Engineering of Complex Computer Systems
Hague, M. (Member of programme committee)
12 Dec 2018 → 14 Dec 2018Activity: Participating in or organising an event › Participation in conference
-
Reachability Problems
Hague, M. (Member of programme committee)
24 Sept 2018 → 26 Sept 2018Activity: Participating in or organising an event › Participation in conference
-
Young Researchers Workshop on Concurrency Theory
Hague, M. (Member of programme committee)
3 Sept 2018Activity: Participating in or organising an event › Participation in conference
-
Reachability Problems
Hague, M. (Chair) & Potapov, I. (Chair)
7 Sept 2017 → 9 Sept 2017Activity: Participating in or organising an event › Participation in conference
-
International Conference on the Implementation and Application of Automata
Hague, M. (Member of programme committee)
27 Jun 2017Activity: Participating in or organising an event › Participation in conference
-
International Colloquium on Automata, Languages, and Programming
Hague, M. (Member of programme committee)
12 Jul 2016 → 15 Jul 2018Activity: Participating in or organising an event › Participation in conference
-
Higher Order Program Analysis
Hague, M. (Chair)
18 Jul 2014Activity: Participating in or organising an event › Participation in conference