caml-list - the Caml user's mailing list
 help / Atom feed
* [Caml-list] FMICS 2019: Call for participation
@ 2019-06-29 14:39 Tim Willemse
  0 siblings, 0 replies; 1+ messages in thread
From: Tim Willemse @ 2019-06-29 14:39 UTC (permalink / raw)
  To: undisclosed-recipients:;

[-- Attachment #1: Type: text/plain, Size: 1413 bytes --]

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

[-- Attachment #2: Type: text/html, Size: 2415 bytes --]

^ permalink raw reply	[flat|nested] 1+ messages in thread

only message in thread, back to index

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-06-29 14:39 [Caml-list] FMICS 2019: Call for participation Tim Willemse

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list

AGPL code for this site: git clone https://public-inbox.org/ public-inbox