[TYPES/announce] LSFA'06 Final Call for Papers

[Christiano Braga]

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

NEW: SUBMISSION PAGE IS NOW OPEN

NEW: EasyChair (http://www.easychair.org/LSFA06/) WILL BE USED TO MANAGE
LSFA'06 PAPER SUBMISSION AND REVIEW

NEW: WORKSHOP PROCEEDINGS AS A BOOK ON UFRGS "INOVAÇÃO" SERIES

NEW: INVITED SPEAKERS

Joe Wells, Heriot-Watt University
(http://www.macs.hw.ac.uk/~jbw/)

Narciso Marti Oliet, Universidad Complutense de Madrid
(http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/ 
Mart=iacute==Oliet:Narciso.html)
------------------------------------------------------------------------

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 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.

 > Invited Speakers

Joe Wells
School of Mathematical and Computer Sciences
Heriot-Watt University
Senior Research Fellow in the ULTRA group
(http://www.macs.hw.ac.uk/~jbw/)

Narciso Marti Oliet
Facultad de Informática
Universidad Complutense de Madrid
Head of the UCMaude group
(http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/ 
Mart=iacute==Oliet:Narciso.html)

 > 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		NIA-NASA (Hampton)
Christiano Braga	UCM (Madrid), co-chair
Claude Kirchner		Loria (Nancy)
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 Martí-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

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

 > 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 uploaded to LSFA'06 page at EasyChair
(http://www.easychair.org/LSFA06/) until the submission deadline in
June 20th, by midnight, Central European Standard Time (GMT+1).

The papers should be prepared in latex using SBC's 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 a selection of the accepted papers will be invited to
submit full versions of their contributions for the workshop
proceedings, which will be reviewed by the PC after the
workshop. Given enough quality submissions, the proceedings of LSFA'06
will be considered to be edited as a volume of the "Inovacao" series,
published by Universidade Federal do Rio Grande do Sul, where
contributions would appear as book chapters.

 > Contact Information

For more information please contact the organizers at:
lsfa06 at fdi.ucm.es.

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