8th Workshop on Developments in Implicit Computational complExity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis
April 22 – 23, 2017, Uppsala, Sweden
The first joint international workshop on Developments in Implicit Computational complExity (DICE) and FOundational and Practical Aspects of Resource Analysis (FOPARA) will be held in Uppsala, Sweden, from April 22-23, 2017 as part of ETAPS.
The workshop serves as a forum for presenting original and established research results that are relevant to the implicit computational complexity theory and to the analysis of resource (e.g. time, space, energy) 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, as well as papers that combine theory and practice.
We ask for submission of *regular papers* describing original work (10-15 pages) or *extended abstracts* (2-6 pages) presenting already published work or work in progress. Regular papers should describe previously unpublished work and must be prepared using the LaTeX EPTCS class (see http://eptcs.org/). Papers should be submitted electronically via the easychair submission page.
Accepted regular papers will appear in an EPTCS volume. With respect of submissions of extended abstracts already published manuscripts are acceptable, but have to be within the scope of the workshop and potentially give rise to lively discussions during the meeting.
After the workshop we will edit a special issue of DICE-FOPARA 2017 in a renown journal in conjunction with the 7th Workshop on Developments in Implicit Computational complExity (DICE 2016).here.
|Paper submission||March 5, 2017 (extended)|
|Notification||March 25, 2017|
|Final versions due||March 31, 2017 (extended)|
|Workshop||April 22 – 23, 2017|
|09:00 – 10:00 Jan Reineke||09:00 – 10:00 Elvira Albert|
|10:30 – 12:00 Morning Session||10:30 – 12:00 Morning Session|
|14:00 – 15:00 Kerstin Eder||14:00 – 15:00 Lars Kristiansen||15:00 – 15:30 Afternoon Session||15:00 – 15:30 Afternoon Session|
|16:00 – 17:30 Afternoon Session||16:00 – 17:00 Afternoon Session|
Keynote presentations will last 1h; technical contributions will last 30 minutes (including questions).
|Guillaume Bonfante||Université de Lorraine, France|
|Georg Moser||Universität Innsbruck, Austria|