Acknowledgments

SMT-COMP 2018 is organized under the direction of the SMT Steering Committee. The organizing team is

• Matthias Heizmann - University of Freiburg, Germany (co-organizer)
• Aina Niemetz - Stanford University, USA (co-organizer)
• Giles Reger - University of Manchester, UK (co-organizer)
• Tjark Weber - Uppsala University, Sweden (chair)

The competition uses the StarExec service, which is hosted at the University of Iowa.

The SMT-COMP web site is hosted on SourceForge, at smtcomp.sourceforge.net.

Last modified: Tue 26 Feb 2019 15:51 UTC