Alloy @ ABZ'23 conference

Dear all,

At the upcoming ABZ’23 conference Nuno Macedo and myself will give a short tutorial about “Teaching Alloy with Alloy4Fun”. If you are currently teaching (or planning to teach) Alloy please consider attending!

There will also be a few Alloy related presentations:

  • “Task Model Design and Analysis with Alloy” by Alcino Cunha, Nuno Macedo, and Eunsuk Kang.
  • “Crucible Tools for Test Generation and Advanced Animation of Alloy Models” by Thomas Wilson and Stuart Matthews.
  • “Adding records to Alloy” by Julien Brunel, David Chemouil, Alcino Cunha, and Nuno Macedo.
  • “Verifying temporal relational models with Pardinus” by Nuno Macedo, Julien Brunel, David Chemouil, and Alcino Cunha. This will be a presentation of a previously published journal article about Pardinus, the analysis engine of Alloy 6.

The full program of the conference can be found here.