[Haskell] DEADLINE EXTENDED - Call for Papers: HC@AIxIA 2024 (co-located with AIxIA 2024)

2024-09-17 Thread Francesco Calimeri
emailed to hc-ai...@googlegroups.com. ___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] PriSC @ POPL'25: Call for Presentations

2024-09-16 Thread PriSC PC Chairs
@unitn.it) and Marco Vassena (m.vass...@uu.nl). ___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] [TFP 2025 Call for Papers] 25th International Symposium on Trends in Functional Programming (Oxford, UK)

2024-09-04 Thread Peter Achten via Haskell
Stoughton Boston University, US Wouter Swierstra Utrecht University, NL Niki VazouIMDEA Software Institute, ES Marcos Viera Universidad de la República, UY Viktória Zsók Eötvös Loránd University of Sciences, HU_____

[Haskell] PADL 2025: First Call for Papers

2024-09-02 Thread Germán Vidal via Haskell
- esraerdem _AT_ sabanciuniv.edu gvidal _AT_ dsic.upv.es ___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] FSEN 2025 - Final Call for Papers

2024-09-02 Thread Petra van den Bos via Haskell
sity, Sweden; Reykjavik University, Iceland (Chair) Carolyn Talcott - SRI International, USA Martin Wirsing - LMU Munich, Germany -- Program Committee -- See website: https://conf.researchr.org/home/fsen-2025 <https://conf.researchr.org/home/fsen-2025> ______

[Haskell] PhD and Post-Doc Positions Available in PL

2024-08-28 Thread Michael D. Adams
information on this, I can send you an unreleased white-paper that I am drafting on the topic. -- Michael D. Adams ___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] [CRISIS 2024 - Final Deadline Extension] The 19th International Conference on Risks and Security of Internet and Systems

2024-08-28 Thread Samir ouchani
hani, CESI Lineact, France. = Dr. Samir Ouchani, Ing., PhD., HDR. Research Director, CESI Lineact. Aix-en-Provence, France. _______ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] APLAS 2024 2nd Call for Participation

2024-08-25 Thread Mirai Ikebuchi
Yeonseok Lee, Koji Nakazawa Type-Based Verification of Connectivity Constraints in Lattice Surgery Ryo Wakizaka, Atsushi Igarashi, Yasunari Suzuki___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] IFL 2024, final call for participation/registration

2024-08-16 Thread Mart Lubbers
of content from previous instances of IFL. We are grateful to prior organisers for their work, which is reused here. ___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] Call for Nominations: SLE 2024 - Artifact Evaluation Committee, Nominations Wanted

2024-08-15 Thread Andrei Chis
prioritize nominations done until the 31st of August. For additional information, clarification, or answers to questions, please get in touch with the artifact evaluation co-chairs. --- ___ Haskell mailing list Haskell@haskell.org

[Haskell] APLAS 2024 Call for Participation

2024-08-13 Thread Mirai Ikebuchi
Lee, Koji Nakazawa Type-Based Verification of Connectivity Constraints in Lattice Surgery Ryo Wakizaka, Atsushi Igarashi, Yasunari Suzuki___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] IFL 2024 Final call for papers, extended submission deadline.

2024-08-05 Thread Mart Lubbers
of content from previous instances of IFL. We are grateful to prior organisers for their work, which is reused here. ___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] Call for Papers: Third AIxIA Workshop on Artificial Intelligence For Healthcare - HC@AIxIA 2024

2024-08-01 Thread Francesco Calimeri
questions about submissions should be emailed to hc-ai...@googlegroups.com. ___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] LOPSTR 2024 - Call for Participation

2024-08-01 Thread Daniel Jurjo
___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] ASPOCP 2024@ICLP- EXTENDED DEADLINE

2024-07-31 Thread cfp
lice Tarzariol, University of Klagenfurt Johannes P. Wallner, TU Graz Stefan Woltran, TU Wien Jia-Huai You, University of Alberta Jessica Zangari, University of Calabria ___________ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] Haskell Implementors' Workshop - Change of date

