Nikolaj Björner

• Automated Deduction – CADE-23
• Logic for Programming, Artificial Intelligence, and Reasoning