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