<!DOCTYPE html>
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<p>Dear all,</p>
<p>The deadline of the International Workshop on Logical and
Semantic Frameworks with Applications (LSFA 2024) has been
extended. The new deadline is 14 June 2024, with abstracts to be
submitted at 7 June.</p>
<p>Find below the updated call for papers.</p>
<hr width="100%" size="2"><br>
<p>The 19th International Workshop on Logical and Semantic
Frameworks with Applications (LSFA 2024) will be held on September
18-20 2024 in Goiânia, Brazil.<br>
For more information, see <a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__https://sites.google.com/ufg.br/lsfa2024__;!!IBzWLUs!Rl3cLdZqZ5FyUXEJWLB0SGBeszHa2eIuozpTPwe8SaD36FwU2Q1saiyNXJppSOxEUjQmtVwAI4TNA6slwlHdUgUovTss$">https://sites.google.com/ufg.br/lsfa2024</a><br>
<br>
IMPORTANT DATES<br>
<font face="monospace">Abstract registration deadline <b>June 7
2024</b><br>
Submission deadline <b>June 14, 2024</b><br>
Notification date August 7, 2024<br>
Workshop September 18-20, 2024<br>
Final version due November 1, 2024</font><br>
<br>
TOPICS<br>
<br>
Logical and semantic frameworks are formal languages used to
represent logics, languages and systems. These frameworks provide
foundations for the formal specification of systems and
computational languages, supporting tool development and
reasoning.<br>
<br>
* Automated deduction<br>
* Applications of logical and/or semantic frameworks<br>
* Computational and logical properties of semantic frameworks<br>
* Formal semantics of languages and systems<br>
* Implementation of logical and/or semantic frameworks<br>
* Lambda and combinatory calculi<br>
* Logical aspects of computational complexity<br>
* Logical frameworks<br>
* Process calculi<br>
* Proof theory<br>
* Semantic frameworks<br>
* Specification languages and meta-languages<br>
* Type theory<br>
<br>
SUBMISSION GUIDELINES<br>
<br>
All papers must be unpublished and not simultaneously submitted to
another journal or conference. The following paper categories are
welcome:<br>
<br>
* Full papers with a maximum of 16 pages (not including references
or appendixes)<br>
* Short papers with a maximum of 6 pages (not including references
or appendixes)<br>
<br>
The papers should be prepared in latex using EPTCS style, and
submitted as a PDF file in
<a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__https://easychair.org/conferences/?conf=lsfa2024__;!!IBzWLUs!Rl3cLdZqZ5FyUXEJWLB0SGBeszHa2eIuozpTPwe8SaD36FwU2Q1saiyNXJppSOxEUjQmtVwAI4TNA6slwlHdUvQTtXxt$">https://easychair.org/conferences/?conf=lsfa2024</a> . All
contributions should be written in English.<br>
<br>
PUBLICATION<br>
<br>
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 publication in EPTCS (TBC). At least one of
the authors should register for the conference. Presentations
should be in English.<br>
<br>
According to the quality of submissions, the chairs will promote
further publication of journal revised versions of the papers.
Previous LSFA Special Issues have been published in journals such
as The Logical Journal of the IGPL, Theoretical Computer Science
and Mathematical Structures in Computer Sciences (see the LSFA
page <a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__https://lsfa-workshop.github.io/__;!!IBzWLUs!Rl3cLdZqZ5FyUXEJWLB0SGBeszHa2eIuozpTPwe8SaD36FwU2Q1saiyNXJppSOxEUjQmtVwAI4TNA6slwlHdUjucKg6w$">https://lsfa-workshop.github.io/</a>).<br>
<br>
INVITED SPEAKERS<br>
<br>
* Maribel Fernandez (presentation)<br>
* Graçaliz Dimuro (presentation)<br>
* Marcelo Finger (tutorial: the use of Lukasiewicz Logic for the
verification of properties in neural networks)<br>
* Anderson Paiva Cruz (tutorial: fuzzy systems applied in hybrid
systems)<br>
<br>
VENUE<br>
<br>
Auditório Professor Juarez Milano, Instituto de Matemática e
Estatística (IME),<br>
Universidade Federal de Goiás - Campus Samambaia<br>
<br>
COMMITTEES<br>
<br>
Program Committee<br>
<br>
Vander Alves (Universidade de Brasília, Brazil)<br>
Luís Soares Barbosa (Universidade do Minho, Portugal)<br>
Benjamin Bedregal (Universidade Federal do Rio Grande do
Norte, Brazil)<br>
Juliana Bowles (University of St Andrews, UK)<br>
Siddharth Bhaskar (James Madison University, USA)<br>
Frédéric Blanqui (INRIA, France)<br>
Humberto Bustince (Universidad Pública de Navarra, Spain)<br>
Jörg Endrullis (Vrije Universiteit Amsterdam, The Netherlands)<br>
Mário Florido (Universidade do Porto, Portugal)<br>
André Galdino (Universidade Federal de Catalão, Brazil)<br>
Alex Kavvos (University of Bristol, UK)<br>
Dohan Kim (University of Innsbruck, Austria)<br>
Cynthia Kop (Radboud University Nijmegen, The Netherlands) --
chair<br>
Thaynara Arielly de Lima (Universidade Federal de Goiás,
Brazil)<br>
Mariano Moscato (AMA / NASA LaRC, USA)<br>
Flávio de Moura (Universidade de Brasília, Brazil)<br>
Cláudia Nalon (Universidade de Brasília, Brazil)<br>
Jorge Pérez (University of Groningen, The Netherlands)<br>
Renata Reiser (Universidade Federal de Pelotas, Brazil)<br>
Kristin Yvonne Rozier (Iowa State University)<br>
Thomas Rubiano (INRIA, France)<br>
Helida Santos ((Universidade Federal do Rio Grande, Brazil) --
chair<br>
Regivan Santiago (Universidade Federal do Rio Grande do Norte,
Brazil)<br>
José Solsona (Universidad ORT, Uruguay)<br>
Nora Szasz (Universidad ORT, Uruguay)<br>
Álvaro Tasistro (Universidad ORT, Uruguay)<br>
René Thiemann (University of Innsbruck, Austria)<br>
Deivid Vale (Radboud University Nijmegen, The Netherlands)<br>
Niccolò Veltri (Tallinn University of Technology, Estonia)<br>
Daniel Ventura (Universidade Federal de Goiás, Brazil)<br>
Niels van der Weide (Radboud University Nijmegen, The
Netherlands)<br>
<br>
Organizing committee<br>
<br>
Thaynara Arielly de Lima (IME, Universidade Federal de Goiás,
Brazil)<br>
Wagner Sanz (FAFIL, Universidade Federal de Goiás, Brazil)<br>
Bruno Silvestre (INF, Universidade Federal de Goiás, Brazil)<br>
Daniel Ventura (INF, Universidade Federal de Goiás, Brazil)<br>
<br>
CONTACT<br>
<br>
All questions about submissions should be emailed to
<a class="moz-txt-link-abbreviated" href="mailto:c.kop@cs.ru.nl">c.kop@cs.ru.nl</a> and <a class="moz-txt-link-abbreviated" href="mailto:helida@furg.br">helida@furg.br</a><br>
<br>
</p>
<p></p>
</body>
</html>