haskell  

Messages by Thread

• [Haskell] Call for Papers: FLOPS 2022 Michael Hanus
• [Haskell] ETAPS 2022 2nd joint call for papers Tarmo Uustalu
• [Haskell] Second Call for Papers: 24th International Symposium on Practical Aspects of Declarative Languages (PADL 2022) James Cheney
• [Haskell] PEPM 2022 - Second Call for Papers Youyou Cong
• [Haskell] Call for Presentations: PriSC 2022 @ POPL 2022 Jonathan Protzenko
• [Haskell] [EDI40-2022] Call for workshop proposals: Conference on Emerging Data and Industry 4.0. Porto, Portugal (March 22-25, 2022) Wim Ectors via Haskell
• [Haskell] The 5th International Conference on Emerging Data and Industry 4.0 (EDI40) Porto, Portugal March 22-25, 2022 Shashank Swarup
  • Re: [Haskell] The 5th International Conference on Emerging Data and Industry 4.0 (EDI40) Porto, Portugal March 22-25, 2022 Ivan Perez
• [Haskell] CFP: The 6th International Workshop on Agent-based Modeling and Applications with SARL (SARL-22) Yazan Mualla
• [Haskell] CFW: The 13th International Conference on Ambient Systems, Networks and Technologies (ANT-2022) Yazan Mualla
• [Haskell] CFW: The 5th International Conference on Emerging Data and Industry 4.0 (EDI40) Yazan Mualla
• [Haskell] [CfP]: 13th International Conference on Ambient Systems, Networks and Technologies (ANT) Porto, Portugal, March 22-25, 2022 Aneta Poniszewska-Marańda I72
• [Haskell] [CfP]: 5th International Conference on Emerging Data and Industry 4.0 (EDI40) Porto, Portugal, March 22-25, 2022 Aneta Poniszewska-Marańda I72
• [Haskell] [CFP]11th Int. Conf. on Sensor Networks :: Submission Deadline - 14th of September calendarsites
• [Haskell] 30 months postdoctoral research position at University of Sheffield involving proof-assistant-based verification -- application deadline 23 Sept. 2021 Andrei Popescu
• [Haskell] Call for Contributions: WITS 2022 Jesper Cockx
• [Haskell] IFL'21 final call for participation Pieter Koopman
• [Haskell] Research Assistant/Associate at Department of Computing, Imperial College London Barwell, Adam D
  • [Haskell] Research Assistant/Associate at Department of Computing, Imperial College London Francisco Ferreira
• [Haskell] IFL'21 call for participation Pieter Koopman
• [Haskell] Call for Participation: Haskell Implementors' Workshop 2021 Ningning Xie
• [Haskell] Certified Programs and Proofs (CPP) 2022: Final Call for Papers Andrei Popescu
• [Haskell] PEPM 2022 - First Call for Papers Youyou Cong
• [Haskell] Preliminary Call for Papers: FLOPS 2022 Michael Hanus
• [Haskell] Call for Workshops - FLoC 2022 Victor Perez
• [Haskell] Call for Lightning Talks: Haskell Implementors' Workshop @ ICFP'21 Ningning Xie
• [Haskell] Call for Participation: ICFP 2021 Sam Tobin-Hochstadt via Haskell
• [Haskell] IFL'21 Final call for papers Pieter Koopman
• [Haskell] Call for Participation: PPDP & LOPSTR 2021 Niccolò Veltri
• [Haskell] Call for Participation: CALCO & MFPS 2021 Thorsten Wissmann
• [Haskell] CFP: 24th International Symposium on Practical Aspects of Declarative Languages (PADL 2022) James Cheney
• [Haskell] Fwd: Haskell program introspection tooling development. Csaba Hruska
• [Haskell] REBLS 2021: Call for papers Louis Mandel
• [Haskell] ETAPS 2022 1st joint call for papers Tarmo Uustalu
• [Haskell] JFLA 2022: Call for papers (in French) Timothy Bourke
• [Haskell] IFL'21 Third call for papers Pieter Koopman
• [Haskell] Vacancy for a PhD in Computer Science and Functional Programming Edison Mera
• [Haskell] Call for Papers Becker , Sören
• [Haskell] Formal Methods 2021: Workshops and Tutorials Jun PANG
  • [Haskell] Doctoral Symposium at FM 2021: Call for Research Abstracts Jun PANG
