I have been using outdoor augmented reality Apps for a while, ones that rely on a decent GPS signal in order to work.
Was led to this video by Mark Power on Junaio, an indoor augmented reality App.
http://www.youtube.com/watch?v=jRcSFXvoPkU
The KIOSK EUROPE EXPO 2010 Channel is the first real life implementation of junaio®’s advanced indoor navigation capabilities on your smartphone, presenting an interactive mobile guide to the world’s largest trade fair on electronic self-service and innovative retail solutions. junaio® is the first augmented reality platform to overcome the accuracy limitations of GPS navigation, offering pinpoint indoor navigation services. Point, click and view information on individual exhibits or find directions to interesting events and locations. Available for iPhone and Android.
Certainly looks like it could be a useful idea for educational institutions.