IMLA 2002

Intuitionistic Modal Logic and Applications
Submission Instructions
Copenhagen, Denmark, July 26, 2002


Submission Instructions:

All submissions should be single column, use 11 point font, and be at most 15 pages in length, preferably using the LateX llnc style. Papers should not be already published and should not be submitted for simultaneous publication at another conference or workshop. Either send a .ps or .pdf file to

M.Mendler@dcs.shef.ac.uk
or post a hard copy to
   Dr Michael Mendler
   The Department of Computer Science  
   Regent Court  
   211 Portobello Street  
   Sheffield  
   S1 4DP  
   UNITED KINGDOM 
by the due date.