Department of Applied Informatics and Computational Physics
Faculty of Physics and Applied Computer Science
Established in 2008 is a merger and continuation of Departments of
Theoretical and Computational Physics
and
Applied Computer Science
Department
Faculty
University
Sitemap
Log in
Seminars & Events
2010
2009
2008
Department
Research activities
Staff
Complex Systems Group
Theory of Nanostructures and Nanodevices Group
Computer Support Group
Publications
Teaching
PhD and MSc theses
How to contact us
Seminars & Events
2010
2009
2008
Sociophysics seminar
2009
2008
2007
2010
2010/01/28 17:30, D-10/321
Seminarium Zespołu Układów Złożonych
Prof. Agostino Cortesi (Dipartimento di Informatica Universita Ca’ Foscari di Venezia, Italy)
Abstract Interpretation-based Verification of Non-functional Requirements