22-23 Apr 2017
Uppsala, Sweden
-------------------------------------------------------------------------------------------
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 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.
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 *March 5, 2017* (extended)
Notification March 19, 2017
Final versions due March 26, 2017
Workshop date April 22-23, 2017
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)
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam