Helmut Veith Memorial Workshop, Jan 28-31, Obertauern, Austria

VCLA and RISE supporting Helmut Veith Memorial Workshop (HVW), dedicated to keep alive the legacy of the Austrian logician and co-founder of VCLA, and LogiCS doctoral college – Helmut Veith (1972–2016).

You can find further information here: Helmut Veith Memorial Workshop.

16 PhD Positions on Logical Methods in Computer Science, TU Wien, TU Graz and JKU Linz

We have 16! new PhD positions on Logical Methods in Computer Science affiliated with TU Wien, TU Graz and JKU Linz — see our announcement.  

RiSE/SHiNE Winter School 2018: Feb 5-9, Vienna

The RiSE/SHiNE Winter School 2018 will take place from Monday, February 5 to Friday, February 9, 2018 at TU Wien, Austria. For further information, please visit http://www.kr.tuwien.ac.at/events/risews2018/.

Alpine Verification Meeting 2018: Sep 24-27, Wagrain, Austria

This year Alpine Verification Meeting is a joint event of AVM and the RiSE Workshop.

The registration is now open. For further information, please visit https://avm2018.iaik.tugraz.at/.