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 34A5E5D5 for ; Wed, 28 Nov 2018 17:53:49 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.56,291,1539640800"; d="scan'208";a="357840978" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 28 Nov 2018 18:53:47 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id E009A8253E; Wed, 28 Nov 2018 18:53:47 +0100 (CET) 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 27DFB824CF; Wed, 28 Nov 2018 18:16:57 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=s.p.luttik@TUE.nl; spf=Pass smtp.mailfrom=s.p.luttik@tue.nl; spf=None smtp.helo=postmaster@out25-ams.mf.surf.net IronPort-PHdr: =?us-ascii?q?9a23=3ALh5JnxdDrS3jqNX/N+yU58uDlGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxc+9YhyN2/xhgRfzUJnB7Loc0qyK6/CmATRIyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?= =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSizexfbB/IA+qoQnNq8IbnZZsJqEtxxXTv3BGYf?= =?us-ascii?q?5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ7NYCi8mM30u683wqRbD?= =?us-ascii?q?VwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4qF2QxHqlS?= =?us-ascii?q?gHLSY0/mHJhMJtkKJVrhGvpx1jzIDbb46YL+Z+frrYfd8GWWZNQthdWipcCY28?= =?us-ascii?q?dYsPCO8BMP5Wo4f7ulsOsQe+BQivBO/31zRGm2X607cg3+gvDArL2xcgE8gWsH?= =?us-ascii?q?jOqNX1KbsSUfy0zKnL1jjNcf1Z1zjn5IjOdhAsuPeBVq9+f8rWzEkgDQLFjlOI?= =?us-ascii?q?pIP5MTKV1/4Bs26f7+Z4SeKvlnAopxt3ojirwMonl4rHhpoNx1zZ+ih0wJw5Kc?= =?us-ascii?q?GiREJme9KoDptduzmHO4Z4X88uWXxktSY6x7Ecu5O3YTIGxZslyhLHdvCKcoyF?= =?us-ascii?q?7gj9WOuRLjp0nnJodKi9ihu290Wr1/fyWdOu0FlQqypIitnMuW4J1xzU8sWHTe?= =?us-ascii?q?Z9/lu/1TuPzgzc8OREIVsumareJZ4t2KUwlocJsUTNBCP2nlv5jLOOekUl/Oin?= =?us-ascii?q?9fjnb637qpKTN4J4kB3yPr4zlsClH+g1MhACX22B9uS90L3j81f5QLJPjvAuia?= =?us-ascii?q?nVqojaKd4fpq6kHw9Vzocj6xWkAje6zdQXg2MLLFRBeB6flYjmJ0nOIOzkDfe4?= =?us-ascii?q?m1msnjJrx/HaMb36GZjNNXjCkLL5fbln8UJcyQwzzcpe551OEL0BLujzUFfrtN?= =?us-ascii?q?PEFh85LxC0w+H/BdphzIweXGaPDradMKPTql+I+vkiI/KMZY8QoDbyMeIp5//o?= =?us-ascii?q?jX8jmF8SZ7Ol3ZUNaHqgBPRpP12ZYWbwgtcGCWoFog0+TPXzhFKeVT5Tem29Ur?= =?us-ascii?q?kn5jA7DYKmFZ3MSpqsgLyHxie7H4dZanpIClCWQj/UcNDOUP4JbGeWI9R9uj0C?= =?us-ascii?q?T7moDYE7n1n6vwb/z/9jL/HI0iwer5PqktZvsamb3xo76TF7CN6c3nqlSn192G?= =?us-ascii?q?gBDXdi16ljrEN60FaOyoB9n/UeHtUFo7sDWQA8PoPG1eF8AMHaXgPaYsyEUkir?= =?us-ascii?q?WJO6HDx3SNZ7i4sFZEB2Bs+4gxbIzgKuAqQJjLGRGpEutL7B0j73I5A5gzzI0a?= =?us-ascii?q?gqlHEnRNFOPGm+i7U5+RKZT9rHlkSSjI6rc74d1SrV+XzFw3DY+AkSXgt2XLmA?= =?us-ascii?q?R30Ge0bNsfz751jJSravDfIuOU1cyoTKfqVPbND1yE9LXeruI8j2YWOqkGK5BB?= =?us-ascii?q?LOz7jKcYm8Py1X5yjWEkUYmhoS9H+afSkGL23p90PmJRRSKH+pZUe6taE0rXSw?= =?us-ascii?q?Rwo9yQeNcktq2pKx+wUJw/2ADe4OmKkJ8m91rjJ/FRO02dTRFtyLqiJlfb5AJ9?= =?us-ascii?q?Ihpkpak3nU4Ug1dISpN6VKh1gQdB5ytl/v3A4xB4kGmMNssXBghF5qILqd+FJH?= =?us-ascii?q?eTSC2JnsO7bMbGT+uhmkLbPVjBWWms6b5r0O7vkkg1TlsgazE0M+8nYhzt9Uln?= =?us-ascii?q?uV45/XFgVUXZ+7GhIv+gRgprfXfgE84Y3Tz3hlLai39CLE2pcpDe4v1wyvOdtS?= =?us-ascii?q?ZufMXhf1H8ZfHcWqIfAnl3CgZRdCO/pdvuZgJ8SqfL6c1aqiIOtstDutiCJA+o?= =?us-ascii?q?8rlgrG7zB7QenTmowI2uyVxRevVTbnh1Kos8SxkIsCeDJYVj6n0y/vA5UUfKBr?= =?us-ascii?q?YIsQFU+sIta8w9x/g9jkUDhF9wjnTxkewsimPB6baVPV0QxTyAIbojbvzTOiyD?= =?us-ascii?q?MxlzgvoYKT3S/ThejhIl5PcHZVX0FpllOqOpK1ydsdWQLgOxA3jzOu/kK83LJa?= =?us-ascii?q?4q94Kj+XCQ1RcjPqamhkVKytsLGPS89T6dU1sDhcFumwfBrSHqfwuAdf2iXlGH?= =?us-ascii?q?ZYzz0Tdi2r/Ij4ghc8hW6AejI75mbZdMZqyBKa/MbbW/NLxRIPRW99iCWRC1Sh?= =?us-ascii?q?dZH94dWZkI3Ot6WmTWW/W4dIWSDqi4aBqG226XA8RVX1g/C+ncf2VAw93i7w/9?= =?us-ascii?q?JxEy7NsVDxbpShn/CmMe9gZFgtAFjz6sFSEZo4mY4twpwcxC5ezt+c+3wAjGH4?= =?us-ascii?q?PNBW377lRH4MXiIQhdfP/An+xAhuK3iEy470WjOa2MQrL42zZGURxyQ24sVHDr?= =?us-ascii?q?uPxLhFhjdu5FOisQPKfb1wmz0Qxfcj5Dgdme5f/EJnxDiZBvUTRmFZJy3w0RqS?= =?us-ascii?q?pZjqprhTYCOuKpCxzkti2967WvXK6A1WR3HjfpsKFjQ28cRkOxTB3GC5otXocs?= =?us-ascii?q?bXd9YfnhaP1QjBlOMTJZ4swL5CzyYiMmX7lXkk0PIgywZxwZH/tYGMK2hruq60?= =?us-ascii?q?SFYMOnj+YMU7/jD2kb0YhNmK38WmF55hFzNNUJa+CbriHDY6ufChNBzIFycz4D?= =?us-ascii?q?/PFb73EQvZ610gqGjARdTjfX2SLX8U0f1wXAPbOUpexQMTUTE82JI0XEj+yMno?= =?us-ascii?q?dkplziIJ/BjlrBoJyeVlMx+5XmqJ4E/iZyk5ToS3LRwQ8hwH7EPcLNeC7ut3WS?= =?us-ascii?q?1VtNX1oRKALHCzZgIOEXxMUUiNGkv/PrCqo9XNpazQTOS5K//PSbuJrehfEfaO?= =?us-ascii?q?y5Xlmt9o+DKIN+2BOX1mDrs63ERECzQxUcDQgHALSicMvybMdNKA4guhvyd6tM?= =?us-ascii?q?S+9rLnVUinsY+GEP5WMN500xS3mruYcfKNwSx0MzJZ0NUAyCmMgPIHxlkdziVn?= =?us-ascii?q?cTaFFbUbqTWLR7mWm6tTDhgcajg1OcdVpepoxhNKNovfg9X6/rp5leIuTVxeE1?= =?us-ascii?q?3lnsCvYs0RZWyxKQWDTAyTLrOaKDLGhtzsbLmUTbxLkP4SrAG5vzicCUOlMzie?= =?us-ascii?q?3XG9TwqoLexDgWSGJxFEkIW8aQp2T3P/RdTobQe3dtJ7kGtyifcsm3nONGVZNi?= =?us-ascii?q?d4Nk9AsJWPtmVfmPo1UzhZ83BhLOLBnDmdquXVNL4J6r1sGCsi06oQ/HQ3zKFE?= =?us-ascii?q?6j1sQP1uhDDftMAopVaqm+rJxzZ6GlIatjZGg5iau1lKPaTC6oJNQ2iC+hUB5G?= =?us-ascii?q?bWBhgX8Z8tQNTuv6l4197On6v2bjZeuZqA9MoYDuDJLsOMOX9nMAa/XHaeBQ0D?= =?us-ascii?q?SiOtPmz3hkpTl+uX/2GUpYN/p4X2n4IDDLhBWxZ9QvocDEN4GtcPCJZxUDQ+lL?= =?us-ascii?q?eHjcUToHejth7JSYNdpJ+RErrYCvzlJSyfgKUBagUFx6/jBYYSLYb+0k1mLFBx?= =?us-ascii?q?2pnJUQKEVtlHrzdnYxNxrVtA9mRlZm8ywEngYwKppnYYU+O3yFp+wAB3YO90qG?= =?us-ascii?q?+26k0pJ3LLvzN2jU8w3NH4jDqcez23IKr6FdVdAiv/7hRpaJrhXQddbBaq21Fi?= =?us-ascii?q?NXLAWr9bgrBjM2xm3kuU85BIHOZYSqJsawRWw/SMerMl3UkW4nGswkpf4ezKIZ?= =?us-ascii?q?B50g0vaoPqon5djUYrJtUyPOnbILdD5llWnKOH+CGynKhlywgHYk0J7Wm6eSgS?= =?us-ascii?q?uUVOOKNwY2Li9fRs4kmJnD1NUGoNTPEvq/NusEo2ffmDhWq02KZDIQW6MOqRB6?= =?us-ascii?q?GYoGPFnM+MBFo7kF4LwQ0Nt7V91sA7NkuSWUcHwbCWEAxPMtDNY0kBYsFV82CW?= =?us-ascii?q?fCCAts3AypVyJ8O6DO++CafEuq8fmQepAgsvA58k7MUaFZyl0UWeJMyhMb1PgU?= =?us-ascii?q?Ej7Q/wYVibAfJVYzqJkSwMpsi+yNl+1s9AJWdZSS9zPmC+/L3/og4xnOHFQdE3?= =?us-ascii?q?J28TUoYePHUsXou2lmQR63pPSTCt2codyROe9HnhoCWVFDDwYsBpY+2SIx9hXp?= =?us-ascii?q?X+szs6tqGwj1nK9J7TImz8Kc9Kvt7U9fhcoZ+cArVbSqc3+xPSnsxRQXqtTmjE?= =?us-ascii?q?HNu4IYTrQ40tdsDvTHCzSVX5hDUrGYO5dviIPpOvqgjuSaxslaGQx3Y+M863EX?= =?us-ascii?q?cfB104888m9JlbTgQFb7ADRDbjrEIjMa21J0GZzoPqCyyiJSEQQOFb5eS/brMR?= =?us-ascii?q?wTBmJru1xGFmQYk+5+iy+EFLSotcylmUxfGnIohYXy/bHn1GZx6Jvi0kjWNsOO?= =?us-ascii?q?Eozep5xh7U+xFIMzePMe1vZmtsu9AnGUjUOnJrEGE1SViGgoeF5AOwifRatSpW?= =?us-ascii?q?2dtdzeZemHT/+ILZYSqtHq23492BsiFmYNE6qLZZPY2lP82HrJKYnyCJCNGasw?= =?us-ascii?q?OESAa7GftC3N9KZitECrEcmG8kIeQHt4tZr00rEM4icfgHQqgio6urZhJvFmgO?= =?us-ascii?q?xiNfVo7KlGgDjOKn2rTynQzWbJ8udh0J5tEKyN8TWDUzYyUCqbWuTJn+m2SfDG?= =?us-ascii?q?UHZg4YqxlPrkpUkoF7ZaXk5pbFVpJX1xZaqOkyXyeNH5Iu6litDinchV/3Sf6J?= =?us-ascii?q?mPfvxh5byvzryNVdVRJiQwAJw+FZl0AAI6oxMLUZuIDNqDPOeE/n6ialgu+hK1?= =?us-ascii?q?hajMnVbEHQDIfBrmv6USxa93xeDdtLz37eHtEWkhFlQKYmoE5NJoOnPEj/sXhs?= =?us-ascii?q?jaFgArW1EN2wykw+hX0dATqrDtEHBu17+hqDfTR4b53utY7oIY56SXQW5ZyAoB?= =?us-ascii?q?FUnFg7d2bzz4VEN4RM5DALdDxOuimG+tq1Q4tO1IU+W5kTOss6unHzH4tAOYON?= =?us-ascii?q?uDs3vbepx3KPv3h2qkmSzy71Bq6lRKRU83BUUlEzOUyVsQ8yDvYntGre7waJ+h?= =?us-ascii?q?pv9uNzDaOLy15roXB2GZUETmJS3HSNJE93CmJcsqNRL6GDN4QWX/k/YgW+Exc6?= =?us-ascii?q?U/Uv2gqA9gdpnj2xNzByuwxA6gjWW08/XCxTi7yrhD5I7ontJT8XTIhZKDwJay?= =?us-ascii?q?beNxmWgz4RuhFTYkIsVpwESJ4R57EW2pFFu8PqTUe3NToIRgIkMAU02PkZmEJe?= =?us-ascii?q?5ha2YyfYWECMaOrTsx4zNfzXlIjjZKDiuh8Bjp77rOE735k+ajugnVv+Epjls4?= =?us-ascii?q?bgu4jS5QO1f6DiPrjkOC6TfH33lRm1wIwcIdzP9inXPhBcLsko1WcpJ57lWzeS?= =?us-ascii?q?YUZ2YpkDLk8ebphULM1cq7AIW/JJPqANq/c0W0C3Ayj3EYnql8Foa1beQTOEdH?= =?us-ascii?q?eG7/Dl/Mfa6KebTOamfdGWyTDBTr4lZpo=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BYAgCpzP5bhxkBAJFjDgiDXIEPgQIxm?= =?us-ascii?q?A+BaJd7gWYLAQEYBw2HbhoHAQQ0EgEDAQECAQEBAQETAQEBCgsJCCkjDII2IoJ?= =?us-ascii?q?sARsdGhQjAT4QMicEATCCOEsBggEEqCWEAQEBhisFjBZ6Xj6BOAwThA2BXQGBL?= =?us-ascii?q?wESAYNUgiYCjySQbAsHAgKBK4VQikyBWoUQiiuIdoReik0CBAYFAhMBgV1JPHF?= =?us-ascii?q?8bgGCQoIyAohDhSgEATZBgVmKVIEfAYEeAQE?= X-IPAS-Result: =?us-ascii?q?A0BYAgCpzP5bhxkBAJFjDgiDXIEPgQIxmA+BaJd7gWYLAQE?= =?us-ascii?q?YBw2HbhoHAQQ0EgEDAQECAQEBAQETAQEBCgsJCCkjDII2IoJsARsdGhQjAT4QM?= =?us-ascii?q?icEATCCOEsBggEEqCWEAQEBhisFjBZ6Xj6BOAwThA2BXQGBLwESAYNUgiYCjyS?= =?us-ascii?q?QbAsHAgKBK4VQikyBWoUQiiuIdoReik0CBAYFAhMBgV1JPHF8bgGCQoIyAohDh?= =?us-ascii?q?SgEATZBgVmKVIEfAYEeAQE?= X-IronPort-AV: E=Sophos;i="5.56,291,1539640800"; d="scan'208";a="287175025" Received: from out25-ams.mf.surf.net ([145.0.1.25]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-GCM-SHA256; 28 Nov 2018 18:16:55 +0100 Received: from xedge3.campus.tue.nl (xedge3.campus.tue.nl [131.155.6.118]) by outgoing1-ams.mf.surf.net (8.14.4/8.14.4/Debian-4+deb7u1) with ESMTP id wASHCD5s008447 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES128-GCM-SHA256 bits=128 verify=NOT); Wed, 28 Nov 2018 18:12:13 +0100 Received: from XSERVER31A.campus.tue.nl (131.155.6.123) by xedge3.campus.tue.nl (131.155.6.118) with Microsoft SMTP Server (TLS) id 14.3.408.0; Wed, 28 Nov 2018 18:12:13 +0100 Received: from xserver30c.campus.tue.nl ([169.254.5.79]) by xserver31a.campus.tue.nl ([169.254.3.96]) with mapi id 14.03.0415.000; Wed, 28 Nov 2018 18:12:13 +0100 From: "Luttik, S.P." To: "caml-list@inria.fr" , "categories@mta.ca" , "concurrency@listserver.tue.nl" , "fmics@inrialpes.fr" , "fmnet-request@jiscmail.ac.uk" , "Secretariaat IPA" , "moca-announce@list.it.uu.se" , "papm@informatics.ed.ac.uk" , "petrinet@informatik.uni-hamburg.de" , "podc-related@acm.org" , "procos-request@jiscmail.ac.uk" , "prog-lang@diku.dk" , "pvs@csl.sri.com" , "qest-announce@iti.uiuc.edu" , "theorem-provers@ai.mit.edu" , "theory-logic@cs.cmu.edu" , "announcements@lists.artist-embedded.org" , "bull-i3@irit.fr" , "dbworld@cs.wisc.edu" , "d-con@lists.rwth-aachen.de" , "dl@dl.kr.org" , "dmanet@zpr.uni-koeln.de" , "event@in.tu-clausthal.de" , "folli@folli.info" , "las-lics@lists.tu-berlin.de" , "prog-lang@lists.cs.illinois.edu" , "protege-user@lists.stanford.edu" , "public-owl-dev@w3.org" , "theorynt@listserv.nodak.edu" , "aila@unicam.it" , "announce@informatics-europe.org" , "cabernet-events@jiscmail.ac.uk" , "caic1402arvi@isp.uni-luebeck.de" , "complog@cs.nmsu.edu" , "coq-club@inria.fr" , "cphc-conf@jiscmail.ac.uk" , "ecoop-info@ecoop.org" , "facs-events@jiscmail.ac.uk" , "fg-arc@lists.uni-paderborn.de" , "fm-announcements@lists.nasa.gov" , "FMxSOCandBPM@cs.unibo.it" , "gdr.gpl@imag.fr" , "hol-info@lists.sourceforge.net" , "ic.eatcs@di.unipi.it" , "ifip@ifip.or.at" , "ifmsig@cs.tcd.ie" , "lfcs-interest@dcs.ed.ac.uk" , "logic@cs.stanford.edu" , "logic-list@helsinki.fi" , "Maude-users@cs.uiuc.edu" , "nwpt-info@lists.ioc.ee" , "rv@cs.uiuc.edu" , "sal@csl.sri.com" , "theory@cl.cam.ac.uk" , "theory-a@listserv.nodak.edu" Thread-Topic: CONCUR 2019 Call for Workshop Proposals Thread-Index: AQHUhz2AJVJ7E8nin0uOe10HwoO08w== Date: Wed, 28 Nov 2018 17:12:12 +0000 Message-ID: Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [131.155.71.47] Content-Type: text/plain; charset="us-ascii" Content-ID: <5896B52F59C1174CA055FF4F81CAE2FB@tue.nl> Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Bayes-Prob: 0.5 (Score 0, tokens from: tue-out:default, tue:default, base:default, @@RPTN) X-Spam-Score: -0.50 () [Tag at 8.00] CC(NL:-0.5) X-CanIt-Geo: ip=131.155.6.118; country=NL; latitude=52.3824; longitude=4.8995; http://maps.google.com/maps?q=52.3824,4.8995&z=6 X-CanItPRO-Stream: tue-out:default (inherits from tue:default,base:default) X-Canit-Stats-ID: 0uX5tcdsa - b0d1e1b529be - 20181128 (trained as not-spam) X-Scanned-By: CanIt (www . roaringpenguin . com) X-Validation-by: s.p.luttik@tue.nl Subject: [Caml-list] CONCUR 2019 Call for Workshop Proposals Reply-To: "Luttik, S.P." X-Loop: caml-list@inria.fr X-Sequence: 17188 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: * *CONCUR 2019* * THE 30TH INTERNATIONAL CONFERENCE ON CONCURRENCY THEORY August 26-31, 2019, Amsterdam, The Netherlands (https://event.cwi.nl/concur2019/) CALL FOR AFFILIATED WORKSHOPS The 30th Conference on Concurrency Theory (CONCUR 2019) will be held from A= ugust 26 until August 31, 2019 in Amsterdam, The Netherlands. It will be co= -located with the 17th International Conference on Formal Modelling and Ana= lysis of Timed Systems (FORMATS 2019). Researchers and practitioners are invited to submit proposals for workshops= to be affiliated to CONCUR 2019, on topics related to concurrency theory a= nd its applications. Example topics include: semantics, logics, verificatio= n techniques for concurrent systems, cross-fertilization between industry a= nd academia and opportunities for young and prospective researchers. Past CONCUR conferences have been accompanied by successful workshops on a = variety of topics, such as formal and foundational methods, models of syste= ms (biological, timed), security issues, semantical issues, and verificatio= n methods. You can have an idea of the past workshops by browsing the pages= of the past editions of CONCUR. The purpose of the workshops is to provide participants with a friendly, in= teractive atmosphere for presenting novel ideas and discussing their applic= ation. The workshops take place on Monday August 26, 2019 and Saturday August 31, = 2019. Proposals should include: * The name and the preferred date of the proposed workshop (August 26 or= 31, 2019) * A short description of the workshop (500 words max) * If applicable, a description of past versions of the workshop, includi= ng dates, organisers, submission and acceptance counts, and attendance * The expected number of participants * The name and short CV of the organiser(s) * The publication plan (only invited speakers, no published proceedings, pre-/post-proceedings published with EPTCS/ENTCS/...). The CONCUR organisation offers: * a link from the CONCUR web site; * setup of meeting space, and related equipment, * coffee-breaks and lunch for the participants on the day of the workshop, * on-line and on-site registration to the workshop, * free workshop registrations for an invited speaker and one or two organ= isers. The main responsibility for organising the workshop goes to the workshop or= ganiser(s), including: * workshop publicity (possibly including call for papers, submission and re= view process) * scheduling workshop activities in collaboration with the CONCUR workshop = chair. IMPORTANT DATES Submission of workshop proposals: February 1, 2019 (but we greatly appreciate if you announce your proposal= to us as soon as possible). Notification: February 15, 2019 SUBMISSION TO: Bas Luttik (s.p.luttik at tue.nl) For more information, please contact me via email (s.p.luttik at tue.nl) The CONCUR 2019 workshop chair, Bas Luttik https://www.win.tue.nl/~luttik Eindhoven University of Technology --=20 Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list https://inbox.ocaml.org/caml-list Forum: https://discuss.ocaml.org/ Bug reports: http://caml.inria.fr/bin/caml-bugs=