• EDBT/ICDT 2018 Joint Conference

    Between March 26 and 29, one of the most important international gatherings on data management technology and database theory will be held in Vienna.

    Read More
  • Georg Gottlob Event at EDBT/ICDT 2018

    Foundational Challenges in Data and Knowledge Management

    A special event in honor of Georg Gottlob’s influential and long-lasting research contributions in the fields of database systems and artificial intelligence as an intellectual foreplay for EDBT/ICDT joint conference taking place between March 26-29 at TU Wien.

    Read More
  • Call for Submissions: VCLA International Student Awards 2018

    VCLA International Student Awards are awarded to authors of Outstanding Master Thesis and Outstanding Undergraduate Thesis (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. Extended deadline: March 25, 2018 (AoE).  

    Read More
  • 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). The doctoral positions are funded for a period of 4 years according to the funding scheme of the Austrian Science Fund (FWF). 30% of the positions are […]

    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


(subscribe: list, rss feed, calendar feed)

Evgenij Thorstensen

Self join elimination and new notions of query containment


Jörg Rothe

Economics and Computation: Five Challenges in Algorithmic Game Theory, Computational Social Choice, and Fair Division


Martin Schäf

Classifying Bugs with Interpolants


Igor Razgon

Lower bounds for branching programs of bounded repetition computing CNFs of bounded treewidth: an overview


Idit Keidar

Transactional Data Structure Libraries
Thursday, May 12, 2016 at 17:00


Leslie Lamport

Leslie Lamport will answer questions regarding his Heidelberg Laureate Forum lecture.


First edition of the VCLA International Student Awards

Four winners in two award categories were celebrated on May 15, 2015.

PostDoc position within the project “Oligomorphic clones”

The position will initially be for one year, but the project will be running until 4/2018 and prolongation of the position is negotiable.

Postdoc position in Parameterized Complexity at Vienna University of Technology, Austria

There is an opening for a fully funded postdoc position for the duration of two years at the Vienna University of Technology.

Funded PhD position in Quantified Boolean Formula (QBF) solving

There is an opening for a funded PhD position in Quantified Boolean Formula (QBF) solving at the Vienna University of Technology, Vienna, Austria.

VCLA International Student Awards

The Vienna Center for Logic and Algorithms announces the first edition of the VCLA International Student Awards