Third International Workshop on
A FLoC'02 affiliated workshop
Logical frameworks and meta-languages form a common substrate for representing, implementing, and reasoning about a wide variety of deductive systems of interest in logic and computer science. Their design and implementation has been the focus of considerable research over the last two decades, using competing and sometimes incompatible basic principles.
This workshop will bring together designers, implementors, and practitioners to discuss all aspects of logical frameworks. Topics include, but are not limited to:
Informal proceedings will be published as a volume in the Electronic Notes in Theoretical Computer Science (ENTCS) series and will be available to participants at the workshop. A special issue with invited papers from this workshop in a major journal is under consideration.
LFM´02 is jointly sponsored by LICS and CADE as part of FLoC´02.
[ Home | Program | Proceedings | Call for Papers | Call for Papers | FLoC'02 ]