The Laboratory for Temporal Logic is proud to collaborate with the ; we look forward to future lab members from JA!
We are located in the wonderful, cycling-friendly town of Ames, Iowa — Hooray for Ames!. Despite our many collaborations this is not close to NASA Ames; here’s a bit of history about NASA Ames.