2024-07-29 Thread Matthew Pickering
This year the decision has been taken to combine together Haskell Implementors' Workshop and Haskell Symposium. Therefore the workshop will now take place on the dates September 6/7 (the dates of the Haskell Symposium). Please email me if you have any questions. Cheers,

[Haskell] FSEN 2025 - 2nd Call for Papers

2024-07-29 Thread Petra van den Bos via Haskell
in Wirsing - LMU Munich, Germany -- Program Committee -- See website: https://conf.researchr.org/home/fsen-2025 <https://conf.researchr.org/home/fsen-2025> _______ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] ASPOCP 2024 @ ICLP- Second Call for Paper

2024-07-26 Thread cfp
Huai You, University of Alberta Jessica Zangari, University of Calabria ___________ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] ICFP 2024: Call for Participation

2024-07-22 Thread ICFP Publicity via Haskell
September 3-5 ICFP - Main conference September 6 Tutorials (Sep 6-7) - https://icfp24.sigplan.org/track/icfp-2024-tutorials FProPer - https://icfp24.sigplan.org/home/fproper-2024 ML - https://icfp24.sigplan.org/home/mlworkshop-2024 Haskell (Sep 6-7) - https://icfp24

[Haskell] Final Call for Talks: Haskell Implementors' Workshop 2024

2024-07-08 Thread Matthew Pickering
``` ACM SIGPLAN Haskell Implementors' Workshop https://icfp24.sigplan.org/home/hiw-2024 Milan, Italy, September 2, 2024 Co-located with ICFP 2024 https://icfp24.sigplan.org/ ``` ## Important dates * Deadline: July 19,

[Haskell] Journal of Biomedical Informatics - Call for Papers: Special issue on learning from multiple data sources for decision making in health care

2024-07-03 Thread Francesco Calimeri
the journal’s editorial office (jbi @elsevier.com <http://jbi%40elsevier.com/>) for questions regarding this process. When asked for the category of their submission, they should indicate that it is for the special issue on Learning from multiple data sources for decision making in health care.

[Haskell] IFL 2024: Second Call for Papers

2024-07-03 Thread Mart Lubbers
.cs.ru.nl ### Acknowledgments This call-for-papers is an adaptation and evolution of content from previous instances of IFL. We are grateful to prior organisers for their work, which is reused here. ___ Haskell mailing list Haskell@haskell.org http

[Haskell] ASPOCP 2024 @ ICLP- First Call for Paper

2024-07-03 Thread cfp
stria PROGRAM COMMITTEE TBA ___________ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

Re: [Haskell] International Intelligence, Sustainability, and Innovation in Healthcare (ISIH 2024), Roanne, France, October 30-31, 2024

2024-07-02 Thread Ivan Perez
All, This person has sent these CFPs, which are unrelated to Haskell, to this mailing list multiple times. They've been asked to stop before. Can someone please remove oumaima.boulkho...@univ-st-etienne.fr from the mailing list? Thanks, Ivan On Tue, 2 Jul 2024 at 01:24, Oumaima Boulk

[Haskell] International Intelligence, Sustainability, and Innovation in Healthcare (ISIH 2024), Roanne, France, October 30-31, 2024

2024-07-02 Thread Oumaima Boulkhoukh
) ___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] [TFP (and TFPiE) 2024] Call For Participation (January 9-12, Seton Hall University, NJ, USA)

2023-12-22 Thread Peter Achten via Haskell
announced._______ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

Re: [Haskell] 31st Netherlands Functional Programming Day (FP Dag): Call for Participation

2023-12-16 Thread Jesper Cockx via Haskell
scot, and Jaro Reinders (Local Organization & Support) From: Jesper Cockx Sent: Friday, November 3, 2023 1:20:44 PM To: types-annou...@lists.seas.upenn.edu; fp...@lists.science.uu.nl; ipal...@listserver.tue.nl; haskell@haskell.org; a...@lists.chalmers.se; coq-c..

