- WACT 2013 at Aarhus University, Aarhus, Denmark
- WACT 2014 at Saarland University, Saarbrücken, Germany.
- WACT 2015 at Saarland University, Saarbrücken, Germany.
- Boot-camp: 3rd to 5th February, 2016
- Workshop: 7th to 12th February, 2016
- Location: Tel Aviv University, Israel
- [2016-03-20] Videos of all lectures added.
- [2016-02-13] Embedded slides of speakers added.
- [2016-02-12] Slides of all speakers added to the program.
- [2016-02-08] Added a pdf with some accessible concrete open problems that were suggested in the workshop.