<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Frameset//EN"
"http://www.w3.org/TR/html4/frameset.dtd">
<html>
<head>
<meta content="text/html; charset=ISO-8859-1" http-equiv="content-type">
<title>Nominal Methods Group</title>
<link rel="stylesheet" href="nominal.css">
</head>
<body>
<META
HTTP-EQUIV="Refresh"
CONTENT="2; URL=http://nms.kcl.ac.uk/christian.urban/Nominal/activities/nominal-ijcar08/">
</body>
</html>