[Haskell] Call for Participation: BOB 2024 (Berlin, March 15)

2023-12-15 Thread Stefan Wehr
communication and zero-knowledge proofs. BOB will feature tutorials on F#, Haskell, Lean, SwiftUI, Copilot, the K Framework, functional domain modelling, and Liberating Structures. Andreas Rossberg will give the keynote talk. Registration is open - online tickets are all under 200€, and many

[Haskell] ICFP 2024: Call for Workshops and Co-Located Events

2023-12-11 Thread ICFP Publicity via Haskell
workshop co-chairs (Chandrakana Nandi and Yannick Forster), via email to chan...@certora.com end yannick.fors...@inria.fr ___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] Call for STSMs and ITC conference grants, deadline 7 January 2024

2023-12-09 Thread simona . k
not hesitate to contact us if you have any questions. Best wishes, Simona Prokić and Ambrus Kaposi EuroProofNet Grant Awarding Coordinators ___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] [Deadline Extension] FormaliSE 2024 - Call for Papers

2023-12-03 Thread Abhishek Tiwari
nab Sharma, University of Oldenburg (Germany) * Martin Tappler, TU Graz (Austria) * Hoang-Dung Tran, University of Nebraska-Linco (USA) * Shaun Azzopardi, University of Malta (Malta) * Christophe Garion, ISAE-SUPAERO (France) ## Contact Information We can be reached at o...@formalise.org. __

[Haskell] (Extended deadline) CfP: Automated Program and Proof Synthesis (AP2S at AAAI '24)

2023-12-01 Thread Kristopher K Micinski via Haskell
vely small crowd, but there were very lively discussions. It is an exciting (and timely!) mix of topics, and we are looking forward to this year's AP2S bridge. Kris Micinski, kkmic...@syr.edu Garrett Katz, gkat...@syr.edu Syracuse University _______

[Haskell] FLOPS 2024: final call for abstracts and papers

2023-11-30 Thread Jeremy Gibbons
s Road, Oxford OX1 3QD, UK. +44 1865 283521 http://www.cs.ox.ac.uk/people/jeremy.gibbons/ ___________ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] ICFP 2024: Call for Papers

2023-11-30 Thread ICFP Publicity via Haskell
Committee: https://icfp24.sigplan.org/committee/icfp-2024-papers-icfp-papers-and-events --- ___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] [TFP 2024 Final Call for Papers] 25th International Symposium on Trends in Functional Programming

2023-11-30 Thread Peter Achten via Haskell
versity of Massachusetts Boston, USA Shajina Anand Local Arrangements Seton Hall University, South Orange, USA Peter Achten Publicity Chair Radboud University Nijmegen, Netherlands_______ Haskell mailing list Haskell@haskell.org http://mail.haske

Re: [Haskell] ANT 2024 CFP (December 4, 2023 (extended)): The 15th International Conference on Ambient Systems, Networks and Technologies (ANT) , Hasselt, Belgium, April 23-25, 2024

2023-11-26 Thread Ali BENZERBADJ
Dear Ivan, I would like to ask you to introduce yourself first, please. Are you the admin of the mailing list? I assume that Haskell is the one who assesses the relevance of announcements. If the topic doesn't interest you, just ignore it, and that's it. Yours sincerely. On Sun, 26 N

Re: [Haskell] ANT 2024 CFP (December 4, 2023 (extended)): The 15th International Conference on Ambient Systems, Networks and Technologies (ANT) , Hasselt, Belgium, April 23-25, 2024

2023-11-26 Thread Ivan Perez
Ali, None of the CfPs you've sent to this mailing list over the past year appear even remotely related to Haskell. I doubt people on this list will find them relevant or interesting. *Could you please stop sending CfPs to haskell and haskell-cafe?* Thanks Ivan On Sun, 26 Nov 2023 at

[Haskell] ANT 2024 CFP (December 4, 2023 (extended)): The 15th International Conference on Ambient Systems, Networks and Technologies (ANT) , Hasselt, Belgium, April 23-25, 2024

2023-11-26 Thread Ali BENZERBADJ
Computing and Networks (RIIR)* *Research team :"Networks and QoS"* University of Oran 1 Ahmed Ben Bella, Oran, Algeria Mob(s): +213 6 61622162 E-mail(s):.benzerb...@univ-temouchent.edu.dz , ali_b...@yahoo.fr, ___________ Haskell mailing list Haskell@haskell.org h

[Haskell] ED-I40 2024 CFP (Extended Deadline: December 4, 2023): The 7th International Conference on Emerging Data and Industry (EDI40), Hasselt, Belgium, April 23-25, 2024

2023-11-26 Thread Ali BENZERBADJ
+213 6 61622162 E-mail(s):.benzerb...@univ-temouchent.edu.dz , ali_b...@yahoo.fr, _______ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] ED-I40 2024 CFP (Extended Deadline: December 4, 2023): The 7th International Conference on Emerging Data and Industry (EDI40), Hasselt, Belgium, April 23-25, 2024

