Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

3 November 2009, FOPARA 2009: Foundational and Practical Aspects of Resource Analysis, Eindhoven, The Netherlands

Date: Tuesday 3 November 2009
Location: Eindhoven, The Netherlands
Deadline: 10 July 2009

The workshop serves as a forum for presenting original research results that are relevant to the analysis of resource (time, space) 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. Therefore, both theoretical and practical contributions are encouraged. The workshop is a satellite event of the 16th International Symposium on Formal Methods, FM2009.

For more information, see http://www.aha.cs.ru.nl/fopara/

The Programme Committee cordially invites all researchers to submit their papers for presentation. Abstract deadline: July 10, 2009.

Please note that this newsitem has been archived, and may contain outdated information or links.