Announcements

Workshop Schedule

Sun, 2017-07-02 14:12

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

Last Call for Registration

Thu, 2017-06-22 03:13

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

Registration Deadline

Tue, 2017-04-04 16:21

Registration is possible via this form.

Junior Research Session

Tue, 2017-04-04 16:05

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

Thu, 2017-03-16 20:45

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)