---

Invited lectures Location Organisation Registration Programme Participants Photos

---

Second Workshop on Formal and Automated Theorem Proving and Applications (Jan 30-Jan 31, 2009, Belgrade)

Predrag Janičić - Opening

---

Makarius Wenzel

---

Hugo Herbelin

---

Filip Marić

---

Coffee break

---

Silvia Ghilezan

---

Alexis Saurin

---

Jovanka Pantović

---

Dragan Doder

---

Workshop dinner

---

Workshop dinner

---

Workshop dinner

---

Florian Haftmann

---

Vesna Pavlović

---

Sana Stojanović

---

Walther Neuper

---

Coffee break

---

Viktor Kunčak

---

Mladen Nikolić

---

Milan Šešum

---

Milan Banković

---

Milena Vujošević-Janičić

---

Walk - Kelemegdan fortress

---

Walk - Kelemegdan fortress

---

Walk - Kelemegdan fortress