<div dir="ltr"><div dir="ltr">—Call for papers: 16th International Colloquium on Theoretical Aspects of Computing (ICTAC 2019).</div><div dir="ltr"><span style="white-space:pre">                      </span></div><div dir="ltr"><span style="white-space:pre">                  </span><a href="http://ictac2019.redcad.org">http://ictac2019.redcad.org</a></div><div dir="ltr"><br></div><div dir="ltr">(Apologies if you have received multiple copies of this call for papers)</div><div dir="ltr"><br></div><div dir="ltr"><br></div><div dir="ltr">We are pleased to invite you to submit papers for the 16th International Colloquium on Theoretical Aspects of Computing (ICTAC 2019), which will be held from 30th October to 4th November 2019, in Hammamet, Tunisia. </div><div dir="ltr">The aim of the 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. </div><div dir="ltr">ICTAC also aims to promote research cooperation between developing and industrial countries. The proceedings will be published as a volume of Springer's LNCS series.</div><div dir="ltr"><br></div><div dir="ltr">The important dates are:</div><div dir="ltr"><span style="white-space:pre">   </span>Abstracts<span style="white-space:pre">            </span>5 May 2019</div><div dir="ltr"><span style="white-space:pre">        </span>Papers<span style="white-space:pre">                       </span>12 May 2019</div><div dir="ltr"><span style="white-space:pre">       </span>Notification<span style="white-space:pre">         </span>21 July 2019</div><div dir="ltr"><span style="white-space:pre">      </span>Final version<span style="white-space:pre">                </span>11 August 2019</div><div dir="ltr"><span style="white-space:pre">    </span>Conference<span style="white-space:pre">           </span>30 October to 4 November 2019</div><div dir="ltr"><br></div><div dir="ltr"><br></div><div dir="ltr">Special issue:</div><div dir="ltr">Authors of the best contributions will be invited to submit a revised and extended version to a special issue, to be published in Elsevier's Theoretical Computer Science.</div><div dir="ltr"><br></div><div dir="ltr"><br></div><div dir="ltr">Invited Speakers:</div><div dir="ltr">Thomas A. Henzinger, Institute of Science and Technology, Austria</div><div dir="ltr">Patrick Cousot, Courant Institute of Mathematical Sciences, New York University, USA</div><div dir="ltr">Dominique MÈry, University of Lorraine, France</div><div dir="ltr"><br></div><div dir="ltr"><br></div><div dir="ltr">Topics of interest include, but are not limited to, the following:</div><div dir="ltr">    Languages and automata</div><div dir="ltr">    Semantics of programming languages</div><div dir="ltr">    Logic in computer science</div><div dir="ltr">    Lambda calculus, type theory and category theory</div><div dir="ltr">    Domain-specific languages</div><div dir="ltr">    Theories of concurrency and mobility</div><div dir="ltr">    Theories of distributed, grid and cloud computing</div><div dir="ltr">    Models of objects and components</div><div dir="ltr">    Coordination models</div><div dir="ltr">    Models of software architectures</div><div dir="ltr">    Autonomous systems</div><div dir="ltr">    Timed, hybrid, embedded and cyber-physical systems</div><div dir="ltr">    Static analysis</div><div dir="ltr">    Software verification</div><div dir="ltr">    Software testing</div><div dir="ltr">    Program generation and transformation</div><div dir="ltr">    Model checking and automated theorem proving</div><div dir="ltr">    Interactive theorem proving</div><div dir="ltr">    Verified software, formalized programming theory</div><div dir="ltr"><br></div><div dir="ltr">We solicit the following types of papers:</div><div dir="ltr"><span style="white-space:pre">     </span>- Regular papers, with original research contributions;</div><div dir="ltr"><span style="white-space:pre">   </span>- Short papers, with original work in progress or with proposals of new ideas and emerging challenges; </div><div dir="ltr"><span style="white-space:pre">  </span>- Tool papers, on tools that support formal techniques for software modeling, system design, and verification. </div><div dir="ltr"><br></div><div dir="ltr">Submissions must adhere to the LNCS format. Regular papers should not exceed 18 pages (excluding bibliography of maximum 2 pages). </div><div dir="ltr">Short and tool papers should not exceed 10 pages.</div><div dir="ltr"><br></div><div dir="ltr">Submissions must not have been published or be under consideration for publication elsewhere. </div><div dir="ltr">All submissions will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference.</div><div dir="ltr"><br></div><div dir="ltr">Each paper submission will be reviewed by at least three members of the Programme Committee. </div><div dir="ltr">All contributions to ICTAC 2019 have to be submitted electronically in PDF format via Easy Chair (<a href="https://easychair.org/conferences/?conf=ictac2019)and">https://easychair.org/conferences/?conf=ictac2019)and</a> have to follow the Springer LNCS paper format. </div><div dir="ltr">One author of each accepted paper must attend the conference to present it, having paid the regular registration fee.</div><div dir="ltr"><br></div><div dir="ltr">The ICTAC committee will evaluate and select the best paper award winner. The winner will receive a cash award. </div><div dir="ltr"><br></div><div dir="ltr"><br></div><div dir="ltr"><br></div><div dir="ltr"><br></div><div dir="ltr">Steering Committee:</div><div dir="ltr">    Ana Cavalcanti (University of York, UK) (chair)</div><div dir="ltr">    Martin Leucker (Universit‰t zu L¸beck, DE)</div><div dir="ltr">    Zhiming Liu (Southwest University, CN)</div><div dir="ltr">    Tobias Nipkow (Technische Universit‰t M¸nchen, DE)</div><div dir="ltr">    Augusto Sampaio (Universidade Federal de Pernambuco, BR)</div><div dir="ltr">    Natarajan Shankar (SRI International, US)</div><div dir="ltr"><br></div><div dir="ltr"><br></div><div dir="ltr">General chairs:</div><div dir="ltr"><span style="white-space:pre">     </span>Mohamed Jmaiel, University of Sfax, Tunisia </div><div dir="ltr"><span style="white-space:pre">     </span>Walid Gaaloul, Paris-Saclay University, France</div><div dir="ltr"><br></div><div dir="ltr">Programme chairs:</div><div dir="ltr"><span style="white-space:pre">   </span>Robert M. Hierons, University of Sheffield, UK</div><div dir="ltr"><span style="white-space:pre">    </span>Mohamed Mosbah, LaBRI, Bordeaux INP, FR</div><div dir="ltr"><br></div><div dir="ltr"><br></div><div dir="ltr">Programme Committee (provisional/draft)</div><div dir="ltr">    Eric Badouel (IRISA, FR)</div><div dir="ltr">    Kamel Barkaoui (CEDRIC - CNAM, FR)</div><div dir="ltr">    FrÈdÈric Blanqui (INRIA, FR)</div><div dir="ltr">    Eduardo Bonelli (Universidad Nacional de Quilmes, AR)</div><div dir="ltr">    Ana Cavalcanti (University of York, UK)</div><div dir="ltr">    Uli Fahrenberg (LIX, FR)</div><div dir="ltr">    Adrian Francalanza (University of Malta, MT) </div><div dir="ltr">    Ahmed Hadj Kacem (University of Sfax, TN)</div><div dir="ltr">    Edward Hermann Haeusler (PontifÌcia Universidade CatÛlica do Rio de Janeiro, BR)</div><div dir="ltr">    Ross Horne (Nanyang Technological University, SG) </div><div dir="ltr">    David Janin (University of Bordeaux, FR)</div><div dir="ltr">    Jan Kretinsky (Technische Universit‰t M¸nchen, DE)</div><div dir="ltr">    Martin Leucker (Universit‰t zu L¸beck, DE) </div><div dir="ltr">    Radu Mardare (Aalborg Universitet, DK) </div><div dir="ltr">    Dominique MÈry (LORIA, FR)</div><div dir="ltr">    Mohammadreza Mousavi (University of Leicester, UK)</div><div dir="ltr">    Tobias Nipkow (Technische Universit‰t M¸nchen, DE)</div><div dir="ltr">    Maciej PirÛg (Wroclaw University, PL) </div><div dir="ltr">    Sanjiva Prasad (IIT Delhi, IN)</div><div dir="ltr">    Riadh Robbana (University of Carthage, TN)</div><div dir="ltr">    Augusto Sampaio (Universidade Federal de Pernambuco, BR) </div><div dir="ltr">    Georg Struth (University of Sheffield, UK)</div><div dir="ltr">    Cong Tian (Xidian University, CN)</div><div dir="ltr">    Tarmo Uustalu (Reykjavik University, IS / Tallinn University of Technology, EE)</div></div>