The workshop "Proof Theory: Herbrand Theorem revisited" will take place on 25.-27.5.2017 at TU Wien.
Herbrand's theorem belongs to the greatest results in logic of the 20th century. This result had a major impact on proof theory and automated deduction. The purpose of this workshop is to discuss recent developments in Herbrand-based logical inference and its applications.
Invited speakers 1h; other contributions will last 20 minutes
Seminar room "Gödel", Favoritenstr. 9, access from the inner courtyard