Invited lectures
Location
Organisation
Registration
Programme
Participants
Photos
COST Action IC0901 WG1 and WG2 Meeting
and
Third Workshop on Formal and Automated Theorem Proving and Applications
January 29-30, 2010, Belgrade, Serbia
