Theoretical Computer Science

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

Introduction

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.

Submissions

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).

Proceedings

Accepted regular papers and selected extended abstracts are published electronically in an EPTCS proceedings, volume 248. Further accepted abstracts can be found in the program.

Invited Speakers

The following estemmed colleagues will present keynotes at the workshop. Further informations on the proposed talks can be found here.

Important Dates

Paper submission March 5, 2017 (extended)
Notification March 25, 2017
Final versions due April 7, 2017 (extended)
Workshop April 22 – 23, 2017

Overview

Saturday Sunday
09:00 – 10:00 Jan Reineke 09:00 – 10:00 Elvira Albert
10:30 – 12:30 Morning Session 10:30 – 12:30 Morning Session
Lunch
Lunch
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:00 Afternoon Session 16:00 – 16:30 Afternoon Session

See the schedule for more details. Keynote presentations will last 1h; technical contributions will last 30 minutes (including questions).

Organisation Committee

Guillaume Bonfante Université de Lorraine, France
Georg Moser Universität Innsbruck, Austria