This volume contains the refereed and revised papers of the Fourth