Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
From: Bas van den Heuvel <vdheuvel@informatik.uni-freiburg.de>
To: cphc-conf@jiscmail.ac.uk, fmics@inria.fr, podc-related@acm.org,
	 aisworld@lists.aisnet.org, announce@informatics-europe.org,
	bull-i3@irit.fr,  concurrency@listserver.tue.nl,
	distjisbd@lcc.uma.es, dmanet@zpr.uni-koeln.de,
	 facs-events@jiscmail.ac.uk, fg-arc@lists.uni-paderborn.de,
	 fmnet-request@jiscmail.ac.uk, folli@folli.info,
	gratra@lists.uni-paderborn.de,  hipeac.publicity@lists.ugent.be,
	hol-info@lists.sourceforge.net,  ipalist@listserver.tue.nl,
	events@fmeurope.org, maude-users@cs.uiuc.edu,
	 moca-announce@list.it.uu.se, nwpt-info@lists.ioc.ee,
	 petri-net-world@petrinet.net, procos@jiscmail.ac.uk,
	prog-lang@diku.dk,  prog-lang@lists.cs.illinois.edu,
	protege-announce@lists.stanford.edu,
	 theory-a@listserv.nodak.edu, theorynt@listserv.nodak.edu,
	aila@unicam.it,  announcements@lists.artist-embedded.org,
	bt-eu@dcs.gla.ac.uk,  cabernet-events@jiscmail.ac.uk,
	caml-list@inria.fr, categories@mta.ca,
	 cl-theory@lists.cam.ac.uk, dl@dl.kr.org,
	ifi-ci-event@lists.tu-clausthal.de,
	 fm-announcements@lists.nasa.gov, fmindia@cmi.ac.in,
	 gdr.gpl@univ-grenoble-alpes.fr, gpce-news@cs.rice.edu,
	ic.eatcs@di.unipi.it,  las-lics@lists.tu-berlin.de,
	lfcs-interest@dcs.ed.ac.uk,  logic-list@helsinki.fi,
	logic.list@outlook.com, logic@math.uni-bonn.de,
	 microservices-community@googlegroups.com,
	PPOPP@listserv.acm.org,  pvs@csl.sri.com, sal@csl.sri.com,
	tccc-announce@computer.org,  theorem-provers@ai.mit.edu,
	types@lists.chalmers.se, seworld@sigsoft.org,  coq-club@inria.fr,
	FMxSOCandBPM@cs.unibo.it, hpc-announce@mcs.anl.gov,
	 ifmsig@cs.tcd.ie, rv@cs.uiuc.edu, logic@cs.stanford.edu,
	 caic1402arvi@isp.uni-luebeck.de, complog@cs.nmsu.edu,
	 revcomp-list@jiscmail.ac.uk, fttc@dependability.org,
	 types-announce@lists.seas.upenn.edu, agents@cs.umbc.edu,
	 appsem@lists.tcs.ifi.lmu.de, sensoria@lists.tcs.ifi.lmu.de,
	 synalp@inrialpes.fr, mycolleagues@mailman.ufsc.br
Subject: [Caml-list] Call for Satellite Events (Workshops / Tutorials): DisCoTec 2025
Date: Fri, 22 Nov 2024 18:51:40 +0100	[thread overview]
Message-ID: <CAJ3U=NSBgR3tidT81Rt_3TvUsKrd_MzLu6Yipb-3wzwKb8hk-w@mail.gmail.com> (raw)

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

[Apologies for multiple postings]
************************************************************************

 Call for Satellite Events (Workshops / Tutorials)

 20th International Federated Conference on Distributed Computing Techniques

 DisCoTec 2025

 Lille, France, 16-20 June 2025

 https://www.discotec.org/2025

************************************************************************

DisCoTec 2025 is one of the major events sponsored by the International
Federation for Information Processing (IFIP) and the European Association
for Programming Languages and Systems (EAPLS). It gathers conferences and
satellite events that cover a broad spectrum of distributed computing
subjects — from theoretical foundations and formal description techniques,
testing and verification methods, to language design and system
implementation approaches.


