Activities per year
Activities
- 50 - 78 out of 78 results
Search results
-
PC member, 2nd Workshop on Lambda-Calculus, Type Theory and Natural Language, King's College London,
Fernandez, M. (Chair)
Sept 2005 → …Activity: Participating in or organising an event › Participation in conference
-
PC Co-Chair, DCM'05 (Int. Workshop on Developments on Computational Models, satellite of ICALP 2005), Lisbon, Portugal,
Fernandez, M. (Chair)
Jul 2005 → …Activity: Participating in or organising an event › Participation in conference
-
PC member of RULE'05 (7th Int. Workshop on Rule-Based Programming, satellite of RDP 2005), Nara, Japan,
Fernandez, M. (Chair)
Apr 2005 → …Activity: Participating in or organising an event › Participation in conference
-
Rho-Calculus Workshop and Alliance project meeting, Ecole Polytechnique,
Fernandez, M. (Speaker)
2005 → …Activity: Participating in or organising an event › Participation in conference
-
Special issues on Type Theory, Lambda-Calculus and Natural Language, Journal of Logic and Computation, OUP (Journal)
Fernandez, M. (Associate Editor)
2005 → 2007Activity: Publication peer-review and editorial work › Editorial activity
-
Int. Journal of Logic and Computatoin - 2 Special Issues (Journal)
Fernandez, M. (Editor)
2005 → 2007Activity: Publication peer-review and editorial work › Editorial activity
-
PC Co-Chair, 2nd Workshop on the Rho-Calculus, France
Fernandez, M. (Chair)
2005 → …Activity: Participating in or organising an event › Participation in conference
-
Int. Journal on Mathematical Structures in Computer Science - 3 special issues (Journal)
Fernandez, M. (Editor)
2005 → 2008Activity: Publication peer-review and editorial work › Editorial activity
-
Proceedings of DCM 2005, Electronic Notes in Theoretical Computer Science, Elsevier (Journal)
Fernandez, M. (Associate Editor)
2005Activity: Publication peer-review and editorial work › Editorial activity
-
PC Chair, 2nd International Workshop TERMGRAPH'04 (satellite of ICGT'04), Rome, Italy,
Fernandez, M. (Chair)
Oct 2004 → …Activity: Participating in or organising an event › Participation in conference
-
Editor, Proceedings of TERMGRAPH 2004, Electronic Notes in Theoretical Computer Science, Elsevier (Journal)
Fernandez, M. (Editor)
2004Activity: Publication peer-review and editorial work › Editorial activity
-
the 1st Workshop on Lambda-Calculus, Type Theory and Natural Language, King's College London,
Fernandez, M. (Organiser)
2003 → …Activity: Participating in or organising an event › Participation in conference
-
PC member, Argentinian Workshop on Theoretical Computer Science, Argentina,
Fernandez, M. (Chair)
2002 → …Activity: Participating in or organising an event › Participation in conference
-
PC member, French GDR ALP General Conference, and local organiser, Paris,
Fernandez, M. (Chair)
2002 → …Activity: Participating in or organising an event › Participation in conference
-
the Association for Computing Machinery (ACM)
Fernandez, M. (Member)
2001 → …Activity: Other › Types of External academic engagement - Membership of external research organisation
-
the Computability in Europe Association
Fernandez, M. (Member)
2001 → …Activity: Other › Types of External academic engagement - Membership of external research organisation
-
the Int. Conference on Rewriting Techniques and Applications, since 2007
Fernandez, M. (Organiser)
2001 → …Activity: Participating in or organising an event › Participation in conference
-
the Int. Workshops TERMGRAPH (since 2005), DCM (since 2005), Rewriting Calculus (2006-2008), Secret (2007-2009). UNIF (2011-1015)
Fernandez, M. (Organiser)
2001 → …Activity: Participating in or organising an event › Participation in conference
-
the British Computer Society
Fernandez, M. (Member)
2001 → …Activity: Other › Types of External academic engagement - Membership of external research organisation
-
the Higher Education Academy
Fernandez, M. (Fellow)
2001 → …Activity: Other › Types of External academic engagement - Membership of external research organisation
-
Springer-Verlag (Lecture Notes in Computer Science), Elsevier (international journals: Theoretical Computer Science, Information and Computation, Electronic Notes in Theoretical Computer Science) (Journal)
Fernandez, M. (Editor)
2001 → …Activity: Publication peer-review and editorial work › Publication peer-review
-
LICS Workshops Co-chair, since 2008
Fernandez, M. (Chair)
2001 → …Activity: Participating in or organising an event › Participation in conference
-
the 2001 Annual Meeting of the French Working Group LAC, Paris,
Fernandez, M. (Organiser)
2001 → …Activity: Participating in or organising an event › Participation in conference
-
the 1st Interaction Net Workshop, Paris,
Fernandez, M. (Organiser)
2001 → …Activity: Participating in or organising an event › Participation in conference
-
Int Journal of Logic and Computation (OUP), Int Journal of Mathematical Structures in Computer Science (CUP) (Journal)
Fernandez, M. (Editor)
2001 → …Activity: Publication peer-review and editorial work › Publication peer-review
-
Journal of Computation and Mathematics, London Mathematical Society (Journal)
Fernandez, M. (Editorial board member)
2001 → …Activity: Publication peer-review and editorial work › Editorial activity
-
Corner editor of the International Journal on Logic and Computation, OUP (Journal)
Fernandez, M. (Editorial board member)
2001 → …Activity: Publication peer-review and editorial work › Editorial activity
-
the Int. Conference on Rewriting Techniques and Applications, since 2006
Fernandez, M. (Organiser)
2001 → …Activity: Participating in or organising an event › Participation in conference