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 1853D5D5 for ; Sun, 8 Apr 2018 12:07:05 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.48,423,1517871600"; d="scan'208,217";a="321805320" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 08 Apr 2018 14:07:03 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 52ACC82446; Sun, 8 Apr 2018 14:07:03 +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 047178240C; Sun, 8 Apr 2018 14:06:26 +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=3Aoryi6xQG89iEO8O5D7a9ri6/wdpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa67YReBt8tkgFKBZ4jH8fUM07OQ7/i7HzRYqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjWwba98IRmssQndqtQdjJd/JKo21hbHuGZDdf?= =?us-ascii?q?5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXM?= =?us-ascii?q?TRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KhsVRHolT?= =?us-ascii?q?wHNyYn/27Llsx+gqVboBe7qBx+xY7ffYWZOfV6c6/Ye94RWGhPUdtLVyFZAo2z?= =?us-ascii?q?c4QAAfcCM+hWsYfzoEADogGiCQmpHu7vyiNEi33w0KYn0+ohCwbG3Ak4EtwTqn?= =?us-ascii?q?vUqsj6NL0IXuuo0KTIySvDYO1N2Tzg74XIaQouofeRUrJqa8Xc0lQgGB/ZgVmK?= =?us-ascii?q?p4zqIymZ1vkVs2SB9+pgSfuihmg6oA9/pTivw90jiojPho8N11/L6SB5zJ87JN?= =?us-ascii?q?2/Uk57YsWkEJtXtyGCLYd2RdkiQ25ytCYnyb0KoZG7fC8NyJQowx7QdeaLfJSP?= =?us-ascii?q?4hLmTOqePy13hGlleb2jhxa960mgyvfmWsmzylZKoTJJncfUtnARyxPT8dKLSv?= =?us-ascii?q?xn/keu3zuEygPd6vlcLEwpkafWJYQtzqM+m5cSq0jOECv7lF/rgKKXbkkp/uel?= =?us-ascii?q?5/76brjoqJKQLZF4hwHwP6g0h8CzHPk0Pw4TVGaB4+u8zqfs/UjhTbVKkPI2lq?= =?us-ascii?q?7ZvYjBJcQeuq65GxVZ3Zs/5BmjFTum3sgXkWMaLFJdYh6Hl5TpN0nPIPD+E/i/?= =?us-ascii?q?n0yhnCpvyv3IJLHtH5vAI3nZnLrvebtx8VNQxQsrwdBa/Z1UC7UBIPzpWk/2sd?= =?us-ascii?q?zVFgQ5PBayw+n6EtVyzJgTVn+TDaCFKq/Sv0OH6vgyI+mUfoMVoCr9J+A/5/Hy?= =?us-ascii?q?lX85hUMdfa6x0JQLcn+4G/BmL1ydYXrtmdcBDXwHvhE+TezvkF2NSyRfZ3e0X6?= =?us-ascii?q?Im5zE0EpiqDYnZRoq1mryOwD+7HoFKZmBBEl2DDXDod5ydV/gQbCKSP9Runycf?= =?us-ascii?q?VbmhTo8hzQuhuBX7y7phNOrU+zcXuYjt1NhvtKXvkkQ58Xl1FM2X3mWJQiRphW?= =?us-ascii?q?4SXBcy3btjugp2w1LF2KM+nv8cXcBC//5SFw48M5nByed3I9TzQR7aOMyEQU3g?= =?us-ascii?q?X82rBzd3Q94sh5cUbllnGsmjiB/r0iyxRrsEkLrNCoZwuprG2H//G8ZwzGzX/I?= =?us-ascii?q?0glEU9BOFGKW3gr6U5yiuXT4fRi16Uko6udL8Ax2jR/3zFzGSP+kVdTUh8XOGN?= =?us-ascii?q?VncGI0DSsN7R50XYTrboB65jegBIzMrHLqpRdvXoi09HTbHtIpCWf2+rnnu3Ah?= =?us-ascii?q?KT7reNd5bxPWEH3WPTEgxMmAkf8F6HKRV4CiTl62nXEDFhEkjubljE9PV37niy?= =?us-ascii?q?Cgc6zgeLc0Ak0r259xpQmfyRTOkC9rYFozs67S9rAFb41tvdC9eG4QZsOO1Yb9?= =?us-ascii?q?gmpVZByW/DuhdhFp2mIeZvihgXeEJqvAem0xRxB4xaucMx6mg2xQx8LriUll5N?= =?us-ascii?q?anfQ8rnVF4b/Lmjp4AvpcbHK2hTX2d2W96FJ5Pl84035uw7sEkMk/F1r0tpIlX?= =?us-ascii?q?efot3WDAcVS5/0F14t8AZ3varyayh74oLIk3BgLO38rj/P3Mg4Qe8ixRerV/xk?= =?us-ascii?q?doihKUnfP/BeT8GhJOUCn1mycglCN+Bb8Ks5JdjgbPbCkKewOM5+lSm9hH4B7Y?= =?us-ascii?q?xglgqI/jE5Tu/DxL4BwuqExU2bSnL2gU2ls8axlY0ALS0DBmek4SzlH5JKIKZy?= =?us-ascii?q?dIIOBH21Zda6gp16gJHsUFZd/UKjQU4A2YqjfhyUKVDwmUVb0kIcvGa9lC2z3h?= =?us-ascii?q?Rwkio1taeFwiHUhfj/eVwBPioDSnJpgRHnJo66gsoXWkOlRwQin12r7gDn3+5D?= =?us-ascii?q?uPdRNW7WFHxBeSTsJilLVrW9rfLWeMdJ5IkhmSlcW6KyahaHUvjlv01JgGvYA2?= =?us-ascii?q?JCyWVjJHmRsZLjkkkm2TvMfkY2l2LQfIRL/Tma4dXdQfBL2T9fGHt0gjKRCFP6?= =?us-ascii?q?IsHv5cnGzs6f4ND7bHqoU9hoSQeu1ZmJ7Xfp6WZhRxO02e2r3MX7Q1BjjH3Lku?= =?us-ascii?q?JyXCCNly7SJ4nm06PjYLB8e1VwQlP34Ix0Ecdjis0omMNJ1A=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AVAQAqBcpafRAniMFcDhGDJYEQA2wog?= =?us-ascii?q?1+WXYEwgWeQdhSBEQNSLoRgAoI5GgYBBDAYAQIBAQEBAQEBAQETAQELFAhLDII?= =?us-ascii?q?1DIMLMRRZEgMCSBgSCYUIC6UrghyDdwFfg2SCHok/P4EMIgyEF4FQAgIYfR4EW?= =?us-ascii?q?QmCQTCCJAKXRwiFVoJOhm1WO4FkgTyCKA+Ef4kchBqDdQwQa4EJDggzGggwZAG?= =?us-ascii?q?CGAk1gW6DUIUUgmaCHgQ3bgEBi3uCRQEB?= X-IPAS-Result: =?us-ascii?q?A0AVAQAqBcpafRAniMFcDhGDJYEQA2wog1+WXYEwgWeQdhS?= =?us-ascii?q?BEQNSLoRgAoI5GgYBBDAYAQIBAQEBAQEBAQETAQELFAhLDII1DIMLMRRZEgMCS?= =?us-ascii?q?BgSCYUIC6UrghyDdwFfg2SCHok/P4EMIgyEF4FQAgIYfR4EWQmCQTCCJAKXRwi?= =?us-ascii?q?FVoJOhm1WO4FkgTyCKA+Ef4kchBqDdQwQa4EJDggzGggwZAGCGAk1gW6DUIUUg?= =?us-ascii?q?maCHgQ3bgEBi3uCRQEB?= X-IronPort-AV: E=Sophos;i="5.48,423,1517871600"; d="scan'208,217";a="261271796" Received: from smtp.dcc.fc.up.pt ([193.136.39.16]) by mail3-smtp-sop.national.inria.fr with ESMTP; 08 Apr 2018 14:06:07 +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 CC566C1BA9; Sun, 8 Apr 2018 13:06:05 +0100 (WEST) From: Sandra Alves Content-Type: multipart/alternative; boundary="Apple-Mail=_B2351D86-B463-4373-A55C-5934BD28654E" Mime-Version: 1.0 (Mac OS X Mail 10.3 \(3273\)) Message-Id: <36A765A4-36FF-4920-80C3-4373D04A6FD4@dcc.fc.up.pt> Date: Sun, 8 Apr 2018 13:05:56 +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: Deadline extension (15 April) Reply-To: Sandra Alves X-Loop: caml-list@inria.fr X-Sequence: 16785 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=_B2351D86-B463-4373-A55C-5934BD28654E 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: 15 April 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 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=_B2351D86-B463-4373-A55C-5934BD28654E 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: 15 April 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
            &n= bsp;                DCM 2018 <= /div>
  12th International Workshop on Developments in = Computational Models
         = ;      https://sites.google.com/g.uporto.pt/dcm18/
                 A sat= ellite 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 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=_B2351D86-B463-4373-A55C-5934BD28654E--