[Haskell-cafe] Call for Papers IFL 2013

2013-07-16 Thread publicityifl
Hello,

Please, find below the third call for papers for IFL 2013.
Please forward these to anyone you think may be interested.
Apologies for any duplicates you may receive.

best regards,
Jurriaan Hage
Publicity Chair of IFL


CALL FOR PAPERS

25th SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES - IFL 
2013

RADBOUD UNIVERSITY NIJMEGEN, THE NETHERLANDS
ACM In-Cooperation / ACM SIGPLAN

AUGUST 28 - 30 2013

Landgoed Holthurnsche Hof

http://ifl2013.cs.ru.nl



We are proud to announce that the 25th edition of the IFL series returns to its 
roots at 
the Radboud University Nijmegen in the Netherlands. The symposium is held from 
28th 
to 30th of August 2013.

Scope
-
The goal of the IFL symposia is to bring together researchers actively engaged 
in the 
implementation and application of functional and function-based programming 
languages. 
IFL 2013 will be a venue for researchers to present and discuss new ideas and 
concepts, 
work in progress, and publication-ripe results related to the implementation 
and 
application of functional languages and function-based programming. 

Following the IFL tradition, IFL 2013 will use a post-symposium review process 
to 
produce the formal proceedings which will be published in the ACM Digital 
Library. All 
participants of IFL 2013 are invited to submit either a draft paper or an 
extended 
abstract describing work to be presented at the symposium. At no time may work 
submitted 
to IFL be simultaneously submitted to other venues; submissions must adhere to 
ACM SIGPLAN's republication policy:

http://www.sigplan.org/Resources/Policies/Republication

The submissions will be screened by the program committee chair to make sure 
they are 
within the scope of IFL, and will appear in the draft proceedings distributed 
at the 
symposium. Submissions appearing in the draft proceedings are not peer-reviewed 
publications. Hence, publications that appear only in the draft proceedings do 
not 
count as publication for the ACM SIGPLAN republication policy. After the 
symposium, 
authors will be given the opportunity to incorporate the feedback from 
discussions at 
the symposium and will be invited to submit a revised full article for the 
formal 
review process. From the revised submissions, the program committee will select 
papers 
for the formal proceedings considering their correctness, novelty, originality, 
relevance, significance, and clarity. 

Invited Speaker
---
Lennart Augustsson, currently employed by the Standard Chartered Bank, 
well-known for 
his work on Haskell, parallel Haskell, Cayenne, and Bluespec, is the invited 
speaker of 
IFL 2013. He will be talking about practical applications of functional 
programming. 

Submission Details
--
Submission deadline draft papers:  July 31 
Notification of acceptance for presentation:   August 2 
Early registration deadline:   August 7
Late registration deadline:August 14 
Submission deadline for pre-symposium proceedings: August 21
25th IFL Symposium:August 28-30 
Submission deadline for post-symposium proceedings:November 11
Notification of acceptance for post-symposium proceedings: December 18
Camera-ready version for post-symposium proceedings:   February 3 2014 

Prospective authors are encouraged to submit papers or extended abstracts to be 
published in the draft proceedings and to present them at the symposium. All 
contributions must be written in English. Papers must adhere to the standard 
ACM two 
columns conference format. For the pre-symposium proceedings we adopt a 'weak' 
page limit
of 12 pages. For the post-symposium proceedings the page limit of 12 pages is 
firm. A 
suitable document template for LaTeX can be found at: 

http://www.acm.org/sigs/sigplan/authorInformation.htm

Papers are to be submitted via the conference's EasyChair submission page: 

https://www.easychair.org/conferences/?conf=ifl2013

Topics
--
IFL welcomes submissions describing practical and theoretical work as well as 
submissions
describing applications and tools in the context of functional programming. If 
you are 
not sure whether your work is appropriate for IFL 2013, please contact the PC 
chair at 
ri...@cs.ru.nl. Topics of interest include, but are not limited to:  

-  language concepts
-  type systems, type checking, type inferencing
-  compilation techniques
-  staged compilation
-  run-time function specialization
-  run-time code generation
-  partial evaluation
-  (abstract) interpretation
-  metaprogramming
-  generic programming
-  automatic program generation
-  array processing
-  concurrent/parallel programming
-  concurrent/parallel program execution
-  embedded systems
-  web applications
-  (embedded) domain specific languages
-  security
-  novel memory management techniques
-  run-time 

