haskell  

Messages by Thread

• [Haskell] [ANT2018] 9th International Conference on Ambient Systems, Networks and Technologies. Porto, Portugal (May 8-11, 2018) Wim Ectors
  • [Haskell] [ANT2018] 9th International Conference on Ambient Systems, Networks and Technologies. Porto, Portugal (May 8-11, 2018) Wim Ectors
  • [Haskell] [ANT2018] 9th International Conference on Ambient Systems, Networks and Technologies. Porto, Portugal (May 8-11, 2018) Wim Ectors
• [Haskell] Announce: Haskell Platform 8.2.1 Gershom B
• [Haskell] Haskell in Leipzig 2017: last call for papers Wolfgang Jeltsch
• [Haskell] RV 2017 - 2nd Call for Participation Klaus Havelund
• Re: [Haskell] Haskell Digest, Vol 168, Issue 3 Geraldus
• [Haskell] [ANN] brittany - haskell source code formatting tool - hackage release lennart spitzner
• [Haskell] Haskell in Leipzig 2017: submission deadline shifted by two weeks Wolfgang Jeltsch
• [Haskell] PEPM 2018 Call for Papers PEPM Workshop
• [Haskell] [ANNOUNCE] GHC 8.2.1 available Ben Gamari
• [Haskell] Static analysis engineering at Facebook (Clang/OCaml) Don Stewart
  • Re: [Haskell] [Haskell-cafe] Static analysis engineering at Facebook (Clang/OCaml) Don Stewart
• [Haskell] PLMW@ICFP: CALL FOR SCHOLARSHIP APPLICATIONS and PARTICIPATION (deadline July 31!) Neel Krishnaswami
  • [Haskell] PLMW@ICFP: CALL FOR SCHOLARSHIP APPLICATIONS and PARTICIPATION (deadline July 31!) Neel Krishnaswami
• [Haskell] RV 2017 - 1st Call for Participation Klaus Havelund
• [Haskell] Call for Participation: ICFP 2017 Lindsey Kuper via Haskell
  • [Haskell] Call for Participation: ICFP 2017 Lindsey Kuper
• [Haskell] Deadline extension: WPTE 2017 Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation David Sabel
• [Haskell] 2nd CfP: IFL 2017 (29th Symposium on Implementation and Application of Functional Languages) publicityifl
• [Haskell] Call for Participation: Higher-Order Programming with Effects, HOPE 2017 François Pottier
• [Haskell] <Programming> 2018: 2nd Call for Papers Sylvia Grewe
• [Haskell] Final Call for Papers: WPTE 2017 Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation David Sabel
• [Haskell] [ANN] [Reminder] Budapest Haskell Hackathon 2017, 29-30th July 2017 Daniel Berecz
• [Haskell] Haskell in Leipzig 2017: 2nd call for papers Wolfgang Jeltsch
• [Haskell] CFP (Last Call): ACM MobiWac 2017, Miami Beach, USA Robson De Grande
• [Haskell] TYPES 2017 post-proceedings open call for papers Ambrus Kaposi
  • [Haskell] TYPES 2017 post-proceedings open call for papers Ambrus Kaposi
• [Haskell] CFP: ACM MobiWac 2017, Miami Beach, USA (Extended Deadline) Robson De Grande
• [Haskell] RV-CuBES Deadline Extension Klaus Havelund
• [Haskell] FLOPS2018: First CFP Martin Sulzmann via Haskell
• [Haskell] 2nd Call for Papers: WFLP/WLP 2017 Michael Hanus
• [Haskell] 13th Reasoning Web Summer School (RW 2017): PARTICIPATION STILL OPEN Francesco Calimeri
• [Haskell] SPLASH 2017: 1st Combined Call for Workshop Contributions SPLASH Publicity
• [Haskell] [ANN] Budapest Haskell Hackathon 2017, 29-30th July 2017 Daniel Berecz
• [Haskell] Hi everybody, I'm happy to announce that our local user group will hold a Haskell Hackathon in Budapest this year (this will be the second)! We will hold it from the 29th to the 30th of July (Saturday & Sunday). You can find out more on the following link: https://wiki.haskell.org/Budapest_Hackathon_2017 We will reguraly update the site with new information. If you decide to come, please fill out the following Google Form: https://goo.gl/forms/QjTNdXTD1aEOMEQU2 If you have a project, demo, or talk that you want to bring to the event please contact us, and we can talk about the details. You can find our contact info the events wiki site, or you can just contact me directly. The event will be open to people of all experience levels, from beginners to gurus. The only requisite is that you’re interested in the Haskell language, and want to hang out with us, and have a good time! Greetings from Daniel, and the other BP-HUG organizers. Daniel Berecz
• [Haskell] Haskell in Leipzig 2017: 1st call for papers Wolfgang Jeltsch
• [Haskell] GPCE 2017 - 2nd Call for Papers (16th International Conference on Generative Programming: Concepts & Experiences) Cyrus Omar
• [Haskell] ANNOUNCE: streaming-conduit Ivan Lazar Miljenovic
• [Haskell] Last call for presentations: CUFP 2017, September 7-9, Oxford, UK Jasper Van der Jeugt
  • Re: [Haskell] Last call for presentations: CUFP 2017, September 7-9, Oxford, UK Jasper Van der Jeugt
