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)