coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] FMICS 2019: Call for participation

From: Tim Willemse <t.a.c.willemse AT tue.nl>
To: undisclosed-recipients:;
Subject: [Coq-Club] FMICS 2019: Call for participation
Date: Sat, 29 Jun 2019 16:07:01 +0200
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=t.a.c.willemse AT tue.nl; spf=Pass smtp.mailfrom=T.A.C.Willemse AT tue.nl; spf=None smtp.helo=postmaster AT out62-ams.mf.surf.net
Ironport-phdr: 9a23:QhPvxhTyjUjaAEofAn/Ru+5GeNpsv+yvbD5Q0YIujvd0So/mwa67ZBSAt8tkgFKBZ4jH8fUM07OQ7/m6HzZaqsnY+DBaKdoQDkZD0Z1X1yUbQ+e9QXXhK/DrayFoVO9jb3RCu0+BDE5OBczlbEfTqHDhpRQbGxH4KBYnbr+tQt2agMu4zf299IPOaAtUmjW9falyLBKrpgnNq8Uam4RvJrsvxhfTvHdEZetayGF1KVmOmxrw+tq88IRs/ihNpv4t7dJMXbn/c68lUbFWETMqPnwv6sb2rxfDVwyP5nUdUmUSjBVFBhXO4Q/5UJnsrCb0r/Jx1yaGM8L4S7A0Qimi4LxwSBD0kicHNiU2/3/Rh8dtka9UuhOhpxh4w47JfIGYMed1c63Bcd8GQ2dKQ8FeWTFcAoOnd4sAEfYOPfpWoYn6olsBtxq+BQ+xD+/rxTJFgnr60Ks93OQ8FwHJwQ0gH8kSv3TQq9X1L7kdXv2ox6XMwjjPc/Za1DHg44bKbx8hu+mBUr1wf8TfykchCh/KjlSLpIP/Iz+YzP4Av3SH4+diU++klm4pqxt2ojiq3soilIjJhocIwV/E9CV5xII1KsO9SE5gf9GvDZxdtz2AO4RsWM8tX3tkuSg7yr0CvZ60Yi0KyI85yBPEd/yHbpaH7gjlVOaVODp1gm9udry4hxa360egy+v8W9Gw0FZLqCpFkcfDuW0M1xzV8MSIVvx9/kK51TaIzQDc9uBELl0umarcMZ4hzaY8mYYdsETCBCP2nkH2gLeZdkUj/eio5ODnbav8qpCAMI90jxnyMqUomsylAOQ3KBICX2aB+eikyb3j+0z5QKtTgv0uiKbZqpHaJd8GqqO3GQNV3Jwj5w6lDze7ytgYm30HIEpZeBKakYflIVfOIPT+APyigFqsiC9my+3JM7DhGJnBMmLPnKr7cbt89UJQ0BQ/wcxb6p5OCbwMIOj/VlLwudHZFBM0PAO5zuD6A9tnzIweQ3iAAqqBPaPSr1CI4uUvLvGLZI8IpDbwKuYp6+f0gn88gl8RZ6yp3ZUNZHCjA/RmOUuZbWDqgtgfDWcGpgs+TOr0h12eSTNfenm/UqIm6j0nEo6qEJ3PS4GzjLCZ2Se0BJxWZmRIClCWFnfocp2JVekWZC+OOMNsjCYIWrigS48l0RGhqgr6y6F5IefP5i0YqIzs2MJz5+3XjR0y7yB7D9yB02GRSGF5hn8HRzgv3KxmvUN9zkqD3rNjjvxDFd1T4utJXR0gOZ7dyex6EdHyVRjbcteHUlb1CumhVCw3QtMqyNsJeEtxXs+vhRHb3iesH6RHxO+lHpsxp57d2jDOJsJ5xnPd2eF1kx8vBMAJKmyigqN67AX7G5PE1UOdwfX5PZ8A1TLAoT/QhVGFu1tVBV4hCPmXbTUkfkLT6O/ByAbaVbb+W6g6P01HzZzac/YYWpjSlVxDAczbFpHebma2wTziAguUmOnJZY/xPWATmj7AEkZClQ0Pry7fZFoOQxy5qmebNwRAUFfmYkfi6+57+CGnU0JyyQXYNkA=

==========================================
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 AT 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
--

[Coq-Club] FMICS 2019: Call for participation, Tim Willemse, 06/29/2019