[TYPES/announce] FOPARA+WST 2013 - Call for Participation

Ugo Dal Lago dallago at cs.unibo.it
Thu Jul 25 04:25:12 EDT 2013


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

Bertinoro, Italy
August 29-31 2013


Early registration deadline: August 8, 

The Workshop on Foundationa 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.

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

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

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

More information about the Types-announce mailing list