Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Final CfP: Logical and Semantic Frameworks wit...


view this post on Zulip Email Gateway (Apr 23 2023 at 14:25):

From: "D. Ventura" <ventura@ufg.br>
===================================================================

18th Logical and Semantic Frameworks with Applications - LSFA 2023
1-2 July 2023

https://sites.google.com/ufg.br/lsfa2023

Affiliated to FSCD 2023 <https://easyconferences.eu/fscd2023/>,
Rome, Italy

Final Call For Papers

===================================================================

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. The LSFA
series' objective is to put together theoreticians and practitioners
to promote new techniques and results, from the theoretical side, and
feedback on the implementation and the use of such techniques and
results, from the practical side.

See lsfa-workshop.github.io/ for more information.

LSFA topics of interest include, but are not limited to:

Submissions

Contributions should be written in English and submitted as *full *
*papers *(with a maximum of 16 pages) or as 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 the EPTCS style. The submission should be
in the form of a PDF file uploaded to Easychair:

https://easychair.org/conferences/?conf=lsfa2023

The pre-proceedings, containing the reviewed papers, will be
available on the conference webpage by the time of the event.
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 of each submission must
register for the conference. Presentations should be in English.

According to the submissions' quality, the chairs will promote the
further publication of journal revised versions of the papers.
Previous LSFA Special Issues have been published in journals such
as The Logical J. of the IGPL, Theoretical Computer Science and
Mathematical Structures in Computer Sciences (see the LSFA page
https://lsfa-workshop.github.io/).

Important dates (extended deadlines
)

Invited Speakers

* Cynthia Kop <https://www.cs.ru.nl/~cynthiakop/index_en.html> (Radboud
University Nijmegen, The Netherlands)
[shared session with LFMTP'23 <https://lfmtp.org/workshops/2023/>]

* Brigitte Pientka <https://www.cs.mcgill.ca/~bpientka/> (McGill
University, Canada)

* Pablo Barenbaum <https://foones.github.io/> (UBA & UNQ, Argentina)

note: shared session with LFMTP'23 <https://lfmtp.org/workshops/2023/> on
July 2.

Program Committee

Sandra Alves <https://www.dcc.fc.up.pt/~sandra/Home/Home.html> (Universidade
de Porto, Portugal)
Carlos Areces <https://carlosareces.github.io/> (Universidad Nacional de
Cordoba, Argentina)
Mauricio Ayala-Rincón <https://www.mat.unb.br/ayala/> (Universidade de
Brasília, Brazil)
Haniel Barbosa <https://hanielbarbosa.com/> (Universidade Federal de
Minas Gerais, Brazil)
Eduardo Bonelli <https://ebonelli.github.io/> (Stevens University, US)
David Cerna <https://www.cs.cas.cz/dcerna/> (Czech Academy of Sciences
Institute of Computer Science)
Alejandro Diaz-Caro <https://staff.dc.uba.ar/adiazcaro/> (UNQ & ICC
CONICET-UBA, Argentina)
Marcelo Finger <https://www.ime.usp.br/~mfinger/> (Universidade de São
Paulo, Brazil)
Pascal Fontaine
<https://www.uliege.be/cms/c_11399834/en/pascal-fontaine> (University
of Liege, Belgium)
Lourdes del Carmen González Huesca
<https://lya.fciencias.unam.mx/lcgh/web/> (UNAM, Mexico)
Giulio Guerrieri <https://pageperso.lis-lab.fr/~giulio.guerrieri/>
(Aix-Marseille
Université, France)
Fairouz Kamareddine <http://www.macs.hw.ac.uk/~fairouz/> (Heriot-Watt
University, UK)
Delia Kesner <https://www.irif.fr/~kesner/> (Université Paris Cité,
France)
Temur Kutsia <https://www3.risc.jku.at/people/tkutsia/> (Johannes Kepler
University Linz, Austria) - Co-Chair
Marina Lenisa <https://users.dimi.uniud.it/~marina.lenisa/> (Università
di Udine, Italy)
Mircea Marin <https://staff.fmi.uvt.ro/~mircea.marin/> (West University
of Timisoara, Romania)
Mariano Moscato <https://marianomoscato.github.io/> (NASA, US)
Daniele Nantes-Sobrinho
<https://vtss.doc.ic.ac.uk/people/nantes-sobrinho.html> (Imperial College
London, UK)
Miguel Pagano <https://cs.famaf.unc.edu.ar/~mpagano/> (Universidad
Nacional de Córdoba, Argentina)
Valeria de Paiva <https://vcvpaiva.github.io/> (Topos Institute,
Berkeley, US)
Cleo Pau <https://risc.jku.at/m/ioana-cleopatra-pau/> (Johannes Kepler
University Linz, Austria)
Elaine Pimentel <https://sites.google.com/site/elainepimentel/> (University
College London, UK)
Paolo Pistone <http://logica.uniroma3.it/pistone/> (Università Roma Tre,
Italy)
Femke van Raamsdonk <https://www.cs.vu.nl/~femke/> (Vrije Universiteit
Amsterdam, The Netherlands)
Andrew Reynolds <https://homepage.cs.uiowa.edu/~ajreynol/> (University of
Iowa, US)
Wolfgang Schreiner <https://risc.jku.at/m/wolfgang-schreiner/> (Johannes
Kepler University Linz, Austria)
Daniel Ventura <https://ww2.inf.ufg.br/~daniel/> (Universidade Federal de
Goiás, Brazil) - Co-Chair

Organisers

Daniele Nantes-Sobrinho (Imperial College London, UK)
David Cerna (Czech Academy of Sciences Institute of Computer Science)

=====================================================================


Last updated: Mar 29 2024 at 12:28 UTC