From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 792C67EEF8 for ; Fri, 31 Jul 2015 09:52:09 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of j.a.perez@rug.nl) identity=pra; client-ip=129.125.60.3; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="j.a.perez@rug.nl"; x-sender="j.a.perez@rug.nl"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of j.a.perez@rug.nl designates 129.125.60.3 as permitted sender) identity=mailfrom; client-ip=129.125.60.3; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="j.a.perez@rug.nl"; x-sender="j.a.perez@rug.nl"; 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@smtp3.rug.nl) identity=helo; client-ip=129.125.60.3; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="j.a.perez@rug.nl"; x-sender="postmaster@smtp3.rug.nl"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DzBQDFKLtVnAM8fYFbgnl1aQaCV0apSQGRUYJDhGUHTAEBAQEBARIBAQEBAQgLCQkhLoQ2BgsGMhMqDQ8CERUCJBIBBQE9GogMBQiTKo06ggWBLD4xiz+WMwqBGItpg1uCX4FDAQSUeAGEeoJihGyBR0aDWoJjiU+DQYIZEiOBFxeCKoFkbYJMAQEB X-IPAS-Result: A0DzBQDFKLtVnAM8fYFbgnl1aQaCV0apSQGRUYJDhGUHTAEBAQEBARIBAQEBAQgLCQkhLoQ2BgsGMhMqDQ8CERUCJBIBBQE9GogMBQiTKo06ggWBLD4xiz+WMwqBGItpg1uCX4FDAQSUeAGEeoJihGyBR0aDWoJjiU+DQYIZEiOBFxeCKoFkbYJMAQEB X-IronPort-AV: E=Sophos;i="5.15,582,1432591200"; d="scan'208";a="172231937" Received: from smtp3.rug.nl ([129.125.60.3]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 31 Jul 2015 09:52:08 +0200 Received: from mail-oi0-f50.google.com ([172.23.16.207]) by smtp3.rug.nl (8.14.9/8.14.9) with ESMTP id t6V7q7r9009735 for ; Fri, 31 Jul 2015 09:52:08 +0200 Received: by oig1 with SMTP id 1so640856oig.0 for ; Fri, 31 Jul 2015 00:52:07 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:from:date:message-id:subject:to :content-type:content-transfer-encoding; bh=6qAur+E/YNn+/WIadgFtXywcJ8/iCT2RK+sLsoPMKt8=; b=MK4zHjp8/5TSGlUdES1eAUDk8nifi4ikg2nPUj7neJFNnwulDU6J+RV7tlVIBrQXM6 FaFKGBx0aVhwWIRxzzOAqWUa2kawMhoBI9zPyVa3ID4CnrNHCWnhJhRyvPtB55KN3SNx Q1o/O/VLlwOKfFt4K+qBeDaoNyjyodJWK+Au7Qs8dimJhihzj9yBxVe2RJmEllwm4KNA cODOxAT2whOhDcmdnA16r+FdoPccX5zIF5uP0Rtd2L9s3EQKZWHTIpF1Tg5e23sTcKiI akJXMfMRd4ndWrLNBjdL+XNAJAIuxsCo3gu8pcY7LjUAUCzgL3DMgGO7Mopxkg1tlabs e2tQ== X-Gm-Message-State: ALoCoQlaWRvwjeyiEgDDkIKg69ujR45AW0AkAYbrBzVusv9nuNe5rYKO95mlKKXLSZP6CBMD5GpTPGGnnTA9yYAT4q/w1rbhjjs7WxVf0DYNFstX3lOy0J9h/6Jfp1omI+FTA3NXOT8M X-Received: by 10.202.203.130 with SMTP id b124mr1421361oig.27.1438329127677; Fri, 31 Jul 2015 00:52:07 -0700 (PDT) X-Received: by 10.202.203.130 with SMTP id b124mr1421354oig.27.1438329127558; Fri, 31 Jul 2015 00:52:07 -0700 (PDT) Received: from mail-oi0-f52.google.com (mail-oi0-f52.google.com. [209.85.218.52]) by smtp.gmail.com with ESMTPSA id p184sm2050116oig.10.2015.07.31.00.52.07 for (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 31 Jul 2015 00:52:07 -0700 (PDT) Received: by oigi136 with SMTP id i136so34350051oig.1 for ; Fri, 31 Jul 2015 00:52:07 -0700 (PDT) X-Received: by 10.202.220.65 with SMTP id t62mr1399165oig.115.1438329127197; Fri, 31 Jul 2015 00:52:07 -0700 (PDT) MIME-Version: 1.0 Received: by 10.60.101.170 with HTTP; Fri, 31 Jul 2015 00:51:37 -0700 (PDT) From: "Jorge A. Perez" Date: Fri, 31 Jul 2015 09:51:37 +0200 Message-ID: To: caml-list@inria.fr Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Virus-Scanned: clamav-milter 0.98.7 at smtp3 X-Virus-Status: Clean X-Validation-by: j.a.perez@rug.nl Subject: [Caml-list] Deadline extension: DCM 2015 (Cali, Colombia / Co-located with ICTAC 2015) =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D FINAL CALL FOR PAPERS -- DCM 2015 11th International Workshop on Developments in Computational Models October 28, 2015, Cali, Colombia http://dcm-workshop.org.uk/2015/ A satellite event of ICTAC 2015 - http://www.ictac2015.co DEADLINE FOR SUBMISSION OF EXTENDED ABSTRACTS (5 pages): AUGUST 17, 2015 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D Several new models of computation have emerged in the last few years, and many developments of traditional computational models have been proposed with the aim of taking into account the new demands of computer systems users and the new capabilities of computation engines. A new computational model, or a new feature in a traditional one, usually is reflected in a new family of programming languages, and new paradigms of software development. DCM 2015 is the eleventh in a series of international workshops focusing on new computational models. The aim of this workshop is to bring together researchers who are currently developing new computational models or new features for traditional computational models, in order to foster their interaction, to provide a forum for presenting new ideas and work in progress, and to enable newcomers to learn about current activities in this area. DCM 2015 will be a one-day satellite event of ICTAC 2015, the Twelfth International Colloquium on Theoretical Aspects of Computing. =3D=3D TOPICS OF INTEREST Topics of interest include all abstract models of computation and their properties, and their applications to the development of programming languages and systems: - functional calculi: lambda-calculus, rho-calculus, term and graph rewriting; - quantum computation, including implementations and formal methods in quantum protocols; - probabilistic computation and verification in modeling situations; - chemical, biological and bio-inspired computation, including spatial models, self-assembly, growth models; - models of concurrency, including the treatment of mobility, trust, and security; - infinitary models of computation; - information-theoretic ideas in computing. =3D=3D IMPORTANT DATES - Submission Deadline for Extended Abstracts: August 17 (extended) - Notification: 13 September - Pre-proceedings version due: 5 October - Workshop: 28 October - Submission Deadline for EPTCS Proceedings: 7 December =3D=3D INVITED SPEAKERS Mauricio Ayala Rinc=C3=B3n, Universidade de Brasilia (Brazil). Gilles Dowek, INRIA (France). =3D=3D SUBMISSIONS Submit your paper in PDF format via the conference EasyChair submission page: https://www.easychair.org/conferences/?conf=3Ddcm2015 Submissions should be an abstract of at most 5 pages, written in English. Simultaneous submission to journals, conferences or other workshops is not permitted. Please use the EPTCS macro package and follow the instructions of EPTCS, following the EPTCS style: http://style.eptcs.org/ A submission may contain an appendix, but reading the appendix should not be necessary to assess its merits. After the workshop authors are invited to submit a full paper of their presentation. Accepted contributions will appear in an issue of EPTCS. =3D=3D PROGRAM COMMITTEE: Mario Benevides (Brazil) Lu=C3=ADs Caires (Portugal) Ugo Dal Lago (Italy) Nachum Dershowitz (Israel) J=C3=A9r=C3=B4me Feret (France) Marcelo Frias (Argentina) Russ Harmer (France) Ivan Lanese (Italy) Radu Mardare (Denmark) Elvira Mayordomo (Spain) C=C3=A9sar A. Mu=C3=B1oz (USA) - chair Jorge A. P=C3=A9rez (The Netherlands) - chair Andr=C3=A9s Sicard-Ram=C3=ADrez (Colombia) Alexandra Silva (The Netherlands) Daniele Varacca (France) -- Jorge A. P=C3=A9rez Assistant Professor Johann Bernoulli Institute for Mathematics and Computer Science University of Groningen Groningen, The Netherlands URL: http://www.jorgeaperez.net