The LogicLounge as a modern philosophical symposium

Meeting place for friends of logic • Insights in exactly one hour live and in public • Tribute to antique philosophical symposium

The LogicLounge is a meeting place for friends of logic from science and the public. Created during the Vienna Summer of Logic 2014, the largest conference in the history of logic research, LogicLounge features discussions on the “science of reasoning” in the areas of logic, philosophy, mathematics, computer science and artificial intelligence.

Its seven successful instances during the conference (see here) inspired the LogicLounge initiators, Helmut Veith (TU Wien) and Oliver Lehmann (IST Austria), to continue the one-hour discussions with eminent scientists – offering insights into the millennium old discipline of logic, celebrating the antique concept of the philosophical symposium (from Greek συμπίνειν sympinein, “to drink together”).

Upcoming LogicLounges

coming soon …

Past LogicLounges

22/07/2021, VIRTUAL

Joscha BachCognitive AI: From AI models to mental representations?

The aspiration of philosophy can be understood as the integration of all theories, and the aspiration of mathematics as the exploration of all consistent languages. Philosophy starts out with natural languages, mathematics with formal ones. Just as it is hard to say provably true things in the languages of philosophers, it is hard to make meaningful statements about our world using the languages of mathematicians. Grounding philosophy in mathematical languages requires the mathematization of the mind. In this sense, Artificial Intelligence is more than research into advances in information processing. It is also a daring, risky and extremely important philosophical project.

Click here for details

Organized by Leopold Haller in collaboration with VCLA, CAV 2021


19/07/2020, VIRTUAL

Los Angeles, California, USA

Cory Doctorow: Working as Intended: Surveillance Capitalism is not a Rogue Capitalism
Click here for details
Organized by Aina Niemetz and Mathias Preiner, CAV 2020

15/07/2019 in New York

Eva Galperin (Electronic Frontier Foundation)
Spouseware and Stalkerware – Where Do We Go From Here?
Click here for details
Organized by Daniel Schwartz Narbonne, CAV 2019

20/09/2018 in Vienna

Toby Walsh (Professor of artificial intelligence at University of New South Wales and Data61)
Living with artificial intelligence – How to stay Human (Click here for details)
Moderated by Franz Zeller (Ö1/ORF)

16/07/2018 in Oxford

Luciano Floridi (Professor of Philosophy and Ethics of Information, University of Oxford), Ben Kuipers (Professor of Computer Science and Engineering—specializing in robotics, University of Michigan), Francesca Rossi (AI Ethics Global Leader / Distinguished Research Staff Member at IBM Research AI, and Professor of Computer Science—specializing in artificial intelligence, University of Padova), Matthias Scheutz (Professor of Computer Science—with a background in logic and cognitive science, Tufts University), Sandra Wachter (University of Oxford and Alan Turing Institute), Jeannette Wing (Avanessians Director of the Data Sciences Institute at Columbia University, former VP of Microsoft Research with expertise in security and privacy). Moderated by Judy Wajcman (Anthony Giddens Professor of Sociology at the London School of Economics and Political Science)

Oxford Union debate on “Ethics and Morality of Robotics”(click here for details)
(organized by CAV at FLoC 2018)

06/10/2017 in Vienna

Michael Huth (Imperial College London), Janos Makowsky (Technion – Israel Institute of Technology). Moderated by Laura Kovács (TU Wien)
Logic in Computer Science: A Teaching Perspective (click here for details)
(organized by CAV at FMCAD 2017)

Laura Kovács, Anna Prianichnikova, Janos Makowsky, Michael Huth, Georg Weissenbacher.

LogicLounge on Teaching Logic in Computer Science. mmmmmmmmm

Colleagues, Friends, and Family at LogicLounge in memoriam Helmut Veith.

27/07/2017 in Heidelberg

Fabiana Zollo (Ca’ Foscari University of Venice)
Social Dynamics in the Post-Truth Society: How the Confirmation Bias is Changing the Public Discourse (click here for details)
(organized by CAV 2017)

LogicLounge with Fabiana Zollo.

LogicLounge in Heidelberg,July 2017, organized by CAV 2017.

The hall of the LogicLounge in Heidelberg, with Fabiana Zollo.

22/07/2016 in Toronto

Moshe Y. Vardi (Rice University), Dan Falk
Will robots take away your jobs? (click here for details)
In memoriam Helmut Veith (organized by CAV 2016)
Photos by Ilina Stoilkowska


Moshe Vardi, Rice University.


Audience, LogicLounge in Toronto.


Discussion with Dan Falk and Moshe Vardi.

07/03/2016 in Vienna

Cliff B. Jones (University of Newcastle), Tanja Traxler (Der Standard):
Formal Methods and the Vienna IBM Lab (click here for details and more photos)’
Photos by Nadja Meister

Logic Lounge_Cliff B Jones_by_Nadja Meister_IMG_0073

Georg Weissenbacher introducing the speaker and his IBM Lab colleagues.

Logic Lounge_Cliff B Jones_by_Nadja Meister_IMG_0217

W. Pachl, E. Neuhold, V. Kudielka, C. Jones, G. Urschler, G. Chroust.

Logic Lounge_Cliff B Jones_by_Nadja Meister_IMG_0112

Cliff B. Jones and Tanja Traxler discussing his work at the IBM Lab.

30/06/2015 in Vienna

Dana S. Scott (Carnegie Mellon University), Irene Schreier Scott (Carnegie Mellon University), Tanja Traxler (Der Standard)
Photos by Nadja Meister

(c) Nadja Meister

H. Veith, T. Traxler, D. Scott.

(c) Nadja Meister

Dana Scott.

(c) Nadja Meister

T. Traxler, D. Scott., I. Scott.

27/03/2015 in Vienna

Peter Norvig (Director of Research, Google Inc.), Gerhard Widmer (JKU Linz), Elke Ziegler (Ö1 Radio): How artificial is intelligence?
Photos by Nadja Meister

(c)Nadja Meister

G. Widmer, E. Ziegler, P. Norvig.

(c) Nadja Meister

Elke Ziegler, Peter Norvig.

(c) Nadja Meister

Gerhard Widmer, Elke Ziegler.

Click here for the LogicLounges
at the Vienna Summer of Logic 2014