VSL 2014: VIENNA SUMMER OF LOGIC 2014

FWFM ON SUNDAY, JULY 13TH: TALK VIEW

View: with abstractssession overviewside by side with other conferences

9:00
9:30
10:00
10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
15:30
16:00
16:30
09:00-09:15
Fun With Formal Methods 2014: Opening Remarks
Nikolay Shilov
09:15-10:15
Algebraic description of restricted programming and elements of its logics
Nikolay Nepejvoda
11:00-11:30
Chekofv: Crowd-sourced Formal Verification
Heather Logas, Florent Kirchner, John Murray, Martin Schäf, Jim Whitehead
11:30-12:00
Using Esoteric Language for Teaching Formal Semantics
Nikolay Shilov
12:00-12:30
Introducing Formal Verification with Lego
Lawrence et.al
12:30-13:00
Explaining the decompositionality of MSO using applications to combinatorics
Tomer Kotek
14:30-15:00
Towards the Application of Formal Methods in Process Engineering
Sidi Mohamed Beillahi, Umair Siddique, Sofiene Tahar
15:00-15:30
An Example Demonstrating the Requirement of Fully Formal Verification Method
Pratima K. Shah
15:30-16:00 Panel Discussion
10:15-10:45 Coffee Break
13:00-14:30 Lunch Break
16:00-16:30 Coffee Break
Disclaimer | Powered by EasyChair Smart Program