<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=ISO-2022-JP">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<p class="MsoNormal" style="color: rgb(0, 0, 0); font-family:
Tahoma; font-size: 10pt; text-align: center; line-height: normal;"
align="center">
<b><span style="font-size:10.0pt;
font-family:"Tahoma","sans-serif";mso-fareast-font-family:"Times
New Roman"">Continuity, Computability, Constructivity –
From Logic to Algorithms (CCC 2014)</span></b><span
style="font-size:10.0pt;font-family:"Tahoma","sans-serif";mso-fareast-font-family:
"Times
New Roman""></span></p>
<p class="MsoNormal" style="color: rgb(0, 0, 0); font-family:
Tahoma; font-size: 10pt; text-align: center; line-height: normal;"
align="center">
<b><span style="font-size:10.0pt;
font-family:"Tahoma","sans-serif";mso-fareast-font-family:"Times
New Roman""><span style="mso-spacerun:yes"> </span>University
of Ljubljana, 15-19 September 2014</span></b></p>
<p class="MsoNormal" style="color: rgb(0, 0, 0); font-family:
Tahoma; font-size: 10pt; text-align: center; line-height: normal;"
align="center">
<b><span style="font-size:10.0pt;
font-family:"Tahoma","sans-serif";mso-fareast-font-family:"Times
New Roman""> Second call for papers</span></b><span
style="font-size:10.0pt;font-family:"Tahoma","sans-serif";
mso-fareast-font-family:"Times
New Roman""></span></p>
<p class="MsoNormal" style="color: rgb(0, 0, 0); font-family:
Tahoma; font-size: 10pt; text-align: center; line-height: normal;"
align="center">
<span style="font-size:12.0pt;
font-family:"Times New
Roman","serif";mso-fareast-font-family:"Times
New Roman""><a href="http://ccc2014.fmf.uni-lj.si/"
target="_blank">http://ccc2014.fmf.uni-lj.si/</a></span></p>
<p class="MsoNormal" style="color: rgb(0, 0, 0); font-family:
Tahoma; font-size: 10pt; text-align: center; line-height: normal;"
align="center">
<br>
<span style="font-size:12.0pt;
font-family:"Times New
Roman","serif";mso-fareast-font-family:"Times
New Roman""></span><span
style="font-size:10.0pt;font-family:"Tahoma","sans-serif";mso-fareast-font-family:
"Times
New Roman""></span></p>
<p class="MsoNormal" style="color: rgb(0, 0, 0); font-family:
Tahoma; font-size: 10pt; line-height: normal;">
<span
style="font-size:10.0pt;font-family:"Tahoma","sans-serif";
mso-fareast-font-family:"Times
New Roman"">CCC is a workshop series bringing together
researchers from real</span><span
style="font-size:12.0pt;font-family:
"Times New
Roman","serif";mso-fareast-font-family:"Times
New Roman"">
</span><span
style="font-size:10.0pt;font-family:"Tahoma","sans-serif";mso-fareast-font-family:
"Times
New Roman"">analysis, computability theory, and
constructive mathematics. The overall aim is to apply logical
methods in these disciplines to provide a sound foundation for
obtaining exact and provably correct</span><span
style="font-size:12.0pt;font-family:"Times New
Roman","serif";mso-fareast-font-family:
"Times New Roman"">
</span><span
style="font-size:10.0pt;font-family:"Tahoma","sans-serif";
mso-fareast-font-family:"Times
New Roman"">algorithms for computations with real numbers
and related analytical data, which are of increasing importance
in safety critical applications and scientific computation.</span></p>
<p class="MsoNormal" style="color: rgb(0, 0, 0); font-family:
Tahoma; font-size: 10pt; line-height: normal;">
<span
style="font-size:10.0pt;font-family:"Tahoma","sans-serif";
mso-fareast-font-family:"Times
New Roman""><br>
</span></p>
<p class="MsoNormal" style="color: rgb(0, 0, 0); font-family:
Tahoma; font-size: 10pt; line-height: normal;">
<span
style="font-size:10.0pt;font-family:"Tahoma","sans-serif";
mso-fareast-font-family:"Times
New Roman"">Previous workshops have been held in Cologne
CCC 2009, Trier CCC 2012, and Gregynog 2013. One outcome of the
2009 workshop series is the creation of the EU funded research
network COMPUTAL (Computable analysis – theoretical and applied
aspects) which supports research visits from Europe to Russia,
South-Africa, and Japan and vice versa. This workshop also hosts
the third COMPUTAL workshop, but is open to all researchers in
the area.</span></p>
<p class="MsoNormal" style="color: rgb(0, 0, 0); font-family:
Tahoma; font-size: 10pt; line-height: normal;">
<span
style="font-size:10.0pt;font-family:"Tahoma","sans-serif";
mso-fareast-font-family:"Times
New Roman"">The workshop will take place in Ljubljana,
Slovenia.</span></p>
<p class="MsoNormal" style="color: rgb(0, 0, 0); font-family:
Tahoma; font-size: 10pt; line-height: normal;">
<span
style="font-size:10.0pt;font-family:"Tahoma","sans-serif";
mso-fareast-font-family:"Times
New Roman""><br>
</span></p>
<p class="MsoNormal" style="color: rgb(0, 0, 0); font-family:
Tahoma; font-size: 10pt; line-height: normal;">
<b><span
style="font-size:10.0pt;font-family:"Tahoma","sans-serif";
mso-fareast-font-family:"Times
New Roman"">Scope:
</span></b><span
style="font-size:10.0pt;font-family:"Tahoma","sans-serif";mso-fareast-font-family:
"Times
New Roman"">The workshop specifically invites contributions
in the areas of</span></p>
<ul style="color: rgb(0, 0, 0); font-family: Tahoma; font-size:
10pt;">
<li><span
style="font-size:10.0pt;font-family:"Tahoma","sans-serif";mso-fareast-font-family:
"Times
New Roman""></span><span style="font-size:
10.0pt;font-family:"Tahoma","sans-serif";mso-fareast-font-family:"Times
New Roman"">exact real number computation,</span><span
style="font:7.0pt "Times New Roman""></span><span
style="font-size:
10.0pt;font-family:"Tahoma","sans-serif";mso-fareast-font-family:"Times
New Roman""></span></li>
<li><span style="font-size:
10.0pt;font-family:"Tahoma","sans-serif";mso-fareast-font-family:"Times
New Roman"">effective topology,</span>
<span
style="font-size:10.0pt;font-family:Symbol;mso-fareast-font-family:Symbol;mso-bidi-font-family:Symbol">
</span></li>
<li><span style="font-size:
10.0pt;font-family:"Tahoma","sans-serif";mso-fareast-font-family:"Times
New Roman"">Scott's domain theory,</span></li>
<li><span style="font-size:
10.0pt;font-family:"Tahoma","sans-serif";mso-fareast-font-family:"Times
New Roman""></span>Weihrauch's type two theory of
effectivity,<span style="font-size:
10.0pt;font-family:"Tahoma","sans-serif";mso-fareast-font-family:"Times
New Roman""></span></li>
<li><span style="font-size:
10.0pt;font-family:"Tahoma","sans-serif";mso-fareast-font-family:"Times
New Roman"">category-theoretic approaches to computation
on infinite data,</span>
</li>
<li><span
style="font-size:10.0pt;font-family:Symbol;mso-fareast-font-family:Symbol;mso-bidi-font-family:Symbol"><span
style="mso-list:Ignore"><span style="font:7.0pt "Times
New Roman""> </span></span></span><span dir="LTR"></span><span
style="font-size:
10.0pt;font-family:"Tahoma","sans-serif";mso-fareast-font-family:"Times
New Roman"">hierarchies of unsolvability,</span><span
style="font-size:10.0pt;font-family:Symbol;mso-fareast-font-family:Symbol;mso-bidi-font-family:Symbol"><span
style="mso-list:Ignore"></span></span></li>
<li><span
style="font-size:10.0pt;font-family:Symbol;mso-fareast-font-family:Symbol;mso-bidi-font-family:Symbol"><span
style="mso-list:Ignore"><span style="font:7.0pt "Times
New Roman""></span></span></span>and related areas.</li>
</ul>
<font size="2" face="Tahoma, sans-serif"><span style="font-size:
10.0pt;font-family:"Tahoma","sans-serif";mso-fareast-font-family:"Times
New Roman""></span></font>
<p class="MsoListParagraphCxSpLast" style="color: rgb(0, 0, 0);
font-family: Tahoma; font-size: 10pt; text-indent: -0.25in;
line-height: normal;">
<span style="font-size:
10.0pt;font-family:"Tahoma","sans-serif";mso-fareast-font-family:"Times
New Roman""><br>
</span></p>
<p class="MsoNormal" style="color: rgb(0, 0, 0); font-family:
Tahoma; font-size: 10pt; line-height: normal;">
<b><span
style="font-size:10.0pt;font-family:"Tahoma","sans-serif";
mso-fareast-font-family:"Times
New Roman"">Invited Speakers:</span></b><span
style="font-size:10.0pt;font-family:"Tahoma","sans-serif";mso-fareast-font-family:
"Times
New Roman""> <br>
</span></p>
<ul class="MailOutline">
<li style="color: rgb(0, 0, 0); font-family: Tahoma; font-size:
10pt; line-height: normal;"><span style="font-family: Tahoma,
sans-serif; font-size: 10pt;">Thierry Coquand (Gothenburg)</span></li>
<li style="color: rgb(0, 0, 0); font-family: Tahoma; font-size:
10pt; line-height: normal;"><span style="font-size: 10pt;">Dirk
Pattinson (Canberra)</span></li>
<li style="color: rgb(0, 0, 0); font-family: Tahoma; font-size:
10pt; line-height: normal;"><span style="font-size: 10pt;">Paul
Potgieter (Pretoria)</span></li>
<li style="color: rgb(0, 0, 0); font-family: Tahoma; font-size:
10pt; line-height: normal;"><span style="font-size: 10pt;">Robert
Rettinger (Hagen)</span></li>
<li style="color: rgb(0, 0, 0); font-family: Tahoma; font-size:
10pt; line-height: normal;"><span style="font-size: 10pt;">Hideki
Tsuiki (Kyoto)</span></li>
<li><font size="2" face="Tahoma">… (tba)</font></li>
</ul>
<p class="MsoNormal" style="color: rgb(0, 0, 0); font-family:
Tahoma; font-size: 10pt; line-height: normal;">
<span
style="font-size:10.0pt;font-family:"Tahoma","sans-serif";mso-fareast-font-family:
"Times
New Roman""><br>
</span></p>
<p class="MsoNormal" style="color: rgb(0, 0, 0); font-family:
Tahoma; font-size: 10pt; line-height: normal;">
<b><span
style="font-size:10.0pt;font-family:"Tahoma","sans-serif";
mso-fareast-font-family:"Times
New Roman"">Tutorial Speakers:</span></b><span
style="font-size:10.0pt;font-family:"Tahoma","sans-serif";mso-fareast-font-family:
"Times
New Roman""> </span></p>
<div style="color: rgb(0, 0, 0); font-family: Tahoma; font-size:
10pt;">
<ul class="MailOutline">
<li><span style="font-size: 10pt;">Andrej Bauer (Ljubljana)</span></li>
<li><span style="font-size: 10pt;">Martin Ziegler (Darmstadt)</span></li>
</ul>
</div>
<p class="MsoNormal" style="color: rgb(0, 0, 0); font-family:
Tahoma; font-size: 10pt; line-height: normal;">
<span
style="font-size:10.0pt;font-family:"Tahoma","sans-serif";mso-fareast-font-family:
"Times
New Roman""><br>
</span></p>
<p class="MsoNormal" style="color: rgb(0, 0, 0); font-family:
Tahoma; font-size: 10pt; line-height: normal;">
<b><span
style="font-size:10.0pt;font-family:"Tahoma","sans-serif";
mso-fareast-font-family:"Times
New Roman"">Abstract submission deadline:</span></b><span
style="font-size:10.0pt;font-family:"Tahoma","sans-serif";mso-fareast-font-family:
"Times
New Roman"">
</span></p>
<p class="MsoNormal" style="color: rgb(0, 0, 0); font-family:
Tahoma; font-size: 10pt; text-align: center; line-height: normal;"
align="center">
<b><span style="font-size:10.0pt;
font-family:"Tahoma","sans-serif";mso-fareast-font-family:"Times
New Roman"">10 June 2014</span></b></p>
<p class="MsoNormal" style="color: rgb(0, 0, 0); font-family:
Tahoma; font-size: 10pt; text-align: center; line-height: normal;"
align="center">
<br>
<b><span style="font-size:10.0pt;
font-family:"Tahoma","sans-serif";mso-fareast-font-family:"Times
New Roman""></span></b><span
style="font-size:10.0pt;font-family:"Tahoma","sans-serif";
mso-fareast-font-family:"Times
New Roman""></span></p>
<p class="MsoNormal" style="color: rgb(0, 0, 0); font-family:
Tahoma; font-size: 10pt; line-height: normal;">
<b><span
style="font-size:10.0pt;font-family:"Tahoma","sans-serif";
mso-fareast-font-family:"Times
New Roman"">Upload your submission via EasyChair</span></b></p>
<p class="MsoNormal" style="color: rgb(0, 0, 0); font-family:
Tahoma; font-size: 10pt; line-height: normal;">
<span
style="font-size:10.0pt;font-family:"Tahoma","sans-serif";
mso-fareast-font-family:"Times
New Roman""><br>
</span></p>
<p class="MsoNormal" style="color: rgb(0, 0, 0); font-family:
Tahoma; font-size: 10pt; text-align: center; line-height: normal;"
align="center">
<span style="mso-fareast-font-family:
"Times New Roman""><a
href="https://www.easychair.org/conferences/?conf=ccc20140"
target="_blank">https://www.easychair.org/conferences/?conf=ccc20140</a></span></p>
<p class="MsoNormal" style="color: rgb(0, 0, 0); font-family:
Tahoma; font-size: 10pt; text-align: center; line-height: normal;"
align="center">
<span style="mso-fareast-font-family:
"Times New Roman""><a
href="https://www.easychair.org/conferences/?conf=ccc20140"
target="_blank"><br>
</a></span></p>
<b style="color: rgb(0, 0, 0); font-family: Tahoma; font-size:
10pt;"><span
style="font-size:10.0pt;font-family:"Tahoma","sans-serif";
mso-fareast-font-family:"Times
New Roman"">Programme Committee:</span></b>
<ul>
<li><span style="font-family: Tahoma, sans-serif; font-size:
10pt;">Andrej Bauer(Ljubljana)</span></li>
<li><span style="font-family: Tahoma, sans-serif; font-size:
10pt;">Willem Fouché (Pretoria)</span></li>
<li><span style="font-size:
10.0pt;font-family:"Tahoma","sans-serif";mso-fareast-font-family:"Times
New Roman"">Hajime Ishihara (Nomi, Ishikawa)</span><span
style="font-size:10.0pt;font-family:Symbol;mso-fareast-font-family:Symbol;
mso-bidi-font-family:Symbol"><span style="mso-list:Ignore"><span
style="font:7.0pt "Times New Roman""></span></span></span></li>
<li><span style="font-size:
10.0pt;font-family:"Tahoma","sans-serif";mso-fareast-font-family:"Times
New Roman"">Margarita Korovina (Novosibirsk)</span></li>
<li><span style="font-size:
10.0pt;font-family:"Tahoma","sans-serif";mso-fareast-font-family:"Times
New Roman""></span><span
style="font-size:10.0pt;font-family:Symbol;mso-fareast-font-family:
Symbol;mso-bidi-font-family:Symbol;mso-ansi-language:DE"
lang="DE"><span style="mso-list:Ignore"><span
style="font:7.0pt "Times New Roman""></span></span></span><span
style="font-size:10.0pt;font-family:"Tahoma","sans-serif";mso-fareast-font-family:
"Times
New Roman";mso-ansi-language:DE" lang="DE">Davorin Lesnik
(Darmstadt)</span><span
style="font-size:10.0pt;font-family:Symbol;mso-fareast-font-family:
Symbol;mso-bidi-font-family:Symbol;mso-ansi-language:DE"
lang="DE"><span style="mso-list:Ignore"><span
style="font:7.0pt "Times New Roman""></span></span></span></li>
<li><span
style="font-size:10.0pt;font-family:"Tahoma","sans-serif";mso-fareast-font-family:
"Times
New Roman";mso-ansi-language:DE" lang="DE">Norbert
Mueller (Trier)</span><span style="font-size:
10.0pt;font-family:"Tahoma","sans-serif";mso-fareast-font-family:"Times
New Roman""></span></li>
<li><span style="font-size:
10.0pt;font-family:"Tahoma","sans-serif";mso-fareast-font-family:"Times
New Roman"">Robert Rettinger (Hagen)</span><span
style="font-size:10.0pt;font-family:"Tahoma","sans-serif";
mso-fareast-font-family:"Times
New Roman";mso-ansi-language:DE" lang="DE"></span><span
style="font-size:10.0pt;font-family:Symbol;mso-fareast-font-family:
Symbol;mso-bidi-font-family:Symbol;mso-ansi-language:DE"
lang="DE"><span style="mso-list:Ignore"></span></span></li>
<li><span
style="font-size:10.0pt;font-family:Symbol;mso-fareast-font-family:
Symbol;mso-bidi-font-family:Symbol;mso-ansi-language:DE"
lang="DE"><span style="mso-list:Ignore"><span
style="font:7.0pt "Times New Roman""></span></span></span><span
style="font-size:10.0pt;font-family:"Tahoma","sans-serif";mso-fareast-font-family:
"Times
New Roman";mso-ansi-language:DE" lang="DE">Monika
Seisenberger (Swansea)</span><span
style="font-size:10.0pt;font-family:Symbol;mso-fareast-font-family:
Symbol;mso-bidi-font-family:Symbol;mso-ansi-language:DE"
lang="DE"><span style="mso-list:Ignore"></span></span></li>
<li><span
style="font-size:10.0pt;font-family:"Tahoma","sans-serif";mso-fareast-font-family:
"Times
New Roman";mso-ansi-language:DE" lang="DE">Dieter Spreen
(Siegen and Pretoria) (chair)</span></li>
<li>Martin Ziegler (Darmstadt).<br>
</li>
</ul>
<span
style="font-size:10.0pt;font-family:"Tahoma","sans-serif";mso-fareast-font-family:
"Times
New Roman";mso-ansi-language:DE" lang="DE"></span>
<p class="MsoListParagraphCxSpLast"
style="mso-margin-top-alt:auto;mso-margin-bottom-alt:
auto;mso-add-space:auto;text-indent:-.25in;line-height:normal;mso-list:l1
level1 lfo2">
<span
style="font-size:10.0pt;font-family:"Tahoma","sans-serif";mso-fareast-font-family:
"Times
New Roman";mso-ansi-language:DE" lang="DE"><br>
</span></p>
<p class="MsoNormal"
style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;
line-height:normal">
<b><span
style="font-size:10.0pt;font-family:"Tahoma","sans-serif";
mso-fareast-font-family:"Times
New Roman"">Organizing Committee:</span></b></p>
<ul>
<li><span
style="font-size:10.0pt;font-family:"Tahoma","sans-serif";
mso-fareast-font-family:"Times
New Roman""> Andrej Bauer (Ljubljana)</span></li>
</ul>
</body>
</html>