CINXE.COM
Logic in Computer Science Mar 2016
<!DOCTYPE html> <html lang="en"> <head> <title>Logic in Computer Science Mar 2016</title> <meta name="viewport" content="width=device-width, initial-scale=1"> <link rel="apple-touch-icon" sizes="180x180" href="/static/browse/0.3.4/images/icons/apple-touch-icon.png"> <link rel="icon" type="image/png" sizes="32x32" href="/static/browse/0.3.4/images/icons/favicon-32x32.png"> <link rel="icon" type="image/png" sizes="16x16" href="/static/browse/0.3.4/images/icons/favicon-16x16.png"> <link rel="manifest" href="/static/browse/0.3.4/images/icons/site.webmanifest"> <link rel="mask-icon" href="/static/browse/0.3.4/images/icons/safari-pinned-tab.svg" color="#5bbad5"> <meta name="msapplication-TileColor" content="#da532c"> <meta name="theme-color" content="#ffffff"> <link rel="stylesheet" type="text/css" media="screen" href="/static/browse/0.3.4/css/arXiv.css?v=20241206" /> <link rel="stylesheet" type="text/css" media="print" href="/static/browse/0.3.4/css/arXiv-print.css?v=20200611" /> <link rel="stylesheet" type="text/css" media="screen" href="/static/browse/0.3.4/css/browse_search.css" /> <script language="javascript" src="/static/browse/0.3.4/js/accordion.js" /></script> <script src="/static/browse/0.3.4/js/mathjaxToggle.min.js" type="text/javascript"></script> <script type="text/javascript" language="javascript">mathjaxToggle();</script> </head> <body class="with-cu-identity"> <div class="flex-wrap-footer"> <header> <a href="#content" class="is-sr-only">Skip to main content</a> <!-- start desktop header --> <div class="columns is-vcentered is-hidden-mobile" id="cu-identity"> <div class="column" id="cu-logo"> <a href="https://www.cornell.edu/"><img src="/static/browse/0.3.4/images/icons/cu/cornell-reduced-white-SMALL.svg" alt="Cornell University" /></a> </div><div class="column" id="support-ack"> <span id="support-ack-url">We gratefully acknowledge support from the Simons Foundation, <a href="https://info.arxiv.org/about/ourmembers.html">member institutions</a>, and all contributors.</span> <a href="https://info.arxiv.org/about/donate.html" class="btn-header-donate">Donate</a> </div> </div> <div id="header" class="is-hidden-mobile"> <a aria-hidden="true" tabindex="-1" href="/IgnoreMe"></a> <div class="header-breadcrumbs"> <a href="/"><img src="/static/browse/0.3.4/images/arxiv-logo-one-color-white.svg" alt="arxiv logo" style="height:40px;"/></a> <span>></span> <a href="/list/cs.LO/recent">cs.LO</a> </div> <div class="search-block level-right"> <form class="level-item mini-search" method="GET" action="https://arxiv.org/search"> <div class="field has-addons"> <div class="control"> <input class="input is-small" type="text" name="query" placeholder="Search..." aria-label="Search term or terms" /> <p class="help"><a href="https://info.arxiv.org/help">Help</a> | <a href="https://arxiv.org/search/advanced">Advanced Search</a></p> </div> <div class="control"> <div class="select is-small"> <select name="searchtype" aria-label="Field to search"> <option value="all" selected="selected">All fields</option> <option value="title">Title</option> <option value="author">Author</option> <option value="abstract">Abstract</option> <option value="comments">Comments</option> <option value="journal_ref">Journal reference</option> <option value="acm_class">ACM classification</option> <option value="msc_class">MSC classification</option> <option value="report_num">Report number</option> <option value="paper_id">arXiv identifier</option> <option value="doi">DOI</option> <option value="orcid">ORCID</option> <option value="author_id">arXiv author ID</option> <option value="help">Help pages</option> <option value="full_text">Full text</option> </select> </div> </div> <input type="hidden" name="source" value="header"> <button class="button is-small is-cul-darker">Search</button> </div> </form> </div> </div><!-- /end desktop header --> <div class="mobile-header"> <div class="columns is-mobile"> <div class="column logo-arxiv"><a href="https://arxiv.org/"><img src="/static/browse/0.3.4/images/arxiv-logomark-small-white.svg" alt="arXiv logo" style="height:60px;" /></a></div> <div class="column logo-cornell"><a href="https://www.cornell.edu/"> <picture> <source media="(min-width: 501px)" srcset="/static/browse/0.3.4/images/icons/cu/cornell-reduced-white-SMALL.svg 400w" sizes="400w" /> <source srcset="/static/browse/0.3.4/images/icons/cu/cornell_seal_simple_black.svg 2x" /> <img src="/static/browse/0.3.4/images/icons/cu/cornell-reduced-white-SMALL.svg" alt="Cornell University Logo" /> </picture> </a></div> <div class="column nav" id="toggle-container" role="menubar"> <button class="toggle-control"><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512" class="icon filter-white"><title>open search</title><path d="M505 442.7L405.3 343c-4.5-4.5-10.6-7-17-7H372c27.6-35.3 44-79.7 44-128C416 93.1 322.9 0 208 0S0 93.1 0 208s93.1 208 208 208c48.3 0 92.7-16.4 128-44v16.3c0 6.4 2.5 12.5 7 17l99.7 99.7c9.4 9.4 24.6 9.4 33.9 0l28.3-28.3c9.4-9.4 9.4-24.6.1-34zM208 336c-70.7 0-128-57.2-128-128 0-70.7 57.2-128 128-128 70.7 0 128 57.2 128 128 0 70.7-57.2 128-128 128z"/></svg></button> <div class="mobile-toggle-block toggle-target"> <form class="mobile-search-form" method="GET" action="https://arxiv.org/search"> <div class="field has-addons"> <input class="input" type="text" name="query" placeholder="Search..." aria-label="Search term or terms" /> <input type="hidden" name="source" value="header"> <input type="hidden" name="searchtype" value="all"> <button class="button">GO</button> </div> </form> </div> <button class="toggle-control"><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 448 512" class="icon filter-white" role="menu"><title>open navigation menu</title><path d="M16 132h416c8.837 0 16-7.163 16-16V76c0-8.837-7.163-16-16-16H16C7.163 60 0 67.163 0 76v40c0 8.837 7.163 16 16 16zm0 160h416c8.837 0 16-7.163 16-16v-40c0-8.837-7.163-16-16-16H16c-8.837 0-16 7.163-16 16v40c0 8.837 7.163 16 16 16zm0 160h416c8.837 0 16-7.163 16-16v-40c0-8.837-7.163-16-16-16H16c-8.837 0-16 7.163-16 16v40c0 8.837 7.163 16 16 16z"/ ></svg></button> <div class="mobile-toggle-block toggle-target"> <nav class="mobile-menu" aria-labelledby="mobilemenulabel"> <h2 id="mobilemenulabel">quick links</h2> <ul> <li><a href="https://arxiv.org/login">Login</a></li> <li><a href="https://info.arxiv.org/help">Help Pages</a></li> <li><a href="https://info.arxiv.org/about">About</a></li> </ul> </nav> </div> </div> </div> </div><!-- /end mobile-header --> </header> <main> <div id="content"> <div id='content-inner'> <div id='dlpage'> <h1>Logic in Computer Science</h1> <h2>Authors and titles for March 2016 </h2> <div class='paging'>Total of 66 entries : <span>1-50</span> <a href=/list/cs.LO/2016-03?skip=50&show=50>51-66</a> </div> <div class='morefewer'>Showing up to 50 entries per page: <a href=/list/cs.LO/2016-03?skip=0&show=25 rel="nofollow"> fewer</a> | <span style="color: #454545">more</span> | <a href=/list/cs.LO/2016-03?skip=0&show=2000 rel="nofollow"> all</a> </div> <dl id='articles'> <dt> <a name='item1'>[1]</a> <a href ="/abs/1603.00536" title="Abstract" id="1603.00536"> arXiv:1603.00536 </a> [<a href="/pdf/1603.00536" title="Download PDF" id="pdf-1603.00536" aria-labelledby="pdf-1603.00536">pdf</a>, <a href="/format/1603.00536" title="Other formats" id="oth-1603.00536" aria-labelledby="oth-1603.00536">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Proceedings of the Eleventh International Workshop on Developments in Computational Models </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Mu%C3%B1oz,+C+A">C茅sar A. Mu帽oz</a> (NASA Langley Research Center), <a href="https://arxiv.org/search/cs?searchtype=author&query=P%C3%A9rez,+J+A">Jorge A. P茅rez</a> (University of Groningen)</div> <div class='list-journal-ref'><span class='descriptor'>Journal-ref:</span> EPTCS 204, 2016 </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span>; Programming Languages (cs.PL) </div> </div> </dd> <dt> <a name='item2'>[2]</a> <a href ="/abs/1603.00658" title="Abstract" id="1603.00658"> arXiv:1603.00658 </a> [<a href="/pdf/1603.00658" title="Download PDF" id="pdf-1603.00658" aria-labelledby="pdf-1603.00658">pdf</a>, <a href="/format/1603.00658" title="Other formats" id="oth-1603.00658" aria-labelledby="oth-1603.00658">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Nesting Depth of Operators in Graph Database Queries: Expressiveness Vs. Evaluation Complexity </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Praveen,+M">M. Praveen</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=B.">B. Srivathsan</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> Improvements from ICALP 2016 review comments </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span>; Databases (cs.DB); Formal Languages and Automata Theory (cs.FL) </div> </div> </dd> <dt> <a name='item3'>[3]</a> <a href ="/abs/1603.00838" title="Abstract" id="1603.00838"> arXiv:1603.00838 </a> [<a href="/pdf/1603.00838" title="Download PDF" id="pdf-1603.00838" aria-labelledby="pdf-1603.00838">pdf</a>, <a href="/format/1603.00838" title="Other formats" id="oth-1603.00838" aria-labelledby="oth-1603.00838">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Some Remarks on Conway and Iteration Theories </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Esik,+Z">Zoltan Esik</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Goncharov,+S">Sergey Goncharov</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span> </div> </div> </dd> <dt> <a name='item4'>[4]</a> <a href ="/abs/1603.00975" title="Abstract" id="1603.00975"> arXiv:1603.00975 </a> [<a href="/pdf/1603.00975" title="Download PDF" id="pdf-1603.00975" aria-labelledby="pdf-1603.00975">pdf</a>, <a href="/format/1603.00975" title="Other formats" id="oth-1603.00975" aria-labelledby="oth-1603.00975">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Formalising Confluence in PVS </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Ayala-Rinc%C3%B3n,+M">Mauricio Ayala-Rinc贸n</a> (Universidade de Bras铆lia)</div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> In Proceedings DCM 2015, <a href="https://arxiv.org/abs/1603.00536" data-arxiv-id="1603.00536" class="link-https">arXiv:1603.00536</a> </div> <div class='list-journal-ref'><span class='descriptor'>Journal-ref:</span> EPTCS 204, 2016, pp. 11-17 </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span>; Programming Languages (cs.PL) </div> </div> </dd> <dt> <a name='item5'>[5]</a> <a href ="/abs/1603.00976" title="Abstract" id="1603.00976"> arXiv:1603.00976 </a> [<a href="/pdf/1603.00976" title="Download PDF" id="pdf-1603.00976" aria-labelledby="pdf-1603.00976">pdf</a>, <a href="/format/1603.00976" title="Other formats" id="oth-1603.00976" aria-labelledby="oth-1603.00976">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Compositional model checking of concurrent systems, with Petri nets </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Soboci%C5%84ski,+P">Pawe艂 Soboci艅ski</a> (University of Southampton)</div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> In Proceedings DCM 2015, <a href="https://arxiv.org/abs/1603.00536" data-arxiv-id="1603.00536" class="link-https">arXiv:1603.00536</a> </div> <div class='list-journal-ref'><span class='descriptor'>Journal-ref:</span> EPTCS 204, 2016, pp. 19-30 </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span>; Formal Languages and Automata Theory (cs.FL); Software Engineering (cs.SE) </div> </div> </dd> <dt> <a name='item6'>[6]</a> <a href ="/abs/1603.00978" title="Abstract" id="1603.00978"> arXiv:1603.00978 </a> [<a href="/pdf/1603.00978" title="Download PDF" id="pdf-1603.00978" aria-labelledby="pdf-1603.00978">pdf</a>, <a href="/format/1603.00978" title="Other formats" id="oth-1603.00978" aria-labelledby="oth-1603.00978">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Finiteness and Computation in Toposes </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Haeusler,+E+H">Edward Hermann Haeusler</a> (Puc-Rio)</div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> In Proceedings DCM 2015, <a href="https://arxiv.org/abs/1603.00536" data-arxiv-id="1603.00536" class="link-https">arXiv:1603.00536</a> </div> <div class='list-journal-ref'><span class='descriptor'>Journal-ref:</span> EPTCS 204, 2016, pp. 61-77 </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span> </div> </div> </dd> <dt> <a name='item7'>[7]</a> <a href ="/abs/1603.00979" title="Abstract" id="1603.00979"> arXiv:1603.00979 </a> [<a href="/pdf/1603.00979" title="Download PDF" id="pdf-1603.00979" aria-labelledby="pdf-1603.00979">pdf</a>, <a href="/format/1603.00979" title="Other formats" id="oth-1603.00979" aria-labelledby="oth-1603.00979">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Mean-Field Semantics for a Process Calculus for Spatially-Explicit Ecological Models </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Toro,+M">Mauricio Toro</a> (Universidad Eafit, Colombia), <a href="https://arxiv.org/search/cs?searchtype=author&query=Philippou,+A">Anna Philippou</a> (University of Cyprus, Cyprus), <a href="https://arxiv.org/search/cs?searchtype=author&query=Arboleda,+S">Sair Arboleda</a> (Universidad de Antioquia, Colombia), <a href="https://arxiv.org/search/cs?searchtype=author&query=Puerta,+M">Mar铆a Puerta</a> (Universidad Eafit, Colombia), <a href="https://arxiv.org/search/cs?searchtype=author&query=S.,+C+M+V">Carlos M. V茅lez S.</a> (Universidad Eafit, Colombia)</div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> In Proceedings DCM 2015, <a href="https://arxiv.org/abs/1603.00536" data-arxiv-id="1603.00536" class="link-https">arXiv:1603.00536</a> </div> <div class='list-journal-ref'><span class='descriptor'>Journal-ref:</span> EPTCS 204, 2016, pp. 79-94 </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span> </div> </div> </dd> <dt> <a name='item8'>[8]</a> <a href ="/abs/1603.01445" title="Abstract" id="1603.01445"> arXiv:1603.01445 </a> [<a href="/pdf/1603.01445" title="Download PDF" id="pdf-1603.01445" aria-labelledby="pdf-1603.01445">pdf</a>, <a href="/format/1603.01445" title="Other formats" id="oth-1603.01445" aria-labelledby="oth-1603.01445">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Approximate Relational Hoare Logic for Continuous Random Samplings </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Sato,+T">Tetsuya Sato</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span> </div> </div> </dd> <dt> <a name='item9'>[9]</a> <a href ="/abs/1603.01758" title="Abstract" id="1603.01758"> arXiv:1603.01758 </a> [<a href="/pdf/1603.01758" title="Download PDF" id="pdf-1603.01758" aria-labelledby="pdf-1603.01758">pdf</a>, <a href="/format/1603.01758" title="Other formats" id="oth-1603.01758" aria-labelledby="oth-1603.01758">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Normal-order reduction grammars </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Bendkowski,+M">Maciej Bendkowski</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span> </div> </div> </dd> <dt> <a name='item10'>[10]</a> <a href ="/abs/1603.01776" title="Abstract" id="1603.01776"> arXiv:1603.01776 </a> [<a href="/pdf/1603.01776" title="Download PDF" id="pdf-1603.01776" aria-labelledby="pdf-1603.01776">pdf</a>, <a href="/format/1603.01776" title="Other formats" id="oth-1603.01776" aria-labelledby="oth-1603.01776">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Generalised rely-guarantee concurrency: An algebraic foundation </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Hayes,+I+J">Ian J. Hayes</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 23 pages, 3 figures, submitted to Formal Aspects of Computing </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span> </div> </div> </dd> <dt> <a name='item11'>[11]</a> <a href ="/abs/1603.02133" title="Abstract" id="1603.02133"> arXiv:1603.02133 </a> [<a href="/pdf/1603.02133" title="Download PDF" id="pdf-1603.02133" aria-labelledby="pdf-1603.02133">pdf</a>, <a href="/format/1603.02133" title="Other formats" id="oth-1603.02133" aria-labelledby="oth-1603.02133">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Von Neumann Algebras form a Model for the Quantum Lambda Calculus </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Cho,+K">Kenta Cho</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Westerbaan,+A">Abraham Westerbaan</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span>; Operator Algebras (math.OA); Quantum Physics (quant-ph) </div> </div> </dd> <dt> <a name='item12'>[12]</a> <a href ="/abs/1603.02148" title="Abstract" id="1603.02148"> arXiv:1603.02148 </a> [<a href="/pdf/1603.02148" title="Download PDF" id="pdf-1603.02148" aria-labelledby="pdf-1603.02148">pdf</a>, <a href="/format/1603.02148" title="Other formats" id="oth-1603.02148" aria-labelledby="oth-1603.02148">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Complete Elgot Monads and Coalgebraic Resumptions </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Goncharov,+S">Sergey Goncharov</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Milius,+S">Stefan Milius</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Rauch,+C">Christoph Rauch</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> full version, 39 p </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span> </div> </div> </dd> <dt> <a name='item13'>[13]</a> <a href ="/abs/1603.02478" title="Abstract" id="1603.02478"> arXiv:1603.02478 </a> [<a href="/pdf/1603.02478" title="Download PDF" id="pdf-1603.02478" aria-labelledby="pdf-1603.02478">pdf</a>, <a href="/format/1603.02478" title="Other formats" id="oth-1603.02478" aria-labelledby="oth-1603.02478">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> An Introduction to Mechanized Reasoning </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Kerber,+M">Manfred Kerber</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Lange,+C">Christoph Lange</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Rowat,+C">Colin Rowat</a></div> <div class='list-journal-ref'><span class='descriptor'>Journal-ref:</span> Mathematical Economics 66, pp. 26-39. Elsevier, October 2016 </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span> </div> </div> </dd> <dt> <a name='item14'>[14]</a> <a href ="/abs/1603.02641" title="Abstract" id="1603.02641"> arXiv:1603.02641 </a> [<a href="/pdf/1603.02641" title="Download PDF" id="pdf-1603.02641" aria-labelledby="pdf-1603.02641">pdf</a>, <a href="/format/1603.02641" title="Other formats" id="oth-1603.02641" aria-labelledby="oth-1603.02641">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> A Hybrid Linear Logic for Constrained Transition Systems </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Despeyroux,+J">Joelle Despeyroux</a> (INRIA), <a href="https://arxiv.org/search/cs?searchtype=author&query=Chaudhuri,+K">Kaustuv Chaudhuri</a> (PARSIFAL)</div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> LIPIcs. TYPES'2013, Apr 2013, Toulouse, France. Post-proceedings of TYPES'2013, 19th Intl Conference on Types for Proofs and Programs, LIPIcs., 26, pp.150-168, 2014. arXiv admin note: substantial text overlap with <a href="https://arxiv.org/abs/1310.4310" data-arxiv-id="1310.4310" class="link-https">arXiv:1310.4310</a> </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span> </div> </div> </dd> <dt> <a name='item15'>[15]</a> <a href ="/abs/1603.02922" title="Abstract" id="1603.02922"> arXiv:1603.02922 </a> [<a href="/pdf/1603.02922" title="Download PDF" id="pdf-1603.02922" aria-labelledby="pdf-1603.02922">pdf</a>, <a href="/format/1603.02922" title="Other formats" id="oth-1603.02922" aria-labelledby="oth-1603.02922">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Reasoning about Recursive Probabilistic Programs </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Olmedo,+F">Federico Olmedo</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Kaminski,+B+L">Benjamin Lucien Kaminski</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Katoen,+J">Joost-Pieter Katoen</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Matheja,+C">Christoph Matheja</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span> </div> </div> </dd> <dt> <a name='item16'>[16]</a> <a href ="/abs/1603.03252" title="Abstract" id="1603.03252"> arXiv:1603.03252 </a> [<a href="/pdf/1603.03252" title="Download PDF" id="pdf-1603.03252" aria-labelledby="pdf-1603.03252">pdf</a>, <a href="/format/1603.03252" title="Other formats" id="oth-1603.03252" aria-labelledby="oth-1603.03252">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Koren%C4%8Diak,+%C4%BD">慕ubo拧 Koren膷iak</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=%C5%98eh%C3%A1k,+V">Vojt臎ch 艠eh谩k</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Farmadin,+A">Adrian Farmadin</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span>; Performance (cs.PF) </div> </div> </dd> <dt> <a name='item17'>[17]</a> <a href ="/abs/1603.03475" title="Abstract" id="1603.03475"> arXiv:1603.03475 </a> [<a href="/pdf/1603.03475" title="Download PDF" id="pdf-1603.03475" aria-labelledby="pdf-1603.03475">pdf</a>, <a href="/format/1603.03475" title="Other formats" id="oth-1603.03475" aria-labelledby="oth-1603.03475">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Information Flow in Logical Environments </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Kent,+R+E">Robert E. Kent</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> This paper was completed in 2008 </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span> </div> </div> </dd> <dt> <a name='item18'>[18]</a> <a href ="/abs/1603.04309" title="Abstract" id="1603.04309"> arXiv:1603.04309 </a> [<a href="/pdf/1603.04309" title="Download PDF" id="pdf-1603.04309" aria-labelledby="pdf-1603.04309">pdf</a>, <a href="/format/1603.04309" title="Other formats" id="oth-1603.04309" aria-labelledby="oth-1603.04309">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Order-Invariant Types and Their Applications </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Barcelo,+P">Pablo Barcelo</a> (U Chile), <a href="https://arxiv.org/search/cs?searchtype=author&query=Libkin,+L">Leonid Libkin</a> (U Edinburgh)</div> <div class='list-journal-ref'><span class='descriptor'>Journal-ref:</span> Logical Methods in Computer Science, Volume 12, Issue 1 (April 1, 2016) lmcs:1632 </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span> </div> </div> </dd> <dt> <a name='item19'>[19]</a> <a href ="/abs/1603.05214" title="Abstract" id="1603.05214"> arXiv:1603.05214 </a> [<a href="/pdf/1603.05214" title="Download PDF" id="pdf-1603.05214" aria-labelledby="pdf-1603.05214">pdf</a>, <a href="/format/1603.05214" title="Other formats" id="oth-1603.05214" aria-labelledby="oth-1603.05214">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Milius,+S">Stefan Milius</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Litak,+T">Tadeusz Litak</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> invited to a special issue of Fundamenta Informaticae (FiCS'13). arXiv admin note: text overlap with <a href="https://arxiv.org/abs/1309.0895" data-arxiv-id="1309.0895" class="link-https">arXiv:1309.0895</a> </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span> </div> </div> </dd> <dt> <a name='item20'>[20]</a> <a href ="/abs/1603.05625" title="Abstract" id="1603.05625"> arXiv:1603.05625 </a> [<a href="/pdf/1603.05625" title="Download PDF" id="pdf-1603.05625" aria-labelledby="pdf-1603.05625">pdf</a>, <a href="/format/1603.05625" title="Other formats" id="oth-1603.05625" aria-labelledby="oth-1603.05625">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Two-variable Logic with a Between Predicate </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Krebs,+A">Andreas Krebs</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Lodaya,+K">Kamal Lodaya</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Pandya,+P">Paritosh Pandya</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Straubing,+H">Howard Straubing</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span> </div> </div> </dd> <dt> <a name='item21'>[21]</a> <a href ="/abs/1603.05789" title="Abstract" id="1603.05789"> arXiv:1603.05789 </a> [<a href="/pdf/1603.05789" title="Download PDF" id="pdf-1603.05789" aria-labelledby="pdf-1603.05789">pdf</a>, <a href="/format/1603.05789" title="Other formats" id="oth-1603.05789" aria-labelledby="oth-1603.05789">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Stuttering equivalence is too slow! </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Jansen,+D+N">David N. Jansen</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Keiren,+J+J">Jeroen J.A. Keiren</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 11 pages </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span> </div> </div> </dd> <dt> <a name='item22'>[22]</a> <a href ="/abs/1603.06422" title="Abstract" id="1603.06422"> arXiv:1603.06422 </a> [<a href="/pdf/1603.06422" title="Download PDF" id="pdf-1603.06422" aria-labelledby="pdf-1603.06422">pdf</a>, <a href="/format/1603.06422" title="Other formats" id="oth-1603.06422" aria-labelledby="oth-1603.06422">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Parity Game Reductions </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Cranen,+S">S. Cranen</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Keiren,+J">J.J.A. Keiren</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Willemse,+T">T.A.C. Willemse</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span>; Computer Science and Game Theory (cs.GT) </div> </div> </dd> <dt> <a name='item23'>[23]</a> <a href ="/abs/1603.06844" title="Abstract" id="1603.06844"> arXiv:1603.06844 </a> [<a href="/pdf/1603.06844" title="Download PDF" id="pdf-1603.06844" aria-labelledby="pdf-1603.06844">pdf</a>, <a href="/format/1603.06844" title="Other formats" id="oth-1603.06844" aria-labelledby="oth-1603.06844">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> A Decision Procedure for Separation Logic in SMT </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Reynolds,+A">Andrew Reynolds</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Iosif,+R">Radu Iosif</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=King,+T">Tim King</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 22 pages </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span> </div> </div> </dd> <dt> <a name='item24'>[24]</a> <a href ="/abs/1603.07030" title="Abstract" id="1603.07030"> arXiv:1603.07030 </a> [<a href="/pdf/1603.07030" title="Download PDF" id="pdf-1603.07030" aria-labelledby="pdf-1603.07030">pdf</a>, <a href="/format/1603.07030" title="Other formats" id="oth-1603.07030" aria-labelledby="oth-1603.07030">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Descriptive complexity of graph spectra </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Dawar,+A">Anuj Dawar</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Severini,+S">Simone Severini</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Zapata,+O">Octavio Zapata</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 17 pages </div> <div class='list-journal-ref'><span class='descriptor'>Journal-ref:</span> Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016 </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span> </div> </div> </dd> <dt> <a name='item25'>[25]</a> <a href ="/abs/1603.07218" title="Abstract" id="1603.07218"> arXiv:1603.07218 </a> [<a href="/pdf/1603.07218" title="Download PDF" id="pdf-1603.07218" aria-labelledby="pdf-1603.07218">pdf</a>, <a href="/format/1603.07218" title="Other formats" id="oth-1603.07218" aria-labelledby="oth-1603.07218">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Strong Normalizability as a Finiteness Structure via the Taylor Expansion of 位-terms </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Pagani,+M">Michele Pagani</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Tasson,+C">Christine Tasson</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Vaux,+L">Lionel Vaux</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> Presented at FoSSaCS 2016 </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span> </div> </div> </dd> <dt> <a name='item26'>[26]</a> <a href ="/abs/1603.07256" title="Abstract" id="1603.07256"> arXiv:1603.07256 </a> [<a href="/pdf/1603.07256" title="Download PDF" id="pdf-1603.07256" aria-labelledby="pdf-1603.07256">pdf</a>, <a href="/format/1603.07256" title="Other formats" id="oth-1603.07256" aria-labelledby="oth-1603.07256">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Summaries for Context-Free Games </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Hol%C3%ADk,+L">Luk谩拧 Hol铆k</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Meyer,+R">Roland Meyer</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Muskalla,+S">Sebastian Muskalla</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> The conference version of this paper was accepted for FSTTCS 2016 </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span>; Formal Languages and Automata Theory (cs.FL); Computer Science and Game Theory (cs.GT) </div> </div> </dd> <dt> <a name='item27'>[27]</a> <a href ="/abs/1603.07259" title="Abstract" id="1603.07259"> arXiv:1603.07259 </a> [<a href="/pdf/1603.07259" title="Download PDF" id="pdf-1603.07259" aria-labelledby="pdf-1603.07259">pdf</a>, <a href="/format/1603.07259" title="Other formats" id="oth-1603.07259" aria-labelledby="oth-1603.07259">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> On the characterization of models of H*: The semantical aspect </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Breuvart,+F">Flavien Breuvart</a></div> <div class='list-journal-ref'><span class='descriptor'>Journal-ref:</span> Logical Methods in Computer Science, Volume 12, Issue 2 (April 27, 2016) lmcs:1636 </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span> </div> </div> </dd> <dt> <a name='item28'>[28]</a> <a href ="/abs/1603.07453" title="Abstract" id="1603.07453"> arXiv:1603.07453 </a> [<a href="/pdf/1603.07453" title="Download PDF" id="pdf-1603.07453" aria-labelledby="pdf-1603.07453">pdf</a>, <a href="/format/1603.07453" title="Other formats" id="oth-1603.07453" aria-labelledby="oth-1603.07453">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> An Expressive Probabilistic Temporal Logic </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Paleo,+B+W">Bruno Woltzenlogel Paleo</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span>; Artificial Intelligence (cs.AI) </div> </div> </dd> <dt> <a name='item29'>[29]</a> <a href ="/abs/1603.07458" title="Abstract" id="1603.07458"> arXiv:1603.07458 </a> [<a href="/pdf/1603.07458" title="Download PDF" id="pdf-1603.07458" aria-labelledby="pdf-1603.07458">pdf</a>, <a href="/format/1603.07458" title="Other formats" id="oth-1603.07458" aria-labelledby="oth-1603.07458">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> The method "Model Elimination" of D.W.Loveland explained </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=L%C3%A9vy,+M">Michel L茅vy</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span> </div> </div> </dd> <dt> <a name='item30'>[30]</a> <a href ="/abs/1603.07484" title="Abstract" id="1603.07484"> arXiv:1603.07484 </a> [<a href="/pdf/1603.07484" title="Download PDF" id="pdf-1603.07484" aria-labelledby="pdf-1603.07484">pdf</a>, <a href="/format/1603.07484" title="Other formats" id="oth-1603.07484" aria-labelledby="oth-1603.07484">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> A Classical Realizability Model for a Semantical Value Restriction </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Lepigre,+R">Rodolphe Lepigre</a> (LAMA)</div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span>; Programming Languages (cs.PL); Logic (math.LO) </div> </div> </dd> <dt> <a name='item31'>[31]</a> <a href ="/abs/1603.08206" title="Abstract" id="1603.08206"> arXiv:1603.08206 </a> [<a href="/pdf/1603.08206" title="Download PDF" id="pdf-1603.08206" aria-labelledby="pdf-1603.08206">pdf</a>, <a href="/format/1603.08206" title="Other formats" id="oth-1603.08206" aria-labelledby="oth-1603.08206">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> An Abstract Algebraic Logic View on Judgment Aggregation </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Esteban,+M">Maria Esteban</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Palmigiano,+A">Alessandra Palmigiano</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Zhao,+Z">Zhiguang Zhao</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> This is an extended version with details of proofs of the proceeding paper with the same title, in Logic, Rationality and Interaction: Proceedings of 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015, Lecture Notes in Computer Science, Volume 9394, page 77-89 </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span> </div> </div> </dd> <dt> <a name='item32'>[32]</a> <a href ="/abs/1603.08213" title="Abstract" id="1603.08213"> arXiv:1603.08213 </a> [<a href="/pdf/1603.08213" title="Download PDF" id="pdf-1603.08213" aria-labelledby="pdf-1603.08213">pdf</a>, <a href="/format/1603.08213" title="Other formats" id="oth-1603.08213" aria-labelledby="oth-1603.08213">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Generating reversible circuits from higher-order functional programs </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Valiron,+B">Benoit Valiron</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 21 pages. A shorter preprint has been accepted for publication in the Proceedings of Reversible Computation 2016. The final publication is available at <a href="http://link.springer.com" rel="external noopener nofollow" class="link-external link-http">this http URL</a> </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span> </div> </div> </dd> <dt> <a name='item33'>[33]</a> <a href ="/abs/1603.08264" title="Abstract" id="1603.08264"> arXiv:1603.08264 </a> [<a href="/pdf/1603.08264" title="Download PDF" id="pdf-1603.08264" aria-labelledby="pdf-1603.08264">pdf</a>, <a href="/format/1603.08264" title="Other formats" id="oth-1603.08264" aria-labelledby="oth-1603.08264">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> The Sch眉tzenberger product for syntactic spaces </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Gehrke,+M">Mai Gehrke</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Petrisan,+D">Daniela Petrisan</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Reggio,+L">Luca Reggio</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 21 pages </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span>; Formal Languages and Automata Theory (cs.FL); General Topology (math.GN); Logic (math.LO) </div> </div> </dd> <dt> <a name='item34'>[34]</a> <a href ="/abs/1603.08769" title="Abstract" id="1603.08769"> arXiv:1603.08769 </a> [<a href="/pdf/1603.08769" title="Download PDF" id="pdf-1603.08769" aria-labelledby="pdf-1603.08769">pdf</a>, <a href="/format/1603.08769" title="Other formats" id="oth-1603.08769" aria-labelledby="oth-1603.08769">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Reasoning about Algebraic Data Types with Abstractions </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Pham,+T">Tuan-Hung Pham</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Gacek,+A">Andrew Gacek</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Whalen,+M+W">Michael W. Whalen</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> To appear in Journal of Automated Reasoning </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span>; Programming Languages (cs.PL) </div> </div> </dd> <dt> <a name='item35'>[35]</a> <a href ="/abs/1603.09055" title="Abstract" id="1603.09055"> arXiv:1603.09055 </a> [<a href="/pdf/1603.09055" title="Download PDF" id="pdf-1603.09055" aria-labelledby="pdf-1603.09055">pdf</a>, <a href="/format/1603.09055" title="Other formats" id="oth-1603.09055" aria-labelledby="oth-1603.09055">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Succinctness of Order-Invariant Logics on Depth-Bounded Structures </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Eickmeyer,+K">Kord Eickmeyer</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Elberfeld,+M">Michael Elberfeld</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Harwath,+F">Frederik Harwath</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> A preliminary version of this paper was presented at MFCS 2014 </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span> </div> </div> </dd> <dt> <a name='item36'>[36]</a> <a href ="/abs/1603.09286" title="Abstract" id="1603.09286"> arXiv:1603.09286 </a> [<a href="/pdf/1603.09286" title="Download PDF" id="pdf-1603.09286" aria-labelledby="pdf-1603.09286">pdf</a>, <a href="/format/1603.09286" title="Other formats" id="oth-1603.09286" aria-labelledby="oth-1603.09286">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Studies on Brutal Contraction and Severe Withdrawal: Preliminary Report </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Garapa,+M">Marco Garapa</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Ferm%C3%A9,+E">Eduardo Ferm茅</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Reis,+M+D+L">Maur铆cio D. L. Reis</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span> </div> </div> </dd> <dt> <a name='item37'>[37]</a> <a href ="/abs/1603.09488" title="Abstract" id="1603.09488"> arXiv:1603.09488 </a> [<a href="/pdf/1603.09488" title="Download PDF" id="pdf-1603.09488" aria-labelledby="pdf-1603.09488">pdf</a>, <a href="/format/1603.09488" title="Other formats" id="oth-1603.09488" aria-labelledby="oth-1603.09488">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Building the Signature of Set Theory Using the MathSem Program </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Luxemburg,+A">Andrey Luxemburg</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span>; Artificial Intelligence (cs.AI) </div> </div> </dd> <dt> <a name='item38'>[38]</a> <a href ="/abs/1603.00087" title="Abstract" id="1603.00087"> arXiv:1603.00087 </a> (cross-list from cs.CR) [<a href="/pdf/1603.00087" title="Download PDF" id="pdf-1603.00087" aria-labelledby="pdf-1603.00087">pdf</a>, <a href="/format/1603.00087" title="Other formats" id="oth-1603.00087" aria-labelledby="oth-1603.00087">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Effective Sequential Protocol Composition in Maude-NPA </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Santiago,+S">Sonia Santiago</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Escobar,+S">Santiago Escobar</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Meadows,+C">Catherine Meadows</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Meseguer,+J">Jos茅 Meseguer</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Cryptography and Security (cs.CR)</span>; Logic in Computer Science (cs.LO); Programming Languages (cs.PL) </div> </div> </dd> <dt> <a name='item39'>[39]</a> <a href ="/abs/1603.00307" title="Abstract" id="1603.00307"> arXiv:1603.00307 </a> (cross-list from cs.SE) [<a href="/pdf/1603.00307" title="Download PDF" id="pdf-1603.00307" aria-labelledby="pdf-1603.00307">pdf</a>, <a href="/format/1603.00307" title="Other formats" id="oth-1603.00307" aria-labelledby="oth-1603.00307">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Corrodi,+C">Claudio Corrodi</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Heu%C3%9Fner,+A">Alexander Heu脽ner</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Poskitt,+C+M">Christopher M. Poskitt</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> Accepted for publication in the proceedings of FASE 2016 (to appear) </div> <div class='list-journal-ref'><span class='descriptor'>Journal-ref:</span> Proc. International Conference on Fundamental Approaches to Software Engineering (FASE 2016), volume 9633 of LNCS, pages 31-48. Springer, 2016 </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Software Engineering (cs.SE)</span>; Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO); Programming Languages (cs.PL) </div> </div> </dd> <dt> <a name='item40'>[40]</a> <a href ="/abs/1603.00636" title="Abstract" id="1603.00636"> arXiv:1603.00636 </a> (cross-list from cs.SE) [<a href="/pdf/1603.00636" title="Download PDF" id="pdf-1603.00636" aria-labelledby="pdf-1603.00636">pdf</a>, <a href="/format/1603.00636" title="Other formats" id="oth-1603.00636" aria-labelledby="oth-1603.00636">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Semi-Automated Design Space Exploration for Formal Modelling </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Grov,+G">Gudmund Grov</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Ireland,+A">Andrew Ireland</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Llano,+M+T">Maria Teresa Llano</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Kovacs,+P">Peter Kovacs</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Colton,+S">Simon Colton</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Gow,+J">Jeremy Gow</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 14 pages. Long version of a short paper to be published at ABZ 2016 </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Software Engineering (cs.SE)</span>; Logic in Computer Science (cs.LO) </div> </div> </dd> <dt> <a name='item41'>[41]</a> <a href ="/abs/1603.00649" title="Abstract" id="1603.00649"> arXiv:1603.00649 </a> (cross-list from cs.PL) [<a href="/pdf/1603.00649" title="Download PDF" id="pdf-1603.00649" aria-labelledby="pdf-1603.00649">pdf</a>, <a href="/format/1603.00649" title="Other formats" id="oth-1603.00649" aria-labelledby="oth-1603.00649">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Automatic Verification of Iterated Separating Conjunctions using Symbolic Execution </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=M%C3%BCller,+P">Peter M眉ller</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Schwerhoff,+M">Malte Schwerhoff</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Summers,+A+J">Alexander J. Summers</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Programming Languages (cs.PL)</span>; Logic in Computer Science (cs.LO) </div> </div> </dd> <dt> <a name='item42'>[42]</a> <a href ="/abs/1603.01412" title="Abstract" id="1603.01412"> arXiv:1603.01412 </a> (cross-list from cs.DC) [<a href="/pdf/1603.01412" title="Download PDF" id="pdf-1603.01412" aria-labelledby="pdf-1603.01412">pdf</a>, <a href="/format/1603.01412" title="Other formats" id="oth-1603.01412" aria-labelledby="oth-1603.01412">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Contextual trace refinement for concurrent objects: Safety and progress </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Dongol,+B">Brijesh Dongol</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Groves,+L">Lindsay Groves</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Distributed, Parallel, and Cluster Computing (cs.DC)</span>; Logic in Computer Science (cs.LO) </div> </div> </dd> <dt> <a name='item43'>[43]</a> <a href ="/abs/1603.01455" title="Abstract" id="1603.01455"> arXiv:1603.01455 </a> (cross-list from cs.FL) [<a href="/pdf/1603.01455" title="Download PDF" id="pdf-1603.01455" aria-labelledby="pdf-1603.01455">pdf</a>, <a href="/format/1603.01455" title="Other formats" id="oth-1603.01455" aria-labelledby="oth-1603.01455">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Nominal Automata with Name Binding </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Schr%C3%B6der,+L">Lutz Schr枚der</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Kozen,+D">Dexter Kozen</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Milius,+S">Stefan Milius</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Wi%C3%9Fmann,+T">Thorsten Wi脽mann</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> Updated arguments A.26/A.27; rest unchanged </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Formal Languages and Automata Theory (cs.FL)</span>; Logic in Computer Science (cs.LO) </div> </div> </dd> <dt> <a name='item44'>[44]</a> <a href ="/abs/1603.01766" title="Abstract" id="1603.01766"> arXiv:1603.01766 </a> (cross-list from math.LO) [<a href="/pdf/1603.01766" title="Download PDF" id="pdf-1603.01766" aria-labelledby="pdf-1603.01766">pdf</a>, <a href="/format/1603.01766" title="Other formats" id="oth-1603.01766" aria-labelledby="oth-1603.01766">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Spatial logic of modal mu-calculus and tangled closure operators </div> <div class='list-authors'><a href="https://arxiv.org/search/math?searchtype=author&query=Goldblatt,+R">Robert Goldblatt</a>, <a href="https://arxiv.org/search/math?searchtype=author&query=Hodkinson,+I">Ian Hodkinson</a></div> <div class='list-journal-ref'><span class='descriptor'>Journal-ref:</span> Part I: Studia Logica, Volume 106, Issue 1, February 2018, 131-166; Part II: Annals of Pure and Applied Logic, Volume 168, Issue 5, May 2017, 1032-1090 </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic (math.LO)</span>; Logic in Computer Science (cs.LO) </div> </div> </dd> <dt> <a name='item45'>[45]</a> <a href ="/abs/1603.02966" title="Abstract" id="1603.02966"> arXiv:1603.02966 </a> (cross-list from cs.FL) [<a href="/pdf/1603.02966" title="Download PDF" id="pdf-1603.02966" aria-labelledby="pdf-1603.02966">pdf</a>, <a href="/format/1603.02966" title="Other formats" id="oth-1603.02966" aria-labelledby="oth-1603.02966">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Solutions of Word Equations over Partially Commutative Structures </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Diekert,+V">Volker Diekert</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Je%C5%BC,+A">Artur Je偶</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Kufleitner,+M">Manfred Kufleitner</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Formal Languages and Automata Theory (cs.FL)</span>; Logic in Computer Science (cs.LO) </div> </div> </dd> <dt> <a name='item46'>[46]</a> <a href ="/abs/1603.03727" title="Abstract" id="1603.03727"> arXiv:1603.03727 </a> (cross-list from cs.PL) [<a href="/pdf/1603.03727" title="Download PDF" id="pdf-1603.03727" aria-labelledby="pdf-1603.03727">pdf</a>, <a href="/format/1603.03727" title="Other formats" id="oth-1603.03727" aria-labelledby="oth-1603.03727">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Session Types in a Linearly Typed Multi-Threaded Lambda-Calculus </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Xi,+H">Hongwei Xi</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Ren,+Z">Zhiqiang Ren</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Wu,+H">Hanwen Wu</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Blair,+W">William Blair</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> This is the original version of the paper on supporting programming with dyadic session types in ATS </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Programming Languages (cs.PL)</span>; Logic in Computer Science (cs.LO) </div> </div> </dd> <dt> <a name='item47'>[47]</a> <a href ="/abs/1603.03814" title="Abstract" id="1603.03814"> arXiv:1603.03814 </a> (cross-list from cs.AI) [<a href="/pdf/1603.03814" title="Download PDF" id="pdf-1603.03814" aria-labelledby="pdf-1603.03814">pdf</a>, <a href="/format/1603.03814" title="Other formats" id="oth-1603.03814" aria-labelledby="oth-1603.03814">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Solving MaxSAT by Successive Calls to a SAT Solver </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Halaby,+M+E">Mohamed El Halaby</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> Survey, 46 pages </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Artificial Intelligence (cs.AI)</span>; Computational Complexity (cs.CC); Logic in Computer Science (cs.LO) </div> </div> </dd> <dt> <a name='item48'>[48]</a> <a href ="/abs/1603.04059" title="Abstract" id="1603.04059"> arXiv:1603.04059 </a> (cross-list from math.GR) [<a href="/pdf/1603.04059" title="Download PDF" id="pdf-1603.04059" aria-labelledby="pdf-1603.04059">pdf</a>, <a href="/format/1603.04059" title="Other formats" id="oth-1603.04059" aria-labelledby="oth-1603.04059">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Algorithmic aspects of branched coverings II/V. Sphere bisets and their decompositions </div> <div class='list-authors'><a href="https://arxiv.org/search/math?searchtype=author&query=Bartholdi,+L">Laurent Bartholdi</a>, <a href="https://arxiv.org/search/math?searchtype=author&query=Dudko,+D">Dzmitry Dudko</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> wrt version 1: references fixed wrt version 2: general stylistic improvements, replaced "congruence" by "intertwiner"; wrt version 3: rewrote the algorithmic content </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Group Theory (math.GR)</span>; Logic in Computer Science (cs.LO); Dynamical Systems (math.DS) </div> </div> </dd> <dt> <a name='item49'>[49]</a> <a href ="/abs/1603.05072" title="Abstract" id="1603.05072"> arXiv:1603.05072 </a> (cross-list from cs.GT) [<a href="/pdf/1603.05072" title="Download PDF" id="pdf-1603.05072" aria-labelledby="pdf-1603.05072">pdf</a>, <a href="/format/1603.05072" title="Other formats" id="oth-1603.05072" aria-labelledby="oth-1603.05072">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Reconciling Rationality and Stochasticity: Rich Behavioral Models in Two-Player Games </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Randour,+M">Mickael Randour</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> Accepted at GAMES 2016, the 5th World Congress of the Game Theory Society. High-level survey notably based on <a href="https://arxiv.org/abs/1204.3283" data-arxiv-id="1204.3283" class="link-https">arXiv:1204.3283</a> and <a href="https://arxiv.org/abs/1411.0835" data-arxiv-id="1411.0835" class="link-https">arXiv:1411.0835</a> </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Computer Science and Game Theory (cs.GT)</span>; Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO) </div> </div> </dd> <dt> <a name='item50'>[50]</a> <a href ="/abs/1603.05314" title="Abstract" id="1603.05314"> arXiv:1603.05314 </a> (cross-list from cs.AI) [<a href="/pdf/1603.05314" title="Download PDF" id="pdf-1603.05314" aria-labelledby="pdf-1603.05314">pdf</a>, <a href="/format/1603.05314" title="Other formats" id="oth-1603.05314" aria-labelledby="oth-1603.05314">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Hardware Acceleration for Boolean Satisfiability Solver by Applying Belief Propagation Algorithm </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Chen,+T">Te-Hsuan Chen</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Lu,+J">Ju-Yi Lu</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Artificial Intelligence (cs.AI)</span>; Logic in Computer Science (cs.LO) </div> </div> </dd> </dl> <div class='paging'>Total of 66 entries : <span>1-50</span> <a href=/list/cs.LO/2016-03?skip=50&show=50>51-66</a> </div> <div class='morefewer'>Showing up to 50 entries per page: <a href=/list/cs.LO/2016-03?skip=0&show=25 rel="nofollow"> fewer</a> | <span style="color: #454545">more</span> | <a href=/list/cs.LO/2016-03?skip=0&show=2000 rel="nofollow"> all</a> </div> </div> </div> </div> </main> <footer style="clear: both;"> <div class="columns is-desktop" role="navigation" aria-label="Secondary" style="margin: -0.75em -0.75em 0.75em -0.75em"> <!-- Macro-Column 1 --> <div class="column" style="padding: 0;"> <div class="columns"> <div class="column"> <ul style="list-style: none; line-height: 2;"> <li><a href="https://info.arxiv.org/about">About</a></li> <li><a href="https://info.arxiv.org/help">Help</a></li> </ul> </div> <div class="column"> <ul style="list-style: none; line-height: 2;"> <li> <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512" class="icon filter-black" role="presentation"><title>contact arXiv</title><desc>Click here to contact arXiv</desc><path d="M502.3 190.8c3.9-3.1 9.7-.2 9.7 4.7V400c0 26.5-21.5 48-48 48H48c-26.5 0-48-21.5-48-48V195.6c0-5 5.7-7.8 9.7-4.7 22.4 17.4 52.1 39.5 154.1 113.6 21.1 15.4 56.7 47.8 92.2 47.6 35.7.3 72-32.8 92.3-47.6 102-74.1 131.6-96.3 154-113.7zM256 320c23.2.4 56.6-29.2 73.4-41.4 132.7-96.3 142.8-104.7 173.4-128.7 5.8-4.5 9.2-11.5 9.2-18.9v-19c0-26.5-21.5-48-48-48H48C21.5 64 0 85.5 0 112v19c0 7.4 3.4 14.3 9.2 18.9 30.6 23.9 40.7 32.4 173.4 128.7 16.8 12.2 50.2 41.8 73.4 41.4z"/></svg> <a href="https://info.arxiv.org/help/contact.html"> Contact</a> </li> <li> <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512" class="icon filter-black" role="presentation"><title>subscribe to arXiv mailings</title><desc>Click here to subscribe</desc><path d="M476 3.2L12.5 270.6c-18.1 10.4-15.8 35.6 2.2 43.2L121 358.4l287.3-253.2c5.5-4.9 13.3 2.6 8.6 8.3L176 407v80.5c0 23.6 28.5 32.9 42.5 15.8L282 426l124.6 52.2c14.2 6 30.4-2.9 33-18.2l72-432C515 7.8 493.3-6.8 476 3.2z"/></svg> <a href="https://info.arxiv.org/help/subscribe"> Subscribe</a> </li> </ul> </div> </div> </div> <!-- End Macro-Column 1 --> <!-- Macro-Column 2 --> <div class="column" style="padding: 0;"> <div class="columns"> <div class="column"> <ul style="list-style: none; line-height: 2;"> <li><a href="https://info.arxiv.org/help/license/index.html">Copyright</a></li> <li><a href="https://info.arxiv.org/help/policies/privacy_policy.html">Privacy Policy</a></li> </ul> </div> <div class="column sorry-app-links"> <ul style="list-style: none; line-height: 2;"> <li><a href="https://info.arxiv.org/help/web_accessibility.html">Web Accessibility Assistance</a></li> <li> <p class="help"> <a class="a11y-main-link" href="https://status.arxiv.org" target="_blank">arXiv Operational Status <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 256 512" class="icon filter-dark_grey" role="presentation"><path d="M224.3 273l-136 136c-9.4 9.4-24.6 9.4-33.9 0l-22.6-22.6c-9.4-9.4-9.4-24.6 0-33.9l96.4-96.4-96.4-96.4c-9.4-9.4-9.4-24.6 0-33.9L54.3 103c9.4-9.4 24.6-9.4 33.9 0l136 136c9.5 9.4 9.5 24.6.1 34z"/></svg></a><br> Get status notifications via <a class="is-link" href="https://subscribe.sorryapp.com/24846f03/email/new" target="_blank"><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512" class="icon filter-black" role="presentation"><path d="M502.3 190.8c3.9-3.1 9.7-.2 9.7 4.7V400c0 26.5-21.5 48-48 48H48c-26.5 0-48-21.5-48-48V195.6c0-5 5.7-7.8 9.7-4.7 22.4 17.4 52.1 39.5 154.1 113.6 21.1 15.4 56.7 47.8 92.2 47.6 35.7.3 72-32.8 92.3-47.6 102-74.1 131.6-96.3 154-113.7zM256 320c23.2.4 56.6-29.2 73.4-41.4 132.7-96.3 142.8-104.7 173.4-128.7 5.8-4.5 9.2-11.5 9.2-18.9v-19c0-26.5-21.5-48-48-48H48C21.5 64 0 85.5 0 112v19c0 7.4 3.4 14.3 9.2 18.9 30.6 23.9 40.7 32.4 173.4 128.7 16.8 12.2 50.2 41.8 73.4 41.4z"/></svg>email</a> or <a class="is-link" href="https://subscribe.sorryapp.com/24846f03/slack/new" target="_blank"><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 448 512" class="icon filter-black" role="presentation"><path d="M94.12 315.1c0 25.9-21.16 47.06-47.06 47.06S0 341 0 315.1c0-25.9 21.16-47.06 47.06-47.06h47.06v47.06zm23.72 0c0-25.9 21.16-47.06 47.06-47.06s47.06 21.16 47.06 47.06v117.84c0 25.9-21.16 47.06-47.06 47.06s-47.06-21.16-47.06-47.06V315.1zm47.06-188.98c-25.9 0-47.06-21.16-47.06-47.06S139 32 164.9 32s47.06 21.16 47.06 47.06v47.06H164.9zm0 23.72c25.9 0 47.06 21.16 47.06 47.06s-21.16 47.06-47.06 47.06H47.06C21.16 243.96 0 222.8 0 196.9s21.16-47.06 47.06-47.06H164.9zm188.98 47.06c0-25.9 21.16-47.06 47.06-47.06 25.9 0 47.06 21.16 47.06 47.06s-21.16 47.06-47.06 47.06h-47.06V196.9zm-23.72 0c0 25.9-21.16 47.06-47.06 47.06-25.9 0-47.06-21.16-47.06-47.06V79.06c0-25.9 21.16-47.06 47.06-47.06 25.9 0 47.06 21.16 47.06 47.06V196.9zM283.1 385.88c25.9 0 47.06 21.16 47.06 47.06 0 25.9-21.16 47.06-47.06 47.06-25.9 0-47.06-21.16-47.06-47.06v-47.06h47.06zm0-23.72c-25.9 0-47.06-21.16-47.06-47.06 0-25.9 21.16-47.06 47.06-47.06h117.84c25.9 0 47.06 21.16 47.06 47.06 0 25.9-21.16 47.06-47.06 47.06H283.1z"/></svg>slack</a> </p> </li> </ul> </div> </div> </div> <!-- end MetaColumn 2 --> <!-- End Macro-Column 2 --> </div> </footer> </div> <script src="/static/base/1.0.1/js/member_acknowledgement.js"></script> </body> </html>