Email Gateway (Aug 22 2022 at 19:21): Email Gateway (Aug 22 2022 at 19:21):From: Amy Felty <afelty@uottawa.ca>
SECOND CALL FOR PAPERS
LSFA 2019
14th Workshop on Logical and Semantic Frameworks, with Applications
24-26 August 2019, Natal, Brazil
https://sites.google.com/view/lsfa2019
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 2019 will be a satellite event of CADE-27, which will be held in
Natal, Brazil, 25-30 August, 2019
(https://www.mat.ufrn.br/cade-27/). Previous editions of LSFA took
place in Fortaleza (2018), Brasília (2017, collocated with
Tableaux+FroCoS+ITP), Porto (2016), Natal (2015), Brasília (2014), São
Paulo (2013), Rio de Janeiro (2012), Belo Horizonte (2011), Natal
(2010), Brasília (2009), Salvador (2008), Ouro Preto (2007), and Natal
(2006). See http://lsfa.cic.unb.br for more information.
TOPICS OF INTEREST
Topics of interest include, but are not limited to:
SUBMISSION AND PUBLICATION
Contributions should be written in English and submitted in the form
of full papers with a maximum of 13 pages including references. Beyond
full regular papers, we encourage submissions such as proof pearls,
rough diamonds (preliminary results and work in progress), original
surveys, or overviews of research projects, where the focus is more on
elegance and dissemination than on novelty. Papers belonging to this
second category are expected to be short, that is, of a maximum of 6
pages including references. For both paper categories, 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 the generic ENTCS package
(http://www.entcs.org/prelim.html). The submission should be in the
form of a PDF file uploaded to Easychair:
https://easychair.org/conferences/?conf=lsfa2019
At least one of the authors should register for the workshop. All
accepted papers will be available online during the workshop; full
papers will be published at ENTCS, and short papers will be collected
in an informal volume. For the publication of the proceedings there
will be a cost to authors of USD 50 at registration time. Previous
LSFA special issues have been published in journals such as Log J IGPL
and TCS (see http://lsfa.cic.unb.br).
IMPORTANT DATES:
INVITED SPEAKERS
PROGRAM COMMITTEE CO-CHAIRS
PROGRAM COMMITTEE
ORGANIZING COMMITTEE
CONTACT
Last updated: Apr 24 2024 at 01:07 UTC