UC.PT

• Path
• › UC.PT
• › English Version
• › Events
• › International Joint Conference on Automated Rea...
• › Programme
• › Herbrand Award

Herbrand Award

Zohar Manna and Richard Waldinger are the 2016 Herbrand Award winners, in recognition of their distinguished contributions to automated reasoning.