[Termtools] DICE-FOPARA 2017 - Second Call for Papers

Georg Moser georg.moser at uibk.ac.at
Thu Feb 9 11:14:03 CET 2017


-------------------------------------------------------------------------------------------

8th Workshop on Developments in Implicit Computational complExity and
5th Workshop on Foundational and Practical Aspects of Resource Analysis
(DICE-FOPARA 2017)

Affiliated with ETAPS 2017
April 22 - 23, 2017, Uppsala, Sweden
http://cbr.uibk.ac.at/events/dice-fopara

-------------------------------------------------------------------------------------------

OBJECTIVES

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

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 aims to bring together the researchers that work on 
foundational issues with the researchers that focus more on practical 
results.


INVITED SPEAKERS

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


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

      https://easychair.org/conferences/?conf=dicefopara2017


IMPORTANT DATES

Paper submission      February 19, 2017
Notification          March 19, 2017
Final versions due    March 26, 2017
Workshop date         April 22-23, 2017


CONFERENCE VENUE

The workshop will be held as a satellite workshop of European Joint 
Conferences on Theory and Practice of Software 2017 (ETAPS 2017) which 
takes place in Uppsala, Sweden.


PROGRAM COMMITTEE

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)


More information about the Termtools mailing list