Messages by Thread
-
[Haskell] [CfP] - First AIxIA Workshop on Artificial Intelligence For Healthcare HC@AIxIA 2022
Francesco Calimeri
-
[Haskell] GHC Proposals session at Haskell Symposium at ICFP
Joachim Breitner
-
[Haskell] Certified Programs and Proofs (CPP) 2023 Call for Papers
Steve Zdancewic
-
[Haskell] IFL22: Early registration deadline August 15th
Pieter Koopman
-
[Haskell] 1st Call for Papers: PADL 2023
Michael Hanus
-
[Haskell] PPDP 2022 and LOPSTR 2022 Call for Participation
Manuel Hermenegildo
-
[Haskell] Call for Papers: Eelco Visser Commemorative Symposium
Andrei Chis
-
[Haskell] 2nd CFP - IFL22 - The 34th Symposium on Implementation and Application of Functional Languages
Pieter Koopman
-
[Haskell] CFP GPCE 2022 - 21st International Conference on Generative Programming: Concepts & Experiences
Yukiyoshi Kameyama
-
[Haskell] CFPs AVFT 2022 INTERNATIONAL CONFERENCE ON ADVANCEMENT IN VEHICULAR & FUTURE TRANSPORTATION
WSCON WSCON
-
[Haskell] CFPs PCISD 2022 (International Conference on Post Covid Impact on Social Development)
WSCON WSCON
-
[Haskell] RCRA 2022 last call for paper (-5 days to deadline)
cfp
-
[Haskell] Second Call for Papers: 15th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2022)
Andrei Chis
-
[Haskell] LPNMR 2022: Call for participation (Early reg. By July 20th)
cfp
-
[Haskell] Datalog 2.0 2022 - Third Call for Papers
cfp
-
[Haskell] LPNMR 2022: First call for Doctoral Consortium
cfp
-
[Haskell] POPL 2023 Call for Papers -- deadline Thursday, July 7th, AoE
Kristopher K Micinski via Haskell
-
[Haskell] TERMGRAPH 2022 Workshop: First Call for Participation
Clemens Grabmayer
-
[Haskell] Certified Programs and Proofs (CPP) 2023: Call for Papers
Steve Zdancewic
-
[Haskell] CALL FOR PAPERS - IFL22 - The 34th Symposium on Implementation and Application of Functional Languages
Pieter Koopman
-
[Haskell] 1st CfP: IFL 2022 - 34th Symposium on Implementation and Application of Functional Languages
Troels Henriksen
-
[Haskell] ICFP 2022: Call for Tutorials, Panels, and Discussions
ICFP Publicity via Haskell
-
[Haskell] Call for STSMs, deadline 1 July 2022
Ambrus Kaposi
-
[Haskell] ICFP 2022 Student Research Competition: Final Call for Submissions
Danel Ahman
-
[Haskell] RCRA 2022 - 1st call for papers
cfp
-
[Haskell] Research fellow position at University of Bristol
Meng Wang
-
[Haskell] Assistant Professorships in Nottingham
Graham Hutton via Haskell
-
[Haskell] WPTE 2022 final CFP (deadline: 31 May, publication JLAMP)
Stefan Ciobaca
-
[Haskell] Final call for participation: Advanced Functional Programming Summer School in Utrecht
Swierstra, W.S. (Wouter) via Haskell
-
[Haskell] SPLV 2022 - Call for Participation
Filip Sieczkowski
-
[Haskell] LOPSTR 2022 - Deadline extension
Alicia Villanueva
-
[Haskell] Full professorships at Utrecht University
Swierstra, W.S. (Wouter) via Haskell
-
[Haskell] [TERMGRAPH-2022] 2-day extension submission deadline: May 12
Clemens Grabmayer
-
[Haskell] ICFP 2022 Student Research Competition: Call for Submissions [2nd CfP]
Daniel Hillerström
-
[Haskell] CRiSIS 2022 CFP: The 17th International Conference on Risks and Security of Internet and Systems (CRiSIS 2022)
SAOUSSEN CHEIKHROUHOU
-
[Haskell] PPDP 2022 - 2nd Call for Papers
Manuel Hermenegildo
-
[Haskell] WPTE 2022 cfp (extended deadline, journal publication)
Stefan Ciobaca
-
[Haskell] TERMGRAPH 2022 Workshop: Final Call for Papers
Clemens Grabmayer
-
[Haskell] FLOPS 2022: the 16th International Symposium on Functional and Logic Programming: Call For Participation & Workshop talk proposals
Taro Sekiyama
-
[Haskell] JFLA 2022: Call for Participation (in French)
Timothy Bourke
-
[Haskell] Datalog 2.0 2022 - Second Call for Papers (opportunity for TPLP rapid publication)
cfp
-
[Haskell] ICFP'22 Artifact Evaluation Committee: call for nominations
Jannis Limperg via Haskell
-
[Haskell] BX 2022 - Call for papers (deadline 14 May)
Li-yao Xia
-
[Haskell] WPTE 2022: Call for Papers
Stefan Ciobaca
-
[Haskell] LPNMR 2022 - Last Call for Papers
cfp
-
[Haskell] Erlang 2022 - Call for Papers
Erlang Workshop
-
[Haskell] ICFP 2022 Student Research Competition: Call for Submissions
Danel Ahman
-
[Haskell] Utrecht Summer School on Advanced Functional Programming 2022
Swierstra, W.S. (Wouter) via Haskell
-
[Haskell] Fully Funded PhD Positions in the Safety and Security of Advanced Systems Group (Exeter, UK, Deadline 2022-04-29)
Achim D. Brucker
-
[Haskell] TERMGRAPH 2022 Workshop: Second Call for Papers
Clemens Grabmayer
-
[Haskell] CfP: HLPP 2022: The 15th International Symposium on High-level Parallel Programming and Applications
Clemens Grelck via Haskell
-
[Haskell] Datalog 2.0 - 1st Call for Papers
cfp
-
[Haskell] CMCS 2022: Call for Participation
Thorsten Wissmann
-
[Haskell] FNC'22 CFP (Extended): The 17th International Conference on Future Networks and Communications (August 9-11, Niagara Fall, Canada)
Jacob Speiran
-
[Haskell] LPNMR 2022 - 2nd Call for Papers
cfp
-
[Haskell] GPCE 2022 Call for Papers
Yukiyoshi Kameyama
-
[Haskell] Midlands Graduate School: Accommodation and second (final) call for participation
Nicolai Kraus
-
[Haskell] ACM Workshop on Functional Art, Music, Modelling and Design - Call for Papers, Demos, and Performances
michael . sperber
-
[Haskell] [Call for participation] TFPiE and TFP online events March 16-18
Peter Achten
-
[Haskell] Call for STSMs, deadline 3 April 2022
Ambrus Kaposi
-
[Haskell] Postdoc and PhD position in homotopy type theory
Nicolai Kraus
-
[Haskell] FNC'22 CfPs: The 17th International Conference on Future Networks and Communications (August 9-11, Niagara Falls, Canada)
Jacob Speiran
-
[Haskell] 2nd Call for Participation: Virtual BOB 2022 (March 11)
Stefan Wehr
-
[Haskell] LPNMR 2022 - last call for workshops - 3 days to deadline
cfp
-
[Haskell] Call for Papers: PACMPL issue ICFP 2022
ICFP Publicity via Haskell
-
[Haskell] [TFP'22] final call for papers: Trends in Functional Programming 2022 (deadline March 7 2022)
Peter Achten
-
[Haskell] 22nd Midlands Graduate School, 10-14 April 2022: Call for Participation
Nicolai Kraus
-
[Haskell] ZuriHac 2022 takes place as an in-person event 11-13 June, registrations now open
Jasper Van der Jeugt
-
[Haskell] Call for Participation: ´Virtual BOB 2022 (March 11, registration open)
michael . sperber
-
[Haskell] First Call for Papers: 15th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2022)
Andrei Chis
-
[Haskell] ARRAY 2022: Call for Papers
Troels Henriksen
-
[Haskell] The 19th International Conference on Mobile Systems and Pervasive Computing (MobiSPC)
Orven Llantos
-
[Haskell] LPNMR 2022 - Call for Workshops
cfp
-
[Haskell] CMCS 2022: Deadline extension
Thorsten Wissmann
-
[Haskell] CMCS 2022: Final Call for Papers
Thorsten Wissmann
-
[Haskell] LPNMR 2022 - Call for Papers
cfp
-
[Haskell] ETAPS Test of Time Award 2022, 2nd call for nominations
Tarmo Uustalu
-
[Haskell] TERMGRAPH 2022 workshop: First Call for Papers
Clemens Grabmayer via Haskell
-
[Haskell] Postdoc positions on Formal Verification for Zero-Trust IoT Systems at Kyoto University and National Institute of Informatics (NII), Japan
Taro Sekiyama
-
[Haskell] Call for Participation: BOB 2022 (March 11, Berlin or online)
Stefan Wehr
-
[Haskell] [TFP'22] second call for papers: Trends in Functional Programming 2022 moved to March 17-18 online (together with TFPiE)
Peter Achten
-
[Haskell] CMCS 2022: Second Call for Papers
Thorsten Wissmann
-
[Haskell] Call for STSMs, deadline 16 January 2022
Ambrus Kaposi
-
[Haskell] PEPM 2022 - Call for Participation
Youyou Cong
-
[Haskell] ETAPS Test of Time Award 2022, call for nominations
Tarmo Uustalu
-
[Haskell] Postdoctoral Research Assistant position at University of Edinburgh
Philip Wadler
-
[Haskell] IJCAR 2022 - Call for Papers
Andrei Popescu
-
[Haskell] CFP : INTERNATIONAL CONFERENCE ON INTERDISCIPLINARY ASPECTS OF COMPUTER TECHNOLOGY AND ENGINEERING
IACTE - World Science Conferences
-
[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
-
[Haskell] Call for Participation: 24th International Symposium on Practical Aspects of Declarative Languages (PADL 2022)
James Cheney
-
[Haskell] Tenure Track Position at University of Kansas
Perry Alexander
-
[Haskell] Certified Programs and Proofs (CPP) 2022: Call for Participation
Andrei Popescu
-
[Haskell] Call for Workshop Proposals: ICFP 2022
Ilya Sergey via Haskell
-
[Haskell] 2nd Call for Contributions: BOB 2022 [March 11, Deadline Dec 6]
Stefan Wehr
-
[Haskell] MSFP 2022 - First Call for Papers
Jeremy Gibbons
-
[Haskell] 2nd Call for Papers: FLOPS 2022
Michael Hanus
-
[Haskell] CMCS 2022: First Call for Papers
Thorsten Wissmann
-
[Haskell] Call for Contributions: BOB 2022 [March 11, Deadline Dec 6]
Stefan Wehr
-
[Haskell] Deadline Extension! Call for Presentations: PriSC 2022 @ POPL 2022
Jonathan Protzenko
-
[Haskell] post-doctoral research position - Effect Handler Oriented Programming - Edinburgh
Sam Lindley
-
[Haskell] Online seminars in Tensor Computation, October to December
Jeremy Gibbons
-
[Haskell] Second and Final Call for Submissions: Programming Languages and the Law (ProLaLa)
Jonathan Protzenko
-
[Haskell] Second and Final Call for Presentations: PriSC 2022 @ POPL 2022
Jonathan Protzenko
-
[Haskell] ETAPS 2022 final call for papers
Tarmo Uustalu
-
[Haskell] FM 2021 - Call for Participation
Jun PANG
-
[Haskell] [TFP'22] first call for papers: Trends in Functional Programming 2022, 10-11 February (with Lambda Days 2022 & TFPIE 2022)
Peter Achten
-
[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
-
[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] 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] 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] 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] 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
-
[Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) - Extended Deadline 13 June 2021
Mayssa HEMDANI
-
[Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) - Extended Deadline 13 june 2021
Emilia Marc
-
[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] 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