International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (16. : 2021 : Online)

Die als Präsenzveranstaltung geplante Konferenz wurde online abgehalten.