• [Haskell] Data.Traversable Dominik Schrempf
• [Haskell] Call for Participation - SPIN 2021 Laarman, A.W.
• [Haskell] Final Call for Talks: Haskell Implementors' Workshop @ ICFP'21 Ningning Xie
• [Haskell] ICFP 2021 Student Research Competition: Call for Submissions Sam Tobin-Hochstadt via Haskell
• [Haskell] IFL2021 second call for papers Pieter Koopman
• [Haskell] Chordify is looking for Haskell developers Jeroen Bransen via Haskell
  • [Haskell] Chordify is looking for Haskell developers Jeroen Bransen via Haskell
• [Haskell] Certified Programs and Proofs (CPP) 2022: Call for Papers Andrei Popescu
• [Haskell] The 12th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2021) Orven Llantos
  • [Haskell] The 12th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2021) Orven Llantos
  • [Haskell] The 12th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2021) Orven Llantos
• [Haskell] Call for Tutorial, Panel, and Discussion Proposals: ICFP 2021 Sam Tobin-Hochstadt via Haskell
• [Haskell] CFP (ICTH 2021) The 11th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare) Leuven, Belgium Hana Gharrad
  • Re: [Haskell] CFP (ICTH 2021) The 11th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare) Leuven, Belgium Ivan Perez
  • Re: [Haskell] CFP (ICTH 2021) The 11th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare) Leuven, Belgium Ivan Perez
• [Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) - Extended Deadline 13 June 2021 Mayssa HEMDANI
  • Re: [Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) - Extended Deadline 13 June 2021 Ivan Perez
• [Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) - Extended Deadline 13 june 2021 Emilia Marc
  • Re: [Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) - Extended Deadline 13 june 2021 Ivan Perez
  • Re: [Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) - Extended Deadline 13 june 2021 Ivan Perez
• [Haskell] CALCO 2021: Deadline extension and invited speakers Thorsten Wissmann
• [Haskell] PhD position on the formalization of logical calculi in Saarbrücken Andrei Popescu
• [Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) -Extended Deadline 13 june 2021 Emilia Marc
• [Haskell] CFPs ICTH 2021 (The 11th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare) Leuven, Belgium Hana Gharrad
• [Haskell] International Conference on Informatics Revolution for Smarter Healthcare -(IRSH 2021) -Prague- New extended deadline 13 June Mayssa HEMDANI
• [Haskell] International Conference on Applied Data Science and Intelligence - (ADSI 2021) -New extended deadline 13 june 2021 Emilia Marc
• [Haskell] Position of Lecturer or Senior Lecturer in Cybersecurity at University of Sheffield Andrei Popescu
  • [Haskell] Position of Lecturer or Senior Lecturer in Cybersecurity at University of Sheffield Andrei Popescu
• [Haskell] Final call for the *regular* round of Papers for the Haskell Symposium 2021 Hage, J. (Jurriaan) via Haskell
• [Haskell] Second Call for Talks: Haskell Implementors' Workshop @ ICFP'21 Ningning Xie
• [Haskell] CFPs ICTH 2021 Leuven, Belgium (The 11th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare) Hana Gharrad
• [Haskell] Call for Papers: 19th Asian Symposium on Programming Languages and Systems (APLAS 2021) Sam Lindley
• [Haskell] PPDP 2021 Deadline extension Niccolò Veltri
• [Haskell] FHPNC 2021 - Call for Papers and Extended Abstracts: Extended Deadline Troels Henriksen
• [Haskell] CFP: SLE 2021 - 14th ACM SIGPLAN International Conference on Software Language Engineering Andrei Chis
• [Haskell] LOPSTR 2021 - Call for Papers: Extended Deadline Niccolò Veltri
• [Haskell] First Call for Papers: Formal Methods Teaching Workshop and Tutorial (FMTea 2021) João F . Ferreira
• [Haskell] Second call for the *regular* round of Papers for the Haskell Symposium 2021 Hage, J. (Jurriaan) via Haskell
• [Haskell] [Deadline Extension] WPTE 2021: Call For Papers Keisuke Nakano
• [Haskell] CALCO 2021: Second call for papers Thorsten Wissmann
• [Haskell] CFPs [ICTH 2021] Leuven, Belgium (The 11th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare) Hana Gharrad
• [Haskell] SETTA 2021: 2nd CFP updated with a special issue for STTT songfu1...@shanghaitech.edu.cn
• [Haskell] (Online) Utrecht Summer School on Advanced functional programming Swierstra, W.S. (Wouter) via Haskell
  • Re: [Haskell] (Online) Utrecht Summer School on Advanced functional programming Ernesto Rodriguez
• [Haskell] [CFP] Call for Abstracts and Call for the Wireless Networks and Mobile Systems Doctoral Consortium (Submission Deadline :: 12th of May) Monica Saramago via Haskell
• [Haskell] [CFP] Call for Abstracts and Call for the e-Business 2021 Doctoral Consortium (Submission Deadline :: 12th of May) Monica Saramago via Haskell
• [Haskell] ACM Workshop on Functional Art, Music, Modelling and Design - Last Call for Papers, Demos, and Performances david . janin
• [Haskell] CFPs (ICTH 2021) Leuven, Belgium (The 11th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare) Hana Gharrad
• [Haskell] [Announcement] ZuriHac 2021 (18-20 June) - Registration now open Jasper Van der Jeugt
• [Haskell] Free online intro/advanced Haskell courses [YouTube] Graham Hutton
• [Haskell] PPDP 2021 Call for Papers Tarmo Uustalu
• [Haskell] First call for the *regular* round of Papers for the Haskell Symposium 2021 Hage, J. (Jurriaan) via Haskell
• [Haskell] [ANNOUNCE] GHC 9.2.1-alpha2 released Ben Gamari
• [Haskell] Bx 2021 - FINAL CALL FOR PAPERS Meng Wang
• [Haskell] [CFP] NetSys2021 WKSHPS: 1st International Workshop on Cyber Forensics and Advanced Threat Investigations in Emerging Technologies Andrew Zayine
• [Haskell] [CFP] Last Call :: 18th Int. Conf. on Wireless Networks and Mobile Systems (Deadline 29th of April) Monica Saramago via Haskell
• [Haskell] CFP SETTA 2021 - Symposiumon Dependable Software Engineering: Theories, Tools and Applications songfu1...@shanghaitech.edu.cn
• [Haskell] CfP: 11th International Conference on Sustainable Energy Information Technology August 9-12, 2021, Leuven, Belgium Aneta Poniszewska-Marańda I72
• [Haskell] [FNC-2021] CFP final deadline: Conference on Future Networks and Communications. Leuven, Belgium (Aug 9-12, 2021) Wim Ectors via Haskell
• [Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) Mayssa HEMDANI
  • [Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) Mayssa HEMDANI
  • [Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) Mayssa HEMDANI
• [Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) Mayssa HEMDANI
  • [Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) Mayssa HEMDANI
  • [Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) Mayssa HEMDANI
• [Haskell] Bx 2021 - CALL FOR PAPERS Meng Wang
• [Haskell] IFL2021 First call for papers Pieter Koopman
• [Haskell] [FNC-2021] CFP deadline extension: Conference on Future Networks and Communications. Leuven, Belgium (Aug 9-12, 2021) Wim Ectors via Haskell
• [Haskell] PhD Position in Programming Languages at TU Delft Casper Bach Poulsen
• [Haskell] Call for Talks: Haskell Implementors' Workshop Ningning Xie
• [Haskell] International Conference on Applied Data Science and Intelligence - (ADSI 2021) Mayssa HEMDANI
  • [Haskell] International Conference on Applied Data Science and Intelligence - (ADSI 2021) Mayssa HEMDANI
  • [Haskell] International Conference on Applied Data Science and Intelligence - (ADSI 2021) Mayssa HEMDANI
• [Haskell] Call for Papers: Erlang Workshop 2021 Erlang Workshop
• [Haskell] CFP] 18th Int. Conf. on Wireless Networks and Mobile Systems :: New Submission Deadline 01st of April calendarsites
• [Haskell] The 18th International Conference on Mobile Systems and Pervasive Computing (MobiSPC) Orven Llantos
  • [Haskell] The 18th International Conference on Mobile Systems and Pervasive Computing (MobiSPC) Orven Llantos
  • [Haskell] The 18th International Conference on Mobile Systems and Pervasive Computing (MobiSPC) Orven Llantos
  • [Haskell] The 18th International Conference on Mobile Systems and Pervasive Computing (MobiSPC) Orven Llantos
• [Haskell] 21st Midlands Graduate School in the Foundations of Computing Science: Final Call for Participation Andrei Popescu
• [Haskell] Final Call for the early round of Papers for the Haskell Symposium 2021 Hage, J. (Jurriaan) via Haskell
  • [Haskell] Final Call for the early round of Papers for the Haskell Symposium 2021 Hage, J. (Jurriaan) via Haskell
• [Haskell] Lecturer in Verification position at University of Sheffield: deadline 29 March 2021 Andrei Popescu
• [Haskell] International Conference on Informatics Revolution for Smarter Healthcare Mayssa HEMDANI
• [Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility Mayssa HEMDANI
  • [Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility Mayssa HEMDANI
• [Haskell] Call for papers for the Workshop on Functional High-Performance and Numerical Computing (FHPNC) Troels Henriksen
• [Haskell] Second Call for Papers for the Haskell Symposium 2021 Hage, J. (Jurriaan) via Haskell
• [Haskell] [CFP]18th International Conference on Wireless Networks and Mobile Systems uo mktg calendar sites
• [Haskell] CFP: International Conference on Recent Theories and Applications in Transportation and Mobility Mayssa HEMDANI
• [Haskell] ETAPS 2021 call for participation Tarmo Uustalu
• [Haskell] CFP : International Conference on Applied Data Science and Intelligence - (ADSI 2021) Mayssa HEMDANI
• [Haskell] CFP : International Conference on Informatics Revolution for Smarter Healthcare Mayssa HEMDANI
• [Haskell] MobiSPC 2021 : Call for Workshop Proposals (The 18th International Conference on Mobile Systems and Pervasive Computing Muhammad ADNAN
• [Haskell] First Call for Papers for the Haskell Symposium 2021 Hage, J. (Jurriaan) via Haskell
• [Haskell] Final Call for Participation: BOB 2021 (February 26, online) Stefan Wehr
• [Haskell] CFP : International Conference on Recent Theories and Applications in Transportation and Mobility Mayssa HEMDANI
• [Haskell] Open Position of Research Engineer on AI and mobility simulation at the CIAD Lab (UTBM) France Yazan Mualla
  • [Haskell] Open Position of Research Engineer on AI and mobility simulation at the CIAD Lab (UTBM) France Yazan Mualla
• [Haskell] CFP : International Conference on Applied Data Science and Intelligence Mayssa HEMDANI
• [Haskell] 21st Midlands Graduate School in the Foundations of Computing Science: Call for Participation Andrei Popescu
• [Haskell] The 3rd International Workshop on EXplainable and TRAnsparent AI and Multi-Agent Systems (EXTRAAMAS 2021) Yazan Mualla
  • [Haskell] The 3rd International Workshop on EXplainable and TRAnsparent AI and Multi-Agent Systems (EXTRAAMAS 2021) Yazan Mualla
• [Haskell] SEIT-21: 11th International Conference on Sustainable Energy Information Technology (SEIT 2021) Leuven, Belgium Aneta Poniszewska-Marańda I72
  • [Haskell] SEIT-21: 11th International Conference on Sustainable Energy Information Technology (SEIT 2021) Leuven, Belgium Aneta Poniszewska-Marańda I72
• [Haskell] [FNC-2021] Call for workshop proposals: Conference on Future Networks and Communications. Leuven, Belgium (Aug 9-12, 2021) Wim Ectors
• [Haskell] WPTE 2021 (FIRST Call For Papers) Keisuke Nakano
• [Haskell] [ANNOUNCE] GHC 8.10.4 released Ben Gamari
• [Haskell] FNC 2021: Call for Workshop Proposals (The 16th International Conference on Future Networks and Communications) Muhammad ADNAN
  • [Haskell] FNC 2021: Call for Workshop Proposals (The 16th International Conference on Future Networks and Communications) Muhammad ADNAN
• [Haskell] [CFP] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) Mayssa HEMDANI
• [Haskell] [ANNOUNCE] GHC 9.0.1 released Ben Gamari
• Re: [Haskell] Haskell.org nomination results Emily Pillmore
• [Haskell] Call for Papers: PACMPL issue ICFP 2021 Sam Tobin-Hochstadt via Haskell
• [Haskell] ETAPS Test of Time Award 2021, call for nominations Tarmo Uustalu
• [Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) -Prague Emilia Marc
  • [Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) -Prague Emilia Marc
  • [Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) -Prague Emilia Marc
  • [Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) -Prague Emilia Marc
  • [Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) -Prague Emilia Marc
  • [Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) -Prague Emilia Marc
  • [Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) -Prague Emilia Marc
  • [Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) -prague Emilia Marc
  • [Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) -Prague Emilia Marc
  • Re: [Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) -Prague Ivan Perez
  • [Haskell] Spam Control Gershom B
• [Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) -Prague Emilia Marc
  • [Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) -Prague Emilia Marc
  • [Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) -Prague Emilia Marc
  • [Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) -Prague Emilia Marc
  • [Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) -Prague Emilia Marc
  • [Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) -Prague Emilia Marc
  • [Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) -Prague Emilia Marc
  • [Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) -Prague Emilia Marc
• [Haskell] International Conference on Applied Data Science and Intelligence - (ADSI 2021) -Prague Emilia Marc
  • [Haskell] International Conference on Applied Data Science and Intelligence - (ADSI 2021) -Prague Emilia Marc
  • [Haskell] International Conference on Applied Data Science and Intelligence - (ADSI 2021) -Prague Emilia Marc
  • [Haskell] International Conference on Applied Data Science and Intelligence - (ADSI 2021) -Prague Emilia Marc
  • [Haskell] International Conference on Applied Data Science and Intelligence - (ADSI 2021) -Prague Emilia Marc
  • [Haskell] International Conference on Applied Data Science and Intelligence - (ADSI 2021) -Prague Emilia Marc
  • [Haskell] International Conference on Applied Data Science and Intelligence - (ADSI 2021) -Prague Emilia Marc
  • [Haskell] International Conference on Applied Data Science and Intelligence - (ADSI 2021) -Prague Emilia Marc
• [Haskell] [Smart Cities] Invitation: Special Issue "Cloud-Based IoT Applications for Smart Cities" Aneta Poniszewska-Marańda I72
  • [Haskell] [Smart Cities] Invitation: Special Issue "Cloud-Based IoT Applications for Smart Cities" Aneta Poniszewska-Marańda I72
  • [Haskell] [Smart Cities] Invitation: Special Issue "Cloud-Based IoT Applications for Smart Cities" Aneta Poniszewska-Marańda I72
• [Haskell] [Electronics] Invitation: Special Issue "Security Measures in Vehicular Ad-Hoc Networks" Aneta Poniszewska-Marańda I72
  • [Haskell] [Electronics] Invitation: Special Issue "Security Measures in Vehicular Ad-Hoc Networks" Aneta Poniszewska-Marańda I72
  • [Haskell] [Electronics] Invitation: Special Issue "Security Measures in Vehicular Ad-Hoc Networks" Aneta Poniszewska-Marańda I72
• [Haskell] [Information] Invitation: Special Issue "Information for Business and Management–Software Development for Data Processing and Management" Aneta Poniszewska-Marańda I72
  • [Haskell] [Information] Invitation: Special Issue "Information for Business and Management–Software Development for Data Processing and Management" Aneta Poniszewska-Marańda I72
• [Haskell] [Lambda Days + TFP + TFPIE 2021] call for participation Peter Achten
• [Haskell] MobiSPC 2021: Call for Workshop Proposals (The 18th International Conference on Mobile Systems and Pervasive Computing) Muhammad ADNAN
• [Haskell] Formal Methods 2021 -- 2nd call for workshop & tutorial proposals Jun PANG
  • [Haskell] Formal Methods 2021 -- Call for papers Jun PANG
  • [Haskell] Formal Methods 2021 (virtual conference): Call for papers Jun PANG
  • [Haskell] Formal Methods 2021 (virtual conference): Final call for papers Jun PANG
• [Haskell] 14 Jan 2021 at 5pm CET - ZOOM - Public Vienna World Logic Day Lecture with Georg Gottlob - Knowledge Processing, Logic, and the Future of AI Rozman, Mihaela
• [Haskell] 2nd Call for Participation: BOB 2021 (February 26, online) Stefan Wehr
• [Haskell] PEPM 2021 - Call for Participation Sam Lindley
• [Haskell] [TFP'21] final call for papers: Trends in Functional Programming 2021, 17-19 February (online event with Lambda Days 2021 & TFPIE 2021) Peter Achten

• Earlier messages
• Later messages