LAIVe Summer School 2017

LogiCS / RiSE

The doctoral college Logical Methods in Computer Science (LogiCS) and the Austrian Society for Rigorous Systems Engineering (RiSE) will host a summer school on Logic, Artificial Intelligence and Verification at TU Wien, Vienna, Austria from July 3 to July 5. The summer school targets master and doctoral students in Computer Science and Mathematics with a strong interest in Logic, Artificial Intelligence and Automated Verification. We particularly encourage members of the RiSE research networks and the LogiCS doctoral college to participate, but the event is open to all interested students.
For more information, see http://forsyte.at/events/laive-summer-school-2017/

TU Wien

Our {communityGuidelinesLink} describe the sort of content we prohibit on Eventbrite. If you suspect an event may be in violation, you can report it to us so we can investigate.

To report other categories of prohibited or illegal content, submit {link}

LAIVe Summer School 2017

More events from LogiCS / RiSE

Discover more events from LogiCS / RiSE, from Science & Tech to other experiences you might love.

Still looking for the right event?

LAIVe Summer School 2017

More events from LogiCS / RiSE

Discover more events from LogiCS / RiSE, from Science & Tech to other experiences you might love.

You might also like...

Browse more events with different dates, prices, and formats to find your next great experience.

Still looking for the right event?