Difference between revisions of "Conferences"
DonStewart (talk | contribs) |
m (Haskell Love Conference added) |
||
| (12 intermediate revisions by 9 users not shown) | |||
| Line 4: | Line 4: | ||
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 Symposium == |
|
| + | * [http://haskell.org/haskell-symposium/ The Haskell Symposium]. |
||
| ⚫ | |||
| + | |||
| ⚫ | |||
the International Conference on Functional Programming (ICFP). The |
the International Conference on Functional Programming (ICFP). The |
||
workshop is sponsored by the Association for Computing Machinery (ACM) |
workshop is sponsored by the Association for Computing Machinery (ACM) |
||
| Line 14: | Line 16: | ||
Languages (SIGPLAN). |
Languages (SIGPLAN). |
||
| − | The purpose of the Haskell |
+ | The purpose of the Haskell Symposium is to discuss experience with |
Haskell, and future developments for the language. The scope of the |
Haskell, and future developments for the language. The scope of the |
||
| − | + | symposium includes all aspects of the design, semantics, theory, |
|
application, implementation, and teaching of Haskell. |
application, implementation, and teaching of Haskell. |
||
| Line 39: | Line 41: | ||
thereof. In short: anyone who uses functional programming as a means, |
thereof. In short: anyone who uses functional programming as a means, |
||
but not an end |
but not an end |
||
| + | |||
| + | == International Workshop on Functional Art, Music, Modelling and Design (FARM) == |
||
| + | |||
| + | * [http://functional-art.org/ FARM] |
||
| + | |||
| + | It gathers together people who are harnessing functional techniques in the pursuit of creativity and expression. |
||
| + | |||
| + | == International Symposium on Functional and Logic Programming (FLOPS) == |
||
| + | |||
| + | * [http://www.org.kobe-u.ac.jp/flops2012/ FLOPS 2012] |
||
| + | |||
| + | FLOPS is a forum for research on all issues concerning declarative programming, including functional programming and logic programming, and aims to promote cross-fertilization and integration between the two paradigms. |
||
== Principles of Programming Languages (POPL) == |
== Principles of Programming Languages (POPL) == |
||
| Line 48: | Line 62: | ||
* [http://research.microsoft.com/conferences/pldi06/ Programming Language Design and Implementation (PLDI)] |
* [http://research.microsoft.com/conferences/pldi06/ Programming Language Design and Implementation (PLDI)] |
||
| − | == |
+ | == Implementation of Functional Languages (IFL) == |
| − | * [http:// |
+ | * [http://www.cs.uu.nl/wiki/bin/view/IFL2010/PastFutureAndCurrentEvents Implementation of Functional Languages (IFL)] |
== Practical Aspects of Declarative Languages (PADL) == |
== Practical Aspects of Declarative Languages (PADL) == |
||
* [http://www.informatik.uni-kiel.de/~mh/padl07 Practical Applications of Declarative Languages (PADL)] |
* [http://www.informatik.uni-kiel.de/~mh/padl07 Practical Applications of Declarative Languages (PADL)] |
||
| + | |||
| + | == Principles and Practice of Declarative Programming (PPDP) == |
||
| + | |||
| + | * [http://www.risc.jku.at/about/conferences/ppdp2010/ Principles and Practice of Declarative Programming (PPDP)] |
||
== Asian Symposium on Programming Languages and Systems (APLAS) == |
== Asian Symposium on Programming Languages and Systems (APLAS) == |
||
| Line 108: | Line 126: | ||
* [http://www.ifm2007.org Unifying Theories of Programming] |
* [http://www.ifm2007.org Unifying Theories of Programming] |
||
| + | == Systems Software Verification (SSV) == |
||
| + | |||
| + | * [http://nicta.com.au/ssv08/ Systems Software Verification Workshop] |
||
| + | |||
| + | == Monadic Party == |
||
| + | |||
| + | * [https://monadic.party A four days of Haskell teaching at a summer school] |
||
| + | |||
| + | == Haskell Love Conference == |
||
| + | |||
| + | * [https://haskell.love A two-day online conference] |
||
| + | |||
| + | The event is free to attend, tracks are set for two timezones (CET and PDT). |
||
| + | |||
| + | == == |
||
Please add more Haskell-related conferences as they appear. |
Please add more Haskell-related conferences as they appear. |
||
| + | |||
| + | |||
[[Category:Events]] |
[[Category:Events]] |
||
Revision as of 13:24, 11 June 2020
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.
The Haskell Symposium
The Haskell Symposium is an annual symposium 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 Symposium is to discuss experience with Haskell, and future developments for the language. The scope of the symposium includes all aspects of the design, semantics, theory, application, implementation, and teaching of Haskell.
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).
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
International Workshop on Functional Art, Music, Modelling and Design (FARM)
It gathers together people who are harnessing functional techniques in the pursuit of creativity and expression.
International Symposium on Functional and Logic Programming (FLOPS)
FLOPS is a forum for research on all issues concerning declarative programming, including functional programming and logic programming, and aims to promote cross-fertilization and integration between the two paradigms.
Principles of Programming Languages (POPL)
Programming Language Design and Implementation (PLDI)
Implementation of Functional Languages (IFL)
Practical Aspects of Declarative Languages (PADL)
Principles and Practice of Declarative Programming (PPDP)
Asian Symposium on Programming Languages and Systems (APLAS)
Declarative Aspects of Multicore Programming (DAMP)
Types in Language Design and Implementation (TLDI)
Trends in Functional Programming (TFP)
Principles, Logics, and Implementations of High-Level Programming Languages (PLI)
Types in Compilation Workshop (TIC)
Practical Aspects of High-level Parallel Programming (PAPP)
Federated Conference on Rewriting, Deduction, and Programming (RDP)
Typed Lambda Calculi and Applications (TLCA)
International Workshop on Functional and Declarative Programming in Education
Advanced Functional Programming Spring School (AFP)
Integrated Formal Methods (IFM)
UTP'07 at IFM: Unifying Theories of Programming
Systems Software Verification (SSV)
Monadic Party
Haskell Love Conference
The event is free to attend, tracks are set for two timezones (CET and PDT).
Please add more Haskell-related conferences as they appear.