Registration Deadline

Registration is possible until 15th June 2017 via this form.

Junior Research Session

In addition to the invited talks, there will be either one or two sessions (depending on demand) of short (10-15 minute) talks by research students and other junior researchers. Presentations on any topic related to computer algebra and simplicity of proofs are welcomed.

If you are interested in giving a talk on your research at this event, or have any questions, please contact the organizers as soon as possible.

Workshop on Simplicity of Proofs in Automated Reasoning

We are happy to announce the one-day workshop


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)