Final Call for Papers Resource Aware Computing 2016 (RAC2016) @ ETAPS Eindhoven, April 2, 2016
FINAL CALL FOR PAPERS
First International workshop on Resource Aware Computing (RAC2016)
An ETAPS Event. Eindhoven, NL, April 2. ENTCS publication.
DEADLINE EASYCHAIR January 11, 2016.
http://resourceanalysis.cs.ru.nl/rac2016/
RAC2016 is supported by ICT COST Action IC1202 Timing Analysis on Code-Level (TACLe).
IMPORTANT DATES
- Paper submission (https://easychair.org/conferences/?conf=rac2015): January 11, 2016
- Notification: February 1, 2016
- Camera Ready: March 7, 2016
- Workshop (presentations): April 2, 2016
WORKSHOP OBJECTIVES AND SCOPE
The RAC workshop will serve as a forum for presenting original research results that are relevant to resource aware computing and 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. We also encourage papers that combine theory and practice. The following list of topics is non-exhaustive:
- techniques and experience with time aware computing, memory aware computing and energy aware computing;
- models for resource aware computing in general or for a specific resource in particular resource static analysis for embedded or/and critical systems; logics closely related to resource complexity classes;
- type systems for controlling/inferring/checking resource consumption;
- semantic methods to analyse resources, including quasi-interpretations;
- practical applications of resource analysis.
SUBMISSION AND PUBLICATION
The papers selected after the reviewing process will be published as a volume of the ENTCS series (request pending).
LOCATION-REGISTRATION-ACCOMMODATION
Registration, accommodation and Travel: Please follow the information at the ETAPS 2016 website http://www.etaps.org/.
INVITED SPEAKER: To be announced
RAC2016 PROGRAMME COMMITTEE
Marko van Eekelen (Radboud University and Open University, NL), PC chair
Kerstin Eder (University of Bristol, UK), PC Co-chair
- Elvira Albert (University Complutense Madrid, Spain)
- Clemens Grelck (University of Amsterdam, NL)
- Kevin Hammond (University of St. Andrews, UK)
- Martin Hofmann (LMU, Munich, Germany)
- Timo Honig (University of Erlangen-Nurnberg, Germany)
- Thomas Jensen (INRIA, Rennes, France)
- Steve Kerrison (University of Bristol, UK)
- Ugo Dal Lago (University of Bologna, Italy)
- Kim Larsen (Aalborg University, Denmark)
- Bjorn Lisper (Malardalen University, Sweden)
- Hans-Wolfgang Loidl (Heriot-Watt University, UK)
- Kenneth Mackenzie (Univeristy of Edinburgh, UK)
- Jean-Yves Marion (University of Lorraine, France)
- Greg Michaelson (Heriot-Watt University, Edinburgh, UK)
- Georg Moser (University of Innsbruck, Austria)
- Romain Pechoux (University of Lorraine, France)
- Ricardo Pena (University Complutense Madrid, Spain)
- Luca Roversi (University of Turin, Italy)
- Aleksy Schubert (Warsaw University, Poland)
- Simon Wegener (AbsInt Angewandte Informatik GmbH, Germany)