From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 491CF5D4 for ; Mon, 9 Sep 2019 17:18:09 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.64,486,1559512800"; d="scan'208,217";a="400931643" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 09 Sep 2019 19:18:07 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id B49307EF61; Mon, 9 Sep 2019 19:18:07 +0200 (CEST) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 197007EF0C for ; Mon, 9 Sep 2019 19:17:59 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=saoussen.cheikhrouhou@redcad.org; spf=SoftFail smtp.mailfrom=saoussen.cheikhrouhou@redcad.org; spf=None smtp.helo=postmaster@mail-yb1-f194.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AwHrgJBONzd6Ya5NieXEl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0KP/6rsbcNUDSrc9gkEXOFd2Cra4d0ayP4/6rADRQqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjWwba5sIBmssAnctcgbjYR/JqotyRbCv2dFdf?= =?us-ascii?q?lRyW50P1yYggzy5t23/J5t8iRQv+wu+stdWqjkfKo2UKJVAi0+P286+MPkux/D?= =?us-ascii?q?TRCS5nQHSWUZjgBIAwne4x7kWJr6rzb3ufB82CmeOs32UKw0VDG/5KplVBPklC?= =?us-ascii?q?EKPCMi/WrJlsJ/kr5UoBO5pxx+3YHUZp2VNOFjda/ZZN8WWHZNUtpUWyFHH4iy?= =?us-ascii?q?bZYAD/AZMOlXr4fzqVgAowagCwawH+7g0CNEi2Xs0KEmz+gsEwfL1xEgEdIUt3?= =?us-ascii?q?TUqc34OroOXO6swqbG0CjNYfxO1zzg9oXGcB8vr/KJU7xybcTf0EcgGQHcgFqe?= =?us-ascii?q?tIfoOCiV2f4Ks2iG9OpgTvygi2g9pw5tojig2MYsiorJhoIPzVDE6CV5wIEoJd?= =?us-ascii?q?CjUk50f8OrH4dKuC6HLYd2RdkiQ25xtSs817YIt5m7fC0Qx5QmwR7Sc+aHfJaV?= =?us-ascii?q?7R3/TumePC10hHV/eLKwgRu57EuuyvXkW8WqzFpHqjBJn9rMu3wXyRDf98yKRu?= =?us-ascii?q?Fg8kql1juC0R3Y5PteLkAuj6XbLoYswr4umZoXtkTOBir2l1/3jK+Sb0kl+vOn?= =?us-ascii?q?5/n+brXou5ORM4B5hhvxMqQpncy/DuA4PRYUU2eH/uS80aXv/Uz/QLpUkv07ir?= =?us-ascii?q?fVvIzeKMgBpaO0AxVZ3pg+5xu7FTuqzdAVkHYfIFJAYh2HjozpO1/UIPD/CPey?= =?us-ascii?q?m0+sny1sx/DbJb3hGYvCLn7ZnLj9fbZy9U9cyAkzzdBF4JJUF7EBIPXuWkLqrt?= =?us-ascii?q?zXEAI2PBCuzOn6Etl90ZkeWW2XDq+DLKzSqUOI5v4oI+SUeIAaojP9K/w86/7q?= =?us-ascii?q?jH85gkMdcLKy3ZoXbXC4Bu5pL1+YYXrqmNcBEH0FshAwTOzw2xW+VmtPbG2sVO?= =?us-ascii?q?c14Dc8FYStAM+XequWvpfE9QGdOaBwTU1uAVeJCWr0ep/CXO0DPmbaLcZknycs?= =?us-ascii?q?Ubm6V5Rnzw6ytErzwrFnI+yS9iBc/ZntzPB07feVngp06SExBd/b32zJB3lzkm?= =?us-ascii?q?hNXTIy1bxyrWR5y0yfyqVinbpRHtkV4OlGFk8RFb+Z5spcLO3UcS/kU/G1c36i?= =?us-ascii?q?Q866GjwrUJQ4yNpIZFxyX52vhwvYw2+vDrofmqaQLJg16b7HmXz8Yc92jWvFkO?= =?us-ascii?q?EknlIhRs9CPGK7i7VX8gHSA4vAlQOEmb2hM64GmGbX72vGw22UoURwWw92XL6D?= =?us-ascii?q?U2pbLlDbstPj4k/qVL6hErMpLk1G08HGYqdAddrziVluT+ylJ9XFaCS8l3r0TR?= =?us-ascii?q?+Hy7WQd6LhYCMA2S/WTkUIjkRb9m2NKk03AiOJoWPFBzlnFFapakiq7Oo64HOy?= =?us-ascii?q?VUw5ywWib0R61Lex/lgSn/PYA9VJ4bUBtSFp/zMuA1G40tT+AtGF4Q17c/MYKd?= =?us-ascii?q?Yg5EtG3G3UsRBVL5WgKKdtnFkDax8xtETrk118DYBYjNQjsHItygN2b7mT0V5H?= =?us-ascii?q?fD6w2ZHrJqaRK2L55xnpbLTZnhnw9fve97kC7ugj4wHuogyvClEK/XBqzsNSy3?= =?us-ascii?q?ba4Y/FWk5aW4/1VgM2rDB7vbDGJCcno8vbz3RwK6Cctj7Zx8lvGe0kjw6pc9pF?= =?us-ascii?q?OqSeEkn+HolSDMivbe4tkUOBZxkBeudI++p8J866bfqA1bKDPeBumyijhHhG48?= =?us-ascii?q?Zg1EPJ9yN5QPPS0NAJzrXQ1Q/CViz1hlqlts2yhJtJfyo6Gmuk1TOiD4dUIKR5?= =?us-ascii?q?O5sITS+vOci+g9F/nILFWmRd/RuiAU8LwsmgZRuVaVX5mwpK2gBfqnuhkjai1T?= =?us-ascii?q?FymCABqquEwDfD2frvblwbJ2MNQm0mxVLyLaCwjssGRw6jdE4okB+k40H73O5W?= =?us-ascii?q?qLk7Z3HJRkgNeyHwIElpSe2tt6eJJcND9ddgvShbTe+gbFmfD6Xwphoc2jnLHm?= =?us-ascii?q?1ExTl9eSvu8o78ljR+j3icJTB9tj6RcNxsxRDF//TZTP9V2zMAAjR2kjKRDEL4?= =?us-ascii?q?d8G35v2fjJOFqfq/EWmmU9kbeDHz1o6FnC+6/nFxRwG0hLaylNyhFQ0nlyP2k5?= =?us-ascii?q?FhUSjBqlP4Y5L3/7+xMO9hdUQuHkK67c4+Upp3nYZ1jZcW3mUcjZi9+HMGlWL6?= =?us-ascii?q?N5NA0K3zKn0XSnpDx9fJ4Q7u30lnI3uG2o/ifnCUw89kbt/8f20N0WQ39YQCNq?= =?us-ascii?q?SVqbhFhjddrlS7rETdbLw11DkUwuBr5WAXhf0SkAgs1S6YC7EWW0BTezHv3Vzc?= =?us-ascii?q?4dm1t+BaemupbaOY1ktlltWoDbXEqwoaRXWvPt8rGyl388N0PXrN1nP08ITtZN?= =?us-ascii?q?jbdpceqweTixqGiPJabNo4jeAijithNHm7s2dhg/YhihMr2Zi8s6CDKn5x5+S4?= =?us-ascii?q?BhpZMDr0fIUe9iypxalShICZx4SHH5BoFXMFRt+gRPSuFzQZuO/PLAGFETAgpz?= =?us-ascii?q?KaH7TYBwqW9EZ/sn+KH53uOWueInIUi9t4AFGWLUlbxQQVRykSn5gjFwnsytal?= =?us-ascii?q?OExw4zRU71j+rQZKwe9ANh/lU26Zqh3sIhIyRYTXKRNX6gBE6A/RMNeCprZdOi?= =?us-ascii?q?dV4rWjrReGL2WaY0JBBicUWRrAT2j5OZKp3pHF+umcB+yxZ//PeqnG/fREUPyP?= =?us-ascii?q?3rqt05Bt+j+NMoOGNT9/DKt/kmtteDhCOuuRnjwOTy0RmGrJbtWH7EO99Chsr8?= =?us-ascii?q?+X+++tRAnjo4qCXf8aA/tIwS2TyaKKNuqRgikxLTdDyttY13HP0qUa9FwTkCpr?= =?us-ascii?q?fjipV70L8zPOGuaYs44SNDE2UAtxNdBD6qs92k9EMojGiZe97Z9XtdcTJxJhfV?= =?us-ascii?q?flm8+ndIoXKHr7MU7BQk2CcPyNPjCOyM/vSainRPtLkOtE8Ra5/X6eAkTqMjGr?= =?us-ascii?q?lz71UhmuNadHiyTIEgZZvdSGWzFQMlPOaprNSjCaE/9NqgAW5oB80mjDMnMHKj?= =?us-ascii?q?V6NUhNo7yT7Tlfn/V4BkRb43ZuJOXCnDyWubqLYq0KuOdmV3wn39lR5243nv4M?= =?us-ascii?q?tHkdGa5F3RDKp9srmGmI1+mCzj09DkhLozdPwZOB5ABsYPSFsJZHXnnA8VQG6m?= =?us-ascii?q?DCU01b9esgMcXmvuVr8vaKkavyLDlY9NeNp5kGCsTfIc7BN2AuY0GwRGzkSTAd?= =?us-ascii?q?RDvuDlnxwlRHmajIpGeYopMzpt7rgpVcErI=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CIKQASiHZddMLbVdFlDoINgwNSMyqEI?= =?us-ascii?q?YEdjXKFGZYVgSMDVAkBAwEMGAEKDAEBg3qCfxsMBTEEDQIMAQEEAQEBAgEDAwQ?= =?us-ascii?q?BEwEKCwwHJ4U3DII6KQGCaAEFARALBh0BARIMCBIeBzcCAiISAQUBIQEBGxIHg?= =?us-ascii?q?wABggoPmDiBAzyKMXOBMoJ9AQEFgQUBhHqBQAkSgSOLd4FYP4M3gSqCVgsBAoR?= =?us-ascii?q?rgliMSxifUw4HIIIEA2WGF411G4MjgyuSNI1+mQQPI4EcLQ2BaX10BoI1CYYrh?= =?us-ascii?q?RSFBAQ4QjABkR0BAQ?= X-IPAS-Result: =?us-ascii?q?A0CIKQASiHZddMLbVdFlDoINgwNSMyqEIYEdjXKFGZYVgSM?= =?us-ascii?q?DVAkBAwEMGAEKDAEBg3qCfxsMBTEEDQIMAQEEAQEBAgEDAwQBEwEKCwwHJ4U3D?= =?us-ascii?q?II6KQGCaAEFARALBh0BARIMCBIeBzcCAiISAQUBIQEBGxIHgwABggoPmDiBAzy?= =?us-ascii?q?KMXOBMoJ9AQEFgQUBhHqBQAkSgSOLd4FYP4M3gSqCVgsBAoRrgliMSxifUw4HI?= =?us-ascii?q?IIEA2WGF411G4MjgyuSNI1+mQQPI4EcLQ2BaX10BoI1CYYrhRSFBAQ4QjABkR0?= =?us-ascii?q?BAQ?= X-IronPort-AV: E=Sophos;i="5.64,486,1559512800"; d="scan'208,217";a="400931600" X-MGA-submission: =?us-ascii?q?MDH/7+8VBEqZQ9dFcJUfjrxy0zEDiOWVzCGQQx?= =?us-ascii?q?7GN3uRBq2uLPiRlNoPkIw40DWebwUPNAKxAef37XgJiKmglu72aMF2sb?= =?us-ascii?q?4wKaxejLV2gZHPHNZiWZZCwoZ40DvqZAfFsYjtYs2Kw4bX5zRHa+AZo4?= =?us-ascii?q?sQqaf1HrbX6YCuFIyF2woxaA=3D=3D?= Received: from mail-yb1-f194.google.com ([209.85.219.194]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 09 Sep 2019 19:17:57 +0200 Received: by mail-yb1-f194.google.com with SMTP id y21so4869907ybi.11 for ; Mon, 09 Sep 2019 10:17:57 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=redcad-org.20150623.gappssmtp.com; s=20150623; h=mime-version:from:date:message-id:subject:to; bh=DRlqksmMDSHO4lDQNGRLk5SBLvn6LprtM1EawJFY5po=; b=XjzpB0ocGDBX95BNMik3shh1Sx8HbxRZQeQAcf0Nh5uYPkPTWtfMGISJHmxfPgs+67 +nODl4BrAdoKrDco+C0szJZ3bfBy8sXMNciZLb7mnsxyE+mrMRVuAr2QdZaSCb69JI0b d4vwLOS4aOJeUHNhFD3LRgJB3Mm3idyYHlThUadXkMExr+c7SQ5Q1Lvd6/euf17Hq6nO QBCdWIiizR6XhUgdAcBi8evxNHZZl3joVDEn+yrGPTZOxnh3hDN05B5WzjyFdWE4KVkK K85oPW2KGB5RDgji49hdR+O+OmTa5vHz6ldnRLISZTbtAjpDdy4xtwIwBU/qvEMI44ac IYWA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=DRlqksmMDSHO4lDQNGRLk5SBLvn6LprtM1EawJFY5po=; b=UgvdMlTGlnlmbYz/YMyYlG86mlGbWCW/pit48LOBFj+2LgdlzFHAcyOPwehJA3ud+u FE5v+XvlNpnGgICizUdksf5gJO1PmfvAtw0M1E1niIHL+xzq9dHZnv02POq96+YoEwXd 3udsJcEosuY5Ax5VDsPGiDBsi4grk4Yqa1Z6KC71Yw+vMODOktiOKgktothKp2M9hDyM oCvdLCEnmBVUHcsi6k5QiSqoZ3lOrv5GzaXK1V93cB547MhocU3H/ywZcJWm+jO/bNu3 3m6optfaQ9bN+fTIF/6+hZ9BD2X4zH77WxStSos+jGUPecbd0lR64BrqHIuN5du02q02 rG4Q== X-Gm-Message-State: APjAAAVG9jbNnxZGaZfmwxoIADJSmCmvzQ8GU529bPjar/Hr3A9L+QXl k7+IjmdJpVgR0TEG5bFBlLmpjIgpRLEYOKwjOuqgsw== X-Google-Smtp-Source: APXvYqzBOpuupSXN1FqQaoItBxPHqKxlr6WJnz/WbVp0gHlmhREtrPl3VmiINURRGahz3mzSdXmiqfweLWu7TU0gykQ= X-Received: by 2002:a25:3c5:: with SMTP id 188mr16987043ybd.205.1568049476543; Mon, 09 Sep 2019 10:17:56 -0700 (PDT) MIME-Version: 1.0 From: SAOUSSEN CHEIKHROUHOU Date: Mon, 9 Sep 2019 18:17:52 +0100 Message-ID: To: tcsvc-announce , 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 , multiagent@yahoogroups.com, computational.science@lists.iccsa.org, FME events , 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" , 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 , ProCoS mailing list , IFM SIG mailing list , ZFORUM mailing list , AI-SGES@jiscmail.ac.uk, SIGSAND-L@cliffy.ucs.mun.ca, cse-cfp@cse.stfx.ca, mycadm@hotmail.com Content-Type: multipart/alternative; boundary="0000000000000a3d37059221f85b" Subject: [Caml-list] Call for participation: School and Colloquium ICTAC 2O19 Reply-To: SAOUSSEN CHEIKHROUHOU X-Loop: caml-list@inria.fr X-Sequence: 17797 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: --0000000000000a3d37059221f85b Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable 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: =E2=80=A2 Early =E2=80=93 Before 1 September =E2=80=A2 Late =E2=80=93 Before 1 October =E2=80=A2 On site =E2=80=93 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=C3=A9tiers, Paris, Fra= nce Dominique M=C3=A9ry, LORIA, Universit=C3=A9 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=C3=A9ry, LORIA, Universit=C3=A9 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 --0000000000000a3d37059221f85b Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
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 Nove= mber 2019

