lsfa2022.github.io - LSFA 2022

home > domains > lsfa2022.github.io

Example domain paragraphs

The 17th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA) will be held in Belo Horizonte, MG, Brazil on September 23 and 24, 2022.

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 programming languages, supporting tool development and reasoning.

Previous editions of LSFA took place in Buenos Aires (2021, online, as a satellite of FSCD 2021), Bahia (2020, online, collocated with the First Brazilian Workshop on Logic WBL), Natal (2019), Fortaleza (2018), Brasília (2017, collocated with Tableaux+FroCoS+ITP), Porto (2016), Natal (2015), Brasília (2014), São Paulo (2013), Rio de Janeiro (2012), Belo Horizonte (2011), Natal (2010), Brasília (2009), Salvador (2008), Ouro Preto (2007) and Natal (2006). See http://lsfa.cic.unb.br for more information.

Links to lsfa2022.github.io (2)

• ebonelli.github.io Eduardo Bonelli
• nalon.org Cláudia Nalon