Hi everybody,<br><br>You may be interested to know that we (Thorsten Altenkirch, Tarmo Uustalu&nbsp; <br>&amp; myself) are organizing a small TYPES workshop on *Dependently <br>Typed Programming*. This is a workshop in the tradition of previous 
<br>workshops on &quot;Dependent Types in Programming&quot; and &quot;Dependently <br>Typed Programming&quot; which cover the use of dependent types in <br>programming in languages like Agda, Cayenne, Coq&#39;s CIC, DML, 
<br>Epigram, Omega, ...<br><br>The workshop is taking place 18-20 February in Nottingham at the NCSL<br>conference centre. This is on campus but much nicer than the usual<br>student accommodation!<br><br>The invited speakers at the workshop will be Lennart Augustsson and 
<br>Xavier Leroy.<br><br>For more details see the web page: <br><br><a onclick="return top.js.OpenExtLink(window,event,this)" href="http://sneezy.cs.nott.ac.uk/darcs/" target="_blank">http://sneezy.cs.nott.ac.uk/darcs/DTP08
</a><span id="st" name="st" class="st"></span><br><br>The deadline for talks and registration will be in January. However, if<br>you know you would like to come we would appreciate it if you could<br>email us (_@_ dtpnott08 
<a href="http://cs.nott.ac.uk">cs.nott.ac.uk</a>) as soon as possible to register <br>your intentions. We have to promise a certain number of rooms and you <br>will also ensure you get accommodation at the NCSL.<br><br>Cheers,
<br>The Organizers<br>