Associated Events at the ISoLA Week:
- "International School on Tool-based Rigorous Engineering of Software Systems -STRESS 2014"
- Challenge on Rigorous Examination of Reactive Systems
- Doctoral Symposium with Poster Session and Postconference Proceedings in Springer's CCIS
- Tutorial: Automata Learning in Practice
- Industrial Day
Tracks
- Statistical Model Checking, Past Present and Future
- Formal Methods and Analysis in Software Product Line Engineering
- Risk-Based Testing
- Scientific Workflows
- Medical Cyber Physical Systems
- Evaluation and Reproducibility of Program Analysis
- Automata Learning
- Rigorous Engineering of Autonomic Ensembles
- Engineering Virtualized Services
- Security and Dependability for Resource Constrained Embedded Systems
- Semantic heterogeneity in the formal development of complex systems
- Evolving Critical Systems
- Model-based Code-Generators and Compilers
- Processes and data integration in the networked healthcare
Symposium Chair
Bernhard Steffen
(TU Dortmund, D)
steffen[at]cs.uni-dortmund.de
Program Chair
Tiziana Margaria
(Univ. Potsdam, D)
margaria[at]cs.uni-potsdam.de
Associated Events
ISoLA 2014 - Doctoral Symposium
This year's ISoLA will host a Doctoral Symposium as a scientific and networking went specifically for young academics. PhD students are invited to participate and present their research ideas and projects, discuss them with the scientific community, and establish collaborations in their field of research.
The Doctoral Symposium will be held as a poster session, where all participants get the opportunity to give a 10-minute flash presentation of their work. Generous coffee breaks will offer plenty of time for elaborate discussions of the posters.
Submission:
To participate in the Doctoral Symposium, you have to submit a research abstract via the ISoLA submission system. The abstract has to be structured and formatted according to this template and must not exceed two pages.
Publication:
Abstracts that are submitted until May 15th and accepted will be included in the conference proceedings. Later submissions may also be accepted, but can not be included in the proceedings any more. In any case, Doctoral Symposium participants will be invited to contribute to the post-conference proceedings published in Springer's CCIS series.
Contact:
Anna-Lena Lamprecht (lamprecht[at]cs.uni-potsdam.de), Doctoral Symposium Chair