<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class=""><div class="">(Apologies for multiple copies of this announcement. Please circulate.)</div><div class="">---------------</div><div class="">                               CALL FOR PAPERS</div><div class="">                     Fourth International Conference on</div><div class="">        Formal Structures for Computation and Deduction (FSCD 2019)</div><div class="">                    24 -- 30 June 2019, Dortmund, Germany</div><div class="">                     <a href="http://easyconferences.eu/fscd2019/" class="">http://easyconferences.eu/fscd2019/</a></div><div class=""><br class=""></div><div class="">IMPORTANT DATES</div><div class="">---------------</div><div class="">All deadlines are midnight anywhere-on-earth (AoE); late</div><div class="">submissions will not be considered. </div><div class="">     Titles and Short Abstracts:        <b class="">8 February 2019 </b></div><div class="">     Full Papers:                              <b class="">11 February 2019 </b></div><div class="">     Rebuttal period:                        28 March -- 1 April 2019</div><div class="">     Authors Notification:                 8 April 2019 </div><div class="">     Final version for proceedings:  22 April  2019 </div><div class=""><br class=""></div><div class="">FSCD covers all aspects of formal structures for computation and</div><div class="">deduction from theoretical foundations to applications.  Building on</div><div class="">two communities, RTA (Rewriting Techniques and Applications) and TLCA</div><div class="">(Typed Lambda Calculi and Applications), FSCD embraces their core</div><div class="">topics and broadens their scope to closely related areas in logics,</div><div class="">models of computation (e.g. quantum computing, probabilistic</div><div class="">computing, homotopy type theory), semantics and verification in new</div><div class="">challenging areas (e.g. blockchain protocols or deep learning</div><div class="">algorithms).</div><div class=""><br class=""></div><div class="">Suggested, but not exclusive, list of topics for submission are:</div><div class="">1. Calculi: </div><div class="">   Rewriting systems, Lambda calculus, Concurrent calculi, Logics,</div><div class="">   Type theory, Homotopy type theory, Logical frameworks, Quantum</div><div class="">   calculi</div><div class="">2. Methods in Computation and Deduction:</div><div class="">   Type systems; Induction and coinduction; Matching, unification,</div><div class="">   completion and orderings; Strategies; Tree automata; Model</div><div class="">   checking; Proof search and theorem proving; Constraint solving and</div><div class="">   decision procedures</div><div class="">3. Semantics:</div><div class="">   Operational semantics; Abstract machines; Game Semantics; Domain</div><div class="">   theory; Categorical models; Quantitative models</div><div class="">4. Algorithmic Analysis and Transformations of Formal Systems:</div><div class="">   Type inference and type checking; Abstract interpretation;</div><div class="">   Complexity analysis and implicit computational complexity; Checking</div><div class="">   termination, confluence, derivational complexity and related</div><div class="">   properties; Symbolic computation</div><div class="">5. Tools and Applications:</div><div class="">   Programming and proof environments; Verification tools; Proof</div><div class="">   assistants and interactive theorem provers; Applications in</div><div class="">   industry (e.g. design and verification of critical systems);</div><div class="">   Applications in other sciences (e.g. biology)</div><div class="">6. Semantics and verification in new challenging areas:</div><div class="">   Certification; Security; Blockchain protocols; Data bases; Deep</div><div class="">   learning and machine learning algorithms; Planning</div><div class=""><br class=""></div><div class=""><div class="">INVITED SPEAKERS</div><div class="">-----------</div></div><div class=""><b class="">Titles and abstracts available at</b></div><div class=""><b class=""> </b><a href="http://easyconferences.eu/fscd2019/invited-speakers/" class="">http://easyconferences.eu/fscd2019/invited-speakers/  </a></div><div class=""><br class=""></div><div class="">*  Beniamino Accattoli (INRIA, Paris, France)<br class="">  <a href="https://sites.google.com/site/beniaminoaccattoli/" class="">https://sites.google.com/site/beniaminoaccattoli/</a><br class=""><br class="">*  Amy Felty (University of Ottawa, Canada)<br class="">  <a href="http://www.site.uottawa.ca/~afelty/" class="">http://www.site.uottawa.ca/~afelty/</a><br class=""><br class="">*  Sarah Winkler (University of Innsbruck, Austria)<br class="">  <a href="http://cl-informatik.uibk.ac.at/users/swinkler/" class="">http://cl-informatik.uibk.ac.at/users/swinkler/</a><br class=""><br class="">*  Hongseok Yang (KAIST,  Korea)<br class="">  <a href="https://sites.google.com/view/hongseokyang/" class="">https://sites.google.com/view/hongseokyang/</a></div><div class=""><br class=""></div><div class="">PUBLICATION</div><div class="">-----------</div><div class="">The proceedings will be published as an electronic volume in the</div><div class="">Leibniz International Proceedings in Informatics (LIPIcs) of Schloss</div><div class="">Dagstuhl. All LIPIcs proceedings are open access.</div><div class=""><br class=""></div><div class="">SUBMISSION GUIDELINES </div><div class="">---------------------</div><div class="">Submissions can be made in two categories.  Regular research papers</div><div class="">are limited to 15 pages (including references, with the possibility to</div><div class="">add an annex for technical details, e.g.\ proofs) and must present</div><div class="">original research which is unpublished and not submitted</div><div class="">elsewhere. System descriptions are limited to 15 pages (including</div><div class="">references) and must present new software tools in which FSCD topics</div><div class="">play an important role, or significantly new versions of such</div><div class="">tools. Submissions must be formatted using the LIPIcs style files and</div><div class="">submitted via EasyChair.  Complete instructions on submitting a paper</div><div class="">can be found on the conference web site:</div><div class=""><br class=""></div><div class="">        <a href="http://easyconferences.eu/fscd2019/" class="">http://easyconferences.eu/fscd2019/</a></div><div class=""><br class=""></div><div class="">BEST PAPER AWARD BY JUNIOR RESEARCHERS </div><div class="">--------------------------------------</div><div class="">The program committee will consider declaring this award to a paper in</div><div class="">which at least one author is a junior researcher, i.e. either a</div><div class="">student or whose PhD award date is less than three years from the</div><div class="">first day of the meeting. Other authors should declare to the PC Chair</div><div class="">that at least 50% of contribution is made by the junior</div><div class="">researcher(s).</div><div class=""><br class=""></div><div class="">SPECIAL ISSUE </div><div class="">-------------</div><div class="">Authors of selected papers will be invited to submit an extended</div><div class="">version for a special issue of Logical Methods in Computer Science.</div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">PROGRAM COMMITTEE</div><div class="">-----------------</div><div class="">H. Geuvers, Radboud U. Nijmegen (Chair)</div><div class="">Z. Ariola, U. of Oregon</div><div class="">M. Ayala Rincón, U. of Brasilia</div><div class="">A. Bauer, U. of Ljubljana</div><div class="">F. Bonchi, U. of Pisa</div><div class="">S. Broda, U. of Porto</div><div class="">U. Dal Lago, U. of Bologna & Inria</div><div class="">U. De'Liguoro, U. of Torino</div><div class="">D. Kapur, U. of New Mexico</div><div class="">P. Dybjer, Chalmers U. of Technology</div><div class="">M. Fernandez, King's College London</div><div class="">J. Giesl, RWTH Aachen</div><div class="">N. Hirokawa, JAIST</div><div class="">S. Lucas, U. Politecnica de Valencia</div><div class="">A. Middeldorp, U. of Innsbruck</div><div class="">F. Pfenning, Carnegie Mellon U.</div><div class="">B. Pientka, McGill U.</div><div class="">J. van de Pol, Aarhus U. & U. of Twente</div><div class="">F. van Raamsdonk, VU Amsterdam </div><div class="">C. Schürmann, ITU Copenhagen</div><div class="">P. Severi, U. of Leicester</div><div class="">A. Silva, U. College London</div><div class="">S. Staton, Oxford U.</div><div class="">T. Streicher, TU Darmstadt</div><div class="">A. Stump, U. of Iowa</div><div class="">N. Tabareau, Inria</div><div class="">S. Tison, U. of Lille</div><div class="">A. Tiu,<span class="Apple-tab-span" style="white-space: pre;">  </span>Australian National U.</div><div class="">T. Tsukada, U. of Tokyo</div><div class="">J. Urban, CTU Prague</div><div class="">P. Urzyczyn, U. of Warsaw</div><div class="">J. Waldmann, Leipzig U. of Applied Sciences</div><div class=""><br class=""></div><div class="">CONFERENCE CHAIR</div><div class="">----------------</div><div class="">Jakob Rehof, TU Dortmund</div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">LOCAL WORKSHOP CHAIR</div><div class="">--------------------</div><div class="">Boris Düdder, U. of Copenhagen</div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">STEERING COMMITTEE WORKSHOP CHAIR</div><div class="">--------------------------------</div><div class="">J. Vicary, Oxford U.</div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">PUBLICITY CHAIR</div><div class="">---------------</div><div class="">Sandra Alves , Porto U.</div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">FSCD STEERING COMMITTEE</div><div class="">-----------------------</div><div class="">S. Alves (Porto U.),</div><div class="">M. Ayala-Rincón (Brasilia U.)</div><div class="">C. Fuhs (Birkbeck, London U.)</div><div class="">D. Kesner (Chair, Paris U.) </div><div class="">H. Kirchner (Inria)</div><div class="">N. Kobayashi (U. Tokyo)</div><div class="">C. Kop (Radboud U. Nijmegen)</div><div class="">D. Miller (Inria)</div><div class="">L. Ong (Chair, Oxford U.) </div><div class="">B. Pientka (McGill U.)</div><div class="">S. Staton (Oxford U.)</div><div class=""><br class=""></div></div></body></html>