posted by user: DivyanshuBagga || 2360 views || tracked by 4 users: [display]

LSFA 2016 : 11th Workshop on Logical and Semantic Frameworks, with Applications

FacebookTwitterLinkedInGoogle

Link: http://lsfa2016.mat.unb.br/
 
When Jun 25, 2016 - Jun 26, 2016
Where Porto, Portugal
Submission Deadline Feb 29, 2016
Notification Due Apr 22, 2016
Final Version Due May 8, 2016
Categories    logic   semantics   formal methods   verification
 

Call For Papers

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

The objective of this workshop is to bring together theoreticians and practitioners to promote new techniques and results, and to
facilitate feedback on the implementation and application of such techniques and results in practice.

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
LSFA 2016 also 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 is in process of proposal to take place on June 25-26 2016 as satellite of FSCD in Porto. Previous editions took place in 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).

More information about LSFA can be found by clicking here.


Call for Papers

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.

Related Resources

ICSC 2021   International Conference on Semantic Computing
CiVEJ 2020   Civil Engineering and Urban Planning: An International Journal
MVA 2021   17th International Conference on Machine Vision Applications
CAV 2021   33rd International Conference on Computer-Aided Verification
SA-TTA 2021   The 9th track on Software Architecture: Theory, Technology, and Applications (SA-TTA) at the 36th ACM/SIGAPP Symposium On Applied Computing (SAC 2021)
NFM 2021   13th NASA Formal Methods Symposium
ITAS--EI Compendex, Scopus 2021   2021 Information Technology & Applications Symposium (ITAS 2021)--EI Compendex, Scopus
FM 2021   Formal Methods 2021
SCSN 2021   The 9th IEEE International Workshop on Semantic Computing for Social Networks and Organization Sciences: from user information to social knowledge
SI:ICPR-MVAP 2021   Special Issue on Selected Papers from 25th ICPR in Machine Vision and Applications