Perspectives Workshop: Formal Methods - Just a Euro-Science?
- Prelegent(ci)
- Andrzej Tarlecki
- Afiliacja
- Uniwersytet Warszawski
- Termin
- 13 grudnia 2010 10:15
- Pokój
- p. 5850
- Seminarium
- Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji
Opowiesci o spotkaniu w Schloss Daghstul, 1-3.12.2010.
Przypominamy, że do końca grudnia seminarium odbywa się w ZMIENIONEJ SALI: 5850