-------- Original-Nachricht --------
[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. ]
SOFSEM 2015 :=
41th International Conference on Current Trends
in Theory and Practice of Computer Science
January 24-29, 2015
Hotel Horizont - Pec pod Snezkou
Czech Republic
http://www.sofsem.cz
Dear Sofsemists, dear Colleagues and Friends,
It is our great pleasure to announce the first SOFSEM 2015 invited speakers:
- Jiri Barnat (Masaryk University in Brno, Czech Republic)
- Barbara Catania (Univerisity of Genoa, Rome, Italy)
- Brian Fitzgerald (University of Limerick, Ireland)
- Magnus M. Halldorsson (Reykjavik University, Iceland)
- Rainer Manthey (University of Bonn, Germany)
- Jared Saia (University of New Mexico, USA)
At the same time, we are proud to announce Springer has confirmed the publishing
of the SOFSEM 2015 main proceedings (containing invited and accepted contributed
papers) in
Springer LNCS series.
The conference submission system is open.
SOFSEM Tracks
SOFSEM 2015 will consist of four tracks, which include the following topics:
* FOUNDATIONS OF COMPUTER SCIENCE
chaired by Roger Wattenhofer (ETH Zurich, Switzerland)
- algorithms and data structures, including approximation, sequential, distributed,
parallel, online, randomized, or graph algorithms,
- automata and formal languages, including grammars and rewriting,
- complexity theory, including computational, descriptional, and parametrized,
- computational game theory,
- decidability and undecidability questions,
- discrete mathematics related to computer science,
- logic in computer science,
- quantum computing, algorithms, and complexity.
* SOFTWARE and WEB ENGINEERING
chaired by Tiziana Margaria-Steffen (University of Potsdam, Germany)
- agile development,
- architecture and design,
- components and reuse,
- context aware applications,
- modelling and model driven development,
- model and program comprehension and visualization,
- personalized software and web applications,
- requirements engineering,
- semantic web services and technologies,
- service engineering,
- software dependability, safety and reliability,
- testing,
- tools and development environments.
* CRYPTOGRAPHY, SECURITY, and VERIFICATION
chaired by Jean-Jacques Quisquater (Catholic University of Louvain, Belgium)
- cloud computing security,
- cryptographic protocols and primitives,
- data centric security and content protection,
- formal methods in software security and reliability,
- privacy and anonymity,
- program analysis, testing and runtime analysis,
- software security and secure software engineering,
- software verification and model checking,
- system security,
- trust management,
- trusted hardware and virtualization,
- trusted and trustworthy computing.
* DATA, INFORMATION and KNOWLEDGE ENGINEERING
chaired by Jaroslav Pokorny (Charles University in Prague, Czech Republic)
- Big Data storage, processing and analytics,
- data and information modeling,
- data and information semantics,
- data integration,
- data mining, knowledge discovery and machine learning,
- data privacy and security,
- databases scalability
- information extraction,
- information retrieval,
- intelligent agents, multi-agent systems,
- knowledge modeling and processing,
- knowledge acquisition and engineering,
- linked data and open data,
- linked data consumption, visualisation and exploration,
- mobile data and information,
- multimedia databases and multimedia retrieval,
- parallel databases
- provenance and trust in data management and knowledge engineering.
Student Research Forum
Moreover, the traditional `STUDENT RESEARCH FORUM' will be open for PhD students
offering them opportunity to publish and discuss their projects in the field of theory
and practice of Computer Science. The papers not accepted to the regular tracks can be
selected to the Student Research Forum by the Program Committee.
Important dates:
Abstract deadline: August 1, 2014 (32 days remaining)
Full paper deadline: August 15, 2014
Acceptance notification: September 22, 2014
Conference: January 24-29, 2015
Other Information:
The detail information about the conference is available at the traditional web-address:
http://www.sofsem.cz/
We hope that you find the tracks for SOFSEM 2015 interesting,
and that you will join us and enjoy the traditional, inspiring SOFSEM
atmosphere.
Please do not hesitate to contact us in case you have any questions.
We are looking forward to see you in Pec pod Snezkou at SOFSEM 2015,
Giuseppe F. Italiano (Program Committee Chair)
Martin Rimnac (Organising Committee Chair)
---------
The mail has been sent to gustaf.neumann@wu-wien.ac.at.