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 following two categories: Outstanding Master Thesis Award* Outstanding Undergraduate Thesis Award (Bachelor thesis or equivalent, 1st cycle of the Bologna process)* *The degree must have been awarded between January 1st, 2023 and December 31st, 2023 (inclusive). The main areas of interest are: Computational Logic, covering theoretical and mathematical foundations such as proof theory, model theory, computabil ..read more

SHORT BIO:(taken from the University of Helsinki) Nick Bezhanishvili obtained his PhD in 2006 from the ILLC (Institute for Logic, Language and Computation), University of Amsterdam, under the supervision of Professors Dick de Jongh and Yde Venema. He held postdoctoral positions at the University of Leicester (2006–2008), Imperial College London (2008–2012), and Utrecht University (2012–2013). Since 2014, Nick holds an Assistant Professorship at the ILLC. He has more than 70 publications in the top journals, refereed conference proceedings, and book chapters in his area of research, which is ce ..read more

The 6th International Women in Logic Workshop was a satellite event of the International Conference on Formal Structures for Computation and Deduction (FSCD 2022) and was held on July 31, 2022 as a pre-workshop of FLoC 2022 in Haifa, Israel. The workshop was organized by Sandra Alves (Univ. of Porto), Sandra Kiefer (Max Planck Institute for Software Systems), and Daniele Nantes (Imperial College London). The program committee consisted of thirteen women, and there were two invited speakers. All nine submissions were accepted and presented in person. With 35 registered participants, it was the ..read more

SHORT BIO: Byron Cook is Professor of Computer Science at University College London (UCL); as well as Vice President and Distinguished Scientist at Amazon Web Services. Byron’s has worked in a variety of areas over the years, including computer and network security, program analysis and verification, programming languages, theorem proving, hardware design, operating systems, and biological systems.   Picture: Byron Cook ..read more

SHORT BIO: Reiner Hähnle is Professor in Software Engineering at the Computer Science Department of TU Darmstadt. He has wide-ranging interests in the formal foundations of software design, programming languages, and quality assurance by verification. He is co-initiator of the KeY project that maintains the well-known, eponymous Java verification tool, and he is co-designer of the active object language ABS. Moreover, he is co-founder of the Tableaux and IJCAR conference series and currently SC Chair of FASE. Notably, he was the first ever Wine Chair of an international Computer Science confer ..read more

The kick-off meeting of the FFG-funded project “Transformer” (call Co-Creation Spaces Climate & Energy) was held on February 29, 2024. The Vienna Center for Logic and Algorithms (VCLA) is proud to participate in this project, in which six faculties of TU Wien are teaming up to offer extracurricular learning opportunities with a focus on the environment. Children and teenagers will actively participate in the revitalization of a vacant building in Vienna, which will then be used as a creative learning space for all kinds of activities. If you are interested in learning more about this proj ..read more

SHORT BIO: Emiliano Lorini is a senior researcher (“directeur de recherche”) at the Centre National de la Recherche Scientifique (CNRS), co-head of the LILaC team (Logic, interaction, language and computation) at the Institut de Recherche en Informatique de Toulouse (IRIT). The general aim of his research is to develop formal models of interaction between cognitive agents. He has worked mainly worked in the area of AI with strong interaction with other disciplines such as economics, philosophy and cognitive sciences. Formal methods have been widely used in AI for modeling intelligen ..read more

Short Bio: Valeria de Paiva is a mathematician, logician, and AI scientist, working on natural language processing, logical inference, and all kinds of semantics, especially Dialectica categories. Before Topos, Valeria worked at top industry NLP labs, including Samsung Research America, Nuance, Deem, Cuil, and for many years at Xerox PARC. Before that, she was a professor at the University of Birmingham, UK. She is very keen on making sure that women are not too short-changed in their professional lives. For that, she maintains the “Women in Logic” website [1], Facebook group [2], and blog [3 ..read more

The VCLA invites applications for the Helmut Veith Stipend from motivated and outstanding female master’s students who plan to pursue one of the programs in Computer Science at TU Wien taught in English in one of the following semesters: – winter semester 2024/2025 – summer semester 2025 The deadline of the current call is November 30, 2024. For more information on the stipend, please visit: https://www.vcla.at/helmut-veith-stipend ..read more

On January 19, 2024, we hosted an “Industry Day” for our doctoral college LogiCS@TUWien so that our PhD students could discuss their projects with external guests. Event Program 8.30 – 9.00 Welcome coffee / registration 9.00 – 9.30 Stefan Szeider (Chair & Program Coordinator LogiCS@TUWien) 9.30 – 9.45 Herwig Schreiner (Siemens) 9.45 – 10.00 Birgit Hofreiter (TU Wien Innovation Incubation Center) 10.00 – 10.15 Tobias Kaminski (Bosch) 10.30 – 12.00 Coffee and poster section with participation of LogiCS@TUWien PhD students 12.00 – 12.10 Photo section 12.10 – 13.40 Lunch and get together 1 ..read more