Special issue of Mathematical Structures in Computer Science (MSCS) on 
Constructive Analysis, Types and Exact Real Numbers

There will be a special issue of the MSCS on the topic of the 
corresponding workshop.
The proceedings will, of course, be fully refereed according to the
standards of MSCS. 

Submission is not limited to the participants of the workshop.

Schedule:
1 December 2005     Deadline for submission
1 April    2006     Notification of acceptance
1 June     2006     The final versions of the papers are due. 

Guest editors:
Herman Geuvers
Milad Niqui
Bas Spitters
Freek Wiedijk

Please contact Bas Spitters 
if you need more information.

Back to the main menu of "Reliable Computing" (an International Journal) and other journals of interest to interval community

Back to the main menu of the Interval Computations website