[TYPES/announce] QAPL 2013 - Call for short papers and participation

Herbert Wiklicky herbert at doc.ic.ac.uk
Fri Jan 11 14:57:18 EST 2013


[Apologies for multiple copies]

********************************************************************************

CALL FOR PAPERS & PARTICIPATION
Eleventh Workshop on Quantitative Aspects of Programming Languages (QAPL 
2013)
Affiliated with ETAPS 2013 March 23 - 24, 2013, Rome, Italy
http://qapl2013.units.it
qapl2013 at units.it

********************************************************************************

TOPICS:

Topics include (but are not limited to) probabilistic, timing and general
quantitative aspects in: Language design, Information systems, 
Asynchronous HW
analysis, Language extension, Multi-tasking systems, Automated reasoning,
Language expressiveness, Logic, Verification, Quantum languages, Semantics,
Testing, Time-critical systems, Performance analysis, Safety, Embedded 
systems,
Program analysis, Risk and hazard analysis, Coordination models, Protocol
analysis, Scheduling theory, Distributed systems, Model-checking, Security,
Biological systems, Cyber-physical systems, Concurrent systems, and
Resource analysis.

SHORT PAPERS:

Presentation reports concern recent or ongoing work on relevant topics and
ideas, for timely discussion and feedback at the workshop. There is no
restriction as for previous/future publication of the contents of a
presentation. Typically, a presentation is based on a paper which recently
appeared (or which is going to appear) in the proceedings of another
recognized conference, or which has not yet been submitted. The (extended)
abstract of presentation submissions should not exceed 4 pages.

All submissions must be in PDF format and use the EPTCS latex style, see
http://style.eptcs.org/. Submissions can be made on the following website:

        http://www.easychair.org/conferences/?conf=qapl13

Presentation reports will receive a light weight review to establish their
relevance for the workshop. The authors of accepted reports are expected
to present and discuss their work at the workshop.

DATES FOR SHORT PAPERS:

Submission: January 23, 2013
Notification: January 25, 2013

REGISTRATION:

The registration for QAPL'13 is via the ETAPS'13 web-page:

         http://www.etaps.org/2013

Early registration from 9 January 2013 to 30 January 2013.
Normal registration from 31 January 2013 to 8 March 2013.
On-site registration from 16 March 2013 to 24 March 2013.



More information about the Types-announce mailing list