From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 1B0247FADB for ; Tue, 4 Nov 2014 14:21:48 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of deligu@di.unito.it) identity=pra; client-ip=130.192.156.1; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="deligu@di.unito.it"; x-sender="deligu@di.unito.it"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of deligu@di.unito.it designates 130.192.156.1 as permitted sender) identity=mailfrom; client-ip=130.192.156.1; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="deligu@di.unito.it"; x-sender="deligu@di.unito.it"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail.di.unito.it) identity=helo; client-ip=130.192.156.1; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="deligu@di.unito.it"; x-sender="postmaster@mail.di.unito.it"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvcBACHSWFSCwJwBmWdsb2JhbABcgkiBGliDBstPAQmJBQEBAQEBEQEBAQEBCAsLBxQuhCYGHQEBJhACDQsjEwMLAgsDAgECAQlPCAEBiD0NmjGbZ3iFBAEFkE8GBJA0BIMRDzISgUKSJYRPiQaWKIIyawGBBYFFAQEB X-IPAS-Result: AvcBACHSWFSCwJwBmWdsb2JhbABcgkiBGliDBstPAQmJBQEBAQEBEQEBAQEBCAsLBxQuhCYGHQEBJhACDQsjEwMLAgsDAgECAQlPCAEBiD0NmjGbZ3iFBAEFkE8GBJA0BIMRDzISgUKSJYRPiQaWKIIyawGBBYFFAQEB X-IronPort-AV: E=Sophos;i="5.07,313,1413237600"; d="scan'208,217";a="104674551" Received: from pianeta.di.unito.it (HELO mail.di.unito.it) ([130.192.156.1]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 04 Nov 2014 14:21:47 +0100 X-MailScanner-From: deligu@di.unito.it X-SpamCheck: not spam, SpamAssassin (not cached, score=-101.619, required 3, autolearn=not spam, AUTHENTICATEDUSER -100.00, AWL 0.79, BAYES_00 -1.90, HTML_MESSAGE 0.00, MISSING_FROM 1.00, RCVD_IN_DNSWL_MED -2.30, RDNS_NONE 0.79, SPF_PASS -0.00) X-AntiVirus: Email Clean X-dipinfo-MailScanner-ID: sA4DLdg9023133 X-dipinfo-MailScanner-Information: Please contact Department of Computer Science technical staff for more information Received: from mail.di.unito.it ([130.192.156.1]) by mail.di.unito.it (INFO-DIP) with ESMTP id sA4DLdg9023133 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES128-SHA bits=128 verify=NO AuthenticatedUser=deligu ) for ; Tue, 4 Nov 2014 14:21:40 +0100 (CET) DKIM-Filter: OpenDKIM Filter v2.8.0 mail.di.unito.it sA4DLdg9023133 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=di.unito.it; s=dipinfo2011; t=1415107300; bh=RGAC+k3/A+25HnCDus/rrmb/O6MDm90IjESF1BwkmQc=; h=Date:From:To:Subject; b=sTS6DM+2U+nSo/4+ZkvlT8U9gnXmToZkG00KkH7TUkO10hnhWhFeyXBSkfRMYu1Wd 7AMMO/UEyC2xp0ivYiXQV6cTSNYcOOcIzDBtHHsOooxsoFtzFq6cquVlDfRmKy1f2G JQNveq3LZcnbOWo7M3LDXuQIQlHtZiNO/qf6ZXgQ= Message-ID: <5458D2E3.1030100@di.unito.it> Date: Tue, 04 Nov 2014 14:21:39 +0100 From: "Ugo de' Liguoro" User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.6; rv:31.0) Gecko/20100101 Thunderbird/31.2.0 MIME-Version: 1.0 To: caml-list@inria.fr Content-Type: multipart/alternative; boundary="------------020304010507040105020803" X-Validation-by: deligu@di.unito.it Subject: [Caml-list] CFP: Workshop on Continuations - WoC'15 This is a multi-part message in MIME format. --------------020304010507040105020803 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit CALL FOR PAPERS WoC'15 Workshop on Continuations 12th April 2015, London, UK Affiliated to ETAPS http://woc2015.di.unito.it/ The notion of continuation is ubiquitous in many different areas of computer science, including systems programming, programming languages, algorithmics, semantics, logic, and constructive mathematics. In fact the concept of continuation nicely realizes sophisticated control mechanisms, which are widely used in a variety of applications. Since we cannot escape control features, it becomes a challenge to provide them with sound reasoning principles. Indeed there is much research activity on understanding, representing, and reasoning about elaborated non-local control structures, in particular in declarative programming languages such as functional and logic languages. WoC 2015 is a new venue, continuing and broadening the scope of COS'13, held in Eindhoven. WoC 2015 offers a forum for the presentation and discussion of continuation-based constructs in programming languages, whether in the style of Curry (terms first, types later (maybe)) or in the style of Church (types first, typed terms later). We specifically welcome the presentation of elegant motivating examples. ** Topics of Interest ** Specific topics of interest include, but are not limited to: • continuations and delimited continuations • continuation based programming language constructs • categorical and algebraic models of continuations • compositionality and modularity of continuations • denotational semantics of control, event structures and causality • operational semantics and abstract machines • type systems for continuation-based constructs • game semantics of programming languages and of logical proofs • usage of continuations in proof search and proof mining • semantics of control operators in logic programming • continuations in web-services ** Submission Guidelines ** Paper submission is in two steps. Authors are expected to submit an abstract of up to 10 pages in pdf format generated by means of latex and EPTCS style, for inclusion in informal pre-proceedings available at the workshop, and in the workshop program. After the workshop, a longer version of 15 pages at most will be submitted for publication in the post-proceedings, and will undergo to a new reviewing process. Accepted papers will be published in EPTCS. Submissions are expected by 22th January using the EasyChair url: https://easychair.org/conferences/?conf=woc2015 ** Important Dates ** Submission through EasyChair: 22th January, 2015 Notification: 14th February, 2015 Pre-proceedings version due: 1th March, 2015 Workshop date: 12th April, 2015 Submission to post-reviewed proceedings in EPTCS: 23th May, 2015. Post proceedings notification: 20th July, 2015. Final version due: 30th June, 2015. ** Programme Committee ** Program Committee: Zena Ariola, University of Oregon, USA Dariusz Biernacki, University of Wroclaw, Poland Olivier Danvy, Aarhus University, Denmark (chair) Mayer Goldberg, Ben Gurion University, Israel Tadeusz Litak, FAU Erlangen-Nuernberg, Germany Jay McCarthy, Vassar College, USA Christian Queinnec, Universié Pierre et Marie Curie, France Tiark Rompf, Purdue University, USA Alexis Saurin, CNRS & Université Paris Diderot -- Paris 7, France Hayo Thielecke University of Birmingham, UK ** Organisation ** Ugo de'Liguoro, University of Turin, Italy -- Ugo de'Liguoro Associate Professor Dept. of Computer Science University of Torino Corso Svizzera 185, 10149, Torino (Italy) phone +39 011 6706766 - fax +39 011 751603 --------------020304010507040105020803 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: 8bit
                       CALL FOR PAPERS
                              WoC'15
                 Workshop on Continuations
                    12th April 2015, London, UK
                        Affiliated to ETAPS
