<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=ISO-2022-JP">
</head>
<body bgcolor="#FFFFFF" text="#000000">
[Please circulate. My apologies for cross posting.]<br>
皆様,<br>
TLCA(Typed Lambda Calculi and Applications) と RTA(Rewriting
Techniques and Applications) の<br>
Satellite workshop(COS'13) がEindhovenで開催されます.皆様のご参加・瘢雹投稿をお待ちしております.<br>
群馬大学 藤田憲悦<br>
------------------------------------------------------------------------------------------------------------------------------------<br>
<br>
<div class="moz-text-html" lang="x-western">
<div><font class="Apple-style-span" face="'Courier New'">This is
the COS'13 cfp with some changes of dates.</font></div>
<div><font class="Apple-style-span" face="'Courier New'">While
keeping <b>the deadline of submissions on April the 6th</b>,
we do not require</font></div>
<div><font class="Apple-style-span" face="'Courier New'">previous
abstract submission, and postpone to April the 15th the
deadline for</font></div>
<div><font class="Apple-style-span" face="'Courier New'">contributed
talks only (called EXTENDED ABSTRACTS below):</font></div>
<div><font class="Apple-style-span" face="'Courier New'"><br>
</font></div>
<div><font class="Apple-style-span" face="'Courier New'">
<div style="font-family: Helvetica; "><font
class="Apple-style-span" face="'Courier New'">Submission:
April, 6 2013 (<b>no previous abstract
submission required</b>)</font></div>
<div style="font-family: Helvetica; "><font
class="Apple-style-span" face="'Courier New'">Extended
abstract: April, 15 2013 (<b>new</b>)</font></div>
<div style="font-family: Helvetica; "><font
class="Apple-style-span" face="'Courier New'">Notification:
April, 29 2013 (changed)</font></div>
<div style="font-family: Helvetica; "><font
class="Apple-style-span" face="'Courier New'">Final
version: May, 15 2013 (changed)</font></div>
<div style="font-family: Helvetica; "><font
class="Apple-style-span" face="'Courier New'">Workshop:
June, 24-25 2013</font></div>
</font></div>
<div><font class="Apple-style-span" face="'Courier New'"><br>
</font></div>
<div><font class="Apple-style-span" face="'Courier New'"><br>
</font></div>
<div><font class="Apple-style-span" face="'Courier New'">============================================================================</font></div>
<div><font class="Apple-style-span" face="'Courier New'"><br>
</font></div>
<div><font class="Apple-style-span" face="'Courier New'">
Control Operators and their Semantics (COS'13) - Call for
Papers</font></div>
<div><font class="Apple-style-span" face="'Courier New'"><br>
</font></div>
<div><font class="Apple-style-span" face="'Courier New'">
Satellite event of RDP'13</font></div>
<div><font class="Apple-style-span" face="'Courier New'"><br>
</font></div>
<div><font class="Apple-style-span" face="'Courier New'">
June 24 - 25, 2013, Eindhoven, The Nederlands</font></div>
<div><font class="Apple-style-span" face="'Courier New'"><br>
</font></div>
<div><font class="Apple-style-span" face="'Courier New'">
<a href="http://cos2013.di.unito.it/">http://cos2013.di.unito.it/</a></font></div>
<div><font class="Apple-style-span" face="'Courier New'"><br>
</font></div>
<div><font class="Apple-style-span" face="'Courier New'">
(modified on April, 25th)</font></div>
<div><font class="Apple-style-span" face="'Courier New'">============================================================================</font></div>
<div><font class="Apple-style-span" face="'Courier New'"><br>
</font></div>
<div><font class="Apple-style-span" face="'Courier New'"><br>
</font></div>
<div><font class="Apple-style-span" face="'Courier New'">Modern
programming languages provide sophisticated control
mechanisms, commonly</font></div>
<div><font class="Apple-style-span" face="'Courier New'">referred
to as control operators which are widely used to realize a
variety of</font></div>
<div><font class="Apple-style-span" face="'Courier New'">applications.
Since we cannot escape control features, it becomes a
challenge</font></div>
<div><font class="Apple-style-span" face="'Courier New'">to
provide them with sound reasoning principles. There is a very
active research</font></div>
<div><font class="Apple-style-span" face="'Courier New'">on
understanding, manipulating, representing, and reasoning about
elaborated</font></div>
<div><font class="Apple-style-span" face="'Courier New'">non-local
control structures, in particular in declarative programming
languages</font></div>
<div><font class="Apple-style-span" face="'Courier New'">such as
functional and logic languages. Ideas and results originating
from this</font></div>
<div><font class="Apple-style-span" face="'Courier New'">research
area have impact in many other areas of computer science, like
distributed</font></div>
<div><font class="Apple-style-span" face="'Courier New'">and
concurrent systems, proof theory, proof mining, web
programming and linguistics.</font></div>
<div><font class="Apple-style-span" face="'Courier New'">For
instance, the study of the logical foundations of control
operators renewed the</font></div>
<div><font class="Apple-style-span" face="'Courier New'">study of
the connections between proofs and programs via the so-called
Curry-Howard</font></div>
<div><font class="Apple-style-span" face="'Courier New'">correspondence,
providing new methods to extract the computational content of</font></div>
<div><font class="Apple-style-span" face="'Courier New'">classical
proofs.</font></div>
<div><font class="Apple-style-span" face="'Courier New'"><br>
</font></div>
<div><font class="Apple-style-span" face="'Courier New'">The focus
of the workshop is on the interplay between syntax and
semantics, namely</font></div>
<div><font class="Apple-style-span" face="'Courier New'">the
central question of what a program means and how it does
define the intended</font></div>
<div><font class="Apple-style-span" face="'Courier New'">procedure.</font></div>
<div><font class="Apple-style-span" face="'Courier New'"><br>
</font></div>
<div><font class="Apple-style-span" face="'Courier New'">This is a
crucial issue especially in the case of control operators,
since they are</font></div>
<div><font class="Apple-style-span" face="'Courier New'">as
powerful as potentially obscure, and programs that use them
are usually more error</font></div>
<div><font class="Apple-style-span" face="'Courier New'">prone
than purely declarative ones.</font></div>
<div><font class="Apple-style-span" face="'Courier New'">The issue
of a better understanding of control is also relevant for
communicating</font></div>
<div><font class="Apple-style-span" face="'Courier New'">across
different research areas and communities. More abstract views
can be achieved</font></div>
<div><font class="Apple-style-span" face="'Courier New'">via
several means, that include operational semantics of formal
calculi, abstract</font></div>
<div><font class="Apple-style-span" face="'Courier New'">machines,
algebraic specifications and rewriting, type assignment
systems, denotational</font></div>
<div><font class="Apple-style-span" face="'Courier New'">semantics
and game semantics, category theory and logic, to say the
least.</font></div>
<div><font class="Apple-style-span" face="'Courier New'"><br>
</font></div>
<div><font class="Apple-style-span" face="'Courier New'">Relevant
topics include, but are not limited to:</font></div>
<div><font class="Apple-style-span" face="'Courier New'"><br>
</font></div>
<div><font class="Apple-style-span" face="'Courier New'">-
continuations and delimited continuations</font></div>
<div><font class="Apple-style-span" face="'Courier New'">-
categorical models of continuations</font></div>
<div><font class="Apple-style-span" face="'Courier New'">-
compositionality and modularity of control operators</font></div>
<div><font class="Apple-style-span" face="'Courier New'">-
denotational semantics of control, event structures and
causality</font></div>
<div><font class="Apple-style-span" face="'Courier New'">-
operational semantics and abstract machines</font></div>
<div><font class="Apple-style-span" face="'Courier New'">- type
systems for control operators</font></div>
<div><font class="Apple-style-span" face="'Courier New'">- game
semantics of programming languages and of logical proofs</font></div>
<div><font class="Apple-style-span" face="'Courier New'">- usage
of control operators in proof search and proof mining</font></div>
<div><font class="Apple-style-span" face="'Courier New'">-
semantics of control operators in logic programming</font></div>
<div><font class="Apple-style-span" face="'Courier New'"><br>
</font></div>
<div><font class="Apple-style-span" face="'Courier New'">Invited
speakers:</font></div>
<div><font class="Apple-style-span" face="'Courier New'">- Mattew
Flatt (Univeristy of Utah)</font></div>
<div><font class="Apple-style-span" face="'Courier New'">- Thomas
Streicher (Universitaet Darmstadt)</font></div>
<div><font class="Apple-style-span" face="'Courier New'"><br>
</font></div>
<div><font class="Apple-style-span" face="'Courier New'"><br>
</font></div>
<div><font class="Apple-style-span" face="'Courier New'">Program
Committee:</font></div>
<div><font class="Apple-style-span" face="'Courier New'"><br>
</font></div>
<div><font class="Apple-style-span" face="'Courier New'">Zena
Ariola University of Oregon</font></div>
<div><font class="Apple-style-span" face="'Courier New'">Stefano
Berardi Turin University</font></div>
<div><font class="Apple-style-span" face="'Courier New'">Hugo
Herbelin INRIA and Laboratoire PPS (Paris 7)</font></div>
<div><font class="Apple-style-span" face="'Courier New'">Ugo
de'Liguoro (chair) Turin Univerisity</font></div>
<div><font class="Apple-style-span" face="'Courier New'">Ken-etsu
Fujita Gunma University</font></div>
<div><font class="Apple-style-span" face="'Courier New'">Koji
Nakazawa Kyoto University</font></div>
<div><font class="Apple-style-span" face="'Courier New'">Alexis
Saurin (co-chair) INRIA and Laboratoire PPS (Paris 7)</font></div>
<div><font class="Apple-style-span" face="'Courier New'"><br>
</font></div>
<div><font class="Apple-style-span" face="'Courier New'"><br>
</font></div>
<div><font class="Apple-style-span" face="'Courier New'">Submission:
authors of original works on the topic of the workshop</font></div>
<div><font class="Apple-style-span" face="'Courier New'">are
invited to submit either a FULL PAPER of up to 20 pages, which</font></div>
<div><font class="Apple-style-span" face="'Courier New'">has to be
unpublished nor submitted elsewhere, or an EXTENDED ABSTRACT</font></div>
<div><font class="Apple-style-span" face="'Courier New'">of up to
5 pages (to which previous restrictions do not apply)</font></div>
<div><font class="Apple-style-span" face="'Courier New'">for short
presentation at the workshop.</font></div>
<div><font class="Apple-style-span" face="'Courier New'">Only
accepted full papers will appear in the proceedings; the PC
might</font></div>
<div><font class="Apple-style-span" face="'Courier New'">decide,
on the ground of referees reports, that a full paper
submission</font></div>
<div><font class="Apple-style-span" face="'Courier New'">is
accepted as extended abstract instead.</font></div>
<div><font class="Apple-style-span" face="'Courier New'"><br>
</font></div>
<div><font class="Apple-style-span" face="'Courier New'">Submission
consists of a LaTex generated pdf file, prepared using EPTCS</font></div>
<div><font class="Apple-style-span" face="'Courier New'">macro
package, available from: <a href="http://info.eptcs.org/">http://info.eptcs.org/</a></font></div>
<div><font class="Apple-style-span" face="'Courier New'">Authors
of extended abstracts must add: "Extended Abstract" to the
title.</font></div>
<div><font class="Apple-style-span" face="'Courier New'">The PC</font></div>
<div><font class="Apple-style-span" face="'Courier New'"><br>
</font></div>
<div><font class="Apple-style-span" face="'Courier New'">Submissions
are via EasyChair COS2013 site:</font></div>
<div><font class="Apple-style-span" face="'Courier New'"><br>
</font></div>
<div><font class="Apple-style-span" face="'Courier New'"><a
href="https://www.easychair.org/conferences/?conf=cos2013">https://www.easychair.org/conferences/?conf=cos2013</a></font></div>
<div><font class="Apple-style-span" face="'Courier New'"><br>
</font></div>
<div><font class="Apple-style-span" face="'Courier New'"><br>
</font></div>
<div><font class="Apple-style-span" face="'Courier New'">Important
Dates:</font></div>
<div><font class="Apple-style-span" face="'Courier New'"><br>
</font></div>
<div><font class="Apple-style-span" face="'Courier New'">Submission:
April, 6 2013 (no previous abstract
submission required)</font></div>
<div><font class="Apple-style-span" face="'Courier New'">Extended
abstract: April, 15 2013 (new)</font></div>
<div><font class="Apple-style-span" face="'Courier New'">Notification:
April, 29 2013 (changed)</font></div>
<div><font class="Apple-style-span" face="'Courier New'">Final
version: May, 15 2013 (changed)</font></div>
<div><font class="Apple-style-span" face="'Courier New'">Workshop:
June, 24-25 2013</font></div>
<div><font class="Apple-style-span" face="'Courier New'"><br>
</font></div>
<div><font class="Apple-style-span" face="'Courier New'"><br>
</font></div>
<div><font class="Apple-style-span" face="'Courier New'">Contact:</font></div>
<div><font class="Apple-style-span" face="'Courier New'"><br>
</font></div>
<div><font class="Apple-style-span" face="'Courier New'">Ugo
de'Liguoro</font></div>
<div><font class="Apple-style-span" face="'Courier New'">Dipartimento
di Informatica,</font></div>
<div><font class="Apple-style-span" face="'Courier New'">Universita'
di Torino,</font></div>
<div><font class="Apple-style-span" face="'Courier New'">Corso
Svizzera 185, 10149 Torino, Italy</font></div>
<div><font class="Apple-style-span" face="'Courier New'">email: <a
href="mailto:deliguoro@di.unito.it">deliguoro@di.unito.it</a></font></div>
<div><font class="Apple-style-span" face="'Courier New'"><br>
</font></div>
<div><font class="Apple-style-span" face="'Courier New'"><br>
</font></div>
<div><font class="Apple-style-span" face="'Courier New'">Web
sites:</font></div>
<div><font class="Apple-style-span" face="'Courier New'"><br>
</font></div>
<div><font class="Apple-style-span" face="'Courier New'">COS'13: <a
href="http://cos2013.di.unito.it/">http://cos2013.di.unito.it</a></font></div>
<div><font class="Apple-style-span" face="'Courier New'">RTD'13: <a
href="http://www.win.tue.nl/rdp2013/">http://www.win.tue.nl/rdp2013/</a><br>
<br>
------------------------------------------------------------------------------------------------<br>
<br>
</font></div>
</div>
<br>
</body>
</html>