[TYPES/announce] QEST 2017: Call for Student Papers

[Ezio Bartocci]

International Conference on Quantitative Evaluation of SysTems (QEST 2017)
Berlin, September 5-7 2017 | http://www.qest.org/qest2017 <http://www.qest.org/qest2017>
Co-located with CONCUR, EPEW and Formats


Call for Student Papers: 

To encourage students to present their work in progress, a special session named 
‘Student Forum’ is arranged along with the main conference. Students who are 
working towards a degree (Master’s/Doctoral) are invited to submit a short paper, 
in which the first author must be a student. In evaluating those papers preference 
will be given to submissions containing new and interesting work.  The focus will 
be on work in progress, not on maturity of projects. Topics of interest are the same 
as for the main conference, including (but not limited to) 

— Computer hardware and software architectures
— Communication systems, e.g., IoT
— Cyber-physical systems
— Infrastructural systems
— Biological systems, e.g., health
— Applications
— Smart energy systems over the Cloud 
— Formal methods and machine learning 

Important Dates

Paper submission:             30  June 2017
Notification date:                15  July  2017
Camera ready version:       31  July  2017

All accepted papers must be presented at the conference by one of the student authors. 
There will be no formal proceedings, but the papers will be collected and published in a 
FU technical report. Submissions must be prepared in LaTeX, following Springer's LNCS 
guidelines. Submitted papers should not exceed 5 pages. Papers should be submitted 
electronically using the EasyChair online submission system:

https://www.easychair.org/conferences/?conf=qest2017 <https://www.easychair.org/conferences/?conf=qest2017>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20170615/d8a88fd0/attachment.html>