<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">[This information is being posted to multiple lists<br>- we apologise if you get it several times.<br>Please, pass the information to whom it may benefit.<br>Thank You for understanding and cooperation.<br>The organisers.]<br><br><br><span class="Apple-tab-span" style="white-space: pre; "> </span><span class="Apple-tab-span" style="white-space: pre; "> </span><span class="Apple-tab-span" style="white-space: pre; "> </span>SOFSEM 2013<br><br><span class="Apple-tab-span" style="white-space: pre; "> </span>39th International Conference on Current Trends<br><span class="Apple-tab-span" style="white-space: pre; "> </span> in Theory and Practice of Computer Science<br><span class="Apple-tab-span" style="white-space: pre; "> </span><span class="Apple-tab-span" style="white-space: pre; "> </span> January 26-31, 2013<br><span class="Apple-tab-span" style="white-space: pre; "> </span> VZ Bedrichov (Spindleruv Mlyn)<br><span class="Apple-tab-span" style="white-space: pre; "> </span><span class="Apple-tab-span" style="white-space: pre; "> </span> Czech Republic<br><br><br>Dear Sofsemists, dear Colleagues and Friends,<br><br>It is our great pleasure to invite you to submit a paper <br><br><span class="Apple-tab-span" style="white-space: pre; "> </span>(an abstract till JUNE 22, 2012)<br><br>for SOFSEM 2013 conference. Accepted regular papers will be included<br>in the main conference proceedings published by Springer Verlag in<br><br> the Lecture Notes in Computer Science - LNCS - Series.<br><br><br>SOFSEM 2013 consists of following four tracks:<br><br><br>* FOUNDATIONS OF COMPUTER SCIENCE<br> (chaired by Guiseppe F. Italiano)<br><br> algorithmic game theory,<br> algorithms and data structures, including sequential, parallel,<br> distributed, randomized, online and approximation algorithms,<br> automata theory, grammars, formal languages, rewriting,<br> computational biology,<br> complexity theory,<br> computational geometry,<br> computational learning theory,<br> discrete mathematics related to computer science,<br> quantum computing,<br> logics and semantics of programs,<br> theory of databases, semi-structured data, and finite model theory,<br> theory of programming languages.<br><br><br>* SOFTWARE and WEB ENGINEERING<br> (chaired by Jerzy Nawrocki)<br><br> Application Engineering:<br> engineering methodologies,<br> agile development,<br> modelling and model driven development,<br> requirements engineering,<br> architecture and design,<br> components and reuse,<br> program comprehension and visualization,<br> testing,<br> human–computer interaction,<br> tools and development environments,<br> software dependability, safety and reliability,<br> web service-based architectures and applications,<br> semantic web services,<br> web service composition.<br><br> Data Engineering:<br> data and information modelling,<br> data and information semantics,<br> data privacy and security,<br> semantics discovery and representation,<br> social web applications,<br> context aware applications,<br> web 2.0 technologies,<br> personalized software and web applications,<br> information extraction,<br> mobile data and Information,<br> future Internet applications.<br><br>* DATA, INFORMATION and KNOWLEDGE ENGINEERING<br> (chaired by Harald Sack)<br><br> databases and database architectures,<br> machine learning, knowledge discovery and data mining,<br> provenance and trust in data management and knowledge engineering,<br> data integration,<br> multimedia databases and multimedia retrieval,<br> information retrieval,<br> intelligent agents, multi-agent systems,<br> knowledge engineering and acquisition,<br> knowledge modeling and processing,<br> semantic web technologies,<br> ontology engineering and ontology dynamics,<br> linked data and open data,<br> information and knowledge visualization.<br><br>* SOCIAL COMPUTING and HUMAN FACTORS<br> (chaired by Frans C. A. Groen)<br><br> intelligent systems / robotics,<br> computer vision,<br> intelligent vehicles,<br> datamining and logic,<br> visualisation, graphics, virtual reality,<br> security, cryptography,<br> multimedia,<br> human factors,<br> computational science.<br><br>Moreover, for PhD students there will be the traditional `STUDENT<br>RESEARCH FORUM'. Student papers (with a checked Student Contribution at<br>the Submission System) not accepted for a regular track but of sufficient<br>high quality can be selected for in the Student Research Forum (to be<br>published in a local proceedings). Their authors will have a nice<br>opportunity to present their ideas in front of the main SOFSEM audience.<br><br>The detailed information about tracks, topics and Program Committee<br>Members is presented at<br><br> <a href="http://www.sofsem.cz/sofsem13/index.php?page=call">http://www.sofsem.cz/sofsem13/index.php?page=call</a><br><br>The submission system is available at:<br><br><a href="https://www.easychair.org/account/signin.cgi?conf=sofsem2013">https://www.easychair.org/account/signin.cgi?conf=sofsem2013</a><br><br><br>IMPORTANT DATES<br><br> Abstract deadline: <span class="Apple-tab-span" style="white-space: pre; "> </span><span class="Apple-tab-span" style="white-space: pre; "> </span> June 22, 2012<br> Full paper deadline: <span class="Apple-tab-span" style="white-space: pre; "> </span><span class="Apple-tab-span" style="white-space: pre; "> </span> June 29, 2012<br> Acceptance notification: <span class="Apple-tab-span" style="white-space: pre; "> </span> September 21, 2012<br> Camera-ready papers:<span class="Apple-tab-span" style="white-space: pre; "> </span><span class="Apple-tab-span" style="white-space: pre; "> </span> October 5, 2012<br> Conference: <span class="Apple-tab-span" style="white-space: pre; "> </span><span class="Apple-tab-span" style="white-space: pre; "> </span><span class="Apple-tab-span" style="white-space: pre; "> </span> January 26-31, 2013<br><br><br>LOCATION AND VENUE<br><br>Location, venue and leisure activities of SOFSEM 2013 are presented at:<br><a href="http://www.sofsem.cz/sofsem13/index.php?page=location">http://www.sofsem.cz/sofsem13/index.php?page=location</a><br><a href="http://www.sofsem.cz/sofsem13/index.php?page=leisure">http://www.sofsem.cz/sofsem13/index.php?page=leisure</a><br><br>We hope that you find the tracks for SOFSEM 2013 interesting, <br>and that you will join us and enjoy the traditional, inspiring SOFSEM <br>atmosphere.<br><br>Please do not hesitate to contact us in case you have any questions.<br><br>We are looking forward to see you in Spindleruv Mlyn at SOFSEM 2013,<br><br>Peter van Emde Boas (Program Committee Chair)<br>Martin Rimnac (Organising Committee Chair)</body></html>