Programs, usually within the formal education system, that operate school cafeterias or dining halls which provide lunches and other meals for students. Included are student dining services at elementary and secondary schools and those offered by colleges and universities.