CiE 2005: ToCS Special Issue

CiE 2005
New Computational Paradigms
Amsterdam
June 8-12, 2005

Home

Conference Picture

More Pictures

General Information

Call for Informal Presentations

Call for Papers

Pre- and Post-conference Publications

Programme Committee

Tutorials & Invited Talks

ASL Student Travel Grants

Sponsors

Conference Series

Barry Cooper, Benedikt Löwe, Peter van Emde Boas (eds.), Computability in Europe 2005.
Special issue of the journal Theory of Computing Systems.
The special issue will appear as volume 41, issue 1 in April 2007.

The deadline for submission was September 15, 2005. All papers were peer-reviewed to the usual standards of the journal.

Author(s)	Title	Received	Pages
Jan Bergstra, Kees Middelburg	A thread algebra with multi-level strategic interleaving	September 26, 2005; Revised: April 4, 2006	31
Pieter Collins	Optimal semicomputable approximations to reachable and invariant sets	September 15, 2005; Revised: December 9th, 2005	15
Amin Farjudian	SHRAD: A Language for Sequential Real Number Computation	September 15, 2005; Revised: January 18, 2006	66
Klaus Meer	On some relations between approximation problems and PCPs over the real numbers	September 5, 2005	12
Peter Bro Miltersen	The computational complexity of one-dimensional sandpiles	September 15, 2005	7
Milad Niqui	Formalising Exact Arithmetic à la Edalat-Potts in Constructive Type Theory	September 2, 2005; Revised: January 31, 2006	25-30
Ning Zhong	Computable analysis of a boundary-value problem for the Korteweg-de Vries Equation	September 11th, 2005	20
Martin Ziegler	Real Hypercomputation and Continuity	August 15, 2005; Revised: January 16, 2006	27