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 ESMTP id 2C9485D4 for ; Sat, 29 Jun 2019 14:39:28 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.63,432,1557180000"; d="scan'208,217";a="389692598" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 29 Jun 2019 16:39:26 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 1BDE0826E8; Sat, 29 Jun 2019 16:39:26 +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 A41AC7ED69 for ; Sat, 29 Jun 2019 16:07:28 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=t.a.c.willemse@tue.nl; spf=Pass smtp.mailfrom=T.A.C.Willemse@tue.nl; spf=None smtp.helo=postmaster@out62-ams.mf.surf.net IronPort-PHdr: =?us-ascii?q?9a23=3ADDpBNR+nLVnXaf9uRHKM819IXTAuvvDOBiVQ1KB+?= =?us-ascii?q?0+ofIJqq85mqBkHD//Il1AaPAdyBragewLWP++C4ACpcuM/H6ChDOLV3FDY9wf?= =?us-ascii?q?0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3OgV6?= =?us-ascii?q?PPn6FZDPhMqrye+y54fTYwJVjzahfL9+Nhq7oRjPusUMn4duNKk9xxnUrnBVf+?= =?us-ascii?q?ha2X5kKUickhrh+8u85oJv/zhVt/k868NOTKL2crgiQ7dFFjomKWc15MPqtRnH?= =?us-ascii?q?UwSC42YXX3sVnBRVHQXL9Qn2UZjtvCT0sOp9wzSaMtbtTb8oQzSi7rxkRwHuhS?= =?us-ascii?q?waKjM26mDXish3jKJGvBKsogF0zoDIbI2JMvd1Y6TSc84HRWpaRsZeSTBOAp+y?= =?us-ascii?q?YYsICuoOJ+dYr4/grFcKohazAQygCeXoxT9VgH/5wKw60/89HgHC2wwgBMwBv2?= =?us-ascii?q?nJp9nxO6oeTeW5wa/VxjvBcvxWwy/w54fIfB4vov+CQK5/ccvKxEY1Cw/IlE+d?= =?us-ascii?q?pZD5Mz6X0OkGrmiV7/BnVeKqk2MptQBxoj2yzcgsi4nJgoYVxU7B9SVi3ok+ON?= =?us-ascii?q?q1SFJhbdG+CpdfqzuWNoV3QsMmR2FnpiM6yqYYtpOgYCgK1YooywTZa/yDaoWF?= =?us-ascii?q?5A/oWuiWITd9nn1lebS/ig628UihzO38Vde730tLripDiNXDqncN1xnL5siAUP?= =?us-ascii?q?ty4kah1iuV2wDU8OFELlg4mrbVKp4g2LIwkJ4TvVzMHi/xn0X2g6uWeVs+9ue0?= =?us-ascii?q?7OTnZ63qpp6aN49uiwHxKL4imsKlAeggLwgOWWmb+fql2L3750L5WrRKjuYrnq?= =?us-ascii?q?TXqpzaK94bqrajAw9IyIoj7RK/Ay+60NQFg3YLNlRFeBaBgoP0OF/OOOj1Aeqw?= =?us-ascii?q?jlmsijtn2+rKMqD7DpjMMHTPiKntcap55kJGywc+zcpT649VB7wAOv7+VUD8ud?= =?us-ascii?q?rFBREjKQO02fzoCNBl24MeR22PBqiZPbvVsV+V+uIiIveAaJYPtzb4MPgp/fvu?= =?us-ascii?q?jXEjlV8GYKmpx5UXZGq+Hvt4P0WVeXvsgtEfHmcWpgcyUePnhV2YXTJPfXq+Qr?= =?us-ascii?q?gw6zAlBI6+CIfMXIGtgLiP3CehGZ1WY3hLBE6WHXr0bYmJRe0AZyKTIs9lljwL?= =?us-ascii?q?S72hS5Q/2hy1qA/61qRoIvDS+i0crZ7jzsR65/XPlREu8jx5F9iS3HuIT2Fwh2?= =?us-ascii?q?8IQz423LtjoUFm0VeC0a14g+RCGtBJ5vNJVB06NZ/GwOBgBdDyQFGJQtDcVVCq?= =?us-ascii?q?Q86tBTYqQ9502dIFYl58FtO+lUKQjASwBLpAq72OTKM19qbR2mP8b5JhjX+A3+?= =?us-ascii?q?8+jl0iT85UOEW6m6M58QyFVN2BqFmQi6v/LfdU5yXK7mrWnTvX4BNoFTVoWKCA?= =?us-ascii?q?ZkgxI1PMpISr+l7PCbmqW+x+b1lxjPWaI64PUeXHyFVLQPC5Y4bZfn7vwSK5AA?= =?us-ascii?q?3Ow73Kd5fwdSMb0TmPUBFVwTBWxm6PME0FPgnkpmvfCDJ0Ele/MV/x/K94rCHi?= =?us-ascii?q?Qw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DwBQBlbxddhz4BAJFlFggBHwYHgVCBZ?= =?us-ascii?q?gWBFFUvKAqEE4EdQoFrjymUfwGHfAkBAwEKAQEjCgIBAYMJhDkbBwEENBMBAwE?= =?us-ascii?q?BBAEBAgECAwETAQEBCgsJCBsOij4LAYI6DAwDAwGCaSwGRTAHNwIkEgEFASgBD?= =?us-ascii?q?AgWPYF8SwGCCgQLlgSDHzyLIYEyhDIBAwVHBYNwgUaBNItfegGBG4RhgQR8Vgs?= =?us-ascii?q?BAQIYhFEUgkQEqi8HAoIYhlONJxt3giCKAopQlGmEUYsZAgQGBQIGDgEhgRwqW?= =?us-ascii?q?IEhTS91BmcKgUQJCYE3VDwCg1eBPoMyJIVBcAEBgSeNRgGBIAEB?= X-IPAS-Result: =?us-ascii?q?A0DwBQBlbxddhz4BAJFlFggBHwYHgVCBZgWBFFUvKAqEE4E?= =?us-ascii?q?dQoFrjymUfwGHfAkBAwEKAQEjCgIBAYMJhDkbBwEENBMBAwEBBAEBAgECAwETA?= =?us-ascii?q?QEBCgsJCBsOij4LAYI6DAwDAwGCaSwGRTAHNwIkEgEFASgBDAgWPYF8SwGCCgQ?= =?us-ascii?q?LlgSDHzyLIYEyhDIBAwVHBYNwgUaBNItfegGBG4RhgQR8VgsBAQIYhFEUgkQEq?= =?us-ascii?q?i8HAoIYhlONJxt3giCKAopQlGmEUYsZAgQGBQIGDgEhgRwqWIEhTS91BmcKgUQ?= =?us-ascii?q?JCYE3VDwCg1eBPoMyJIVBcAEBgSeNRgGBIAEB?= X-IronPort-AV: E=Sophos;i="5.63,431,1557180000"; d="scan'208,217";a="311871340" X-MGA-submission: =?us-ascii?q?MDGFXBujNOZGlr98pgwVrst8HuMnkpSVFzcHDv?= =?us-ascii?q?E4ylFXqOzJjYMMY82pWYRac2JOSO2f0PFJs0KVurB74HOF/Pw8PtYNlN?= =?us-ascii?q?MBJd6YWOAlR1bVfHWDTIpnHvLQ6M/H+zCrh1gHtrj0OhEFkj2N0+b2K1?= =?us-ascii?q?z3d3Wm/Mv18DCtCs/R0COiIA=3D=3D?= Received: from out62-ams.mf.surf.net ([145.0.1.62]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 29 Jun 2019 16:07:27 +0200 Received: from xedge3.campus.tue.nl (xedge3.campus.tue.nl [131.155.6.118]) by outgoing3-ams.mf.surf.net (8.14.4/8.14.4/Debian-4+deb7u1) with ESMTP id x5TE7Ivm023527 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT) for ; Sat, 29 Jun 2019 16:07:25 +0200 Received: from xserver30c.campus.tue.nl (131.155.6.122) by xedge3.campus.tue.nl (131.155.6.118) with Microsoft SMTP Server (TLS) id 14.3.435.0; Sat, 29 Jun 2019 16:07:19 +0200 Received: from mail-io1-f44.google.com (209.85.166.44) by smtp.tue.nl (131.155.6.99) with Microsoft SMTP Server (TLS) id 14.3.435.0; Sat, 29 Jun 2019 16:07:19 +0200 Received: by mail-io1-f44.google.com with SMTP id j6so18708663ioa.5 for ; Sat, 29 Jun 2019 07:07:19 -0700 (PDT) X-Gm-Message-State: APjAAAV90q8rNsG20WNH+9chb3VxFtGM7Grtl7BTVps5kw0DxuxtJeqY W0At481kYqGAmX8t2a2XOjaRNFU2Dx6TR+DOoTM= X-Google-Smtp-Source: APXvYqxWWp9F2GkYulfvyJCqnYGp/A3t0wQHkM1Zv4LG5KF2de4M6SVglmbmfAoEOIM9vkAI5HHGC3iJUUSW0paBLbQ= X-Received: by 2002:a02:c7c9:: with SMTP id s9mr17373488jao.82.1561817237796; Sat, 29 Jun 2019 07:07:17 -0700 (PDT) MIME-Version: 1.0 From: Tim Willemse Date: Sat, 29 Jun 2019 16:07:01 +0200 X-Gmail-Original-Message-ID: Message-ID: To: undisclosed-recipients:; Content-Type: multipart/alternative; boundary="000000000000a9c067058c76e9e5" X-Originating-IP: [209.85.166.44] 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.118; country=NL; region=North Brabant; city=Eindhoven; latitude=51.4243; longitude=5.5110; http://maps.google.com/maps?q=51.4243,5.5110&z=6 X-CanItPRO-Stream: tue-out:default (inherits from tue:default,base:default) X-Canit-Stats-ID: 0b0uC7pLS - b292dc9378a5 - 20190629 (trained as not-spam) X-Antispam-Training-Forget: https://www.mf.surf.net/canit/b.php?c=f&i=0b0uC7pLS&m=b292dc9378a5&rlm=tue-out&t=20190629 X-Antispam-Training-Nonspam: https://www.mf.surf.net/canit/b.php?c=n&i=0b0uC7pLS&m=b292dc9378a5&rlm=tue-out&t=20190629 X-Antispam-Training-Phish: https://www.mf.surf.net/canit/b.php?c=p&i=0b0uC7pLS&m=b292dc9378a5&rlm=tue-out&t=20190629 X-Antispam-Training-Spam: https://www.mf.surf.net/canit/b.php?c=s&i=0b0uC7pLS&m=b292dc9378a5&rlm=tue-out&t=20190629 X-Scanned-By: CanIt (www . roaringpenguin . com) X-Validation-by: t.a.c.willemse@tue.nl Subject: [Caml-list] FMICS 2019: Call for participation Reply-To: Tim Willemse X-Loop: caml-list@inria.fr X-Sequence: 17657 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: --000000000000a9c067058c76e9e5 Content-Type: text/plain; charset="UTF-8" ========================================== FMICS 2019 - Call for Participation Early Registration Deadline: 1 August 2019 ========================================== https://fmics2019.fsa.win.tue.nl The 24th International Conference on Formal Methods for Industrial Critical Systems will take place in Amsterdam, the Netherlands on 30-31 August. The aim of FMICS is to bring together scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. ================ Keynote Speakers ================ - Jaco van de Pol (joint invited speaker CONCUR) - Holger Hermanns ========== Registration ========== Register by 1 August 2019 (late registration is possible but at a higher cost). More information at: https://fmics2019.fsa.win.tue.nl/?page_id=100 ================= Co-located events ================= * CONCUR: https://event.cwi.nl/concur2019/ * FORMATS: https://lipn.univ-paris13.fr/formats2019/ * WORKSHOPS: - http://dhs.gforge.inria.fr/ - https://express-sos2019.cs.ru.nl/ - https://sites.google.com/site/radicalconcur - IFIP WG 1.8 Workshop on Trends in Concurrency Theory - https://yr-concur2019.fsa.win.tue.nl/ -- T.A.C. Willemse (T.A.C.Willemse@TUe.nl) +31 40 2472999 (voice) http://www.win.tue.nl/~timw http://www.linkedin.com/in/tacwillemse http://orcid.org/0000-0003-3049-7962 -- --000000000000a9c067058c76e9e5 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
FMICS 2019 - Call for Participation

