Formal Methods and Tools

Activities

Activities per year 1990 2001 2002 2004 2020

• 71 Oral presentation
• 13 Invited talk
• 11 Organising a conference, workshop, ...
• 1 Editorial work
• 2 More
  • 1 Publication Peer-review
  • 1 Visiting an external academic institution

Activities per year

Search results

• Educators Symposium 2019

  Fiona Polack (Chair) & Arend Rensink (Chair)

  17 Sep 2019

  Activity: Participating in or organising an event › Organising a conference, workshop, ...

• 11th International Conference on Model Transformation, ICMT 2018

  Arend Rensink (Chair) & Jesús Sánchez Cuadrado (Chair)

  25 Jul 2018

  Activity: Participating in or organising an event › Organising a conference, workshop, ...

• Symposium on Model-Ed, Test-Ed, Trust-Ed in honour of Ed Brinksma on the occasion of his 60th birthday, 2017

  Joost P. Katoen (Organiser), Rom Langerak (Organiser) & Arend Rensink (Organiser)

  17 Oct 2017

  Activity: Participating in or organising an event › Organising a conference, workshop, ...

• Graphs as Models 2015

  Arend Rensink (Chair) & Eduardo Zambon (Chair)

  11 May 2015

  Activity: Participating in or organising an event › Organising a conference, workshop, ...

• ICT with Industry 2019

  Arend Rensink (Organiser)

  2014 → 2019

  Activity: Participating in or organising an event › Organising a conference, workshop, ...

• 17th International Conference on Fundamental Approaches to Software Engineering, FASE 2014

  Stefania Gnesi (Chair) & Arend Rensink (Chair)

  2014

  Activity: Participating in or organising an event › Organising a conference, workshop, ...

• 5th International Conference on Graph Transformationcs, ICGT 2010

  Arend Rensink (Organiser) & Andy Schürr (Chair)

  9 Oct 2010

  Activity: Participating in or organising an event › Organising a conference, workshop, ...

• Workshop on Formal Methods for Aerospace, FMA 2009

  Rom Langerak (Member of programme committee)

  2009

  Activity: Participating in or organising an event › Organising a conference, workshop, ...

• 5th European Conference Model Driven Architecture - Foundations and Applications, ECMDA-FA 2009

  Richard F. Paige (Organiser), Alan Hartman (Organiser) & Arend Rensink (Organiser)

  2009

  Activity: Participating in or organising an event › Organising a conference, workshop, ...

• 2nd European Conference Model Driven Architecture - Foundations and Applications, ECMDA-FA 2006

  Arend Rensink (Chair) & Jos Warmer (Chair)

  2006

  Activity: Participating in or organising an event › Organising a conference, workshop, ...

• European Workshop on Model-Driven Architecture - Foundations and Applications, MDAFA 2004

  Uwe Assmann (Chair), Mehmet Akşit (Chair) & Arend Rensink (Chair)

  2004

  Activity: Participating in or organising an event › Organising a conference, workshop, ...