1st International Workshop on Theory Building and Formal Methods in Electronic/Mobile Commerce
TheFormEMC '04

Toledo, Spain
1-2 October 2004


Call for Papers


Scope of the Conference

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.

Submission Guidelines

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

Important Dates for Authors


Server START Conference Manager
Update Time 4 Apr 2004 at 14:00:08
Maintainer fernando@sip.ucm.es.
Start Conference Manager
Conference Systems