Index of /~zpli/center

	Name	Last modified	Size	Description
	Parent Directory		-
	Certifying Compiler and Automated Theorem Proving.doc	16-Jun-2009 08:45	45K
	Certifying Compiler and Automated Theorem Proving.pdf	16-Jun-2009 08:44	46K
	center''.jpg	20-May-2009 16:50	150K
	center'.jpg	15-May-2009 16:58	145K
	center(2).jpg	15-May-2009 11:22	126K
	center.jpg	15-May-2009 11:11	146K
	certifying-compiler.jpg	15-May-2009 15:47	626K
	introduction'.jpg	20-May-2009 16:50	604K
	introduction.bmp	25-Aug-2009 12:03	2.1M
	introduction.jpg	15-May-2009 15:10	615K
	logo(black)'.jpg	20-May-2009 16:55	29K
	logo(black).jpg	20-May-2009 16:54	29K
	logo.jpg	20-May-2009 16:54	38K
	poster-all-in-one(ver1).pdf	25-Aug-2009 11:54	1.5M
	poster-center(ver2).pdf	25-Aug-2009 11:54	470K
	tshirt.jpg	25-Aug-2009 11:54	79K