Panel on “Past and future of computer science theory”Ronald FaginGeorg Gottlobet al.2021SEBD 2021Conference paper