- Haskell - Haskell.org

INAP 2009: 1st CFP
by Pedro Salgueiro 29 Apr '09

29 Apr '09

[apologies for multiple posts; please distribute] ------------------------------------------------- First Call for Papers INAP 2009 18th International Conference on Applications of Declarative Programming and Knowledge Management November 5-7, 2009 Evora, Portugal http://www.di.uevora.pt/inap2009/ http://inap.dialogengines.com/ Organized by the Portuguese AI Society (APPIA), the INAP Committee and the Society of Logic Programming (GLP e.V.) == Overview == Declarative Programming is a family of advanced paradigms for the modeling and solving of complex problems. These specification and implementation methods have attracted more and more attention over the past years, e.g. in the domains of databases and natural language processing, for modeling and the processing of combinatorial problems, and for establishing systems for the web. == INAP 2009 == INAP is a communicative and dense forum for intensive discussion of applications of important technologies related to Prolog, Logic and Constraint Programming as well as closely related advanced software. It comprehensively covers the impact of programmable logic solvers in the Internet Society, its underlying technologies, and leading edge applications in industry, commerce, government, and societal services. INAP 2009 continues a tradition of successful workshops cast around the applications of declarative programming, which were held in Kobe (1997), Tokyo (1995, 1996, 1998 - 2001), Potsdam (2004), Fukuoka (2005) and Wuerzburg (2007). We invite the submission of high quality papers on the described topics, especially, but not exclusively, on different aspects of Declarative Programming, Constraint Processing and Knowledge Management as well as their use for Distributed Systems and the Web: - Knowledge Management, e.g. Data Mining, Decision Support, Deductive Databases - Distributed Systems and the Web, e.g. Agents and Concurrent Engineering, Semantic Web - Constraints, e.g. Constraint Systems, Extensions of Constraint (Logic) Programming - Theoretical Foundations, e.g. Deductive Databases, Nonmonotonic Reasoning - Systems and Tools for Academic and Industrial Use - Knowledge-based Web Services - Logic Solvers and Applications == Workshop Format == The technical program of the workshop will include invited presentations (to be announced), regular technical sessions with presentations of the accepted papers, system demonstrations and a panel discussion. == Conference Venue == The conference will be held at the University of Evora, Portugal in November 5-7, 2009. Evora is a nice and quiet historical city located in the south of Portugal that can be reached from Lisbon by train or coach in under 2 hours. It is a small city of 60.000 inhabitants, 120 km inland from Lisbon and classified by Unesco as World Heritage. The University of Evora was established in the 16th Century and is the 2nd oldest Portuguese University. The social program is promising since the region is very rich in historical sites (Stone Age, Roman, Medieval and Renaissance remains) and also offers a very special gastronomy. See http://en.wikipedia.org/wiki/%C3%89vora for more information. == Important Dates == Paper Submission Deadline: June 29, 2009 Notifications to Authors: August 17, 2009 Camera-ready Version Deadline: September 14, 2009 INAP 2009 Workshop: November 5-7, 2009 == Submission Guidelines == Participants should submit a paper (maximum 15 pages, PDF format), describing their work in topics relevant to the workshop. Accepted papers will be presented during the workshop. At least one author of an accepted contribution is expected to register for the workshop, and present the paper. All submissions should include the author's name(s), affiliation, complete mailing address, and email address. Authors are requested to prepare their submissions, following the LNCS/LNAI Springer format. Please see: http://www.springer.de/comp/lncs/authors.html for further details. The submission should be submitted through the electronic submission site: http://www.easychair.org/inap2009/ The deadline for receipt of submissions is June 29, 2009. Papers received after this date will not be reviewed. Eligible papers will be peer-reviewed by at least three members of the Program Committee. Authors will be notified via email of the results by August 17, 2009. Authors of accepted papers are expected to improve their paper based on reviewers' comments and to send a camera ready version of their manuscripts by September 14, 2009. Accepted papers will be included in the workshop proceedings, which will be distributed to the participants. As in previous editions, we plan to publish selected papers in a proceedings volume in the Springer Lecture Notes in Artificial Intelligence (LNAI) series. == Organizing Committee == Vitor Nogueira vbn AT di.uevora.pt Salvador Abreu spa AT di.uevora.pt Pedro Salgueiro pds AT di.uevora.pt Universidade de Evora Portugal == Program Committee == Salvador Abreu, University of Evora, Portugal (co-chair) Sergio Alvarez, Boston College, USA Philippe Codognet, CNRS/JFLI, Tokyo, Japan Vitor Santos Costa, University of Porto, Portugal Daniel Diaz, University of Paris I, France Ulrich Geske, University of Potsdam, Germany Gopal Gupta, UT Dallas, USA Petra Hofstedt, Technical University of Berlin, Germany Ulrich Neumerkel, Technical University of Vienna, Austria Vitor Nogueira, University of Evora, Portugal Enrico Pontelli, New Mexico State University, USA Irene Rodrigues, University of Evora, Portugal Carolina Ruiz, Worcester Polytechnic Institute, USA Dietmar Seipel, University of Wuerzburg, Germany (co-chair) Terrance Swift, CENTRIA, Portugal Hans Tompits, Technical University of Vienna, Austria Masanobu Umeda, Kyushu Institute of Technology, Japan Armin Wolf, Fraunhofer FIRST, Berlin, Germany Osamu Yoshie, Waseda University, Japan == Contact Information == inap2009 AT di.uevora.pt Universidade de Evora Departamento de Informatica Largo dos Colegiais, 2 7004-516 Evora - PORTUGAL

