Welcome to the LSFA Webpage!
About LSFA
LSFA is an International Symposium on Logical and Semantic Frameworks with Applications launched in 2006. Logical and semantic frameworks are formal languages that represent logics and languages, as well as computational, AI and deductive systems. These frameworks provide mathematical foundations for the formal specification of systems and programming languages, supporting tool development and reasoning.
The LSFA series is a platform that fosters collaboration, bringing together theoreticians and practitioners. LSFA aims to promote techniques and results from the theoretical side, ranging from well-established ones such as lambda calculus and type theory to state-of-the-art ones such as machine learning, and provide feedback on integrating, implementing and using such methods and results from the practical side.
LSFA started as a workshop in 2006 in Natal (LSFA06), and its second and third editions were held in Ouro Preto (LSFA07) and Salvador (LSFA08) always as a satellite event to the Brazilian Symposium on Formal Methods (SBMF). In 2009 (LSFA09), it was held as a satellite event of RDP in Brasília, and subsequently, LSFA was a satellite event of ICTAC in Natal (LSFA10). Since its sixth edition, LSFA was held alone in Belo Horizonte (LSFA11), Rio de Janeiro and Niteroi (LSFA12), São Paulo (LSFA13), Brasília (LSFA14) and then in Natal (LSFA15) as part of NAT@Logic 2015. The eleventh edition, (LSFA16), was held as a satellite event of FSCD 2016 in Porto, the twelfth edition, (LSFA17), in Brasília, as a satellite of the collocated conferences Tableaux+FroCoS+ITP, the thirteenth edition, (LSFA18), was held alone in Fortaleza, the fourteenth edition, (LSFA19), as a satellite of CADE 2019 in Natal, and the fifteenth edition, (LSFA20), took place in Bahia with the First Brazilian Workshop on Logic WBL. The Sixteen edition, (LSFA2021), was held as a satellite of FSCD2021, organised in Buenos Aires, online. The Seventeen edition (LSFA2022) took place in Belo Horizonte. In 2023, the Eighteenth edition, (LSFA2023) was affiliated to (FSCD2023) in Rome. In 2024, the Nineteenth edition, (LSFA 2024), was held in Goiânia.
The twentieth edition of LSFA will be co-located with the eighteenth edition of CICM in Brasília from 6 to 11 October 2025.
List of Progam co-chairs and Invited Speakers
-
2006 Progam co-chairs: Christiano Braga, Edward Hermann Haeusler and Mauricio Ayala-Rincón
2006 ISs: Narciso Marti Oliet, Joe Wells, and Uwe Wolter -
2007 Progam co-chairs: Edward Hermann Haeusler and Mauricio Ayala-Rincón
2007 ISs: Gilles Dowek, Fairouz Kamareddine, and Simona Ronchi Della Rocca -
2008 Progam co-chairs: Mario Benevides and Elaine Pimentel
2008 ISs: Cesar Muñoz, Christian Urban, and Marcelo Finger -
2009 Progam co-chairs: Mauricio Ayala-Rincón and Fairouz Kamareddine
2009 ISs: Delia Kesner, Jonathan Seldin, and Luis Fariñas del Cerro -
2010 Progam co-chairs: Edward Hermann Haeusler and Luis Fariñas del Cerro
2010 ISs: Ruy de Queiroz, Natarajan Shankar, and Freek Wiedijk -
2011 Progam co-chairs: Elaine Pimentel and Simona Ronchi Della Rocca
2011 ISs: Arnon Avron, Pete Manolios, and Luiz Carlos Pereira -
2012 Progam co-chairs: Delia Kesner and Petrucio Viana
2012 ISs Torben Braüner, Maribel Fernández, Edward Hermann Haeusler, and Alexandre Miquel -
2013 Progam co-chairs: Maribel Fernández and Marcelo Finger
2013 ISs: Carlos Areces, Marcello D’Agostino, and Jose Meseger -
2014 Progam co-chairs: Ian Mackie and Mauricio Ayala-Rincón
2014 ISs: Ugo Montanari, Andrew Pitts, and René Thiemann -
2015 Progam co-chairs: Mario Benevides and René Thiemann
2015 ISs: Ofer Arieli, Valentin Goranko, Dale Miller, and Valeria de Paiva -
2016 Progam co-chairs: Vivek Nigam and Mario Florido
2016 ISs: Gilles Barthe, Kaustuv Chaudhuri, and João Marques Silva -
2017 Progam co-chairs: Sandra Alves and Renata Wassermann
2017 ISs: Beniamino Accattoli, Hélène Kirchner, and Renate Schmidt -
2018 Progam co-chairs: Carlos Olarte and Beniamino Accattoli
2018 ISs: Amy Felty, Andreas Herzig, Yiannis Moschovakis, and Alessandra Palmigiano -
2019 Progam co-chairs: Amy Felty and João Marcos
2019 ISs: Pascal Fontaine, Achim Jung, Vivek Nigam, Elaine Pimentel, and Giselle Reis -
2020 Progam co-chairs: Cláudia Nalon and Giselle Reis
2020 ISs: Delia Kesner, Eduardo Bonelli, and Mauricio Ayala-Rincón -
2021 Progam co-chairs: Mauricio Ayala-Rincón and Eduardo Bonelli
2021 ISs: Alejandro Díaz-Caro, Alexandra Silva, and Giulio Guerrieri -
2022 Progam co-chairs: Daniele Nantes Sobrinho, and Pascal Fontaine
2022 ISs: Ciro Russo, Claudia Nalon. -
2023 Progam co-chairs: Temur Kutsia and Daniel Lima Ventura
2023 ISs: Cynthia Kop, Brigitte Pientka, and Pablo Barembaum -
2024 Progam co-chairs: Cynthia Kop and Hélida Salles Santos
2024 ISs: Maribel Fernández, Marcelo Finger, Heloisa Camargo, Anderson Paiva Cruz -
2025 Progam co-chairs: Haniel Barbosa and Christophe Ringeissen
2025 ISs: Bruno Lopes, Yoni Zohar, and Temur Kutsia (joint CICM+LSFA Invited Speaker).
Publications
Special Issues:
-
Special Issue LSFA 2006, J. of Algorithms vol 62, 2007 (toc at JA site)
-
Special Issue LSFA 2007, The Logical J. IGPL vol 17, 2009 (toc at J.IGPL site)
-
Special Issue LSFA 2008+9, Theoretical Computer Science vol 412, 2011 (toc at TCS site)
-
Special Issue LSFA 2010+11, The Logical J. IGPL vol 22(5), 2014 (toc at J.IGPL site)
-
Special Issue LSFA 2012+13, Theoretical Computer Science vol 606, 2015 (toc at TCS site)
-
Special Issue LSFA 2014, Theoretical Computer Science vol 685, 2017 (toc at TCS site)
-
Special Issue LSFA 2015+16, Theoretical Computer Science vol 781, 2019 (toc at TCS site)
-
Special Issue LSFA 2017+18, Mathematical Structures in Computer Science vol 31(3), 2021 (toc at MSCS site)
-
Special Issue LSFA 2019+20, Mathematical Structures in Computer Science, vol 32(9), 2022 (toc at MSCS site)
-
Special Issue LSFA 2021+22, Mathematical Strucutres in Computer Science, Guest Eds. Daniele Nantes, Eduardo Bonelli.
-
Special Issue LSFA 2023+24, TBD, Guest Eds. Cynthia Kop, Daniel Lima Ventura.
Proceedings:
-
Proc. LSFA 2024, Eds. Cynthia Kop and Hélida Salles Santos (EPTCS)
LSFA Bylaws
- LSFA is an annual meeting.
- A general assembly (GA) will be held during each LSFA meeting.
- There will be a steering committee (SC) whose composition and function are specified in the next section.
- There will be a program committee (PC), which is solely responsible for the scientific contents of the program for each LSFA.
- There will be a meeting committee (MC) whose chairman(s) is(are) responsible for the local arrangements of the meeting and solely financially responsible for the conference it is organizing.
- Nomination for the LSFA local organization and site should be submitted to SC chair(s) four weeks before the conference.
- The
- Program Committee Chairperson,
- Meeting Chairperson,
- site,
- tentative date, of the LSFA to be held in the next year will all be nominated by the SC and approved (or disapproved) by a vote at the GA.
- Nomination of new SC members (with the consent of the nominees) should be submitted to the SC chair four weeks before the conference.
- The GA will take up any other agenda suggested by the attendees. Robert’s Rules of Order will rule it.
- The PC Chair(s) should not submit any paper.
- The composition of the PC is the responsibility of the PC chair(s).
- Any modification of the bylaws should be proposed to the SC chair(s) four weeks before the conference and be ratified at the GA.
Steering Committee
Composition:
-
Current SC members
- Daniel Lima Ventura Goiânia (UFG), 2024-
- Maribel Fernández London (King’s College London), 2024-
- Temur Kutsia Linz (RISC/Johannes Kepler Universität), 2023-
- Cynthia Kop Nijmegen (Radboud Universiteit Nijmegen), 2023-
- Bruno Lopes Vieira Niteroi (UFF), 2022-
- Mauricio Ayala-Rincón Brasília (UnB), 2022- (chair)
- Daniele Nantes Sobrinho Brasília (UnB), 2021-+1
-
Former SC members
- Eduardo Bonelli Hoboken NJ (Stevens University), 2021-24
- Amy Felty Ottawa (Université d’Ottawa) 2020-23
- Giselle Reis Qatar (Carnegie Mellon University in Qatar) 2020-23
- Carlos Olarte Natal (UFRN), 2018-22 (chair)
- Cláudia Nalon Brasília (UnB), 2018-22
- Sandra Alves Porto (Universidade de Porto), 2017-21
- Maribel Fernández London (King’s College London), 2018-21
- João Marcos Natal (UFRN), 2017-20
- Renata Wassermann São Paulo (USP), 2017-20
- Delia Kesner Paris (U.Paris Diderot), 2015-18
- Bruno Lopes Vieira Niteroi (UFF), 2015-18 (chair)
- Vivek Nigam João Pessoa (UFPB), 2015-18
- Edward Hermann Haeusler Rio de Janeiro (PUC-Rio), 2007-17 (co-chair)
- Mauricio Ayala-Rincón Brasília (UnB), 2007-17 (co-chair)
- Elaine Gouvêa Pimentel Natal (UFRN), 2007-17
- Mario R. Folhadela Benevides Rio de Janeiro (UFRJ), 2007-17
- Fairouz Dib Kamareddine Edinburgh (Heriot-Watt) 2007-15
- Ana Teresa de Castro Martins Fortaleza (UFC) 2007-14
- The Steering Committee selects its chair(s).
- Each Steering Committee member serves until the third subsequent conference. At most, one-third of the SC members can be renewed at each conference. To keep this balance, exceptionally and with the approval of the General Assembly, it is possible to extend the term of some of the members of the SC for one year.
- The General Assembly of each conference votes by secret ballot for new Steering Committee members to replace the outgoing members. The maximum number of candidate indications allowed for each attendee of the General Assembly equals the number of open positions in that election. The total indications per candidate are computed, and the most voted, up to the number of open positions, will be considered elected.
Function:
- Provide support to the Program Committee and Meeting Committee.
- Propose the Program Committee chair, site, and tentative date for the meeting in the next two years.
- Advertising and other issues concerning the publicity of the conference.
- Act as liaison with other conferences and workshops.
- Call and organize the General Assembly.
- Organize the election of new Steering Committee members.
- Explore technical/organizational supports for non-local resources.
- Maintain an official mailing list and records of the previous meetings.