[CFP]: Festschrift in Honor of Christoph Weidenbach's 60th Birthday As a follow-up to the very successful workshop at CADE, we invite you to contribute to the Festschrift in Honor of Christoph Weidenbach's 60th Birthday, which comes in the form of a topical collection (akin to a special issue) in the Journal of Automated Reasoning:
https://link.springer.com/collections/ibbafifgai Christoph heads the Automation of Logic group at Max-Planck-Institut für Informatik, Saarbrucken. He is a well-known figure in the automated reasoning community, a former president of CADE Inc., and the main developer of the automatic prover SPASS. We invite contributions in areas close to Christoph's research, including but not limited to first-order reasoning, decidable fragments, SAT and SMT solving, combination of theories, rewriting, and automated verification. Submissions should be 15 to 50 pages long.
_______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
