42th International Conference on Current Trends in Theory and Practice of Computer Science
(SOFSEM 2016)
Jan 23-28,2016
Harrachov, Czech Republic
Call For Papers
SOFSEM (SOFtware SEMinar) is an annual international winter conference devoted to the theory and practice of computer science.
SOFSEM aims at presenting the latest results and developments in research in academia and industry, in leading areas of computer science.
Topics
FOUNDATIONS OF COMPUTER SCIENCE
chaired by Rusins Freivalds (University of Latvia, Latvia)
* algorithms and data structures, including approximation, sequential,
distributed, parallel, online, randomized, or graph algorithms,
* automata and formal languages, including grammars and rewriting,
* complexity theory, including computational, descriptional, and parametrized,
* computational game theory,
* decidability and undecidability questions,
* discrete mathematics related to computer science,
* logic in computer science,
* quantum computing, algorithms, and complexity
SOFTWARE ENGINEERING: Methods, Tools, Applications
chaired by Gregor Engels (University of Paderborn, Germany)
* lean/agile development,
* user-centered development,
* (situational) method engineering,
* development/operations (DevOps),
* business/IT-alignment,
* architecture, components, services,
* (dynamic) product lines,
* model-based development,
* model transformations,
* model mining techniques,
* model-based testing,
* software modernization/migration,
* software engineering for
- process-centered information systems,
- intelligent technical systems,
- mobile systems,
- web-based systems,
- game development,
* software safety and reliability,
* tools and development environments.
DATA, INFORMATION and KNOWLEDGE ENGINEERING
chaired by Barbara Catania (University of Genova, Italy)
* Big Data storage, processing and analytics,
* data and information modeling,
* data and information semantics,
* data integration,
* data intensive applications,
* data warehousing, data mining, knowledge discovery and machine learning,
* data privacy and security,
* databases scalability
* information extraction,
* information retrieval,
* intelligent agents, multi-agent systems,
* knowledge modeling and processing,
* knowledge acquisition and engineering,
* linked data and open data,
* linked data consumption, visualization and exploration,
* mobile data and information,
* multimedia, spatial, and temporal data and knowledge,
* parallel databases,
* probabilistic databases, uncertainty and approximate querying,
* query and natural language processing,
* provenance and trust in data management and knowledge engineering,
* stream data management,
* web and semantic web data and knowledge.
IMPORTANT DATES
Paper submission: Jul 27, 2015
Notification of acceptance:Sep 24, 2015
Final manuscripts due: Sep 29, 2015
Conference dates:Jan 23-28,2016