Competition Results and Presentation July 6 at 14:30 CEST

05 Jul 2020

The results of the SMT competition 2020 will be published in the results section of this site on Monday, July 6, at 14:30 Paris time at the beginning of the competition report talk.

Please join the talk in this Zoom Link.

The talk is part of the SMT Workshop.