Przemysław Andrzej Wałęga

Horn fragments of Halpern-Shoham logic: complexity vs expressiveness
Wednesday, December 13, 2017 at 11:30 s.t.

Video Competition: Algorithms in 60 Seconds

Can you imagine life without algorithms? Already thinking about the future? We are not able to put an age limit on playfully learning about algorithms and fostering computational thinking. However our video competition will need to.

Maarten Löffler

Pleaching Pencil-&-Paper Picture Puzzles
Wednesday, November 22, 2017 at 15:00 s.t.

Mohammad Farshi

(Weakly) Self-approaching graphs
Monday, November 13, 2017 at 16:30 s.t.

Sasha Rubin

Mini course: Milestones in solving games on graphs
Monday, November 20, 2017 – Friday, December 1, 2017

Piotr Skowron

Approximating Optimal Social Choice under Metric Preferences
Monday, November 13, 2017 at 16:00 c.t.

17th FMCAD 2017

This fall was a computer science autumn for Vienna, the science hub of Central Europe. From ALGO Congress on Algorithms to 17th FMCAD (Formal Methods in Computer-Aided Design), the research groups of VCLA have been busy.