Programme
Participants
Location
Organisation
Registration
Photos
Workshop
Progress in Decision Procedures: From Formalizations to Applications
March 30, 2013, Belgrade, Serbia