FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Stefan Szeider
Affiliation: TU Wien
Web page: http://ac.tuwien.ac.at/people/szeider
Pages in this Program
All Proceedings Papers
CP on Tuesday, August 2nd
CP Program
LMML on Sunday, July 31st
LMML Program
MC on Thursday, August 11th
MC Program
Paper: Are Hitting Formulas Hard for Resolution?
PC 2022 Program papers
PC 2022 Program papers: Papers with Abstracts
PC on Monday, August 1st
PC Program
PCCR on Monday, August 1st
PCCR Program
Program
Program for Monday, August 1st
Program for Sunday, July 31st
Program for Thursday, August 11th
Program for Tuesday, August 2nd
Program for Wednesday, August 3rd
SAT on Wednesday, August 3rd
SAT Program
Bio

Stefan Szeider is a Professor at the Faculty of Informatics at the Technische Universit├Ąt Wien (TU Wien), Vienna, Austria. He chairs TU Wien's Algorithms and Complexity group and is a founding co-chair of the Vienna Center for Logic and Algorithms. Stefan received a PhD in Mathematics from the University of Vienna in 2001 and spent two years as a postdoctoral researcher at the University of Toronto. Before joining TU Wien, he was a Reader at the University of Durham, UK. Stefan is the first Austrian Computer Scientist who has received a grant from the European Research Council (ERC Starting Grant 2009).