Logic List Mailing Archive

CfP: LSFA 2024: 19th International Workshop on Logical and Semantic Frameworks with Applications, September 18-20 2024, Goiânia (Brazil)

LSFA 2024: CALL FOR PAPERS

The 19th International Workshop on Logical and Semantic Frameworks with App
lications (LSFA 2024) will be held on September 18-20 2024 in Goinia, Br
azil.
For more information, see https://sites.google.com/ufg.br/lsfa2024

IMPORTANT DATES
Abstract registration deadline May 31, 2024 Submission deadline
 June 7, 2024 Workshop
 September 18-20, 2024

TOPICS

Logical and semantic frameworks are formal languages used to represent logi
cs, languages and systems. These frameworks provide foundations for the for
mal specification of systems and computational languages, supporting tool d
evelopment and reasoning.

* 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

SUBMISSION GUIDELINES

All papers must be unpublished and not simultaneously submitted to another 
journal or conference. The following paper categories are welcome:

* Full papers with a maximum of 16 pages
* Short papers with a maximum of 6 pages

The papers should be prepared in latex using EPTCS style, and submitted as 
a PDF file in https://easychair.org/conferences/?conf=lsfa2024 . All cont
ributions should be written in English.

PUBLICATION

The pre-proceedings, containing the reviewed extended abstracts, will be ha
nded-out at event registration. After the meeting the authors will be invit
ed to submit full versions of their works for the post-proceedings publicat
ion in EPTCS (TBC). At least one of the authors should register for the con
ference. Presentations should be in English.

According to the quality of submissions, the chairs will promote further pu
blication of journal revised versions of the papers. Previous LSFA Special 
Issues have been published in journals such as The Logical Journal of the I
GPL, Theoretical Computer Science and Mathematical Structures in Computer S
ciences (see the LSFA page https://lsfa-workshop.github.io/).

INVITED SPEAKERS

* Maribel Fernandez (presentation)
* Graaliz Dimuro (presentation)
* Marcelo Finger (tutorial)
* Anderson Paiva Cruz (tutorial)

VENUE

Auditrio Professor Juarez Milano, Instituto de Matemtica e Estatst
ica (IME), Universidade Federal de Gois - Campus Samambaia

COMMITTEES

Program Committee

  Vander Alves (Universidade de Braslia, Brazil)
  Lus Soares Barbosa (Universidade do Minho, Portugal)
  Benjamin Bedregal (Universidade Federal do Rio Grande do Norte, 
Brazil)
  Juliana Bowles (University of St Andrews, UK)
  Siddharth Bhaskar (James Madison University, USA)
  Frdric Blanqui (INRIA, France)
  Humberto Bustince (Universidad Pblica de Navarra, Spain)
  Jrg Endrullis (Vrije Universiteit Amsterdam, The Netherlands)
  Mrio Florido (Universidade do Porto, Portugal)
  Andr Galdino (Universidade Federal de Catalo, Brazil)
  Alex Kavvos (University of Bristol, UK)
  Dohan Kim (University of Innsbruck, Austria)
  Cynthia Kop (Radboud University Nijmegen, The Netherlands) -- ch
air
  Thaynara Arielly de Lima (Universidade Federal de Gois, Brazi
l)
  Mariano Moscato (AMA / NASA LaRC, USA)
  Flvio de Moura (Universidade de Braslia, Brazil)
  Cludia Nalon (Universidade de Braslia, Brazil)
  Jorge Prez (University of Groningen, The Netherlands)
  Renata Reiser (Universidade Federal de Pelotas, Brazil)
  Kristin Yvonne Rozier (Iowa State University)
  Thomas Rubiano (INRIA, France)
  Helida Santos ((Universidade Federal do Rio Grande, Brazil) -- c
hair
  Regivan Santiago (Universidade Federal do Rio Grande do Norte, B
razil)
  Jos Solsona (Universidad ORT, Uruguay)
  Nora Szasz (Universidad ORT, Uruguay)
  lvaro Tasistro (Universidad ORT, Uruguay)
  Ren Thiemann (University of Innsbruck, Austria)
  Deivid Vale (Radboud University Nijmegen, The Netherlands)
  Niccol Veltri (Tallinn University of Technology, Estonia)
  Daniel Ventura (Universidade Federal de Gois, Brazil)
  Niels van der Weide (Radboud University Nijmegen, The Netherland
s)

Organizing committee

  Thaynara Arielly de Lima (IME, Universidade Federal de Gois, 
Brazil)
  Wagner Sanz (FAFIL, Universidade Federal de Gois, Brazil)
  Bruno Silvestre (INF, Universidade Federal de Gois, Brazil)
  Daniel Ventura (INF, Universidade Federal de Gois, Brazil)

CONTACT

All questions about submissions should be emailed to c.kop@cs.ru.nl and hel
ida@furg.br

--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php