Co-located with ICFP’10
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.
The scope of the workshop includes, but is not limited to:
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.