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 A53557FD05 for ; Fri, 8 May 2015 17:50:36 +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.2; 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.2 as permitted sender) identity=mailfrom; client-ip=129.125.60.2; 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@smtp2.rug.nl) identity=helo; client-ip=129.125.60.2; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="j.a.perez@rug.nl"; x-sender="postmaster@smtp2.rug.nl"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BVAQBy2kxVnAI8fYFcDoNUXgaCUkazQJAICoYFgTsHOxEBAQEBAQEBEQEBAQEBCAsJCSEuhCIBBQEBCQYLBjITERkNDwIRFQICIhIBBQEjEiKICgUIl12QYD4xiziTewEBAQcBAQEBAR0KgReLVoJlEQFREYJegUUFkjuEHIJGg3+BJD6DHIpsgxKCCxIjgRWBBIE1gSNAbQGBC4E6AQEB X-IPAS-Result: A0BVAQBy2kxVnAI8fYFcDoNUXgaCUkazQJAICoYFgTsHOxEBAQEBAQEBEQEBAQEBCAsJCSEuhCIBBQEBCQYLBjITERkNDwIRFQICIhIBBQEjEiKICgUIl12QYD4xiziTewEBAQcBAQEBAR0KgReLVoJlEQFREYJegUUFkjuEHIJGg3+BJD6DHIpsgxKCCxIjgRWBBIE1gSNAbQGBC4E6AQEB X-IronPort-AV: E=Sophos;i="5.13,391,1427752800"; d="scan'208";a="139588348" Received: from smtp2.rug.nl ([129.125.60.2]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 08 May 2015 17:50:26 +0200 Received: from mail-qg0-f48.google.com ([172.23.16.207]) by smtp2.rug.nl (8.14.9/8.14.9) with ESMTP id t48FoPoC046330 for ; Fri, 8 May 2015 17:50:25 +0200 Received: by qgej70 with SMTP id j70so38413383qge.2 for ; Fri, 08 May 2015 08:50:25 -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:cc :content-type:content-transfer-encoding; bh=6xJ1RwCJK6PxOtSVkJuoY3ERJUdOX3xSPMIvPMkUoRs=; b=XRKSNEdzypTvcszLUFdS6WrFsk1Dddijh1mHJe93B6SQfgznyYhyF7vX0e9WudnjQk 0rDlKbBI+2AoGvrbeUS18CYiciyyOjDV5LemfERZbvboiQxmBvNMMZuVGFRh4NAgU2zc CAsHhM8E23xBtKkJfhO6lfkJuaPbbTHNj+QJ8EWgKacJ2Vf1+elvIOJlNyyxzpKv8xOu EUfMlp6pvY5CKRtb3OmihbiBoFUbJkZBxAAqtR5xO0ejpMwQ27Osc7OqK/1uEBn3H1Hm 8G7B6uF/yUcPc9kD00CNyUcmWyx1tHyr20yfkdUIliq938Mziafm3UYSnKJVB02NK6ca XPuQ== X-Gm-Message-State: ALoCoQkiA2FltD2D7WuJpGvSbnEVHHw6hBDz2yXwYXJMprzq3++YGT/j46ryBJSzjbwaVtux7gML7sodUsZB+A2Yud0sSSxwTKsWWCeSir1vde0vPAaRnWHyEM6eJgqFORj49fohAXB9 X-Received: by 10.55.23.170 with SMTP id 42mr9255295qkx.33.1431100225287; Fri, 08 May 2015 08:50:25 -0700 (PDT) X-Received: by 10.55.23.170 with SMTP id 42mr9255270qkx.33.1431100225175; Fri, 08 May 2015 08:50:25 -0700 (PDT) Received: from mail-qg0-f43.google.com (mail-qg0-f43.google.com. [209.85.192.43]) by mx.google.com with ESMTPSA id j93sm3828629qkh.29.2015.05.08.08.50.24 for (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 08 May 2015 08:50:25 -0700 (PDT) Received: by qgeb100 with SMTP id b100so38384154qge.3 for ; Fri, 08 May 2015 08:50:24 -0700 (PDT) X-Received: by 10.140.236.73 with SMTP id h70mr6057307qhc.20.1431099804553; Fri, 08 May 2015 08:43:24 -0700 (PDT) MIME-Version: 1.0 Received: by 10.96.205.38 with HTTP; Fri, 8 May 2015 08:42:54 -0700 (PDT) From: "Jorge A. Perez" Date: Fri, 8 May 2015 17:42:54 +0200 Message-ID: To: caml-list@inria.fr, categories@mta.ca, coq-club@pauillac.inria.fr, ecoop-info@ecoop.org, fmics@inrialpes.fr, isabelle-users@cl.cam.ac.uk, list@prooftheory.org, mailinglist@fmeurope.org, papm@informatics.ed.ac.uk, petrinet@informatik.uni-hamburg.de, prog-lang@diku.dk, pvs@csl.sri.com, qest-announce@iti.uiuc.edu, theorem-provers@ai.mit.edu, theory-logic@cs.cmu.edu, theorynt@listserv.nodak.edu, ipalist@listserver.tue.nl, events@fmeurope.org, nvti-list@cwi.nl, games@lists.rwth-aachen.de, synalp@inrialpes.fr, nwpt-info@lists.ioc.ee, announce@informatics-europe.org, fm-announcements@lists.nasa.gov, sml-list@cs.cmu.edu, ifmsig@cs.tcd.ie, richmodels-all@larasrv02.epfl.ch Cc: "MUNOZ, CESAR (LARC-D320)" Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Virus-Scanned: clamav-milter 0.98.6 at smtp2 X-Virus-Status: Clean X-Validation-by: j.a.perez@rug.nl Subject: [Caml-list] DCM 2015 (Cali, Colombia): Call for Papers [Apologies for cross-postings.] =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=3D=3D=3D=3D=3D=3D=3D=3D CALL FOR PAPERS DCM 2015: 11th International Workshop on Developments in Computational Mode= ls October 28, 2015, Cali - Colombia http://dcm-workshop.org.uk/2015/ A satellite event of ICTAC 2015 - http://www.ictac2015.co =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=3D=3D=3D=3D=3D=3D=3D=3D =3D=3D IMPORTANT DATES - Submission Deadline for Extended Abstracts (5 pages): August 3 - Notification: 13 September - Pre-proceedings version due: 5 October - Workshop: 28 October - Submission Deadline for EPTCS Proceedings: 7 December =3D=3D AIM 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 (http://www.ictac2015.co) =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 rewriti= ng; - 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 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 pag= e: https://www.easychair.org/conferences/?conf=3Ddcm2015 Submissions should be an abstract of at most 5 pages, written in English. Please follow the EPTCS style: http://style.eptcs.org/ Simultaneous submission to journals, conferences or other workshops is not permitted. 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 (Electronic Proceedings in Theoretical Computer Science). =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) =3D=3D CONTACT INFORMATION - C=C3=A9sar A. Mu=C3=B1oz - Jorge A. P=C3=A9rez --=20 Jorge A. P=C3=A9rez Assistant Professor Johann Bernoulli Institute for Mathematics and Computer Science University of Groningen Groningen, The Netherlands Email: j.a.perez@rug.nl URL: http://www.jorgeaperez.net