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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id A7C6782355; Mon, 8 Jan 2018 14:37:45 +0100 (CET) Authentication-Results: mail3-smtp-sop.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 Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of sandra@dcc.fc.up.pt) identity=pra; client-ip=193.136.39.16; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="sandra@dcc.fc.up.pt"; x-sender="sandra@dcc.fc.up.pt"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of sandra@dcc.fc.up.pt designates 193.136.39.16 as permitted sender) identity=mailfrom; client-ip=193.136.39.16; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="sandra@dcc.fc.up.pt"; x-sender="sandra@dcc.fc.up.pt"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@smtp.dcc.fc.up.pt designates 193.136.39.16 as permitted sender) identity=helo; client-ip=193.136.39.16; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="sandra@dcc.fc.up.pt"; x-sender="postmaster@smtp.dcc.fc.up.pt"; x-conformance=sidf_compatible; x-record-type="v=spf1" IronPort-PHdr: =?us-ascii?q?9a23=3AUboq5R+epPQhI/9uRHKM819IXTAuvvDOBiVQ1KB+?= =?us-ascii?q?1uoQIJqq85mqBkHD//Il1AaPAd2Craocw8Pt8InYEVQa5piAtH1QOLdtbDQizf?= =?us-ascii?q?ssogo7HcSeAlf6JvO5JwYzHcBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1?= =?us-ascii?q?JuPoEYLOksi7ze+/94HObwlSmDaxfa55IQmrownWqsQYm5ZpJLwryhvOrHtIeu?= =?us-ascii?q?BWyn1tKFmOgRvy5dq+8YB6/ShItP0v68BPUaPhf6QlVrNYFygpM3o05MLwqxbO?= =?us-ascii?q?SxaE62YGXWUXlhpIBBXF7A3/U5zsvCb2qvZx1S+HNsLxUL40RC+i7791RxD0lC?= =?us-ascii?q?cJOTk58GTNhcxxiqJQvRatqhN7zoLRZoyeKfhwcb7Hfd4CRWROQsleWTFCDI2y?= =?us-ascii?q?cYUBCPEMMvxEo4n4vVYOrQeyCAuqCejyyjFInHj23agi3uo8Cw7G2hEvH8gUv3?= =?us-ascii?q?/JsNj1MLkSXv6uzKLVyjjDdOlZ2THg54jSaB8suuyDUq5sfsbLx0kgCxnJjkiI?= =?us-ascii?q?qYD/JzOVyv0Avm6G5ORuUuKvjnQoqwB3ojW328gjlozJipsby1DD7yV5w501Jd?= =?us-ascii?q?2/SE5je9KkF4FQty6AO4trQcMuW25ouCE9yr0JvZ60YjIGx4ggxx7ac/CIbZKH?= =?us-ascii?q?4gnjVemNITd3nnNleKilixa160igxfXwWdes0FZWsiVFicPAtncX1xzc7MWMV/?= =?us-ascii?q?hz/l+51DqS0w3e5PtILV06mKfaMZIszLo9moAOvUnCBiP7m0H7gLWLekgn5uSk?= =?us-ascii?q?8fnrbqnmq5OGKoN5iAPzP6IzkcKlG+s4KBIBX22D9OS8yrLj+Ur5Ta1Rjv0zjq?= =?us-ascii?q?nZqIrWKtkHqaGlGQNV3Jos5wyiDze+ytgYhWUHIEpEeBKBkYfpJ0nDLO38APqx?= =?us-ascii?q?mVigjTlmyvHcMrDvBpjBNGXPnbb5cbZ48UFcyQ4zzd5F55JTD7EMOOnzVVX3tN?= =?us-ascii?q?PFFB82KRe5zPv7B9phzI8eV36ADrWEMKPKq1OI/v4vL/GWZIAJoDb9N+Ql5/n2?= =?us-ascii?q?gHAlg1AdeK2p0YITaHC5BfRmP16UYWHsg9cECWcFpBAyTO3siF2YUD5cfWy+X6?= =?us-ascii?q?wm5jsjEoKpEZ/DRpyxgLyGxCq0AppWZnlfBl+QFXfoap6LVuwXaCOSJ89hiiYL?= =?us-ascii?q?WaKgS48nzxGutRX1x6BpLurOqWUkssfo0J10/OTZmBU2+HlpFMmHyEmJTnpohS?= =?us-ascii?q?UDTjpw1as5vE85gkuSyaVjxvVeE9tO4fhEegM7LoLHifd3Asu0RxrMeNHPRVq7?= =?us-ascii?q?Bp28DC4rT84wxdAmbkBmXtGziRaF0TDuS4cPkLuFOJw59bjN91zwPNpmjVzPyK?= =?us-ascii?q?lnplJgf+gLfWS+nrVy8iDXBpXViAOFnL3sdKodmirI6SGPwC7Gt0ZBFQV0TK/t?= =?us-ascii?q?XHYFZ0KQo869rkjLSrvrDbU8LiNAz9SDI+1EcJmhkVhcQevkP9DFS2awgHurQx?= =?us-ascii?q?KSx/WCds6icGwR0Q3cFFVCnwNXtX2PKQUxAT2grnn2CSBnU1nmJwvi8O9/tH7+?= =?us-ascii?q?S0g4wgXPc01s0KCk0hoUnuCHDekMwrJBsS4qqzhyWlqwm5rSBdGb4gtnYKhGbM?= =?us-ascii?q?ghyFZB2yTUu0p0Ndq9LOQqgl8Yfg1tl0j1kQ5rA4NOltIm6n4m0U46Bou9/Whp?= =?us-ascii?q?czKDwYu2IKLLKiz79RuvZqiQ1lyamM6M/ahK7P0+pH3vvQK0UEYhtz1709RSyX?= =?us-ascii?q?aZo43QCxQfS4nZW0dx8hlm4bzWf211+4PZ0md9dK2zvT7J8/kSQsAA91CNU+ob?= =?us-ascii?q?eKqLGAbaF8wBG9PoI+wjn12kdAlCJ+0WvKcvO+u4fuCd0bTtMep92HqihH8C5I?= =?us-ascii?q?F2yWqI9jFgUajUwtMPzuuc3w3BWzq4xEuwqs3ssYRFfi0JWGG/wCzhCZRKILZ/?= =?us-ascii?q?Oc4PDmivKOWyz8l+wYPrWjtS81ilQV8LnIeifhyZckbn0AtbxGwToGe7giai0T?= =?us-ascii?q?Fu1S00o+yZ2H/g2ePnISEOPGJRTSFLiUnhOsDglNkcUFKhRwQin12r7gDn3+5D?= =?us-ascii?q?uPIsfCHoXU5Ucn2ufClZWayqu+/eMsM=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CGBAAEc1Na/xAniMFdDg8BAQUBCwGDD?= =?us-ascii?q?zBmA3EnhAeeEJQsgSIDAlotiUxDFAEBAQEBAQEBAQFqKII4DIMDBjEUWRUCYBK?= =?us-ascii?q?KNQyxMoInhBYBhhgLAQEBAQEBIYQgg2uBaSmGNAEYgREeBGKCGwwxMYI0BaNei?= =?us-ascii?q?AeDdYo1gSRlgwyCKINeEYdqjTOGH4UBDyciMoEIDggyGggwZwGBfwk2g1kEO3g?= =?us-ascii?q?BAYgbgksBAQE?= X-IPAS-Result: =?us-ascii?q?A0CGBAAEc1Na/xAniMFdDg8BAQUBCwGDDzBmA3EnhAeeEJQ?= =?us-ascii?q?sgSIDAlotiUxDFAEBAQEBAQEBAQFqKII4DIMDBjEUWRUCYBKKNQyxMoInhBYBh?= =?us-ascii?q?hgLAQEBAQEBIYQgg2uBaSmGNAEYgREeBGKCGwwxMYI0BaNeiAeDdYo1gSRlgwy?= =?us-ascii?q?CKINeEYdqjTOGH4UBDyciMoEIDggyGggwZwGBfwk2g1kEO3gBAYgbgksBAQE?= X-IronPort-AV: E=Sophos;i="5.46,330,1511823600"; d="scan'208,217";a="250416755" Received: from smtp.dcc.fc.up.pt ([193.136.39.16]) by mail3-smtp-sop.national.inria.fr with ESMTP; 08 Jan 2018 14:37:33 +0100 Received: from [192.168.1.66] (89-180-105-177.net.novis.pt [89.180.105.177]) by smtp.dcc.fc.up.pt (Postfix) with ESMTPSA id 955C4BFC84; Mon, 8 Jan 2018 13:37:30 +0000 (WET) From: Sandra Alves Content-Type: multipart/alternative; boundary="Apple-Mail=_0F7DE2A8-63A7-4185-AE82-EA83F6E7D169" Mime-Version: 1.0 (Mac OS X Mail 10.3 \(3273\)) Message-Id: <86FF716B-4F1D-4D8C-A449-FF41B76B0110@dcc.fc.up.pt> Date: Mon, 8 Jan 2018 13:37:17 +0000 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 X-Mailer: Apple Mail (2.3273) X-Validation-by: sandra@dcc.fc.up.pt Subject: [Caml-list] DCM'18 Second Call for Papers --Apple-Mail=_0F7DE2A8-63A7-4185-AE82-EA83F6E7D169 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 Updated information on: Invited Speakers =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=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/) 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) * 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, University of Edinburgh * 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= --Apple-Mail=_0F7DE2A8-63A7-4185-AE82-EA83F6E7D169 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
Updated informa= tion on:  Invited Speakers
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
=
              &nbs= p;              DCM 2018 
  12th International Workshop on Developments in Computati= onal Models
            =    https://sites.google.com/g.uporto.pt/dcm18/
