We are happy to announce the one-day workshop

SIMPLICITY OF PROOFS IN AUTOMATED REASONING

which will take place on July the 6th at the at the Faculty of Science and Technology of the New University of Lisbon. The workshop is part of the project "Hilbert's 24th Problem" funded by the Portuguese Foundation for Science and Technology.

Confirmed speakers are:

• Michael Kinyon (University of Denver, USA)
• João Araújo (University Aberta, Portugal
• Alan J. Cain (New University of Lisbon, Portugal)