<--
Registration form (send it to Youyou Cong
)
Agda Implementors' Meeting XXIX
Name:
Title and abstract (if you want to give a talk
or lead a discussion; optional):
Suggestions for code sprints (optional):
Other remarks (optional):
as to whether a potential submission is within the scope of
the workshop, please contact the programme co-chairs, Zena M. Ariola
and Youyou Cong .
Submission categories and guidelines
Two kinds of submissions will be accepted:
* Regular Research Papers should
a
question as to whether a potential submission is within the scope of
the workshop, please contact the programme co-chairs, Zena M. Ariola
and Youyou Cong .
Submission categories and guidelines
Two kinds of submissions will be accepted:
* Regular Research
tps://regmaster.com/2022conf/POPL22/register.php__;!!IBzWLUs!BuJnqrY0LE_MXPkXbOTffuZ6JKLI8IOzS97dy-h2wbGGmCeA5S2bDzEFeEHOTMvb5cHP6w8XBLfD9g$
Note that early registration closes on January 3rd.
We look forward to seeing you at the workshop!
Zena M. Ariola (Program Co-Chair)
Youyou Cong (Program Co-Chair)
Committee:
- Youyou Cong (Tokyo Institute of Technology, Japan)
- Pierre-Evariste Dagand (IRIF / CNRS, France)
Program Committee:
- Reynald Affeldt (AIST, Japan)
- Sandra Alves (DCC-FCUP, Portugual)
- Stephen Chang (UMass Boston, United States)
- Magnus Madsen (Aarhus University, Denmark)
- Victor Cacciari
!IBzWLUs!RvT5Niubp-zBTIyVFod1ubat9KGp108sbwuTpAVvp5pylNQ4S_vVrVq1B5JzO9eTLsQQRwgQB7AXDEDUaesoYBYmRP4yn3hH$
).
---
ORGANIZATION
---
- General Chair: Bernhard Rumpe (RWTH Aachen University)
- Program Chair: Amir Shaikhha (University of Edinburgh)
- Publicity Chair: Youyou Con
July 13, 2023
- Workshop: Monday September 4, 2023
# Workshop Organization
Organizing Committee:
- Youyou Cong (Tokyo Institute of Technology, Japan)
- Pierre-Evariste Dagand (IRIF / CNRS, France)
Program Committee:
- Reynald Affeldt (AIST, Japan)
- Sandra Alves (DCC-FCUP, Portugual)
- Stephen
---
- General Chair: Bernhard Rumpe (RWTH Aachen University)
- Program Chair: Amir Shaikhha (University of Edinburgh)
- Publicity Chair: Youyou Cong (Tokyo Institute of Technology)
- Steering Committee Chair: Sebastian Erdweg (JGU Mainz)
For additional informat
