PLNews: Programming Language News

The Fourth ACM SIGPLAN Workshop on Programming Languages meets Program Verification has put out a call for participation. The workshop aims to "foster and stimulate research at the intersection of programming languages and program verification."

It will be held on January 19, 2010, in conjunction with POPL 2010 in Madrid, Spain.

The Seventh International Workshop on Practical Aspects of High-level Parallel Programming has put out a call for papers. "The PAPP workshop focuses on practical aspects of high-level parallel programming: design, implementation and optimization of high-level programming languages, semantics of parallel languages, formal verification, design or certification of libraries, middlewares and tools (performance predictors working on high-level parallel/grid source code, visualisations of abstract behaviour, automatic hotspot detectors, high-level GRID resource managers, compilers, automatic generators, etc.), application of proof assistants to parallel applications, applications in all fields of computational science, benchmarks and experiments."

Papers are due January 11, 2010. The workshop will be held during the International Conference on Computational Science, being held from May 31 to June 2, 2010, in the Netherlands.

The Fifth ACM SIGPLAN Workshop on Types in Language Design and Implementation has put out a call for participation. It "brings researchers together to share new ideas and results concerning all aspects of types and programming".

The workshop will be held on January 23, 2010, in Madrid, Spain.

The Perl Oasis has put out a call for speakers.

It is a Perl workshop being held in Orlando, Florida, USA on January 16, 2010. The topic of the workshop is "Practical Perl for Business".

Frozen Perl 2010 has been announced.

It is a Perl workshop being organized by the Minneapolis Perl Mongers. It will be held from February 5 to 7, 2010, in Minneapolis, Minnesota, USA.

The ACM SIGPLAN Fifth Workshop on Programming Languages and Analysis for Security has put out a preliminary call for papers. It "aims to provide a forum for exploring and evaluating ideas on the use of programming language and program analysis techniques to improve the security of software systems."

Submissions are due by March 12, 2010. The workshop will be held on June 10, 2010, in Toronto, Ontario, Canada.

The 19th Workshop on Functional and (Constraint) Logic Programming has put out a call for papers. The workshop "aims at bringing together researchers interested in functional programming, (constraint) logic programming, as well as the integration of the two paradigms. It promotes the cross-fertilizing exchange of ideas and experiences among researchers and students from the different communities interested in the foundations, applications and combinations of high-level, declarative programming languages and related areas."

Abstract submissions are due November 9, 2009. The workshop will be held on January 17, 2010, in Madrid, Spain.

The 2010 ACM SIGPLAN Workshop on Programming Languages meets Program Verification has put out a call for papers. "The goal of PLPV is to foster and stimulate research at the intersection of programming languages and program verification."

Submissions are due by October 8, 2009. The workshop will be held on January 19, 2010, in Madrid, Spain.

The 2009 ACM SIGPLAN Workshop on ML has put out a call for participation. ML 2009 "aims to provide a forum to encourage discussion and research on ML and related technology (higher-order, typed, or strict languages)."

It will be held in conjunction with ICFP 2009 on August 30, 2009, in Edinburgh, UK.

The 2009 Commercial Users of Functional Programming Workshop has put out a call for participation. "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."

It will be held on September 4, 2009, co-located with ICFP 2009 in Edinburgh, Scotland.

The ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security has put out a call for papers. "PLAS aims to provide a forum for exploring and evaluating ideas on the use of programming language and program analysis techniques to improve the security of software systems. Strongly encouraged are proposals of new, speculative ideas; evaluations of new or known techniques in practical settings; and discussions of emerging threats and important problems."

The submission deadline is April 3, 2009. The workshop will be held on June 15, 2009, in Dublin, Ireland.

The 2009 ACM SIGPLAN Workshop on ML has put out a call for papers. It aims to "provide a forum to encourage discussion and research on ML and related technology (higher-order, typed, or strict languages)."

The submission deadline is May 11, 2009. The workshop will be held on August 30, 2009, in Edinburgh, Scotland, UK.

Scheme Workshop 2009 has put out a call for papers. "The purpose of the workshop is to report experience with the Scheme family of programming languages, to foster collaboration among the members of the community, and to present research related to Scheme and functional programming."

The submission deadline is June 5, 2009. The workshop will be held on August 22, 2009, in Cambridge, Massachusetts.

The Eighth ACM SIGPLAN Erlang Workshop has put out a call for papers. It aims to "bring together the open source, academic, and industrial programming communities of Erlang. It will enable participants to familiarize themselves with recent developments on new techniques and tools tailored to Erlang, novel applications, draw lessons from users' experiences and identify research problems and common areas relevant to the practice of Erlang and functional programming."

The submission deadline is May 8, 2009. The workshop will be held on September 3, 2009, in Edinburgh, Scotland.

The 2009 International Conference on Logic Programming has put out a call for workshop proposals.

The proposal submission deadline is February 9, 2009, with the conference being held from July 14 to 17, 2009, in Pasadena, California, USA.

The 2008 Workshop on Scheme and Functional Programming has put out a call for registration. "The purpose of the workshop is to report experience with the programming languages known as Scheme, to discuss ideas for the future of Scheme, and to present research related to Scheme and functional programming."

The workshop will be held on September 20, 2008, in Victoria, British Columbia, Canada.

The 2008 Commercial Users of Functional Programming Workshop has put out a call for participation. The workshop will be held on September 26, 2008, in Victoria, Canada.

Tulsa Ruby Workshop '08 has been announced. It will be held on April 26, 2008, in Tulsa, Oklahoma.

The 24rd International Conference on Logic Programming has put out a call for workshop proposals.

The proposal submission deadline is June 2, 2008. The workshop will be held from December 9 to 13, 2008, in Udine, Italy.

The Commercial Users of Functional Programming Workshop 2008 has put out a call for papers. It aims 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."

Presentation proposals are due June 2, 2008. The workshop will be held on September 26, 2008, in Victoria, British Columbia, Canada.

The 2008 ACM SIGPLAN Workshop on ML has put out a call for papers. This workshop aims to provide "a forum to encourage discussion and research on ML and related technology."

Submissions are due by June 23, 2008. The workshop will be held on September 21, 2008, in Victoria, British Columbia, Canada.

The 5th European Lisp Workshop has put out a call for papers. "This workshop will address the near-future role of Lisp-based languages in research, industry and education."

The submission deadline is May 4, 2008. The workshop will be held on July 7, 2008, in Paphos, Cyprus.

The Seventh ACM SIGPLAN Erlang Workshop has put out a call for papers. "This workshop will bring together the open source, academic, and industrial programming communities of Erlang. It will enable participants to familiarize themselves with recent developments on new techniques and tools tailored to Erlang, novel applications, draw lessons from users' experiences and identify research problems and common areas relevant to the practice of Erlang and functional programming."

The submission deadline is June 10, 2008. The workshop will take place from September 22 to 24, 2008, in Victoria, British Columbia, Canada.

The 2008 International Workshop on Foundations of Object-Oriented Languages has put out a call for papers.

The workshop will be held on January 13, 2008, in San Francisco, California.

The 2008 European Conference on Object-Oriented Programming has put out a call for workshop proposals. "ECOOP 2008 will host a number of workshops addressing different areas of object-oriented technology. Workshops serve as a forum for exchanging late breaking ideas and theories in an evolutionary stage. They typically focus on either in depth analysis or broad-ranging approaches to areas related to object-oriented technology.

The proposal deadline is December 26, 2007. The conference will be held from July 7 to 11, 2008, in Paphos, Cyprus.