This is the final call for papers for the Fourth International Workshop on Scientific Models of Scientific Reasoning and Applications, CMSRA-IV Lisbon, to be held in Lisbon, Portugal, September 21-23, 2005. Note the extended deadlines: submission of abstracts are now due by May 24, 2005. (This will give you a key to upload your paper. Deadline for uploading full papers is May 29, 2005). Full instructions for working the paper submission webpage are here, and a recent NY Times travel article about Lisbon is here.
CD’ers on the PC: Jim Hawthorne and Horacio Arlo-Costa (Thank you! Thank you!)
In addition to a published proceedings, the best papers of CMSRA-IV will be published in a special issue of the Journal of Applied Logic.
Questions? Please contact either Luis Moniz Pereira or Gregory Wheeler. See you in Lisbon!