=                  A satellite e= vent of FLoC 2018, Oxford
        =                   July 8, &nbs= p;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 wit= h the aim of taking into account the new demands of users of computer syste= ms and the new capabilities of computation engines.
The aim of this workshop is to bring tog= ether researchers who are currently developing new computation models or ne= w features for traditional computation models, in order to foster their int= eraction, to provide a forum for presenting new ideas and work in progress,= and to enable newcomers to learn about current activities in this area. Th= e proceedings are produced after the meeting, so that authors can incorpora= te the workshop feedback in the published 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 the DCM website (http://dcm-workshop.org.uk/) for details of pre= vious events.

INV= ITED SPEAKERS

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

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

=
TOPICS OF INTEREST

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

  * Functional calculi: lambda-calculu= s, pattern-calculi, combinatory logic, term and graph rewriting;
  * Object calculi;
  * Interacti= on-based systems: interaction nets, games, agent and multi-agent systems;
  * Concurrent models: process calculi, action gra= phs, 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 proceedings will be available at the workshop. Papers should be= written in English, and submitted in PostScript or PDF format, using the E= PTCS style files (http://sty= le.eptcs.org/). Submission is through the Easychair website. 

      =        https://easychair.org/conferences/?conf=3Ddcm2018<= /a>.
 
IMPORTANT DATES:

   * Submission deadl= ine:            8 April 2018
   * Notification:            = ;              15 May 2018
   * Pre-proceedings version:     27 May 2018
   * Workshop:         &n= bsp;                    8= July 2018
   * Full version of paper:  = ;     1 October 2018
   * Notifica= tion:                  1 Decem= ber 2018
   * Final versions due:   &nb= sp; 15 December 2018

After the workshop authors are invited to submit a full paper taking = into account the feedback given at their presentation. After a second round= of refereeing, accepted contributions will appear in an issue of Electroni= c Proceedings in Theoretical Computer Science (www.eptcs.org). 


PROGRAMME COM= MITTEE

  * S= andra Alves, University of Porto - PC Chair 
&nbs= p; * Sabine Broda, University of Porto
  * Adrian= a Compagnoni, University of Edinburgh
  * Nachum = Dershowitz, University of Tel Aviv
  * Mariangiol= a Dezani, University of Torino
  * Alessandra Di = Pierro, University of Verona
  * Maribel Fern=C3= =A1ndez, King's College London
  * Russ Harmer, E= NS Lyon
  * Edward Hermann Haeusler, PUC-Rio = ;
  * Luigi Liquori, INRIA Sophia
  * Elvira Mayordomo, University of Zaragoza
  * Simon Perdrix, LORIA-Nancy
  * Jamie V= icary, University of Oxford


CONTACT
For more information contact the organiser of the event:

Sandra Alves
dcm2018@easychair.org=
DCC-FCUP and CRACS
Universit= y of Porto
= --Apple-Mail=_0F7DE2A8-63A7-4185-AE82-EA83F6E7D169--