Early Registration Deadline:= 1 August 2019
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
https://fmics2019.fsa.win.tu= e.nl

The 24th International Conference on Formal Methods for Ind= ustrial Critical Systems will take place in Amsterdam, the Netherlands on 3= 0-31 August.

The aim of FMICS is to bring together scientists and en= gineers who are active in the area of formal methods and interested in exch= anging their experiences in the industrial usage of these methods. =C2=A0
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Keynote Speakers<= br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

- Jaco van de Po= l (joint invited speaker CONCUR)
- Holger Hermanns


=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D
Registration
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
=
Register by 1 August 2019 (late registration is possible but at a highe= r cost).=C2=A0 More information at:

https://fmics2019.fsa.win.tue.nl/?page_id=3D100=

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Co-locat= ed events
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

* = CONCUR: https://event.cwi.nl/c= oncur2019/
* FORMATS: https://lipn.univ-paris13.fr/formats2019/
* WORKSHOPS:
= =C2=A0 - http://dhs.gforge.inria.fr= /
=C2=A0 - https://ex= press-sos2019.cs.ru.nl/
=C2=A0 - https://sites.google.com/site/radicalconcur
= =C2=A0 - IFIP WG 1.8 Workshop on Trends in Concurrency Theory
=C2=A0 - = https://yr-concur2019.fsa= .win.tue.nl/


--
--000000000000a9c067058c76e9e5--