*Principles, Logics, and Implementations of high-level programming languages*
  
	* Submissions: March
	* Conference: October

	* Main conferences: ICFP, PPDP

	* 2002: http://pli2002.cs.brown.edu/
	* 2001: http://music.dsi.unifi.it/pli01/
-----
CategoryConference