- Haskell - Haskell.org

2nd CFP: 4th Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'08)
by demis＠dimi.uniud.it 12 Apr '08

12 Apr '08

*********************************************************************** 2nd Call For Papers 4th International Workshop on Automated Specification and Verification of Web Systems (WWV'08) Siena, Italy, July 4, 2008 http://wwv08.dimi.uniud.it/ co-located with WFLP'08 http://wflp08.dimi.uniud.it/ *********************************************************************** IMPORTANT DATES Abstract Submission April 20, 2008 Full Paper Submission April 27, 2008 Acceptance Notification May 27, 2008 Camera Ready June 11, 2008 Workshop July 4, 2008 SCOPE The increased complexity of Web sites and the explosive growth of Web-based applications has turned their design and construction into a challenging problem. Nowadays, many companies have diverted their Web sites into interactive, completely-automated, Web-based applications (such as Amazon, on-line banking, or travel agencies) with a high complexity that requires appropriate specification and verification techniques and tools. Systematic, formal approaches to the analysis and verification can address the problems of this particular domain with automated and reliable tools that also incorporate semantic aspects. We solicit original papers on formal methods and techniques applied to Web sites, Web services or Web-based applications, such as: * rule-based approaches to Web site analysis, certification, specification, verification, and optimization * formal models for describing and reasoning about Web sites * model-checking, synthesis and debugging of Web sites * abstract interpretation and program transformation applied to the semantic Web * intelligent tutoring and advisory systems for Web specifications authoring * Web quality and Web metrics * Web usability and accessibility * Testing and evaluation of Web systems and applications The WWV series provides a forum for researchers from the communities of Rule-based programming, Automated Software Engineering, and Web-oriented research to facilitate the cross-fertilization and the advancement of hybrid methods that combine the three areas. The previous WWV editions were: WWV'07 (Venice, Italy), WWV'06 (Paphos, Cyprus), and WWV'05 (Valencia, Spain). LOCATION WWV'08 will be held in July in the convention centre of the University of Siena, Italy: http://www.unisi.it/santachiara/ The workshop will be co-located with WFLP'08: http://wflp08.dimi.uniud.it/ WORKSHOP VENUE Siena is one of the nicest city in Italy. The historical centre is situated on top of a hill and is made of beautiful medieval buildings and churches, all surrounded by ancient walls. The countryside of Siena is worldwide famous for its beauty. The Palio of Siena is probably the most famous historical fair in Italy. The most important event of it is a horse race of medieval origins, which is held in the afternoon of July 2nd in 'Piazza del Campo' in the centre of Siena. For more information, please visit http://www.comune.siena.it/ SUBMISSION PROCEDURE Submissions must be received by April 27, 2008. In addition, an ASCII version of the title and abstract must have been submitted by April 20, 2008. Submitted papers should be at most 15 pages in the Electronic Notes in Theoretical Computer Science (ENTCS) style, and should include an abstract and the author's information. See the author's instructions of ENTCS style at http://www.entcs.org. Papers should be submitted electronically via the web-based submission site http://www.easychair.org/conferences/?conf=wwv08 PUBLICATION Accepted papers will be published in a preliminary proceedings volume, which will be available during the workshop. After the workshop, the final proceedings are going to be published in the Elsevier series Electronic Notes in Theoretical Computer Science (ENTCS). INVITED SPEAKERS Rosario Pugliese Università degli Studi di Firenze, Italy I.V. Ramakrishnan Stony Brook University, USA PROGRAM CO-CHAIRS Demis Ballis University of Udine, Italy Santiago Escobar Technical University of Valencia, Spain WORKSHOP CHAIR Michele Baggi University of Siena, Italy PROGRAM COMMITTEE Maria Alpuente Technical University of Valencia, Spain Demis Ballis University of Udine, Italy Gilles Barthe INRIA Sophia-Antipolis, France Wlodzimierz Drabent IDA, Linköpings Universitet, Sweden IPI PAN, Polish Academy of Sciences, Poland Santiago Escobar Technical University of Valencia, Spain Moreno Falaschi University of Siena, Italy Mario Florido University of Porto, Portugal Thomas A. Henzinger EPFL, Switzerland Maria Jose Hidalgo University of Sevilla, Spain Temur Kutsia RISC, Linz, Austria Massimo Marchiori University of Padova, Italy Catherine Meadows Naval Research Laboratory, USA Antonio Vallecillo University of Malaga, Spain

1 0

Third Call for Participation AFP 2008 (correct date early registration)
by Peter Achten 11 Apr '08

11 Apr '08

3RD CALL FOR PARTICIPATION 6TH INTERNATIONAL SUMMER SCHOOL ON ADVANCED FUNCTIONAL PROGRAMMING 2008 (AFP ’08) RADBOUD UNIVERSITY NIJMEGEN AND UTRECHT UNIVERSITY, THE NETHERLANDS MAY 19-24, 2008 http://www.st.cs.ru.nl/AFP_TFP_2008/ [ EARLY REGISTRATION CLOSES ON MONDAY APRIL 14 ] [ THIS IS THE CORRECT DATE ] AFP is a series of international summer schools which aims to bring computer scientists, in particular young researchers and programmers, up to date with the latest advances in practical advanced functional programming. Functional programming emphasizes the evaluation of expressions rather than the execution of commands. We focus on functional programming techniques in “programming in the real world” and bridge the gap between results presented at programming conferences and material from textbooks on functional programming. In this school you will receive in depth lectures about advanced functional programming techniques, taught by experts in the field. Lectures are accompanied by practical problems to be solved by the students at the school. AFP 2008 is hosted by the Radboud University Nijmegen, and Utrecht University, The Netherlands, and will be held in the rural setting of Center Parcs “Het Heijderbos”, Heijen (in the vicinity of Nijmegen), The Netherlands. AFP 2008 is co-located with the 9th Symposium on Trends in Functional Programming (TFP’08), which is held after AFP’08. PROGRAM INFORMATION The following speakers will give the lectures (in alphabetic order): Umut Acar (Toyota Technological Institute, University of Chicago, US) Richard Bird (University of Oxford, UK) Olivier Danvy (University of Aarhus, DK) Johan Jeuring (Utrecht University, NL) Mark Jones (Portland State University, US) Ulf Norell (Chalmers University, SE) Simon Peyton Jones (Microsoft Research, UK) Rinus Plasmeijer (Radboud University Nijmegen, NL) During the summer school, all participants receive printed lecture notes. Participants are expected to have a notebook, in order to be able to participate with the practical problems. After the summer school, all lecture notes will be revised, reviewed, and published in the LNCS series of Springer. All registered participants receive a copy of these lecture notes. VENUE INFORMATION AFP (and TFP) is held in The Netherlands, at Center Parcs “Het Heijderbos” which is a holiday resort in the woodlands near the city of Nijmegen. We accomodate participants in DeLuxe Cottages, each of which has three separate bed-rooms, shared bathroom, toilet, kitchen, and terrace. Cottages will be shared by three participants. If you wish to reduce costs, you can choose to share a bedroom. The summer school and symposium will take place in the business center of the venue. Breakfast, lunch and diner is included within the limits of the venue. The resort features, amongst others, a sub-tropical swimming pool (free for participants), restaurants, shops, water sports lake, midget golf court, squash court, and outdoor and indoor tennis courts. Nijmegen is considered to be the oldest city of the Netherlands, being approximately 2000 years old. Nijmegen is located at the east border of the Netherlands, near Germany. Nijmegen can be reached easily from several airports such as Schiphol airport, Eindhoven airport, and Düsseldorf airport, as well as by train and car. Conveniently close to Center Parcs “Het Heijderbos” you will find airport Weeze in Germany. The venue Center Parcs “Het Heijderbos” can be reached from Nijmegen by train to Boxmeer (25 minutes). From there you will need to order a taxi. The venue can also be reached by car: parking is free for participants of AFP and TFP. SUMMER SCHOOL FEES AFP 2008 includes accommodation, conference, breakfast – lunch – diner, speakers, and proceedings costs. The early registration fee is € 995; the late registration fee is € 1095. REGISTRATION INFORMATION You can still register early until monday april 14 2008. Late registration opens at april 15 2008. Registration closes at may 5 2008. We can not guarantee accommodation in case you wish to register later than may 5 2008. IMPORTANT DATES (ALL 2008) Early Registration Deadline: April 14 Late Registration Opens: April 15 Late Registration Deadline: May 5 AFP Summer School: May 19-24 ORGANIZATION Programme Chair: Rinus Plasmeijer, Pieter Koopman, Radboud University Nijmegen, NL Doaitse Swierstra, Utrecht University, NL Arrangements: Peter Achten, Simone Meeuwsen, Radboud University Nijmegen, NL E-mail: afp_tfp_2008(a)cs.ru.nl

1 0

First Call for Participation TFP 2008, The Netherlands (correct early registration date)
by Peter Achten 11 Apr '08

11 Apr '08

FIRST CALL FOR PARTICIPATION TRENDS IN FUNCTIONAL PROGRAMMING 2008 RADBOUD UNIVERSITY NIJMEGEN, THE NETHERLANDS MAY 26-28, 2008 INVITED SPEAKER: PROF. HENK BARENDREGT http://www.st.cs.ru.nl/AFP_TFP_2008/ [ EARLY REGISTRATION CLOSES AT MONDAY APRIL 14 ] [ THIS IS THE CORRECT DATE ] The symposium on Trends in Functional Programming (TFP) is an international forum for researchers with interests in all aspects of functional programming languages, focusing on providing a broad view of current and future trends in Functional Programming. It aspires to be a lively environment for presenting the latest research results through acceptance by extended abstracts and full papers. A formal post-symposium refereeing process selects the best articles presented at the symposium for publication in a high-profile volume. TFP 2008 is hosted by the Radboud University Nijmegen, The Netherlands, and will be held in the rural setting of Center Parcs “Het Heijderbos”, Heijen (in the vicinity of Nijmegen), The Netherlands. TFP 2008 is co-located with the 6th Int’l. Summer School on Advanced Functional Programming (AFP’08), which is held immediately before TFP’08. PROGRAM INFORMATION We have selected papers in the following themes: (*) Types (*) Applications (*) Parallellism (*) Refactoring (*) Reactive Systems (*) Memory Analysis (*) Software Construction & Program Transformation (*) Reasoning The preliminary program can be found on the site: http://www.st.cs.ru.nl/AFP_TFP_2008/documents/preliminary_program_TFP_2008.… VENUE INFORMATION TFP (and AFP) is held in The Netherlands, at Center Parcs “Het Heijderbos” which is a holiday resort in the woodlands near the city of Nijmegen. We accomodate participants in DeLuxe Cottages, each of which has three separate bed-rooms, shared bathroom, toilet, kitchen, and terrace. Cottages will be shared by three participants. If you wish to reduce costs, you can choose to share a bedroom. The summer school and symposium will take place in the business center of the venue. Breakfast, lunch and diner is included within the limits of the venue. The resort features, amongst others, a sub-tropical swimming pool (free for participants), restaurants, shops, water sports lake, midget golf court, squash court, and outdoor and indoor tennis courts. Nijmegen is considered to be the oldest city of the Netherlands, being approximately 2000 years old. Nijmegen is located at the east border of the Netherlands, near Germany. Nijmegen can be reached easily from several airports such as Schiphol airport, Eindhoven airport, and Düsseldorf airport, as well as by train and car. Conveniently close to Center Parcs “Het Heijderbos” you will find airport Weeze in Germany. The venue Center Parcs “Het Heijderbos” can be reached from Nijmegen by train to Boxmeer (25 minutes). From there you will need to order a taxi. The venue can also be reached by car: parking is free for participants of AFP and TFP. SYMPOSIUM FEES TFP 2008 includes accommodation, symposium, breakfast – lunch – diner, proceedings, and social event costs. The early registration fee is € 595; the late registration fee is € 695. For details, we refer to the site (see above). During the social event we will visit Nijmegen and have a symposium diner at the river-side of De Waal. REGISTRATION INFORMATION Early registration is still possible until april 15 2008. Late registration opens at april 15 2008. Registration closes at may 5 2008. We can not guarantee accommodation in case you wish to register later than may 5 2008. Registration can be done on-line at the site: http://www.st.cs.ru.nl/AFP_TFP_2008/#RegistrationInformation IMPORTANT DATES (ALL 2008) Early Registration Deadline: April 14 Late Registration Opens: April 15 Late Registration Deadline: May 5 TFP Symposium: May 26-28 PROGRAMME COMMITTEE Peter Achten (co-chair) Radboud Univ. Nijmegen, NL Andrew Butterfield Trinity College, IE Manuel Chakravarty Univ. of New South Wales, AU John Clements Cal Poly State Univ., USA Matthias Felleisen Northeastern Univ., USA Jurriaan Hage Utrecht Univ., NL Michael Hanus Christian-Albrechts Univ. zu Kiel, DE Ralf Hinze Univ. of Oxford, UK Graham Hutton Univ. of Nottingham, UK Johan Jeuring Utrecht Univ., NL Pieter Koopman (co-chair) Radboud Univ. Nijmegen, NL Shriram Krishnamurthi Brown Univ., USA Hans-Wolfgang Loidl Ludwig-Maximilians Univ.München, DE Rita Loogen Philipps-Univ. Marburg, DE Greg Michaelson Heriot-Watt Univ., UK Marco T. Morazán (symp. chair) Seton Hall Univ., USA Sven-Bodo Scholz Univ. of Hertfordshire, UK Ulrik Schultz Univ. of Southern Denmark, DK Clara Segura Univ. Complutense de Madrid, ES Olin Shivers Northeastern Univ., USA Phil Trinder Heriot-Watt Univ., UK Varmo Vene Univ. of Tartu, EE Viktória Zsók Eötvös Loránd Univ., HU ORGANIZATION Symposium Chair: Marco T. Morazán, Seton Hall University, USA Programme Chair: Peter Achten, Pieter Koopman, Radboud University Nijmegen, NL Treasurer: Greg Michaelson, Heriot-Watt University, UK

1 0

Third Call for Participation AFP 2008
by Peter Achten 10 Apr '08

10 Apr '08

3RD CALL FOR PARTICIPATION 6TH INTERNATIONAL SUMMER SCHOOL ON ADVANCED FUNCTIONAL PROGRAMMING 2008 (AFP ’08) RADBOUD UNIVERSITY NIJMEGEN AND UTRECHT UNIVERSITY, THE NETHERLANDS MAY 19-24, 2008 http://www.st.cs.ru.nl/AFP_TFP_2008/ [ EARLY REGISTRATION CLOSES ON MONDAY MAY 14 ] AFP is a series of international summer schools which aims to bring computer scientists, in particular young researchers and programmers, up to date with the latest advances in practical advanced functional programming. Functional programming emphasizes the evaluation of expressions rather than the execution of commands. We focus on functional programming techniques in “programming in the real world” and bridge the gap between results presented at programming conferences and material from textbooks on functional programming. In this school you will receive in depth lectures about advanced functional programming techniques, taught by experts in the field. Lectures are accompanied by practical problems to be solved by the students at the school. AFP 2008 is hosted by the Radboud University Nijmegen, and Utrecht University, The Netherlands, and will be held in the rural setting of Center Parcs “Het Heijderbos”, Heijen (in the vicinity of Nijmegen), The Netherlands. AFP 2008 is co-located with the 9th Symposium on Trends in Functional Programming (TFP’08), which is held after AFP’08. PROGRAM INFORMATION The following speakers will give the lectures (in alphabetic order): Umut Acar (Toyota Technological Institute, University of Chicago, US) Richard Bird (University of Oxford, UK) Olivier Danvy (University of Aarhus, DK) Johan Jeuring (Utrecht University, NL) Mark Jones (Portland State University, US) Ulf Norell (Chalmers University, SE) Simon Peyton Jones (Microsoft Research, UK) Rinus Plasmeijer (Radboud University Nijmegen, NL) During the summer school, all participants receive printed lecture notes. Participants are expected to have a notebook, in order to be able to participate with the practical problems. After the summer school, all lecture notes will be revised, reviewed, and published in the LNCS series of Springer. All registered participants receive a copy of these lecture notes. VENUE INFORMATION AFP (and TFP) is held in The Netherlands, at Center Parcs “Het Heijderbos” which is a holiday resort in the woodlands near the city of Nijmegen. We accomodate participants in DeLuxe Cottages, each of which has three separate bed-rooms, shared bathroom, toilet, kitchen, and terrace. Cottages will be shared by three participants. If you wish to reduce costs, you can choose to share a bedroom. The summer school and symposium will take place in the business center of the venue. Breakfast, lunch and diner is included within the limits of the venue. The resort features, amongst others, a sub-tropical swimming pool (free for participants), restaurants, shops, water sports lake, midget golf court, squash court, and outdoor and indoor tennis courts. Nijmegen is considered to be the oldest city of the Netherlands, being approximately 2000 years old. Nijmegen is located at the east border of the Netherlands, near Germany. Nijmegen can be reached easily from several airports such as Schiphol airport, Eindhoven airport, and Düsseldorf airport, as well as by train and car. Conveniently close to Center Parcs “Het Heijderbos” you will find airport Weeze in Germany. The venue Center Parcs “Het Heijderbos” can be reached from Nijmegen by train to Boxmeer (25 minutes). From there you will need to order a taxi. The venue can also be reached by car: parking is free for participants of AFP and TFP. SUMMER SCHOOL FEES AFP 2008 includes accommodation, conference, breakfast – lunch – diner, speakers, and proceedings costs. The early registration fee is € 995; the late registration fee is € 1095. REGISTRATION INFORMATION You can still register early until monday april 14 2008. Late registration opens at april 15 2008. Registration closes at may 5 2008. We can not guarantee accommodation in case you wish to register later than may 5 2008. IMPORTANT DATES (ALL 2008) Early Registration Deadline: April 14 Late Registration Opens: April 15 Late Registration Deadline: May 5 AFP Summer School: May 19-24 ORGANIZATION Programme Chair: Rinus Plasmeijer, Pieter Koopman, Radboud University Nijmegen, NL Doaitse Swierstra, Utrecht University, NL Arrangements: Peter Achten, Simone Meeuwsen, Radboud University Nijmegen, NL E-mail: afp_tfp_2008(a)cs.ru.nl

1 0

First Call for Participation TFP 2008, The Netherlands
by Peter Achten 10 Apr '08

10 Apr '08

FIRST CALL FOR PARTICIPATION TRENDS IN FUNCTIONAL PROGRAMMING 2008 RADBOUD UNIVERSITY NIJMEGEN, THE NETHERLANDS MAY 26-28, 2008 INVITED SPEAKER: PROF. HENK BARENDREGT http://www.st.cs.ru.nl/AFP_TFP_2008/ [ EARLY REGISTRATION CLOSES AT MONDAY MAY 14 ] The symposium on Trends in Functional Programming (TFP) is an international forum for researchers with interests in all aspects of functional programming languages, focusing on providing a broad view of current and future trends in Functional Programming. It aspires to be a lively environment for presenting the latest research results through acceptance by extended abstracts and full papers. A formal post-symposium refereeing process selects the best articles presented at the symposium for publication in a high-profile volume. TFP 2008 is hosted by the Radboud University Nijmegen, The Netherlands, and will be held in the rural setting of Center Parcs “Het Heijderbos”, Heijen (in the vicinity of Nijmegen), The Netherlands. TFP 2008 is co-located with the 6th Int’l. Summer School on Advanced Functional Programming (AFP’08), which is held immediately before TFP’08. PROGRAM INFORMATION We have selected papers in the following themes: (*) Types (*) Applications (*) Parallellism (*) Refactoring (*) Reactive Systems (*) Memory Analysis (*) Software Construction & Program Transformation (*) Reasoning The preliminary program can be found on the site: http://www.st.cs.ru.nl/AFP_TFP_2008/documents/preliminary_program_TFP_2008.… VENUE INFORMATION TFP (and AFP) is held in The Netherlands, at Center Parcs “Het Heijderbos” which is a holiday resort in the woodlands near the city of Nijmegen. We accomodate participants in DeLuxe Cottages, each of which has three separate bed-rooms, shared bathroom, toilet, kitchen, and terrace. Cottages will be shared by three participants. If you wish to reduce costs, you can choose to share a bedroom. The summer school and symposium will take place in the business center of the venue. Breakfast, lunch and diner is included within the limits of the venue. The resort features, amongst others, a sub-tropical swimming pool (free for participants), restaurants, shops, water sports lake, midget golf court, squash court, and outdoor and indoor tennis courts. Nijmegen is considered to be the oldest city of the Netherlands, being approximately 2000 years old. Nijmegen is located at the east border of the Netherlands, near Germany. Nijmegen can be reached easily from several airports such as Schiphol airport, Eindhoven airport, and Düsseldorf airport, as well as by train and car. Conveniently close to Center Parcs “Het Heijderbos” you will find airport Weeze in Germany. The venue Center Parcs “Het Heijderbos” can be reached from Nijmegen by train to Boxmeer (25 minutes). From there you will need to order a taxi. The venue can also be reached by car: parking is free for participants of AFP and TFP. SYMPOSIUM FEES TFP 2008 includes accommodation, symposium, breakfast – lunch – diner, proceedings, and social event costs. The early registration fee is € 595; the late registration fee is € 695. For details, we refer to the site (see above). During the social event we will visit Nijmegen and have a symposium diner at the river-side of De Waal. REGISTRATION INFORMATION Early registration is still possible until april 15 2008. Late registration opens at april 15 2008. Registration closes at may 5 2008. We can not guarantee accommodation in case you wish to register later than may 5 2008. Registration can be done on-line at the site: http://www.st.cs.ru.nl/AFP_TFP_2008/#RegistrationInformation IMPORTANT DATES (ALL 2008) Early Registration Deadline: April 14 Late Registration Opens: April 15 Late Registration Deadline: May 5 TFP Symposium: May 26-28 PROGRAMME COMMITTEE Peter Achten (co-chair) Radboud Univ. Nijmegen, NL Andrew Butterfield Trinity College, IE Manuel Chakravarty Univ. of New South Wales, AU John Clements Cal Poly State Univ., USA Matthias Felleisen Northeastern Univ., USA Jurriaan Hage Utrecht Univ., NL Michael Hanus Christian-Albrechts Univ. zu Kiel, DE Ralf Hinze Univ. of Oxford, UK Graham Hutton Univ. of Nottingham, UK Johan Jeuring Utrecht Univ., NL Pieter Koopman (co-chair) Radboud Univ. Nijmegen, NL Shriram Krishnamurthi Brown Univ., USA Hans-Wolfgang Loidl Ludwig-Maximilians Univ.München, DE Rita Loogen Philipps-Univ. Marburg, DE Greg Michaelson Heriot-Watt Univ., UK Marco T. Morazán (symp. chair) Seton Hall Univ., USA Sven-Bodo Scholz Univ. of Hertfordshire, UK Ulrik Schultz Univ. of Southern Denmark, DK Clara Segura Univ. Complutense de Madrid, ES Olin Shivers Northeastern Univ., USA Phil Trinder Heriot-Watt Univ., UK Varmo Vene Univ. of Tartu, EE Viktória Zsók Eötvös Loránd Univ., HU ORGANIZATION Symposium Chair: Marco T. Morazán, Seton Hall University, USA Programme Chair: Peter Achten, Pieter Koopman, Radboud University Nijmegen, NL Treasurer: Greg Michaelson, Heriot-Watt University, UK

1 0

MSFP deadline extension
by Venanzio Capretta 09 Apr '08

09 Apr '08

We are glad to announce that the deadline for the workshop MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING has been extended by a week: Submission of abstracts: 11 April Submission of papers: 18 April Information about the workshop and the submission procedure can be found at: http://msfp.org.uk/ Venanzio Capretta Conor McBride

1 0

Change of Editor HCAR (Haskell Communities and Activities Report)
by Andres Loeh 08 Apr '08

08 Apr '08

Dear Haskellers. The Haskell Communities and Activities Report (HCAR) for short is a collection of status reports and news items from projects, groups, companies, and individuals that appears twice per year. As of now, the latest issue is from December 2007 and available from http://haskell.org/communities. I have been the editor of the report for the last six editions, and have recently been looking for a successor. It is my pleasure to announce that Janis Voigtlaender, Technical University of Dresden has declared himself willing to perform this task, starting with the next issue, which will have a deadline very soon, probably in the beginning of May. I want to use this opportunity to thank Janis for accepting the responsibility and thereby helping to keep this valuable information source alive. I also want to thank all the contributors to the HCAR for supporting it during the past years and ask you to support Janis in his job by submitting many new entries in time for the deadline, as you usually did when I was the editor. Cheers, Andres -- Andres Loeh, Universiteit Utrecht mailto:andres@cs.uu.nl mailto:mail@andres-loeh.de http://www.andres-loeh.de

2 1

ANN: The Monad.Reader Issue 10
by Wouter Swierstra 08 Apr '08

08 Apr '08

I am pleased to announce that a new issue of The Monad.Reader is now available: http://www.haskell.org/haskellwiki/The_Monad.Reader Issue 10 consists of the following two articles: * Bernie Pope Step inside the GHCi debugger * Matthew Naylor Evaluating Haskell in Haskell The Monad.Reader is a quarterly magazine about functional programming. It is less formal than a journal, but somehow more enduring than a wiki page or blog post. If you'd like to write something for the next issue of The Monad.Reader, please get in touch. I haven't fixed the deadline for the next issue just yet. I hope to send out an official call for copy fairly soon. Wouter This message has been checked for viruses but the contents of an attachment may still contain software viruses, which could damage your computer system: you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation.

1 0

FW: [TYPES/announce] DEFUN08: Call for Talks & Tutorials (co-located w/ ICFP08)
by Simon Peyton-Jones 08 Apr '08

08 Apr '08

Folks, ICFP is growing a Functional Programming Developer Conference! It'll sit back-to-back with ICFP, with the Commercial Users of Functional Programming workshop as part of it. As well as CUFP, though, there'll be tutorials and presentations about libraries tools programming techniques The call below invites you to offer such a talk or tutorial. More details below. You don't have to write a paper -- you just have to have a cool and *useful* library or tool that you'd like to show to others. Step up! Deadline for offers is 27 June, so you have time. But don't leave it too long. Simon Call for Talks and Tutorials ACM SIGPLAN 2008 Developer Tracks on Functional Programming http://www.deinprogramm.de/defun-2008/ Victoria, BC, Canada, 25, 27 September, 2008 The workshop will be held in conjunction with ICFP 2008. http://www.icfpconference.org/icfp2008/ Important dates Proposal Deadline: June 27, 2008, 0:00 UTC Notification: July 14, 2008 DEFUN 2008 invites functional programmers who know how to solve problems with functional prorgamming to give talks and lead tutorials at the The ICFP Developer Tracks. We want to know about your favorite programming techniques, powerful libraries, and engineering approaches you've used that the world should know about and apply to other projects. We want to know how to be productive using functional programming, write better code, and avoid common pitfals. We invite proposals for presentations in the following categories: How-to talks: 45-minute "how-to" talks that provide specific information on how to solve specific problems using functional programming. These talks focus on concrete examples, but provide useful information for developers working on different projects or in different contexts. Examples: - "How I made Haskell an extension language for SAP R/3." - "How I replaced /sbin/init by a Scheme program." - "How I hooked up my home appliances to an Erlang control system." - "How I got an SML program to drive my BMW." General language tutorials Half-day general language tutorials for specific functional languages, given by recognized experts for the respective languages. Technology tutorials Half-day tutorials on techniques, technologies, or solving specific problems in functional programming such as: - how to make the best use of specific FP programming techniques - how to inject FP into a development team used to more conventional technologies - how to connect FP to existing libraries / frameworks / platforms - how to deliver high-performance systems with FP - how to deliver high-reliability systems with FP Remember that your audience will include computing professionals who are not academics and who may not already be experts on functional programming. Presenters of tutorials will receive free registration to ICFP 2008. Submission guidelines Submit a proposal of 150 words or less for either a 45-minute talk with a short Q&A session at the end, or a 300-word-or-less proposal for a 3-hour tutorial, where you present your material, but also give participants a chance to practice it on their own laptops. Some advice: - Give it a simple and straightforward title or name; avoid fancy titles or puns that would make it harder for attendees to figure out what you'll be talking about. - Clearly identify the level of the talk: What knowledge should people have when they come to the presentation or tutorial? - Explain why people will want to attend: is the language or library useful for a wide range of attendees? Is the pitfall you're identifying common enough that a wide range of attendees is likely to encounter it? - Explain what benefits attendees are expected to take home to their own projects. - For a tutorial, explain how you want to structure the time, and what you expect to have attendees to do on their laptops. List what software you'll expect attendees to have installed prior to coming. Submit your proposal in plain text electronically to defun-2008-submission-AT-deinprogramm.de by the beginning of Friday, June 27, Universal Coordinated Time. Organizers Kathleen Fisher AT&T Labs Simon Peyton Jones Microsoft Research Mike Sperber (co-chair) DeinProgramm Don Stewart (co-chair) Galois

1 0

Continuation Fest 2008: Call for Participation
by oleg＠okmij.org 08 Apr '08

08 Apr '08

[Conrad Parker's presentation below will talk about continuations in Haskell] Continuation Fest 2008: Call for Participation http://logic.cs.tsukuba.ac.jp/Continuation/ Date: Sunday April 13, 2008. Place: Akihabara-Daibiru Building, 13th Floor, Tokyo, Japan. (Akihabara Site of the University of Tokyo, http://www.i.u-tokyo.ac.jp/map/index_e.shtml#aki) Program (tentative): 13:00-13:05 Opening Session 1. Demonstrating continuations 13:05-13:45 Kenichi Asai (Ochanomizu) Typing printf 13:45-14:25 Oleg Kiselyov Demo of persistent delimited continuations in OCaml for nested web transactions (break) Session 2. Applying continuations 14:35-15:05 Katsutoshi Itoh (Kahua project) Various use of continuations in Kahua - Application in practical web programming experience 15:05-15:35 Rui Otake (Tohoku) Delimited continuations in the grammar of Japanese 15:35-16:00 Conrad Parker (Kyoto) Continuations for video decoding and scrubbing 16:00-16:25 Takuo Watanabe (Titech) and Yuichi Tanaka Continuing from the past: An approach to building dynamically upgradable applications (break) Session 3. Implementing continuations 16:35-17:15 Shinji Kono (Ryukyu) How to implement continuation only language in gcc 4.x 17:15-17:55 Koichi Sasada (Tokyo) Ruby Continuations 17:55-18:00 Closing 18:30- Dinner Participation: No registration or participation fee is needed to attend Continuation Fest except the dinner. Those who join the dinner are encouraged to send an e-mail to the organizer by April 11th. Program committee: Chris Barker (New York), Shiro Kawai (Scheme Arts), Oleg Kiselyov (FNMOC), Chung-chieh Shan (Chair, Rutgers), Taiichi Yuasa (Kyoto) Organizers: Kenichi Asai (Ochanomizu), Yukiyoshi Kameyama (Chair, Tsukuba), Takahiro Kido (shelarcy) Inquiries: CF2008(a)logic.cs.tsukuba.ac.jp

1 0