[Hol-info] [CFP]: Festschrift in Honor of Christoph Weidenbach's 60th Birthday

[<ge...@cs...>]

[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.