![Formal Methods: Whence and Whither? [Martin Fränzle Festkolloquium, 2025]](https://cdn.slidesharecdn.com/ss_thumbnails/mf2025-250305164811-a0930761-thumbnail.jpg?width=560&fit=bounds)
More Related Content
Recently uploaded (20)
Featured (20)
מבט העל האזרחי - חגית קיסר
- 3. התר ללא פלסטינית בנייה תיעוד תיק ,ג’ראח שיח | 141 | המקום
- 4. ספרא כיכר ,8 בניין ירושלים עיריית | המשפטית המחלקה ארכיון | 717 | המקום
- 5. צפפה בית ,סלמאן משפחת בית | 284 | המקום
- 6. c התר ללא פלסטינית בנייה תיעוד תיק | חנינה בית | 248 | המקום
- 8. Wilkinson Bay, Louisiana (BP Oil Spill)
- 15. ...the social, economic, structural and technical evidence should be enough to qualify and possibly withdraw the democratisation claims that are attached to neogeographic practices. Muki Haklay (NeoGeography and The Delusion of Democratisation 2013)
- 17. Castellón, SpainOccupy UC Davis 2011
- 18. Kite aerial Photography San Francisco earthquake 1906 Hot-air balloon 18th, 19th century
- 19. Castellón, SpainOccupy UC Davis 2011
- 24. Muki Haklay “Citizen Science and Volunteered Geographic Information: Overview and Typology of Participation,” in Crowdsourcing Geographic Knowledge
- 26. Balloon Mapping a protest Jerusalem 2011
- 27. A photograph is not a representation.
- 28. Following Contamination Gowanus Canal, Brooklyn NYC
- 29. Nairobi, Kenya - mapping food dangers
- 30. Castellón, Spain
- 32. Castellón, Spain
- 33. Kite Mapping Near Pilgrim Power Plant, LA (publiclab.org)
- 34. Kite Mapping Near Pilgrim Power Plant, LA (publiclab.org)
- 35. Community Aerial Photography Road #4 Beit Safafa, South Jerusalem
- 41. Home:Site Project at the Mamuta Edu-Lab : Wadi Hilweh Information Centre – . . ... ! Hidaya Banna One time, in the last day of our summer-camp in Silwan, we had a kind of demonstration going around the village. From the Spring inWadi Hilweh and up to the City of David.All the settlers were looking at us surprised and angry... they were asking themselves how come these kids can have a demo?! . Silwan tent, to let people know what is going on in Silwan, and so that they will come visit it. Taima Ftahe Ein Silwan - Silwan Spring I took this picture so that everyone will know the Spring and come visit it. Taima Ftahe . . – . My neighbourhood - Harat Al-Bidoun,Wadi Hilweh I want to show you where we can buy some stuff to eat and drink, we cannot live without it. Ali Bidoun . 2011 . from there I can take a taxi and go everywhere built in 2011, it belongs to my cousin Abu-Salah and when we have nothing to do we sit there and joke around. Mohammad Siyam . – . My neighbourhood - Harat Al-Bidoun, Wadi Hilweh I want to show you the transportation, how we get from place to place. Ali Bidoun . This is the shortest way for me to get home; I have to climb some walls. Mohammad Siyam ( ) . Hanadi (children's activity centre), I took it so we will remember Handala, the character of (cartoonist) Naji al-Alli, who died for Palestine. Rawan Tawil . - . . This house is one of the settlements in Silwan, it is a new building, it wasn't here before.The Israelis are taking the land, and are building more Hidaya Banna ( ) . . . Beit Guzlan taken by Settlers (Beit Meyuhas) I took this picture from one of the houses in the City of David. I can see from here the beautiful view of Silwan, this point of view was taken by settlers. From here they can see what's going on in all Silwan. RawanTawil ( ) . There is a lot of land in Silwan (unbuilt areas) but every minute that goes by, more land is being taken by Israelis, and the Arabs cannot enter their land. Hidaya Banna . : . . . Arin Bidoun I took pictures of the settlements where the Jews live, because in this settlement there is everything they need, like: security guards, money, food. I want to say that we don't have these things. Because I don't have and they do, they think they have more power, and that they are smarter than I am, but actually they are not. But when they use their weapons they have power. . . The settlement in Harat Al-Bidoun. I took this picture to show the people where the Jews live. Arin Bidoun . – . My neighbourhood - Harat Al-Bidoun,Wadi Hilweh. I took this picture to show you the settlements in Silwan. Ali Bidoun Mohammad's Home Mahdi's Home Archaeological site next to the ProtestTent inWadi Hilweh In the ProtestTentWadi Hilweh Rawan's Home Hidaya's Home Wadi Kidron Al Hamra Taima's Home Al-Bustan neighborhood Settlers next to Taima’s home Ali's Home Arin's Home Baten Al-Hawa neighborhood, seen fromTaima's home Wadi Hilweh Information Centre – Annotated DIY Aerial Photography made by children in East Jerusalem
- 43. Silwan Ein Karem
- 45. From matters of fact to matters of concern Bruno Latour Situated Knowledge Donna Harraway
- 46. From matters of fact to matters of concern Bruno Latour Situated Knowledge Donna Harraway civil imagination Ariella Azoulay
- 47. BIG DATA
- 50. Stitching the Map - MapKnitter.org
- 52. Jaffa Street - Old City, Jerusalem More about DIY Aerial Photography in Jerusalem: PublicLab.org/Wiki/Jerusalem Hagit Keysar fiestin@gmail.com