Email Gateway (Aug 19 2022 at 14:46): Email Gateway (Aug 19 2022 at 14:46):From: Carsten Fuhs <fuhs@informatik.rwth-aachen.de>
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
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!
Last updated: Nov 21 2024 at 12:39 UTC