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 6373E8239C; Tue, 27 Feb 2018 20:21:43 +0100 (CET) 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 Received-SPF: None (mail2-smtp-roc.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=mail2-smtp-roc.national.inria.fr; envelope-from="sandra@dcc.fc.up.pt"; x-sender="sandra@dcc.fc.up.pt"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.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=mail2-smtp-roc.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 (mail2-smtp-roc.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=mail2-smtp-roc.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=3AV+maYx0PPenyxQfEsmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?sesTKvrxwZ3uMQTl6Ol3ixeRBMOHs6kC07KempujcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgpp?= =?us-ascii?q?POT1HZPZg9iq2+yo9JDffwtFiCChbb9uMR67sRjfus4KjIV4N60/0AHJonxGe+?= =?us-ascii?q?RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84TaFDAzQ9L281/szrugLd?= =?us-ascii?q?QgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QrcpVzS/9KdrUAHnhz?= =?us-ascii?q?sbNzA392HXj9Z/jKNdoBm8oxByzIrZbISTOfFjfK3SYMkaSHJBUMlNWCNPH4Cy?= =?us-ascii?q?YYURAeQGJutXtZXxp14UoBu+GQWhBuXiwSJIiH/s2q061vwsHxzc0wwmAt0Oqm?= =?us-ascii?q?7bp8jpOacWT+C60rLIxijEYvNNwzj97pXHcgo7rvyXQL1/bdbexVMhFwzZlFmQ?= =?us-ascii?q?tJTlMymN1uQRqmWW6fdrW+yoi24isQ5xoz6vy98xhYbVg4IZ017F9SJjwIY2Pt?= =?us-ascii?q?24SEl7Yca+HJtXrSGaOJF6Qt4hQ21wtyY6zboGuZG/fCcU0pgo2xnfa/mff4eW?= =?us-ascii?q?+B3jT+aQLit4hH1/ebK/nQy+8U+6yu3zTsW7zk5KrjZZndnXrHwN0AbT6seBR/?= =?us-ascii?q?Bg/UmhwS6C2x3X5+xKO0w4iKTWJp87zrM+kpcfq1nPEy7ulEj1iKKabFgo9+u0?= =?us-ascii?q?5+j9f7nqup+RO5Vphgz8MKkjnNG0D/4iPQgURWeb/Pyx1L398k39R7VHluY2kq?= =?us-ascii?q?zFsJDCP8gUu7K2DBNP3oYt9xmzFSqm0MwCkXkfMFJJYBOHj473NFHSOP30EPOy?= =?us-ascii?q?jlq2nDt2yf3LP6ftD5vJI3TZjbvsfK5x60tGxwoyydBf6YhUCrYEIP/rQU/+rt?= =?us-ascii?q?rYAQIjMwOu2OvoFcly2Z8EVWKBHqCVKr7SsUeS6uI3P+mAfJUVtyrlK/g5+/7u?= =?us-ascii?q?imc0lkMHcqms2ZsbcXS4HvV9I0WFenfsmdcAEWISvgUkVuDqiVuCUSRSZ3moRa?= =?us-ascii?q?486Cs7Apq8DYjfXoCtnKCB3CCjE5JKYWBGE0mAHmvsd4WZQPgBczmSI89kkjwc?= =?us-ascii?q?T7etUY4h1Re0tA/70bVrNOTU+jdL/a7kgdNxouzInBs/8Th5StmG3nuWZ2V1hX?= =?us-ascii?q?8TATQ/2eZ2qgpgyRPLzblgjucdHNpV4O5PWQoSMZ/H0/c8EN37QUTcZtqPThCr?= =?us-ascii?q?TsjiSSs8Ucgw394IbG5wHc7nigHE2WykGftdr6aMA5II8q/bxWnZA8dm122A/q?= =?us-ascii?q?A9jx8PSY1yFinuj7Zn7AXWL4rIiFmC0bqhbuId0i+L8GKei2aD+AlTVxc1WqHY?= =?us-ascii?q?V1geYFHXpJL3/AeKRLarDfEjMxBd4c+EMKpDLNPzyR1aSe3mJNPZZ3mZn2arGQ?= =?us-ascii?q?3OwqmNKoTwPy0W1SnQIEkYjkYf/jLOPgEiCyimuWPTFxRrCVupaEqoued/rnKn?= =?us-ascii?q?QwoxyA2Hawh917ey4A89gf2HV+hVxK0YuGIooj50EVD709+SQ96OrBEkfaNAbM?= =?us-ascii?q?kw+0tv1GTX8QFxeJWrab1hwhYacgJ6tlnG3A4xEZlJl8Yttn9swQZvbeq3+XZs?= =?us-ascii?q?TBuc3IvsIfvNNXXyuRmmYK7b3BfS3ZLe4r0I57E8olPslA2oFVdk/3Yjm8VV3n?= =?us-ascii?q?yG65CPFBAVT5/rSW4+9l5/pq2cbyUgo8vI1XBrK7jxtjjN2tkBL9Bj4TOdOfpz?= =?us-ascii?q?DefMHQD+GuUeBtOyM6ohm1Gtax8eJ6ZJ+ep8NtiiX+WPw7WiJqBtkC/ixWBO+8?= =?us-ascii?q?V500mX3y59UfLTmYoYhvuVxA+GUXHwgRPprtHvlJtsYTAJAnH5wijtAItcfLY0?= =?us-ascii?q?ZotPQWOpLMy87tB3m56rRnhZsVSkAVVA1MLtMRGVaVfgxxdd008GiXimgjejwi?= =?us-ascii?q?ZqnitvsreSmirKkMr4cx9SAWdNSHNrxX7oP4Wvx4QBVU6kdQEBmBCuo0jxgbVD?= =?us-ascii?q?4rxjeTqACXxUdjT7ejkxGpC7saCPNpIescJ6gWBsSO25JGuiZPv4qhoe3TnkGj?= =?us-ascii?q?ICljwwfHeksdPkh1pilDDEdSohnD/iYch1gCznypnEX/cIgmgKTyI+hzKRG0D6?= =?us-ascii?q?J8X7pYzJxaeGifi3UieabrMWcSTvytrR5jC++XUsDRa02f643MD/VxAmg3b2?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CmAAAWr5ValxAniMFeDg4BAQEEAQEKA?= =?us-ascii?q?QGDH4EXA20og1SKIpEXgXqSMBSBIwNbLYddGgYEMBgBAgEBAQEBAQEBARIBAQE?= =?us-ascii?q?BAQgWBleCOAyDAwYxFFkSAwJIGBIJhRAMrBWCJ4QLAWaDfoIhAQEBAQEiiSGBZ?= =?us-ascii?q?imGMgICGYERHgRigk4wgjIFmk4JhlCDDYgEdk6CE4FTgmYRhWOJeoRkhCAOEGq?= =?us-ascii?q?BCQ4IMxoIMGQBghgJNYIVgUwEN3cBAYoIgkgBAQE?= X-IPAS-Result: =?us-ascii?q?A0CmAAAWr5ValxAniMFeDg4BAQEEAQEKAQGDH4EXA20og1S?= =?us-ascii?q?KIpEXgXqSMBSBIwNbLYddGgYEMBgBAgEBAQEBAQEBARIBAQEBAQgWBleCOAyDA?= =?us-ascii?q?wYxFFkSAwJIGBIJhRAMrBWCJ4QLAWaDfoIhAQEBAQEiiSGBZimGMgICGYERHgR?= =?us-ascii?q?igk4wgjIFmk4JhlCDDYgEdk6CE4FTgmYRhWOJeoRkhCAOEGqBCQ4IMxoIMGQBg?= =?us-ascii?q?hgJNYIVgUwEN3cBAYoIgkgBAQE?= X-IronPort-AV: E=Sophos;i="5.47,402,1515452400"; d="scan'208,217";a="315546837" Received: from smtp.dcc.fc.up.pt ([193.136.39.16]) by mail2-smtp-roc.national.inria.fr with ESMTP; 27 Feb 2018 20:21:26 +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 E81A1BFC38; Tue, 27 Feb 2018 19:21:24 +0000 (WET) From: Sandra Alves Content-Type: multipart/alternative; boundary="Apple-Mail=_79B4D936-1AC3-401E-B306-3244D4A791A7" Mime-Version: 1.0 (Mac OS X Mail 10.3 \(3273\)) Message-Id: <683D9ADD-C605-4AC5-BD93-EA28174D4E57@dcc.fc.up.pt> Date: Tue, 27 Feb 2018 19:21:13 +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 Third Call for Papers --Apple-Mail=_79B4D936-1AC3-401E-B306-3244D4A791A7 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= --Apple-Mail=_79B4D936-1AC3-401E-B306-3244D4A791A7 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=_79B4D936-1AC3-401E-B306-3244D4A791A7--