posted by user: mayalarincon || 4440 views || tracked by 11 users: [display]

LSFA 2014 : Logical and Semantic Frameworks with Applications

FacebookTwitterLinkedInGoogle

Link: http://lsfa2014.cic.unb.br
 
When Sep 8, 2014 - Sep 9, 2014
Where Brasilia D.F., Brazil
Submission Deadline May 25, 2014
Notification Due Jul 11, 2014
Final Version Due Aug 3, 2014
Categories    logic   theory   semantics   formal methods
 

Call For Papers

LSFA 2014 --- CALL FOR PAPERS
9th Logical and Semantic Frameworks, with Applications
8-9 September 2014, Brasilia D.F., Brazil
http://lsfa2014.cic.unb.br

***** Submission deadline: 25 May 2014 *****

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 2014 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 2014 will take place on the 8th and 9th September 2014 in Brasilia.
Previous editions took place in Sao Paulo (2013), Rio de Janeiro (2012),
Belo Horizonte (2011), Natal (2010), Brasilia (2009), Salvador (2008),
Ouro Preto (2007) and 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=lsfa2014
The pre-proceedings, containing the reviewed extended abstracts, will
be handed-out at event registration. After the meeting 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 25 May
# Notification: Friday 11 July
# Preliminary proceedings version due: Sunday 03 August
# Submission for final proceedings: Sunday 19 October
# Notification: Friday 28 November
# Final version: Sunday 21 December

INVITED SPEAKERS:
Ugo Montanari (Universita di Pisa, Italy)
Andrew M Pitts (University of Cambridge, England)
Rene Thiemann (University of Innsbruck, Austria)


PROGRAMME COMMITTEE
Elvira Albert (U. Complutense de Madrid, Spain)
Sandra Alves (U. de Porto, Portugal)
Sandra de Amo (UFU, Brazil)
Carlos Areces (U. Nacional de Cordoba, Argentina)
Mauricio Ayala-Rincon (UnB, Brazil -- co-chair)
Mario Benevides (UFRJ, Brazil)
Stefan Berghofer (TU Munich, Germany)
Walter Carnielli (UNICAMP, Brazil)
Carlos Castro (UT Federico Santa Maria, Chile)
Adriana Compagnoni (Stevens Institute of Technology, USA)
Marcello D'Agostino (U Ferrara)
Maribel Fernandez (King's College London, England)
Marcelo Finger (IME-USP, Brazil)
Renata de Freitas (UFF, Brazil)
Simon Gay (University of Glasgow, Scotland)
Edward Hermann Haeusler (PUC-Rio, Brazil)
Fairouz Kamareddine (Heriot-Watt, Scotland)
Delia Kesner (U. Paris Diderot, France)
Luis Lamb (UFRGS, Brazil)
Ian Mackie (Ecole Polytechnique Palaiseau, France -- co-chair)
Joao Marcos (UFRN, Brazil)
Cesar Munoz (NASA LaRC, USA)
Vivek Nigam (UFPB, Brazil)
Elaine Pimentel (UFMG, Brazil)
Renata Hax Sander Reiser (UFPel, Brazil)
Femke van Raamsdonk (U. Amsterdam, Holland)
Simona Ronchi Della Rocca (U. Torino, Italy)
Carolyn Talcott (SRI International, USA)
Alvaro Tasistro (U. ORT, Uruguay)
Daniel Ventura (UFG, Brazil)
Jorge Petrucio Viana (UFF, Brazil)
Renata Wassermann (IME-USP, Brazil)
Tjark Weber (Uppsala University, Sweden)


ORGANISING COMMITTEE
Claudia Nalon (UnB, Brazil)
Flavio L.C. de Moura (UnB, Brazil)
Daniele Nantes Sobrinho (UnB, Brazil)

CONTACT: lsfa2014@easychair.org
Home page: http://lsfa2014.cic.unb.br

Related Resources

ICSC 2021   International Conference on Semantic Computing
FM 2021   Formal Methods 2021
ICDM 2021   21st IEEE International Conference on Data Mining
ITCSE 2021   10th International Conference on Information Technology Convergence and Services
ISWC 2021   International Semantic Web Conference
SPM 2021   8th International Conference on Signal, Image Processing and Multimedia
ICMLA 2021   20th IEEE International Conference on Machine Learning and Applications
F-IDE 2021   6th Workshop on Formal Integrated Development Environment
ICONIP 2021   The 28th International Conference on Neural Information Processing (ICONIP2021)
MLNLP 2021   2nd International Conference on Machine Learning Techniques and NLP