[This information is being posted to multiple lists
- we apologise if you get it several times.
Please, pass the information to whom it may benefit.
Thank You for understanding and cooperation.
39th International Conference on Current Trends
in Theory and Practice of Computer Science
January 26-31, 2013
VZ Bedrichov (Spindleruv Mlyn)
Dear Sofsemists, dear Colleagues and Friends,
It is our great pleasure to invite you to submit a paper
(an abstract till JUNE 22, 2012)
for SOFSEM 2013 conference. Accepted regular papers will be included
in the main conference proceedings published by Springer Verlag in
the Lecture Notes in Computer Science - LNCS - Series.
SOFSEM 2013 consists of following four tracks:
* FOUNDATIONS OF COMPUTER SCIENCE
(chaired by Guiseppe F. Italiano)
algorithmic game theory,
algorithms and data structures, including sequential, parallel,
distributed, randomized, online and approximation algorithms,
automata theory, grammars, formal languages, rewriting,
computational learning theory,
discrete mathematics related to computer science,
logics and semantics of programs,
theory of databases, semi-structured data, and finite model theory,
theory of programming languages.
* SOFTWARE and WEB ENGINEERING
(chaired by Jerzy Nawrocki)
modelling and model driven development,
architecture and design,
components and reuse,
program comprehension and visualization,
tools and development environments,
software dependability, safety and reliability,
web service-based architectures and applications,
semantic web services,
web service composition.
data and information modelling,
data and information semantics,
data privacy and security,
semantics discovery and representation,
social web applications,
context aware applications,
web 2.0 technologies,
personalized software and web applications,
mobile data and Information,
future Internet applications.
* DATA, INFORMATION and KNOWLEDGE ENGINEERING
(chaired by Harald Sack)
databases and database architectures,
machine learning, knowledge discovery and data mining,
provenance and trust in data management and knowledge engineering,
multimedia databases and multimedia retrieval,
intelligent agents, multi-agent systems,
knowledge engineering and acquisition,
knowledge modeling and processing,
semantic web technologies,
ontology engineering and ontology dynamics,
linked data and open data,
information and knowledge visualization.
* SOCIAL COMPUTING and HUMAN FACTORS
(chaired by Frans C. A. Groen)
intelligent systems / robotics,
datamining and logic,
visualisation, graphics, virtual reality,
Moreover, for PhD students there will be the traditional `STUDENT
RESEARCH FORUM'. Student papers (with a checked Student Contribution at
the Submission System) not accepted for a regular track but of sufficient
high quality can be selected for in the Student Research Forum (to be
published in a local proceedings). Their authors will have a nice
opportunity to present their ideas in front of the main SOFSEM audience.
The detailed information about tracks, topics and Program Committee
Members is presented at
The submission system is available at:
Abstract deadline: June 22, 2012
Full paper deadline: June 29, 2012
Acceptance notification: September 21, 2012
Camera-ready papers: October 5, 2012
Conference: January 26-31, 2013
LOCATION AND VENUE
Location, venue and leisure activities of SOFSEM 2013 are presented at:
We hope that you find the tracks for SOFSEM 2013 interesting,
and that you will join us and enjoy the traditional, inspiring SOFSEM
Please do not hesitate to contact us in case you have any questions.
We are looking forward to see you in Spindleruv Mlyn at SOFSEM 2013,
Peter van Emde Boas (Program Committee Chair)
Martin Rimnac (Organising Committee Chair)
The mail has been sent to email@example.com.