Activities & Events

To stay informed about upcoming events, subscribe to our news feed!
Specialized feeds for talks are available on the talks page.

Follow the links to…

…an overview of all events (being updated)

…an overview of all talks

…a list of all visitors to the VCLA

Events hosted by VCLA

The LogicLounge discussion series, 2014-ongoing

The VCLA International Student Awards, 2014-ongoing

The Helmut Veith Stipend, 2016-ongoing

The PATAT 2018 Conference, August 28-31, 2018

The Research Workshop on Confluent Graphs, July 15-20, 2018

The Video Competition for the Youth: Algorithms in 60 Seconds, December 2017 – June 2018

The Second Workshop Women in Logic (WiL2018) at FLoC 2018, July 8, 2018

The Rigorous Systems Engineering RiSE Media Seminar, May 9, 2018

The EDBT/ICDT 2018 Joint Conference, March 26-29, 2018

The Georg Gottlob Symposium: Foundational Challenges in Data and Knowledge Management, March 25, 2018

The 2nd SYSMICS Workshop: Substructural logics: semantics, proof theory, and applications, February 26-28, 2018

The Helmut Veith Memorial Workshop, January 28-31, 2018

The Helmut Veith Symposium at FMCAD 2017, October 2-6, 2017

The ALGO 2017 Congress on Algorithms, September 4-8, 2017

The Parameterized Complexity Summer School (PCSS), September 1-3, 2017

The Workshop on New Trends in Formal Argumentation, August 17, 2017

The LAIVe Summer School (Summer school on Logic, Artificial Intelligence and Verification), July 3-5, 2017

The New Trends in Belief Change Workshop, May 10, 2016

The Spring School LOVE 2016 (Logic and Automated Verification), April 15-17, 2016

The Algebra and Coalgebra meet Proof Theory (ALCOP VII), April 7-9, 2016

The Stream Reasoning Workshop, November 9-10, 2015

The Symposium on Knowledge Compilation, June 4-6, 2015

The PhDs in Logic VII conference, May 14-16, 2015

The Vienna Summer of Logic 2014 (co-organized), July 9-24, 2014

The First Symposium on Structure in Hard Combinatorial Problems, May 16–18, 2013

The Vienna Logic Weeks, hosting 4 co-located events:

Winter School on Verification, February 6–10, 2012

Festive Opening of the Vienna Center for Logic and Algorithms, January 25–26, 2012

START Grant Kick-Off Workshop “Non-classical logics”, November 25–26, 2011

Worker 2011 – The Third Workshop on Kernelization, September 2–4, 2011

VCLA in cooperation

Kinderuni 2018: Wie denkt ein Computer?

VCLA International Student Awards at FLoC 2018

Die Lange Nacht der Forschung 2018

Vienna Ball of Sciences 2018

Vienna Science Ball 2016

Vienna Science Ball 2015

Austrian Computer Science Day 2015

Austrian Computer Science Day 2012