Benzmüller appointed as Co-Chair of IJCAR 2024
Christoph Benzmüller (University of Bamberg, D), Marijn Heule (Carnegie Mellon University, USA) and Renate Schmid (University of Manchester, UK) have been appointed to serve as co-chairs of IJCAR 2024. IJCAR (https://ijcar.org) is the premier international joint conference on all aspects of automated reasoning. IJCAR 2024 will take place from July 1-6 in Nancy, France.