<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=""><span style="font-size: 12.8px;" class="">(Apologies for multiple copies of this announcement)</span></div><div class=""><span style="font-size: 12.8px;" class="">==============================================================</span></div><div class=""><span style="font-size: 12.8px;" class=""><br class=""></span></div><div class=""><span style="font-size: 12.8px;" class=""> 11th Workshop on Logical and Semantic Frameworks, with Applications</span></div><div class=""><span style="font-size: 12.8px;" class=""> 25-26 June 2016, Porto, Portugal</span></div><div class=""><span style="font-size: 12.8px;" class=""> Satellite event of FSCD 2016</span></div><div class=""><span style="font-size: 12.8px;" class=""><br class=""></span></div><div class=""><span style="font-size: 12.8px;" class=""> <a href="http://lsfa2016.mat.unb.br/" class="">http://lsfa2016.mat.unb.br/</a></span></div><div class=""><span style="font-size: 12.8px;" class=""><br class=""></span></div><div class=""><span style="font-size: 12.8px;" class="">Logical and semantic frameworks are formal languages used to represent logics, </span></div><div class=""><span style="font-size: 12.8px;" class="">languages and systems. These frameworks provide foundations for the formal specification </span></div><div class=""><span style="font-size: 12.8px;" class="">of systems and programming languages, supporting tool development and reasoning. </span></div><div class=""><span style="font-size: 12.8px;" class=""><br class=""></span></div><div class=""><span style="font-size: 12.8px;" class="">LSFA 2016 aims to be a forum for presenting and discussing work in progress, </span></div><div class=""><span style="font-size: 12.8px;" class="">and therefore to provide feedback to authors on their preliminary research. The </span></div><div class=""><span style="font-size: 12.8px;" class="">proceedings are produced after the meeting, so that authors can incorporate this </span></div><div class=""><span style="font-size: 12.8px;" class="">feedback in the published papers.</span></div><div class=""><span style="font-size: 12.8px;" class=""><br class=""></span></div><div class=""><span style="font-size: 12.8px;" class="">LSFA 2016 will be a satellite event of FSCD 2016 taking place in Porto, Portugal</span></div><div class=""><span style="font-size: 12.8px;" class="">during 25-26 June 2016. Previous editions took place in Natal (2015), Brasília (2014),</span></div><div class=""><span style="font-size: 12.8px;" class="">Sao Paulo (2013), Rio de Janeiro (2012), Belo Horizonte (2011), Natal (2010), </span></div><div class=""><span style="font-size: 12.8px;" class="">Brasília (2009), Salvador (2008), Ouro Preto (2007), and Natal (2006).</span></div><div class=""><span style="font-size: 12.8px;" class=""><br class=""></span></div><div class=""><span style="font-size: 12.8px;" class="">TOPICS OF INTEREST</span></div><div class=""><span style="font-size: 12.8px;" class=""><br class=""></span></div><div class=""><span style="font-size: 12.8px;" class="">Topics of interest to this forum include, but are not limited to:</span></div><div class=""><span style="font-size: 12.8px;" class=""><br class=""></span></div><div class=""><span style="font-size: 12.8px;" class=""> * Automated deduction</span></div><div class=""><span style="font-size: 12.8px;" class=""> * Applications of logical and/or semantic frameworks</span></div><div class=""><span style="font-size: 12.8px;" class=""> * Computational and logical properties of semantic frameworks</span></div><div class=""><span style="font-size: 12.8px;" class=""> * Formal semantics of languages and systems</span></div><div class=""><span style="font-size: 12.8px;" class=""> * Implementation of logical and/or semantic frameworks</span></div><div class=""><span style="font-size: 12.8px;" class=""> * Lambda and combinatory calculi</span></div><div class=""><span style="font-size: 12.8px;" class=""> * Logical aspects of computational complexity</span></div><div class=""><span style="font-size: 12.8px;" class=""> * Logical frameworks</span></div><div class=""><span style="font-size: 12.8px;" class=""> * Process calculi</span></div><div class=""><span style="font-size: 12.8px;" class=""> * Proof theory</span></div><div class=""><span style="font-size: 12.8px;" class=""> * Semantic frameworks</span></div><div class=""><span style="font-size: 12.8px;" class=""> * Specification languages and meta-languages</span></div><div class=""><span style="font-size: 12.8px;" class=""> * Type theory</span></div><div class=""><span style="font-size: 12.8px;" class=""><br class=""></span></div><div class=""><span style="font-size: 12.8px;" class="">SUBMISSION AND PUBLICATION</span></div><div class=""><span style="font-size: 12.8px;" class=""><br class=""></span></div><div class=""><span style="font-size: 12.8px;" class="">Contributions should be written in English and submitted in the form of full</span></div><div class=""><span style="font-size: 12.8px;" class="">papers with a maximum of 16 pages including references or short papers </span></div><div class=""><span style="font-size: 12.8px;" class="">with a maximum of 6 pages including references. Additional technical material</span></div><div class=""><span style="font-size: 12.8px;" class="">can be provided in a clearly marked appendix which will be read by reviewers at </span></div><div class=""><span style="font-size: 12.8px;" class="">their discretion. Contributions must also be unpublished and not submitted </span></div><div class=""><span style="font-size: 12.8px;" class="">simultaneously for publication elsewhere. The papers should be prepared in LaTeX</span></div><div class=""><span style="font-size: 12.8px;" class="">using ENTCS style. The submission should be in the form of a PDF file uploaded </span></div><div class=""><span style="font-size: 12.8px;" class="">to Easychair:</span></div><div class=""><span style="font-size: 12.8px;" class=""><br class=""></span></div><div class=""><span style="font-size: 12.8px;" class=""> <a href="https://easychair.org/conferences/?conf=lsfa2016" class="">https://easychair.org/conferences/?conf=lsfa2016</a></span></div><div class=""><span style="font-size: 12.8px;" class=""><br class=""></span></div><div class=""><span style="font-size: 12.8px;" class="">The workshop pre-proceedings, containing the reviewed extended abstracts, will</span></div><div class=""><span style="font-size: 12.8px;" class="">be handed-out at workshop registration. After the workshop the authors of both</span></div><div class=""><span style="font-size: 12.8px;" class="">full and short papers will be invited to submit full versions of their works for</span></div><div class=""><span style="font-size: 12.8px;" class="">the post-proceedings to be published in ENTCS. At least one of the authors should</span></div><div class=""><span style="font-size: 12.8px;" class="">register for the conference. Presentations should be in English.</span></div><div class=""><span style="font-size: 12.8px;" class=""><br class=""></span></div><div class=""><span style="font-size: 12.8px;" class=""> * Submission: February 29th 2016 </span></div><div class=""><span style="font-size: 12.8px;" class=""> * Notification: April 22nd 2016 </span></div><div class=""><span style="font-size: 12.8px;" class=""> * Final pre-proceedings version due: May 8th 2016 </span></div><div class=""><span style="font-size: 12.8px;" class=""> * LSFA 2016 25-26 June 2016 </span></div><div class=""><span style="font-size: 12.8px;" class=""><br class=""></span></div><div class=""><span style="font-size: 12.8px;" class="">According to the quality of proceedings, authors will/would/might be invited to</span></div><div class=""><span style="font-size: 12.8px;" class="">submit an improved version of their paper for a special issue. Previous LSFA special issues</span></div><div class=""><span style="font-size: 12.8px;" class="">have been published in journals such as J. IGPL and TCS (see <a href="http://lsfa.cic.unb.br" class="">http://lsfa.cic.unb.br</a>).</span></div><div class=""><span style="font-size: 12.8px;" class=""><br class=""></span></div><div class=""><span style="font-size: 12.8px;" class="">INVITED SPEAKERS</span></div><div class=""><span style="font-size: 12.8px;" class=""><br class=""></span></div><div class=""><span style="font-size: 12.8px;" class=""> * Gilles Barthe (IMDEA Software Institute, Spain)</span></div><div class=""><span style="font-size: 12.8px;" class=""> * Luis Caires (Universidade Nova de Lisboa, Portugal)</span></div><div class=""><span style="font-size: 12.8px;" class=""> * Kaustuv Chaudhuri (Inria/École Polytechnique, France)</span></div><div class=""><span style="font-size: 12.8px;" class=""> * João Marques Silva (Instituto Superior Técnico, Portugal)</span></div><div class=""><span style="font-size: 12.8px;" class=""><br class=""></span></div><div class=""><span style="font-size: 12.8px;" class="">PROGRAMME COMMITTEE</span></div><div class=""><span style="font-size: 12.8px;" class=""><br class=""></span></div><div class=""><span style="font-size: 12.8px;" class=""> * Vivek Nigam (Universidade Federal de Paraíba) - co-chair</span></div><div class=""><span style="font-size: 12.8px;" class=""> * Mário Florido (Universidade do Porto) - co-chair</span></div><div class=""><span style="font-size: 12.8px;" class=""> * Mauricio Ayala-Rincon (Universidade de Brasília)</span></div><div class=""><span style="font-size: 12.8px;" class=""> * María Alpuente (Universitat Politecnica de Valencia)</span></div><div class=""><span style="font-size: 12.8px;" class=""> * David Baelde (ENS Cachan)</span></div><div class=""><span style="font-size: 12.8px;" class=""> * Maribel Fernández (King's College London)</span></div><div class=""><span style="font-size: 12.8px;" class=""> * Marcelo Finger (Universidade de São Paulo)</span></div><div class=""><span style="font-size: 12.8px;" class=""> * Marco Gaboardi (University of Dundee)</span></div><div class=""><span style="font-size: 12.8px;" class=""> * Mateu Villaret (Universitat de Girona)</span></div><div class=""><span style="font-size: 12.8px;" class=""> * Silvia Ghilezan (University of Novi Sad)</span></div><div class=""><span style="font-size: 12.8px;" class=""> * Martin Hofmann (Ludwig-Maximilians-Universität)</span></div><div class=""><span style="font-size: 12.8px;" class=""> * Temur Kutsia (RISC- Johannes Kepler University Linz)</span></div><div class=""><span style="font-size: 12.8px;" class=""> * Bjoern Lellmann (TU Vienna)</span></div><div class=""><span style="font-size: 12.8px;" class=""> * Ian Mackie (Ecole Polytechnique)</span></div><div class=""><span style="font-size: 12.8px;" class=""> * João Marcos (Univ. Federal Rio Grande do Norte)</span></div><div class=""><span style="font-size: 12.8px;" class=""> * Cláudia Nalon (Universidade de Brasilia)</span></div><div class=""><span style="font-size: 12.8px;" class=""> * Frank Pfenning (Carnegie Mellon University)</span></div><div class=""><span style="font-size: 12.8px;" class=""> * Elaine Pimentel (Univ. Federal Rio Grande do Norte)</span></div><div class=""><span style="font-size: 12.8px;" class=""> * Jose Nuno Oliveira (Universidade do Minho)</span></div><div class=""><span style="font-size: 12.8px;" class=""> * Ruy De Queiroz (Univ. Federal de Pernambuco)</span></div><div class=""><span style="font-size: 12.8px;" class=""> * Giselle Reis (Inria-École Polytechnique)</span></div><div class=""><span style="font-size: 12.8px;" class=""> * Camilo Rocha (Escuela Colombiana de Ingeniería)</span></div><div class=""><span style="font-size: 12.8px;" class=""> * Alexandra Silva (University College London)</span></div><div class=""><span style="font-size: 12.8px;" class=""> * Kazushige Terui (Kyoto University)</span></div><div class=""><span style="font-size: 12.8px;" class=""> * René Thiemann (University of Innsbruck)</span></div><div class=""><span style="font-size: 12.8px;" class=""><br class=""></span></div><div class=""><span style="font-size: 12.8px;" class="">ORGANISING COMMITTEE</span></div><div class=""><span style="font-size: 12.8px;" class=""><br class=""></span></div><div class=""><span style="font-size: 12.8px;" class=""> * Daniele Nantes Sobrinho (Universidade de Brasília) </span></div><div class=""><span style="font-size: 12.8px;" class=""><br class=""></span></div><div class=""><span style="font-size: 12.8px;" class="">CONTACT</span></div><div class=""><span style="font-size: 12.8px;" class=""><br class=""></span></div><div class=""><span style="font-size: 12.8px;" class=""> * <a href="mailto:lsfa2016@easychair.org" class="">lsfa2016@easychair.org</a></span></div><div class=""><span style="font-size: 12.8px;" class=""> * <a href="http://lsfa2016.mat.unb.br/" class="">http://lsfa2016.mat.unb.br/</a></span></div><div class=""><br class=""></div></body></html>