1 0

International Summer School on Advances in Programming Languages
by voigt＠tcs.inf.tu-dresden.de 29 Apr '09

29 Apr '09

International Summer School on Advances in Programming Languages 25th-28th August, 2009 Heriot-Watt University, Edinburgh, Scotland http://www.macs.hw.ac.uk/~greg/ISS-AiPL Overview This four-day residential International Summer School on Advances in Programming Languages has a major theme of Concurrency, Distribution, and Multicore. Intended primarily for postgraduate research students, the School offers lectures and practical sessions on an engaging blend of cutting edge theoretical and practical techniques from international experts. The Summer School is supported by the Scottish Informatics and Computer Science Alliance (http://www.sicsa.ac.uk/) a Scottish Funding Council Research Pool. Participants from SICSA member institutions may attend at no cost. Confirmed Topics/Speakers - Static and dynamic languages, Prof Phillip Wadler, University of Edinburgh - Compiler technology for data-parallel languages, Dr Sven-Bodo Scholz, University of Hertfordshire - New applications of parametricity, Dr Janis Voigtlaender, Technical University of Dresden - Automatic vectorising compilation, Dr Paul Cockshott, University of Glasgow - Foundational aspects of size analysis, Prof Marko van Eekelen/Dr Olha Shakaravska, Radboud University Nijmegen - Context oriented programming, Dr Pascal Costanza, Vrije Universiteit Brussel - Multi-core programming, Dr Phil Trinder, Heriot-Watt University - Multi-core compilation, Dr Alastair Donaldson, Codeplay Software Ltd - Principles and Applications of Refinement Types, Dr Andrew D. Gordon, Microsoft Research, Cambridge - Resource aware programming in Hume, Prof Greg Michaelson, Heriot-Watt University/ Prof Kevin Hammond, University of St Andrews - Haskell concurrency & parallelism, Dr Satnam Singh, Microsoft Research, Cambridge Location The Summer School is based at Heriot-Watt University's Riccarton campus, set in pleasant parkland to the west of Edinburgh, with easy access to the airport, city and central Scotland: http://www.hw.ac.uk/welcome/directions.htm. The Summer School immediately precedes the 2009 International Conference on Functional Programming (http://www.cs.nott.ac.uk/~gmh/icfp09.html) and takes place during the Edinburgh International Festival (http://www.eif.co.uk/) and the associated Edinburgh Festival Fringe (http://www.edfringe.com/) and Edinburgh International Book Festival (http://www.edbookfest.co.uk/) Steering Committee Prof Greg Michaelson, Heriot-Watt University (Convenor) (mailto:G.Michaelson@hw.ac.uk) Prof Kevin Hammond, University of St Andrews Dr Patricia Johann, University of Strathclyde Prof Phillip Wadler, University of Edinburgh

1 0

[Haskell] HaL4: Local Haskell meeting, Halle/Saale, Germany, June 12
by Henning Thielemann 29 Apr '09

29 Apr '09

Hi all, we like to remind the potential participants of our Local Haskell meeting HaL4 to submit proposals for talks. See the recent announcement in German: http://www.haskell.org/pipermail/haskell/2009-April/021220.html --------------------------------------------- HaL4 : Haskell - Tutorial + Workshop + Party am Freitag, dem 12. Juni 2009, in Halle/Saale --------------------------------------------- Das traditionsreiche HaL-Treffen bietet eine gute Mischung von Haskell-bezogenen Themen aus Forschung, Anwendung und Lehre mit vielen Möglichkeiten zu Diskussion und Unterhaltung bei der anschließenden Party. Der Workshop wird in diesem Jahr ergänzt durch Tutorien für Haskell-Ein- und Umsteiger. Diesmal findet das Treffen in Halle/Saale im Institut für Informatik der Martin-Luther-Universität Halle-Wittenberg statt. Wir planen: 10 - 13 Uhr: Tutorien 15 - 19 Uhr: Fachvorträge 19 - 22 Uhr: Grillparty Wir freuen uns auf rege Teilnahme sowie spannende Vorträge mit heißen Diskussionen und bitten um Vortragsanmeldungen bis zum 8. Mai. Gedacht sind 4 mal je 30 min Vortrag + 30 min Diskussion. Weitere Informationen auf http://www.iba-cg.de/hal4.html Beste Gruesse Henning Thielemann

