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 c5ff346549e7 (Postfix) with ESMTPS id E0D221E6 for ; Mon, 26 Mar 2018 14:25:41 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.48,365,1517871600"; d="scan'208,217";a="320009911" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 26 Mar 2018 16:25:39 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 8D2978240D; Mon, 26 Mar 2018 16:25:39 +0200 (CEST) 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 8D3C28239C; Mon, 26 Mar 2018 16:24:51 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=sandra@dcc.fc.up.pt; spf=Pass smtp.mailfrom=sandra@dcc.fc.up.pt; spf=Pass smtp.helo=postmaster@smtp.dcc.fc.up.pt IronPort-PHdr: =?us-ascii?q?9a23=3A+sL+shx/HciPHvnXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?0u8VLPad9pjvdHbS+e9qxAeQG9mDsLQc06L/iOPJYSQ4+5GPsXQPItRndiQuro?= =?us-ascii?q?EopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZv?= =?us-ascii?q?JuTyB4Xek9m72/q99pHPbQhEniaxba9vJxiqsAvdsdUbj5F/Iagr0BvJpXVIe+?= =?us-ascii?q?VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgfM?= =?us-ascii?q?QA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb5Sq06WSm576dzVhDnlD?= =?us-ascii?q?sHOTA+8GHSkMNwjaRbqw+lqxFwx4PYZYeYP+d8cKzAZ9MXXWpPUdpeWCJcAY2y?= =?us-ascii?q?YZUBAe0aMOlCs4X9okEDrRuiCQSuAu7k1z9GhmXx3a0/y+kvDBvJ3Ao9ENIUqn?= =?us-ascii?q?vfscn4NKMMUe+r16nD0DLOb+hM1jf79YfIaAourOqRUr1sbcXd00cvGB/fglWN?= =?us-ascii?q?sYzpJSuV1vgUvmWd8uFuW+Wvi2s9pAFwpDii3tojhZXMho4MxFHE8j95wIUuJd?= =?us-ascii?q?24T057ecSoEJxKtyGVLYd2X8AiT3lnuCY9zb0Gtpq7czYQxJs7wB7fbuSLfJaS?= =?us-ascii?q?7RL4VOeePTd4i2hkeLKlnRqy9lKgyuLkWsaqyFZKsjZKksLWunAKzRzT5c6KQe?= =?us-ascii?q?Z+8Ee5wTuDygTe5+9eLUwpm6fWKoQtz7A0m5YJrEjOHzf6lUH5gaOMa0kp9Oal?= =?us-ascii?q?5/75brjmqJKQLZJ4hhzjPqkoh8exG/43MhIUUGie4em81KPs/Un+QLhSlf02l7?= =?us-ascii?q?XZsIjAKcsGuqG2HxVZ0og/5BqlEjemyM4UnWEbLF5deRKHiZbmO03WLfzlCfqy?= =?us-ascii?q?jU6gnCplyv3HJLHsDJHAImLenLrgZbp97lRTyAs3zdBR/ZJUDbQBLeroWkDrst?= =?us-ascii?q?zXEwU5PBavzun6FNpyypkSWWyTDaODLaPSqUWE5vozI+WUfo8apC79K+Q55/7p?= =?us-ascii?q?lXI2hUUSfayt3ZcObHC4H+9mI1mCbHr3gtYBFH8KsRAkQOzrjl2CSz9TaGyoU6?= =?us-ascii?q?Iy/DExEJimApvbRoCxnLyB2z+2EYFRZmBfE1yDDXPod5ifVPoXcyKTIsphkiQe?= =?us-ascii?q?WrS7So8h0wuutA7gxLZ9IOrU4H5QiZW239ww5vbanxw28TExEt+QyXqlS2Bvgn?= =?us-ascii?q?hOTDYzmql051F+jh+fwLB1mLlRE9pU+vVCXy8+NIXA1KphBtnpHB/Zc9GPDluq?= =?us-ascii?q?X5HuGzwuVNMtwtkBS0t7AJCmnxfFmSSwR/ctjbuMCqA0/6XGzlDVJt1h0DDs3b?= =?us-ascii?q?UhyXAtBPZscSWvnrZk+g37A4/Sj17fi62xM6US3WjJ8XrFwWfK9EpfSUt7VbjP?= =?us-ascii?q?dXEZfErf69rjogvJRrqqTLAmKRdpyMiYK6IMZMetxUlLXvL/P9PaeEq1mnysHl?= =?us-ascii?q?CM3LLKYpCuM24U0Cj1CVQZ1QwQuT6NPBQzCSC7om/FJDlyHBTkagek/+h4qW+2?= =?us-ascii?q?C0ozwwyOKlFh2r2v6zYRhOeAULUJwa4E/S4ooDV5GhCx0paeD9SLvE9gerlRe9?= =?us-ascii?q?4m/H9G02yfugA7N5fmMqMmzlofdQl+pWvlzFNsFoxGn88woDUnwBc2YY2x9X56?= =?us-ascii?q?XzeZxozrfKfINmm39Rmka6PQnF3TlJ6O4KAArfAxrVrLsACqCwwu8DEvz9lY1G?= =?us-ascii?q?GR49DSFg0MXIjqek82sR17u/fXbjR5r5/U2Hp2IOywtTDD0PoCP60O7yvmUvti?= =?us-ascii?q?dOuNGwP7O8kbHNS1bucqklysYwgfevtfsOY9JMeOafKdw6exeutsgXbuiW1cpY?= =?us-ascii?q?R82Vmk8ytnVvWOw4tAyfyC2gqBETvxyB+9o9j6gqhAZCoOBSy0ySHgAYNLfetp?= =?us-ascii?q?cMJDDWChIsafw9xih9jwXX8d/lmlARUK1Yvhch2UZEHnxwBW3lU/pX28hTC11S?= =?us-ascii?q?J5iXc1s6fZ2iiKi+r5fxZBMWlNSmR4gFHnLKC4hNtcUkPuchBvjAf2y1z9wv1g?= =?us-ascii?q?raJzNWCbaENWcjO+e3prVKeqv5KOaMUJ5phurD0RSPjqMgPScaL0vxZPi3CrJG?= =?us-ascii?q?BZ3j1uK2Dz68fJ2idigWfYF05d6X/QeMV+3xDavYCOSfVamDQNAjRgzyHLVAHl?= =?us-ascii?q?Y4uZuO6MnpKGidiQEnq7X8QPIyXgxsWOv22m/StyHU/nxq3hqpjcCQE/lBTD+Z?= =?us-ascii?q?xqWCHP9UeueYz3z+K2OukhcEIuGUe689YoQ4w=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BjAABaArlafRAniMFdDg8BAQUBCwGDE?= =?us-ascii?q?oEQA20og1yIAJAVgWiQaRSBGgNVLohhGgYBBDAYAQIBAQEBAQEBAQESAQELFAh?= =?us-ascii?q?XgjgMgwsxFFkSAwJIGBIJhQkLq0WCIIN3AWCDZYIahT6DbkCBDCKEJoFSAgIZf?= =?us-ascii?q?h4EYoJCMIIkA5c/CIVSgk+GaVc5gWKBPIIqD4R5iROEEoN2DBBrgQkOCDMaCDB?= =?us-ascii?q?kAYIYCTWBb41pBDduAQGNP4JGAQE?= X-IPAS-Result: =?us-ascii?q?A0BjAABaArlafRAniMFdDg8BAQUBCwGDEoEQA20og1yIAJA?= =?us-ascii?q?VgWiQaRSBGgNVLohhGgYBBDAYAQIBAQEBAQEBAQESAQELFAhXgjgMgwsxFFkSA?= =?us-ascii?q?wJIGBIJhQkLq0WCIIN3AWCDZYIahT6DbkCBDCKEJoFSAgIZfh4EYoJCMIIkA5c?= =?us-ascii?q?/CIVSgk+GaVc5gWKBPIIqD4R5iROEEoN2DBBrgQkOCDMaCDBkAYIYCTWBb41pB?= =?us-ascii?q?DduAQGNP4JGAQE?= X-IronPort-AV: E=Sophos;i="5.48,365,1517871600"; d="scan'208,217";a="320009661" Received: from smtp.dcc.fc.up.pt ([193.136.39.16]) by mail2-smtp-roc.national.inria.fr with ESMTP; 26 Mar 2018 16:24:38 +0200 Received: from [192.168.1.69] (a94-133-253-111.cpe.netcabo.pt [94.133.253.111]) by smtp.dcc.fc.up.pt (Postfix) with ESMTPSA id 1F6D3C15B3; Mon, 26 Mar 2018 15:24:36 +0100 (WEST) From: Sandra Alves Content-Type: multipart/alternative; boundary="Apple-Mail=_455C471C-19B7-4DEA-8C00-B5EA79650512" Mime-Version: 1.0 (Mac OS X Mail 10.3 \(3273\)) Message-Id: <71F40540-CB75-4C96-B0E1-C3C530D0E46B@dcc.fc.up.pt> Date: Mon, 26 Mar 2018 15:24:34 +0100 To: cl-isabelle-users@lists.cam.ac.uk, types-announce@lists.seas.upenn.edu, rewriting@ens-lyon.fr, ProofTheory@Lists.Bath.Ac.UK, appsem@lists.tcs.ifi.lmu.de, coq-club@inria.fr, caml-list@inria.fr, termtools@lists.lri.fr, cade@itu.dk, categories@mta.ca, finite-model-theory@lists.rwth-aachen.de, lfcs-interest@inf.ed.ac.uk, linear@cs.stanford.edu, GAMES@lists.rwth-aachen.de, prog-lang@diku.dk, theorem-provers@ai.mit.edu, theory-logic@CS.CMU.EDU, agda@lists.chalmers.se, asl@vassar.edu, las-lics@lists.tu-berlin.de, types@lists.chalmers.se, logic@math.uni-bonn.de, concurrency@listserver.tue.nl, fscd.conference@dcc.fc.up.pt X-Mailer: Apple Mail (2.3273) X-Validation-by: sandra@dcc.fc.up.pt Subject: [Caml-list] DCM'18 Final Call-for-papers (deadline 8 April 2018) Reply-To: Sandra Alves X-Loop: caml-list@inria.fr X-Sequence: 16751 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: --Apple-Mail=_455C471C-19B7-4DEA-8C00-B5EA79650512 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 (Apologies for multiple copies of this announcement. Please circulate.) =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=3D=3D=3D=3D=3D=3D=3D=3D DCM 2018=20 12th International Workshop on Developments in Computational Models https://sites.google.com/g.uporto.pt/dcm18/ A satellite event of FLoC 2018, Oxford July 8, 2018 =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=3D=3D=3D=3D=3D=3D=3D=3D Several new models of computation have emerged in the last years, and many = developments of traditional computation models have been proposed with the = aim of taking into account the new demands of users of computer systems and= the new capabilities of computation engines. The aim of this workshop is to bring together researchers who are currently= developing new computation models or new features for traditional computat= ion models, in order to foster their interaction, to provide a forum for pr= esenting new ideas and work in progress, and to enable newcomers to learn a= bout current activities in this area. The proceedings are produced after th= e meeting, so that authors can incorporate the workshop feedback in the pub= lished papers. DCM 2018 will take place in Oxford on July 8, as a one-day satellite event = of FLoC 2018. This will be the 12th event in the series since 2005 - see th= e DCM website (http://dcm-workshop.org.uk/ ) f= or details of previous events. INVITED SPEAKERS We are pleased to announce the two invited speakers of DCM'18: * Ugo Dal Lago (University of Bologna) * Delia Kesner (University Paris-Diderot) TOPICS OF INTEREST Topics of interest include all abstract models of computation and their app= lications to the development of programming languages and systems. This inc= ludes (but is not limited to): * Functional calculi: lambda-calculus, pattern-calculi, combinatory logic= , term and graph rewriting; * Object calculi; * Interaction-based systems: interaction nets, games, agent and multi-age= nt systems; * Concurrent models: process calculi, action graphs, distributed systems; * Calculi expressing locality, mobility, and active data; * Quantum computational models; * Biological or chemical models of computation; SUBMISSION AND PUBLICATION Authors are invited to submit a short paper (max 8 pages). Preliminary proc= eedings will be available at the workshop. Papers should be written in Engl= ish, and submitted in PostScript or PDF format, using the EPTCS style files= (http://style.eptcs.org/ ). Submission is through= the Easychair website.=20 https://easychair.org/conferences/?conf=3Ddcm2018 . =09=20 IMPORTANT DATES: * Submission deadline: 8 April 2018 * Notification: 15 May 2018 * Pre-proceedings version: 27 May 2018 * Workshop: 8 July 2018 * Full version of paper: 1 October 2018 * Notification: 1 December 2018 * Final versions due: 15 December 2018 After the workshop authors are invited to submit a full paper taking into a= ccount the feedback given at their presentation. After a second round of re= fereeing, accepted contributions will appear in an issue of Electronic Proc= eedings in Theoretical Computer Science (www.eptcs.org ).=20 PROGRAMME COMMITTEE * Sandra Alves, University of Porto - PC Chair=20 * Sabine Broda, University of Porto * Adriana Compagnoni, Stevens Institute of Technology * Nachum Dershowitz, University of Tel Aviv * Mariangiola Dezani, University of Torino * Alessandra Di Pierro, University of Verona * Maribel Fern=C3=A1ndez, King's College London * Russ Harmer, ENS Lyon * Edward Hermann Haeusler, PUC-Rio=20 * Luigi Liquori, INRIA Sophia * Elvira Mayordomo, University of Zaragoza * Simon Perdrix, LORIA-Nancy * Jamie Vicary, University of Oxford CONTACT For more information contact the organiser of the event: Sandra Alves dcm2018@easychair.org DCC-FCUP and CRACS University of Porto --=20 Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs= --Apple-Mail=_455C471C-19B7-4DEA-8C00-B5EA79650512 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8
(Apologies for multiple copies of this announcement. Please c= irculate.)
=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= =3D=3D=3D=3D=3D=3D=3D=3D
      &n= bsp;                     =  DCM 2018 
  12th International Worksho= p on Developments in Computational Models
   = ;            https://sites.google.com/g.uporto.pt/dcm= 18/
            &nbs= p;    A satellite event of FLoC 2018, Oxford
                    &nbs= p;     July 8,  2018
