Deadline for research and industrial paper submissions: May 31, 2006
Workshop Proposals due to the Workshop Chair: March 30, 2006
Tutorial Proposals due to the Tutorial Chair: May 31, 2006
Conference Date: Nov 6-11, 2006
Description: The Author Profile Page initially collects all the professional information known about authors from the publications record as known by the ACM bibliographic database, the Guide. Coverage of ACM publications is comprehensive from the 1950's. Coverage of other publishers generally starts in the mid 1980's. The Author Profile Page supplies a quick snapshot of an author's contribution to the field and some rudimentary measures of influence upon it. Over time, the contents of the Author Profile page may expand at the direction of the community.
S. Heymans, D. Nieuwenborgh, и D. Vermeir. Transactions on Computational Logic, 9 (4):
1-53(августа 2008)ACM, 2008. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Transactions on Computational Logic, VOL 9, ISS 4, (August 2008) http://doi.acm.org/10.1145/1380572.1380575.