posted by user: mayalarincon || 4388 views || tracked by 12 users: [display]

LSFA 2013 : Logical and Semantic Frameworks with Applications

FacebookTwitterLinkedInGoogle

Link: http://lsfa.ime.usp.br/lsfa2013
 
When Sep 2, 2013 - Sep 3, 2013
Where Sao Paulo
Submission Deadline May 26, 2013
Notification Due Jun 28, 2013
Final Version Due Jul 14, 2013
Categories    computer science   logic   theory   formal methods
 

Call For Papers

LSFA 2013 --- CALL FOR PAPERS
8th Workshop on Logical and Semantic Frameworks, with Applications
2-3 September 2013, Sao Paulo, Brazil
http://lsfa.ime.usp.br/lsfa2013

############## NEW DEADLINE: May, 26th, 2013 ###############

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:
* Logical frameworks
* Proof theory
* Type theory
* Automated deduction
* Semantic frameworks
* Specification languages and meta-languages
* Formal semantics of languages and systems
* Computational and logical properties of semantic frameworks
* Implementation of logical and/or semantic frameworks
* Applications of logical and/or semantic frameworks
LSFA 2013 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 2013 will take place on the 2nd and 3rd September 2013 in Sao
Paulo. Previous editions took place in Rio de Janeiro (2012), Belo
Horizonte (2011), Natal (2010), Brasilia (2009), Salvador (2008), Ouro
Preto (2007), Natal (2006).

SUBMISSION AND PUBLICATION:
Contributions should be written in English and submitted in the form
of full papers (with a maximum of 16 pages) or short papers (with a
maximum of 6 pages). They must 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://www.easychair.org/conferences/?conf=lsfa2013
The workshop pre-proceedings, containing the reviewed extended
abstracts, will be handed-out at workshop registration. After the
workshop the authors 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.

IMPORTANT DATES:
# Submission: Sunday 12 May
# Notification: Friday 28 June
# Preliminary proceedings version due: Sunday 14 July
# Submission for final proceedings: Sunday 27 October
# Notification: Friday 13 December
# Final version: Sunday 12 January

INVITED SPEAKERS:
Carlos Areces (U. Cordoba, Argentina)
Marcello D'Agostino (U. Ferrara, Italy)
Jose Meseguer (U. Illinois, USA)

PROGRAMME COMMITTEE
Elvira Albert (U. Complutense de Madrid, Spain)
Mauricio Ayala-Rincon (UnB, Brazil)
Eduardo Bonelli (U. Nacional de Quilmes, Argentina)
Ana Bove (Chalmers University of Technology, Sweden)
Carlos Castro (U. Tecnica Federico Santa Maria, Chile)
Adriana Compagnoni (Stevens Institute of Technology, USA)
Amy Felty (U. Ottawa, Canada)
Maribel Fernandez (ENS, France --- co-chair)
Marcelo Finger (IME-USP, Brazil --- co-chair)
Delia Kesner (U. Paris Diderot, France)
Edward Hermann Haeusler (PUC-Rio, Brazil)
Joao Marcos (UFRN, Brazil)
Luca Paolini (U. Torino, Italy)
Elaine Pimentel (UFMG, Brazil)
Femke van Raamsdonk (U. Amsterdam, Holland)
Simona Ronchi Della Rocca (U. Torino, Italy)
Torsten Schaub (U. Potsdam, Germany)
Alvaro Tasistro (U. ORT, Uruguay)
Daniel Ventura (UFG, Brazil)
Renata Wassermann (IME-USP, Brazil)

ORGANISING COMMITTEE
Mauricio Ayala-Rincon (UnB, Brazil)
Eduardo Ferme (U. da Madeira, Portugal)
Marcelo Finger (USP, Brazil)
Renata Wassermann (USP, Brazil)

CONTACT: lsfa2013@easychair.org
Home page: http://lsfa.ime.usp.br/lsfa2013

Related Resources

ISWC 2022   The 21st International Semantic Web Conference
GreeNet Symposium - SGNC 2022   11th Symposium on Green Networking and Computing (SGNC 2020)
ICSC 2023   IEEE International Conference on Semantic Computing
EI-CFAIS 2022   2022 International Conference on Frontiers of Artificial Intelligence and Statistics (CFAIS 2022)
ADMA 2022   18th International Conference on Advanced Data Mining and Applications
ACM-Ei/Scopus-ITNLP 2022   2022 2nd International Conference on Information Technology and Natural Language Processing (ITNLP 2022) -EI Compendex
IJWesT 2022   International Journal of Web & Semantic Technology
IOP, EI, Scopus-PRECE 2022   2022 International Conference on Power, Renewable Energy and Control Engineering (PRECE 2022)-EI Compendex
MDA AI&PR 2023   18th International Conference on Mass Data Analysis of Images and Signals with Applications in Medicine, r/g/b Biotechnology, Food Industries and Dietetics, Biometry and Security,
EvoCompAISecurity&Privacy 2022   Evolutionary Computing for AI-Driven Security and Privacy: Advancing the state-of-the-art applications