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…
After a break of two years due to the pandemic, the Vienna Ball of Sciences was again held again on 28 January 2023 in the Vienna City Hall (Rathaus). It was a night of dancing, music, and …. logic riddles!…
On 14 January 2023, we celebrate the international World Logic Day virtually with the Vienna Center for Logic and Algorithms (VCLA) at TU Wien and the Logic community from the city of Kurt Gödel, Ludwig Wittgenstein, and the Vienna Circle. UNESCO…
In the first week of November 2022, the doctoral colleges LogiCS (TU Wien, TU Graz and JKU Linz) and UnRAVeL (RWTH Aachen) held a joint two-day workshop in Vienna. The pre-doc students were able to present their work and exchange…
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.…
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…
Based on work with Keren Censor-Hillel, Shir Cohen, and Gal Sela. SHORT BIO Dr. Ran Gelles received his B.Sc. (Summa Cum Laude) and M.Sc. from the Technion–Israel Institute of Technology, in 2003 and 2009, respectively. He received his PhD…
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…
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:…
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…
