news.html

### default.html(section.news=current)

<h2>News</h2>


<dl>

  <dt>20 &ndash; 26 April 2016</dt>
  <dd>
    We are organising the 33rd <a href="http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXIII">Agda Implementors’ Meeting</a> at Strathclyde.
  </dd>

  <dt> 29 February &ndash; 2 March 2016</dt>
  <dd>
    Stephan Spahn visiting.
  </dd>

  <dt> 26 January 2016</dt>
  <dd>
    <a href="http://www.cs.ru.nl/A.Kissinger/">Aleks Kissinger</a> visiting.
  </dd>

  <dt> 25 &ndash; 29 January 2016</dt>
  <dd>
    <a href="http://www.bath.ac.uk/comp-sci/contacts/academics/john_power/">John Power</a> visiting.
  </dd>

  <dt> 18 November 2015</dt>
  <dd>
    <a href="http://bram.westerbaan.name/home">Bram Westerbaan</a> visiting.
  </dd>

  <dt> 19 &ndash; 23 October 2015</dt>
  <dd>
    <a href="http://www.vikwin.de/">Viktor Winschel</a> visiting.
  </dd>
  
  <dt> 5 &ndash; 9 October 2015</dt>
  <dd>
    <a href="http://www.appliedlogictudelft.nl/alessandra-palmigiano/">Alessandra Palmigiano</a> visiting.
  </dd>

  <dt>30 September 2015</dt>
  <dd>
    Welcome to Ben Price who is starting a PhD under the supervision
    of Neil Ghani.
  </dd>


  <dt> 23 &ndash; 25 September 2015</dt>
  <dd>
    <a href="http://perso.ens-lyon.fr/pierre.lescanne/">Pierre Lescanne</a> visiting.
  </dd>

  <dt> 14 &ndash; 18 September 2015</dt>
  <dd>
   <a href='https://sites.google.com/site/homepagegcina/'>Giovanni Cina</a> visiting.
  </dd>

  <dt> 25 &ndash; 29 August 2015</dt>
  <dd>
    <a href="http://www.eecs.qmul.ac.uk/~julesh/">Julian Hedges</a> visiting.
  </dd>

  <dt>13 August 2015</dt>
  <dd>
    <a href="http://wphomes.soic.indiana.edu/jsiek/">Jeremy Siek</a> visiting.
  </dd>
</dl>

<h3>Older News</h3>

<p>See here for <a href='old-news.html'>older news</a>.</p>