[Agda] When and where is the next AIM?
Andreas Abel
andreas.abel at ifi.lmu.de
Tue Apr 30 12:50:32 CEST 2019
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
>
More information about the Agda
mailing list