Submissions to the special issue
can be sent in Postscript or PDF format
by November 30, 2007 to
Please send the submission to both above email addresses.
The UC'07 conference will take place August 13 - 17, 2007, in Kingston, Canada. The satellite workshop Language Theory in Biocomputing will be held on August 15, 2007.
A one-page call for papers (PDF).
The theme of the workshop is applications of formal language theory in biocomputing. The workshop solicits new work on the relationships between formal language theory and biocomputing and the uses of formal language theory and automata in modelling biological processes.
The topics include, but are not limited to:
Authors are invited to submit an electronic version (Postscript or PDF)
by April 20, 2007 (NEW DATE) to
Please send the submission to both above email addresses.
A paper should begin with the title,
each author's name, affiliation, and e-mail address,
and a one-paragraph summary of the results and ideas. The paper should
provide sufficient detail to allow the Program Committee
to evaluate its validity, quality, and relevance to the workshop. The
paper should be at most twelve (12) pages long using 11-point font
with ample margins. If appropriate, proof details omitted in the
paper may be added in an appendix.
The program committee members are allowed to submit papers. Papers submitted by the program committee members will be handled separately by the program committee co-chairs.
The pre-proceedings will be available during the workshop. Extended versions of selected papers from the workshop will be solicited for publication in a special issue of the International Journal of Foundations of Computer Science.
At least one author of each paper accepted to the workshop is expected to register to UC'07. There is no separate registration fee for the workshop.
Kai Salomaa
School of Computing, Queen's University
Kingston, Ontario, Canada K7L 3N6