2023-11-18 Thread Ali BENZERBADJ
+213 6 61622162 E-mail(s):.benzerb...@univ-temouchent.edu.dz , ali_b...@yahoo.fr, _______ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] ANT 2024 CFP (December 4, 2023 (Extended)): The 15th International Conference on Ambient Systems, Networks and Technologies (ANT) , Hasselt, Belgium, April 23-25, 2024

2023-11-18 Thread Ali BENZERBADJ
Computing and Networks (RIIR)* *Research team :"Networks and QoS"* University of Oran 1 Ahmed Ben Bella, Oran, Algeria Mob(s): +213 6 61622162 E-mail(s):.benzerb...@univ-temouchent.edu.dz , ali_b...@yahoo.fr, ___________ Haskell mailing list Haskell@haske

[Haskell] ANT 2024 CFP (December 4, 2023 (extended)): The 15th International Conference on Ambient Systems, Networks and Technologies (ANT) , Hasselt, Belgium, April 23-25, 2024

2023-11-15 Thread Ali BENZERBADJ
Computing and Networks (RIIR)* *Research team :"Networks and QoS"* University of Oran 1 Ahmed Ben Bella, Oran, Algeria Mob(s): +213 6 61622162 E-mail(s):.benzerb...@univ-temouchent.edu.dz , ali_b...@yahoo.fr, ___________ Haskell mailing list Haskell@haske

[Haskell] ED-I40 2024 CFP (Extended Deadline: December 4, 2023): The 7th International Conference on Emerging Data and Industry (EDI40), Hasselt, Belgium, April 23-25, 2024

2023-11-15 Thread Ali BENZERBADJ
+213 6 61622162 E-mail(s):.benzerb...@univ-temouchent.edu.dz , ali_b...@yahoo.fr, _______ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] Journal of Functional Programming - Call for PhD Abstracts

2023-11-13 Thread Graham Hutton via Haskell
. ___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] The 15th International Conference on Ambient Systems, Networks and Technologies (ANT) , Hasselt, Belgium, April 23-25, 2024

2023-11-12 Thread Ali BENZERBADJ
orks (RIIR)* *Research team :"Networks and QoS"* University of Oran 1 Ahmed Ben Bella, Oran, Algeria Mob(s): +213 6 61622162 E-mail(s):.benzerb...@univ-temouchent.edu.dz , ali_b...@yahoo.fr, ___________ Haskell mailing list Haskell@haskell.org h

[Haskell] ED-I40 2024 CFP : The 7th International Conference on Emerging Data and Industry (EDI40), Hasselt, Belgium, April 23-25, 2024

2023-11-12 Thread Ali BENZERBADJ
22162 E-mail(s):.benzerb...@univ-temouchent.edu.dz , ali_b...@yahoo.fr, _______ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] CfP: TASE 2024, Guiyang City, China, July 29 - August 1, 2024

