Sixth edition of the VCLA International Student Awards 2021

The highly successful sixth edition of the VCLA International Student Awards 2021 was concluded in July 2021. Out of the numerous submissions, one was selected for the Outstanding Master Thesis Award and one for the Outstanding Undergraduate Research Award by a committee consisting of eighteen internationally recognized researchers. The winner’s degrees have been awarded between November […]

Alonzo Church Award for VCLA board members Georg Gottlob and Reinhard Pichler

The winners of the Alonzo Church Award 2021: Georg Gottlob, Christoph Koch, Reinhard Pichler, Klaus U. Schulz and Luc Segoufin

 

Alonzo Church Award 2021 Winners

The ACM Special Interest Group for Logic and Computation (SIGLOG), the  European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), and the Kurt Gödel Society (KGS) have announced […]

DEADLINE EXTENSION – Call for Nominations: VCLA International Student Awards 2021

Deadline Extension: May 7, 2021 (anywhere on Earth)

4th Helmut Veith Stipend recipient announced

It is our pleasure to announce Daniela Martinez Duarte as the fourth recipient of the Helmut Veith Stipend

QONFEST 2020: Verifying Smart and Critical Systems

Research advances in cyber-physical systems augmented by machine learning and artificial intelligence promise to transform our world.

Postdoc Position in Sample complexity or Machine learning at TU Wien

A Postdoc position is available at the Algorithms and Complexity Group at TU Wien, Vienna, Austria. The position is part of the prestigious START project “Parameterized Analysis in Artificial Intelligence” of the Austrian Science Fund (FWF), with the aim of building a bridge between parameterized complexity theory and artificial intelligence. The position will be […]

PhD Position in Parameterized Complexity

A PhD position is available at the Algorithms and Complexity Group at TU Wien, Vienna, Austria. The position is part of the prestigious START project “Parameterized Analysis in Artificial Intelligence” of the Austrian Science Fund (FWF), with the aim of building a bridge between parameterized complexity theory and artificial intelligence. The position will be […]

The Awardees of the 2020 VCLA International Student Awards

We celebrate the research capacity of undergraduate students worldwide by introducing them to the broader community in Logic and Computer Science.  

Fifth edition of the VCLA International Student Awards 2020

The highly successful fifth edition of the VCLA International Student Awards 2020 was concluded in July 2020. Out of 44 submissions in total, one was selected for the Outstanding Master Thesis Award and one for the Outstanding Undergraduate Research Award by a committee consisting of eighteen internationally recognized researchers. The winner’s degrees have […]

Two research assistant (PhD student) positions in Formal Methods in Systems Engineering

The Institute of Logic and Computation at the TU Wien, FORSYTE Group (E192-04) is offering a research assistant (PhD student) position, 30 h/week, for a an initial period of 7 months. The successful candidates will be supervised by Prof. Laura Kovacs. The estimated start date is July 1st, 2020.

The proposed research will focus on developing […]