The goal of this workshop is to bring researchers and practitioners together in a setting where they can discuss novel architectures, the design and implementation of programming languages, compilers, distributed systems and processing environments, as well as new developments in formal verification of and applications for such environments.
The topics of interest for this workshop range from fundamental theoretical problems to application oriented questions.
Participation: Participation is open to all who are interested in the topic of the workshop. Participants must register by Tuesday, January 29. See the registration page for more information. All correspondence should be sent to kim@cs.pomona.edu