5th ACM SIGPLAN Workshop on Mechanizing Metatheory

25 September, 2010
Baltimore, Maryland

Co-located with ICFP’10

Sponsored by ACM SIGPLAN

Workshop Program Now Available:

Talks and abstracts

Special 5th Anniversary Program

Researchers in programming languages have long felt the need for tools to help formalize and check their work. With advances in language technology demanding deep understanding of ever larger and more complex languages, this need has become urgent. The goal of the WMM workshops is to bring researchers who are (or would like to be) using automated proof assistants for programming language metatheory together with developers of proof assistants with an interest in supporting research in programming languages.

This WMM is an occasion to look back at five years of intensive effort on formalizing programming languages. The centerpiece of the event will be a series of invited talks in which major players in the area look both back and forward, offering their perspectives on what has been achieved and what challenges remain.

There will also be a session of short contributed presentations by workshop participants, selected from submitted abstracts.

Invited Speakers

Call for Abstracts (now closed)

Important Dates


The scope of the workshop includes, but is not limited to:

Submission Guidelines

Email submissions to bcpierce AT cis.upenn.edu. Submissions should be no longer than two pages and in PDF format. There will be no formal proceedings, but abstracts will be made available on the web.

Workshop Organization

Program Committee
Steering Committee

Previous Workshops