[TYPES/announce] CFP LSFA 2014: 9th Workshop on Logical and Semantic Frameworks, with Applications

[Fernandez, Maria Isabel]

                    LSFA 2014 — SECOND CALL FOR PAPERS
       9th Logical and Semantic Frameworks, with Applications
                   8-9 September 2014, Brasilia D.F., Brazil
                      http://lsfa2014.cic.unb.br

             ***** Submission deadline: 25 May 2014 *****

Logical and semantic frameworks are formal languages used to represent
logics, languages and systems. These frameworks provide foundations
for formal specification of systems and programming languages,
supporting tool development and reasoning.
The objective of this workshop is to bring together theoreticians and
practitioners to promote new techniques and results, and to facilitate
feedback on the implementation and application of such techniques and
results in practice.
Topics of interest to this forum include, but are not limited to:
   * Logical frameworks
   * Proof theory
   * Type theory
   * Automated deduction
   * Semantic frameworks
   * Specification languages and meta-languages
   * Formal semantics of languages and systems
   * Computational and logical properties of semantic frameworks
   * Implementation of logical and/or semantic frameworks
   * Applications of logical and/or semantic frameworks
LSFA 2014 also aims to be a forum for presenting and discussing work
in progress, and therefore to provide feedback to authors on their
preliminary research. The proceedings are produced after the meeting,
so that authors can incorporate this feedback in the published papers.

LSFA 2014 will take place on the 8th and 9th September 2014 in
Brasilia. Previous editions took place in Sao Paulo (2013), Rio de
Janeiro (2012), Belo Horizonte (2011), Natal (2010), Brasilia (2009),
Salvador (2008), Ouro Preto (2007) and Natal (2006).

SUBMISSION AND PUBLICATION:
Contributions should be written in English and submitted as full papers
(maximum 16 pages) or short papers (maximum 6 pages). They must be
unpublished and not submitted simultaneously for publication elsewhere.
The papers should be prepared in Latex using ENTCS style. The
submission should be in the form of a PDF file uploaded to Easychair:
https://www.easychair.org/conferences/?conf=lsfa2014
The pre-proceedings, containing the reviewed extended abstracts, will
be handed-out at event registration. After the meeting the authors
will be invited to submit full versions of their works for the
post-proceedings to be published in ENTCS. At least one of the authors
should register for the conference. Presentations are in English.

IMPORTANT DATES:
# Submission: Sunday 25 May
# Notification: Friday 11 July
# Preliminary proceedings version due: Sunday 03 August
# Submission for final proceedings: Sunday 19 October
# Notification:  Friday 28 November
# Final version: Sunday 21 December

INVITED SPEAKERS:
Ugo Montanari (Universita di Pisa, Italy)
Andrew M Pitts (University of Cambridge, England)
Rene Thiemann (University of Innsbruck, Austria)


PROGRAMME COMMITTEE
E. Albert (Spain), S. Alves (Portugal), S. de Amo (Brazil)
C. Areces (Argentina), M. Ayala-Rincon (Brazil, co-chair)
M. Benevides (Brazil), S. Berghofer (Germany), W. Carnielli (Brazil)
C. Castro (Chile), A. Compagnoni (USA), M. D'Agostino (Italy)
M. Fernandez (UK), M. Finger (Brazil), R. de Freitas (Brazil)
S. Gay (UK), E. Hermann Haeusler (Brazil), F. Kamareddine (UK)
D. Kesner (France), L. Lamb (Brazil), I. Mackie (France, co-chair)
J. Marcos (Brazil), C. Munoz (USA), V. Nigam (Brazil),
E. Pimentel (Brazil), R. Hax Sander Reiser (Brazil),
F. van Raamsdonk (Netherlands), S. Ronchi Della Rocca (Italy)
C. Talcott (USA), A. Tasistro (Uruguay), D. Ventura (Brazil)
J.P. Viana (Brazil), R. Wassermann (Brazil), T. Weber (Sweden)


ORGANISING COMMITTEE
C. Nalon, F.L.C. de Moura, D. Nantes Sobrinho (Brazil)

CONTACT: lsfa2014 at easychair.org
Home page: http://lsfa2014.cic.unb.br



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20140501/d721a025/attachment-0001.html>