From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 07367822AC; Tue, 14 Nov 2017 13:27:57 +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=3A7YMgBRe0oImHVunONHYW+NeYlGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxcqzYx7h7PlgxGXEQZ/co6odzbGJ4+a9ASQp2tWojjMrSNR0TRgLiM?= =?us-ascii?q?EbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpW1aJhKqPg4w?= =?us-ascii?q?J//8EIPWi8nyyvu/4Yb7ZwRTmCH7arp3ahy96xjS8oEKkJNvMeM4zB3Ov31Dds?= =?us-ascii?q?xSxHh0PhSIkh/noNqo8ZhltSlcprZp7cNfS6TmfqI3ZbFeF3EiImczosPx8VH7?= =?us-ascii?q?VwyI6EccX2IMgzJsAhPZ91fQV4vx9ALx8NdenGGTJdXtQLUcXTW587wtVBTzzi?= =?us-ascii?q?YJNng99XyRhsE0xKlcuVeqowF164/SeoCccvRkOuvWdNYeAG5ARdp5VipbA4r6?= =?us-ascii?q?YZFLR/YMJ+NEqI75vHMKrACiHk+oHuKpxCUMznT/0aAS0vg8Vw3FmEQrFs4Dv3?= =?us-ascii?q?POrdjuHKIOWKa+xe2AwzTFbu9bnDL65IXMNwwhrPaWTJp0cNHN0g81CB/Fy1yZ?= =?us-ascii?q?oozoOXWZ26BFt2aQ9K9hU/6ikWM8tylwpDbpy8tqg4KPm4FRglTF8yhw2q4+Pp?= =?us-ascii?q?ujVEd9b9m+HN1duzzef6RfZ+4Za2VpozohjKcZpZ7+dSEByJkhgRLSL7SfaY+H?= =?us-ascii?q?pxbqUum5LTZ7mTRpe/b3mxa/9lKtz6jkTM6q3UxRhiNE1NzNqjYA2wGXotSHR/?= =?us-ascii?q?xn7wKl3jmO3Cj40advBH1yuIbmb9YozbI5vp4SqljYWCT2kUHzgbWNMF4pvqCh?= =?us-ascii?q?8ODPfLz9vZaGcYJ4l0W2Nq0138i+Cv8QNgkVQ3Pd5fn53rD5+Uz/BrlHyrUqg7?= =?us-ascii?q?HUq7jeJN8HveiyAwZR14s58FCkAnPu1NMXnHIvKVtZeFSaiYmsMVbIJrb0AKSR?= =?us-ascii?q?mVOpxQxiwfzcN/XIBovANTCXi77ncax0w0JXw0w9xpZC/9RMFudSc7rIRkbtuY?= =?us-ascii?q?mAXVcCOAuuzrO/BQ=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A6AgDz3wpalxAniMFbDg8BAQUBCwGDC?= =?us-ascii?q?IESA2sng36eS5NYEIIBLYoSQRYBAQEBAQEBAQEBEgEBAQEBCBYGV4I4IoJoBjE?= =?us-ascii?q?UWRUCYBKKJwyrNIInhBUBhn8LAQEBAQEBIYM0g1yBaSmGRYEPHgRiglYxgjIFo?= =?us-ascii?q?jSHbYNpiiOCAYh4EYdFjG2FfYR6DxcNggEWNCEIMnYBgjYJQIIjgTQEO3eGQIJ?= =?us-ascii?q?EAQEB?= X-IPAS-Result: =?us-ascii?q?A0A6AgDz3wpalxAniMFbDg8BAQUBCwGDCIESA2sng36eS5N?= =?us-ascii?q?YEIIBLYoSQRYBAQEBAQEBAQEBEgEBAQEBCBYGV4I4IoJoBjEUWRUCYBKKJwyrN?= =?us-ascii?q?IInhBUBhn8LAQEBAQEBIYM0g1yBaSmGRYEPHgRiglYxgjIFojSHbYNpiiOCAYh?= =?us-ascii?q?4EYdFjG2FfYR6DxcNggEWNCEIMnYBgjYJQIIjgTQEO3eGQIJEAQEB?= X-IronPort-AV: E=Sophos;i="5.44,393,1505772000"; d="scan'208,217";a="244571611" Received: from smtp.dcc.fc.up.pt ([193.136.39.16]) by mail3-smtp-sop.national.inria.fr with ESMTP; 14 Nov 2017 13:27:45 +0100 Received: from [192.168.1.69] (87-196-139-183.net.novis.pt [87.196.139.183]) by smtp.dcc.fc.up.pt (Postfix) with ESMTPSA id C13B0C16C9; Tue, 14 Nov 2017 12:27:43 +0000 (WET) From: Sandra Alves Content-Type: multipart/alternative; boundary="Apple-Mail=_EAF8FFBA-1CA3-4E35-AEF0-948DBC53730C" Mime-Version: 1.0 (Mac OS X Mail 10.3 \(3273\)) Message-Id: <9CF4DF37-7FBB-471D-ABEC-B2DF9BF19426@dcc.fc.up.pt> Date: Tue, 14 Nov 2017 12:27:33 +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 X-Mailer: Apple Mail (2.3273) X-Validation-by: sandra@dcc.fc.up.pt Subject: [Caml-list] DCM'18 First Call for Papers --Apple-Mail=_EAF8FFBA-1CA3-4E35-AEF0-948DBC53730C Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 [Apologies if you receive multiple copies of this announcement] =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=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 Computationa= l Models=20 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, associated to LICS=E2=80=9918. This will be the 12th event in= the series since 2005 - see the DCM website (http://dcm-workshop.org.uk/) = for details of previous events.=20 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 INVITED SPEAKERS * Udo Dal Lago * Delia Kesner 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 * Ian Mackie, =C3=89cole Polytechnique * 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=_EAF8FFBA-1CA3-4E35-AEF0-948DBC53730C Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8
[A= pologies if you receive multiple copies of this announcement]

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
    &nb= sp;                     &= nbsp;                    =           DCM 2018 
