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
Fun With Formal Methods 2014: Opening Remarks (abstract)
09:15
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
Chekofv: Crowd-sourced Formal Verification (abstract)
11:30
Using Esoteric Language for Teaching Formal Semantics (abstract)
12:00
Introducing Formal Verification with Lego (abstract)
12:30
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
Towards the Application of Formal Methods in Process Engineering (abstract)
15:00
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