Tempus fugit

Dark events are unfolding in the archipelago of Tempus fugit.

You must strategically use magic to defend yourself against waves of enemies. Casting spell cards requires logical thinking to create specific rune sequences.

But be careful because your opponents will also benefit from clumsy rune placement!

Linear temporal logic

Players of this game learn about temporal logic.  Over time, you find out how to read the conditions of cards. These are expressed in linear-time temporal logic (LTL), which is one of the most famous logics in computer science and philosophy. Read more about the connection in our arXiv preprint “Tempus fugit: Anyone can understand temporal logic if they have to save the realm.”

Credits

• Tobias Loch (software lead dev)
• Mustafa Mohsen (dev & inspiration)
• Florian Eyert (dev)
• Kejni Dema (dev)
• Maximilian Stamm (product management, cards, art)
• Alessio Perna (scrum, devops & art)
• Benjamin Bisping (additional dev & coordination)
• Malek El-Tannir (music)