[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
_______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
