caml-list - the Caml user's mailing list
 help / Atom feed
From: "Luttik, S.P." <s.p.luttik@TUE.nl>
To: "caml-list@inria.fr" <caml-list@inria.fr>, "categories@mta.ca" <categories@mta.ca>, "concurrency@listserver.tue.nl" <concurrency@listserver.tue.nl>, "fmics@inrialpes.fr" <fmics@inrialpes.fr>, "fmnet-request@jiscmail.ac.uk" <fmnet-request@jiscmail.ac.uk>, "Secretariaat IPA" <IPA@TUE.nl>, "moca-announce@list.it.uu.se" <moca-announce@list.it.uu.se>, "papm@informatics.ed.ac.uk" <papm@informatics.ed.ac.uk>, "petrinet@informatik.uni-hamburg.de" <petrinet@informatik.uni-hamburg.de>, "podc-related@acm.org" <podc-related@acm.org>, "procos-request@jiscmail.ac.uk" <procos-request@jiscmail.ac.uk>, "prog-lang@diku.dk" <prog-lang@diku.dk>, "pvs@csl.sri.com" <pvs@csl.sri.com>, "qest-announce@iti.uiuc.edu" <qest-announce@iti.uiuc.edu>, "theorem-provers@ai.mit.edu" <theorem-provers@ai.mit.edu>, "theory-logic@cs.cmu.edu" <theory-logic@cs.cmu.edu>, "announcements@lists.artist-embedded.org" <announcements@lists.artist-embedded.org>, "bull-i3@irit.fr" <bull-i3@irit.fr>, "dbworld@cs.wisc.edu" <dbworld@cs.wisc.edu>, "d-con@lists.rwth-aachen.de" <d-con@lists.rwth-aachen.de>, "dl@dl.kr.org" <dl@dl.kr.org>, "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>, "event@in.tu-clausthal.de" <event@in.tu-clausthal.de>, "folli@folli.info" <folli@folli.info>, "las-lics@lists.tu-berlin.de" <las-lics@lists.tu-berlin.de>, "prog-lang@lists.cs.illinois.edu" <prog-lang@lists.cs.illinois.edu>, "protege-user@lists.stanford.edu" <protege-user@lists.stanford.edu>, "public-owl-dev@w3.org" <public-owl-dev@w3.org>, "theorynt@listserv.nodak.edu" <theorynt@listserv.nodak.edu>, "aila@unicam.it" <aila@unicam.it>, "announce@informatics-europe.org" <announce@informatics-europe.org>, "cabernet-events@jiscmail.ac.uk" <cabernet-events@jiscmail.ac.uk>, "caic1402arvi@isp.uni-luebeck.de" <caic1402arvi@isp.uni-luebeck.de>, "complog@cs.nmsu.edu" <complog@cs.nmsu.edu>, "coq-club@inria.fr" <coq-club@inria.fr>, "cphc-conf@jiscmail.ac.uk" <cphc-conf@jiscmail.ac.uk>, "ecoop-info@ecoop.org" <ecoop-info@ecoop.org>, "facs-events@jiscmail.ac.uk" <facs-events@jiscmail.ac.uk>, "fg-arc@lists.uni-paderborn.de" <fg-arc@lists.uni-paderborn.de>, "fm-announcements@lists.nasa.gov" <fm-announcements@lists.nasa.gov>, "FMxSOCandBPM@cs.unibo.it" <FMxSOCandBPM@cs.unibo.it>, "gdr.gpl@imag.fr" <gdr.gpl@imag.fr>, "hol-info@lists.sourceforge.net" <hol-info@lists.sourceforge.net>, "ic.eatcs@di.unipi.it" <ic.eatcs@di.unipi.it>, "ifip@ifip.or.at" <ifip@ifip.or.at>, "ifmsig@cs.tcd.ie" <ifmsig@cs.tcd.ie>, "lfcs-interest@dcs.ed.ac.uk" <lfcs-interest@dcs.ed.ac.uk>, "logic@cs.stanford.edu" <logic@cs.stanford.edu>, "logic-list@helsinki.fi" <logic-list@helsinki.fi>, "Maude-users@cs.uiuc.edu" <Maude-users@cs.uiuc.edu>, "nwpt-info@lists.ioc.ee" <nwpt-info@lists.ioc.ee>, "rv@cs.uiuc.edu" <rv@cs.uiuc.edu>, "sal@csl.sri.com" <sal@csl.sri.com>, "theory@cl.cam.ac.uk" <theory@cl.cam.ac.uk>, "theory-a@listserv.nodak.edu" <theory-a@listserv.nodak.edu>
Subject: [Caml-list] CONCUR 2019: Call for Workshop Proposals
Date: Thu, 10 Jan 2019 08:53:10 +0000
Message-ID: <55E8A647-B56D-4A45-9595-20E9961D1163@tue.nl> (raw)
In-Reply-To: <BC4EA014-1900-41F0-A432-4CFCA895DB4B@tue.nl>

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

