VSL 2014: VIENNA SUMMER OF LOGIC 2014
2FC Home Page

Overview

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

Format

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.

Important Dates

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.

Organisation

Program Committee