Alright, to be completely honest, this is where stuff is out of my league. If I get the chance, I'll poke around in some of the N900's system files, see if anything in there might have to do with it detecting WiFi connections.

At this stage, perhaps installing Kismet or aircrack-ng and seeing if you can get your hands on a patch that lets your WiFi go into monitor mode (I am pretty sure that's been worked into Titan's kernel by now, though I don't know), you could use one of them to see what packets you can capture, and if you can detect the network through that... But I can't give any advice there because I lack any working skills with running either of those programs.

The only thing I can imagine that isn't a corrupt or damaged system file or driver is if the WiFi that the campus broadcasts has been renamed, or has the same name but is broadcast with different hardware/different settings/different-other-stuff-that-might-make-it-present-itself-as-a-different-network at a low-level-software level. Which, again, goes into the out-of-my-area-of-expertise, unfortunately...

What I would recommend is, yes, delete the connection from your saved Internet Connections, and then see if it finds it a-new...

I personally haven't yet flashed to Titan's kernel (planning to eventually, to squeeze maximum potential from the device, but to be honest, so far the device is almost good enough in every way without it for me), so I'm not sure exactly how it works or what options you can have in it, and/or if there's any bugs in it that may be relevant to this.

I also suppose, because now I'm just reaching in the dark based on educated guesses, that some background daemon could be causing this, but I know of no application that does anything WiFi specific that might lead it to ignore one particular WiFi... Did you by any chance install that Free WiFi app? I don't remember the exact name nor know much about it, because the description was in a language I don't know (some European one, though, most likely), but it may do something like this... (Though I assume you've probably uninstalled that by now, which means unless it left some background process on the device, you should be rid of that.)