SofSeml2010 Invited Speakers
Foundations of Computer Science
- Parosh Aziz Abdulla (Uppsala, Sweden):
Forcing Monotonicity in Parameterized Verification: From Multisets to Words - Yishay Mansour (Tel Aviv, Israel):
Regret Minimization and Job Scheduling - Roger Wattenhofer (Zurich, Switzerland):
Clock Synchronization: Open Problems in Theory and Practice
Principles of Software Construction
- Arie van Deursen (Delft, The Netherlands):
Research Issues in the Automated Testing of Ajax Applications - Oscar Nierstrasz (Bern, Switzerland):
Lessons in Software Evolution Learned by Listening to Smalltalk - Andy Schürr (Darmstadt, Germany):
Model-Driven Software Product Line Testing: An Integrated Approach
Data, Knowledge, and Intelligent Systems
- Theo Härder (Kaiserslautern, Germany):
Essential Performance Drivers in Native XML DBMSs - Ondřej Kuželka and Filip Železný (Prague, Czech Republic):
Taming the Complexity of Inductive Logic Programming - Yannis Manolopoulos (Thessaloniki, Greece):
Continuous Processing of Preference Queries in Data Streams
Web Science
- Guus Schreiber (Amsterdam, The Netherlands):
Web Science: the Digital-Heritage Case - Dave Raggett (Sophia-Antipolis, France/UK):
The Web of Things: Extending the Web into the Real World