Logo
PARTICIPANTS
SCHEDULE
REPORTS
MAILING LIST
HACKERS' GUIDE
HOME
 

The Church Project

Scope and Goal

The Church Project investigates the foundations, design principles and implementation techniques of programming languages and related systems. The overall goal is the development of software technology that performs better and is more reliable. The project is named in honor of Alonzo Church, the inventor of the lambda calculus.

Current Focus

Four major research efforts (supported by various funding bodies including EC, EPSRC, and NSF) are presently undertaken by project participants:

Regular Seminar 

A year-round semi-regular seminar held in the Boston area is the main forum for participants and visitors to present recent results, work in progress, position papers, and papers of general interest related to the overall goal of the project.  From early September to late May, the seminar is held on a weekly basis (approximately); from early June to late August, the seminar is held occasionally according to need and availability of speakers.

Related Seminars (Current and Past)

Project participants organize occasional one-semester seminars devoted to specific topics of interest:

Participation

The Project has active participants from several institutions comprising faculty members, research associates and post-doctoral fellows, graduate and undergraduate students in computer science.  The list of participants gives more details as well as links.

New participants with time to work on any of the project's activities are welcome. For more information, send e-mail to any of the active participants.

Project Resources 

Related Projects 

Sponsor: 

Work undertaken under the Church Project has been partially supported by National Science Foundation grants no. CCR-0113193 and no. CNS-0202067. Any opinions, findings, and conclusions or recommendations expressed in this work are those of the author(s) and do not necessarily reflect the views of the National Science Foundation.
 

This page is maintained by Assaf Kfoury, Hongwei Xi and Santiago M. Pericas. Autogenerated on Friday August 24 2007.