Logics of Programs: Workshop, Yorktown Height... Logics of Programs: Workshop, Yorktown Heights, NY, USA (Lecture Notes in Computer Science)