Third International Workshop on the ABS Modeling Language and Tools

This informal workshop serves the purpose to present and discuss the latest developments of the Abstract Behavioral Specification language and related research on programming models and analysis. If you like to participate, or give a presentation, please send an email to the local organizer: F.S.de.Boer@cwi.nl as soon as possible.
  • What Formal Methods Not a Seminar English
  • When 13-05-2019 09:00 to 15-05-2019 13:00 (Europe/Amsterdam / UTC200)
  • Where Room L016/L017 at CWI, Science Park 123 in Amsterdam
  • Contact Name
  • Web Visit external website
  • Add event to calendar iCal

This third International Workshop on the ABS Modeling Language and Tools serves the purpose to present and discuss the latest developments of the Abstract Behavioral Specification language and related research on programming models and analysis.

If you wish to participate (and possibly want to present related work), send an email to the local organizer: F.S.de.Boer@cwi.nl. The registration deadline for participation is 30 April. If you want to give a presentation, please do inform the local organizer by 15 April.
A small attendance fee will be charged after the workshop to cover the costs of catering and conference dinner.

Attendance is subject to approval by the organizers

The program will be announced by April 19.
At one of the evenings we will organize a conference dinner