• Reach VCLA ―Enrich Social Media

    Social media constitute  an important medium for disseminating information. To achieve the spill over effect of the knowledge accumulated within the constituting research groups of VCLA and to connect their members with the network of stakeholders and the general public, VCLA is expanding the channels within the digital community.

    Read More
  • Helmut Veith Symposium

    Thank you for joining the Symposium in Memoriam Helmut Veith, the co-founder of Vienna Center for Logic and Algorithms, hosted by the organizers of the 17th FMCAD – Formal Methods in Computer-Aided Design, held at TU Wien, Vienna, Austria, from October 2–6, 2017.

    Read More
  • Helmut Veith Stipend for Female Master´s Students (Deadline November 30)

    Are you planning or already pursuing your master degree in the field of computer science at TU Wien? Invited to apply for the annually awarded Helmut Veith Stipend.

    Read More

  • Parameterized Complexity Summer School (PCSS)

    The 3rd Parameterized Complexity Summer School (PCSS) held in Vienna, Austria, from September 1-3 as a pre-event of ALGO 2017 attracted and connected a record number of more than 100 participants.

    Read More
  • ALGO 2017 Congress on Algorithms

    This September, the premier annual gathering on algorithms in Europe took place in the science hub of central Europe – Vienna.

    Read More

  • Helmut Veith 1971-2016

    With the deepest sadness, we announce Helmut Veith’s passing on March 12, 2016.

    Read More

Talks

(subscribe: list, rss feed, calendar feed)
Nov
22

Maarten Löffler

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

Nov
13

Mohammad Farshi

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

Nov
20

Sasha Rubin

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

Nov
13

Piotr Skowron

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

Oct
30

Tamara Mchedlidze

Application of the point-line duality principle in graph drawing
Monday, October 30, 2017 at 17:00 c.t.

Oct
20

Gerhard Woeginger

Buffers, Buckets, and Overflows
Friday, October 20, 2017 at 14:00 c.t.

News

Reach VCLA ―Enrich Social Media

Social media constitute  an important medium for disseminating information. To achieve the spill over effect of the knowledge accumulated within the constituting research groups of VCLA and to connect their members with the network of stakeholders and the general public, VCLA is expanding the channels within the digital community.

Helmut Veith Stipend for Female Master´s Students (Deadline November 30)

Are you planning or already pursuing your master degree in the field of computer science at TU Wien? Invited to apply for the annually awarded Helmut Veith Stipend.

Workshop on New Trends in Formal Argumentation

Database and Intelligence Group (DBAI), organized a Workshop on New Trends in Formal Argumentation supported by VCLA, taking place on August 17, 2017, bringing together researchers from several parts of the diverse field of formal argumentation in order to discuss recent results and ongoing work on the new challenges.

Helmut Veith Stipend for Female Master´s Students

Outstanding female students in the field of computer science who pursue (or plan to pursue) one of the master‘s programs in Computer Science at TU Wien taught in English are invited to apply for the Helmut Veith Stipend.

The stipend is dedicated to the memory of an outstanding computer scientist who worked […]

Parameterized Complexity Summer School (PCSS)

The 3rd Parameterized Complexity Summer School (PCSS) held in Vienna, Austria, from September 1-3 as a pre-event of ALGO 2017 attracted and connected a record number of more than 100 participants.

LAIVe Summer School 2017

Summer school on Logic, Artificial Intelligence and Verification – LAIVe, took place at TU Wien, Vienna, Austria from July 3 – 5, 2017. LAIVe was hosted by doctoral college Logical Methods in Computer Science (LogiCS) and the Austrian Society for Rigorous Systems Engineering (RiSE), with a friendly support of VCLA.