LogicLounge 2023 with Carla Gomes and Bart Selman

DATE:Tuesday, June 6, 2023
TIME:16:00 – 17:30
VENUE:Heuer am Karlsplatz, Treitlstraße 2, 1040 Vienna

(c) Bart Selman, Carla P. Gomes / cornell.edu
Design: TU Wien Informatics

Are you interested in Logic, Philosophy, Mathematics, Informatics, and Artificial Intelligence? Then we would like to invite you to join our free event “LogicLounge”, which will be held in Vienna on June 6, 2023 at Heuer am Karlsplatz. No registration or expertise required! Just join the open discussion with computational sustainability experts Carla Gomes and Bart Selman from Cornell University, Ithaca, NY!

Carla Gomes is the Ronald C. and Antonia V. Nielsen Professor of Computing and Information Science, the director of the Institute for Computational Sustainability at Cornell University, and co-director of the Cornell University AI for Science Institute. She received a PhD in computer science in artificial intelligence from the University of Edinburgh; her research area is Artificial Intelligence with a focus on large-scale constraint reasoning, optimization, and machine learning. Recently, Gomes has become deeply immersed in research on scientific discovery for a sustainable future and, more generally, in research in the new field of Computational Sustainability. Computational Sustainability aims to develop computational methods to help solve some of the key environmental, economic, and societal challenges to help put us on a path toward a sustainable future.

Bart Selman is a Professor of Computer Science at Cornell University. Previously, he worked at AT&T Bell Laboratories. His research interests include computational sustainability, efficient reasoning procedures, planning, knowledge representation, and connections between computer science and statistical physics. He has (co-)authored over 100 publications, including six best paper awards. His papers have appeared in venues spanning Nature, Science, Proc. Natl. Acad. of Sci., and a variety of conferences and journals in AI and Computer Science. He has received the Cornell Stephen Miles Excellence in Teaching Award, the Cornell Outstanding Educator Award, an NSF Career Award, and an Alfred P. Sloan Research Fellowship. He is a Fellow of the American Association for Artificial Intelligence and a Fellow of the American Association for the Advancement of Science.

About LogicLounge

The series of public lectures LogicLounge continues to bring together the general public and the experts from the fields of logic, philosophy, mathematics, computer science, and artificial intelligence. Since its inception at the Vienna Summer of Logic in 2014 – the largest event in the history of logic – the series has since been traveling between Vienna and the venue of the CAV (International Conference on Computer-Aided Verification), where it has already become a regular event in honor of Helmut Veith (1971-2016).

Comments are closed.