### Logic List Mailing Archive

## Workshop on Theoretical Computer Science (Calude's 60th Birthday)

**21-24 Feb 2012**

Auckland, New Zealand

International Workshop on Theoretical Computer Science
Dedicated to Prof. Cristian S. Calude's 60th Birthday
The Workshop will take place between February 21 and February 24 in 2012 in
Auckland, New Zealand. A volume titled "Computation, Physics and Beyond",
based on the WTCS2012, will be published in the LNCS Festschrifts Series of
Springer. The volume will contain contributions from invited speakers and
regular papers that present either expository/survey results or original
research in the following areas (in which Cristian Calude has had
significant contributions or interests):
Algorithmic information theory
Algorithms
Automata and formal languages
Automata, logic, and applications
Computing and natural sciences
Computability and applications
Philosophy of computation
Physics and computation
Tree automata and applications
Unconventional models of computation
http://www.cs.auckland.ac.nz/research/conferences/wtcs2012/
Contributing authors are invited to submit a pdf file (at most 12 pages in
length) to one of the editorial members listed below. Accepting
contributions should be presented in Latex using Springer llncs style. All
submissions will be reviewed by at least two independent referees.
Submission deadline: September 1, 2011
Notification date: October 15, 2011
Final version due: October 31, 2011
Organizing committee
M.J. Dinneen, G. Dobbie, R. Doran, B. Khoussainov and A. Nies.
Program committee
B. Cooper, F. Costa, M.J. Dinneen, P. Hertling, B. Khoussainov (chair), F.
Kroon, Y. Matiyasevich, A. Nies, Gh. Păun, G. Rozenberg, K. Salomaa, L.
Staiger, A. Shen, F. Stephan and M. Zimand.
Editorial committee
M.J. Dinneen, B. Khoussainov and A. Nies
{mjd,bmk,andre}@cs.auckland.ac.nz