LSFA'06 - Brazilian Workshop on Logical and Semantic Frameworks, with Applications

Brazilian Workshop on Logical and Semantic Frameworks, with Applications
LSFA'06 - FIRST CALL FOR PAPERS
------------------------------------------------------------------------

September 17th, 2006,
Natal, Rio Grande do Norte, Brazil

(Satellite Event to SBMF'06, the Brazilian Symposium on Formal
Methods, to be held together with the International Conference on
Graph Transformations, ICGT'06)

> Scope

Logical frameworks 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 one-day workshop is to put together
theoreticians and practitioners to promote new techniques and results,
from the theoretical side, and feedback on the implementation and use
of such techniques and results, from the practical side.

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'06 aims to be a forum for presenting and discussing work in
progress. The proceedings of the symposium are produced only after the
symposium, so that authors can incorporate feedback from the workshop
in the published papers.

> Program Committee

Alejandro Rios          UBA (Buenos Aires)
Ana Teresa Martins      UFC (Fortaleza)
Anamaria Moreira        UFRN (Natal)
Benjamin Bedregal       UFRN (Natal)
Carolyn Talcott         SRI (Menlo Park)
Cesar Munoz             NASA (Hampton)
Christiano Braga        UCM (Madrid), co-chair
Daniel Durante          UFRN (Natal)
Delia Kesner            Paris 7 (Paris)
E. Hermann Haeusler     PUC-Rio (Rio de Janeiro), co-chair
Elaine Pimentel         UFMG (Belo Horizonte)
Fairouz Kamareddine     Heriot-Watt (Edinburgh)
Gilles Dowek            Ecole polytechnique (Palaiseau)
Luis Carlos Pereira     PUC-Rio (Rio de Janeiro)
Manuel Clavel           UCM (Madrid)
Martin Musicante        UFRN (Natal)
Mauricio Ayala-Rincon   UnB (Brasilia), co-chair
Narciso Marti-Oliet     UCM (Madrid)
Paulo Blauth            UFRGS (Porto Alegre)
Peter Mosses            Wales (Swansea)
Regivan Nunes           UFRN (Natal)
Ruy Queiroz             UFPE (Recife)
Thierry Coquand         Chalmers (Goteborg)

> Organizing Committee

Christiano Braga                UCM, chair
E. Hermann Haeusler             PUC-Rio
Mauricio Ayala-Rincon           UnB
Anamaria Moreira                UFRN
Martin Musicante                UFRN, local chair

> Dates and Submission

Paper submission deadline:            June 20th
Author notification:                  July 24th
Camera ready:                         August 7th

Contributions should be submitted in the form of extended abstracts
with at most 8 pages. They must be unpublished and not submitted
simultaneously for publication elsewhere. The submission should be in
the form of a PDF file, sent to:

        lsfa06-jcxdaNff54Le5aOfsHch1g@xxxxxxxxxxxxxxxx

The papers should be prepared in latex using SBC latex style.
(http://www.sbc.org.br/index.php? 
language=1&subject=60&content=downloads&id=222)
The workshop pre-proceedings, containing the reviewed extended
abstracts, will be handed-out at workshop registration.

Authors of the accepted papers will be invited to submit full versions
of their contribution for the workshop proceedings. The full versions
of the contributions will be reviewed by the PC. The publication of
the workshop proceedings in an on-line journal is anticipated.

> Contact Information

For more information please contact the organizers at:
lsfa06-jcxdaNff54Ifoh1mPOMLLA@xxxxxxxxxxxxxxxx

The web page of the event can be reached at:
http://maude.sip.ucm.es/lsfa06/