CADE-17
Contact Us
Local Organization
The preferred method of contact is e-mail to cade-17@cs.cmu.edu which will reach the local organizers including Frank Pfenning, Maury Burgwin and David Swasey.
| Local Organizers | cade-17@cs.cmu.edu |
| +1 412 268 3608 (fax) | +1 412 268 4740 (phone) |
| |
|
| Frank Pfenning | fp@cs.cmu.edu |
| Conference Chair | +1 412 268 6343 |
| |
|
| Maury Burgwin | mburgwin@cs.cmu.edu |
| Executive Assistant to Chair | +1 412 268 4740 |
| |
|
| David Swasey | swasey@cs.cmu.edu |
| Computing Facilities | +1 412 268 7554 |
Program Chair
David McAllester, dmac@research.att.com
Workshop and Tutorial Chair
Michael Kohlhase, kohlhase@cs.uni-sb.de
System Competition Chair
Geoff Sutcliffe, geoff@cs.jcu.edu.au
[ Home
| Program
| Workshops
| Tutorials
| System Competition
]
[ Accommodations
| Excursions
| Computing Facilities
| Athletic Facilities
| Restaurants
| Travel
]
[ On-Line Registration ]
[ UNIF 2000 ]