Personal tools

Conferences

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
Line 3: Line 3:
 
Haskell and its future. The following is a list of some of the
 
Haskell and its future. The following is a list of some of the
 
conferences at which Haskellers and their research appears.
 
conferences at which Haskellers and their research appears.
  +
  +
For a calendar-like interface, see [http://www.unsafeperformio.com/confs.php Andy Gill's page].
   
 
== The Haskell Workshop ==
 
== The Haskell Workshop ==

Revision as of 19:37, 4 January 2008

Haskell programmers publish a great deal of research at conferences, which are also great places to meet and discuss Haskell and its future. The following is a list of some of the conferences at which Haskellers and their research appears.

For a calendar-like interface, see Andy Gill's page.

Contents

1 The Haskell Workshop

The Haskell Workshop is an annual workshop organized in affiliation with the International Conference on Functional Programming (ICFP). The workshop is sponsored by the Association for Computing Machinery (ACM) under the aegis of the ACM Special Interest Group on Programming Languages (SIGPLAN).

The purpose of the Haskell Workshop is to discuss experience with Haskell, and future developments for the language. The scope of the workshop includes all aspects of the design, semantics, theory, application, implementation, and teaching of Haskell.

2 The International Conference on Functional Programming (ICFP)

ICFP (International Conference on Functional Programming) is an annual programming language conference. It is sponsored by the Association for Computing Machinery under the aegis of the ACM Special Interest Group on Programming Languages (SIGPLAN), in association with Working Group 2.8 of the International Federation of Information Processing (IFIP).

3 Commercial Users of Functional Programming (CUFP)

The goal of CUFP is to build a community for users of functional programming languages and technology, be they using functional languages in their professional lives, in an open source project (other than implementation of functional languages), as a hobby, or any combination thereof. In short: anyone who uses functional programming as a means, but not an end

4 Principles of Programming Languages (POPL)

5 Programming Language Design and Implementation (PLDI)

6 Implementation of Functional Languages (IFL)

7 Practical Aspects of Declarative Languages (PADL)

8 Asian Symposium on Programming Languages and Systems (APLAS)

9 Declarative Aspects of Multicore Programming (DAMP)

10 Types in Language Design and Implementation (TLDI)

11 Trends in Functional Programming (TFP)

12 Principles, Logics, and Implementations of High-Level Programming Languages (PLI)

13 Types in Compilation Workshop (TIC)

14 Practical Aspects of High-level Parallel Programming (PAPP)

15 Federated Conference on Rewriting, Deduction, and Programming (RDP)

16 Typed Lambda Calculi and Applications (TLCA)

17 International Workshop on Functional and Declarative Programming in Education

18 Advanced Functional Programming Spring School (AFP)

19 Integrated Formal Methods (IFM)

20 UTP'07 at IFM: Unifying Theories of Programming

21 Systems Software Verification (SSV)

Please add more Haskell-related conferences as they appear.