1 0

ANNOUNCE: ALUT 2.1.0.1
by Sven Panne 28 Apr '09

28 Apr '09

A new version of the ALUT package has been uploaded to Hackage. This is a bug fix only release, containing only tiny changes: * Minor tweaks for recent Cabal versions * Removal of old GHC build system relics. Cheers, S.

2 1

ANNOUNCE: OpenAL 1.3.1.2
by Sven Panne 28 Apr '09

28 Apr '09

A new version of the OpenAL package has been uploaded to Hackage. This is a bug fix only release: * Minor tweaks for recent Cabal versions * Removal of old GHC build system relics. * Use the correct calling convention on Windows. Cheers, S.

1 0

ANNOUNCE: GLUT 2.1.2.0
by Sven Panne 28 Apr '09

28 Apr '09

A new version of the GLUT package has been uploaded to Hackage. This is a feature release, adding all the shiny new features of the upcoming freeglut 2.6.0 C library plus a few older bits and pieces which had been missing: * Minor tweaks for recent Cabal versions * Removal of old GHC build system relics. * Added support for OpenGL 3.x context creation (freeglut only) * Added support for getModeValues (freeglut extension) * Added freeglut-specific full screen API * Added freeglut-specific (de-)initialization API * Added support for multisampling with given samples per pixel (freeglut) * Added support for mouse wheel callback (freeglut) * Added support for window state callback (freeglut) * Added support for captionless/borderless windows (freeglut 2.6.0) * Handle special keys introduced by freeglut 2.6.0 The most important addition is the ability to create versioned context, so you can use forward compatible OpenGL 3.1 contexts. Death to the fixed function pipeline!! ;-) Cheers, S.

1 0

ANNOUNCE: OpenGL 2.2.2.0
by Sven Panne 28 Apr '09

28 Apr '09

A new version of the OpenGL package has bee uploaded to Hackage. This is mainly a bug fix release, containing the following changes: * Minor tweaks for recent Cabal versions. * Removal of old GHC build system relics. * Handle "invalid framebuffer operation" error. * Terminate GLSL attribute names with NUL in various functions. * Access 3D texture functions via their core API names, improving portability (e.g. for MacOS X). * Added a workaround for a bug in the SGI tessellator. * Fixed marshalling of control points for evaluators. * Added mapBuffer/unmapBuffer and beginQuery/endQuery to exported API. Cheers, S.

1 0

ANNOUNCE: Haskell File Manager
by Michael Dever 28 Apr '09

28 Apr '09

Hi, The first release of Haskell File Manager has been uploaded to http://code.haskell.org/haskellfm This is a program for viewing/managing the files on your computer. It has all the common functionality you would expect from your current file manager, copying, moving, deleting, renaming, opening and searching. It is a beta release, so you know what to expect there, and any bugs found can be filed at http://trac.haskell.org/haskellfm . Regards, Michael

5 6

Announce: GraphViz: Change of Maintainer
by Matthew Sackman 27 Apr '09

27 Apr '09

I no longer have the time to continue development of the (apparently, judging from the number of emails I'm getting, rather popular) graphviz package. Fortunately, Ivan Lazar Miljenovic who has extended it himself and sent me patches (some of which I did get round to folding in) has agreed to take on the package. Please direct all further queries to him! Many thanks Ivan! Matthew

1 0

LAST CALL: Haskell Communities and Activities Report
by voigt＠tcs.inf.tu-dresden.de 27 Apr '09

27 Apr '09

Dear Haskellers, It is not yet too late to contribute to the May 2009 edition of the Haskell Communities and Activities Report. If you haven't already, please write an entry for your new project, or update your old entry. Please mail your entries to hcar(a)haskell.org in LaTeX format. More information can be found in the original Call for Contributions at http://www.haskell.org/pipermail/haskell/2009-April/021180.html I look forward to receiving your contributions. Thanks a lot, Janis. -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:voigt@tcs.inf.tu-dresden.de

1 0