The aim of this colloquium is to bring together practition= ers and researchers from academia,
industry and government to present r= esearch results, and exchange experience, ideas, and solutions
for thei= r problems in theoretical aspects of computing. ICTAC also aims to promote = research
cooperation between developing and industrial countries.
<= br>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 Asp= ects of Computing.


------- Registration is open as follows:
= =E2=80=A2 Early =E2=80=93 Before 1 September
=E2=80=A2 Late =E2=80=93 Be= fore 1 October
=E2=80=A2 On site =E2=80=93 After 31 October
Registrat= ion is via the ICTAC2019 website:
http://www.redcad.org/events/ictac2= 019/Website/registration.html


------- Programme Information<= br>The conference will feature invited speakers and presentations of accept= ed papers.
More details on the programme:
http://www.redcad.org/events/i= ctac2019/Website/program.html


------- Invited Speakers
Sc= hool Speakers
Patrick Cousot, New York University, USA
Kamel Barkao= ui, Conservatoire National des Arts et M=C3=A9tiers, Paris, France
Dom= inique M=C3=A9ry, LORIA, Universit=C3=A9 de Lorraine, France
Akka Zemma= ri, University of Bordeaux, France

Keynote Speakers
Patrick Cou= sot, New York University, USA
Thomas A. Henzinger, Institute of Science= and Technology, Austria
Dominique M=C3=A9ry, LORIA, Universit=C3=A9 d= e Lorraine, France


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

Programme chairs:
Robert M. Hierons, University of= Sheffield, United Kingdom
Mohamed Mosbah, LaBRI, Bordeaux INP, France<= br>
--0000000000000a3d37059221f85b--