SOFSEM 2010 23 1 29 1 2010 pindlerv

SOFSEM 2010 23. 1 – 29. 1. 2010 Špindlerův Mlýn, ČR

Začína to dobre. . .

Invited Talks • Roger Wattenhofer: Theory Meets Practice, It’s about Time! • Filip Železný: Taming the Complexity of Inductive Logic Programming • Dave Ragget: The Web of Things: Extending the Web into the Real World • Yishay Mansour: Regret Minimization and Job Scheduling

Invited Talks (2) • Andy Schürr: Model-Driven Software Product Line Testing: An Integrated Approach • Theo Härder: Essential Performance Drivers in Native XML DBMSs • Arie van Deursen: Research Issues in the Automated Testing of Ajax Applications • and many more. . .

Social and Outdoor Activities • Indoor: 25 m indoor swimming pool, toboggan, wild river, surf, sauna, . . . • Outdoor: Sledging, Snowfox, Snowbike and others; Dinner at Myslyvna.

Regular Papers • Foundations of Computer Science • Principles of Software Construction • Data, Knowledge and Intelligent Systems & Web Science

Foundations of Computer Science • Fast Arc-Annotated Subsequence Matching in Linear Space • Efficient Algorithms for Two Extensions of LPF Table: The Power of Suffix Arrays • Deterministic Recognizability of Picture Languages by Wang Automata • Fast and Compact Prefix Codes • Efficient Testing of Equivalence of words in a Free Idempotent Semigroup

Foundations of Computer Science (2) • Dynamic Edit Distance Table under a General Weighted Cost Function • Approximate Structural Consistency • On the Complexity of Highway Pricing Problem • On a Labeled Vehicle Routing Problem • Parallel Randomized Load Balancing Algorithms: A Lower Bound for a More General Model

Data, Knowledge and Intelligent Systems & Web Science • An Ant Colony Optimization Algorithm for the Closest String Problem • Student Group Modeling By Integrating Cluster Representation and Assoc. Rule Mining • Flavors of KWQL, a Keyword Query Language for a Semantic Wiki … : http: //www. kiwi-project. eu/ • A Social Vision of Knowledge Representation and Reasoning • Homophily of Neighborhood in Graph Relational Classifier

Moti Medina

Student Papers • xxx yyy: ? ? ? • Elisa Papalardo: Ant Colony Optimization for Closest String Problem • Best Posters: – Omer Landry Nguena Timo: Disjunctive Normal Form for Event-Recording Logic – Martin Jačala: Identifying Entity Relationships in News Reports

SOFSEM 2010 • www. sofsem 2010. cz • http: //mariabielik. zenfolio. com/sofsem 2010