🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

Our project ...

My former PhD student Lara Spendier received the TU Women's award informatics.tuwien.ac.at/news/2169 # Congratulations Lara

🌍As the world urgently needs more logic and rationality, Logic4Peace creates a platform for logicians to present their work and ➡ financially help colleagues in Ukraine ➡ support the charitable fund 'Voices of children' 📌find all information here: events.illc.uva.nl/Logic4Peace/Ab…

Need some good news? You still have 20 days to apply for a #phdjob at LogiCS@TUWien🎓(here is the link: vcla.at/msca/apply/) Find out why it is a good idea here➡ youtube.com/watch?v=x-we5T…

We are looking for a new project manager t myability.jobs/at/job/project…

Join us this Thursday July 28 at 4pm for #LogicLounge 2022 with AI expert Stuart Russell. This is a free public event and you do not require a background in the field! hosted by VCLA at TU Wien and caimlTUwien as part of #IJCAI2022 in #Vienna bit.ly/3b0pyvD

Congratulations🏆to Tuukka Korhonen @Laakeri_ from University of Helsinki and Jasper Slusallek from Universität Saarland on officially being awarded the VCLA International Student Awards 2021 during #MFCS2022 at TU Wien. Thanks for presenting your impressive work to the audience!

Explaining algorithms to kids and showing how a sorting network works. Stefan Szeider VCLA at TU Wien ADA - Algorithmen Denken Anders of TU Wien @ #WienerForschungsfest till Sunday

Tenure-track assistant professorships at TU Wien in Information and Communication Technologies, bound to the acquisition of a 1.6M @WWTF grant wwtf.at/funding/progra… Interested candidates in applications of Logic should contact me.

👩‍🎓The Helmut Veith Stipend will be officially awarded to the winners of the last three years: Ana Vesic (2021), Anna Baghumyan (2020), and Daniela Martinez Duarte (2019). ▶️Nov 4, 09:00-10:00 | TU Wien, Boecklsaal ❗️Deadline for the current call is Nov 30 vcla.at/helmut-veith-s…

Simba, attended his 1st CAIML board meeting today. We are working to improve the human <-> animal communication with(out) AI.

🥲 The Helmut Veith Lecture Hall Dedication Ceremony at the Faculty of Informatics TU Wien was a sad and joyful occasion at the same time! Thanks to everyone who contributed a talk or a personal memory, and to everyone who celebrated with us! 🦋

agata ciabattoni and I will be chairing the steering committee of the Society for Deontic Logic until 2027. Very much looking forward to working with the whole committee to develop DEON, and the deontic logic community more generally! More info: deonconferences.org

Great to be again st the Vienna Ball of Science #sciball24 As every year the VCLA at TU Wien contributed a logic puzzle for the ball guests, the current one was created by our logiCS student Anouk Michelle Oudshoorn

Agata Ciabattoni und Stefan Szeider tuvienna über #Forschung #algorithmen und Logik mit Heinz Faßmann #BMBWF bei #LNF18 #LNF2018 @bmvit_infothek #informatik #datascience Am Hof 💡 Noch Zeit für #algorithmen60 👀