We are pleased to invite you to participate in the 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2018), which will take place on September 26th to 28th, 2018, in Fortaleza, CE, Brazil.

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.

Previous editions took place in 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.

Invited Speakers

Amy Felty, University of Ottawa

A Linear Logical Framework for Reasoning about Quantum Programming Languages

Andreas Herzig, CNRS, IRIT, Université de Toulouse

Dynamic logic of propositional assignments as a framework for knowledge
representation

Yiannis Moschovakis, University of California, Los Angeles & University of Athens

Some foundational questions (and some answers) about algorithms

Alessandra Palmigiano, Delft University of Technology

Logical Foundations of Categorization Theory

Proceedings

The LSFA 2018 Proceedings are available for download. Click here!

Submissions

*NEW* page limit for full papers: 13 pages using the new ENTCS Latex package.

The Call for Papers can be found at https://easychair.org/cfp/LSFA2018

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, 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, unless they also contain some novel results.

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 *new* generic ENTCS package (http://www.entcs.org/generic.zip). Please, check the ENTCS instructions for preparing files at 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=lsfa2018

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.

For the reviewing process, the traditional system will be enriched with the possibility for the reviewers to interact with the authors via an anonymous forum associated to each paper.

Topics of interest 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

Post-Conference Publications

After the publication of the ENTCS proceedings, the authors of selected papers will be invited to submit revised papers 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).

Important Dates

SUBMISSION: ~~10 June 2018~~ ~~24 June AoE (Anywhere on Earth)~~
NOTIFICATION: ~~25 July 2018~~ 31 July
CAMERA-READY VERSION: ~~12 August 2018~~ 19 August
LSFA 2018: 26-28 September 2018

Committees

Program Committee

Beniamino Accattoli, Inria & Ecole Polytechnique, co-chair
Carlos Olarte, Universidade Federal do Rio Grande do Norte, co-chair
Sandra Alves, University of Porto
Mario Alvim, Universidade Federal de Minas Gerais
Carlos Areces, Universidad Nacional de Córdoba
Mauricio Ayala-Rincon, Universidade de Brasilia
Eduardo Bonelli, Universidad Nacional de Quilmes & Stevens Institute of Technology
Iliano Cervesato, Carnegie Mellon University
Francicleber Ferreira, Universidade Federal do Ceará
Marcelo Finger, Universidade de São Paulo
Renata Freitas, Universidade Federal Fluminense
Marco Gaboardi, University at Buffalo, SUNY
Erich Grädel, RWTH Aachen University
Oleg Kiselyov, Tohoku University
Ugo Dal Lago, Inria & Bologna University
Sonia Marin, IT-University of Copenhagen
Claudia Nalon, Universidade de Brasilia
Revantha Ramanayake, Vienna University of Technology
Umberto Rivieccio, Universidade Federal do Rio Grande do Norte
Camilo Rueda, Pontificia Universidad Javeriana
Matthieu Sozeau, Inria & Université Paris Diderot
Carolyn Talcott, SRI International
Alvaro Tasistro, Universidad ORT Uruguay
Alicia Villanueva, Universitat Politècnica de València
Renata Wassermann, University of São Paulo

Organising Committee

Francicleber Ferreira, Universidade Federal do Ceará
Carlos Olarte, Universidade Federal do Rio Grande do Norte
Carlos Brito, Universidade Federal do Ceará
Paulo T. Guerra, Universidade Federal do Ceará
Viviane Menezes, Universidade Federal do Ceará

Registration

After 17th September, registration can be done only at the venue for the same prices of late registration, but only payment in cash can be taken.

Accepted Papers

Consistency in Justification Theory (Simon Marynissen, Niko Passchyn, Bart Bogaerts and Marc Denecker)
Quasi-Nelson algebras (Umberto Rivieccio and Matthew Spinks)
Pre-grammars and Inhabitation for a Subset of Rank 2 Intersection Types (Sandra Alves and Sabine Broda)
A Formalisation of Nominal C-Matching through Unification with Protected Variables (Mauricio Ayala-Rincon, Maribel Fernandez, Washington de Carvalho Segundo and Daniele Nantes-Sobrinho)
An abstract framework for logic programming semantics (Thanos Tsouanas)
On Distinguishing Sets of Structures by First-Order Sentences of Minimal Quantifier Rank (Thiago Rocha, Ana Teresa Martins and Francicleber Ferreira)
Some Applications of the Formalization of the Pumping Lemma for Context-Free Languages (Marcus Ramos, José Bacelar Almeida, Nelma Moreira and Ruy De Queiroz)
First steps towards a formalization of Forcing (Emmanuel Gunther, Miguel Pagano and Pedro Sánchez Terraf)
A concrete categorical semantics of Lambda-S (Alejandro Díaz-Caro and Octavio Malherbe)
Dynamic Epistemic Logic with Communication Actions (Mario Roberto Folhadela Benevides and Isaque Macalam Saab Lima)
Topological Graphs and Combinators (Bruno de Assis Delboni, Mauricio Ayala-Rincon and Daniele Nantes-Sobrinho)
On Three-Valued Acceptance Conditions of Abstract Dialectical Frameworks (João Alcântara and Samy Sá)
Proper Multi-Type Display Calculi for Rough Algebras (Giuseppe Greco, Fei Liang, Krishna Manoorkar and Alessandra Palmigiano)
Epistemic Logics with Structured Knowledge (Alexandre Madeira, Manuel A. Martins and Mario Benevides)
A proof theoretical view of ecumenical systems (Luiz Carlos Pereira, Valeria de Paiva and Elaine Pimentel)

Program

Click here to check the program!

SBL Workshop

The Workshop of the Brazilian Logic Society is a panel of the research on logic pursued by Brazilian researchers.
The second edition of the event will be collocated to LSFA 2018 and is going to happen Friday afternoon.

More info on the SBL Workshop, including abstracts of talks, can be found at the website of the Brazilian Logic Society

http://sbl.org.br

The program of the SBL Workshop and LSFA 2018 can be found here.

Program of the SBL Workshop!