<div dir="ltr">I will be near Munich in the second half of July for two weeks.<br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, Apr 30, 2019 at 3:11 PM Thorsten Altenkirch <<a href="mailto:Thorsten.Altenkirch@nottingham.ac.uk">Thorsten.Altenkirch@nottingham.ac.uk</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Ok, this answers one part of the question. __<br>
<br>
Thorsten<br>
<br>
On 30/04/2019, 11:51, "Agda on behalf of Andreas Abel" <<a href="mailto:agda-bounces@lists.chalmers.se" target="_blank">agda-bounces@lists.chalmers.se</a> on behalf of <a href="mailto:andreas.abel@ifi.lmu.de" target="_blank">andreas.abel@ifi.lmu.de</a>> wrote:<br>
<br>
    We have an offer from Chuangjie Xu who will host the next AIM in Munich.<br>
<br>
    --Andreas<br>
<br>
    On 2019-04-30 11:56, Thorsten Altenkirch wrote:<br>
    > Just checked the notes of the last one but it doesn’t say anything.<br>
    > <br>
    > Thorsten<br>
    > <br>
    > This message and any attachment are intended solely for the addressee<br>
    > and may contain confidential information. If you have received this<br>
    > message in error, please contact the sender and delete the email and<br>
    > attachment.<br>
    > <br>
    > Any views or opinions expressed by the author of this email do not<br>
    > necessarily reflect the views of the University of Nottingham. Email<br>
    > communications with the University of Nottingham may be monitored<br>
    > where permitted by law.<br>
    > <br>
    > <br>
    > <br>
    > <br>
    > _______________________________________________<br>
    > Agda mailing list<br>
    > <a href="mailto:Agda@lists.chalmers.se" target="_blank">Agda@lists.chalmers.se</a><br>
    > <a href="https://lists.chalmers.se/mailman/listinfo/agda" rel="noreferrer" target="_blank">https://lists.chalmers.se/mailman/listinfo/agda</a><br>
    > <br>
    _______________________________________________<br>
    Agda mailing list<br>
    <a href="mailto:Agda@lists.chalmers.se" target="_blank">Agda@lists.chalmers.se</a><br>
    <a href="https://lists.chalmers.se/mailman/listinfo/agda" rel="noreferrer" target="_blank">https://lists.chalmers.se/mailman/listinfo/agda</a><br>
<br>
<br>
<br>
<br>
<br>
This message and any attachment are intended solely for the addressee<br>
and may contain confidential information. If you have received this<br>
message in error, please contact the sender and delete the email and<br>
attachment. <br>
<br>
Any views or opinions expressed by the author of this email do not<br>
necessarily reflect the views of the University of Nottingham. Email<br>
communications with the University of Nottingham may be monitored <br>
where permitted by law.<br>
<br>
<br>
<br>
<br>
_______________________________________________<br>
Agda mailing list<br>
<a href="mailto:Agda@lists.chalmers.se" target="_blank">Agda@lists.chalmers.se</a><br>
<a href="https://lists.chalmers.se/mailman/listinfo/agda" rel="noreferrer" target="_blank">https://lists.chalmers.se/mailman/listinfo/agda</a><br>
</blockquote></div>