[Haskell-cafe] Call for Papers IFL 2013

2013-06-16 Thread publicityifl
Hello,

Please, find below the second call for papers for IFL 2013.
Please forward these to anyone you think may be interested.
Apologies for any duplicates you may receive.

best regards,
Jurriaan Hage
Publicity Chair of IFL

CALL FOR PAPERS

25th SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES - IFL 
2013

RADBOUD UNIVERSITY NIJMEGEN, THE NETHERLANDS
ACM In-Cooperation / ACM SIGPLAN

AUGUST 28 - 30 2013

Landgoed Holthurnsche Hof

http://ifl2013.cs.ru.nl



We are proud to announce that the 25th edition of the IFL series returns to its 
roots at 
the Radboud University Nijmegen in the Netherlands. The symposium is held from 
28th 
to 30th of August 2013.

Scope
-
The goal of the IFL symposia is to bring together researchers actively engaged 
in the 
implementation and application of functional and function-based programming 
languages. 
IFL 2013 will be a venue for researchers to present and discuss new ideas and 
concepts, 
work in progress, and publication-ripe results related to the implementation 
and 
application of functional languages and function-based programming. 

Following the IFL tradition, IFL 2013 will use a post-symposium review process 
to 
produce the formal proceedings which will be published in the ACM Digital 
Library. All 
participants of IFL 2013 are invited to submit either a draft paper or an 
extended 
abstract describing work to be presented at the symposium. At no time may work 
submitted 
to IFL be simultaneously submitted to other venues; submissions must adhere to 
ACM SIGPLAN's republication policy:

http://www.sigplan.org/Resources/Policies/Republication

The submissions will be screened by the program committee chair to make sure 
they are 
within the scope of IFL, and will appear in the draft proceedings distributed 
at the 
symposium. Submissions appearing in the draft proceedings are not peer-reviewed 
publications. Hence, publications that appear only in the draft proceedings do 
not 
count as publication for the ACM SIGPLAN republication policy. After the 
symposium, 
authors will be given the opportunity to incorporate the feedback from 
discussions at 
the symposium and will be invited to submit a revised full article for the 
formal 
review process. From the revised submissions, the program committee will select 
papers 
for the formal proceedings considering their correctness, novelty, originality, 
relevance, significance, and clarity. 

Invited Speaker
---
Lennart Augustsson, currently employed by the Standard Chartered Bank, 
well-known for 
his work on Haskell, parallel Haskell, Cayenne, and Bluespec, is the invited 
speaker of 
IFL 2013. He will be talking about practical applications of functional 
programming. 

Submission Details
--
Submission deadline draft papers:  July 31 
Notification of acceptance for presentation:   August 2 
Early registration deadline:   August 7
Late registration deadline:August 14 
Submission deadline for pre-symposium proceedings: August 21
25th IFL Symposium:August 28-30 
Submission deadline for post-symposium proceedings:November 11
Notification of acceptance for post-symposium proceedings: December 18
Camera-ready version for post-symposium proceedings:   February 3 2014 

Prospective authors are encouraged to submit papers or extended abstracts to be 
published in the draft proceedings and to present them at the symposium. All 
contributions must be written in English. Papers must adhere to the standard 
ACM two 
columns conference format. For the pre-symposium proceedings we adopt a 'weak' 
page limit
of 12 pages. For the post-symposium proceedings the page limit of 12 pages is 
firm. A 
suitable document template for LaTeX can be found at: 

http://www.acm.org/sigs/sigplan/authorInformation.htm

Papers are to be submitted via the conference's EasyChair submission page: 

https://www.easychair.org/conferences/?conf=ifl2013

Topics
--
IFL welcomes submissions describing practical and theoretical work as well as 
submissions
describing applications and tools in the context of functional programming. If 
you are 
not sure whether your work is appropriate for IFL 2013, please contact the PC 
chair at 
ri...@cs.ru.nl. Topics of interest include, but are not limited to:  

