[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