43rd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2017)

Lero – Limerick, Ireland

January 16–20, 2017

Call for Papers :

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.

Topics of Interest :

Foundations of Computer Science

• Algorithms and data structures, including approximation, sequential, distributed, parallel, online, randomized, or graph algorithms,
• Automata and formal languages, including grammars and rewriting as well as weighted, timed and probabilistic automata,
• Complexity theory, including computational, descriptional, and parametrized,
• Computational game theory,
• Decidability and undecidability questions,
• Discrete mathematics related to computer science,
• Foundations of the quantitative analysis of timed, hybrid and stochastic systems
• Logic in computer science,
• Quantum and bio-inspired computing,
• Semantics of progammaning languages,
• Theory of concurrent and mobile processes
• Verification, model checking, theorem proving, static analysis.

Software Engineering: Methods, Tools, Applications

• Lean/agile development,
• User-centered development,
• (Situational) method engineering,
• Development/operations (DevOps),
• Architecture, components, services,
• (Dynamic) product lines,
• Model-based development,
• Model transformations,
• Model mining techniques,
• Model and meta-model co-evolution,
• Model-based testing,
• Model versioning,
• Legacy modernization/migration,
• Repository mining,
• Software engineering for
  • Process-centered information systems,
  • Intelligent technical systems (Internet of Things),
  • Mobile systems,
  • Web-based systems,
  • Game development,
• Software safety and reliability,
• Tools and development environments.

Data, Information and Knowledge Engineering

• Big Data storage, processing and analytics,
• Business process modeling, automation, and management
• Data and information modeling,
• Data and information semantics,
• Data integration, data cleaning,
• Data intensive applications,
• Data warehousing,
• Data mining, knowledge discovery and machine learning,
• Data privacy and security,
• Information retrieval,
• Intelligent agents, multi-agent systems,
• Knowledge modeling and processing,
• Knowledge acquisition and engineering,
• Linked data and open data,
• Mobile data and information,
• Multimedia, spatial, and temporal data and knowledge,
• Parallel and distributed data platforms
• 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 engineering.

IMPORTANT DATES

Early Registration Deadline: Monday, December 12, 2016

Late Registration Deadline: Monday, January 16, 2017

User Name : jerish
Posted 18-11-2016 on 09:43:59 AEDT

Related CFPs

IJCACS   International Journal of Control, Automation, Communication and Systems
AIBD 2026   7th International Conference on Artificial Intelligence and Big Data
SAIM 2026   7th International Conference on Soft Computing, Artificial Intelligence and Machine Learning (SAIM 2026)
SESBC 2026   7th International Conference on Software Engineering, Security and Blockchain