[TYPES/announce] FOPARA 2013 - Last Call for Papers

Ugo Dal Lago dallago at cs.unibo.it
Tue May 21 03:15:51 EDT 2013


Third International Workshop on

August 29th to 31st, 2013, Bertinoro, Italy
Co-located with WST 2013


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.


Gilles Barthe, IMDEA Software
Amir Ben-Amram, Tel-Aviv


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


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.


Registration will open soon. There will be a combo registration fee 
including accomodation, lunches and breakfast, conference fees, and 
transportation to/from Bologna. The fee will be around 400 Euros.


Getting to Bertinoro by public transportation is possible but relatively 
difficult. We are organizing a bus service for participants arriving on 
August 28. The bus will catch people at Bologna airport and Bologna bus 
station. The same service will be provided on August 31 afternoon for 
people leaving Bertinoro. 	


Roberto Amadio, Université Denis-Diderot
Ugo Dal Lago, Università di Bologna (co-chair)
Marko van Eekelen, Radboud University Nijmegen
Marco Gaboardi Università di Bologna & UPenn
Miguel Gomez-Zamalloa, Complutense University of Madrid
Steffen Jost, LMU, Munich
Hans-Wolfgang Loidl, Heriot-Watt University, Edinburgh
Georg Moser, University of Innsbruck
Damiano Mazza, CNRS & Université Paris Nord
Ricardo Pena, Complutense University of Madrid (co-chair)
Ulrich Schoepp, LMU, Munich
Pedro Vasconcelos, Universidade do Porto

More information about the Types-announce mailing list