Logic List Mailing Archive
CfP [extended deadline]: LSFA 2024: 19th International Workshop on Logical and Semantic Frameworks with Applications, September 18-20 2024, Goiânia (Brazil)
Dear all,
The deadline of the International Workshop on Logical and Semantic Framewor
ks 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 App
lications (LSFA 2024) will be held on September 18-20 2024 in Goi�nia, Br
azil.
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 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 (not including references or appen
dixes)
* Short papers with a maximum of 6 pages (not including references or appen
dixes)
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)
* Gra�aliz Dimuro (presentation)
* Marcelo Finger (tutorial: the use of Lukasiewicz Logic for the verificati
on 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�st
ica (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<mailto:
c.kop@cs.ru.nl> and helida@furg.br<mailto:helida@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