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
…a list of all visitors to the VCLA
…the LogicLounge discussion series
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:
- Reasoning Web Summer School, September 3–8, 2012
- 6th International Conference on Web Reasoning and Rule Systems (RR2012), September 10–12, 2012
- 4th International Conference on Computational Models of Argument (COMMA 2012), September 10–12, 2012
- Datalog 2.0, September 11–13, 2012
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
- Wednesday, January 25 2012, 09:00: Symposium “Logic and Algorithms: A Scientific Perspective”
- Wednesday, January 25 2012, 15:00: Official Opening of the Vienna Center for Logic and Algorithms
- Thursday, January 26 2012, 10:00: Award of the Honorary Doctorate to Edmund M. Clarke
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)
- Vienna Ball of Sciences 2020
- Vienna Ball of Sciences 2019
- Vienna Ball of Sciences 2018
- Vienna Ball of Sciences 2016
- Vienna Ball of Sciences 2015
…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
…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
