[SMT-COMP] Participants list available on the website

Antti Hyvärinen antti.hyvarinen at gmail.com
Wed May 6 04:48:51 EDT 2020

Previous message: [SMT-COMP] SMT-COMP registration form service break
Next message: [SMT-COMP] SMT-COMP final solver submission deadline extension
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Dear all,

The list of participants is now available at

  https://smt-comp.github.io/2020/participants.html

Please let us know if something is not correct!

Cheers,
Antti, Haniel & Jochen

Previous message: [SMT-COMP] SMT-COMP registration form service break
Next message: [SMT-COMP] SMT-COMP final solver submission deadline extension
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the SMT-COMP mailing list