Workshop Schedule

We are glad to announce the schedule of the workshop! You can find it here.

Last Call for Registration

The registration for the workshop is still open.Please fill out the following form as soon as possible.

Registration Deadline

Registration is possible 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)