Monday, June 18, 2012

SOFSEM 2013 - Last Call for Papers (June 22 - Abstract Submission Deadline)

[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.
The organisers.]


39th International Conference on Current Trends
in Theory and Practice of Computer Science
January 26-31, 2013
VZ Bedrichov (Spindleruv Mlyn)
Czech Republic

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:

(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 biology,
complexity theory,
computational geometry,
computational learning theory,
discrete mathematics related to computer science,
quantum computing,
logics and semantics of programs,
theory of databases, semi-structured data, and finite model theory,
theory of programming languages.

(chaired by Jerzy Nawrocki)

Application Engineering:
engineering methodologies,
agile development,
modelling and model driven development,
requirements engineering,
architecture and design,
components and reuse,
program comprehension and visualization,
human–computer interaction,
tools and development environments,
software dependability, safety and reliability,
web service-based architectures and applications,
semantic web services,
web service composition.

Data Engineering:
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,
information extraction,
mobile data and Information,
future Internet applications.

(chaired by Harald Sack)

databases and database architectures,
machine learning, knowledge discovery and data mining,
provenance and trust in data management and knowledge engineering,
data integration,
multimedia databases and multimedia retrieval,
information 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.

(chaired by Frans C. A. Groen)

intelligent systems / robotics,
computer vision,
intelligent vehicles,
datamining and logic,
visualisation, graphics, virtual reality,
security, cryptography,
human factors,
computational science.

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, 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