Intuitionistic Modal Logic and Applications Invited Speakers Copenhagen, Denmark, July 26, 2002
Invited speakers:
Giovanni Sambin (Padova, Italy) Dana Scott (Pittsburgh, USA)