With the second edition of this workshop we want to
continue our efforts to facilitate cross-community interaction.
This time our interest lies in the relation and comparison of methods
developed for the analyses of imperative and declarative programming
languages. We believe that a dedicated workshop provides the best
mechanism for fostering such interaction.
Detailed information on 2FC'14 can be found on the 2FC'14 website
The format of the workshop allows either 1 hour tutorial talks or 30 min technical presentations. Only invited presentations are possible. Due to the multitude of exciting workshops @ VSL and the resulting time constraints, we restrict to a half-day workshop on Saturday afternoon.
Early registration deadline: June 8, 2014; please register for the workshop via the VSL site. The registration rules for VSL apply. Registration deadline: June 30, 2014. On-Site Registration is also possible.