Software Modelling and Applied Logic

Activities

Activities per year 2011 2020 2020

• 4 Participation in conference
• 2 Editorial activity
• 2 Membership of board

Activities per year

Search results

• European Association for Programming Languages and Systems (External organisation)

  Fernandez, M. (Member)

  1 Feb 2020

  Activity: Membership › Membership of board

• European Association for Computer Science Logic (External organisation)

  Fernandez, M. (Member)

  1 Jan 2020

  Activity: Membership › Membership of board

• CSL 2020 - Annual Conference of the European Association for Computer Science Logic

  Fernandez, M. (Chair)

  2020

  Activity: Participating in or organising an event › Participation in conference

• 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

• RTA 2015

  Fernandez, M. (Chair)

  Jun 2015

  Activity: Participating in or organising an event › Participation in conference

• CIE 2014 Computability in Europe

  Fernandez, M. (Keynote/plenary speaker)

  Jun 2014

  Activity: Participating in or organising an event › Participation in conference

• Electronic Notes in Theoretical Computer Science (Journal)

  Fernandez, M. (Guest editor)

  Sept 2013

  Activity: Publication peer-review and editorial work › Editorial activity

• Journal of Computation and Mathematics, London Mathematical Society (Journal)

  Fernandez, M. (Editorial board member)

  2011 → …

  Activity: Publication peer-review and editorial work › Editorial activity