posted by user: hossein_haeri || 408 views || tracked by 1 users: [display]

LSFA 2018 : 13th Workshop on Logical and Semantic Frameworks, with Applications

FacebookTwitterLinkedInGoogle

Link: http://lia.ufc.br/~lsfa2018/
 
When Sep 26, 2018 - Sep 28, 2018
Where Fortaleza, Brazil
Submission Deadline Jun 10, 2018
Notification Due Jul 25, 2018
Final Version Due Aug 12, 2018
Categories    automated deduction   semantic frameworks   programming languages   computational logic
 

Call For Papers

LSFA 2018
13th Workshop on Logical and Semantic Frameworks, with Applications
26-28 September 2018, Fortaleza, Brazil
http://lia.ufc.br/~lsfa2018/

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.


TOPICS OF INTEREST

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


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. 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.

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=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.


IMPORTANT DATES:

* Submission: June 10
* Notification: July 25
* Camera ready version: August 12
* LSFA 2018: September 26-28

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).


INVITED SPEAKERS

* Yiannis Moschovakis, University of California, Los Angeles &
University of Athens.
* Andreas Herzig, CNRS, IRIT, Université de Toulouse.
* Alessandra Palmigiano, Delft University of Technology.
* Amy Felty, University of Ottawa.


PROGRAMME 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 Brito, Universidade Federal do Ceará
* Paulo T. Guerra, Universidade Federal do Ceará
* Viviane Menezes, Universidade Federal do Ceará

CONTACT

* lsfa2018 at easychair.org

Related Resources

CAIJ 2018   Computer Applications: An International Journal
WI 2018   2018 IEEE/WIC/ACM International Conference on Web Intelligence
IJPLA 2018   International Journal of Programming Languages and Applications
ICITA 2019   International Conference on Information Technology and Applications
‹Programming› 2019   ‹Programming› 2019 Research Papers
ICSC 2019   IEEE International conference on semantic computing
AMLTA 2019   The 4th International Conference on Advanced Machine Learning Technologies and Applications.
VISAPP 2019   14th International Conference on Computer Vision Theory and Applications
SA-TTA @SAC 2019   The 7th track on Software Architecture: Theory, Technology, and Applications (SA-TTA) at the 34rd ACM/SIGAPP Symposium On Applied Computing (SAC 2019)
IJWesT 2018   International Journal of Web & Semantic Technology