Does anyone have experience with painting an indoor mural?

I’m in a leadership group at my school (Pitt) and our project is to find a location for a mural and hold a contest, open to student, to design the mural. We have a budget of about $1000, but none of us know much about painting large scale murals (so why this is our assigned project is a good question….) We will not be painting it (the contest winners will), but have to buy the supplies. Has anyone been involved with a project like this? Any suggestions about supplies to use, tips, websites? Anything would be helpful.