Last CFPs LSFA 2021 - Affiliated to FSCD 2021

[Mauricio Ayala-Rincon]

Our apologies for eventual duplications of this message.

——————————————————//——————————————————

        16th Logical and Semantic Frameworks with Applications - LSFA 2021

                            23-24 July 2021

                       https://mat.unb.br/lsfa2021

              Affiliated to FSCD 2021, Buenos Aires, Argentina (Online)


                             Last Call For Papers
——————————————————//——————————————————

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 computational languages, supporting
tool development and reasoning. The LSFA series' objective 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.

See lsfa.cic.unb.br for more information.

LSFA topics of interest include, but are not limited to:

* Automated deduction
* Applications of logical and semantic frameworks
* Computational and logical properties of semantic frameworks
* Formal semantics of languages and systems
* Implementation of logical and 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

Submissions

Contributions should be written in English and submitted in full paper (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 the EPTCS style. The
submission should be in the form of a PDF file uploaded to Easychair:

                       https://easychair.org/conferences/?conf=lsfa2021

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 publication. At
least one of the authors should register for the conference. Presentations
should be in English.

According to the submissions' quality, the chairs will promote the further
publication of journal revised versions of the papers. Previous LSFA Special
Issues have been published in journals such as The Logical J. of the IGPL,
Theoretical Computer Science and Mathematical Structures in
Computer Sciences (see the LSFA page http://lsfa.cic.unb.br).

Important dates

* Abstract: Monday 26th April
* Submission: Sunday 2nd May
* Notification: Friday 4th June
* Preliminary proceedings version due: Monday 14th June
* Submission for final proceedings: Sunday 17th October
* Final version: Sunday 19th December

Invited Speakers

  Alejandro Díaz-Caro (ICC-UBA/CONICET, UNQ)
  Alexandra Silva (University College London)
  Giulio Guerrieri (University of Bath)


Program Committee

  María Alpuente (Universitat Politècnica de València)
  Sandra Alves (Universidade de Porto, Portugal)
  Takahito Aoto (Niigata University)
  Mauricio Ayala-Rincón (Universidade de Brasília) - Co-Chair
  Eduardo Bonelli (Stevens University) - Co-Chair
  Evelyne Contejean (LRI, CNRS, Univ Paris-Sud, Orsay)
  Valeria de Paiva (Samsung Research America and University of Birmingham)
  Marcelo Finger (Universidade de São Paulo)
  Yannick Forster (Saarland University)
  Lourdes del Carmen González Huesca (UNAM)
  Edward Hermann Haeusler (PUC-Rio, Brazil)
  Cynthia Kop (Radboud University)
  Temur Kutsia (RISC, Johannes Kepler University Linz)
  Hernan Melgratti (Universidad de Buenos Aires)
  Alexandre Miquel (Universidad de La República)
  Barbara Morawska (Ahmedabad University)
  Mariano Moscato (National Institute of Aerospace)
  Cesar Muñoz (NASA LaRC)
  Daniele Nantes-Sobrinho (U. de Brasília)
  Carlos Olarte (U. Federal do Rio Grande do Norte)
  Federico Olmedo (Universidad de Chile)
  Alberto Pardo (Universidad de la República)
  Jorge A. Pérez (University of Groningen)
  Camilo Rocha (Pontificia Universidad Javeriana - Cali)
  Aleksy Schubert (University of Warsaw)
  René Thiemann (University of Innsbruck)
  Renata Wassermann (Universidade de São Paulo)

Organisers

   Daniele Nantes (UnB, Brasil)
   Cristian F. Sottile (UBA, Argentina)

——————————————————//——————————————————

As usual we are planing a special issue in a prestigiuos journal.  Previous
Special Issues of LSFA were published as:

•  J. of Algorithms vol 62, 2007
• Special Issue LSFA 2007, The Logical J. IGPL vol 17, 2009
• Special Issue LSFA 2008+9, Theoretical Computer Science vol 412, 2011 
  
• Special Issue LSFA 2010+11, The Logical J. IGPL vol 22(5), 2014
• Special Issue LSFA 2012+13, Theoretical Computer Science vol 606, 2015
• Special Issue LSFA 2014, Theoretical Computer Science vol 685, 2017
• Special Issue LSFA 2015+2016, Theoretical Computer Science vol 781, 2019
• Special Issue LSFA 2017+2018, Mathematical Structures in Computer Science, in press.
  
• Special Issue LSFA 2019+2020, Mathematical Structures in Computer Science, in progress."

Mauricio Ayala-Rincon, Eduardo Bonelli

LSFA 2021 PC chairs