<br>=====================================================<br> <br> ACM SIGPLAN International Workshop on Logical Frameworks<br> and Meta-Languages: Theory and Practice (LFMTP'13)<br><br> <a href="http://complogic.cs.mcgill.ca/lfmtp13">http://complogic.cs.mcgill.ca/lfmtp13</a><br>
<br> 23 September, 2013 Boston, USA<br><br> Co-located with with ICFP'13<br><br> CALL FOR PAPERS<br> =====================================================<br><br>IMPORTANT DATES<br>
<br>Paper submission: June 14, 2013<br>Author notification: July 7, 2013<br>Final versions due: July 18, 2013<br><br>=====================================================<br><br>Logical frameworks and meta-languages form a common substrate for<br>
representing, implementing, and reasoning about a wide variety of<br>deductive systems of interest in logic and computer science. Their<br>design and implementation on the one hand and their use in reasoning<br>tasks ranging from the correctness of software to the properties of<br>
formal computational systems on the other hand have been the focus of<br>considerable research over the last two decades. This workshop will<br>bring together designers, implementors, and practitioners to discuss<br>various aspects impinging on the structure and utility of logical<br>
framework. The broad subject areas of LFMTP'13 are:<br><br><br>* Encoding and reasoning about the meta-theory of programming<br>languages and related formally specified systems.<br>* Theoretical and practical issues concerning the treatment of variable<br>
binding.<br>* Logical treatments of inductive and co-inductive definitions and<br>associated reasoning techniques.<br>* New theory contributions: canonical frameworks, contextual<br>frameworks, functional programming over logical frameworks.<br>
<br>This year's invited speaker are Dale Miller (Inria) and Robert Harper (CMU) .<br>In addition, this year LFMTP will celebrate the twenty years anniversary of the<br> publication of: <br><br>Robert Harper, Furio Honsell and Gordon Plotkin. A Framework For<br>
Defining Logics. Journal of the Association for Computing Machinery,<br>40(1):143-184, 1993<br><br><br>Program Committee:<br>=================<br><br>* David Baelde, ENS <br>* James Cheney, Edinburgh<br>* Adam Chlipala, MIT<br>
* Dan Licata, CMU/IAS <br>* Alberto Momigliano, Milano (organizer)<br>* Brigitte Pientka, McGill (organizer)<br>* Nicolas Pouillard ITU<br>* Randy Pollack, Harvard (organizer)<br>* Andrei Popescu, TUM<br>* Florian Rabe, Bremen<br>
* Stephanie Weirich, UPenn<br><br><br>Submission Details:<br>============<br><br>In addition to regular papers, we also solicit "work in progress"<br>report, in a broad sense. Those do not need to report original or<br>
fully polished research results, but should be interesting for the<br>community at large.<br><br>Submitted papers should be in PDF, formatted using the ACM SIGPLAN<br>style guidelines (9pt format, more details appear on the symposium web<br>
page). The length is restricted to 12 pages, except for "Work in<br>Progress" papers, which are restricted to 6 pages.<br><br>Submission is via EasyChair:<br><br> <a href="https://www.easychair.org/conferences/?conf=lfmtp2013">https://www.easychair.org/conferences/?conf=lfmtp2013</a><br>
<br>Proceedings:<br>============<br><br>Accepted (regular) papers will be included in the ACM Digital Library.<br>Authors are encouraged to publish auxiliary material with their paper<br>(technical appendixes, source code, scripts, test data, etc.).<br>
<br><br>Travel Support:<br>===============<br><br>Student attendees with accepted papers can apply for a SIGPLAN PAC grant<br>to help cover travel expenses. PAC also offers other support, such as<br>for child-care expenses during the meeting or for travel costs for<br>
companions of SIGPLAN members with physical disabilities, as well as for<br>travel from locations outside of North America and Europe. For details<br>on the PAC program, see its web page (<a href="http://www.sigplan.org/PAC.htm">http://www.sigplan.org/PAC.htm</a>).<br>
<br>