A workshop of FP5 IST thematic network IST-2001-38957 APPSEM II
Organized by Institute of Cybernetics (IoC)
Invited speakers: Jim Laird (U Sussex), Sriram Rajamani (MS Research), Philip Wadler (U Edinburgh)