SMTLIB initiative

put your abstract here

Cesare Tinelli, University of Iowa, Iowa City, USA

put your bio here