[isabelle] WST 2014: Call for Participation



----------------------------------------------------------------------
                        CALL FOR PARTICIPATION

           14th International Workshop on Termination (WST)

         Affiliated with CAV, IJCAR and RTA-TLCA at FLoC 2014
                  17 - 18 July 2014, Vienna, Austria

                        http://vsl2014.at/wst/
----------------------------------------------------------------------

OBJECTIVES

The Workshop on Termination traditionally brings together, in an
informal setting, researchers interested in all aspects of
termination, whether this interest be practical or theoretical,
primary or derived. The workshop also provides a ground for
cross-fertilisation of ideas from term rewriting and from the
different programming language communities. The friendly atmosphere
enables fruitful exchanges leading to joint research and subsequent
publications.


INVITED TALK

The keynote will be given by Jasmin Fisher, Microsoft Research &
Department of Biochemistry, University of Cambridge, United Kingdom,
on Termination of Biological Programs.

http://research.microsoft.com/~jfisher/


PROGRAMME

http://www.easychair.org/smart-program/VSL2014/WST-program.html


REGISTRATION

http://vsl2014.at/registration

(early registration deadline: 8 June 2014)

We look forward to seeing you in Vienna!




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.