LSFA 2022 at UFMG - Call for participation

[Haniel Barbosa]

LSFA 2022 at UFMG - Call for participation

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

The program will be online soon at

https://lsfa2022.github.io/#program

Registration for LSFA 2022 is free, but needs to be done through the link
below. Graduate students interested in logical and semantic frameworks are
specially encouraged to participate!

https://forms.gle/b2yFCJEfiY8ScTux9

Please notice that coffee breaks are included but participants are responsible
for their own lunch and dinner.

See the LSFA 2022 web site for more information:

https://lsfa2022.github.io/

Looking forward to an exciting conference!

Best,
--
Haniel Barbosa
https://homepages.dcc.ufmg.br/~hbarbosa/