Formal Methods Seminar

Time: Wednesday 16:00 - 17:00
Location: Alon building (#37), room 201
Organizers: Liron Cohen, Dana Fisman, Gera Weiss

The Formal Methods Seminar takes place weekly and discusses various topics including logic, automata theory, verification, synthesis, programming languages, automated reasoning, and program analysis. The goal is to encourage interactions and discussions between students and researchers with interests in these areas. The seminar is open to everybody interested in formal methods.

Talks will be posted here and advertised on the formal_methods mailing list.
To join, send an empty message to

Interested in giving a talk? Feel free to contact us {cliron,dana,geraw}