On November 25, 2024, Laura Kovács held the second talk in the seminar series “Women in Logic Online”! If you missed the talk, you can now watch it on the VCLA Youtube channel: In addition, you may download the…
The 8th edition of the VCLA International Student Awards 2024 was concluded in September. Based on the international call for (self-)nominations, the award committee consisting of eighteen internationally recognized researchers announced one Outstanding Master Thesis Award and one Outstanding Undergraduate…
Speaker: Jan von Plato (University of Helsinki) Jan has worked both in logic and its development, with three systematic books on proof theory. His work of a historical-foundational character includes two books, The Great Formal Machinery Works, and Saved from…
Speaker: Georg Metcalfe (University of Bern) Research Topics: Proof Theory Non-Classical Logics Ordered Algebraic Structures
The 8th International Women in Logic Workshop was held at the Europe Hall in the Astra building of the campus of Tallinn University, Estonia, on July 9, 2024. The program committee again consisted of thirteen women (among them VCLA Co-chair…
Open PhD positions# and PostDoc positions# in the Cluster of Excellence “Bilateral AI” at TU Wien (Vienna University of Technology) We are seeking highly motivated and talented individuals to join our dynamic research team for combining symbolic and sub-symbolic AI.…
SHORT BIO: Rajeev Gore obtained his PhD from the Computer Laboratory of the University of Cambridge in 1992. Before that, he was at the University of Melbourne, completing a BSc (hons I) with a double major in Physics and Computer…
The research group Theory and Logic, Institute of Logic and Computation of TU Wien (the Vienna University of Technology) is looking for an exceptionally talented and motivated student for a PhD position. The 4-year position (30 hrs/week) is embedded in…
It is our pleasure to announce that the 8th edition of the Helmut Veith Stipend for Female Master’s Students in Computer Science (submission period end of November 2023) has concluded with the selection of four recipients! Seeing that the committee…
SHORT BIO: Guillermo Badia is a Lecturer in Logic (continuing position) in the School of Historical and Philosophical Inquiry at the University of Queensland, Australia. From 2022-2025, his research is supported by an Australian Research Council Discovery Early Career Researcher…