• [Haskell] Final CFP: Workshop on Type-driven Development (TyDe '17) Brent Yorgey
• [Haskell] Lectureship/Senior Lectureship Positions at St Andrews Kevin Hammond
• [Haskell] Deadline Extension - SLE 2017 (10th ACM SIGPLAN International Conference on Software Language Engineering) Andrei Chis
• [Haskell] APLAS 2017: June 13 deadline, 2nd CfP, Asian Symposium on Programming Languages and Systems Andreas Abel
• [Haskell] 3rd CfP: SLE 2017 (10th ACM SIGPLAN International Conference on Software Language Engineering) Andrei Chis
• [Haskell] How to Get Mailing List Messages without Haskell Digest Geraldus
  • Re: [Haskell] How to Get Mailing List Messages without Haskell Digest Henk-Jan van Tuyl
• [Haskell] CfP: 2nd Workshop on Actors and Active Objects (WAO 2017); Satellite event of iFM17 [Extended] Salvador Tamarit
• [Haskell] Call for participation: Trends in Functional Programming, 19-21 june 2017 AND Trends in Functional Programming in Education, 22 june 2017, University of Kent, Canterbury Peter Achten
• [Haskell] Deadline Approaching: 20th ACM MSWiM 2017 - Miami Beach, FL Robson De Grande
• [Haskell] Haskell Implementors' Workshop Call for Talks Richard Eisenberg
  • [Haskell] Deadline in 2 days: Haskell Implementors' Workshop Call for Talks Richard Eisenberg
• [Haskell] Deadline extension for FARM 2017 (now June 8) - Workshop on Functional Art, Music, Modelling and Design Michael Sperber
• [Haskell] Call for participation: Trends in Functional Programming, 19-21 june 2017, University of Kent, Canterbury Peter Achten
• [Haskell] ThEdu'17: 2nd Call for Extended Abstracts & Demonstrations Achim D. Brucker
• [Haskell] FHPC'17: Extended deadline and maximum length Jost Berthold
• [Haskell] [ANN] Matterhorn: a terminal client for the MatterMost chat system Jonathan Daugherty
• [Haskell] ANNOUNCE: Haskell Communities and Activities Report (32nd ed., May 2017) Mihai Maruseac
• [Haskell] Last call for talk proposals: Higher-Order Programming with Effects, HOPE 2017 François Pottier
• [Haskell] CFP: 20th ACM MSWiM 2017 - Miami Beach, FL Robson De Grande
• [Haskell] Call for Papers: WFLP/WLP 2017 Michael Hanus
• [Haskell] Reminder: Call for Presentations: CUFP 2017, September 7-9, Oxford, UK Jasper Van der Jeugt
• [Haskell] PPDP 2017: ** REVISED PAPER DEADLINE 26 May ** Brigitte Pientka
• [Haskell] <Programming> 2018: Call for Papers Sylvia Grewe
• [Haskell] Workshop on Functional Art, Music, Modelling and Design (Sep 9, Oxford): Call for Papers and Performances Michael Sperber
• [Haskell] Second call for talk proposals: Higher-Order Programming with Effects, HOPE 2017 François Pottier
• [Haskell] Announce: Haskell Platform 8.0.2-a builds for Windows 10 Creators Update Gershom B
• [Haskell] 2nd CfP&P - Workshop on Functional Art, Music, Modelling and Design (Oxford, Sep 9) Mark Santolucito
• [Haskell] PhD student position in the Functional Programming group at Chalmers Mary Sheeran
• [Haskell] Deadline extension may 15: Trends in Functional Programming, 19-21 june 2017, University of Kent, Canterbury Peter Achten
  • Re: [Haskell] Deadline extension may 15: Trends in Functional Programming, 19-21 june 2017, University of Kent, Canterbury Michael Walker
• [Haskell] 2nd CfP: SLE 2017 (10th ACM SIGPLAN International Conference on Software Language Engineering) Andrei Chis
• [Haskell] Call for Papers: 20th ACM MSWiM 2017 - Miami Beach, FL Robson De Grande
• [Haskell] ACM MobiWac 2017, Miami Beach, USA. CALL FOR PAPERS Robson De Grande
• [Haskell] DEADLINE EXTENDED: IEEE DS-RT 2017 - Rome, Italy Robson De Grande
• [Haskell] PPDP 2017: Call For Papers (Abstract 12 May / Paper 19 May) Brigitte Pientka
• [Haskell] [TFPIE'17] Trends in Functional Programming in Education - second call for papers - Peter Achten
• [Haskell] ANNOUNCE: graphviz 2999.19.0.0 Ivan Lazar Miljenovic
• [Haskell] Kernkonzept is hiring! Christiane Berndt
• [Haskell] [ANNOUNCE] Openings for Haskell developers at Standard Chartered Atze Dijkstra
  • [Haskell] [ANNOUNCE] Openings for Haskell developers at Standard Chartered Atze Dijkstra
  • [Haskell] [ANNOUNCE] Openings for Haskell developers at Standard Chartered Atze Dijkstra
• [Haskell] Haskell Symposium deadline in 3 weeks Iavor Diatchki
• [Haskell] Final call for papers: Trends in Functional Programming, 19-21 june 2017, University of Kent, Canterbury Peter Achten
• [Haskell] Deadline Extension: International Workshop on OCL and Textual Modeling (OCL 2017) Achim D. Brucker
• [Haskell] ANN: wxHaskell 0.92.3.0 Henk-Jan van Tuyl
• [Haskell] CFP: ACM MobiWac 2017, Miami Beach, USA Robson De Grande
  • [Haskell] CFP: ACM MobiWac 2017, Miami Beach, USA RODOLFO IPOLITO MENEGUETTE
  • [Haskell] CFP: ACM MobiWac 2017, Miami Beach, USA Robson De Grande
  • [Haskell] CFP: ACM MobiWac 2017, Miami Beach, USA Rodolfo I. Meneguette
  • [Haskell] CFP: ACM MobiWac 2017, Miami Beach, USA Robson De Grande
• [Haskell] Call for participation: TYPES 2017. Registration is open Ambrus Kaposi
• [Haskell] ANN: stego-uuid-1.0.0.0 Dimitri DeFigueiredo
• [Haskell] CFP (Deadline Approaching): IEEE DS-RT 2017 (October 18-20, Rome, Italy) Robson De Grande
• [Haskell] Fwd: Getting ready for Summer of Haskell 2017 Jasper Van der Jeugt
• [Haskell] CUFP 2017 Call for Tutorials Runhang Li
• [Haskell] Senior Lectureships in Computer Science at Chalmers and Gothenburg U Andreas Abel
• [Haskell] ANN: Compose Unconference and Exchange [NYC, May 20-21] Gershom B
• [Haskell] 6 Assistant professor positions at the University of Utrecht Wouter Swierstra
• [Haskell] RV 2017 - Deadline Extension: full submissions May 8 Klaus Havelund
• [Haskell] Last CFP - Extended deadline - HLPP'2017 - The 10th International Symposium on High-Level Parallel Programming and Applications Clemens Grelck
• [Haskell] CFP: 20th ACM MSWiM - Miami Beach, USA Robson De Grande
• [Haskell] CFP IEEE/ACM DS-RT 2017, Rome, Italy Robson De Grande
• [Haskell] RV and RV-CuBES 2017 - Call for papers and tutorials Klaus Havelund
• [Haskell] SPLASH 2017: 3rd Combined Call for Contributions SPLASH Publicity
• [Haskell] functional programming jobs at genomics company in New York City Ashish Agarwal
• [Haskell] ANN: HacFreiburg 2017, Friday 4 August - Sunday 6 August, Freiburg, Germany Stefan Wehr
• [Haskell] 2nd CFP - Only Two Weeks Left: International Workshop on OCL and Textual Modeling (OCL 2017) Achim D. Brucker
• [Haskell] Compose Conference Call for Participation [NYC, May 18-19] Gershom B
• [Haskell] Haskell Tools Boldizsár Németh
  • Re: [Haskell] Haskell Tools Ivan Lazar Miljenovic
  • Re: [Haskell] Haskell Tools Boldizsár Németh
• [Haskell] OPLSS: register by April 15th Amal Ahmed
• [Haskell] CFP: IEEE DS-RT 2017 (October 18-20, Rome, Italy) Robson De Grande
  • [Haskell] CFP: IEEE DS-RT 2017 (October 18-20, Rome, Italy) RODOLFO IPOLITO MENEGUETTE
  • [Haskell] CFP: IEEE DS-RT 2017 (October 18-20, Rome, Italy) Robson De Grande
• [Haskell] 20th ACM MSWiM 2017 - Miami Beach, FL Robson De Grande
  • [Haskell] 20th ACM MSWiM 2017 - Miami Beach, FL RODOLFO IPOLITO MENEGUETTE
• [Haskell] Call for Papers DBPL 2017 Alexander Alexandrov
• [Haskell] (Second Call for Participation) First School on Foundations of Programming and Software Systems -- Probabilistic Programming Renato Neves
• [Haskell] 2nd call for papers: Trends in Functional Programming, 19-21 june 2017, University of Kent, Canterbury Peter Achten
• [Haskell] CFP: Workshop on Type-driven Development (TyDe '17) Brent Yorgey
  • [Haskell] 2nd CFP: Workshop on Type-driven Development (TyDe '17) Brent Yorgey
• [Haskell] CFP: WPTE 2017 Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation David Sabel
• [Haskell] Workshop on Functional Art, Music, Modelling and Design (Oxford, Sep 9): Call for Papers and Demos Michael Sperber
• [Haskell] [Call for Contributions] Haskell Communities and Activities Report, May 2017 edition (32nd edition) Mihai Maruseac
• [Haskell] 1st Call for papers: FHPC 2017 Jost Berthold
• [Haskell] PPDP 2017: Call For Papers Brigitte Pientka
• [Haskell] First call for talk proposals: Higher-Order Programming with Effects, HOPE 2017 François Pottier
• [Haskell] Oregon PL Summer School 2017: register by April 1 Amal Ahmed
• [Haskell] Call for participation: Utrecht Summer School Wouter Swierstra
• [Haskell] CFP Special Sessions: DS-RT 2017 - Rome, Italy, October 18-20, 2017 Robson De Grande
  • [Haskell] CFP Special Sessions: DS-RT 2017 - Rome, Italy, October 18-20, 2017 Robson De Grande
  • [Haskell] CFP Special Sessions: DS-RT 2017 - Rome, Italy, October 18-20, 2017 Robson De Grande
• [Haskell] [MobiSPC-Conf] MobiSPC 2017 CFPs: FINAL Submission Date: April 7. The 14th International Conference on Mobile Systems and Pervasive Computing Wim Ectors
• [Haskell] [FNC-Conf] FNC 2017 CFPs: FINAL Submission Date: April 7. The 12th International Conference on Future Networks and Communications Wim Ectors
• [Haskell] RV 2017 - 3rd Call for papers and tutorial proposals + RV-CuBES contributions Klaus Havelund
• [Haskell] SPLASH 2017: 2nd Combined Call for Contributions SPLASH Publicity
• [Haskell] Call for Participation: RAMiCS, May 15-18, Lyon, France Damien Pous
• [Haskell] ACM/SPEC ICPE'17 - Call for Participation Andrea Rosa
• [Haskell] TYPES 2017 submission deadline extended Ambrus Kaposi
• [Haskell] [FNC-Conf] FNC 2017 CFPs: Extended Submission Date: March 27. The 12th International Conference on Future Networks and Communications Wim Ectors
• [Haskell] [ANN] setoid-0.1.0.0 Pavlo Kerestey
• [Haskell] regex: a toolkit for regex-base Chris Dornan
  • Re: [Haskell] regex: a toolkit for regex-base John Wiegley
  • Re: [Haskell] regex: a toolkit for regex-base Chris Dornan
• [Haskell] Haskell-related PhD studentship Meng Wang
• [Haskell] <Programming> 2017: Call for participation Tim Molderez
• [Haskell] [Researchers] CFP- 20th ACM/IEEE MSWiM 2017: Miami Beach, Florida, USA Robson De Grande
• [Haskell] CFP DS-RT 2017, Rome, Italy Robson De Grande
  • [Haskell] CFP DS-RT 2017, Rome, Italy RODOLFO IPOLITO MENEGUETTE
• [Haskell] RERS: 7th International Challenge on the Rigorous Examination of Reactive Systems Klaus Havelund
• [Haskell] [MobiSPC-Conf] MobiSPC 2017 CFPs: Extended Submission Date: March 27. The 14th International Conference on Mobile Systems and Pervasive Computing Wim Ectors
  • [Haskell] [MobiSPC-Conf] MobiSPC 2017 CFPs: Extended Submission Date: March 27. The 14th International Conference on Mobile Systems and Pervasive Computing Wim Ectors
  • [Haskell] [MobiSPC-Conf] MobiSPC 2017 CFPs: Extended Submission Date: March 27. The 14th International Conference on Mobile Systems and Pervasive Computing Wim Ectors
• [Haskell] SPLASH 2017: 1st Combined Call for Contributions SPLASH Publicity
• [Haskell] ETAPS 2017 early registration deadline approaching Tarmo Uustalu
• [Haskell] Haskell Symposium Early Deadline in Two Weeks Iavor Diatchki
• [Haskell] RV 2017 - 2nd Call for papers and tutorials Klaus Havelund
• [Haskell] Research and Development job openings at Chordify Bas de Haas
• [Haskell] CFP: International Workshop on OCL and Textual Modeling (OCL 2017) Achim D. Brucker
• [Haskell] TYPES 2017 2nd call for contributions Ambrus Kaposi
• [Haskell] FedCSIS 2017 - CALL FOR PAPERS Federated Conference on Computer Science and Information Systems
• [Haskell] ThEdu'17: Call for Extended Abstracts & Demonstrations Achim D. Brucker
• [Haskell] The Racket Summer School of Semantics and Languages Robby Findler
  • [Haskell] The Racket Summer School of Semantics and Languages Robby Findler
• [Haskell] Final Call for Papers: ICFP 2017 Lindsey Kuper via Haskell
• [Haskell] Oregon PL Summer School 2017: call for participation Amal Ahmed
• [Haskell] 1st call for papers: Trends in Functional Programming, 19-21 june 2017, University of Kent, Canterbury Peter Achten
• [Haskell] 1st CfP: SLE 2017 (10th ACM SIGPLAN International Conference on Software Language Engineering) Andrei Chis
• [Haskell] MFCS 2017 - Call for papers Giovanni Bacci
• [Haskell] Second Call for Papers: ICFP 2017 Lindsey Kuper via Haskell
• [Haskell] Haskell Symposium 2017, call for submissions Iavor Diatchki
• [Haskell] Multiple Research Positions, ERC MATHADOR Project, IMDEA Software Institute, Madrid, Spain Germán Delbianco
• [Haskell] SPIN 2017 - final call for papers, deadline Feb 10 Klaus Havelund
• [Haskell] a postdoc position in Imperial College London Dominic Orchard
• [Haskell] Call for Papers (TASE 2017) Huibiao Zhu
• [Haskell] ETAPS 2017 call for participation Tarmo Uustalu
• [Haskell] Announce: Haskell Platform 8.0.2 Gershom B
• [Haskell] Extended Deadline CFP- DCOSS 2017 (Ottawa, Canada) Robson De Grande
• [Haskell] [ANN] Help wanted: Vty contributors on Windows Jonathan Daugherty
• [Haskell] Call for Participation: BOB 2017 (February 24, Berlin) Stefan Wehr
• [Haskell] TYPES 2017 call for contributions Ambrus Kaposi
• [Haskell] <Programming> 2017: Final call for workshop, symposium, demo & poster submissions Tim Molderez
• [Haskell] ProWeb 2017: 1st International Workshop on Programming Technology for the Future Web Tim Molderez
• [Haskell] [ANN] Haskell ITA meetup in Milan, Italy (2017-02-25) Francesco Ariis
• [Haskell] [SEIT 2017] SEIT 2017 final CFPs: The 7th International Conference on Sustainable Energy Information Technology (May 16-19, 2017, Madeira, Portugal) Wim Ectors
• [Haskell] [ANT 2017] ANT 2017 final CFPs: The 8th International Conference on Ambient Systems, Networks and Technologies (May 16-19, 2017, Madeira, Portugal) Wim Ectors
• [Haskell] RV'17 - First call for papers and tutorials Klaus Havelund
• [Haskell] SPLASH’17 Call for Contributions: Workshops Ronald Garcia
• [Haskell] CFP: DCOSS 2017 *EXTENDED DEALINE* - January 20th, 2017 Robson De Grande
  • [Haskell] CFP: DCOSS 2017 *EXTENDED DEALINE* - January 20th, 2017 RODOLFO IPOLITO MENEGUETTE
• [Haskell] First School on Foundations of Programming and Software systems -- Probabilistic programming Renato Neves
• [Haskell] <Programming> 2017: Call for workshop, symposium & poster submissions Tim Molderez
• [Haskell] [ANN] Change of ownership for VTY Corey O'Connor
  • Re: [Haskell] [ANN] Change of ownership for VTY Jonathan Daugherty
  • Re: [Haskell] [ANN] Change of ownership for VTY Simon Michael
• [Haskell] ANNOUNCE: Haskell Communities and Activities Report (31st ed., November 2016) Mihai Maruseac
• [Haskell] Call for Papers: ICFP 2017 Lindsey Kuper

• Earlier messages
• Later messages