-------- Forwarded Message -------- Subject: SOFSEM2019 - Call for Papers Date: Wed, 23 May 2018 16:52:51 +0200 From: sofsem@sofsem.cz To: gustaf.neumann@wu-wien.ac.at
CALL FOR PAPERS
SOFSEM 2019 45th Annual Conference on Current Trends in Theory and Practice of Informatics
January 27 -- 30, 2019 Novy Smokovec, Slovakia http://www.sofsem.sk
******************************************************************************
SOFSEM (SOFtware SEMinar) is an annual international winter conference devoted to the theory and practice of computer science. SOFSEM presents the latest results and developments in academic and industrial research in leading areas of computer science. The first SOFSEM was organized in 1974. Proceedings of SOFSEM are published in the ARCoSS subseries of the LNCS by Springer.
SOFSEM consists of Invited Talks by prominent researchers, Contributed Talks selected from the submitted papers, and the Student Research Forum. The program is organized in plenary talks and parallel tracks devoted to original research in the selected research areas. SOFSEM has a long-standing tradition of facilitating discussions and collegial interactions. SOFSEM is well-known for its familiar and inspiring atmosphere and as a meeting place for active and leading computer scientists. SOFSEM 2019 consists of three tracks covering major sub-areas of computer science. Original contributions are welcome, presenting new research results in the theory and practice of computer science in each sub-area of SOFSEM 2019. The tracks are
* Foundations of Theoretical Computer Science chair: Giovanni Pighizzini (University of Milano)
* Foundations of Data Science and Engineering chair: Barbara Catania (University of Genoa)
* Foundations of Software Engineering chair: Jerzy Nawrocki (Poznań University of Technology)
general chair: Rastislav Královič (Comenius University)
An integral part of SOFSEM 2019 is the Student Research Forum, organized with the aim to publish and discuss student research projects in the field of theory and practice of Computer Science. The forum offers students a unique opportunity to receive feedback on both the originality of their results and the work in progress. The papers will be reviewed and selected by the SOFSEM 2019 Program Committee as regular papers, so those accepted for the LNCS proceedings will be presented in regular sessions with possibility to have additional presentation in poster session of the Student Research Forum. Papers accepted for the local SRF proceedings will be provided with considerable space for presentation in the half day Student Research Forum session.
The chair of Student research forum is Roman Špánek (Technical University of Liberec)
Important dates: ----------------
Deadline for abstracts: August 3, 2018 Deadline for papers: August 8, 2018 Acceptance notification: October 15, 2018 Camera-ready version: November 5, 2018 Conference: January 27-30, 2019
=================================================================================== Detailed description of the tracks
Foundations of Theoretical Computer Science -------------------------------------------
The track is devoted to the recognized core areas of foundational computer science including the theories and application of algorithms and their complexity, automata and languages, computability, data analytics, formal models, intelligent systems, programming semantics, science-inspired computing and foundations of information and software systems. Original contributions showing the value of fundamental research in areas like artificial intelligence and data science are welcome as well. Topics include (but are not limited to):
* algorithms (including game-theoretic, geometric, network, graph, parametrized, exact, approximation, randomized, evolutionary, and online algortihms) * automata, languages, and rewriting systems * bio-inspired computing * combinatorial optimization and simulation * complexity theory (incl. computational, descriptional, fine-grained, and parametrized complexity) * computability and decidability * cryptographic algorithms and security * data structures * experimental algorithmics * formal models of systems (incl. concurrent, hybrid, reactive, mobile, timed, and stochastic processes and systems) * foundations of agent systems and artificial intelligence * graphs and networks * machine learning * non-classical models of computing (incl. computing by nature, cellular automata, neural computing, cognitive computing, nano-computing, self-assembly) * parallel and distributed computing * physics of computation * quantum computation and quantum information * theory of databases, semi-structured data, and finite model theory * theory of programming languages
Foundations of Data Science and Engineering -------------------------------------------
The track is devoted to all aspects of eliciting, acquiring, modeling, storing, managing, processing, and analyzing data, with a special reference to large-scale datasets. Contributions concerning the nature of data, the techniques used for data management and analysis, the theory for extracting information from data, and the principles for data intensive computing are welcome. Topics include (but are not limited to):
* Data and Information Quality * Data Integration, Interoperability, and Metadata Management * Data Models and Query Languages * Query Processing, Indexing, and Optimization * Transaction Management * Distributed, Parallel, and P2P Data Processing and Management * High Performance Processing * Data Semantics and Linked Data * Spatial, Temporal, Mobile, and Multimedia Data * Web Data and Social Networks * Graph-based Data * Probabilistic and Uncertain Data * Data Streams and Sensor Networks * Data Warehousing * Information Extraction and Retrieval * Data Mining and Knowledge Discovery * Machine Learning, Deep Learning * Recommender Systems * Data Visualization and Interactive Data Exploration * Fairness, Diversity, Neutrality, and Trasparency in Data Science * Data Privacy, Security, and Trust * Benchmarking and Performance Evaluation * Data Applications and Experiences
Foundations of Software Engineering -----------------------------------
The track presents and discusses the research of novel and innovative methods and technologies to software engineering, including both software product and development process aspects. Methods and tools that support the improvement of software processes and products aim at significantly increasing both the quality of software-intensive systems and the productivity of software development. The track will bring together researchers and practitioners to share innovations and experiences. Topics include (but are not limited to):
* Methods and tools for better software processes - Process modeling, composition, and enactment/simulation - Agile/lean development - User-centered development - Method engineering - Quality assurance, inspections, testing * Software architecture of complex software-intensive systems - Architecture, components, services - Software reuse, product lines, and software ecosystems * Model-based software engineering methods and tools (icluding model-based development and testing, model transformations and versioning, model and meta-model co-evolution) * Data-driven improvement of methods, models, and tools - Quantitative models for development processes and products - Continuous delivery/integration and DevOps, software process and product evolution with feedback from operation - Legacy modernization/migration - Model mining techniques - Repository mining - Empirical studies and experimental approaches * Methods and tools for software engineering applications (including Process-centered information systems, Web-based systems, Mobile systems, Game development, Intelligent technical systems, Internet of Things)
In particular, we encourage submissions demonstrating the benefits or limitations of SE approaches through case studies, experiments, and quantitative data.
For more information visit the SOFSEM 2019 web page http://www.sofsem.sk
--------- The mail has been sent to gustaf.neumann@wu-wien.ac.at.