**Date:
Monday, March 31 2008
**

**Speaker:
Johan Jeuring**

**Room and time:
5161.0267 (Bernoulliborg), 16.00**

**Title: Strategies for
Exercises**

**Abstract:
**

The feedback given by e-learning tools
that support incrementally solving

problems in mathematics, logic, physics,
etc. is limited, or laborious to

specify. In this talk I will introduce a
language for specifying strategies

for solving exercises. This language makes
it easier to automatically

calculate feedback when users make erroneous steps
in a calculation.

Although we need the power of a full programming language
to specify

strategies, we carefully distinguish between context-free
and

non-context-free sublanguages of our strategy language. This separation
is

the key to automatically calculating all kinds of desirable
feedback.

Colloquiumcoördinator
is Prof.dr. M. Aiello, Dr. M. Biehl (e-mail: M.Biehl@cs.rug.nl)

www.cs.rug.nl/~biehl/Coll