2023-11-12 Thread Huibiao Zhu via Haskell
University) ___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] FormaliSE 2024 - Call for Papers

2023-11-03 Thread Abhishek Tiwari
Information * We can be reached at o...@formalise.org. ___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] Call for Contributions: BOB 2024 [March 15, Deadline Nov 17]

2023-11-03 Thread Stefan Wehr
CK AG - Nicole Rauch, Softwareentwicklung und Entwicklungscoaching - Michael Sperber, Active Group - Stefan Wehr, Hochschule Offenburg Scientific Advisory Board - Annette Bieniusa, TU Kaiserslautern - Torsten Grust, Uni Tübingen - Peter Thiemann, Uni Freiburg ___________

[Haskell] ED-I40 2024 CFP : The 7th International Conference on Emerging Data and Industry (EDI40), Hasselt, Belgium, April 23-25, 2024

2023-10-31 Thread Ali BENZERBADJ
22162 E-mail(s):.benzerb...@univ-temouchent.edu.dz , ali_b...@yahoo.fr, _______ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] PriSC 2024: Call for Presentations

2023-10-25 Thread PriSC PC Chairs
hairs, Marco Patrignani and Shweta Shinde. ___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] SRC@POPL 2024 Call for Submissions

2023-10-23 Thread Neel Krishnaswami
rejected.     • Reject: abstracts that will not proceed to the next round. -- Program Committee To be announced: ___ Haskell mailing list Haskell@haskell.org http

[Haskell] The 15th International Conference on Ambient Systems, Networks and Technologies (ANT) , Hasselt, Belgium, April 23-25, 2024

2023-10-18 Thread Ali BENZERBADJ
orks (RIIR)* *Research team :"Networks and QoS"* University of Oran 1 Ahmed Ben Bella, Oran, Algeria Mob(s): +213 6 61622162 E-mail(s):.benzerb...@univ-temouchent.edu.dz , ali_b...@yahoo.fr, ___________ Haskell mailing list Haskell@haskell.org h

[Haskell] ED-I40 2024 CFP : The 7th International Conference on Emerging Data and Industry (EDI40), Hasselt, Belgium, April 23-25, 2024

2023-10-18 Thread Ali BENZERBADJ
22162 E-mail(s):.benzerb...@univ-temouchent.edu.dz , ali_b...@yahoo.fr, _______ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] Call for STSMs and ITC conference grants, deadline 12 November 2023

2023-10-18 Thread simona . k
you have any questions. Best wishes, Simona Prokić and Ambrus Kaposi EuroProofNet Grant Awarding Coordinators ___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] APLAS 2023: Second Call for Participation

2023-10-17 Thread Sato, Ryosuke
Chuangjie Xu, Sonar Source, Germany _______ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] S-REPLS 13 / Fun in the Afternoon at Bristol

2023-10-16 Thread Alex Kavvos
soon as possible: https://www.eventbrite.com/e/717109883967/ … Alex Kavvos … Senior Lecturer in Programming Languages … School of Computer Science, University of Bristol, UK … https://seis.bristol.ac.uk/~tz20861/ ___ Haskell mailing list Haskell

[Haskell] Call for Contributions: BOB 2024 [March 15, Deadline Nov 17]

2023-10-11 Thread Stefan Wehr
, Uni Tübingen - Peter Thiemann, Uni Freiburg ___________ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] Tenure-track Faculty Positions at the IMDEA Software Institute

2023-10-10 Thread Manuel Hermenegildo
diverse and international community and underrepresented groups. The Institute complies with the European Charter for Researchers. ___________ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

Re: [Haskell] CFP, PEPM 2024 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

2023-10-03 Thread Meng Wang
Dear Haskellers, A gentle reminder that the submission deadline is in two weeks. Best regards, Gabriele Keller (Utrecht University, Netherlands) Meng Wang (University of Bristol, UK) From: Meng Wang Date: Thursday, 7 September 2023 at 08:52 To: haskell-c...@haskell.org , haskell@haskell.org

