-------- Original-Nachricht -------- Betreff: SOFSEM 2015 - Second Call for Papers Datum: Mon, 30 Jun 2014 08:50:14 +0200 Von: sofsem2015@easychair.org An: gustaf.neumann@wu-wien.ac.at
[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
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:
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.