PLNews: Programming Language News

Pascal Costanza has announced that the slides, some demo code, and QuickTime movies from the recent Dynamic Languages Day @ Vrije Universiteit Brussel are now available online.

The 2006 Workshop on Mathematically Structured Functional Programming has put out a call for papers.

The workshop will be held on July 2, 2006, in Kuressaare, Estonia. Submissions are due by April 10, 2006.

The 2006 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security has put out a final call for papers. The workshop aims to "provide a forum for researchers and practitioners to exchange and understand ideas and to seed new collaboration on the use of programming language and program analysis techniques that improve the security of software systems."

It will be held on June 10, 2006, in Ottawa, Canada. Submissions are due by March 3, 2006.

It has been announced that the Lua Workshop 2006 will be held on September 4 and 5, 2006, in Venlo, Netherlands.

The Haskell Workshop 2006 has put out a call for papers. The purpose of the workshop is to "discuss experience with Haskell, and possible future developments for the language. The scope of the workshop includes all aspects of the design, semantics, theory, application, implementation, and teaching of Haskell."

It will be held on September 17, 2006, in Portland, Oregon. The submission deadline is June 2, 2006.

The 2006 International Workshop on Implementation and Application of Functional Languages has put out a call for papers. The workshop aims to "provide an open forum for researchers who wish to present and discuss new ideas and concepts, work in progress, preliminary results, etc. related primarily but not exclusively to the implementation and application of functional languages."

The workshop will be held from September 4 to 6, 2006, in Budapest, Hungary. The registration deadline is July 30, 2006, with submissions due by August 4, 2006.

It has been announced that registration for Types 2006 is now open. "The topic of this meeting is formal reasoning and computer programming based on Type Theory : languages and computerised tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalisation of mathematics and mathematics education." The invited speakers include: Bart Jacobs, Simon Peyton Jones and Hongwei Xi.

Early registration is open until March 15, 2006. The workshop will be held from April 18 to 21, 2006, at the University of Nottingham, UK.

The 2006 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security has put out a second call for papers. The workshop aims to "provide a forum for researchers and practitioners to exchange and understand ideas and to seed new collaboration on the use of programming language and program analysis techniques that improve the security of software systems."

The submission deadline is March 3, 2006. The workshop itself will be held on June 10, 2006, in Ottawa, Ontario, Canada.

The Workshop on Transactional Memory Workloads has put out a call for papers. Transactional memory is a practical implementation of a powerful concurrency control primitive, "atomic regions" that ensure the atomic execution of almost arbitrary code segments. The workshop aims to create a discussion on what features are required -- both in language support and in implementation -- to enable transactional memory to support the wealth of application requirements for concurrency control.

Submissions are due by March 20, 2006. Co-located with PLDI, the workshop itself will be held on June 10, 2006, in Ottawa, Ontario, Canada.

(Submitted by: Craig Zilles)

Dynamic Languages Day @ Vrije Universiteit Brussel has been announced. It will be held on February 13, 2006. It will feature presentations on Self, Smalltalk and Common Lisp.

Viviane Jonckers will be discussing the use of Scheme as an introductory programming language for teaching, Ellen Van Paesschen will talk about Self, Johan Brichau and Roel Wuyts will discuss Smalltalk, and Pascal Costanza will be discussing generic functions and the Common Lisp Object System Metaobject Protocol.

The 2006 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security has put out a call for papers. The workshop aims to "provide a forum for researchers and practitioners to exchange and understand ideas and to seed new collaboration on the use of programming language and program analysis techniques that improve the security of software systems."

Submissions are due by March 3, 2006. The workshop itself will be held on June 10, 2006, in Ottawa, Ontario, Canada.

The 2006 Nordic Perl Workshop has put out a call for papers. The topic is "Managing Complexity", with the workshop being held on June 15 and June 16, 2006, in Oslo, Norway.

The 2006 Foundations of Aspect-Oriented Languages workshop has put out a call for papers. It aims to "foster work in foundations, including formal studies, promote the exchange of ideas, and encourage workers in the semantics and formal methods communities to do research in the area of aspect-oriented programming languages."

The workshop will be held on March 21, 2006, in Bonn, Germany. Papers are due by January 25, 2006.

The 2006 International Colloquium on Automata, Languages and Programming has put out a call for workshop proposals.

Proposals are due by November 27, 2005, with the conference taking place from July 10 to July 14, 2006, and the workshops being held on July 9, 15 and 16, 2006.

The 2005 London Perl Workshop has been announced, and has put out a call for papers. It aims to "allow Perl beginners to learn from long-standing members of the community, while also giving the experts a chance to make easy tasks seem trivial, and hard tasks seem easy." The workshop will take place on November 26, 2005.

Mark Jason will be discussing Higher Order Perl.

The 2005 International Workshop on the Implementation and Application of Functional Languages has put out a call for papers/registration reminder.

The workshop aims to "bring together researchers actively engaged in the implementation and application of functional and function-based programming languages." It will be held between September 19 and September 21, 2005, in Dublin, Ireland. Papers are due by August 26, 2005, with the registration deadline being August 7, 2005.

The 2005 International Workshop on Curry and Functional Logic Programming has put out a call for participation.

The workshop aims to "bring together researchers interested in Curry, related functional logic languages, and general aspects of integrating declarative programming paradigms. It promotes the cross-fertilizing exchange of ideas and experiences among researches and students from the different communities interested in the foundations, applications, and combinations of high-level, declarative programming languages and related areas." It will be held on September 29, 2005, in Tallinn, Estonia.

The 2005 ML Workshop has put out a call for participation. The aim of the workshop is to "provide a forum for researchers, developers, and users to hear about and discuss the latest work on the use, design, and implementation of ML-like languages." It will be held September 29, 2005, in Tallin, Estonia.

The 2005 Workshop on Scheme and Functional Programming has put out a call for participation. It "provides a forum for discussing experience with and future development of the Scheme programming language." The workshop will be held September 24, 2005, in Tallin, Estonia.

The 2005 Commercial Users of Functional Programming Workshop has put out a call for participation. The workshop itself will be held September 24, 2005 in Talinn, Estonia.

The confirmed speakers include Atrijus Tang discussing PUGS, Fabrice Le Fessant discussing MLDonkey, and David Roundy discussing darcs, amongst others.