Intuitionistic Modal Logic and Applications Organisation Committee Copenhagen, Denmark, July 26, 2002
Organisers: