Monday, February 20, 2017

[DMANET] DICE-FOPARA 2017: Deadline Extended


8th Workshop on Developments in Implicit Computational complExity and
5th Workshop on Foundational and Practical Aspects of Resource Analysis

Affiliated with ETAPS 2017
April 22 - 23, 2017, Uppsala, Sweden



The first joint international workshop on Developments in Implicit
Computational complExity and
FOundational and Practical Aspects of Resource Analysis (DICE-FOPARA)
will be held in Uppsala, Sweden, from April 22-23, 2017 as part of the
European Joint Conferences on Theory and Practice of Software 2017
(ETAPS 2017).

DICE-FOPARA serves as a forum for presenting results relevant to the
implicit computational complexity theory *and* to the analysis of
resource consumption by computer programs (e.g. time, space, energy).
The workshop brings together researchers that work on foundational
issues with researchers that focus more on practical results. For
further information, kindly see the workshop's website.


Elvira Albert (Complutense University of Madrid)
Kerstin I. Eder (University of Bristol)
Lars Kristiansen (University of Oslo)
Jan Reinecke (Universität Saarland)


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 must be prepared
using the LaTeX EPTCS class (see Accepted regular
papers will appear in an EPTCS volume. Papers should be submitted
electronically via the submission page:


Paper submission *March 5, 2017* (extended)
Notification March 19, 2017
Final versions due March 26, 2017
Workshop date April 22-23, 2017


Beniamino Accattoli (Paris)
Guillaume Bonfante (Nancy, co-chair)
Marko van Eekelen (Nijmegen)
Marco Gaboardi (Buffalo)
Dan Ghica (Birmingham)
Clemens Grelck (Amsterdam)
Charles Grellois (Bologna)
Nao Hirokawa (JAIST)
Jan Hoffmann (CMU)
Thomas Jensen (Rennes)
Björn Lisper (Mälardalen)
Hans-Wolfgang Loidl (Edinburgh)
Georg Moser (Innsbruck, co-chair)
Kazushige Terui (Kyoto)
Simon Wegener (Saarbrücken)
Florian Zuleger (Vienna)
* Contributions to be spread via DMANET are submitted to
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.