posted by user: hossein_haeri || 1311 views || tracked by 3 users: [display]

FOPARA 2013 : 3RD INTERNATIONAL WORKSHOP ON FOUNDATIONAL AND PRACTICAL ASPECTS OF RESOURCE ANALYSIS

FacebookTwitterLinkedInGoogle


Conference Series : Foundational and Practical Aspects of Resource Analysis
 
Link: http://fopara2013.cs.unibo.it
 
When Aug 29, 2013 - Aug 31, 2013
Where Bertinoro, Italy
Submission Deadline Jun 3, 2013
Notification Due Jun 21, 2013
Final Version Due Jul 5, 2013
Categories    resource analysis
 

Call For Papers

3RD INTERNATIONAL WORKSHOP ON FOUNDATIONAL AND PRACTICAL ASPECTS OF
RESOURCE ANALYSIS (FOPARA 2013)
August 29th to 31st, 2013, Bertinoro, Italy
Co-located with WST 2013
http://fopara2013.cs.unibo.it
* SCOPE
The workshop will serve as a forum for presenting original research
results that are relevant to the analysis of resource (time, space,
and others) 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:
- resource static analysis for embedded or/and critical systems;
- logical and machine-independent characterisations of complexity classes;
- logics closely related to complexity classes;
- type systems for controlling/inferring/checking complexity;
- semantic methods to analyse resources, including quasi-interpretations;
- practical applications of resource analysis;
- complexity analysis by term and graph rewriting.
* SUBMISSIONS
FOPARA 2013 is a two-phase workshop. All participants are invited to submit
a draft paper describing the work to be presented at the workshop. These
submissions will be screened by the program committee chair to make sure
they are within the scope of FOPARA and will appear in the draft proceedings
distributed at the workshop. Submissions appearing in the draft proceedings
are not peer-reviewed publications. After the workshop, authors will be
given the opportunity to incorporate the feedback from discussions at the
workshop and will be invited to submit a revised full article for the formal
review process. These revised submissions will be reviewed by the program
committee using prevailing academic standards to select the best articles
that will appear in the formal proceedings. All contributions must be
written in English, conform to the Springer LNCS series format and not
exceed 16 pages. The papers selected after the reviewing process will be
published as a volume of the Springer LNCS series (Springer’s approval
is pending).
* IMPORTANT DATES
The following deadlines are strict.
- Draft Submission: June 3rd, 2013;
- Notification (Draft): June 21st, 2013;
- Final Version: July 5th, 2013;
- Paper Submission: September 30th, 2013;
- Notification (Paper): December 2nd, 2013;
- Camera Ready: December 23rd, 2013.

Related Resources

PAPP@SAC 2018   Practical Aspects of High-Level Parallel Programming, track of the 33st ACM/SIGAPP Symposium On Applied Computing
ISSTA 2018   International Symposium on Software Testing and Analysis
IEEE - ICBDA 2018   2018 IEEE 3rd International Conference on Big Data Analysis (ICBDA 2018)--IEEE Xplore and Ei Compendex
SPURS 2017   Sound and Practical Unanticipated Reuse of Software - Special Issue of Journal of Software: Evolution and Process
PADL 2017   Practical Aspects of Declarative Languages
ICIAR 2018   15th International Conference on Image Analysis and Recognition
3rd ICSSH 2018   3rd London International Conference on Social Science & Humanities (ICSSH)
PAAMS 2018   PAAMS 2018 - 16th International Conference on Practical Applications of Agents and Multi-Agent Systems
JEI IVADR 2018   Journal of Electronic Imaging Special Issue on Image and Video Analysis, Detection, and Recognition
SenseApp 2017   IEEE International Workshop on Practical Issues in Building Sensor Network Applications