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 AD19A5D5 for ; Mon, 16 Apr 2018 00:24:15 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.48,457,1517871600"; d="scan'208,217";a="322956354" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 16 Apr 2018 02:24:13 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id B771082439; Mon, 16 Apr 2018 02:24:13 +0200 (CEST) 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 6F11E8240C; Mon, 16 Apr 2018 02:21:10 +0200 (CEST) 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 IronPort-PHdr: =?us-ascii?q?9a23=3AuNaa1hX28Rd4CdMhU6uTaUeH9KPV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYZRGHuKdThVPEFb/W9+hDw7KP9fy4AipYud6oizMrSNR0TRgLiM?= =?us-ascii?q?EbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVr?= =?us-ascii?q?O+/7BpDdj9it1+C15pbffxhEiCCybL9uIhi6txndutULioZ+N6g9zQfErGFVcO?= =?us-ascii?q?pM32NoIlyTnxf45siu+ZNo7jpdtfE8+cNeSKv2Z6s3Q6BWAzQgKGA1+dbktQLf?= =?us-ascii?q?QguV53sTSXsZnxxVCAXY9h76X5Pxsizntuph3SSRIMP7QawoVTmk8qxkTwLmiD?= =?us-ascii?q?ocNz4h7m7YltBwgqxcoBKkvRN/wojUa5yROPdxeq7ReNUXTndDUMlMTSxMGoOy?= =?us-ascii?q?YJcAAOQcPuhWoZfzqVwVoBSkGQWsAfniyj9UinL026AxzuQvERvB3AwlB98ArW?= =?us-ascii?q?7brNPoO6cIS+++0bXFzTHdb/xIwjf29Y/Fcgs7rvGKQL1wa9DexFIyGAzZklqc?= =?us-ascii?q?s4LlMC+P2uQQq2iX9fJgVf62hmMhtgp/rD+vxsI2hYnIgIIY0k3L+jl8wIosK9?= =?us-ascii?q?y4T1R7Yd2/EJtQsCGaL5F6QsQ4Q2Fnoio6174GtYa0fCgNz5QnyBrfZOKdf4eU?= =?us-ascii?q?5RLjUf6dLilii3J+eLOwmxay/lKhyu3mTMW010xKriVdntbSrnANywDc6tOdRv?= =?us-ascii?q?t65Eeh1jCC3B3Q5OFcOU04iK7WJpA7zrItmJcesF7PEyHylUnskaObd10o9+yn?= =?us-ascii?q?5uj9f7nrqJGRO5Vqhgz+PKkigNGzDfklPgUIQmOV4/6z1Kf58k38WLhKjuM5kq?= =?us-ascii?q?3esJ3CPsQbo7K5AxdP3ok+9xmwEy2q0NoEknUdMVJFYAiLj5D1O13WIfD4C+mw?= =?us-ascii?q?g0i0nTt2w/3LMKftDojDI3XCirvsc7Jw51RBxAcy1dxf4ohbCrAFIPL9QE/xs9?= =?us-ascii?q?nYAwciMwOuxeboFc992ZkFVG2SHqCWLLnesVGU6e41PumMfJUZuC7hK/Q9/f7h?= =?us-ascii?q?kWc5mUMBfamuxZYYdGq3HvFiI0mAZXrsg8wBEXsRswolTO3qjUWCXiRJa3azWa?= =?us-ascii?q?I8/DA7B5i8AYfNXICnmKaB0zujHp1KemBGDUiBHmvvd4WdQvsDdCaSItJ6nTEf?= =?us-ascii?q?TrigS4oh1Qm0uwPgyrpnKPDU+iwCup752th1/b6bqRZn/jgxDt+U2WyJS2wxg3?= =?us-ascii?q?gFXSQe2KFkvVc7wV6Gl6FzxeFbUZRP9utESUIzM5jb0upxBvj2WxndZZGSRV+9?= =?us-ascii?q?BMi+DDc3CN893ptGeUtiAdS+jxbM9yesGPoRhruNQpIuturkxX/2Kfp9xnHcxY?= =?us-ascii?q?EFjkI6WY1lPHGmwId0sTXwQ8bAi12CmqOCcaUHwDWL6GyYi2uAvQdcVRM2XaiB?= =?us-ascii?q?FXsYfw7dqcnzzkLEVb6nT7o9dkNKwMuGb69LccHBjFNcRf6lNs6aK368gWKsAh?= =?us-ascii?q?GM3ZuIbZH2YCMZxiSbBlJA2wsa8XuuNBQjQCui5yrVBSBjGlX1Yk732exioTWw?= =?us-ascii?q?Rwt8wQCMblFskr+y9hMRwOCcRvQJz5oAuTw9sHNuA0q9mtvfANqNoUxtceEUZd?= =?us-ascii?q?02+xJG037UrQFmIrShKa4ki1JYeg8xokCqnxF2DIhJi+AhtzUx0AN0J6WC3BVM?= =?us-ascii?q?ey7clb/ZH5DsAm3z5wy0LbTJxlGb2d+d+qoJrvg17x37pgamU04r9XpP39hWzj?= =?us-ascii?q?2Q5dGCEAofVoj8VwMv7R9kqqvBSiA8oYbVyTthPbTw+iPC1tUzFa4hzRmhdP90?= =?us-ascii?q?C+WvMTK0PuEnQ4CnJ+Ajs1yodQ4feutS/aoxMtm9MeCLnOaiJ+JIgju9lm1dpo?= =?us-ascii?q?1xzwbE8yNnD+rJ1I0tx/CDwhDBSyq5hlq7tsHx34xJIXkOD3Ky0gDgBZVNfet5?= =?us-ascii?q?fY8PDGq0OIusy5E2g5niWnVw8Ve/BxUb3s7scx2UaRrx0EkY218crTqsni22wi?= =?us-ascii?q?Z5lTokhqaU12rAyKL/bFwfJj1lXm5n2GzlJ4SuhpgzWFaldEB9jxKj6Vzz76RQ?= =?us-ascii?q?r+JxJC/OWQFQY36lfClZTqKsu+/aMIZ045QyvHALAb3tM2Dfcab0pl4h6w2mGm?= =?us-ascii?q?JfwD4hcDTz5sf1lBc8hmnbMW41tGaLIJgslyea38TVQLtq5hRDXDNx0GWFClO3?= =?us-ascii?q?edeiu8iM0Y/f4LjnCjCRE6ZLeCyu9ruu8Su24WozUE+kmuyr3NHsGk402mnmz5?= =?us-ascii?q?9ySXeRoQ=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DPAgDg69NalxAniMFcDhABDAaDE4EQA?= =?us-ascii?q?xRjKINnlmaBMIFnkQEUgREDUy6EYAKCLRoGAQQyFgECAQEBAQEBAQEBEwEBAQE?= =?us-ascii?q?BCBYGSwyCNQyDCzEUWRIDAkgYEgmFCAukcYIcg3cBX4Nkgi+JWj+BDyMMhB2BU?= =?us-ascii?q?AICGIEBHgRZCYJBMIIkApdkCIVZglCGblc7gWWBPIIpD4UEiSyEIoN2DBcCYoE?= =?us-ascii?q?JDggzGggwZQGCGAk1gW4Cg06FFIJmgh4EN24BAYwbgkUBAQ?= X-IPAS-Result: =?us-ascii?q?A0DPAgDg69NalxAniMFcDhABDAaDE4EQAxRjKINnlmaBMIF?= =?us-ascii?q?nkQEUgREDUy6EYAKCLRoGAQQyFgECAQEBAQEBAQEBEwEBAQEBCBYGSwyCNQyDC?= =?us-ascii?q?zEUWRIDAkgYEgmFCAukcYIcg3cBX4Nkgi+JWj+BDyMMhB2BUAICGIEBHgRZCYJ?= =?us-ascii?q?BMIIkApdkCIVZglCGblc7gWWBPIIpD4UEiSyEIoN2DBcCYoEJDggzGggwZQGCG?= =?us-ascii?q?Ak1gW4Cg06FFIJmgh4EN24BAYwbgkUBAQ?= X-IronPort-AV: E=Sophos;i="5.48,457,1517871600"; d="scan'208,217";a="262127515" Received: from smtp.dcc.fc.up.pt ([193.136.39.16]) by mail3-smtp-sop.national.inria.fr with ESMTP; 16 Apr 2018 02:20:49 +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 CA688C1B93; Mon, 16 Apr 2018 01:20:45 +0100 (WEST) From: Sandra Alves Content-Type: multipart/alternative; boundary="Apple-Mail=_A4C3C89A-3907-42E0-AE42-4D2AD3BC91CB" Mime-Version: 1.0 (Mac OS X Mail 10.3 \(3273\)) Message-Id: Date: Mon, 16 Apr 2018 01:20:35 +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, 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: Deadline extension (22 April) - EPTCS proceedings after the workshop Reply-To: Sandra Alves X-Loop: caml-list@inria.fr X-Sequence: 16815 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=_A4C3C89A-3907-42E0-AE42-4D2AD3BC91CB 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 Deadline extension: 22 April 2018 Formal proceedings in EPTCS =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=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 15 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=_A4C3C89A-3907-42E0-AE42-4D2AD3BC91CB 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
Deadline extens= ion: 22 April 2018
=
Formal proceedings in EPTCS
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=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 
  12th International Workshop on Developments in Com= putational Models
          &= nbsp;    https://sites.google.com/g.uporto.pt/dcm18/
                 A satel= lite event of FLoC 2018, Oxford
      &= nbsp;                   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 propose= d 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 brin= g together researchers who are currently developing new computation models = or new features for traditional computation models, in order to foster thei= r interaction, to provide a forum for presenting new ideas and work in prog= ress, and to enable newcomers to learn about current activities in this are= a. The proceedings are produced after the meeting, so that authors can inco= rporate 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 e= vent in the series since 2005 - see the DCM website (http://dcm-workshop.org.uk/) for details o= f previous events.

INVITED SPEAKERS

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

  *  Ugo Dal Lago=  (University of Bologna)
  *  Delia Ke= sner  (University Paris-Diderot)

<= /div>
TOPICS OF INTEREST

Topics of interest include all abstract models of co= mputation and their applications to the development of programming language= s and systems. This includes (but is not limited to):
=
  * Functional calculi: lambda-ca= lculus, pattern-calculi, combinatory logic, term and graph rewriting;
=
  * Object calculi;
  * Inte= raction-based systems: interaction nets, games, agent and multi-agent syste= ms;
  * Concurrent models: process calculi, actio= n graphs, distributed systems;
  * Calculi expres= sing locality, mobility, and active data;
  * Qua= ntum computational models;
  * Biological or chem= ical models of computation;

SUBMISSION AND PUBLICATION

<= /div>
Authors are invited to submit a short paper (max 8 pag= es). Preliminary proceedings will be available at the workshop. Papers shou= ld be written in English, and submitted in PostScript or PDF format, using = the EPTCS style files (http:= //style.eptcs.org/). Submission is through the Easychair website. =

    &n= bsp;        https://easychair.org/conferences/?conf=3Ddcm= 2018.
 
IMPORTANT DATES:

   * Submissio= n deadline:            8 A= pril 2018 15= April 2018
   * Notification: &n= bsp;                     =    15 May 2018
   * Pre-proceeding= s version:     27 May 2018
   * Wo= rkshop:                   &nbs= p;          8 July 2018
 = ;  * Full version of paper:       1 October 2018
<= div class=3D"">   * Notification:         &nb= sp;        1 December 2018
  =  * Final versions due:     15 December 2018

After the workshop authors are i= nvited to submit a full paper taking into account the feedback given at the= ir presentation. After a second round of refereeing, accepted contributions= will appear in an issue of Electronic Proceedings in Theoretical Computer = Science (www.eptcs.org).&nb= sp;


PROGRAMME COMMITTEE

  * Sandra Alves, University of Porto - PC= Chair 
  * Sabine Broda, University of Port= o
  * Adriana Compagnoni, Stevens Institute = of Technology
  * Nachum Dershowitz, University o= f Tel Aviv
  * Mariangiola Dezani, University of = Torino
  * Alessandra Di Pierro, University of Ve= rona
  * Maribel Fern=C3=A1ndez, King's College L= ondon
  * Russ Harmer, ENS Lyon
  * Edward Hermann Haeusler, PUC-Rio 
=   * Luigi Liquori, INRIA Sophia
  * Elvira M= ayordomo, University of Zaragoza
  * Simon Perdri= x, LORIA-Nancy
  * Jamie Vicary, University of Ox= ford


CONTACT
For more information = contact the organiser of the event:

Sandra Alves
dcm2018@easychair.org
DCC-FCUP and CRACS
University of Porto
<= /html>= --Apple-Mail=_A4C3C89A-3907-42E0-AE42-4D2AD3BC91CB--