1st International Workshop on Theory Building and Formal Methods in Electronic/Mobile Commerce
TheFormEMC will bring together a wide body of researchers and developers, to advance the science and practice of formal methods applied to electronic/mobile commerce.
Papers should describe original research (i.e., not published elsewhere), and should not exceed 15 LNCS pages. It is planned to publish all accepted submissions in the LNCS series of Springer-Verlag.
Submissions should be made electronically, either in postscript or PDF format.
|Go to TheFormEMC'04 Submission Page: Submit Paper|