headers
Fritz Henglein | 2 Dec 2009 11:52
Picon
Favicon
Gravatar

3 full professor positions at DIKU

The Department of Computer Science at the University of Copenhagen
(DIKU, http://www.diku.dk) has openings for up to 3 full professor
positions in programming languages and systems (1 or 2 appointments),
respectively software development (1 appointment), starting May 2010.

For detailed information, including application procedures, please see
the full position announcements:

Professor in programming languages and systems:
http://www.diku.dk/ominstituttet/ledige_stillinger/professorinsoftware/

Professor in software development:
http://www.diku.dk/ominstituttet/ledige_stillinger/professorinprogramming/

Please note that the software development position is open to
outstanding candidates with a technically-oriented research record and
ambitions to bridge to user-oriented aspects.

Enquiries about the positions can be made to department head Martin
Zachariasen---see the announcements for contact information.

Deadline for application: December 17th, 2009, 12 noon (CET).
Permalink | Reply | 0 comments |
headers
Brent Yorgey | 3 Dec 2009 04:10
Favicon
Gravatar

Second Call for Copy: Monad.Reader Issue 15

It's not too late to write something for Issue 15 of the Monad.Reader!

Whether you're an established academic or have only just started
learning Haskell, if you have something to say, please consider
writing an article for The Monad.Reader! The submission deadline
for Issue 15 is

                **Friday, January 8, 2010**

The Monad.Reader
~~~~~~~~~~~~~~~~

The Monad.Reader is a electronic magazine about all things Haskell.
It is less formal than journal, but somehow more enduring than a
wiki-page. There have been a wide variety of articles: exciting
code fragments, intriguing puzzles, book reviews, tutorials, and
even half-baked research ideas.

Submission Details
~~~~~~~~~~~~~~~~~~

Get in touch with me if you intend to submit something -- the sooner
you let me know what you're up to, the better.  I am also happy to
provide feedback on draft versions before the submission deadline.

Please submit articles for the next issue to me by e-mail (byorgey
at cis.upenn.edu).

Articles should be written according to the guidelines available
from
(Continue reading)

Permalink | Reply | 1 comment |
headers
Graham Hutton | 3 Dec 2009 11:58
Picon

PhD studentships in Nottingham

Dear all,

The School of Computer Science at the University of Nottingham is
advertising 3 PhD studentships, with functional programming being
one of the target areas.   Further information about the functional
programming lab within the School is available from:

   http://fp.cs.nott.ac.uk/

If you would like to apply, please following the instructions in
the advert below.  The deadline is 8th January 2010.

Best wishes,

Graham Hutton

+-----------------------------------------------------------------+

The School of Computer Science of the University of Nottingham
invites applications for 3 PhD studentships.  The studentships
are for 3.5 years and include 13,290 per year maintenance grant
and UK/EU tuition fees.  The applicants need to apply through
the University postgraduate admissions system

   http://pgstudy.nottingham.ac.uk/apply-for-postgraduate-courses.aspx

The deadline for applications is the 8th of January 2010.

The applications are invited in the areas listed below.  Please
contact the academics listed for the research area first if you
(Continue reading)

Permalink | Reply | 0 comments |
headers
Clemens Grelck | 3 Dec 2009 13:10
Picon
Picon
Favicon

Call for papers: PAPP 2010, 7th International Workshop on Practical Aspects of High-level Parallel Programming

---------------------------------------------------------------------
Please accept our apologies if you have received multiple copies.
Please feel free to distribute it to those who might be interested.
---------------------------------------------------------------------

----------------------------------------------------------
                  CALL FOR PAPERS

                      PAPP 2010
          Seventh International Workshop on
    Practical Aspects of High-level Parallel Programming
        http://lacl.univ-paris12.fr/gava/PAPP2010/

                      part of

                     ICCS 2010
     The International Conference on Computational Science
May 31- June 2, 2010, University of Amsterdam, The Netherlands.
----------------------------------------------------------

AIMS AND SCOPE

Computational Science applications are more and more complex to  develop and require more and more
computing power. Bill McColl's post "Sequential Computing Considered Harmful" is an excellent summary 
of today's situation. Sequential computing cannot go further. Major companies in the computing industry
now recognizes the urgency of reorienting an entire industry towards massively parallel 
computing (Think Parallel or Perish).

Parallel and grid computing are solutions to the increasing need for computing power. The trend is towards
the increase of cores in processors, the number of processors and the need for scalable
(Continue reading)

Permalink | Reply | 0 comments |
headers
Clemens Grelck | 3 Dec 2009 21:07
Picon
Picon
Favicon

SaC Tutorial at PPoPP 2010

---------------------------------------------------------------------
Please accept our apologies if you have received multiple copies.
Please feel free to distribute it to those who might be interested.
---------------------------------------------------------------------

*********************************************************************
*                                                                   *
*                       Call for Participation                      *
*                                                                   *
*                              TUTORIAL                             *
*                                 on                                *
*            SAC AND ITS AUTO-PARALLELISING COMPILER SAC2C          *
*                                                                   *
*                         January 9, 2010                           *
*                        Bangalore, India                           *
*                                                                   *
*              15th ACM SIGPLAN Annual Symposium on                 *
*         Principles and Practice of Parallel Programming           *
*                           (PPoPP 2010)                            *
*                                                                   *
*                http://events.sac-home.org/ppopp/                  *
*                                                                   *
*********************************************************************

Background and Content

  The non-deterministic semantics of concurrent execution of main-stream
  languages, combined with the difficulties in debugging concurrency-specific
  bugs like race conditions, render software engineering for concurrent
  architectures challenging and time consuming. The data-parallel approach
(Continue reading)

Permalink | Reply | 0 comments |
headers
Don Stewart | 7 Dec 2009 18:29
Favicon
Gravatar

Re: [Haskell-cafe] The Haskell Web News: December 2009 Edition


Deniz:
> I think the correct URL should be:

Oops, well spotted. The original link will work now.

    http://haskellwebnews.wordpress.com/2009/12/05/whats-new-in-haskell-december-2009/
Permalink | Reply | 0 comments |
headers
Deniz Dogan | 7 Dec 2009 18:30
Picon

Re: [Haskell-cafe] The Haskell Web News: December 2009 Edition

2009/12/7 Tom Tobin <korpios <at> korpios.com>:
> On Mon, Dec 7, 2009 at 11:25 AM, Deniz Dogan <deniz.a.m.dogan <at> gmail.com> wrote:
>> 2009/12/7 Don Stewart <dons <at> galois.com>:
>>> The Haskell Web News is a monthly summary of the hottest news about the
>>> Haskell programming language, as found in our online communities. If you
>>> want to catch up with what’s been happening in Haskell, this might be
>>> the journal for you.
>>>
>>>    http://haskellwebnews.wordpress.com/2009/12/05/whats-new-in-haskell-december-2009/
>>
>> I think the correct URL should be:
>> http://haskellwebnews.wordpress.com/2009/12/05/whats-new-in-haskell-december-2009/
>
> Actually, I think it's:
>
> http://haskellwebnews.wordpress.com/2009/12/06/whats-new-in-haskell-december-2009/
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe <at> haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>

Of course, that's what I meant. :)

--

-- 
Deniz Dogan
Permalink | Reply | 0 comments |
headers
Bulat Ziganshin | 7 Dec 2009 18:31
Picon

Re: [Haskell-cafe] The Haskell Web News: December 2009 Edition

Hello Don,

Monday, December 7, 2009, 8:16:25 PM, you wrote:

> http://haskellwebnews.wordpress.com/2009/12/05/whats-new-in-haskell-december-2009/

can we make download counts for individual packages available?

my own program (http://freearc.org) has about 10k downloads/month so i
doubt what place it may have among all haskell applications :)

--

-- 
Best regards,
 Bulat                            mailto:Bulat.Ziganshin <at> gmail.com
Permalink | Reply | 0 comments |
headers
Jean-Christophe Filliâtre | 7 Dec 2009 21:56
Picon

Call for Participation: PLPV 2010

*********************************************************************
                         CALL FOR PARTICIPATION

                               PLPV 2010

                    The Fourth ACM SIGPLAN Workshop
			          on
             Programming Languages meets Program Verification

                            19 January 2010
                              Madrid, Spain

                 To be held in conjunction with POPL 2010

                    http://slang.soe.ucsc.edu/plpv10/
*********************************************************************

IMPORTANT DATES

Hotel reservation deadline: December 28, 2009 (Monday)

VENUE

PLPV'10 and all POPL'10 affiliated events will take place at the Melia
Castilla Hotel, Madrid.

REGISTRATION

To register for PLPV'10, follow the link from the POPL 2010 page, at
(Continue reading)

Permalink | Reply | 1 comment |
headers
Janis Voigtländer | 8 Dec 2009 07:05
Picon
Favicon

Lots of Haskell at PEPM 2010 - Call for Participation

Hi all,

If you are planning to go to Madrid in January, for POPL, don't forget
registering for PEPM as well! If you haven't yet been planning to go,
maybe you want to reconsider, for PEPM if not for POPL.

Why, you ask?

Well, the PEPM program has *lots* of Haskell this year. Indeed, no fewer
than 10 of the 21 presentations are directly related to Haskell. And the
other papers are great, too, and many of them will be interesting to
Haskell folk as well.

Scan the speakers and titles below, and you will know why I think you
won't want to miss out on that one.

Best regards,
Janis.

===============================================================
                      CALL FOR PARTICIPATION
                   ACM SIGPLAN 2010 Workshop on
      Partial Evaluation and Program Manipulation (PEPM'10)
                   Madrid, January 18-19, 2010

                    (Affiliated with POPL'10)

           http://www.program-transformation.org/PEPM10
===============================================================
(Continue reading)

Permalink | Reply | 0 comments |

Gmane