logo RĂ©gion Lorraine

Meeting detail

CDZ Workshop GZ1115 -- 23-29 November 2014 -- Beijing, China

This meeting had a different scope than the SMArT project. We mention it here because several SMArT participants were present, and many of the discussions revolved around arithmetic and SMT. A detailed program is available here.

SMArT participants

Pascal Fontaine, Maximilian Jaroschek, Stephan Merz, Thomas Sturm