&nb= sp;               12th International Wor= kshop on Developments in Computational Models 
&n= bsp;                     =               A satellite event of FLoC = 2018, Oxford
           =                     &nbs= p;                     &n= bsp;  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 u= sers of computer systems and the new capabilities of computation engines.

The aim of this wo= rkshop is to bring together researchers who are currently developing new co= mputation models or new features for traditional computation models, in ord= er to foster their interaction, to provide a forum for presenting new ideas= and work in progress, and to enable newcomers to learn about current activ= ities 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 take p= lace in Oxford on July 8, as a one-day satellite event of FLoC 2018, associ= ated to LICS=E2=80=9918. This will be the 12th event in the series since 20= 05 - see the DCM website (http://dcm-workshop.org.uk/) for details of previous events. 

TOPICS OF INTEREST<= /div>

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

&nb= sp; * Functional calculi: lambda-calculus, pattern-calculi, combinatory log= ic, term and graph rewriting;
  * Object calculi;=
  * Interaction-based systems: interaction nets,= games, agent and multi-agent systems;
  * Concur= rent 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 proceedings will be ava= ilable 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 t= hrough the Easychair website. 

             https://e= asychair.org/conferences/?conf=3Ddcm2018.
 
IMPORTANT DATES:

   * Submission deadline:         &= nbsp; 8 April 2018
   * No= tification:                   =        15 May 2018
   * = Pre-proceedings version:     27 May 2018
&nb= sp;  * Workshop:               &nbs= p;            8 July 2018
   * Full version of paper:           = 1 October 2018
   * Notification:   &nb= sp;                     &= nbsp;1 December 2018
   * Final versions due= :               15 December 2018

After the workshop autho= rs are invited to submit a full paper taking into account the feedback give= n at their presentation. After a second round of refereeing, accepted contr= ibutions will appear in an issue of Electronic Proceedings in Theoretical C= omputer Science (www.eptcs.org<= /a>). 

INVIT= ED SPEAKERS

 = ; * Udo Dal Lago
  * Delia Kesner=

PROGRAMME = COMMITTEE

  = * Sandra Alves, University of Porto - PC Chair 
&= nbsp; * Sabine Broda, University of Porto
  * Adr= iana Compagnoni, University of Edinburgh
  * Nach= um Dershowitz, University of Tel Aviv
  * Mariang= iola 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&n= bsp;
  * Luigi Liquori, INRIA Sophia
  * Elvira Mayordomo, University of Zaragoza
&nb= sp; * Simon Perdrix, LORIA-Nancy
  * Jamie Vicary= , University of Oxford

CONTACT
For more information contact the organis= er of the event:
Sandra Alves
dcm2018@easychair.org<= /div>
DCC-FCUP and CRACS
University of = Porto
= --Apple-Mail=_EAF8FFBA-1CA3-4E35-AEF0-948DBC53730C--