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