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