Papers will be accepted for
presentation at the conference subject to approval by the
Organizers. Please send submissions (extended abstract or full
paper) electronically (in PDF and Tex formats) to
logic [AT]
ipm [DOT] ir with the subject:
"Set-Model-Conf- Abstract".
Deadline:
August 31, 2015