Authors should submit an extended abstract (not a full paper). The submission should contain a scholarly exposition of ideas, techniques, and results, including motivation and a clear comparison with related work. The length of the extended abstract should not exceed ten (10) letter-sized pages (not including bibliography, appendices and gures.) Submitted papers must describe work not previously published. They must not be submitted simultaneously to another conference with refereed proceedings. Research that is already submitted to a journal may be submitted to TAMC08, provided that (a) the PC chair is notied in advance that this is the case, and (b) it is not scheduled for journal publication before the conference. Accepted papers will be published in the conference proceedings, in the LNCS Series by Springer. Authors of accepted papers are expected to present their work at the conference. Special issues of Theoretical Computer Science and Mathematical Structures in Computer Science devoted to a selected set of accepted papers of the conference are planned.

Important dates
Submission deadline:
  Papers must be received electronically by 11:59 pm EST Dec. 5, 2007.
Notification:
  Acceptance or rejection decisions will be sent by Jan. 20, 2008.
Final versions:
  Final versions of accepted papers are due on Feb. 10, 2008.

Abstract submission
  Authors are required to submit their extended abstracts electronically through the online submission system at: http://www.easychair.org/conferences/?conf=TAMC08

  The system accepts Postcript or PDF files. Please be advised that Springer-Verlag LNCS requires that all papers published in the proceedings use LNCS's LATEX format .