=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=3D=3D=3D=3D=3D=3D=3D=3D

Several new models of computation have emer= ged in the last years, and many developments of traditional computation mod= els have been proposed with the aim of taking into account the new demands = of users of computer systems and the new capabilities of computation engine= s.

The aim of thi= s workshop is to bring together researchers who are currently developing ne= w computation models or new features for traditional computation models, in= order to foster their interaction, to provide a forum for presenting new i= deas and work in progress, and to enable newcomers to learn about current a= ctivities in this area. The proceedings are produced after the meeting, so = that authors can incorporate the workshop feedback in the published papers.=

DCM 2018 will ta= ke place in Oxford on July 8, as a one-day satellite event of FLoC 2018. Th= is will be the 12th event in the series since 2005 - see the DCM website (<= a href=3D"http://dcm-workshop.org.uk/" class=3D"">http://dcm-workshop.org.u= k/) for details of previous events.

INVITED SPEAKERS

We are pleased to announce the two invited speakers = of DCM'18:

 = *  Ugo Dal Lago  (University of Bologna)
&n= bsp; *  Delia Kesner  (University Paris-Diderot)

TOPICS OF INTEREST

Topics of interest include all= abstract models of computation and their applications to the development o= f programming languages and systems. This includes (but is not limited to):=

  * Functio= nal calculi: lambda-calculus, pattern-calculi, combinatory logic, term and = graph rewriting;
  * Object calculi;
  * Interaction-based systems: interaction nets, games, agent= and multi-agent systems;
  * Concurrent models: = process calculi, action graphs, distributed systems;
&= nbsp; * Calculi expressing locality, mobility, and active data;
  * Quantum computational models;
 = ; * Biological or chemical models of computation;

SUBMISSION AND PUBLICATION

Authors are invited to submit a = short paper (max 8 pages). Preliminary proceedings will be available at the= workshop. Papers should be written in English, and submitted in PostScript= or PDF format, using the EPTCS style files (http://style.eptcs.org/). Submission is through the Ea= sychair website. 

             https://easychair.org/c= onferences/?conf=3Ddcm2018.
 
IM= PORTANT DATES:

&n= bsp;  * Submission deadline:            = 8 April 2018
   * Notification:    = ;                     &nb= sp;15 May 2018
   * Pre-proceedings version:=     27 May 2018
   * Workshop: &n= bsp;                     =        8 July 2018
   * = Full version of paper:       1 October 2018
   * Notification:            = ;      1 December 2018
   * F= inal versions due:     15 December 2018

After the workshop authors are invited to = submit a full paper taking into account the feedback given at their present= ation. After a second round of refereeing, accepted contributions will appe= ar in an issue of Electronic Proceedings in Theoretical Computer Science (<= a href=3D"http://www.eptcs.org" class=3D"">www.eptcs.org). 
<= div class=3D"">

PROGRAMME COMMITTEE

  * Sandra Alves, University of Porto - PC Chair = ;
  * Sabine Broda, University of Porto
  * Adriana Compagnoni, Stevens Institute of Technolo= gy
  * Nachum Dershowitz, University of Tel Aviv<= /div>
  * Mariangiola Dezani, University of Torino
  * Alessandra Di Pierro, University of Verona
<= div class=3D"">  * Maribel Fern=C3=A1ndez, King's College London
=
  * Russ Harmer, ENS Lyon
  = * Edward Hermann Haeusler, PUC-Rio 
  * Luig= i Liquori, INRIA Sophia
  * Elvira Mayordomo, Uni= versity of Zaragoza
  * Simon Perdrix, LORIA-Nanc= y
  * Jamie Vicary, University of Oxford


CONTACT
For more information contact the o= rganiser of the event:

Sandra Alves
dcm2018@easychair.org
DCC-FCUP an= d CRACS
University of Porto
= --Apple-Mail=_455C471C-19B7-4DEA-8C00-B5EA79650512--