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

…an overview of all talks

…a list of all visitors to the VCLA

…the LogicLounge discussion series

Science Education

Overview of all Activities and Events hosted by VCLA

Conferences

The QONFEST 2020, August 31 – September 5, 2020

The Summer of Formal Languages 2020, August 17 -28, 2020 Postponed to 2021 due to COVID-19

The CPAIOR 2020 – 17th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, September 21 to 24, 2020

The LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, postponed to 2021, collocated with LPAR-24

The Kurt Goedel’s Legacy: Does Future lie in the Past?, July 25-27, 2019

The PATAT 2018: Practice and Theory of Automated Timetabling, August 28-31, 2018

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

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

The Austrian Computer Science Day 2015 (co-organized), October 15, 2015

The PhDs in Logic VII, May 9-11, 2016

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

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

Workshops

The 5th Women in Logic Workshop (WiL) 2021, June 27, 2021

The 4th Women in Logic Workshop (WiL) 2020, June 30, 2020

The GROW 2019: 9th Workshop on Graph Classes, Optimization, and Width Parameters, September 23-26, 2019

The Chinese-Austrian Workshop: Parameterised Algorithms and Fixed-parameter Tractability, August 10, 2019

The 2nd Schematic Mapping Workshop, April 11-12, 2019

The 2nd Workshop on New Trends in Formal Argumentation, April 30, 2019

The Workshop on Trends and Applications of Answer Set Programming – TAASP 2018, November 19-20, 2018

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

The Mimamsa Workshop: Deontic Reasoning: From Ancient Texts to Artificial Intelligence, June 11-13, 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 Symposium: In Memoriam Helmut Veith at FMCAD 2017, October 6, 207

The New Trends in Formal Argumentation, August 17, 2017

The New Trends in Belief Change, May 10, 2016

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

The Stream Reasoning Workshop 2015, November 9-10, 2015

The Logical Dialogue Games, September 28-30, 2015

The New Frontiers in Knowledge Compilation, June 4-6, 2015

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

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

Summer/Winter Schools

The Summer School on Security and Privacy for Blockchains and Distributed Ledger Technologies, September 2-6, 2019

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

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

The Spring School: LOVE 2016 (RiSE & LogiCS Spring School on Logic and Verification), April 15-17, 2016

The Reasoning Web Summer School, September 3–8, 2012

The Winter School on Verification, February 6–10, 2012

Helmut Veith Memorial Workshops

Helmut-Veith-Memorial Workshop 2020, January 26-29, 2020

Helmut-Veith-Memorial Workshop 2019, March 17-20, 2019

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

Helmut-Veith-Memorial Workshop 2017, January 31 – February 2, 2017

Women in Logic Workshops (WiL)

…the SIGLOG/VCLA Travel Support for Women in Logic Workshops affiliated with ACM/IEEE LICS

Scholarships and Awards

…the VCLA International Student Awards

…the Helmut Veith Stipend

…the SIGLOG/VCLA Travel Support for Women in Logic Workshops affiliated with ACM/IEEE LICS

Outreach

…The LogicLounge series of public debates

…Vienna Ball of Sciences (Cooperation)

Network meetings

…Debate hexagonal: Girls in Technik and Computer Science, January 2020

…Rigorous Systems Engineering RiSE Media Seminar, May 2018

…Kick-off of Informatik Austria, March 2015

…Austrian Computer Science Day 2012, June 28, 2012

Lectures

…July 2019: John D. Barrow: 100 Years of Universes

…July 2019: Juliet Floyd: In and Out of Mind – Wittgenstein and Gödel, Post and Turing

Science Education

…Project ADA (Algorithmen Denken Anders) ( CS Unplugged + fairs), May 2019 – June 2022

…Diary of a computer scientist (Female), January/February 2020/2021/2022

…eEducation Austria Praxistagen, November 7-8, 2019

…DigitalDays 2019, November 4-5, 2019

…DigiEduHack – 24h Hackathon 4 Good Artificial Intelligence, October 2019

…EUROPE CODE WEEK – Hackathon für Gute KI, October 2019

…Workshop: Introduction to Scratch with Future for Fridays, October 2019

…European Researcher´s Night 2019, September 2019

…World largest sorting network based on CS Unplugged – World Record, September 2019

…Logic in Computer Science (GEWINN InfoDay 2018), November 2018

…11. Informatiktag 2018, 27. September 2018

…KinderUni (Children’s University Vienna), July 2018

…Video competition – Algorithms in 60 seconds, December 2017-June 2018

…Lange Nacht der Forschung, April 13, 2018

…Workshop: Das Alphabet der digitalisierten Gesellschaft kennen lernen, March 23, 2018

…Video competition: Turing Machine