caml-list - the Caml user's mailing list
 help / Atom feed
From: SAOUSSEN CHEIKHROUHOU <saoussen.cheikhrouhou@redcad.org>
To: tcsvc-announce <TCSVC-ANNOUNCE@computer.org>, games@lists.rwth-aachen.de,  cfp@ibr.cs.tu-bs.de, podc-related@listserv.acm.org,  CHI-ANNOUNCEMENTS@listserv.acm.org, easst-members@lists.le.ac.uk,  mycolleagues@mailman.ufsc.br, rsd-forum@cines.fr, seworld@sigsoft.org,  dbworld@cs.wisc.edu, agents@cs.umbc.edu, cscw-all@jiscmail.ac.uk,  haskell@haskell.org, N2Women <n2women@acm.org>, multiagent@yahoogroups.com,  computational.science@lists.iccsa.org, FME events <events@fmeurope.org>,  bull-i3@irit.fr, gratra@lists.uni-paderborn.de, chi-jobs@acm.org,  petrinet@informatik.uni-hamburg.de, cl-isabelle-users@lists.cam.ac.uk,  irma-list@irma-international.org, concurrency@listserver.tue.nl,  mvd@lists.cs.illinois.edu, prog-lang@cs.uiuc.edu, deducteam-seminar@inria.fr,  sma@loria.fr, authors@mailman.ufsc.br, pvs@csl.sri.com,  appsem@lists.tcs.ifi.lmu.de, clean-list@science.ru.nl,  sage-announce@mailman.sage.org, latincolleagues@mailman.ufsc.br,  Vki-list@dfki.de, "facs-events@jiscmail.ac.uk" <facs-events@jiscmail.ac.uk>,  announce@informatics-europe.org, asr@cines.fr, prog-lang@lists.illinois.edu,  gdr.gpl@imag.fr, annonces@societe-informatique-de-france.fr,  caml-list@inria.fr, caml-announce@inria.fr,  Mnet mailing list <FMnet@jiscmail.ac.uk>, ProCoS mailing list <procos@jiscmail.ac.uk>,  IFM SIG mailing list <ifmsig@cs.tcd.ie>, ZFORUM mailing list <zforum@jiscmail.ac.uk>, AI-SGES@jiscmail.ac.uk,  SIGSAND-L@cliffy.ucs.mun.ca, cse-cfp@cse.stfx.ca, mycadm@hotmail.com
Subject: [Caml-list] Call for participation: School and Colloquium ICTAC 2O19
Date: Mon, 9 Sep 2019 18:17:52 +0100
Message-ID: <CAMnv+HgCJ1QZTDuC0vE-dEC_1TnD4kM8xwHbGX+5hW-HdxexpA@mail.gmail.com> (raw)

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

Call for participation: School and Colloquium

16th International Colloquium on Theoretical Aspects of Computing (ICTAC
2019)
http://ictac2019.redcad.org

Alhambra Hotel, Yassmine Hammamet, Tunisia
31st October - 4th November 2019

The aim of this colloquium is to bring together practitioners and
researchers from academia,
industry and government to present research results, and exchange
experience, ideas, and solutions
for their problems in theoretical aspects of computing. ICTAC also aims to
promote research
cooperation between developing and industrial countries.

A school will be held as a pre-program to the ICTAC2019 Colloquium from
from 31st October to 1st November 2019.
Leaders in the field will give lectures on the practice, research, and
state of the art in Theoretical Aspects of Computing.


------- Registration is open as follows:
• Early – Before 1 September
• Late – Before 1 October
• On site – After 31 October
Registration is via the ICTAC2019 website:
http://www.redcad.org/events/ictac2019/Website/registration.html


------- Programme Information
The conference will feature invited speakers and presentations of accepted
papers.
More details on the programme:
http://www.redcad.org/events/ictac2019/Website/program.html


------- Invited Speakers
School Speakers
Patrick Cousot, New York University, USA
Kamel Barkaoui, Conservatoire National des Arts et Métiers, Paris, France
Dominique Méry, LORIA, Université de Lorraine, France
Akka Zemmari, University of Bordeaux, France

Keynote Speakers
Patrick Cousot, New York University, USA
Thomas A. Henzinger, Institute of Science and Technology, Austria
Dominique Méry, LORIA, Université de Lorraine, France


------- Chairs
General chairs:
Mohamed Jmaiel, University of Sfax, Tunisia
Walid Gaaloul, Paris-Saclay University, France

Programme chairs:
Robert M. Hierons, University of Sheffield, United Kingdom
Mohamed Mosbah, LaBRI, Bordeaux INP, France

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

                 reply index

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

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=CAMnv+HgCJ1QZTDuC0vE-dEC_1TnD4kM8xwHbGX+5hW-HdxexpA@mail.gmail.com \
    --to=saoussen.cheikhrouhou@redcad.org \
    --cc=AI-SGES@jiscmail.ac.uk \
    --cc=CHI-ANNOUNCEMENTS@listserv.acm.org \
    --cc=FMnet@jiscmail.ac.uk \
    --cc=SIGSAND-L@cliffy.ucs.mun.ca \
    --cc=TCSVC-ANNOUNCE@computer.org \
    --cc=Vki-list@dfki.de \
    --cc=agents@cs.umbc.edu \
    --cc=annonces@societe-informatique-de-france.fr \
    --cc=announce@informatics-europe.org \
    --cc=appsem@lists.tcs.ifi.lmu.de \
    --cc=asr@cines.fr \
    --cc=authors@mailman.ufsc.br \
    --cc=bull-i3@irit.fr \
    --cc=caml-announce@inria.fr \
    --cc=caml-list@inria.fr \
    --cc=cfp@ibr.cs.tu-bs.de \
    --cc=chi-jobs@acm.org \
    --cc=cl-isabelle-users@lists.cam.ac.uk \
    --cc=clean-list@science.ru.nl \
    --cc=computational.science@lists.iccsa.org \
    --cc=concurrency@listserver.tue.nl \
    --cc=cscw-all@jiscmail.ac.uk \
    --cc=cse-cfp@cse.stfx.ca \
    --cc=dbworld@cs.wisc.edu \
    --cc=deducteam-seminar@inria.fr \
    --cc=easst-members@lists.le.ac.uk \
    --cc=events@fmeurope.org \
    --cc=facs-events@jiscmail.ac.uk \
    --cc=games@lists.rwth-aachen.de \
    --cc=gdr.gpl@imag.fr \
    --cc=gratra@lists.uni-paderborn.de \
    --cc=haskell@haskell.org \
    --cc=ifmsig@cs.tcd.ie \
    --cc=irma-list@irma-international.org \
    --cc=latincolleagues@mailman.ufsc.br \
    --cc=multiagent@yahoogroups.com \
    --cc=mvd@lists.cs.illinois.edu \
    --cc=mycadm@hotmail.com \
    --cc=mycolleagues@mailman.ufsc.br \
    --cc=n2women@acm.org \
    --cc=petrinet@informatik.uni-hamburg.de \
    --cc=podc-related@listserv.acm.org \
    --cc=procos@jiscmail.ac.uk \
    --cc=prog-lang@cs.uiuc.edu \
    --cc=prog-lang@lists.illinois.edu \
    --cc=pvs@csl.sri.com \
    --cc=rsd-forum@cines.fr \
    --cc=sage-announce@mailman.sage.org \
    --cc=seworld@sigsoft.org \
    --cc=sma@loria.fr \
    --cc=zforum@jiscmail.ac.uk \
    /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