•  language concepts
•  type systems, type checking, type inferencing
•  compilation techniques
•  staged compilation
•  run-time function specialization
•  run-time code generation
•  partial evaluation
•  (abstract) interpretation
•  metaprogramming
•  generic programming
•  automatic program generation
•  array processing
•  concurrent/parallel programming
•  concurrent/parallel program execution
•  embedded systems
•  web applications
•  (embedded) domain specific languages
•  security
•  novel memory management techniques
•  run-time 

[Haskell-cafe] Call for Papers IFL 2013

2013-05-31 Thread publicityifl
===
VACANCY : 1x Phd Student in domain specific type error diagnosis for Haskell
===

The activities of the Software Systems division at Utrecht University include 
research on programming methodologies, compiler construction, and program 
analysis, validation, and verification. For information about the research 
group of Software Technology, see:

 http://www.cs.uu.nl/wiki/Center

Financed by the Netherlands Organisation for Scientific Research (NWO), we
currently have a job opening for:

 * 1x PhD researcher (Ph D student) Software Technology

Domain-specific languages (DSLs) have the potential both to reduce the effort 
of 
programming, and to result in programs that are easier to understand and 
maintain. For various good reasons, researchers have proposed to embed DSLs
(then called EDSLs) into a general purpose host language. An important 
disadvantage of such an embedding is that it is very hard to make type error 
diagnosis domain-aware, because inconsistencies are by default explained in 
terms of the host language. We are currently looking for a highly motivated 
Ph D student to investigate this problem in the context of the functional 
language Haskell. 

