Amir Shaikhha (University of Edinburgh)
- Publicity Chair: Youyou Cong (Tokyo Institute of Technology)
- Steering Committee Chair: Sebastian Erdweg (JGU Mainz)
For additional information, clarification, or answers to questions,
contact the program chair: amir dot shaikhha a
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 Chang (UMass Boston, United States)
- Magnus Madsen (Aarhus University
Amir Shaikhha (University of Edinburgh)
- Publicity Chair: Youyou Cong (Tokyo Institute of Technology)
- Steering Committee Chair: Sebastian Erdweg (JGU Mainz)
For additional information, clarification, or answers to questions,
contact the program chair: amir dot shaikhha a
cies/Republication/).
---
ORGANIZATION
---
- General Chair: Bernhard Rumpe (RWTH Aachen University)
- Program Chair: Amir Shaikhha (University of Edinburgh)
- Publicity Chair: Youyou Cong (Tokyo Insti
Dates
- Submission Deadline: Thursday June 1, 2023
- Author Notification: Thursday June 29, 2023
- Camera-Ready Deadline: Thursday July 13, 2023
- Workshop: Monday September 4, 2023
# Workshop Organization
Organizing Committee:
- Youyou Cong (Tokyo Institute of Technology, Japan)
- Pierre
look forward to seeing you at the workshop!
Zena M. Ariola (Program Co-Chair)
Youyou Cong (Program Co-Chair)
___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
to
semantics-based program manipulation in general. If you have 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
to
semantics-based program manipulation in general. If you have 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