Important Dates
- October 25, 2013
Deadline for Final Proceedings Versions - November 23, 2013
Deadline for Early Registration - November 26, 2013
Deadline for Payment of Early Registration Fee - January 25-30, 2014
Conference
Works in Progress
An integral part of SOMSEM 2014 is a satellite workshop for a presentation of Works in Progress, related to the scope of the conference. Abstracts of the presentations not exceeding one page must be submitted through EasyChair system before November 30th, 2013. The abstracts will be quickly referred by a reviewer nominated by the PC chair or track chairs. The result of the evaluation will be sent to the authors within 10 days after submission. The accepted works in progress will be presented during the poster session of SOFSEM 2014. The accepted abstracts will not be published in the conference proceedings.
Accepted Works
- Marcos Villagra
The Complexity of Constant-Space Quantum Interactive Proof Systems - Pavel Labath and Joachim Niehren
A Functional Language for Hyperstreaming XSLT - Peter Kostolányi and Branislav Rovan
Balanced Use of Resources in Computations - Marek Zeman and Branislav Rovan
Modeling Time Criticality of Information - Nikolaos Triantafyllou and Petros Stefaneas
Cafe2JML: On Integrating Behavioral Algebraic Specifications with Design by Contract