[Agda] When and where is the next AIM?

Apostolis Xekoukoulotakis apostolis.xekoukoulotakis at gmail.com
Tue Apr 30 14:58:30 CEST 2019


I will be near Munich in the second half of July for two weeks.

On Tue, Apr 30, 2019 at 3:11 PM Thorsten Altenkirch <
Thorsten.Altenkirch at nottingham.ac.uk> wrote:

> Ok, this answers one part of the question. __
>
> Thorsten
>
> On 30/04/2019, 11:51, "Agda on behalf of Andreas Abel" <
> agda-bounces at lists.chalmers.se on behalf of andreas.abel at ifi.lmu.de>
> wrote:
>
>     We have an offer from Chuangjie Xu who will host the next AIM in
> Munich.
>
>     --Andreas
>
>     On 2019-04-30 11:56, Thorsten Altenkirch wrote:
>     > Just checked the notes of the last one but it doesn’t say anything.
>     >
>     > Thorsten
>     >
>     > This message and any attachment are intended solely for the addressee
>     > and may contain confidential information. If you have received this
>     > message in error, please contact the sender and delete the email and
>     > attachment.
>     >
>     > Any views or opinions expressed by the author of this email do not
>     > necessarily reflect the views of the University of Nottingham. Email
>     > communications with the University of Nottingham may be monitored
>     > where permitted by law.
>     >
>     >
>     >
>     >
>     > _______________________________________________
>     > Agda mailing list
>     > Agda at lists.chalmers.se
>     > https://lists.chalmers.se/mailman/listinfo/agda
>     >
>     _______________________________________________
>     Agda mailing list
>     Agda at lists.chalmers.se
>     https://lists.chalmers.se/mailman/listinfo/agda
>
>
>
>
>
> This message and any attachment are intended solely for the addressee
> and may contain confidential information. If you have received this
> message in error, please contact the sender and delete the email and
> attachment.
>
> Any views or opinions expressed by the author of this email do not
> necessarily reflect the views of the University of Nottingham. Email
> communications with the University of Nottingham may be monitored
> where permitted by law.
>
>
>
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20190430/ba91858f/attachment.html>


More information about the Agda mailing list