Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] WST 2014: Call for Participation


view this post on Zulip 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

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!


Last updated: Mar 29 2024 at 08:18 UTC