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