Email Gateway (Jun 03 2024 at 10:22): Email Gateway (Jun 03 2024 at 10:22):From: Cynthia Kop <cl-isabelle-users@lists.cam.ac.uk>
Dear all,
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.
Find below the updated call for papers.
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.
For more information, see https://sites.google.com/ufg.br/lsfa2024
IMPORTANT DATES
Abstract registration deadline June 7 2024
Submission deadline June 14, 2024
Notification date August 7, 2024
Workshop September 18-20, 2024
Final version due November 1, 2024
TOPICS
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.
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 (not including references or
appendixes)
Short papers with a maximum of 6 pages (not including references or
appendixes)
The papers should be prepared in latex using EPTCS style, and submitted
as a PDF file in https://easychair.org/conferences/?conf=lsfa2024 . All
contributions should be written in English.
PUBLICATION
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.
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
https://lsfa-workshop.github.io/).
INVITED SPEAKERS
Marcelo Finger (tutorial: the use of Lukasiewicz Logic for the
verification of properties in neural networks)
Anderson Paiva Cruz (tutorial: fuzzy systems applied in hybrid systems)
VENUE
Auditório Professor Juarez Milano, Instituto de Matemática e Estatística
(IME),
Universidade Federal de Goiás - Campus Samambaia
COMMITTEES
Program Committee
Vander Alves (Universidade de Brasília, Brazil)
Luís 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)
Frédéric Blanqui (INRIA, France)
Humberto Bustince (Universidad Pública de Navarra, Spain)
Jörg Endrullis (Vrije Universiteit Amsterdam, The Netherlands)
Mário Florido (Universidade do Porto, Portugal)
André Galdino (Universidade Federal de Catalão, Brazil)
Alex Kavvos (University of Bristol, UK)
Dohan Kim (University of Innsbruck, Austria)
Cynthia Kop (Radboud University Nijmegen, The Netherlands) -- chair
Thaynara Arielly de Lima (Universidade Federal de Goiás, Brazil)
Mariano Moscato (AMA / NASA LaRC, USA)
Flávio de Moura (Universidade de Brasília, Brazil)
Cláudia Nalon (Universidade de Brasília, Brazil)
Jorge Pérez (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) -- chair
Regivan Santiago (Universidade Federal do Rio Grande do Norte, Brazil)
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 Goiás, Brazil)
Niels van der Weide (Radboud University Nijmegen, The Netherlands)
Organizing committee
Thaynara Arielly de Lima (IME, Universidade Federal de Goiás, Brazil)
Wagner Sanz (FAFIL, Universidade Federal de Goiás, Brazil)
Bruno Silvestre (INF, Universidade Federal de Goiás, Brazil)
Daniel Ventura (INF, Universidade Federal de Goiás, Brazil)
CONTACT
All questions about submissions should be emailed to c.kop@cs.ru.nl and
helida@furg.br
Last updated: Jan 04 2025 at 20:18 UTC