-------- Original-Nachricht -------- Betreff: SOFSEM 2007 - First Call for Papers Datum: Thu, 08 Jun 2006 15:38:03 +0200 Von: rimnacm@cs.cas.cz An: gustaf.neumann@wu-wien.ac.at
Dear gustaf.neumann@wu-wien.ac.at,
allow us to inform You about the conference
: = S O F S E M 2 0 0 7 = : 33rd Conference on
Current Trends in Theory and Practice of Computer Science January 20 - 26, 2007, Hotel Sklar, Harrachov, Czech Republic
[ This information is being posted to multiple lists; we apologize if you get it multiple times. Please, pass the information to whom may benefit.
Thank You. The organizers.]
SOFSEM (originally SOFtware SEMinar) is the annual, international conference devoted to the theory and practice of computer science. Its aim is to foster cooperation among professionals from academia and industry working in all modern areas of computer science. The SOFSEM program consists of series of Invited Talks, given by prominent researchers and professionals, Contributed Talks selected by the Program Committee from submitted papers, Working Sessions discussing work-in-progress, and the Student Research Forum.
SOFSEM offers a unique opportunity to quickly obtain a representative and in-depth overview of the areas of computer science which were selected as the topics of this year. For an optimal atmosphere of close professional interaction, SOFSEM is organised in tracks with well-defined topics so as to attract all researchers and professionals that share specific fields of interest and a general interest for the advances in computer science.
SOFSEM provides an optimal framework for discussions, meetings, old and new contacts, and socialising. The schedule is tailored to provide for unique opportunities to interact with the other participants. SOFSEM is especially suited for young computer scientists.
For SOFSEM 2007 the following 4 tracks have been chosen:
* Foundations of Computer Science Track Chair: Guiseppe F. Italiano (Rome)
* Multi-agent Systems Track Chair: Wiebe van der Hoek (Liverpool)
* Emerging Web Technologies Track Chairs: Christoph Meinel (Potsdam) & Harald Sack (Jena)
* Dependable Software and Systems Track Chair: Frantisek Plasil (Prague)
Moreover, for students, there is the * Student Research Forum SRF Chair: Maria Bielikova (Bratislava)
Details on each track and the Forum can be found on the conference web site:
PC Chair for SOFSEM 2007: Jan van Leeuwen (Utrecht).
INVITED SPEAKERS ----------------
* Lubos Brim & Mojmir Kretinsky (Masaryk University, Czech Republic) * Manfred Broy (TU Munchen, Germany) * Tom Henzinger (EPFL Lausanne) * Nick Jennings (University of Southampton, UK) * Jerome Lang (IRIT, France) * Bertrand Meyer (ETH Zurich) * Heinz W. Schmidt (Monash University, Australia)
To be completed.
PROCEEDINGS ----------------
The proceedings of SOFSEM 2007 with all the invited and contributed papers are expected to be published in the series Lecture Notes in Computer Science (LNCS, Springer-Verlag), as in previous years. The proceedings will be distributed at the conference.
LOCATION ---------------
The conference will be held in Harrachov (Hotel Sklar), Czech Republic. Harrachov is one of the best known Czech winter sport resort located in Krkonose Mountains, about 130 km in the North of Prague. Its beautiful nature is ideal for many winter sport activities and relaxation. Thanks to Harrachov reputation a standard comfort and services are guaranteed.
We look forward to seeing you at SOFSEM 2007.
Jan van Leeuwen General Chair
================= DETAIL INFORMATION ========================
Foundations of Computer Science Track --------------------------------------------
At the heart of Computer Science Foundations lie many areas, including algorithms and data structures, computational complexity, cryptography, program semantics and verification, automata theory, and the study of randomness. Work in this field is distinguished by its emphasis on mathematical techniques and rigor but it is often of significant impact on practical applications and systems. Those subjects have traditionally received a lot of attention at the SOFSEM conference, since its birth in 1974. All contributions to the Foundations of Computer Science are solicited, and contributions that illustrate the value of fundamental research for fielded applications are especially welcome.
Suggested topics are listed on the conference web site.
==========================================================
Multi-agent Systems Track ------------------------------
In order to reason about systems of larger and larger complexity, it makes sense to take the `intentional view' and formally describe such systems in terms of their beliefs, desires, intentions, goals, preferences and decisions.
This has given rise to many theories and models of rational agents, both in Artificial Intelligence and in Computer Science. Agents not only manipulate a physical or digital environment, but they are also social beings: agents typically engage with other agents, be it human or artificial. Interactions between agents can be competitive or cooperative, but is usually a mix of the two. Moreover, agents can build a model of other agents to be utilised in a next meeting. In the current millennium there is an overwhelming amount of work on the borders between game or decision theory and that of multi-agent systems which analyses when, how, why and at which costs coalitions of agents will emerge (or should, by imposing social laws!), and how such coalitions interact with each other. The track is devoted to recent research on these themes.
Suggested topics are listed on the conference web site.
==========================================================
Emerging Web Technologies Track ---------------------------------------
The World Wide Web has revolutionized the way we conduct research, business, and entertainment. Web-based social networks are thriving, thanks to the new concepts, technologies and web infrastructures. Search engines prove to be great tools for exploring and accessing the heterogeneous information of billions of web pages and they continue to improve in quality. Multimedia search engines make multimedia data available to anyone, anywhere, any time and in any way. At the same time, it becomes more and more complex to distinguish accurate from inaccurate or untrustworthy information. With the new web services this has become an even greater problem as web services themselves require automated ways of trusting each other. The Semantic Web offers assistance, by annotating Web resources in a machine-readable form, enabling computers to search, process, integrate and present the content of the Web. We solicit novel research contributions on all emerging Web technologies.
Suggested topics are listed on the conference web site.
===========================================================
Dependable Software and Systems Track -----------------------------------------------
With the growing domain of application of software systems, the possible impact of a failure asks for strengthening the reliability of software systems. While formal specifications of desired properties, together with automated tools for verifying the properties, are expected to solve this problem, many issues in this field remain open, ranging from selecting the kind of properties that should be specified, to developing theories in which such properties are decidable and reasoning is computationally feasible. A particular issue is developing specification languages which would be reasonably easy to learn and use, and which would allow formal methods to become widely used. This track is focused on these topics crucial for developing dependable software systems.
Suggested topics are listed on the conference web site.
=============================================================
Student Research Forum ----------------------------
An integral part of the SOFSEM 2007 will be the Student Research Forum, organised with the aim to publish and discuss students projects in the field of theory and practice of Computer Science. The forum will offer students the opportunity to receive feedback on both the originality of their scientific work results and the work in progress. The papers will be reviewed and selected by SOFSEM 2007 Program Committee. Sufficient space for discussion and exchange of experience will be provided during the forum itself and will continue throughout the conference.
=============================================================
IMPORTANT DATES ---------------------
* Abstract Submission: August 7, 2006 * Paper Submission: August 14, 2006 * Conference: January 20 - 26, 2007
=============================================================
ORGANISERS ---------------
The conference is organised by the
* Institute of Computer Science, Prague, Czech Republic
in cooperation with
* Action M Agency, Prague, Czech Republic
The conference is supported by:
* Czech Society for Cybernetics and Informatics * Slovak Society for Computer Science