STWinterMeeting2014Session1

Formal Methods Session

Chair: Wolfgang

09:30	Moa Johansson	Theory Exploration
09:45	Evgenii Kotelnikov	Inductive Reasoning in Fist-Order Theories
10:00	Mauricio Chimento	Unified Static and Run-time Verification of object-oriented Software
10:15	Raúl Pardo Jiménez	Privacy in Social Networks