Perspectives Workshop: Formal Methods - Just a Euro-Science?

Speaker(s)

Andrzej Tarlecki

Affiliation

Uniwersytet Warszawski

Date

Dec. 13, 2010, 10:15 a.m.

Room

room 5850

Seminar

Seminar Semantics, Logic, Verification and its Applications

---

Opowiesci o spotkaniu w Schloss Daghstul, 1-3.12.2010.

Przypominamy, że do końca grudnia seminarium odbywa się w ZMIENIONEJ SALI: 5850 

---