"Principles of Programming" conferences [via Alex]
Temporarily unavailable -- sorry.
andrzej@cs.cmu.edu