[TYPES/announce] LSFA 2016 - First Call for Papers

[Vivek Nigam]

(Apologies for multiple copies of this announcement)
==============================================================

       11th Workshop on Logical and Semantic Frameworks, with Applications
                               25-26 June 2016, Porto, Portugal
                                  Satellite event of FSCD 2016

                                    http://lsfa2016.mat.unb.br/

Logical and semantic frameworks are formal languages used to represent
logics,
languages and systems. These frameworks provide foundations for the formal
specification
of systems and programming languages, supporting tool development and
reasoning.

LSFA 2016 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 2016 will be a satellite event of FSCD 2016 taking place in Porto,
Portugal
during 25-26 June 2016. Previous editions took place in Natal (2015),
Brasília (2014),
Sao Paulo (2013), Rio de Janeiro (2012), Belo Horizonte (2011), Natal
(2010),
Brasília (2009), Salvador (2008), Ouro Preto (2007), and Natal (2006).

TOPICS OF INTEREST

Topics of interest to this forum include, but are not limited to:

  * Automated deduction
  * Applications of logical and/or semantic frameworks
  * Computational and logical properties of semantic frameworks
  * Formal semantics of languages and systems
  * Implementation of logical and/or semantic frameworks
  * Lambda and combinatory calculi
  * Logical aspects of computational complexity
  * Logical frameworks
  * Process calculi
  * Proof theory
  * Semantic frameworks
  * Specification languages and meta-languages
  * Type theory

SUBMISSION AND PUBLICATION

Contributions should be written in English and submitted in the form of full
papers with a maximum of 16 pages including references or short papers
with a maximum of 6 pages including references. Additional technical
material
can be provided in a clearly marked appendix which will be read by
reviewers at
their discretion. Contributions must also 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://easychair.org/conferences/?conf=lsfa2016

The workshop pre-proceedings, containing the reviewed extended abstracts,
will
be handed-out at workshop registration. After the workshop the authors of
both
full and short papers 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 should be in English.

  * Submission:                                      February 29th 2016
  * Notification:                                       April 22nd 2016
  * Final pre-proceedings version due:  May 8th 2016
  * LSFA 2016                                       25-26 June 2016

According to the quality of proceedings, authors will/would/might be
invited to
submit an improved version of their paper for a special issue. Previous
LSFA special issues
have been published in journals such as J. IGPL and TCS (see
http://lsfa.cic.unb.br).

INVITED SPEAKERS

  * Gilles Barthe (IMDEA Software Institute, Spain)
  * Luis Caires (Universidade Nova de Lisboa, Portugal)
  * Kaustuv Chaudhuri (Inria/École Polytechnique, France)
  * João Marques Silva (Instituto Superior Técnico, Portugal)

PROGRAMME COMMITTEE

  * Vivek Nigam (Universidade Federal de Paraíba) - co-chair
  * Mário Florido (Universidade do Porto) - co-chair
  * Mauricio Ayala-Rincon (Universidade de Brasília)
  * María Alpuente (Universitat Politecnica de Valencia)
  * David Baelde (ENS Cachan)
  * Maribel Fernández (King's College London)
  * Marcelo Finger (Universidade de São Paulo)
  * Marco Gaboardi (University of Dundee)
  * Mateu Villaret (Universitat de Girona)
  * Silvia Ghilezan (University of Novi Sad)
  * Martin Hofmann (Ludwig-Maximilians-Universität)
  * Temur Kutsia (RISC- Johannes Kepler University Linz)
  * Bjoern Lellmann (TU Vienna)
  * Ian Mackie (Ecole Polytechnique)
  * João Marcos (Univ. Federal Rio Grande do Norte)
  * Cláudia Nalon (Universidade de Brasilia)
  * Frank Pfenning (Carnegie Mellon University)
  * Elaine Pimentel (Univ. Federal Rio Grande do Norte)
  * Jose Nuno Oliveira (Universidade do Minho)
  * Ruy De Queiroz (Univ. Federal de Pernambuco)
  * Giselle Reis (Inria-École Polytechnique)
  * Camilo Rocha (Escuela Colombiana de Ingeniería)
  * Alexandra Silva (University College London)
  * Kazushige Terui (Kyoto University)
  * René Thiemann (University of Innsbruck)

ORGANISING COMMITTEE

  * Daniele Nantes Sobrinho (Universidade de Brasília)

CONTACT

  * lsfa2016 at easychair.org
  * http://lsfa2016.mat.unb.br/

-------------------------------------------------
Vivek Nigam

Computer Science Department
Federal University of Paraíba
http://www.nigam.info/
--------------------------------------------------------
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20151230/fda80ccf/attachment.html>