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 A4DEF5D5 for ; Thu, 10 Jan 2019 09:20:01 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.56,460,1539640800"; d="scan'208,217";a="363432746" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 10 Jan 2019 10:19:58 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 10DC882567; Thu, 10 Jan 2019 10:19:58 +0100 (CET) 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 077AA7F61F; Thu, 10 Jan 2019 10:10:10 +0100 (CET) Authentication-Results: mail2-smtp-roc.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@out68-ams.mf.surf.net IronPort-PHdr: =?us-ascii?q?9a23=3Am2fomBfzQQcUHicoLdDqvHNElGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxc+9YxSN2/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/mHJhMJtkKJVrhGvpxJ9zI7VfI6aO+FzcbnBcdMfX2dNQtpdWzJHD4ih?= =?us-ascii?q?b4UPFe0BPeNAooXzoVUOsAe+BRWtBOPs0jNDm2L40bcg3eg7Hw3NwQstH8kUvH?= =?us-ascii?q?TMttn1MLoSUfypzKnJzjXOdO1Y1jny5oTSdBAhpeiBULRtesTfzkkvEhnKjlSW?= =?us-ascii?q?qYH9IzyU2OUNv3Kd7+pkTe6vl3MnpB9rrjipwschjJTCiIENyl3c6Cl0z4Y4Kc?= =?us-ascii?q?ekREJhfNKoCppduiKCO4drTM4uXntktDs6x7AGo5K2fjUGxI4oyhPdc/CLbomF?= =?us-ascii?q?7xb5WOqPITp1i2hpdbKlixuz80WtzPD3WNOu31ZQtCVFl8HBtnAT2BzX7ciKUv?= =?us-ascii?q?x9/lq92TuO1A3f8/tLIUUvlabBLp4hzKQ8loEOsUTZEC/6gkP2g7GKdkk8++io?= =?us-ascii?q?7froYqn+q5OBOIJ5ihvyPrg0lsCiG+g1MwsDU3Ce+eum1b3j+UP5QK9Njv0ziq?= =?us-ascii?q?TZq4rWJdwBqq69Hg9Vzpoj6xe8Dzq9zNQYgGcIIEhDeBKDl4TpIU3BIOjkDfej?= =?us-ascii?q?hFShiDlrx/XHPrL9GZXANWPDkbfkfbZl8UFQ0gszzdZF55JVEL4NOvzzWlXpvt?= =?us-ascii?q?zCEhA5KxC0w/rgCNhlyowRQ2ePAquAPKPWsF+I/f4vLvKXZI4VvTb9M+Iq6+Tv?= =?us-ascii?q?jX8/g18dfLOm0YEZaHCiBv5mOVmWYWLwgtcdFmcHphYxTOvziFGbTTFTY2uyUL?= =?us-ascii?q?kn6zEgCIOmCJ/DSZq3jLyA2ie7BJxWaXpcBlCCC3e7P7mDDr0HYSeWZ8tgiSAs?= =?us-ascii?q?VL67SoZn2wvk/Fvxwr9ja+7V4TEwtJT51dEz6feF0Vl4/jVoAsuayWCAVElxgm?= =?us-ascii?q?pOTDZ8lPR0qFBwxVCZ0KVjq/lEHJpY7qUNGk0xMpjX0vZgBtb5SyrFf8yVU1u8?= =?us-ascii?q?XNi8Ry0sQ5Q3x5VGN016Hd6/lArO2SG7K7sUjKCQCYYq/7iaw2X8YcB5nTKOnq?= =?us-ascii?q?ckjlI9aspJL2yvgrZy7E7dHcSBx0uclq2xXaUaxi/E8H+O1iyAphccGER+VKPI?= =?us-ascii?q?QTUFa1LLoM/lzkHDVLSrALUjdAJKj9OBYOMeZNjvgEkDXvr6JdnFf0qzmny7AB?= =?us-ascii?q?+JwvWFZ8z3eDNZlG/mBUMenhwa53ePPBR2Jx+I6SqKLQRHPW7STgXq9b864Dm+?= =?us-ascii?q?SUQ9igiMaUp80bG40hoUnuDaSu9Vw69Coypr42FxG120mtvQDd2doQFsVKFdes?= =?us-ascii?q?974UsByH+frAEretTqN6l6g3YfdQpwpUbnyxR8EcNNnY4jpzU3z0A6fbqRyFZp?= =?us-ascii?q?djWW2or1M6HWIXK08RzpYqWQx1KIlJ7c4qoT8vU+pknLvQenEVAn+mlm0J9I1X?= =?us-ascii?q?rZ5pzPBhcIXtT9Xwx/owB3u6vbZCQhz4LS23p2NKCoszyExtQoQesszxy9ZdgZ?= =?us-ascii?q?PK7SUEe4C8oWDI20Jegjh1WlRhsPOaZV7qF+d5e+cPeNnbSmOO98kT6OhG9Cpo?= =?us-ascii?q?dn3RTIv2BkUOnD2I1A2fyBwwacSx/+jUyqt8n2ncZNbncPHSD3nTD+A4VWfeho?= =?us-ascii?q?cJ8WBHyyC8+23d57jp/pHXdTskOgURdOktezfhXXa1X70iVc1EcK53Ck02Ps1y?= =?us-ascii?q?ZznHQtp6yQ9CDPwPmkeBlRfiYBXHd5pVz3Jc6vldFcV0+tJUB9jAW+zU3hw+5A?= =?us-ascii?q?vqU5JG7WFwMANTH7NH0nW622saeEaMNn6Y8p9zhWTe/6bFyHAPapuhYBz2bqGW?= =?us-ascii?q?1Z2TYwehmrppS/gh1ngySQIGsl6DKTZcF9wg3S4ZnEX/lP0yAdbCB5zzzWGh6x?= =?us-ascii?q?M8TjtYGIl5rEqO27Enq7UYNeazLDxILGsSqno2BmHEv717qvmtDgCxl/1Sj01t?= =?us-ascii?q?JCXj6OpxPhJITnyu7yZf5nc05yFRr47MV7Eal1ic07gYxW1HQH0NHdt3MBl2Du?= =?us-ascii?q?N95W3K/4cGElQT8Q38WT6RL52VZ/a3+MzY/1WniRhMx7aJPyNmoQ3CUg6ctHDa?= =?us-ascii?q?qS8KdsmSpuvkH+pBjNYONh2zoYw/Yi5HMWxeYTt1xphm+XH7QWWEgDFS32lgjO?= =?us-ascii?q?4cr05PFdeWKrNLnr/EtknMznAqvU5kkWVHzmfY0mEQd79YNgMUnHlnD/98usLN?= =?us-ascii?q?XactUJshG8mAyGkOlOI9Q8mudcwWItNSf2unsNz+8gkQcox46mvM2OIm5t8aT/?= =?us-ascii?q?DhMSfmn5IsgU/BnpjL1ChYCMwJyvW5xoETUGWt3kQKTsWHgesdzrM0CNCns7sH?= =?us-ascii?q?jRUe7TGSeT7AFltTTICZ/9czndKHwQy9h+bAuFPgpChgFRXzI3mph/Gg3gjJjt?= =?us-ascii?q?dU5/6yw59Ebi7AZKy6drMBT7VCHTqVHsIn05VpWZMDJX6Ede+gLeNcWD9f5zFi?= =?us-ascii?q?Ue8pDr5FiANGGdeyxJCycVRwmPA1n+JaWu7N2G/+XOQqL0IfzKZbSmp+taU/bO?= =?us-ascii?q?xJSh1cEuqziLMsGOFndlC/k6nEtFU3cvX4yTnzwUDigWnDnla8+AuAz65jAypM?= =?us-ascii?q?2l9PXtHg7ir8PbD7JJdNFu8AuehaaYK/XWmDs8IztC0pIKg3PFnvxXlkYIjC4r?= =?us-ascii?q?czCrHpwEtDXRV+TbgelWCxoabSRyL41F4792ll1VI8nUz9f80LFQiv8uF0wDXk?= =?us-ascii?q?enm8WtZMoNInr7OV/aUgLDfqycIiHGzMyyfLixU5VUjf5IrFurpT+dHUj5MnKO?= =?us-ascii?q?mySjH0S3K+ZQgS6WeQFFtZuVdhd2FXOlV87vbBO8KtMxgDErl/l8zGvXP2odOn?= =?us-ascii?q?17bEcIorCOxTwDxPJlFCYJumJ4J+2FkGOe8O2dJpsImeQwRCNumLQeqD4my7ZS?= =?us-ascii?q?9jBCWNRxmTDOtdN0vRegleWGyXxqXAcE4mJXhI+Mp1RkJY3d94JcQnve4lQL6m?= =?us-ascii?q?mZCFIHq8YzTpWlsqFUw/DSkqP4ITIE8s6etZ8VBszdAN+BMXEoNFzoBGiQREEM?= =?us-ascii?q?SzisKGfUimRclv+V7Hicspkxsd3hhYAJUrIdU0Y6XLtOA0JjG8EEK5pfXzUqlq?= =?us-ascii?q?SehdIJ7mH7oQTLQ91X+JfdWaTWSb/kITyUl79Je14F377+MZ87NIzg0Elra108?= =?us-ascii?q?lY+MBkmaFYRGqydsdAk5vABA7nV4UnYb2UP+YQak4XtVHPXygx1gzkM0au0s/2?= =?us-ascii?q?6wuw0+PETLjCoriA8sn9SghS2cejP6L+G8UMseXyH9tkNobsuhShxrbCWzhlQi?= =?us-ascii?q?KTHFArZMgrFtfmMthAKK/dMFEvlZValDbzcb3reRYu41l1lQt2/vkURA4PPBDp?= =?us-ascii?q?RKnxBsd5u3sjRN1x81KJZ/LqvJYaFN01J4h6SUvybu2Pp7iFsVIF9I+2ePcgYJ?= =?us-ascii?q?vlYJP/8oPXzstqZn8QyJ3jBEfmYkVfsxqfdj90d7Mu/G0iGqm+pIMkC6cueYKa?= =?us-ascii?q?2xuWnbnsuBQ1d230hOikoTufA83MwkdFLRVkYhy5OcHBMOLYzFMw4fJ55f/3/U?= =?us-ascii?q?ZWOPt+vK6Z9+OIKlUOfyQrnK/Owai0m/WQs3EoIQ9ewDH4Kn1UjZKYHuJ/gYyl?= =?us-ascii?q?9lsAriL07AAepEfg6QuDUGuMq6xZ5zm4BWYCweVyE1eyu4o7/NrScugeGfR5Er?= =?us-ascii?q?ZHZfRoIIO2g8X9e83SJU9TwUAjby2/gS4AyD9CPn4DnWDXzkZtZufv2TfxUqBN?= =?us-ascii?q?zgvX11/a3zgFjR9YjYLGz/ONJ+offL6PgGvNCBAuhdC7Z6rQ2Uz4ddAnWsVWnS?= =?us-ascii?q?F9W4IpX2d5IEad3vFm38VFWkgnQ6SNmneJ7nAI2YuibDTIBYmrG+9Ds4c9K7Fz?= =?us-ascii?q?sZXRZs7alXyodsXiooapw3SybNnw8lcbG5IQ2flNSyFSLlYzRaVb9Q1eGSZrle?= =?us-ascii?q?wGwidKXynHQsVNc11+2f8EsES9cElEeajbyjYI0bUC79HVRZeh7TvmwikHV7Pe?= =?us-ascii?q?s8xf0wzVXOvEVWe2SLc+gsaWpKuPk4BEiOOjNtDXciTFKSipDM70iq0qxEu2MX?= =?us-ascii?q?nt0S3ORZu2PWsp6ZfTStQK3tqImf+34hZp4rqrF6KqTvI42bspLGn3reUM+U+k?= =?us-ascii?q?eEXi+iP/tUm8AWJzgeSeUC0TUkN80ekYtP6FJ3Ud14LqAZTOFmp76vcjtrJSUJ?= =?us-ascii?q?izMSW8WB0XZK1uay3qDbmT+ba9I+OxBCsZgUxpNXVyB9eWYforOuTYjNi0eIQX?= =?us-ascii?q?NNLQtV5A8K+QFK3tt0cOv+pYvOUJJWxiVKi/5/SW3GGt9h/B3mSTfSyRL8T/qg?= =?us-ascii?q?mMSixkRJ0Pvq3N4BVFhyBVUXj7JSkUQpI5l8MO8LoofMvDiSeQX3sH+7jKPsIF?= =?us-ascii?q?5eyMaRc1zjEKLFuG7nUysf+DsaRMUHnHXYGpUZ1g54c7oDpFhIO4GgeUe46T1y?= =?us-ascii?q?g8wjOrClWc3u2k0ot20uTDzsDttcAKdrvE+dEGlAao2npdD4IJhIWUdb49uAqk?= =?us-ascii?q?pS1khhLnj9gdBaNNlRpz8KUj9npTSGoMD0ScpIn8J7RddYJMhnpzL8Hq1DEJyQ?= =?us-ascii?q?uGEt/L3owTnU9mZ4+B2g2h24AOmlTv9SuWASB09hc36AgkI0SfYt72yU/1zQ5B?= =?us-ascii?q?Q8tfxSApCElkE3uyx8WJtJA3wBgWusK3x4V30AqP9bbq/SdpoYC7MuZRKoIQ0W?= =?us-ascii?q?Hvpg1EWMu0h/22r6KWQmqgtX/DrMdwIwEyIch/HkknsDqZfjcXUGS59PdyRkZg?= =?us-ascii?q?/BKhmHgi1NolBZbE1jWNYUDssPs+UH3YZT5NuHQG6oKDoZRxF4KEQ+1vZWlghO?= =?us-ascii?q?vFjOKg7HCg/9P9LSrgF2foPZl4iRar6xqBwBksXjrfwk9qYre0CL3wupF4ON57?= =?us-ascii?q?Tgv8GH4xPdPJzzNPexNCeYHWr8yCuojLJhNKHkui3aMQ5VMZ5/mSg4fJWnD2qZ?= =?us-ascii?q?ZE0adZJeHFJSUOVBUfsDuvpTN51YRYtP/6s/XkvaFCOqI5Smqbx9FniWRTnaKH?= =?us-ascii?q?/aoOuivdyDqLXYUq7laIqX2mzJBaR6IsUi5A=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BqAABZCzdch0QBAJFjDggHAQEFAQcFA?= =?us-ascii?q?YFUBQELAYFagQ+BAicKl3yBaIN/lDGBZwsBARgBBg2EQAKCIBoHAQQzBg0BAwE?= =?us-ascii?q?BAgEBAQEBEwEBAQoLCQgpIwyCOiKCbwIBAwEBGzcUIQIBTjIlAgQBMII5SwGBH?= =?us-ascii?q?WQErWKEAgEBhjuMP3pePoE4DBOEDYFdAYEvARIBg1mCJgKPWxmRdQsHAgKBMYV?= =?us-ascii?q?minyBZIUkinGJbYULizoCBAYFAhMBgVxLPHF8bgGCQQmCKgKIRIUoBAE2QTGBK?= =?us-ascii?q?IZqgR8BgR4BAQ?= X-IPAS-Result: =?us-ascii?q?A0BqAABZCzdch0QBAJFjDggHAQEFAQcFAYFUBQELAYFagQ+?= =?us-ascii?q?BAicKl3yBaIN/lDGBZwsBARgBBg2EQAKCIBoHAQQzBg0BAwEBAgEBAQEBEwEBA?= =?us-ascii?q?QoLCQgpIwyCOiKCbwIBAwEBGzcUIQIBTjIlAgQBMII5SwGBHWQErWKEAgEBhju?= =?us-ascii?q?MP3pePoE4DBOEDYFdAYEvARIBg1mCJgKPWxmRdQsHAgKBMYVminyBZIUkinGJb?= =?us-ascii?q?YULizoCBAYFAhMBgVxLPHF8bgGCQQmCKgKIRIUoBAE2QTGBKIZqgR8BgR4BAQ?= X-IronPort-AV: E=Sophos;i="5.56,460,1539640800"; d="scan'208,217";a="363429175" Received: from out68-ams.mf.surf.net ([145.0.1.68]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 10 Jan 2019 10:09:58 +0100 Received: from xedge4.campus.tue.nl (xedge4.campus.tue.nl [131.155.6.119]) by outgoing3-ams.mf.surf.net (8.14.4/8.14.4/Debian-4+deb7u1) with ESMTP id x0A8r9Er010309 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Thu, 10 Jan 2019 09:53:09 +0100 Received: from XSERVER30B.campus.tue.nl (131.155.6.121) by xedge4.campus.tue.nl (131.155.6.119) with Microsoft SMTP Server (TLS) id 14.3.408.0; Thu, 10 Jan 2019 09:53:11 +0100 Received: from xserver30c.campus.tue.nl ([169.254.5.67]) by xserver30b.campus.tue.nl ([169.254.4.65]) with mapi id 14.03.0415.000; Thu, 10 Jan 2019 09:53:11 +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: AQHUqMHp97rxbbt4AUinPPcovrZoCA== Date: Thu, 10 Jan 2019 08:53:10 +0000 Message-ID: <55E8A647-B56D-4A45-9595-20E9961D1163@tue.nl> References: In-Reply-To: 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: multipart/alternative; boundary="_000_55E8A647B56D4A45959520E9961D1163tuenl_" MIME-Version: 1.0 X-Bayes-Prob: 0.0001 (Score 0, tokens from: tue-out:default, tue:default, base:default, @@RPTN) X-Spam-Score: -0.50 () [Tag at 8.00] HTML_MESSAGE:0.001,CC(NL:-0.5) X-CanIt-Geo: ip=131.155.6.119; 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: 0bXmwR9fs - dbc86fee7266 - 20190110 (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: 17285 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: --_000_55E8A647B56D4A45959520E9961D1163tuenl_ Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable * *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, includin= g 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 organi= sers. 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 apprecia= te 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= --_000_55E8A647B56D4A45959520E9961D1163tuenl_ Content-Type: text/html; charset="us-ascii" Content-ID: Content-Transfer-Encoding: quoted-printable
* *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 and academia and opportunities for yo= ung 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 (Aug= ust 26 or 31, 2019)
  * A short description of the workshop (500 words max)
  * If applicable, a description of past versions of the workshop= , including dates, organisers, submission and acceptance counts, and a= ttendance
  * The expected number of participants
  * The name and short CV of the organiser(s)
  * The publication plan (only invited speakers, no published pro= ceedings, 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 work= shop,
 * on-line and on-site registration to the workshop,
 * free workshop registrations for an invited speaker and one or two o= rganisers.

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 app= reciate 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.n= l/~luttik
Eindhoven University of Technology

--_000_55E8A647B56D4A45959520E9961D1163tuenl_--