VSL 2014: VIENNA SUMMER OF LOGIC 2014
FWFM PROGRAM
Sunday, July 13th, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

09:00-10:15 Session 23H: Opening and Invited Talk
Location: FH, Seminarraum 134
09:00
Nikolay Shilov
Fun With Formal Methods 2014: Opening Remarks (abstract)
09:15
Nikolay Nepejvoda
Algebraic description of restricted programming and elements of its logics (abstract)
10:15-10:45Coffee Break
11:00-13:00 Session 28B: Technical session
Location: FH, Seminarraum 134
11:00
Heather Logas, Florent Kirchner, John Murray, Martin Schäf and Jim Whitehead
Chekofv: Crowd-sourced Formal Verification (abstract)
11:30
Nikolay Shilov
Using Esoteric Language for Teaching Formal Semantics (abstract)
12:00
David Lawrence, Dimitri Racordon, Maximilien Colange, Steve Hostettler, Alban Linard, Edmundo López Bóbeda, Alexis Marechal, Matteo Risoldi, Nicolas Sedlmajer and Didier Buchs
Introducing Formal Verification with Lego (abstract)
12:30
Tomer Kotek
Explaining the decompositionality of MSO using applications to combinatorics (abstract)
13:00-14:30Lunch Break
14:30-15:30 Session 31Q: Technical session
Location: FH, Seminarraum 134
14:30
Sidi Mohamed Beillahi, Umair Siddique and Sofiene Tahar
Towards the Application of Formal Methods in Process Engineering (abstract)
15:00
Pratima K. Shah
An Example Demonstrating the Requirement of Fully Formal Verification Method (abstract)
15:30-16:00 Session 33D: Panel Discussion
Location: FH, Seminarraum 134
16:00-16:30Coffee Break