[TYPES/announce] LSFA 2012: Call For Papers

[Christiano Braga]

[ please distribute - apologies for multiple copies ]

LSFA 2012: Call For Papers

7th Workshop on Logical and Semantic Frameworks, with Applications

Rio de Janeiro, Brazil
September 29-30, 2012
http://www.uff.br/lsfa/


Important Dates

Paper submission deadline: June 1st, 2012
Author notification: July 14th, 2012
Camera-ready: August 5th, 2012
Conference: September 29-30, 2012


Invited speakers (confirmed)

* Torben Brauner (Roskilde University, Denmark)
* Maribel Fernandez (King´s College London, UK)
* Edward Hermann Haeusler (PUC-Rio, Brazil)
* Alexandre Miquel (Universite Paris 7, France)


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.

In its seventh edition, the workshop will be at Pontificia
Universidade Católica do Rio de Janeiro (PUC-Rio). Previous editions
of this conference were held in Belo Horizonte (2011), Natal (2010),
Brasilia (2009), Salvador (2008), Ouro Preto (2007), Natal (2006).

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 the 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 2012 also aims to be a forum for presenting and discussing work
in progress, and therefore to provide feedback to authors on their
preliminary research.

This year post-proceedings will be published as in previous years.
After the workshop, according to the quantity and quality of selected
papers, the authors will be invited to submit full versions of their
works that will be also reviewed to high standards.
Post-proceedings and Special Issues were already published in the
Logic Journal of IGPL, the Journal of Algorithms, ENTCS, and TCS.


Submissions

Contributions should be written in English and submitted in the form
of full papers (with a maximum of 16 pages) or short papers (with
a maximum of 6 pages). They must be unpublished and not submitted
simultaneously for publication elsewhere. The papers should be prepared
in latex using EPTCS style. The submission should be in the form of a
PDF file uploaded to LSFA 2012 page at Easychair
<https://www.easychair.org/conferences/?conf=lsfa2012>
until the submission deadline in June 1st, by midnight, Central
European Standard Time (GMT+1).

The workshop pre-proceedings, containing the reviewed extended
abstracts, will be handed-out at workshop registration and the
proceedings will be published as a volume of EPTCS.

After the workshop, according to the quantity and quality of selected
papers, the authors will be invited to submit full versions of their
works that will be also reviewed to high standards.

At least one of the authors should register at the conference.

The paper presentation should be in English.


Scientific Committee

* Carlos Areces (Univeridad Nacional de Cordoba, Argentine)
* Arnon Avron (Tel-Aviv University, Israel)
* Patrick Baillot (Ens de Lyon, France)
* Veronica Becher (Universidad de Buenos Aires, Argentine)
* Marcelo Coniglio (Unicamp, Brazil)
* Thierry Coquand (University of Gothenburg, Sweden)
* Hans van Ditmarsch (University of Sevilla, Spain)
* Clare Dixon (The University of Liverpool, UK)
* Marcelo Finger (IME-USP, Brazil)
* Edward Hermann Haeusler (PUC-Rio, Brazil)
* Delia Kesner (Universite Paris Diderot, France) (co-chair)
* Luis da Cunha Lamb (UFRGS, Brazil)
* Ian Mackie (Ecole Polytechnique, France)
* Joao Marcos (UFRN, Brazil)
* Georg Moser (University of Innsbruck, Austria)
* Koji Nakazawa (Kyoto University, Japan)
* Vivek Nigam (Ludwig-Maximilians-Universitat Munchen, Germany)
* Luca Paolini (Universita di Torino, Italy)
* Elaine Pimentel (Univalle, Colombia)
* Simona Ronchi Della Rocca (Universita di Torino, Italy)
* Mauricio Ayala-Rincon (UnB, Brazil)
* Luis Menasche Schechter (UFRJ, Brazil)
* Sheila Veloso (UFRJ, Brazil)
* Daniel Ventura (UFG, Brazil)
* Petrucio Viana (UFF, Brazil) (co-chair)


Organization

* Departamento de Ciência da Computação, UnB
* Departamento de Filosofia, Departamento de Informática, PUC-Rio
* Instituto de Matemática e Estatística, UFF


Organizing Committee

* Christiano Braga (UFF)
* Renata de Freitas (UFF) (chair)
* Luiz Carlos Pereira (PUC-Rio, UFRJ)
* Mauricio Ayala-Rincon (UnB, Brazil)