posted by user: sierrauy || 1687 views || tracked by 3 users: [display]

LSFA 2011 : Sixth Workshop on Logical and Semantic Frameworks, with Applications

FacebookTwitterLinkedInGoogle

Link: http://www.mat.ufmg.br/LSFA2011/
 
When Aug 27, 2011 - Aug 27, 2011
Where Belo Horizonte, Minas Gerais, Brazil
Submission Deadline May 23, 2011
Notification Due Jun 30, 2011
Final Version Due Jul 31, 2011
Categories    logical frameworks   semantic frameworks   implementations   applications
 

Call For Papers

Topics of interest


Topics of interest to this forum include, but are not limited to:


* Logical frameworks

o Proof theory

o Type theory

o Automated deduction

* Semantic frameworks

o Specification languages and meta-languages

o Formal semantics of languages and systems

o Computational and logical properties of semantic frameworks

* Implementation of logical and/or semantic frameworks

* Applications of logical and/or semantic frameworks


LSFA 2011 also aims to be a forum for presenting and discussing work in progress, and therefore to provide feedback to authors on their preliminary research. Submissions to the workshop will in the form of full papers. The proceedings are produced only after the meeting, so that authors can incorporate this feedback in the published papers.


Dates and Submission


Paper submission deadline: May 23

Author notification: June 30

Camera ready: July 31st

Date of the conference: August 27


Contributions should be written in English and submitted in the form full papers with at most 16 pages. They must be unpublished and not submitted simultaneously for publication elsewhere. The submission should be in the form of a PDF file uploaded to LSFA 2011 page at EasyChair until the submission deadline in May 23, by midnight, Central European Standard Time (GMT+1).


The papers should be prepared in latex using EPTCS style. The workshop pre-proceedings, containing the reviewed extended abstracts, will be handed-out at workshop registration and the proceedings will be published as a volume of EPTCS.


After the workshop, according to the quantity and quality of selected papers, the authors will be invited to submit full versions of their works that will be also reviewed to high standards. A special issue of the first edition of the workshop appeared in the Journal of Algorithms, a special issue of the second edition of the workshop appeared in the J.IGPL and a special edition of TCS is being prepared with selected contributions from the third and the forth editions of LSFA.


At least one of the authors should register at the conference. The paper presentation should be in English.


LSFA 2011 (last edited 05/03/2011 by Elaine Pimentel)

Related Resources

LSFA 2019   14th Workshop on Logical and Semantic Frameworks, with Applications
ICPP 2020   International Conference on Parallel Processing
SCAI 2019   8th International Conference On Soft Computing, Artificial Intelligence And Applications
ICSC 2020   14th IEEE International Conference on ​Semantic Computing
WiMo 2020   12th International Conference on Wireless & Mobile Network
SIPRO 2020   6th International Conference on Signal and Image Processing
ESWC 2020   Extended Semantic Web Conference
AI Applications for A Smart Cyber 2020   Artificial Intelligence Applications for A Smart Cyber Ecosystem: Smart Cities, Cybersecurity and IoT
SCSN 2020   The Eighth IEEE International Workshop on Semantic Computing for Social Networks and Organization Sciences: from user information to social knowledge
CMLA 2019   International Conference on Machine Learning & Applications