• Open funded PhD positions with LogiCS doctoral college

    TU Wien, TU Graz, and JKU Linz are seeking exceptionally talented and motivated students for their joint doctoral program on Logical Methods in Computer Science (LogiCS). 30% of the positions are reserved for highly qualified female candidates. The doctoral positions are funded for a period of 4 years according to the funding scheme […]

    Read More
  • Call: VCLA International Student Awards 2018

    VCLA International Student Awards are awarded to authors of Outstanding Master Thesis and Outstanding Undergraduate Thesis Award (Bachelor). Beside the cash prize, the winners will be invited to present their work at an award ceremony during the Federated Logic Conference FLoC 2018 in Oxford. Deadline: March 15, 2018.

    Read More
  • Vienna Ball of Sciences 2018

    The new chairs of Vienna Center for Logic and Algorithms (VCLA), Agata Ciabattoni and Stefan Szeider, have once again partnered up with the Vienna Ball of Sciences, thus continuing the legacy of VCLA co-founder Helmut Veith, planting the seeds of logic outside the ivory towers of academia.

    Read More
  • Video Competition: Algorithms in 60 Seconds

    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.

    Read More

Talks

(subscribe: list, rss feed, calendar feed)
Feb
27

Benjamin Niedermann

On Ortho-Radial Drawings for Metro Networks
Tuesday, February 27, 2018 at 11:00 s.t.

Feb
14

Jorge Fandinno

Argumentation Frameworks with Recursive Attacks and Evidence-Based Supports
Wednesday, February 14, 2018 at 14:00 c.t.

Dec
19

Eunjung Kim

Erdos-Posa Property of Chordless Cycles and its Applications
Tuesday, December 19, 2017 at 16:00 s.t.

Dec
13

Przemysław Andrzej Wałęga

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

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.

News

Open funded PhD positions with LogiCS doctoral college

TU Wien, TU Graz, and JKU Linz are seeking exceptionally talented and motivated students for their joint doctoral program on Logical Methods in Computer Science (LogiCS). 30% of the positions are reserved for highly qualified female candidates. The doctoral positions are funded for a period of 4 years according to the funding scheme […]

Call: VCLA International Student Awards 2018

VCLA International Student Awards are awarded to authors of Outstanding Master Thesis and Outstanding Undergraduate Thesis Award (Bachelor). Beside the cash prize, the winners will be invited to present their work at an award ceremony during the Federated Logic Conference FLoC 2018 in Oxford. Deadline: March 15, 2018.

LogiCS PhD positions funded by Austrian Science Fund

Congratulations to the students, faculty and staff on the renewal of the funding for the LogiCS doctoral program, a PhD degree program funded by the Austrian Science Fund FWF.

Leopoldo Bertossi

VCLA and Wolfgang Pauli Institut (WPI) hosted visiting professor Leopoldo Bertossi, School of Computer Science, Carleton University, from September to December 2017 on the invitation of Georg Gottlob.

Prof. Bertossi´s farewell words:

Video Competition: Algorithms in 60 Seconds

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.

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.