[prev in list] [next in list] [prev in thread] [next in thread]
List: haskell-cafe
Subject: [Haskell-cafe] LAST CALL: Agda Implementors' Meeting XXXI - Edinburgh, 10-16 November 2022
From: Orestis Melkonian <melkon.or () gmail ! com>
Date: 2022-10-10 10:57:46
Message-ID: a55f0bb9-009f-bc74-5efa-32a0e453a009 () gmail ! com
[Download RAW message or body]
[Attachment #2 (multipart/alternative)]
---------------------------------------------------------------
Agda Implementors' Meeting XXXI
*Last call* for participation
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXXI
---------------------------------------------------------------
The 31st Agda Implementors' Meeting will take place in Edinburgh,
Scotland from Thursday 10 November 2022 to Wednesday 16 November 2022.
Note that AIMXXXI was initially planned for 2019 but got postponed due
to COVID-19, whilst we had several online meetings XXXII-XXXV.
The meeting will consist of:
* Presentations concerning theory, implementation, and use cases of
Agda and other Agda-like languages.
* Discussions around issues related to the Agda language.
* Plenty of time to work in, on, under or around Agda, in
collaboration with other participants.
Unfortunately, the EuroProofNet day we initially planned has been cancelled.
*Registration deadline (extended): October 21st*
To register for AIM XXXI, please fill out the form below and send it to
Orestis Melkonian by email <orestis.melkonian@ed.ac.uk>, or simply edit
the AIMXXI wiki page yourself.
> ---------------------------------------------------------------
> Registration form for Agda Implementors' Meeting XXXI
>
> Name:
>
> Title and optionally abstract (if you want to give a talk or lead a
discussion):
>
> Suggestions for code sprints (optional):
>
> Dietary restrictions:
>
> Additional comments:
>
> ---------------------------------------------------------------
More information is available at
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXXI
Please spread the word about this meeting.
Best regards,
Orestis
[Attachment #5 (text/html)]
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<p>---------------------------------------------------------------<br>
Agda Implementors' Meeting XXXI<br>
<b>Last call</b> for participation<br>
<a class="moz-txt-link-freetext" \
href="http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXXI">http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXXI</a><br>
---------------------------------------------------------------<br>
<br>
The 31st Agda Implementors' Meeting will take place in Edinburgh,
Scotland from Thursday 10 November 2022 to Wednesday 16 November
2022.<br>
Note that AIMXXXI was initially planned for 2019 but got postponed
due to COVID-19, whilst we had several online meetings XXXII-XXXV.<br>
The meeting will consist of:<br>
<br>
* Presentations concerning theory, implementation, and use cases
of Agda and other Agda-like languages.<br>
<br>
* Discussions around issues related to the Agda language.<br>
<br>
* Plenty of time to work in, on, under or around Agda, in
collaboration with other participants.<br>
<br>
Unfortunately, the EuroProofNet day we initially planned has been
cancelled.<br>
<br>
<b>Registration deadline (extended): October 21st</b><br>
<br>
To register for AIM XXXI, please fill out the form below and send
it to Orestis Melkonian by email
<a class="moz-txt-link-rfc2396E" \
href="mailto:orestis.melkonian@ed.ac.uk"><orestis.melkonian@ed.ac.uk></a>, or \
simply edit the AIMXXI wiki page yourself.<br>
<br>
>
---------------------------------------------------------------<br>
> Registration form for Agda Implementors' Meeting XXXI<br>
><br>
> Name:<br>
><br>
> Title and optionally abstract (if you want to give a talk or
lead a discussion):<br>
><br>
> Suggestions for code sprints (optional):<br>
><br>
> Dietary restrictions:<br>
><br>
> Additional comments:<br>
><br>
>
---------------------------------------------------------------<br>
<br>
More information is available at<br>
<br>
<a class="moz-txt-link-freetext" \
href="http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXXI">http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXXI</a><br>
<br>
Please spread the word about this meeting.<br>
<br>
Best regards,<br>
Orestis<br>
</p>
</body>
</html>
[Attachment #6 (text/plain)]
_______________________________________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
Only members subscribed via the mailman list are allowed to post.
[prev in list] [next in list] [prev in thread] [next in thread]
Configure |
About |
News |
Add a list |
Sponsored by KoreLogic