* *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 August 26 until August 31, 2019 in Amsterdam, The Netherlands. It will be co-located with the 17th International Conference on Formal Modelling and Analysis 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 and its applications. Example topics include: semantics, logics, verification techniques for concurrent systems, cross-fertilization between industry and 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 systems (biological, timed), security issues, semantical issues, and verification 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, interactive atmosphere for presenting novel ideas and discussing their application.

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, including 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 organisers.

The main responsibility for organising the workshop goes to the workshop organiser(s), including:

* workshop publicity (possibly including call for papers, submission and review 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<http://tue.nl>)

For more information, please contact me via email (s.p.luttik at tue.nl<http://tue.nl>).

The CONCUR 2019 workshop chair,
Bas Luttik
https://www.win.tue.nl/~luttik
Eindhoven University of Technology


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

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

      reply index

Thread overview: 2+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2018-11-28 17:53 [Caml-list] CONCUR 2019 " Luttik, S.P.
2019-01-10  9:20 ` Luttik, S.P. [this message]

Reply instructions:

You may reply publically to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=55E8A647-B56D-4A45-9595-20E9961D1163@tue.nl \
    --to=s.p.luttik@tue.nl \
    --cc=FMxSOCandBPM@cs.unibo.it \
    --cc=IPA@TUE.nl \
    --cc=Maude-users@cs.uiuc.edu \
    --cc=aila@unicam.it \
    --cc=announce@informatics-europe.org \
    --cc=announcements@lists.artist-embedded.org \
    --cc=bull-i3@irit.fr \
    --cc=cabernet-events@jiscmail.ac.uk \
    --cc=caic1402arvi@isp.uni-luebeck.de \
    --cc=caml-list@inria.fr \
    --cc=categories@mta.ca \
    --cc=complog@cs.nmsu.edu \
    --cc=concurrency@listserver.tue.nl \
    --cc=coq-club@inria.fr \
    --cc=cphc-conf@jiscmail.ac.uk \
    --cc=d-con@lists.rwth-aachen.de \
    --cc=dbworld@cs.wisc.edu \
    --cc=dl@dl.kr.org \
    --cc=dmanet@zpr.uni-koeln.de \
    --cc=ecoop-info@ecoop.org \
    --cc=event@in.tu-clausthal.de \
    --cc=facs-events@jiscmail.ac.uk \
    --cc=fg-arc@lists.uni-paderborn.de \
    --cc=fm-announcements@lists.nasa.gov \
    --cc=fmics@inrialpes.fr \
    --cc=fmnet-request@jiscmail.ac.uk \
    --cc=folli@folli.info \
    --cc=gdr.gpl@imag.fr \
    --cc=hol-info@lists.sourceforge.net \
    --cc=ic.eatcs@di.unipi.it \
    --cc=ifip@ifip.or.at \
    --cc=ifmsig@cs.tcd.ie \
    --cc=las-lics@lists.tu-berlin.de \
    --cc=lfcs-interest@dcs.ed.ac.uk \
    --cc=logic-list@helsinki.fi \
    --cc=logic@cs.stanford.edu \
    --cc=moca-announce@list.it.uu.se \
    --cc=nwpt-info@lists.ioc.ee \
    --cc=papm@informatics.ed.ac.uk \
    --cc=petrinet@informatik.uni-hamburg.de \
    --cc=podc-related@acm.org \
    --cc=procos-request@jiscmail.ac.uk \
    --cc=prog-lang@diku.dk \
    --cc=prog-lang@lists.cs.illinois.edu \
    --cc=protege-user@lists.stanford.edu \
    --cc=public-owl-dev@w3.org \
    --cc=pvs@csl.sri.com \
    --cc=qest-announce@iti.uiuc.edu \
    --cc=rv@cs.uiuc.edu \
    --cc=sal@csl.sri.com \
    --cc=theorem-provers@ai.mit.edu \
    --cc=theory-a@listserv.nodak.edu \
    --cc=theory-logic@cs.cmu.edu \
    --cc=theory@cl.cam.ac.uk \
    --cc=theorynt@listserv.nodak.edu \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

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