RiSE/SHiNE Winter School 2018

DATE:Monday, February 5, 2018 – Friday, February 9, 2018
VENUE:TU Wien

Knowledge-Based System Group is inviting to the RiSE/SHiNE Winter School 2018 taking place between February 5 and February 9, 2018 at TU Wien, Austria.

Target Groups

School is open to researchers, advanced master students, PhD students, or Post-Docs working on theoretical and practical aspects of logic in computer science, formal verification, and automated reasoning in a broad sense.

Speakers

Organizers

Uwe Egly & Florian Lonsing.

More information

http://bit.ly/2mgr7su

Comments are closed.