|
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.
|