[Haskell] APLAS 2023: Call for Participation

2023-09-24 Thread Sato, Ryosuke
Chuangjie Xu, Sonar Source, Germany _______ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] LAST reminder - DEADLINE September 20th - HC@AIxIA 2023

2023-09-18 Thread Francesco Calimeri
at will be held right after the workshop. _______ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] LOPSTR 2023 - Call for Participation

2023-09-14 Thread Daniel Jurjo
    Boulytchev. Relational Solver for Java Generics Type System ___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] CFP - JFLA 2024 - Journées Francophones des Langages Applicatifs

2023-09-13 Thread Delphine Demange
en donneront une présentation lors des journées. Les présentations seront, de préférence, données en français. Delphine DEMANGE et Adrien GUATTO JFLA 2024 --- End Message --- ___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] S-REPLS 13 / Fun in the Afternoon, Bristol, UK

2023-09-11 Thread Alex Kavvos
, giving a draft title and an abstract by the end of     Mon, 2 October 2023 _______ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] ESOP 2024 Call For Papers

2023-09-11 Thread Stephanie Weirich
(Imperial College London) ___________ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] SAS 2023 - Call for Participation - Early deadline: Sept 22

2023-09-08 Thread Louis Rustenholz
merre ___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] CFP, PEPM 2024 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

2023-09-07 Thread Meng Wang
Dear Haskellers, Gabriele and I are organising PEPM this year. Over the years, PEPM has grown into a conference of general PL topics and Haskell/FP is strongly represented. We look forward to receiving your submissions. Best regards, Gabriele Keller (Utrecht University, Netherlands) Meng Wang

[Haskell] [CfP - DEADLINE EXTENSION] Second AIxIA Workshop on Artificial Intelligence For Healthcare HC@AIxIA 2023

2023-09-06 Thread Francesco Calimeri
tober 09, 2023 Main Workshop starts: November 06, 2023 (maybe subject to slight adjustments, please check the website regularly) Working Group meeting: Right after the workshop _______ Haskell mailing list Haskell@haskell.org http://mail.haskell.o

[Haskell] Call for Papers: JFP Special Issue on Program Calculation (papers due 1st Dec)

2023-09-03 Thread Graham Hutton via Haskell
ermitted by law. _______ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] PADL 2024: Call for Papers

2023-08-24 Thread ICFP Publicity via Haskell
T_ aau.at ilya _AT_ nus.edu.sg _______ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] ICTH 2023 CFPs (Firm Deadline: August 25): The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare

2023-08-17 Thread Ali BENZERBADJ
22162 E-mail(s):.benzerb...@univ-temouchent.edu.dz , ali_b...@yahoo.fr, ___________ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] EUSPN 2023 CfPs (Firm Deadline: Aug. 25): The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks

2023-08-17 Thread Ali BENZERBADJ
61622162 E-mail(s):.benzerb...@univ-temouchent.edu.dz , ali_b...@yahoo.fr, ___________ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] ICTH 2023 CFPs (Firm Deadline: August 25): The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare

2023-08-10 Thread Ali BENZERBADJ
22162 E-mail(s):.benzerb...@univ-temouchent.edu.dz , ali_b...@yahoo.fr, ___________ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] EUSPN 2023 CfPs (Firm Deadline: Aug. 25): The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks

2023-08-10 Thread Ali BENZERBADJ
61622162 E-mail(s):.benzerb...@univ-temouchent.edu.dz , ali_b...@yahoo.fr, ___________ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] Second Call for Papers: JFP Special Issue on Program Calculation (papers due 1st Dec)

2023-08-09 Thread Graham Hutton via Haskell
ttingham. Email communications with the University of Nottingham may be monitored where permitted by law. _______ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] [Call for submissions TFPiE 2024] Trends in Functional Programming in Education - January 9 2024, Seton Hall University, USA

2023-08-08 Thread Peter Achten
will have their registration fee waived. Only papers that have been presented at TFPIE may be submitted to the post-reviewing process. _______ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] Second Call for Submissions: Student Research Competition and Posters, APLAS 2023