* Main Conferences *

  - COORDINATION (https://www.discotec.org/2025/coordination)
    27rd International Conference on Coordination Models and Languages
    PC Chairs: Cinzia Di Giusto (Université Côte d’Azur, FR) and António
Ravara (NOVA School of Science and Technology, PT)

  - DAIS (https://www.discotec.org/2025/dais)
    25st International Conference on Distributed Applications and
Interoperable Systems
    PC Chairs: Daniel Balouek (INRIA, FR) and Ibéria Medeiros (University
of Lisbon, PT)

  - FORTE (https://www.discotec.org/2025/forte)
    45st International Conference on Formal Techniques for Distributed
Objects, Components and Systems
    PC Chairs: Carla Ferreira (NOVA University of Lisbon, PT) and Claudio
A. Mezzina (University of Urbino, IT)


* Satellite Events *

The DisCoTec 2025 organising committee invites proposals for satellite
events to complement the three main conferences. The aim is to provide a
vivid and open forum for discussions, presentations of preliminary research
results and ongoing work, as well as presentations of research work to a
focussed audience.

The satellite events will be held in conjunction with the main events.
Prospective satellite event chairs should contact the organisers and
provide the following information:
  - the name and the preferred date of the proposed satellite event (June
16 or 20, 2025);
  - a short description of the satellite event (up to 300 words);
  - if applicable, a description of past editions of the satellite event,
including dates, organizers, submission and acceptance counts, and
attendance;
  - the name and short CV of the organizer(s);
  - the expected number of participants;
  - for tutorials: the DisCoTec conference most related to the proposed
tutorial (COORDINATION, DAIS, FORTE);
  - for workshops: the publication plan (only invited speakers, no
published proceedings, pre-/post-proceedings published with
EPTCS/ENTCS/...).

Important dates (for all workshops):
  - February 10, 2025: proposal submission deadline
  - March 1, 2025: Notification of accepted satellite events
  - Mid April, 2025: Paper submission deadline
  - Mid May, 2025: Notification of accepted papers
  - June 16 or 20, 2025: Satellite events

The submission and notification deadlines of the satellite events are at
the discretion of the individual event chairs. However, the notification
must be no later than the early registration deadline for DisCoTec 2025 (to
be announced).


* DisCoTec 2025 Satellite Events Chair *

  - Larisa Safina (INRIA, FR), discotec-satellite@inria.fr

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

                 reply	other threads:[~2024-11-22 17:52 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly 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='CAJ3U=NSBgR3tidT81Rt_3TvUsKrd_MzLu6Yipb-3wzwKb8hk-w@mail.gmail.com' \
    --to=vdheuvel@informatik.uni-freiburg.de \
    --cc=FMxSOCandBPM@cs.unibo.it \
    --cc=PPOPP@listserv.acm.org \
    --cc=agents@cs.umbc.edu \
    --cc=aila@unicam.it \
    --cc=aisworld@lists.aisnet.org \
    --cc=announce@informatics-europe.org \
    --cc=announcements@lists.artist-embedded.org \
    --cc=appsem@lists.tcs.ifi.lmu.de \
    --cc=bt-eu@dcs.gla.ac.uk \
    --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=cl-theory@lists.cam.ac.uk \
    --cc=complog@cs.nmsu.edu \
    --cc=concurrency@listserver.tue.nl \
    --cc=coq-club@inria.fr \
    --cc=cphc-conf@jiscmail.ac.uk \
    --cc=distjisbd@lcc.uma.es \
    --cc=dl@dl.kr.org \
    --cc=dmanet@zpr.uni-koeln.de \
    --cc=events@fmeurope.org \
    --cc=facs-events@jiscmail.ac.uk \
    --cc=fg-arc@lists.uni-paderborn.de \
    --cc=fm-announcements@lists.nasa.gov \
    --cc=fmics@inria.fr \
    --cc=fmindia@cmi.ac.in \
    --cc=fmnet-request@jiscmail.ac.uk \
    --cc=folli@folli.info \
    --cc=fttc@dependability.org \
    --cc=gdr.gpl@univ-grenoble-alpes.fr \
    --cc=gpce-news@cs.rice.edu \
    --cc=gratra@lists.uni-paderborn.de \
    --cc=hipeac.publicity@lists.ugent.be \
    --cc=hol-info@lists.sourceforge.net \
    --cc=hpc-announce@mcs.anl.gov \
    --cc=ic.eatcs@di.unipi.it \
    --cc=ifi-ci-event@lists.tu-clausthal.de \
    --cc=ifmsig@cs.tcd.ie \
    --cc=ipalist@listserver.tue.nl \
    --cc=las-lics@lists.tu-berlin.de \
    --cc=lfcs-interest@dcs.ed.ac.uk \
    --cc=logic-list@helsinki.fi \
    --cc=logic.list@outlook.com \
    --cc=logic@cs.stanford.edu \
    --cc=logic@math.uni-bonn.de \
    --cc=maude-users@cs.uiuc.edu \
    --cc=microservices-community@googlegroups.com \
    --cc=moca-announce@list.it.uu.se \
    --cc=mycolleagues@mailman.ufsc.br \
    --cc=nwpt-info@lists.ioc.ee \
    --cc=petri-net-world@petrinet.net \
    --cc=podc-related@acm.org \
    --cc=procos@jiscmail.ac.uk \
    --cc=prog-lang@diku.dk \
    --cc=prog-lang@lists.cs.illinois.edu \
    --cc=protege-announce@lists.stanford.edu \
    --cc=pvs@csl.sri.com \
    --cc=revcomp-list@jiscmail.ac.uk \
    --cc=rv@cs.uiuc.edu \
    --cc=sal@csl.sri.com \
    --cc=sensoria@lists.tcs.ifi.lmu.de \
    --cc=seworld@sigsoft.org \
    --cc=synalp@inrialpes.fr \
    --cc=tccc-announce@computer.org \
    --cc=theorem-provers@ai.mit.edu \
    --cc=theory-a@listserv.nodak.edu \
    --cc=theorynt@listserv.nodak.edu \
    --cc=types-announce@lists.seas.upenn.edu \
    --cc=types@lists.chalmers.se \
    /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
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox