haskell

Messages by Date

2023/05/04 Re: [Haskell] The Point of this List James Flanagan
2023/05/03 Re: [Haskell] The Point of this List Thorsten Wißmann
2023/05/01 Re: [Haskell] The Point of this List Ivan Perez
2023/05/01 [Haskell] The Point of this List Dominic Steinitz
2023/05/01 [Haskell] EUSPN 2023 CFPs:The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2023) Ali BENZERBADJ
2023/05/01 [Haskell] ICTH 2023 CFPs:The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH 2023) Ali Benzerbadj via Haskell
2023/04/28 [Haskell] SAS 2023 - Final CFP - Extended full paper deadline: May 1, 2023 louis . rustenholz
2023/04/25 [Haskell] ICTH 2023 CFPs:The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH 2023) Ali BENZERBADJ
2023/04/25 [Haskell] The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN) Ali BENZERBADJ
2023/04/20 [Haskell] SEIT 2023 CfPs: Deadline extension (FINAL): Apr. 21, 2023]: The 13th International Conference on Sustainable Energy Information Technology (SEIT 2023) Ali BENZERBADJ
2023/04/20 [Haskell] SAS 2023 - Final CFP - Extended deadlines (updates until May 1st) louis . rustenholz
2023/04/20 [Haskell] [CFP] HOPE'23: ACM SIGPLAN Workshop on Higher-Order Programming with Effects (2nd CFP) Daniel Hillerström
2023/04/20 [Haskell] 3-year Research Associate or Research Assistant position in formal verification, using a proof assistant (preferably Isabelle), at the University of Sheffield Andrei Popescu
2023/04/18 [Haskell] PPDP 2023 - Call for Papers Santiago Escobar
2023/04/17 [Haskell] SAS 2023 - Final Call for Papers - Paper Deadline: April 24, 2023 louis . rustenholz
2023/04/17 [Haskell] Call for Papers: Functional Software Architecture - FP in the Large Graham Hutton via Haskell
2023/04/16 [Haskell] CMSB 2023: last call for papers (extended deadlines) Jun PANG
2023/04/16 [Haskell] [MobiSPC 2023 CFPs: Deadline extension (FINAL): Apr. 21, 2023]: The 20th International Conference on Mobile Systems and Pervasive Computing (MobiSPC) Ali BENZERBADJ
2023/04/16 [Haskell] SEIT 2023 CfPs: Deadline extension (FINAL): Apr. 21, 2023]: The 13th International Conference on Sustainable Energy Information Technology (SEIT 2023) Ali BENZERBADJ
2023/04/14 [Haskell] LOPSTR 2023 (Lisbon) - Second Call for Papers - Paper Deadline: May 26, 2023 Daniel Jurjo
2023/04/03 [Haskell] APLAS 2023 first Call for Papers Shin-Cheng Mu
2023/04/03 [Haskell] TyDe 2023 - Call for Papers Youyou Cong
2023/04/03 [Haskell] IFL23 first CFP Pieter Koopman
2023/04/01 [Haskell] SEIT 2023 CfPs: Deadline extension (FINAL): Apr. 21, 2023]: The 13th International Conference on Sustainable Energy Information Technology (SEIT 2023) Ali BENZERBADJ
2023/04/01 [Haskell] [MobiSPC 2023 CFPs: Deadline extension (FINAL): Apr. 21, 2023]: The 20th International Conference on Mobile Systems and Pervasive Computing (MobiSPC) Ali BENZERBADJ
2023/03/30 [Haskell] [CFP] HOPE'23: ACM SIGPLAN Workshop on Higher-Order Programming with Effects (1st CFP) Daniel Hillerström
2023/03/24 [Haskell] CFP: Haskell Symposium 2023 Trevor McDonell
2023/03/23 [Haskell] OPLSS 2023: Summer School Dates Stephanie Weirich
2023/03/22 [Haskell] LOPSTR 2023 - Call for Papers Daniel Jurjo
2023/03/20 [Haskell] ERLANG 2023 CFP - 22nd ACM SIGPLAN Erlang Workshop @ ICFP Kiko Fernandez-reyes A via Haskell
2023/03/19 [Haskell] PPDP 2023 - Preliminary Call for Papers Santiago Escobar
2023/03/16 [Haskell] SEIT 2023 CfPs: The 13th International Conference on Sustainable Energy Information Technology (SEIT): Change of conference date and due dates Ali BENZERBADJ
2023/03/16 [Haskell] MobiSPC 2023 CFPs: The 20th International Conference on Mobile Systems and Pervasive Computing, MobiSPC: Change of conference date and due dates Ali BENZERBADJ
2023/03/16 [Haskell] Call for Papers, Functional Software Architecture - FP in the Large Graham Hutton via Haskell
2023/03/15 [Haskell] SAS 2023 - First Call for Papers - Paper Deadline: April 24, 2023 Manuel Hermenegildo
2023/03/14 [Haskell] CMSB 2023: second call for papers Jun PANG
2023/03/09 [Haskell] PhD or Postdoc Position at LMU Munich about Verified Modal Logics Andrei Popescu
2023/03/08 [Haskell] Call for Talks: Haskell Implementors' Workshop 2023 Ryan Scott
2023/03/06 [Haskell] TYPES 2023: Call for Contributions - Deadline extension Alicia Villanueva
2023/03/06 [Haskell] 1st CfP: SLE 2023 - 16th ACM SIGPLAN International Conference on Software Language Engineering Andrei Chis
2023/03/05 [Haskell] CALCO 2023: Deadline Extension Thorsten Wissmann
2023/03/02 [Haskell] SEIT 2023 CfPs: The 13th International Conference on Sustainable Energy Information Technology (SEIT) Ali BENZERBADJ
2023/02/25 [Haskell] HCVS 2023 - Call for Papers (Extended deadline) Jose F. Morales
2023/02/24 [Haskell] RA position in PL and Machine Learning at Bristol Meng Wang
2023/02/23 [Haskell] CALCO 2023: Final Call for Papers Thorsten Wissmann
2023/02/22 [Haskell] SEIT 2023 CfPs: The 13th International Conference on Sustainable Energy Information Technology (SEIT) Ali BENZERBADJ
2023/02/20 [Haskell] Call for papers, TASE 2023, Bristol, UK, 4-6 July 2023 Huibiao Zhu
2023/02/18 [Haskell] MobiSPC 2023 CFPs: The 20th International Conference on Mobile Systems and Pervasive Computing, MobiSPC Ali BENZERBADJ
2023/02/16 [Haskell] HCVS 2023 - Last Call for Papers Jose F. Morales
2023/02/15 [Haskell] ICFP 2023 Artifact Evaluation Committee: call for nominations Quentin Stiévenart
2023/02/14 [Haskell] SEIT 2023 CfPs: The 13th International Conference on Sustainable Energy Information Technology (SEIT) Ali BENZERBADJ
2023/02/14 [Haskell] ICFP 2023: Last Call for Papers ICFP Publicity via Haskell
2023/02/13 [Haskell] Midlands Graduate School, 2-6 April 2023, Birmingham , UK Graham Hutton via Haskell
2023/02/13 [Haskell] Call for STSMs and ITC conference grants, deadline 1 January 2023 Ambrus Kaposi
2023/02/12 [Haskell] TYPES 2023 - Call for contributions Alicia Villanueva
2023/02/08 [Haskell] ARRAY 2023 Call for Papers - please help disseminate Troels Henriksen
2023/02/07 [Haskell] MobiSPC 2023 CFPs: The 20th International Conference on Mobile Systems and Pervasive Computing (MobiSPC) Ali BENZERBADJ
2023/02/05 [Haskell] MobiSPC 2023 CFPs: The 20th International Conference on Mobile Systems and Pervasive Computing (MobiSPC) Ali BENZERBADJ
2023/02/03 [Haskell] CALCO 2023: Second Call for Papers Thorsten Wissmann
2023/02/02 [Haskell] 2nd Call for Participation: BOB 2023 (Berlin, March 17) Stefan Wehr
2023/01/13 [Haskell] CfP: Journal of Systems and Software - Special Issue on Software Language Engineering Andrei Chis
2023/01/12 [Haskell] CMSB 2023: first call for papers Jun PANG
2023/01/11 [Haskell] ICFP 2023 Call for Papers ICFP Publicity via Haskell
2023/01/08 [Haskell] Tenure-track Faculty Positions at the IMDEA Software Institute Manuel Hermenegildo
2023/01/02 [Haskell] [TFP 2023 Call For Participation] 24th International Symposium on Trends in Functional Programming Peter Achten
2022/12/19 [Haskell] CALCO 2023: First Call for Papers Thorsten Wissmann
2022/12/19 [Haskell] HCVS 2023 - First Call for Papers Jose F. Morales
2022/12/07 [Haskell] Dutch FP Day - Call for participation Swierstra, W.S. (Wouter) via Haskell
2022/12/07 [Haskell] Call for STSMs, deadline 1 January 2023 Ambrus Kaposi
2022/12/05 [Haskell] Email Lori Levy via Haskell
2022/12/05 [Haskell] Certified Programs and Proofs (CPP) 2023: Call for Participation Steve Zdancewic
2022/12/05 [Haskell] ICFP 2023: Call for Workshop and Co-Located Event ICFP Publicity via Haskell
2022/11/28 [Haskell] Tenure Track Position at University of Kansas Perry Alexander
2022/11/21 [Haskell] 10 PhD studentships in Nottingham Graham Hutton via Haskell
2022/11/15 [Haskell] [TFP 2023 2nd Call for Papers] 24th International Symposium on Trends in Functional Programming Peter Achten
2022/11/14 [Haskell] Sam Staton giving this year's LMS/BCS-FACS Evening Seminar (online) -- registration open until this Wednesday at 5PM, UTC Andrei Popescu
2022/11/13 [Haskell] The 6th International Conference on Emerging Data and Industry (EDI40: Leuven, Belgium March 15-17, 2023): Paper Submission Due: November 15, 2022 (firm) Ali BENZERBADJ
2022/11/11 [Haskell] [EDI40 CFPs: Deadline Extension (FINAL): Nov. 15, 2022]: The 6th International Conference on Emerging Data and Industry (EDI40) Ali BENZERBADJ
2022/11/11 [Haskell] Call for papers, TASE 2023, Bristol, UK, 4-6 July 2023 Huibiao Zhu
2022/11/09 [Haskell] 2nd Call for Contributions: BOB 2023 [March 17, Deadline Nov 21] Stefan Wehr
2022/11/06 [Haskell] [EDI40 CFPs: Deadline Extension (FINAL): Nov. 15, 2022]: The 6th International Conference on Emerging Data and Industry (EDI40) Ali BENZERBADJ
2022/11/01 [Haskell] [EDI40 CFPs: Deadline Extension (FINAL): Nov. 15, 2022]: The 6th International Conference on Emerging Data and Industry (EDI40) Ali BENZERBADJ
2022/10/31 [Haskell] Journal of Functional Programming - Call for PhD Abstracts Graham Hutton via Haskell
2022/10/30 [Haskell] [EDI40 CFPs: Deadline Extension (FINAL): Nov. 15, 2022]: The 6th International Conference on Emerging Data and Industry (EDI40) Ali BENZERBADJ
2022/10/28 [Haskell] [EDI40 CFPs: Deadline Extension (FINAL): Nov. 15, 2022]: The 6th International Conference on Emerging Data and Industry (EDI40) Ali BENZERBADJ
2022/10/18 [Haskell] Call for Contributions: BOB 2023 [March 17, Deadline Nov 21] Stefan Wehr
2022/10/12 [Haskell] [EDI40 CFP: Deadline Extension: Oct. 30, 2022]: The 6th International Conference on Emerging Data and Industry (EDI40) Ali Benzerbadj via Haskell
2022/10/11 [Haskell] AVailable PhD position in parallel functional programming languages Troels Henriksen
2022/10/06 Re: [Haskell] Request for Nominations to the GHC Steering Committee Joachim Breitner
2022/10/06 [Haskell] Request for Nominations to the GHC Steering Committee Joachim Breitner
2022/10/06 [Haskell] [CfP] - DEADLINE EXTENSION - First AIxIA Workshop on Artificial Intelligence For Healthcare HC@AIxIA 2022 Francesco Calimeri
2022/10/05 [Haskell] PADL 2023: Final Call for Papers (with updated deadlines!) Michael Hanus
2022/09/26 [Haskell] ProLaLa 2023 -- Programming Languages and the Law (Jan 15th 2023, Boston) : Deadline Oct 27th 2022 Jonathan Protzenko
2022/09/21 [Haskell] Eelco Visser Commemorative Symposium – 2nd Call for Papers Andrei Chis
2022/09/19 [Haskell] [TFP 2023 Call for Papers] 24th International Symposium on Trends in Functional Programming Peter Achten
2022/09/17 [Haskell] 2nd Call for Papers: PADL 2023 Michael Hanus
2022/09/15 [Haskell] CFP - JFLA 2023 - Journées Francophones des Langages Applicatifs Delphine Demange
2022/09/13 [Haskell] [CfP] - First AIxIA Workshop on Artificial Intelligence For Healthcare HC@AIxIA 2022 Francesco Calimeri
2022/08/29 [Haskell] GHC Proposals session at Haskell Symposium at ICFP Joachim Breitner
2022/08/16 [Haskell] Certified Programs and Proofs (CPP) 2023 Call for Papers Steve Zdancewic
2022/08/14 [Haskell] IFL22: Early registration deadline August 15th Pieter Koopman
2022/08/09 [Haskell] 1st Call for Papers: PADL 2023 Michael Hanus
2022/08/05 [Haskell] PPDP 2022 and LOPSTR 2022 Call for Participation Manuel Hermenegildo
2022/07/26 [Haskell] Call for Papers: Eelco Visser Commemorative Symposium Andrei Chis
2022/07/15 [Haskell] 2nd CFP - IFL22 - The 34th Symposium on Implementation and Application of Functional Languages Pieter Koopman
2022/07/12 [Haskell] CFP GPCE 2022 - 21st International Conference on Generative Programming: Concepts & Experiences Yukiyoshi Kameyama
2022/07/06 [Haskell] CFPs AVFT 2022 INTERNATIONAL CONFERENCE ON ADVANCEMENT IN VEHICULAR & FUTURE TRANSPORTATION WSCON WSCON
2022/07/05 [Haskell] CFPs PCISD 2022 (International Conference on Post Covid Impact on Social Development) WSCON WSCON
2022/07/05 [Haskell] CFPs PCISD 2022 (International Conference on Post Covid Impact on Social Development) WSCON WSCON
2022/07/05 [Haskell] RCRA 2022 last call for paper (-5 days to deadline) cfp
2022/07/05 [Haskell] Second Call for Papers: 15th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2022) Andrei Chis
2022/06/28 [Haskell] LPNMR 2022: Call for participation (Early reg. By July 20th) cfp
2022/06/27 [Haskell] Datalog 2.0 2022 - Third Call for Papers cfp
2022/06/26 [Haskell] Call for STSMs, deadline 1 July 2022 Ambrus Kaposi
2022/06/20 [Haskell] LPNMR 2022: First call for Doctoral Consortium cfp
2022/06/18 [Haskell] POPL 2023 Call for Papers -- deadline Thursday, July 7th, AoE Kristopher K Micinski via Haskell
2022/06/17 [Haskell] TERMGRAPH 2022 Workshop: First Call for Participation Clemens Grabmayer
2022/06/14 [Haskell] Certified Programs and Proofs (CPP) 2023: Call for Papers Steve Zdancewic
2022/06/13 [Haskell] CALL FOR PAPERS - IFL22 - The 34th Symposium on Implementation and Application of Functional Languages Pieter Koopman
2022/06/10 [Haskell] 1st CfP: IFL 2022 - 34th Symposium on Implementation and Application of Functional Languages Troels Henriksen
2022/06/07 [Haskell] ICFP 2022: Call for Tutorials, Panels, and Discussions ICFP Publicity via Haskell
2022/06/05 [Haskell] Call for STSMs, deadline 1 July 2022 Ambrus Kaposi
2022/06/01 [Haskell] ICFP 2022 Student Research Competition: Final Call for Submissions Danel Ahman
2022/05/28 Re: [Haskell] Research fellow position at University of Bristol Meng Wang
2022/05/25 [Haskell] RCRA 2022 - 1st call for papers cfp
2022/05/20 [Haskell] Research fellow position at University of Bristol Meng Wang
2022/05/17 [Haskell] Assistant Professorships in Nottingham Graham Hutton via Haskell
2022/05/15 [Haskell] WPTE 2022 final CFP (deadline: 31 May, publication JLAMP) Stefan Ciobaca
2022/05/13 [Haskell] Final call for participation: Advanced Functional Programming Summer School in Utrecht Swierstra, W.S. (Wouter) via Haskell
2022/05/10 [Haskell] SPLV 2022 - Call for Participation Filip Sieczkowski
2022/05/10 [Haskell] LOPSTR 2022 - Deadline extension Alicia Villanueva
2022/05/10 [Haskell] Full professorships at Utrecht University Swierstra, W.S. (Wouter) via Haskell
2022/05/09 [Haskell] [TERMGRAPH-2022] 2-day extension submission deadline: May 12 Clemens Grabmayer
2022/05/09 [Haskell] ICFP 2022 Student Research Competition: Call for Submissions [2nd CfP] Daniel Hillerström
2022/05/07 [Haskell] CRiSIS 2022 CFP: The 17th International Conference on Risks and Security of Internet and Systems (CRiSIS 2022) SAOUSSEN CHEIKHROUHOU
2022/05/04 [Haskell] PPDP 2022 - 2nd Call for Papers Manuel Hermenegildo
2022/05/03 [Haskell] Journal of Functional Programming - Call For PhD Abstracts Graham Hutton via Haskell
2022/04/29 [Haskell] WPTE 2022 cfp (extended deadline, journal publication) Stefan Ciobaca
2022/04/28 [Haskell] TERMGRAPH 2022 Workshop: Final Call for Papers Clemens Grabmayer
2022/04/26 [Haskell] Position of Lecturer or Senior Lecturer in Cybersecurity at University of Sheffield Andrei Popescu
2022/04/25 [Haskell] FLOPS 2022: the 16th International Symposium on Functional and Logic Programming: Call For Participation & Workshop talk proposals Taro Sekiyama
2022/04/22 [Haskell] JFLA 2022: Call for Participation (in French) Timothy Bourke
2022/04/20 [Haskell] Datalog 2.0 2022 - Second Call for Papers (opportunity for TPLP rapid publication) cfp
2022/04/19 [Haskell] ICFP'22 Artifact Evaluation Committee: call for nominations Jannis Limperg via Haskell
2022/04/18 [Haskell] BX 2022 - Call for papers (deadline 14 May) Li-yao Xia
2022/04/16 [Haskell] WPTE 2022: Call for Papers Stefan Ciobaca
2022/04/13 [Haskell] LPNMR 2022 - Last Call for Papers cfp
2022/04/13 [Haskell] Erlang 2022 - Call for Papers Erlang Workshop
2022/04/10 [Haskell] ICFP 2022 Student Research Competition: Call for Submissions Danel Ahman
2022/04/08 [Haskell] Utrecht Summer School on Advanced Functional Programming 2022 Swierstra, W.S. (Wouter) via Haskell
2022/04/03 [Haskell] Fully Funded PhD Positions in the Safety and Security of Advanced Systems Group (Exeter, UK, Deadline 2022-04-29) Achim D. Brucker
2022/04/03 [Haskell] TERMGRAPH 2022 Workshop: Second Call for Papers Clemens Grabmayer
2022/04/01 [Haskell] CfP: HLPP 2022: The 15th International Symposium on High-level Parallel Programming and Applications Clemens Grelck via Haskell
2022/03/28 [Haskell] Datalog 2.0 - 1st Call for Papers cfp
2022/03/24 [Haskell] Call for STSMs, deadline 3 April 2022 Ambrus Kaposi
2022/03/24 [Haskell] CMCS 2022: Call for Participation Thorsten Wissmann
2022/03/23 [Haskell] FNC'22 CFP (Extended): The 17th International Conference on Future Networks and Communications (August 9-11, Niagara Fall, Canada) Jacob Speiran
2022/03/23 [Haskell] LPNMR 2022 - 2nd Call for Papers cfp
2022/03/15 [Haskell] GPCE 2022 Call for Papers Yukiyoshi Kameyama
2022/03/14 [Haskell] Midlands Graduate School: Accommodation and second (final) call for participation Nicolai Kraus
2022/03/13 [Haskell] ACM Workshop on Functional Art, Music, Modelling and Design - Call for Papers, Demos, and Performances michael . sperber
2022/03/13 [Haskell] [Call for participation] TFPiE and TFP online events March 16-18 Peter Achten
2022/03/08 [Haskell] Call for STSMs, deadline 3 April 2022 Ambrus Kaposi
2022/03/03 [Haskell] The 19th International Conference on Mobile Systems and Pervasive Computing (MobiSPC) Orven Llantos
2022/03/03 [Haskell] Postdoc and PhD position in homotopy type theory Nicolai Kraus
2022/03/02 [Haskell] FNC'22 CfPs: The 17th International Conference on Future Networks and Communications (August 9-11, Niagara Falls, Canada) Jacob Speiran
2022/02/23 [Haskell] 2nd Call for Participation: Virtual BOB 2022 (March 11) Stefan Wehr
2022/02/22 [Haskell] LPNMR 2022 - last call for workshops - 3 days to deadline cfp
2022/02/21 [Haskell] Call for Papers: PACMPL issue ICFP 2022 ICFP Publicity via Haskell
2022/02/21 [Haskell] [TFP'22] final call for papers: Trends in Functional Programming 2022 (deadline March 7 2022) Peter Achten
2022/02/21 [Haskell] 22nd Midlands Graduate School, 10-14 April 2022: Call for Participation Nicolai Kraus
2022/02/17 [Haskell] The 19th International Conference on Mobile Systems and Pervasive Computing (MobiSPC) Orven Llantos
2022/02/15 [Haskell] ZuriHac 2022 takes place as an in-person event 11-13 June, registrations now open Jasper Van der Jeugt
2022/02/14 [Haskell] Call for Participation: ´Virtual BOB 2022 (March 11, registration open) michael . sperber
2022/02/11 [Haskell] LPNMR 2022 - second call for workshops cfp
2022/02/07 [Haskell] First Call for Papers: 15th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2022) Andrei Chis
2022/02/05 [Haskell] ARRAY 2022: Call for Papers Troels Henriksen
2022/02/01 [Haskell] The 19th International Conference on Mobile Systems and Pervasive Computing (MobiSPC) Orven Llantos
2022/01/30 Re: [Haskell] Request for Nominations to the GHC Steering Committee Chris Dornan
2022/01/29 [Haskell] Request for Nominations to the GHC Steering Committee Joachim Breitner
2022/01/27 [Haskell] LPNMR 2022 - Call for Workshops cfp
2022/01/25 [Haskell] CMCS 2022: Deadline extension Thorsten Wissmann
2022/01/21 [Haskell] CMCS 2022: Final Call for Papers Thorsten Wissmann
2022/01/19 [Haskell] LPNMR 2022 - Call for Papers cfp
2022/01/18 [Haskell] ETAPS Test of Time Award 2022, 2nd call for nominations Tarmo Uustalu
2022/01/14 [Haskell] TERMGRAPH 2022 workshop: First Call for Papers Clemens Grabmayer via Haskell
2022/01/14 [Haskell] Postdoc positions on Formal Verification for Zero-Trust IoT Systems at Kyoto University and National Institute of Informatics (NII), Japan Taro Sekiyama
2022/01/13 [Haskell] Call for Participation: BOB 2022 (March 11, Berlin or online) Stefan Wehr
2022/01/11 [Haskell] [TFP'22] second call for papers: Trends in Functional Programming 2022 moved to March 17-18 online (together with TFPiE) Peter Achten
2022/01/10 [Haskell] CMCS 2022: Second Call for Papers Thorsten Wissmann
2022/01/03 [Haskell] Call for STSMs, deadline 16 January 2022 Ambrus Kaposi
2022/01/02 [Haskell] PEPM 2022 - Call for Participation Youyou Cong
2021/12/28 [Haskell] ETAPS Test of Time Award 2022, call for nominations Tarmo Uustalu
2021/12/27 [Haskell] Postdoctoral Research Assistant position at University of Edinburgh Philip Wadler
2021/12/17 [Haskell] IJCAR 2022 - Call for Papers Andrei Popescu
2021/12/16 [Haskell] CFP : INTERNATIONAL CONFERENCE ON INTERDISCIPLINARY ASPECTS OF COMPUTER TECHNOLOGY AND ENGINEERING IACTE - World Science Conferences
2021/12/15 [Haskell] Fully (UK Home) Funded PhD Positions in the Safety and Security of Advanced Systems Group (Exeter, UK, Deadline 2021-01-24) Achim D. Brucker
2021/12/14 [Haskell] Call for Participation: 24th International Symposium on Practical Aspects of Declarative Languages (PADL 2022) James Cheney
2021/12/09 [Haskell] Tenure Track Position at University of Kansas Perry Alexander
2021/12/08 [Haskell] Certified Programs and Proofs (CPP) 2022: Call for Participation Andrei Popescu