CMSRA-IV Lisbon, 2005

home
program committee
call
important dates
paper submission page
invited speakers
accepted papers
proceedings & journal
coming to CMRSA-IV
maps
previous workshops:
- CMSRA-III
-
CMSRA-II
-
CMSRA-I
contacts

conference publications
In addition to a local proceedings and online proceedings, the best papers from CMSRA-IV will be published in a special issue of the Journal of Applied Logic, Elsevier Science Press, The Netherlands. Dov Gabbay (King's College, London), editor.