After a break of two years due to the pandemic, the Vienna Ball of Sciences will be held again on 28 January 2023 in the Vienna City Hall (Rathaus)! We are looking forward to a night of dancing, music, and …. logic riddles! Due to the success of our bee puzzle at the last ball (which is still available on pages 48/49 of the ball’s magazine), the Vienna Center for Logic and Algorithms will once again engage people’s minds with a problem that may be solved with logical reasoning. The three fastest human problem solvers will be rewarded with a prize at the VCLA stand! The year 2022 marked the ann ..read more

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 proclaimed World Logic Day in 2019 in association with the International Council for Philosophy and Human Sciences (CIPSH) to enhance public understanding of logic and its implications for science, technology and innovation. “In the twenty-first century – indeed, now more than ever – the discipline of logic is a particularly timely one ..read more

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 ideas during presentations, discussions, and leisure activities. The program was organized by Anna Prianichnikova (Scientific Coordinator), Beatrix Buhl (Office Services), and Georg Weissenbacher (Professor, TU Wien Informatics). In addition to keynote speeches by Christina Büsing (RWTH) and Stefan Szeider (TU Wien), the program included elevator pitches by the studen ..read more

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 Logic for this international research prize! Each nomination has to specify the researcher, provide a justification accessible to non-expert logicians (0.5-2 pages), and list the publications considered r ..read more

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 event took place at the Boecklsaal of TU Wien during a joint two-day workshop of the doctoral colleges logiCS (TU Wien, TU Graz and JKU Linz) and unRAVel (RWTH Aachen). Stefan Szeider, who had founded the VCLA together with his colleague Helmut Veith who tragically passed away i ..read more

Based on work with Keren Censor-Hillel, Shir Cohen, and Gal Sela. Dr. Ran Gelles – Bar-Ilan University   SHORT BIODr. 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 in 2014 from the University of California, Los Angeles (UCLA). Between 2014-2016 he served as a Postdoctoral Research Associate at Princeton University, New-Jersey. Starting 2016, Ran is with the Faculty of Engineering at Bar-Ilan University, Israel. His research interests include coding theory, distributed comput ..read more

Dr. Ran Gelles – Bar-Ilan University Based on work with Keren Censor-Hillel, Shir Cohen, and Gal Sela.   SHORT BIODr. 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 in 2014 from the University of California, Los Angeles (UCLA). Between 2014-2016 he served as a Postdoctoral Research Associate at Princeton University, New-Jersey. Starting 2016, Ran is with the Faculty of Engineering at Bar-Ilan University, Israel. His research interests include coding theory, distributed comput ..read more

Due to COVID-19, it has often not been possible to hold official award ceremonies. Therefore, we are proud to announce that we have set a date to officially honor the winners of the Helmut Veith Stipend of the last three years: 2021: Ana Vesic from Serbia 2020: Anna Baghumyan from Armenia 2019: Daniela Martinez Duarte from Colombia The ceremony will be held as part of the joint workshop LogiCS & UnRAVel. The Helmut Veith Stipend will be officially awarded by Ao.Univ.Prof. DI Dr. Kurt Matyas, Vice Rector of Academic Affairs. When?           ..read more

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 started out with a presentation held by the center’s co-chairs, Agata Ciabattoni and Stefan Szeider, who looked back on the past years and highlighted the most important events and projects, such as project ADA – Algorith ..read more

We are looking forward to two exciting events that are co-located at TU Wien with a great lineup of invited speakers! MFCS 2022 – August 22-26 (the 47th international symposium on Mathematical Foundations of Computer Science) MATCH-UP 2022 – August 24-26 (the 6th workshop on Matching Under Preferences) More information available at: www.ac.tuwien.ac.at/mfcs2022   ..read more