The basic approach is to scale the concept of specialized type rules as 
developed by (Heeren, Hage and Swierstra, ICFP '03, see link below) for 
Haskell '98 to modern day Haskell with all of its type system extensions. 
The work is both technically challenging, i.e., how do you ensure that 
modifications to the type diagnositic process do not inadvertently change the 
type system, and practically immediately useful:  making domain-specific type 
error diagnosis a reality for a full sized language such as Haskell is likely 
to have a pervasive influence on the field of domain-specific languages, and 
the language Haskell.

The ICFP '03 paper can be found at

http://www.cs.uu.nl/people/jur/scriptingthetypeinferencer.pdf

A project paper that describes the context and aims of the current project can 
be found here:

http://www.cs.uu.nl/people/jur/tfp2013_submission_2.pdf

At first, the work will be prototyped in our own Utrecht Haskell Compiler. If
succesfull, the work will also make its way into the GHC.

We expect the candidate to communicate the results academically, to present the 
work at scientific conferences, to supervise Master students, and to assist in 
teaching courses at Bachelor or Master level.

-
What we are looking for
-

The candidate should have an MSc in Computer Science, be highly motivated, 
speak and write English very well, and be proficient in producing scientific
reports. Knowledge of and experience with at least one of the following two
areas is essential:

  * functional programming, and Haskell in particular
  * type system concepts

Furthermore, we expect the candidate to be able to reason formally.
Experience in compiler construction is expected to be useful in this project.

-
What we offer
-

You are offered a full-time position for 4 years. The gross salary is in the 
range between Û 2083,- and maximum Û 2664,- per month. The salary is 
supplemented 
with a holiday bonus of 8% and an end-of-year bonus of 8,3% per year. 

In addition we offer: a pension scheme, a partially paid parental leave, 
flexible employment conditions. Conditions are based on the Collective 
Labour Agreement Dutch Universities.

We aim to start November 1, 2013 at the latest, but preferably sooner.

-
In order to apply
-

To apply please attach a letter of motivation, a curriculum vitae, and (email)
addresses of two referees. Make sure to also include a transcript of the courses
you have followed (at bachelor and master level), with the grades you
obtained, and to include a sample of your scientific writing, e.g., the pdf of
your master thesis.

It is possible to apply for this position if you are close to obtaining
your Master's. In that case include a letter of your supervisor with an estimate
of your progress, and do not forget to include at least a sample of your
technical writing skills.

Application closes on the 20th of June 2013.

For application, visit http://www.cs.uu.nl/vacatures/en/583630.html and
follow the link to the official job application page at the bottom.

---
Contact person
---

For further information you can direct your inquiries to:

 Dr. Jurriaan Hage
 Phone: (+31) 30 253 3283 
 e-mail: j.h...@uu.nl.   
 website: http://www.cs.uu.nl/wiki/Hage/WebHome

___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe


Re: [Haskell-cafe] Call for Papers IFL 2013

2013-05-31 Thread Clark Gaebel
Well that's exciting! I really hope uu finds a student. This would be yet
another one of Haskell's killer features.

  - Clark

On Friday, May 31, 2013, wrote:


 ===
 VACANCY : 1x Phd Student in domain specific type error diagnosis for
 Haskell

 ===

 The activities of the Software Systems division at Utrecht University
 include
 research on programming methodologies, compiler construction, and program
 analysis, validation, and verification. For information about the research
 group of Software Technology, see:

  http://www.cs.uu.nl/wiki/Center

 Financed by the Netherlands Organisation for Scientific Research (NWO), we
 currently have a job opening for:

  * 1x PhD researcher (Ph D student) Software Technology

 Domain-specific languages (DSLs) have the potential both to reduce the
 effort of
 programming, and to result in programs that are easier to understand and
 maintain. For various good reasons, researchers have proposed to embed DSLs
 (then called EDSLs) into a general purpose host language. An important
 disadvantage of such an embedding is that it is very hard to make type
 error
 diagnosis domain-aware, because inconsistencies are by default explained in
 terms of the host language. We are currently looking for a highly motivated
 Ph D student to investigate this problem in the context of the functional
 language Haskell.

 The basic approach is to scale the concept of specialized type rules as
 developed by (Heeren, Hage and Swierstra, ICFP '03, see link below) for
 Haskell '98 to modern day Haskell with all of its type system extensions.
 The work is both technically challenging, i.e., how do you ensure that
 modifications to the type diagnositic process do not inadvertently change
 the
 type system, and practically immediately useful:  making domain-specific
 type
 error diagnosis a reality for a full sized language such as Haskell is
 likely
 to have a pervasive influence on the field of domain-specific languages,
 and
 the language Haskell.

 The ICFP '03 paper can be found at

 http://www.cs.uu.nl/people/jur/scriptingthetypeinferencer.pdf

 A project paper that describes the context and aims of the current project
 can
 be found here:

 http://www.cs.uu.nl/people/jur/tfp2013_submission_2.pdf

 At first, the work will be prototyped in our own Utrecht Haskell Compiler.
 If
 succesfull, the work will also make its way into the GHC.

 We expect the candidate to communicate the results academically, to
 present the
 work at scientific conferences, to supervise Master students, and to
 assist in
 teaching courses at Bachelor or Master level.

 -
 What we are looking for
 -

 The candidate should have an MSc in Computer Science, be highly motivated,
 speak and write English very well, and be proficient in producing
 scientific
 reports. Knowledge of and experience with at least one of the following two
 areas is essential:

   * functional programming, and Haskell in particular
   * type system concepts

 Furthermore, we expect the candidate to be able to reason formally.
 Experience in compiler construction is expected to be useful in this
 project.

 -
 What we offer
 -

 You are offered a full-time position for 4 years. The gross salary is in
 the
 range between Û 2083,- and maximum Û 2664,- per month. The salary is
 supplemented
 with a holiday bonus of 8% and an end-of-year bonus of 8,3% per year.

 In addition we offer: a pension scheme, a partially paid parental leave,
 flexible employment conditions. Conditions are based on the Collective
 Labour Agreement Dutch Universities.

 We aim to start November 1, 2013 at the latest, but preferably sooner.

 -
 In order to apply
 -

 To apply please attach a letter of motivation, a curriculum vitae, and
 (email)
 addresses of two referees. Make sure to also include a transcript of the
 courses
 you have followed (at bachelor and master level), with the grades you
 obtained, and to include a sample of your scientific writing, e.g., the
 pdf of
 your master thesis.

 It is possible to apply for this position if you are close to obtaining
 your Master's. In that case include a letter of your supervisor with an
 estimate
 of your progress, and do not forget to include at least a sample of your
 technical writing skills.

 Application closes on the 20th of June 2013.

 For application, visit http://www.cs.uu.nl/vacatures/en/583630.html and
 follow the link to the official job application page at the bottom.

 ---
 Contact person
 ---

 For further information you can direct your inquiries to:

  Dr. Jurriaan Hage
  Phone: (+31) 30 253 3283
  e-mail: j.h...@uu.nl javascript:;.
  

[Haskell-cafe] Call for Papers IFL 2013

2013-05-27 Thread publicityifl
Hello,

Please, find below the first call for papers for IFL 2013.
Please forward these to anyone you think may be interested.
Apologies for any duplicates you may receive.

best regards,
Jurriaan Hage
Publicity Chair of IFL

CALL FOR PAPERS

25th SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES - IFL 
2013

RADBOUD UNIVERSITY NIJMEGEN, THE NETHERLANDS
ACM In-Cooperation / ACM SIGPLAN

AUGUST 28 - 30 2013

Landgoed Holthurnsche Hof

http://ifl2013.cs.ru.nl



We are proud to announce that the 25th edition of the IFL series returns to its 
roots at 
the Radboud University Nijmegen in the Netherlands. The symposium is held from 
28th 
to 30th of August 2013.

Scope
-
The goal of the IFL symposia is to bring together researchers actively engaged 
in the 
implementation and application of functional and function-based programming 
languages. 
IFL 2013 will be a venue for researchers to present and discuss new ideas and 
concepts, 
work in progress, and publication-ripe results related to the implementation 
and 
application of functional languages and function-based programming. 

Following the IFL tradition, IFL 2013 will use a post-symposium review process 
to 
produce the formal proceedings which will be published in the ACM Digital 
Library. All 
participants of IFL 2013 are invited to submit either a draft paper or an 
extended 
abstract describing work to be presented at the symposium. At no time may work 
submitted 
to IFL be simultaneously submitted to other venues; submissions must adhere to 
ACM SIGPLAN's republication policy:

http://www.sigplan.org/Resources/Policies/Republication

The submissions will be screened by the program committee chair to make sure 
they are 
within the scope of IFL, and will appear in the draft proceedings distributed 
at the 
symposium. Submissions appearing in the draft proceedings are not peer-reviewed 
publications. Hence, publications that appear only in the draft proceedings do 
not 
count as publication for the ACM SIGPLAN republication policy. After the 
symposium, 
authors will be given the opportunity to incorporate the feedback from 
discussions at 
the symposium and will be invited to submit a revised full article for the 
formal 
review process. From the revised submissions, the program committee will select 
papers 
for the formal proceedings considering their correctness, novelty, originality, 
relevance, significance, and clarity. 

Invited Speaker
---
Lennart Augustsson, currently employed by the Standard Chartered Bank, 
well-known for 
his work on Haskell, parallel Haskell, Cayenne, and Bluespec, is the invited 
speaker of 
IFL 2013. He will be talking about practical applications of functional 
programming. 

Submission Details
--
Submission deadline draft papers:  July 31 
Notification of acceptance for presentation:   August 2 
Early registration deadline:   August 7
Late registration deadline:August 14 
Submission deadline for pre-symposium proceedings: August 21
25th IFL Symposium:August 28-30 
Submission deadline for post-symposium proceedings:November 11
Notification of acceptance for post-symposium proceedings: December 18
Camera-ready version for post-symposium proceedings:   February 3 2014 

Prospective authors are encouraged to submit papers or extended abstracts to be 
published in the draft proceedings and to present them at the symposium. All 
contributions must be written in English. Papers must adhere to the standard 
ACM two 
columns conference format. For the pre-symposium proceedings we adopt a 'weak' 
page limit
of 12 pages. For the post-symposium proceedings the page limit of 12 pages is 
firm. A 
suitable document template for LaTeX can be found at: 

http://www.acm.org/sigs/sigplan/authorInformation.htm

Papers are to be submitted via the conference's EasyChair submission page: 

https://www.easychair.org/conferences/?conf=ifl2013

Topics
--
IFL welcomes submissions describing practical and theoretical work as well as 
submissions
describing applications and tools in the context of functional programming. If 
you are 
not sure whether your work is appropriate for IFL 2013, please contact the PC 
chair at 
ri...@cs.ru.nl. Topics of interest include, but are not limited to:  

•  language concepts
•  type systems, type checking, type inferencing
•  compilation techniques
•  staged compilation
•  run-time function specialization
•  run-time code generation
•  partial evaluation
•  (abstract) interpretation
•  metaprogramming
•  generic programming
•  automatic program generation
•  array processing
•  concurrent/parallel programming
•  concurrent/parallel program execution
•  embedded systems
•  web applications
•  (embedded) domain specific languages
•  security
•  novel memory management techniques
•  run-time