Activities per year
Activities
- 1 - 50 out of 78 results
Search results
-
ACM CODASPY 2022 - 12th Int Conf on Data and Application Security and Privacy
Fernandez, M. (Chair)
25 Apr 2022 → 27 Apr 2022Activity: Participating in or organising an event › Participation in conference
-
European Association for Programming Languages and Systems (External organisation)
Fernandez, M. (Member)
1 Feb 2020Activity: Membership › Membership of board
-
European Association for Computer Science Logic (External organisation)
Fernandez, M. (Member)
1 Jan 2020Activity: Membership › Membership of board
-
LOPSTR 2020 - 30th International Conference on Logic-Based Program Synthesis and Transformation
Fernandez, M. (Chair)
2020 → …Activity: Participating in or organising an event › Participation in conference
-
CSL 2020 - Annual Conference of the European Association for Computer Science Logic
Fernandez, M. (Chair)
2020Activity: Participating in or organising an event › Participation in conference
-
RTA 2015
Fernandez, M. (Chair)
Jun 2015Activity: Participating in or organising an event › Participation in conference
-
CIE 2014 Computability in Europe
Fernandez, M. (Keynote/plenary speaker)
Jun 2014Activity: Participating in or organising an event › Participation in conference
-
Electronic Notes in Theoretical Computer Science (Journal)
Fernandez, M. (Guest editor)
Sept 2013Activity: Publication peer-review and editorial work › Editorial activity
-
TERMGRAPH 2011,6th International Workshop on Computing with Terms and Graphs (TERMGRAPH), ETAPS 2011, Saarbrücken, Germany
Fernandez, M. (Keynote/plenary speaker)
Apr 2011 → …Activity: Participating in or organising an event › Participation in conference
-
GT-VMT 2011, 10th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT), ETAPS 2011, Saarbrücken, Germany
Fernandez, M. (Keynote/plenary speaker)
Apr 2011 → …Activity: Participating in or organising an event › Participation in conference
-
Journal of Computation and Mathematics, London Mathematical Society (Journal)
Fernandez, M. (Editorial board member)
2011 → …Activity: Publication peer-review and editorial work › Editorial activity
-
HOR 2010, International Workshop on Higher Order Rewriting, Federated Logic Conferences
Fernandez, M. (Keynote/plenary speaker)
Jul 2010 → …Activity: Participating in or organising an event › Participation in conference
-
PC Chair, ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP), Austria
Fernandez, M. (Chair)
Jul 2010 → …Activity: Participating in or organising an event › Participation in conference
-
Paper presented at LOPSTR 2010
Fernandez, M. (Keynote/plenary speaker)
Jul 2010 → …Activity: Participating in or organising an event › Participation in conference
-
PC Chair, 24th International Workshop on Unification, UNIF 2010 at FLoC, Edinburgh
Fernandez, M. (Chair)
Jul 2010 → …Activity: Participating in or organising an event › Participation in conference
-
PORGY Workshop and Research Meeting, France
Fernandez, M. (Speaker)
Jul 2010 → …Activity: Participating in or organising an event › Participation in conference
-
Organiser, URC* 2010 - Student Research Conference, London
Fernandez, M. (Organiser)
2010 → …Activity: Participating in or organising an event › Participation in conference
-
Spring School in Security (PhD School), London
Fernandez, M. (Speaker)
2010 → …Activity: Participating in or organising an event › Participation in conference
-
Editor, Proceedings of UNIF 2010 - EPTCS (Journal)
Fernandez, M. (Editor)
2010Activity: Publication peer-review and editorial work › Editorial activity
-
IFCOLOG Advisory Board
Fernandez, M. (Advisor)
2010 → …Activity: Other › Types of External academic engagement - Contribution to the work of national or international committees and working groups
-
Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP), ACM Press (Journal)
Fernandez, M. (Associate Editor)
2010Activity: Publication peer-review and editorial work › Editorial activity
-
University ORT Uruguay, Invited lecturer
Fernandez, M. (Invited speaker)
Mar 2009 → …Activity: Participating in or organising an event › Participation in conference
-
ternational Workshop on Theory and Applications of Abstraction, Substitution and Naming, TAASN at ETAPS
Fernandez, M. (Chair)
Mar 2009 → …Activity: Participating in or organising an event › Participation in conference
-
Paper presented at TERMGRAPH 2009
Fernandez, M. (Keynote/plenary speaker)
Mar 2009 → …Activity: Participating in or organising an event › Participation in conference
-
Editor, Proceedings of WRS 2009 - EPTCS (Journal)
Fernandez, M. (Editor)
2009Activity: Publication peer-review and editorial work › Editorial activity
-
IFIP Working Group 1.6 - Term Rewriting
Fernandez, M. (Member)
2009 → …Activity: Other › Types of External academic engagement - Membership of external research organisation
-
PC Chair, 8th International Workshop on Reduction Strategies WRS 2009
Fernandez, M. (Chair)
2009 → …Activity: Participating in or organising an event › Participation in conference
-
International School on Rewriting, Brasilia
Fernandez, M. (Speaker)
2009 → …Activity: Participating in or organising an event › Participation in conference
-
Int. Journal of Automated Reasoning - Special issue on Theory and Applications of Abstraction, Substitution and Naming (Journal)
Fernandez, M. (Editor)
2009 → 2010Activity: Publication peer-review and editorial work › Editorial activity
-
the IFIP Working Group 1.6 on Term Rewriting, Austria
Fernandez, M. (Invited speaker)
Jun 2008 → …Activity: Participating in or organising an event › Participation in conference
-
PC member of DCM'07 (Wroclaw, Poland, )
Fernandez, M. (Chair)
Jul 2007 → …Activity: Participating in or organising an event › Participation in conference
-
Workshop on Rewriting, Computation and Proof, in Honour of Jean-Pierre Jouannaud
Fernandez, M. (Keynote/plenary speaker)
Jun 2007 → …Activity: Participating in or organising an event › Participation in conference
-
PC member of SECRET 2007 (satellite of RDP 2007, Paris, )
Fernandez, M. (Chair)
Jun 2007 → …Activity: Participating in or organising an event › Participation in conference
-
PC member of the 8th Int Workshop on Strategies in Rewriting and Programming, WRS 2007, Paris,
Fernandez, M. (Chair)
Jun 2007 → …Activity: Participating in or organising an event › Participation in conference
-
RULE'07 (9th Int. Workshop on Rule-Based Programming, satellite of RDP 2007), Paris, France,
Fernandez, M. (Chair)
Jun 2007 → …Activity: Participating in or organising an event › Participation in conference
-
and PC member TERMGRAPH'07 (satellite of ETAPS 2007, Braga, Portugal, )
Fernandez, M. (Chair)
Mar 2007 → …Activity: Participating in or organising an event › Participation in conference
-
Special issue on Rewriting Calculi, Higher-Order Reductions and Patterns, Journal of Mathematical Structures in Computer Science (Journal)
Fernandez, M. (Associate Editor)
2007 → 2008Activity: Publication peer-review and editorial work › Editorial activity
-
Paper presented at: SecReT (2nd Int Workshop on Security and Rewriting Techniques)
Fernandez, M. (Keynote/plenary speaker)
2007 → …Activity: Participating in or organising an event › Participation in conference
-
the 3rd International Workshop on the Rewriting Calculus, King's College London,
Fernandez, M. (Organiser)
Oct 2006 → …Activity: Participating in or organising an event › Participation in conference
-
the 3rd London Theoretical Computer Science Seminar, King's College London,
Fernandez, M. (Organiser)
Oct 2006 → …Activity: Participating in or organising an event › Participation in conference
-
SECRET 2006 (Int. Workshop on Security using Rewriting Techniques, satellite of ICALP 2006, Venice, )
Fernandez, M. (Chair)
Jul 2006 → …Activity: Participating in or organising an event › Participation in conference
-
the 3rd International Workshop TERMGRAPH'06 (satellite of ETAPS 2006), Vienna, Austria,
Fernandez, M. (Organiser)
Apr 2006 → …Activity: Participating in or organising an event › Participation in conference
-
PC member of the 3rd Workshop on the Rho-Calculus (London)
Fernandez, M. (Chair)
2006 → …Activity: Participating in or organising an event › Participation in conference
-
Paper presented at: WRS (8th Int Workshop on Reduction Strategies, Seattle)
Fernandez, M. (Keynote/plenary speaker)
2006 → …Activity: Participating in or organising an event › Participation in conference
-
DCM 2006, 2nd Int Workshop on Developments in Computational Models
Fernandez, M. (Keynote/plenary speaker)
2006 → …Activity: Participating in or organising an event › Participation in conference
-
Proceedings of SecReT, Electronic Notes in Theoretical Computer Science, Elsevier (Journal)
Fernandez, M. (Associate Editor)
2006Activity: Publication peer-review and editorial work › Editorial activity
-
Proceedings of RULE 2006, Electronic Notes in Theoretical Computer Science, Elsevier (Journal)
Fernandez, M. (Associate Editor)
2006Activity: Publication peer-review and editorial work › Editorial activity
-
PC Co-Chair, RULE'06 (8th Int. Workshop on Rule-Based Programming, satellite of FLOCS'06), Seattle,
Fernandez, M. (Chair)
2006 → …Activity: Participating in or organising an event › Participation in conference
-
Paper presented at: PPDP (ACM-SIGPLAN conference on principles and practice of declarative programming, Venice)
Fernandez, M. (Keynote/plenary speaker)
2006 → …Activity: Participating in or organising an event › Participation in conference
-
the 2nd Workshop on Lambda-Calculus, Type Theory and Natural Language, King's College London,
Fernandez, M. (Organiser)
Sept 2005 → …Activity: Participating in or organising an event › Participation in conference