SOFSEM 06 Track Detail
Foundations of Computer Science
Wireless, Mobile, Ad Hoc and Sensor Networks
XML Data Management
Semantic Web Technologies
Student Research Forum
Foundations of Computer Science
Track Chair & PC Co-Chair:Gerard Tel, University of Utrecht, Netherlands
Invited Talks
- S. Barry Cooper (UK):
How Can Nature Help Us Compute? - Burkhard Monien (Germany):
Selfish Routing in Networks - Istvan Nemeti & Hajnal Andreka (Hungaria):
New physics and hypercomputation - Andre Schiper (Switzerland):
Group Communication: from practice to theory
Recognized core areas of Computer Science Foundations are the study of Algorithms and Complexity, and of Languages and Semantics. Both subjects have traditionally received a lot of attention at SOFSEM conferences, since the birth of SOFSEM in 1974. Through all these years, theoretical studies have had their impact on implemented systems. For example, planarity testing is now used in network drawing tools, and semantics is applied in automated program verification packages.