Meetings/Workshops on Mathematical Logic and Foundations in Brazil

Select a location
1
LSFA22 — 17th International Workshop on Logical and Semantic Frameworks, with Applications
23 Sep 2022 - 24 Sep 2022 • Belo Horizonte, MG, Brazil
Abstract:
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.
Event listing ID:
1489202


Conference-Service.com offers, as part of its business activities, a directory of upcoming scientific and technical meetings. The calendar is published for the convenience of conference participants and we strive to support conference organisers who need to publish their upcoming events. Although great care is being taken to ensure the correctness of all entries, we cannot accept any liability that may arise from the presence, absence or incorrectness of any particular information on this website. Always check with the meeting organiser before making arrangements to participate in an event!

No tracking | No pop-ups | No animations
Last updated: 28 May 2022