FORMS: A Seminar on

Formal Methods and Semantics

Forms is a research seminar at the Department of Computer Science, University "Ca' Foscari" of Venice.
The seminar serves as forum for members of the department, guests and visiting scientists to present their research.

Topics include, but are not limited to:

concurrency
logic programming
object oriented languages
security
static analysis (types, abstract interpratation)