[Haskell] PEPM 2022 - First Call for Papers

2021-08-12 Thread Youyou Cong
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

[Haskell] PEPM 2022 - Second Call for Papers

2021-09-22 Thread Youyou Cong
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

[Haskell] PEPM 2022 - Call for Participation

2022-01-02 Thread Youyou Cong
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

[Haskell] TyDe 2023 - Call for Papers

2023-04-03 Thread Youyou Cong
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

[Haskell] GPCE 2023: Deadline Extension

2023-07-05 Thread Youyou Cong
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

[Haskell] TyDe 2023 - Second Call for Papers and Deadline Extension

2023-06-02 Thread Youyou Cong
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

[Haskell] GPCE 2023 Call for Papers (with complete committee information)

2023-05-23 Thread Youyou Cong
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

[Haskell] GPCE 2023 Call for Papers

2023-05-23 Thread Youyou Cong
cies/Republication/). --- ORGANIZATION --- - General Chair: Bernhard Rumpe (RWTH Aachen University) - Program Chair: Amir Shaikhha (University of Edinburgh) - Publicity Chair: Youyou Cong (Tokyo Insti