OpenJML is a program verification tool for Java programs that allows you to check the specifications of programs annotated in the Java Modeling Language.
By blending myth, environmental commentary, and a splash of Czech humour, the project turned the entire city into a stage for a “living fossil” narrative.
Caption ideas:
| # | Location | Installation type | What to look for | |---|----------|-------------------|------------------| | 1 | | 3‑D wall relief on the side of a former warehouse | A mammoth’s head protrudes from the brick, its eye made of a tiny solar‑powered LED that flickers at sunset. | | 2 | Tram 22, stop “Národní” | Full‑scale mammoth sitting on a tram seat | The animal’s back is a hidden bench – perfect for a quick rest and an Instagram snap. | | 3 | Vyšehrad Castle ramparts | Bronze‑tone sculpture with a QR‑code | Scan to hear a narrated “story of the last mammoth that roamed the Czech lands.” | | 4 | Žižkov TV Tower | Light‑projection of a walking mammoth at night | The projection is synchronized with a low‑frequency hum that mimics the sound of an ancient herd moving across the plains. | | 5 | Pilsen (Plzeň) brewery district | Interactive “Mammoth Beer‑Stand” | Order a “Mammoth Stout” – the tap handle is a tiny tusk. The coaster doubles as a mini‑map of the project. | | … | …and eight more pop‑ups scattered across Prague, Brno, Olomouc and Plzeň. | | | CzechStreets.E149.Mammoths.Are.Not.Extinct.Yet....
As we explore the boundary between extinction and resurrection, how do you think this technology will change our world in the next 10 years? By blending myth, environmental commentary, and a splash
We are living in an era where the line between extinction and existence is becoming increasingly blurred. | | 3 | Vyšehrad Castle ramparts |
The exact reason for the extinction of mammoths is still debated among scientists, but it is believed that a combination of factors contributed to their demise, including: