[SMT-LIB] Call for Participation FOPARA/WST

Carsten Fuhs fuhs at informatik.rwth-aachen.de
Sun Jul 28 17:19:19 EDT 2013


CALL FOR PARTICIPATION

3rd International Workshop on Foundational and Practical Aspects of
Resource Analysis (FOPARA)
13th International Workshop on Termination (WST)

Bertinoro, Italy
August 29-31 2013

http://fopara2013.cs.unibo.it/
http://www.imn.htwk-leipzig.de/WST2013/

Early registration deadline: August 8
***********************************************************************

The Workshop on Foundational and Practical Aspects of Resource Analysis
serves as a forum for presenting original research results that are
relevant to the analysis of resource (time, space, and others)
consumption by computer programs. The workshop aims to bring together
the researchers that work on foundational issues with the researchers
that focus more on practical results.

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.

This year, the two workshop above will be co-located, and the sessions
of WST and FOPARA will be interleaved, this way facilitating the
interaction between the two communities.

REGISTRATION
See http://www.ceub.it/default.asp?id_c=161&id=436#.UeaOwb5H4dU

INVITED SPEAKERS
Gilles Barthe, IMDEA Software
Amir Ben-Amram, Tel-Aviv
Byron Cook, UCL and Microsoft Research

ACCEPTED PAPERS
FOPARA: http://fopara2013.cs.unibo.it/abstracts.shtml
WST: http://www.imn.htwk-leipzig.de/WST2013/


More information about the SMT-LIB mailing list