190 likes | 295 Vues
SOFSEM 2010, held in Špindlerův Mlýn, Czech Republic, featured a range of invited talks exploring the intersection of theory and practice in computer science. Keynote speakers included Roger Wattenhofer discussing the importance of timing, and Filip Železný on simplifying inductive logic programming. Other topics included the Web of Things by Dave Ragget and job scheduling strategies by Yishay Mansour. Regular papers addressed areas from software construction and algorithms to knowledge systems and innovative testing methods, fostering further discussion and exploration in the field.
E N D
SOFSEM 2010 23.1 – 29.1.2010 Špindlerův Mlýn, ČR
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: 25m 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
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.sofsem2010.cz • http://mariabielik.zenfolio.com/sofsem2010