SOFSEM 2017 will consist of three tracks covering major subareas of current computer science: the traditional track on Foundations of Computer Science and two tracks devoted to leading developments in areas – Software Engineering: Methods, Tools, Applications, and Data, Information and Knowledge Engineering. Original contributions are solicited, presenting new research results in the theory and practice of computer science in each subarea designated for SOFSEM 2017. Each track has its own program chair and program committee, for peer reviewing and feedback to authors. Please consider the appropriate track of SOFSEM 2017 and join the pleasant and stimulating atmosphere of SOFSEM.<br>SOFSEM 2017 tracks:<br>Foundations of Computer Science<br>Track Chair: Christel Baier (University of Dresden, Germany Germany).<br>Software Engineering: Methods, Tools, Applications<br>Track Chair: Mark van den Brand (University of Eindhoven, The Netherlands The Netherlands).<br>Data, Information and Knowledge Engineering<br>Track Chair: Johann Eder (University of Klagenfurt, Austria<br>Topics include, but are not limited to:<br>algorithms and data structures, including approximation, sequential, distributed, parallel, online, randomized, or graph algorithms,<br>automata and formal languages, including grammars and rewriting as well as weighted, timed and probabilistic automata,<br>complexity theory, including computational, descriptional, and parametrized,<br>computational game theory,<br>decidability and undecidability questions,<br>discrete mathematics related to computer science,<br>foundations of the quantitative analysis of timed, hybrid and stochastic systems<br>logic in computer science,<br>quantum and bio–inspired computing,<br>semantics of progammaning languages,<br>theory of concurrent and mobile processes<br>verification, model checking, theorem proving, static analysis.<br>
Abbrevation
SOFSEM
City
Limerick
Country
Ireland
Deadline Paper
Start Date
End Date
Abstract