http://woc2015.di.unito.it/


The notion of continuation is ubiquitous in many different areas of
computer science, including systems programming, programming languages,
algorithmics, semantics, logic, and constructive mathematics. In fact the concept
of continuation nicely realizes sophisticated control mechanisms, which are
widely used in a variety of applications. Since we cannot escape control features,
it becomes a challenge to provide them with sound reasoning principles. Indeed
there is much research activity on understanding, representing, and reasoning
about elaborated non-local control structures, in particular in declarative programming
languages such as functional and logic languages.

WoC 2015 is a new venue, continuing and broadening the scope of COS'13, held in
Eindhoven. WoC 2015 offers a forum for the presentation and discussion of
continuation-based constructs in programming languages, whether in the style of Curry
(terms first, types later (maybe)) or in the style of Church (types first, typed terms later).
We specifically welcome the presentation of elegant motivating examples.

** Topics of Interest **

Specific topics of interest include, but are not limited to:

    •    continuations and delimited continuations
    •    continuation based programming language constructs
    •    categorical and algebraic models of continuations
    •    compositionality and modularity of continuations
    •    denotational semantics of control, event structures and causality
    •    operational semantics and abstract machines
    •    type systems for continuation-based constructs
    •    game semantics of programming languages and of logical proofs
    •    usage of continuations in proof search and proof mining
    •    semantics of control operators in logic programming
    •    continuations in web-services


** Submission Guidelines **

Paper submission is in two steps. Authors are expected
to submit an abstract of up to 10 pages in pdf format generated by
means of latex and EPTCS style, for inclusion in informal pre-proceedings
available at the workshop, and in the workshop program.
After the workshop, a longer version of 15 pages at most will be submitted for
publication in the post-proceedings, and will undergo to a new reviewing process.
Accepted papers will be published in EPTCS.

Submissions are expected by 22th January using the EasyChair url:

https://easychair.org/conferences/?conf=woc2015


** Important Dates **

Submission through EasyChair: 22th January, 2015
Notification: 14th February, 2015
Pre-proceedings version due: 1th March, 2015

Workshop date: 12th April, 2015

Submission to post-reviewed proceedings in EPTCS: 23th May, 2015.
Post proceedings notification: 20th July, 2015.
Final version due: 30th June, 2015.


** Programme Committee **

Program Committee:
Zena Ariola, University of Oregon, USA
Dariusz Biernacki, University of Wroclaw, Poland
Olivier Danvy, Aarhus University, Denmark (chair)
Mayer Goldberg, Ben Gurion University, Israel
Tadeusz Litak, FAU Erlangen-Nuernberg, Germany
Jay McCarthy, Vassar College, USA
Christian Queinnec, Universié Pierre et Marie Curie, France
Tiark Rompf, Purdue University, USA
Alexis Saurin, CNRS & Université Paris Diderot -- Paris 7, France
Hayo Thielecke University of Birmingham, UK


** Organisation **

Ugo de'Liguoro, University of Turin, Italy 

-- 
Ugo de'Liguoro
Associate Professor
Dept. of Computer Science
University of Torino
Corso Svizzera 185, 10149, Torino (Italy)
phone +39 011 6706766 - fax +39 011 751603
--------------020304010507040105020803--