[Event at CIG] Festschrift in Honor of Christoph Weidenbach's 60th Birthday: [Deadline Extension]

[geoff at cs.miami.edu]

[Deadline Extension]: Festschrift in Honor of Christoph Weidenbach's 60th Birthday

We would like to announce an extension of the submission deadline for the Festschrift in Honor of Christoph Weidenbach's 60th Birthday, which will appear as a topical collection (akin to a special issue) in the Journal of Automated Reasoning:

https://link.springer.com/collections/ibbafifgai

In response to several enquiries regarding the possibility of an extension, we are pleased to inform you that the new submission deadline is:

Submission deadline: 31 March 2026

Christoph heads the Automation of Logic group at the Max-Planck-Institut für Informatik, Saarbrücken. 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 and will undergo the standard reviewing process of the journal.

We look forward to your contributions and to celebrating Christoph’s scientific achievements with this collection.

Jasmin Blanchette, Mathias Fleury, Martin Suda, Sophie Tourret
Guest Editors