Aarhus University Seal / Aarhus Universitets segl

Stefan Hallerstede

  1. 2013
  2. Integration of Tools for Rigorous Software Construction and Analysis

    Stefan Hallerstede (Organizer)

    2013

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

  3. Rodin User and Developer Workshop

    Stefan Hallerstede (Organizer)

    2013

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

  4. Science of Computer Programming (Journal)

    Stefan Hallerstede (Reviewer)

    2013

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsResearch

  5. 2012
  6. Rodin User & Developer Workshop 2012

    Stefan Hallerstede (Organizer)

    27 Feb 201229 Feb 2012

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

  7. Rodin User & Developer Workshop Proceedings (Journal)

    Stefan Hallerstede (Editor)

    27 Feb 201228 Feb 2100

    Activity: Publication peer-review and editorial work typesEditor of Research journalResearch

  8. Rodin User and Developer Workshop

    Stefan Hallerstede (Organizer)

    2012

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

  9. iFM & ABZ 2012

    Stefan Hallerstede (Organizer)

    2012

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

  10. 2010
  11. FMCO 2010

    Stefan Hallerstede (Organizer)

    2010

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

  12. Rodin User and Developer Workshop

    Stefan Hallerstede (Organizer)

    2010

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

  13. 2009
  14. FMCO 2009

    Stefan Hallerstede (Organizer)

    2009

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

  15. IFM 2009

    Stefan Hallerstede (Organizer)

    2009

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

  16. Rodin User and Developer Workshop

    Stefan Hallerstede (Organizer)

    2009

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

  17. 2007
  18. ICTAC 2007

    Stefan Hallerstede (Organizer)

    2007

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

  19. 2004
  20. FDL 2004

    Stefan Hallerstede (Participant)

    2004

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

  21. 2003
  22. FDL 2003

    Stefan Hallerstede (Organizer)

    2003

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

Previous 1 2 Next