2023-08-07 Thread Sato, Ryosuke
yama (National Institute of Informatics, Japan) * Chung-chieh Shan (Indiana University, USA) * Youngju Song (MPI-SWS, Germany) * Tachio Terauchi (Waseda University, Japan) * Chuangjie Xu (SonarSource, Germany) _______ Haskell mailing list Haskell@ha

[Haskell] ICFP 2023: Call for Participation

2023-08-02 Thread ICFP Publicity via Haskell
.sigplan.org/track/plmw-icfp-2023 TyDe - https://icfp23.sigplan.org/home/TyDe-2023 September 5-7 ICFP - Main conference September 8 Haskell - https://icfp23.sigplan.org/home/haskellsymp-2023 FARM - https://icfp23.sigplan.org/home/farm-2023 FUNARCH - https://icfp23

[Haskell] Call for Lightning Talks: Haskell Implementors' Workshop 2023

2023-08-02 Thread Ryan Scott
ACM SIGPLAN Haskell Implementors' Workshop https://icfp23.sigplan.org/home/hiw-2023 Seattle, Washington, United States, September 4, 2023 Co-located with ICFP 2023 https://icfp23.sigplan.org/ --- The 15th Haskell Implementors' Workshop is to be held alongside ICFP 2023 th

[Haskell] IFL23 - Deadline extension - Symposium on Implementation and Application of Functional Languages

2023-07-31 Thread Pieter Koopman
SWj65FR7I-GX2I9_9x9E5FUjHd2CPQsODCQE38EUdZzR5FNzOF96dTRq5bQqrDUHwSVMMNJs1OVLs9diXdq1TfNfhpNze9vzML4x9aT5NNyVB_K_fRs> for more information. [image: beacon] ___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] ICTH 2023 CFPs (Firm Deadline: August 25): The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare

2023-07-29 Thread Ali BENZERBADJ
22162 E-mail(s):.benzerb...@univ-temouchent.edu.dz , ali_b...@yahoo.fr, ___________ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] EUSPN 2023 CfPs (Firm Deadline: Aug. 25): The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks

2023-07-29 Thread Ali BENZERBADJ
61622162 E-mail(s):.benzerb...@univ-temouchent.edu.dz , ali_b...@yahoo.fr, ___________ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] IFL23 last Call for papers

2023-07-27 Thread Pieter Koopman
oue_kFhjMi2OemvYc3MAVcIXGy-biQHhJhSpEwLDB-4_KuxTx8XkYkp6a86KcZti3Ir5CQrtVfzAxsAUzv2pCZkM9_UYFxEfHcvb-izD8V7daZ2vES9U_KIkZh01oiLlRaFP87EpVD4wD1o1Io-O8f_5ZejIIKoZQdMBq98D7i1RNGY>. Registration information will be added as soon as possible. [image: beacon] ___________

[Haskell] FLOPS 2024 Symposium on Functional and Logic Programming

2023-07-27 Thread Jeremy Gibbons
Sojo University, JP (Local Chair) *** FLOPS sponsorship *** This symposium is sponsored by JSSST-SIGPPL (http://ppl.jssst.or.jp/). *** Contact Address *** flops2...@easychair.org ___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org

[Haskell] Call for Participation, Functional Software Architecture - FP in the Large

2023-07-26 Thread Graham Hutton via Haskell
e Representable Executable Machines Marco Perone and Georgios Karachalias Functional Shell and Reusable Components for Easy GUIs Ben Knoble and Bogdan Popa Phases in Software Architecture Jeremy Gibbons, Oisín Kidney, Tom Schrijvers and Nicolas Wu Stretching the Glasgow Haskell Compiler Jeffrey M.

[Haskell] VMIL 2023 - Co-located with SPLASH'23 - Call for Work-in-progress and Position Papers

2023-07-25 Thread Andrea Rosa
up to two weeks before the first day of your conference. The official publication date affects the deadline for any patent filings related to published work. ___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo

[Haskell] ICTH 2023 CFPs (Firm Deadline: August 25): The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare

2023-07-24 Thread Ali BENZERBADJ
rks (RIIR)* *Research team :"Networks and QoS"* University of Oran 1 Ahmed Ben Bella, Oran, Algeria Mob(s): +213 6 61622162 E-mail(s):.benzerb...@univ-temouchent.edu.dz , ali_b...@yahoo.fr, ___________ Haskell mailing list Haskell@haskell.org http://

[Haskell] EUSPN 2023 CfPs (Firm Deadline: Aug. 25): The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks

2023-07-24 Thread Ali BENZERBADJ
61622162 E-mail(s):.benzerb...@univ-temouchent.edu.dz , ali_b...@yahoo.fr, ___________ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] VMIL 2023 - Co-located with SPLASH'23 - Deadline Extension

