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/.

Open position for a full professorship in “Computer Aided Verification”, TU Wien

We would like to draw your attention to the announcement of an open
position for a full professorship in “Computer Aided Verification”
(succeeding Helmut Veith) at TU Wien, with deadline October 16, 2017.


Alpine Verification Meeting 2017: Sep 18-21, Hungary

The registration is now open. Note that you have to register for the event AND the hotel.

Alpine Verification Meeting

RISE4CPS: July 22-23, co-located with CAV’17

RISE4CPS workshop aims to invite international world-renown researchers in the field of formal methods to to provide tutorials on computational tools for the design and the automated analysis of complex CPS and to foster potential collaborations of the workshop’s participants within the RISE network.

More info at http://www.eziobartocci.com/rise4cps/ or ask Ezio Bartocci.

CFP: AVM/RiSE/LogiCS Meeting 2017

This year RiSE and LogiCS students are invited to participate in Alpine Verification Meeting 2017 in Visegrád, Hungary. This will be a four-day-event on the topics of formal verification, logics, games, synthesis, artificial intelligence, and decision procedures.

The format features two invited talks per day, student talks, followed by discussion tables, poster sessions, social events, and wellness.
The goal is to increase fruitful collaboration within students and invited speakers.

The meeting is organized by RiSE and Budapest University of Technology and Economics.

Registration soon!

more information

CFP: RiSE & LogiCS Summer School on Logic, AI, and Verification

Dates and Location

Dates: Monday, July 3 to Wednesday, July 5, 2017
Venue: TU Wien
Neues EI (find on OpenStreetMap)
Gusshausstraße 27-29, 1040 Wien
Room EI 9 (ground floor)


More info at http://forsyte.at/events/laive-summer-school-2017/

Intensive course on Decision Procedures, 24 Oct, Linz

There will be one day of lecture (main topic: SAT solving) given by Armin Biere and Martina Seidl.

* Lecture (blocked on one day)

24.10.2016, 11:00 – 18:00, Institute for Formal Models and Verification, JKU Linz

* Talks by participants (blocked on two days)

date will be fixed

More details — write to Martina!

(this is part of DK LogiCS)