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.
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/.
The registration is now open. Note that you have to register for the event AND the hotel.
Alpine Verification Meeting
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.
More info here.
Inductive theorem proving is a topic of growing interest in the automated reasoning community. The Third Workshop on Automated Inductive Theorem-Proving – WAIT focuses on all relevant aspects of inductive reasoning.
The workshop is an informal event and aims to give researchers interested in the topic a chance to meet, exchange ideas and have an active platform for discussions.
We invite talks featuring demos and tutorials of inductive theorem provers, challenge problems, new directions of research or anything else of interest to the inductive theorem proving community.
Roopsha Samanta from RiSE co-organizes the DARS workshop. Invited speakers from RiSE are Jan Otop, Ulrich Schmidt, and Roderick Bloem, they will discuss their research on the topic.
Cyber Physical Systems come to Vienna:
HSCC, ICCPS, IPSN, RTAS
20 Workshops, 6 Tutorials,
1 Competition, 4 Summits
Joint ARTEMIS-IA Spring Event 2016
RiSE & LogiCS Spring School
We have grants for students! More details at http://www.cpsweek.org/2016/
In collaboration with the LogiCS doctoral college, we’re organizing a spring school on logic and verification:
Dates: April 15 to April 17
Venue: TU Wien, Freihaus, Zeichensaal 3
The topics covered are first-order theorem proving, SMT solvers, as
well as synthesis and the verification of distributed algorithms.
Details and abstracts will soon be available on the webpage above.