Intuitionistic Modal Logic and Applications Important Dates Copenhagen, Denmark, July 26, 2002
Important dates: