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.
We have 16! new PhD positions on Logical Methods in Computer Science affiliated with TU Wien, TU Graz and JKU Linz — see our announcement.
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/.
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/.