
<html dir="ltr">

<head>

<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">

<style type="text/css" id="owaParaStyle"></style>

</head>

<body fpstyle="1" ocsi="0">

<div style="direction: ltr;font-family: Tahoma;color: #000000;font-size: 10pt;"><span style="font-size: 10pt;">I attach the CFPs for the five workshops attached to ICLP'15, which I hope will be of interest.</span><br>

<div style="font-family: Times New Roman; color: #000000; font-size: 16px">

<div>

<div style="direction:ltr; font-family:Tahoma; color:#000000; font-size:10pt">

<div style="font-family:Times New Roman; color:#000000; font-size:16px">

<div>

<div style="direction:ltr; font-family:Tahoma; color:#000000; font-size:10pt">

<div style="font-family:Times New Roman; color:#000000; font-size:16px">

<div>

<div style="direction:ltr; font-family:Tahoma; color:#000000; font-size:10pt">

<div style="font-family:Times New Roman; color:#000000; font-size:16px">

<div>

<div style="direction:ltr; font-family:Tahoma; color:#000000; font-size:10pt">

<div style="font-family:Times New Roman; color:#000000; font-size:16px">

<div>

<div style="direction:ltr; font-family:Tahoma; color:#000000; font-size:10pt">

<div style="font-family:Times New Roman; color:#000000; font-size:16px">

<div>

<div style="direction:ltr; font-family:Tahoma; color:#000000; font-size:10pt">

<div style="font-family:Times New Roman; color:#000000; font-size:16px">

<div>

<div style="direction:ltr; font-family:Tahoma; color:#000000; font-size:10pt">

<div style="font-family:Times New Roman; color:#000000; font-size:16px">

<div>

<div style="direction:ltr; font-family:Tahoma; color:#000000; font-size:10pt">

<div style="font-family:Times New Roman; color:#000000; font-size:16px">

<div>

<div style="direction:ltr; font-family:Tahoma; color:#000000; font-size:10pt">

<div style="font-family:Times New Roman; color:#000000; font-size:16px">

<div>

<div style="direction:ltr; font-family:Tahoma; color:#000000; font-size:10pt">

<div style="font-family:Times New Roman; color:#000000; font-size:16px">

<div>

<div style="direction:ltr; font-family:Tahoma; color:#000000; font-size:10pt">

<div style="color:rgb(0,0,0)">

<div style="font-family:'Times New Roman'; font-size:16px">

<div style="direction:ltr; font-family:Tahoma; color:#000000; font-size:10pt">

<div style="font-family:Times New Roman; color:#000000; font-size:16px">

<div>

<div style="direction:ltr; font-family:Tahoma; color:#000000; font-size:10pt">

<div style="font-family:Times New Roman; color:#000000; font-size:16px">

<div>

<div style="direction:ltr; font-family:Tahoma; color:#000000; font-size:10pt">

<div style="font-family:Times New Roman; color:#000000; font-size:16px">

<div>

<div style="direction:ltr; font-family:Tahoma; color:#000000; font-size:10pt">

<div style="font-family:Times New Roman; color:#000000; font-size:16px">

<div>

<div style="direction:ltr; font-family:Tahoma; color:#000000; font-size:10pt">

<div style="font-family:Times New Roman; color:#000000; font-size:16px">

<div>

<div style="direction:ltr; font-family:Tahoma; color:#000000; font-size:10pt">

<div style="font-family:Times New Roman; color:#000000; font-size:16px">

<div>

<div style="direction:ltr; font-family:Tahoma; color:#000000; font-size:10pt">

<div style="font-family:Times New Roman; color:#000000; font-size:16px">

<div>

<div style="direction:ltr; font-family:Tahoma; color:#000000; font-size:10pt">

<div><br>

</div>

<div>Ian.</div>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

</body>

</html>