LogicLounge 2023 with Carla Gomes and Bart Selman

Tuesday, June 6, 2023 at 16:00

What is VCLA?

Check out our new video to get an impression of our main activities and objectives! #logic #algorithms
You can watch the video on youtube by clicking on the image below:

Call for nominations: VCLA International Student Awards

The deadline for the Call for Nominations for the seventh edition of the VCLA International Student Awards 2023 has been extended to April 11!

The Vienna Center for Logic and Algorithms at TU Wien calls for the nomination of authors of outstanding theses and scientific works in the field of Logic and Computer Science, in the […]

Vienna Ball of Sciences 2023

Saturday, January 28, 2023 at 20:00

World Logic Day Lecture: Dov Gabbay

Logic and argumentation for the 21st century
Saturday, January 14, 2023 at 17:00 CET

Joint workshop of the doctoral colleges LogiCS and UnRAVeL

Thursday, November 3, 2022 – Friday, November 4, 2022

ILOAF: Dov Gabbay Prize for Logic and Foundations

On the occasion of Professor Dov Gabbay’s 77th birthday, the Logic and Foundations Initiative (ILOAF) has launched the Dov Gabbay Prize for Logic and Foundations. Dov Gabbay is known in particular for his creation of dozens of specialized Logic Handbooks.

Call for Nominations:
Nominate an outstanding researcher in Logic and Foundations, including Mathematical, Philosophical, and Computational […]

Helmut Veith Stipend Award Ceremony

held during workshop LogiCS / UnRAVeL

As we have unfortunately not been able to hold an award ceremony for the winners of the Helmut Veith Stipend in the past few years due to COVID-19, the Vienna Center for Logic and Algorithms (VCLA) organized an official ceremony for the winners of 2019-2021 on November 4, 2022. The […]

Talk: Ran Gelles

Distributed Computations in Fully-Defective Networks
Thursday, November 24, 2022 at 16:15

Computer Science: A Problem Solver’s Paradise

Viktoriia Korchemna

Viktoriia Korchemna, a prae-doc researcher at the Institute of Logic and Computation of TU Wien and winner of the 2018 Helmut Veith Stipend, provides an insight into her life as a young computer scientist.

Studying Logic and Computation in Austria wasn’t Viktoriias plan, “it just happened”. When finishing her bachelor studies of theoretical […]

Award Ceremony – Helmut Veith Stipend

Friday, November 4, 2022 at 09:00

Vienna Science Festival

The Vienna Science Festival took place at Vienna city hall from September 9-11, 2022. At station 33 in the hall’s courtyard, a fun activity was waiting for visitors of all age groups.

The sorting network works in the following way: Every participant steps on one of the orange squares (the input nodes) and receives a card […]

VCLA celebrates its 10-year-anniversary!

The Vienna Center for Logic and Algorithms (VCLA) was founded in September 2011 and officially opened in January 2012. During the international symposium on Mathematical Foundations of Computer Science (MFCS) in August 2022, the center seized the opportunity to celebrate its 10-year-anniversary with the audience of the conference as well as VCLA board members.

The celebration […]

MFCS and MATCH-UP 2022 at TU Wien

Monday, August 22, 2022 – Friday, August 26, 2022

LogicLounge 2022 with Stuart J. Russell – free public event

Thursday, July 28, 2022 at 4pm

Talk: Hans van Ditmarsch

Reasoning about Gossip
Wednesday, May 25, 2022 at 17:00

Hackathon #4GoodAI 2022 Winners Announced!

The winners of the 4th edition of our popular “Hackathon #4GoodAI” have been announced on ada.wien.

From 2nd to 16th March pupils from all over Austria participated in creating a chatbot with Scratch (or a different programming language) on the topic of “Fake News”. The chatbot should help family and friends to recognize and expose fake […]

Lara Spendier receives 2022 TU Women’s Award

On 2 March 2022, Lara Spendier was honored with the seventh TU Women’s Award, which was for the second time awarded to an exceptional woman in IT.
The TU Women’s Award honors alumnae who strive for a social, economic, or scientific impact on society through their professional lives. Rector Sabine Seidler and Vice-Rector Anna Steiger […]

World Logic Day Lecture: Moshe Y. Vardi

From Greek Paradoxes to Political Paradoxes
Friday, January 14, 2022 at 17:00

Netidee Stipend 2021 for Pamina Georgiou

Pamina Georgiou, member of our research Group Formal Methods in Systems Engineering, received the Netidee Stipend 2021 for her PhD thesis on: “Automated Software Verification with First-Order Theorem Provers”.

 
 
 
 
 
 
 
 
 
 
Abstract:
Automating formal methods is an ongoing effort in software verification necessary to conclusively prove that critical software infrastructure is error-free. Applications such as IoT, cloud computing and […]

Shqiponja Ahmetaj receives FWF & Internet Foundation ”netidee SCIENCE 2021” funding

For her project “FRESH”, Shqiponja Ahmetaj, member of our research group Knowledge-Based Systems, received this year’s “netidee Science” funding, a cooperation between the Internet Foundation Austria and the FWF.

Aim of the funding programme “netidee” is the further development of the internet in Austria with open source projects.
From 114 applications, the jury chose 12 projects […]

Call for Applications: Helmut Veith Stipend for Women in Computer Science

Tuesday, November 30, 2021

Ada Lovelace Day

Celebrating Women in STEM: International Ada Lovelace Day on October 12, 2021.

Apply Now: 20 PhD Positions for LogiCS@TUWien!

Thursday, December 30, 2021

The Awardees of the 2021 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.

Logic Lounge with Joscha Bach

Thursday, July 22, 2021 at 11am-12pm PDT – 8pm – 9pm CEST (Vienna)

Three LogiCS Alumni receive prestigous Hertha Firnberg Fellowship

Three post-doc researchers from the Institute of Logic and Computation and all of them graduates of our LogiCS doctoral program

2021 Bill Mc Cune PhD Award for Jens Pagel

Jens Pagel from our research group Formal Methods in Systems Engineering and Alumnus of the LogiCS doctoral program has been announced as the recipient of the 2021 Bill McCune PhD Award  in Automated Reasoning.

A Lecture on Algorithms at the Austrian Parliament

As part of the TU Wien collaboration “Digitale Kompetenzen@Parlament”, several exclusive lectures by TU Wien Informatics top computer scientists will be held for Members of the Austrian Parliament.

Three “Sub auspiciis” promotions for Logic and Computation-Alumni

On June 14, 2021 three Alumni of the TU Wien Informatics Institute of Logic and Computation were awarded the Promotio Sub Auspiciis Praesidentis Rei Publica.

5th Helmut Veith Stipend recipient announced

It is our pleasure to announce Anna Baghumayn as the fifth recipient of the Helmut Veith Stipend

Marcel Moosbrugger receives the City of Vienna Diploma Thesis Award

On May 17, 2021 Marcel Moosbrugger from our research unit Formal Methods in Systems Engineering, was awarded the City of Vienna Award 

Read More

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 […]