Email Gateway (Aug 19 2022 at 17:13): Email Gateway (Aug 19 2022 at 17:13):From: René Thiemann <rene.thiemann@uibk.ac.at>
[Apologies for cross-postings.]
LSFA 2015 - FIRST CALL FOR PAPERS
10th Workshop on Logical and Semantic Frameworks, with Applications
August 31 – September 1, 2015, Natal, Brazil
https://www.mat.ufrn.br/~LSFA2015
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
* Interactive theorem proving
* 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 2015 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 2015 will take place on August 31 and September 1 in Natal. Previous
editions took place in Brasília (2014), Sao Paulo (2013), Rio de Janeiro (2012),
Belo Horizonte (2011), Natal (2010), Brasília (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://easychair.org/conferences/?conf=lsfa2015
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, April 12
* Notification: Sunday, May 31
* Preliminary proceedings version due: Sunday, June 14
* Submission for final proceedings: Sunday, October 18
* Notification: Sunday, December 6
* Final version: Sunday, January 10
INVITED SPEAKERS
* Ofer Arieli, The Academic College of Tel-Aviv
* Valentin Goranko, Stockholm University
* Dale Miller, INRIA Saclay & LIX
* Valeria de Paiva, Nuance Communications
PROGRAMME COMMITTEE
* Wolfgang Ahrendt (Chalmers University of Technology, Sweden)
* Takahito Aoto (Tohoku University, Japan)
* Mauricio Ayala-Rincon (Universidade de Brasília, Brazil)
* Verónica Becher (Universidad de Buenos Aires, Argentina)
* Mario Benevides (Federal University of Rio de Janeiro, Brazil, co-chair)
* Jasmin Blanchette (Inria Nancy, France)
* Walter Carnielli (State University of Campinas, Brazil)
* Agata Ciabattoni (Vienna University of Technology, Austria)
* Flávio L. C. de Moura (Universidade de Brasília, Brazil)
* Catherine Dubios (ENSIIE, France)
* Marcelo Finger (University of Sao Paulo, Brazil)
* Mario Florido (University of Porto, Portugal)
* Jürgen Giesl (RWTH Aachen University, Germany)
* Edward Hermann Haeusler (Pontifícia Universidade Catolica do Rio de Janeiro, Brazil)
* Andreas Herzig (Université Paul Sabatier, France)
* Delia Kesner (Université Paris Diderot, France)
* Ian Mackie (École Polytechnique, France)
* Cesar Muñoz (NASA Langley Research Center, USA)
* Vivek Nigam (Universidade Federal da Paraíba, Brazil)
* Elaine Pimentel (DMAT, Universidade Federal do Rio Grande do Norte, Brazil)
* Ruy Queiroz (Universidade Federal de Pernambuco, Brazil)
* Camilo Rocha (Escuela Colombiana de Ingeniería, Colombia)
* Manfred Schmidt-Schauß (Goethe University, Germany)
* Alvaro Tasistro (Universidad ORT, Uruguay)
* René Thiemann (University of Innsbruck, Austria, co-chair)
* Hans van Ditmarsch (LORIA Nancy, France)
* Femke van Raamsdoonk (VU Amsterdam, Netherlands)
* Ivan Varzinczak (Universidade Federal do Rio de Janeiro, Brazil)
* Freek Wiedijk (Radboud University, Netherlands)
ORGANISING COMMITTEE
* João Marcos (DIMAp, Universidade Federal do Rio Grande do Norte, Brazil)
* Elaine Pimentel (DMAT, Universidade Federal do Rio Grande do Norte, Brazil)
CONTACT
* lsfa2015@easychair.org
* https://www.mat.ufrn.br/~LSFA2015
Last updated: Nov 21 2024 at 12:39 UTC