2023-07-13 Thread Andrea Rosa
conference. The official publication date affects the deadline for any patent filings related to published work. ___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] EUSPN 2023 CfPs (Deadline: July 14): The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks

2023-07-13 Thread Ali BENZERBADJ
61622162 E-mail(s):.benzerb...@univ-temouchent.edu.dz , ali_b...@yahoo.fr, ___________ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] ICTH 2023 CFPs (DeadLine: July 14): The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare

2023-07-13 Thread Ali BENZERBADJ
22162 E-mail(s):.benzerb...@univ-temouchent.edu.dz , ali_b...@yahoo.fr, ___________ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] [TFP 2024 Call for Papers] 25th International Symposium on Trends in Functional Programming

2023-07-12 Thread Peter Achten
l University, USA Stephen Chang Symposium Chair University of Massachusetts Boston, USA Shajina Anand Local Arrangements  Seton Hall University, South Orange, USA _______ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin

Re: [Haskell] Call for Talks: Haskell Implementors' Workshop 2023 (deadline extension)

2023-07-10 Thread Ryan Scott
Apologies, that should read *July* 16, not June 16, for the submission deadline at the top of the email. (The body of the email contains the correct date.) Best, Ryan On Mon, Jul 10, 2023 at 6:34 PM Ryan Scott wrote: > TL;DR: The submission deadline for the 2023 Haskell Implementors'

[Haskell] Call for Talks: Haskell Implementors' Workshop 2023 (deadline extension)

2023-07-10 Thread Ryan Scott
TL;DR: The submission deadline for the 2023 Haskell Implementors' Workshop has been extended to June 16. == ACM SIGPLAN Haskell Implementors' Workshop https://icfp23.sigplan.org/home/hiw-2023 Seattle, Washington, United States, September 4, 2023 Co-lo

[Haskell] ICTH 2023 CFPs (Final Extension): The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare

2023-07-10 Thread Ali BENZERBADJ
22162 E-mail(s):.benzerb...@univ-temouchent.edu.dz , ali_b...@yahoo.fr, ___________ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] [CfP] Second AIxIA Workshop on Artificial Intelligence For Healthcare HC@AIxIA 2023

2023-07-07 Thread Francesco Calimeri
meeting: Right after the workshop ___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] ICTH 2023 CFPs (Final Extension): The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare

2023-07-06 Thread Ali BENZERBADJ
22162 E-mail(s):.benzerb...@univ-temouchent.edu.dz , ali_b...@yahoo.fr, ___________ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] EUSPN 2023 CfPs (Final Extension): The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks

2023-07-06 Thread Ali BENZERBADJ
61622162 E-mail(s):.benzerb...@univ-temouchent.edu.dz , ali_b...@yahoo.fr, ___________ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] CFP : CPP 2024 -- Certified Proofs and Programs

2023-07-05 Thread Brigitte Pientka
itte Pientka mailto:bpien...@cs.mcgill.ca>> signature.asc Description: Message signed with OpenPGP ___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

  1   2   3   4   5   6   7   8   9   10   >