Dissemination Events of APRe

Automated Program Reasoning Group - APRe 

Faculty of Informatics
Vienna University of Technology

Contact: Laura Kovács

---

Events: 

• SAT/SMT/CA workshop, TU Wien, March 13-17, 2023

• APRe workshop, ERC/Wallenberg project event, TU Wien, November 5-6, 2019

• The Sixth Vampire workshop, Lisbon, Portugal, July 7, 2019.

• The Fifth Vampire workshop, Oxford, UK, July 13, 2018.

• The Fourth Vampire workshop, Gotenburg, Sweden, August 7, 2017.

• The WAIT workshop - The Third Workshop on Automated Inductive Theorem Proving, Vienna, Austria, November 17-18, 2016.

• The Wallenberg Academy Fellows Autumn meeting, Stockholm, Sweden, September 13, 2016.

• The Third Vampire workshop, Coimbra, Portugal, July 2, 2016.

• Tutorial session on SMT and Polynomial Arithmetic, Chalmers, May 25-27, 2016.

• PhD course on First-Order Theorem Proving and Vampire, Chalmers, April-May, 2016.

• Vampire Developers' Meeting, Vienna, Austria, January 11-12, 2016.

• TheProSE- Project Kick-off Workshop, Gothenburg, Sweden, September 4, 2015.

• Wallenberg Academy Fellowship - Mentoring Workshop 2015, Stockholm, Sweden, September 8, 2015.