<html>
<head>
<meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<div style="word-wrap: break-word; -webkit-nbsp-mode: space;
-webkit-line-break: after-white-space;" class="">
<div class=""><br class="">
</div>
<div class="">
<div class="" style="font-size: 13.333333015441895px;
font-family: Tahoma; margin-top: 0px; margin-bottom: 0px;
text-align: center; line-height: normal;"><b class=""><span
class="" style="font-size: 10pt; font-family: Tahoma,
sans-serif;">Continuity, Computability, Constructivity –
From Logic to Algorithms</span></b></div>
<div class="" style="font-size: 13.333333015441895px;
font-family: Tahoma; margin-top: 0px; margin-bottom: 0px;
text-align: center; line-height: normal;"><b class=""><span
class="" style="font-size: 10pt; font-family: Tahoma,
sans-serif;"> (CCC 2017)</span></b><span class=""
style="font-size: 10pt; font-family: Tahoma, sans-serif;"></span></div>
<div class="" style="font-size: 13.333333015441895px;
font-family: Tahoma; margin-top: 0px; margin-bottom: 0px;
text-align: center; line-height: normal;"><b class=""><span
class="" style="font-size: 10pt; font-family: Tahoma,
sans-serif;"><span class=""> Loria</span>, 26-30 June 2017</span></b></div>
<div class="" style="font-size: 13.333333015441895px;
font-family: Tahoma; margin-top: 0px; margin-bottom: 0px;
text-align: center; line-height: normal;"><b class=""><span
class="" style="font-size: 10pt; font-family: Tahoma,
sans-serif;">Call for papers</span></b><span class=""
style="font-size: 10pt; font-family: Tahoma, sans-serif;"></span></div>
<div class="" style="font-size: 13.333333015441895px;
font-family: Tahoma; margin-top: 0px; margin-bottom: 0px;
text-align: center; line-height: normal;"><span
style="font-family: 'times new roman', 'new york', times,
serif; font-size: 16px; text-align: start;" class=""> </span><a
href="http://ccc2017.loria.fr/" style="font-family: 'times
new roman', 'new york', times, serif; font-size: 16px;
text-align: start;" class="">http://ccc2017.loria.fr/</a></div>
<div class="" style="font-size: 13.333333015441895px;
font-family: Tahoma; margin-top: 0px; margin-bottom: 0px;
text-align: center; line-height: normal;"><br class="">
<span class="" style="font-size: 12pt; font-family: 'Times New
Roman', serif;"></span><span class="" style="font-size:
10pt; font-family: Tahoma, sans-serif;"></span></div>
<div class="" style="font-size: 13.333333015441895px;
font-family: Tahoma; margin-top: 0px; margin-bottom: 0px;
line-height: normal;"><span class="" style="font-size: 10pt;
font-family: Tahoma, sans-serif;">CCC is a workshop series
bringing together researchers from </span><span class=""
style="font-size: 10pt; font-family: Tahoma, sans-serif;">exact
real number computation, computable analysis, effective
descriptive set theory, constructive analysis, and related
areas. The overall aim is to apply logical methods in these
disciplines to provide a sound foundation for obtaining
exact and provably correct</span><span class=""
style="font-size: 12pt; font-family: 'Times New Roman',
serif;"> </span><span class="" style="font-size: 10pt;
font-family: Tahoma, sans-serif;">algorithms for
computations with real numbers and related analytical data,
which are of increasing importance in safety critical
applications and scientific computation.</span></div>
<div class="" style="font-size: 13.333333015441895px;
font-family: Tahoma; margin-top: 0px; margin-bottom: 0px;
line-height: normal;"><span class="" style="font-size: 10pt;
font-family: Tahoma, sans-serif;"><br class="">
</span></div>
<div class="" style="font-size: 13.333333015441895px;
font-family: Tahoma; margin-top: 0px; margin-bottom: 0px;
line-height: normal;"><span class="" style="font-size: 10pt;
font-family: Tahoma, sans-serif;">Previous workshops have
been held in Cologne 2009, Trier 2012, Gregynog 2013,
Ljubljana 2014, and Kochel 2015. The conference series has
always been linked with EU-funded international research
projects, with COMPUTAL (Computable Analysis) in the years
2012-2015 and now with CID (Computing with Infinite Data), a
research network between Europe, Chile, Japan, New Zealand,
Russia, Singapore, South Africa, South Korea, and the USA. </span><span
class="" style="font-family: Tahoma, sans-serif; font-size:
10pt;">This conference is the first CID event, but is open
to all researchers in the area. </span></div>
<div class="" style="font-size: 13.333333015441895px;
font-family: Tahoma; margin-top: 0px; margin-bottom: 0px;
line-height: normal;"><span class="" style="font-size: 10pt;
font-family: Tahoma, sans-serif;"><br class="">
</span></div>
<div class="" style="font-size: 13.333333015441895px;
font-family: Tahoma; margin-top: 0px; margin-bottom: 0px;
line-height: normal;"><span class="" style="font-size: 10pt;
font-family: Tahoma, sans-serif;">The workshop will take
place in Nancy, France.</span></div>
<div class="" style="font-size: 13.333333015441895px;
font-family: Tahoma; margin-top: 0px; margin-bottom: 0px;
line-height: normal;"><span class="" style="font-size: 10pt;
font-family: Tahoma, sans-serif;"><br class="">
</span></div>
<div class="" style="font-size: 13.333333015441895px;
font-family: Tahoma; margin-top: 0px; margin-bottom: 0px;
line-height: normal;"><b class=""><span class=""
style="font-size: 10pt; font-family: Tahoma, sans-serif;">Scope: </span></b><span
class="" style="font-size: 10pt; font-family: Tahoma,
sans-serif;">The workshop specifically invites contributions
in the areas of</span></div>
<ul class="" style="font-size: 13.333333015441895px;">
<li class="" style="font-family: Tahoma;"><span class=""
style="font-size: 10pt; font-family: Tahoma, sans-serif;"></span><span
class="" style="font-size: 10pt; font-family: Tahoma,
sans-serif;">Exact real number computation,</span><span
class="" style="font-size: 7pt; line-height: normal;
font-family: 'Times New Roman';"></span><span class=""
style="font-size: 10pt; font-family: Tahoma, sans-serif;"></span></li>
<li class=""><font class="" face="Tahoma, sans-serif">Correctness
of algorithms on infinite data,</font></li>
<li class="" style="font-family: Tahoma;"><span class=""
style="font-size: 10pt; font-family: Tahoma, sans-serif;">Computable
analysis,</span><span class="" style="font-size: 10pt;
font-family: Symbol;"></span></li>
<li class="" style="font-family: Tahoma;"><span class=""
style="font-size: 10pt; font-family: Tahoma, sans-serif;">Complexity
of real numbers, real-valued functions, etc.</span></li>
<li class=""><font class="" face="Tahoma, sans-serif">Effective
descriptive set theory</font></li>
<li class="" style="font-family: Tahoma;"><span class=""
style="font-size: 10pt; font-family: Tahoma, sans-serif;">Scott's
domain theory,</span></li>
<li class="" style="font-family: Tahoma;"><span class=""
style="font-size: 10pt; font-family: Tahoma, sans-serif;"></span>Constructive
analysis,<span class="" style="font-size: 10pt; font-family:
Tahoma, sans-serif;"></span></li>
<li class="" style="font-family: Tahoma;"><span class=""
style="font-size: 10pt; font-family: Tahoma, sans-serif;">Category-theoretic
approaches to computation on infinite data,</span></li>
<li class="" style="font-family: Tahoma;"><span class=""
style="font-size: 10pt; font-family: Tahoma, sans-serif;">Weihrauch
degrees,</span><span class="" style="font-size: 10pt;
font-family: Symbol;"><span class=""></span></span></li>
<li class="" style="font-family: Tahoma;">And related areas. </li>
</ul>
<font class="" size="2"><span class="" style="font-size: 10pt;
font-family: Tahoma, sans-serif;"></span></font>
<div class="" style="font-size: 13.333333015441895px;
font-family: Tahoma; margin-top: 0px; margin-bottom: 0px;
text-indent: -0.25in; line-height: normal;"><span class=""
style="font-size: 10pt; font-family: Tahoma, sans-serif;"><br
class="">
</span></div>
<div class="" style="font-size: 10pt; font-family: Tahoma;
margin-top: 0px; margin-bottom: 0px;"><b class=""><span
class="" style="font-size: 10pt; font-family: Tahoma,
sans-serif;">Invited Speakers:</span></b><span class=""
style="font-size: 10pt; font-family: Tahoma, sans-serif;"> <br
class="">
</span></div>
<div class="" style="font-size: 10pt; font-family: Tahoma;
margin-top: 0px; margin-bottom: 0px;"><span class=""
style="font-size: 10pt; font-family: Tahoma, sans-serif;"><br
class="">
</span></div>
<ul class="MailOutline">
<li class="" style="font-family: Tahoma; font-size: 10pt;"><span
class="" style="font-family: Tahoma, sans-serif;
font-size: 10pt;">Matthew de Brecht (Kyoto, Japan)</span></li>
<li class="" style="font-family: Tahoma; font-size: 10pt;"><span
class="" style="font-size: 10pt;">Bernhard Reus (Brighton,
UK)</span></li>
<li class="" style="font-family: Tahoma; font-size: 10pt;"><span
class="" style="font-size: 10pt;">Matthias Schröder
(Darmstadt, Germany)</span></li>
<li class="" style="font-family: Tahoma; font-size: 10pt;"><span
class="" style="font-size: 10pt;">Alex Simpson (Ljubljana,
Slovenia)</span></li>
</ul>
<div class="" style="font-size: 13.333333015441895px;
font-family: Tahoma;"><br class="">
</div>
<div class="" style="font-size: 13.333333015441895px;
font-family: Tahoma; margin-top: 0px; margin-bottom: 0px;
line-height: normal;"><b class="" style="font-size: 10pt;"><span
class="" style="font-size: 10pt; font-family: Tahoma,
sans-serif;"><br class="">
</span></b></div>
<div class="" style="font-size: 13.333333015441895px;
font-family: Tahoma; margin-top: 0px; margin-bottom: 0px;
line-height: normal;"><b class="" style="font-size: 10pt;"><span
class="" style="font-size: 10pt; font-family: Tahoma,
sans-serif;">Submission:</span></b></div>
<div class="" style="font-size: 13.333333015441895px;
font-family: Tahoma; margin-top: 0px; margin-bottom: 0px;
line-height: normal;"><b class="" style="font-size: 10pt;"><span
class="" style="font-size: 10pt; font-family: Tahoma,
sans-serif;"><br class="">
</span></b></div>
<div class="" style="font-size: 13.333333015441895px;
font-family: Tahoma; margin-top: 0px; margin-bottom: 0px;
line-height: normal;"><span class="" style="font-size: 10pt;"><span
class="" style="font-size: 10pt; font-family: Tahoma,
sans-serif;">Extended abstracts (1-2 pages) of original
work are welcome.</span></span></div>
<div class="" style="font-size: 13.333333015441895px;
font-family: Tahoma; margin-top: 0px; margin-bottom: 0px;
line-height: normal;"><b class="" style="font-size: 10pt;"><span
class="" style="font-size: 10pt; font-family: Tahoma,
sans-serif;"><br class="">
</span></b></div>
<div class="" style="font-size: 13.333333015441895px;
font-family: Tahoma; margin-top: 0px; margin-bottom: 0px;
line-height: normal;"><b class="" style="font-size: 10pt;"><span
class="" style="font-size: 10pt; font-family: Tahoma,
sans-serif;"> </span></b></div>
<div class="" style="font-size: 13.333333015441895px;
font-family: Tahoma; margin-top: 0px; margin-bottom: 0px;
line-height: normal;"><b class="" style="font-size: 10pt;"><span
class="" style="font-size: 10pt; font-family: Tahoma,
sans-serif;">Extended Deadline:</span></b></div>
<div class="" style="font-size: 13.333333015441895px;
font-family: Tahoma; margin-top: 0px; margin-bottom: 0px;
line-height: normal;"><span class="" style="font-size: 10pt;
font-family: Tahoma, sans-serif;"></span></div>
<div class="" style="font-size: 13.333333015441895px;
font-family: Tahoma; margin-top: 0px; margin-bottom: 0px;
text-align: center; line-height: normal;"><b class=""><span
class="" style="font-size: 10pt; font-family: Tahoma,
sans-serif;">10 May 2017</span></b></div>
<div class="" style="font-size: 13.333333015441895px;
font-family: Tahoma; margin-top: 0px; margin-bottom: 0px;
text-align: center; line-height: normal;"><br class="">
<b class=""><span class="" style="font-size: 10pt;
font-family: Tahoma, sans-serif;"></span></b><span
class="" style="font-size: 10pt; font-family: Tahoma,
sans-serif;"></span></div>
<div class="" style="font-size: 13.333333015441895px;
font-family: Tahoma; margin-top: 0px; margin-bottom: 0px;
line-height: normal;"><b class=""><span class=""
style="font-size: 10pt; font-family: Tahoma, sans-serif;">Upload
your submission via EasyChair:</span></b></div>
<div class="" style="font-size: 13.333333015441895px;
font-family: Tahoma; margin-top: 0px; margin-bottom: 0px;
line-height: normal;"><span class="" style="font-size: 10pt;
font-family: Tahoma, sans-serif;"><br class="">
</span></div>
<div class="" style="font-size: 13.333333015441895px;
font-family: Tahoma; margin-top: 0px; margin-bottom: 0px;
text-align: center; line-height: normal;"><a
href="https://easychair.org/conferences/?conf=ccc20170"
style="font-family: Helvetica; font-size: 12px; text-align:
start;" class="">https://easychair.org/conferences/?conf=ccc20170</a></div>
<div class="" style="font-size: 13.333333015441895px;
font-family: Tahoma; margin-top: 0px; margin-bottom: 0px;
text-align: center; line-height: normal;"><br class="">
</div>
<div class="" style="font-size: 13.333333015441895px;
font-family: Tahoma; margin-top: 0px; margin-bottom: 0px;
text-align: center; line-height: normal;"><br class="">
</div>
<b class="" style="font-size: 13.333333015441895px; font-family:
Tahoma;"><span class="" style="font-size: 10pt; font-family:
Tahoma, sans-serif;">Programme Committee:</span></b>
<ul class="" style="font-size: 13.333333015441895px;
font-family: Tahoma;">
<li class=""><span class="" style="font-size: 10pt;
font-family: Tahoma, sans-serif;">Ulrich Berger (Swansea)</span><span
class="" style="font-size: 10pt; font-family: Tahoma,
sans-serif;"></span></li>
<li class=""><span class="" style="font-size: 10pt;
font-family: Tahoma, sans-serif;">Pieter Collins
(Maastricht)</span></li>
<li class=""><span class="" style="font-size: 10pt;
font-family: Tahoma, sans-serif;">Mathieu Hoyrup (Nancy)
(co-chair)</span></li>
<li class=""><span class="" style="font-size: 10pt;
font-family: Tahoma, sans-serif;">Erik Palmgren
(Stockholm)</span></li>
<li class=""><span class="" style="font-size: 10pt;
font-family: Tahoma, sans-serif;"></span><span class=""
style="font-size: 10pt; font-family: Tahoma, sans-serif;"
lang="DE">Victor Selivanov (Novosibirsk)</span><span
class="" style="font-size: 10pt; font-family: Symbol;"
lang="DE"><span class=""><span class="" style="font-size:
7pt; line-height: normal; font-family: 'Times New
Roman';"></span></span></span></li>
<li class=""><span class="" style="font-size: 10pt;
font-family: Tahoma, sans-serif;" lang="DE">Dieter Spreen
(Siegen) (co-chair)</span></li>
<li class="">Martin Ziegler (Daejeon).<br class="">
</li>
</ul>
<font class="" size="2"><span class="" style="font-size: 10pt;
font-family: Tahoma, sans-serif;" lang="DE"></span></font>
<div class="" style="font-size: 13.333333015441895px;
font-family: Tahoma; margin-top: 0px; margin-bottom: 0px;
text-indent: -0.25in; line-height: normal;"><span class=""
style="font-size: 10pt; font-family: Tahoma, sans-serif;"
lang="DE"><br class="">
</span></div>
<div class="" style="font-size: 13.333333015441895px;
font-family: Tahoma; margin-top: 0px; margin-bottom: 0px;
line-height: normal;"><b class=""><span class=""
style="font-size: 10pt; font-family: Tahoma, sans-serif;">Organizing
Committee:</span></b></div>
<ul class="" style="font-size: 13.333333015441895px;
font-family: Tahoma;">
<li class=""><span class="" style="font-size: 10pt;
font-family: Tahoma, sans-serif;"> Anne-Lise Charbonnier
(Nancy)</span></li>
<li class=""><span class="" style="font-size: 10pt;
font-family: Tahoma, sans-serif;"> Mathieu Hoyrup (Nancy)</span></li>
</ul>
</div>
</div>
</body>
</html>