The workshop took place on Tuesday 13th of May, 2014 in Singapore.
The workshop exact location is in the National University of Singapore, School of Computing, building COM1, room VC Room COM1-02-13.
See information about venue on the FM Web site.
The post-proceedings are available as volume 156 of EPTCS.
9h - 9h05
Welcome address (Shang-Wei Lin and Laure Petrucci) [slides
9h05 - 10h
Invited talk 1 (chair: Étienne André)
Knowledge for obtaining Distributed Implementations and proving them correct
10h - 10h30
Regular paper 1 (chair: Étienne André)
11h - 12h
Invited talk 2 (chair: Christine Choppy)
Are Timed Automata Bad for a Specification Language? Language Inclusion Checking for Timed Automata
12h - 12h30
Regular paper 2 (chair: Christine Choppy)
14h - 15h
Invited talk 3 (chair: Laure Petrucci)
A class of distributed Markov chains
15h - 15h30
Regular paper 3 (chair: Laure Petrucci)
16h - 17h
Invited talk 4 (chair: Shang-Wei Lin)
Semantic reasoning and verification for ambient assisted living
17h - 17h30
Regular paper 4 (chair: Shang-Wei Lin)