* [Caml-list] Call for Papers IFL 2013
@ 2013-05-27 9:04 publicityifl
0 siblings, 0 replies; 4+ messages in thread
From: publicityifl @ 2013-05-27 9:04 UTC (permalink / raw)
To: caml-list
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 7005 bytes --]
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
rinus@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 profiling performance measurements
• debugging and tracing
• virtual/abstract machine architectures
• validation, verification of functional programs
• tools and programming techniques
• (industrial) applications
Peter Landin Prize
------------------
The Peter Landin Prize is awarded to the best paper presented at the symposium every
year. The honoured article is selected by the program committee based on the submissions
received for the formal review process. The prize carries a cash award equivalent to
150 Euros.
Programme committee
-------------------
• Thomas Arts, Quviq, Gothenburg, Sweden
• Andrew Butterfield, Trinity College, Dublin, Ireland
• Edwin Brady, University of St. Andrews, UK
• Clemens Grelck, University of Amsterdam, Netherlands
• Adam Granicz, IntelliFactory, Budapest, Hungary
• Jeremy Gibbons, University of Oxford, UK
• Fritz Henglein, University of Copenhagen, Denmark
• Stephan Herhut, Intel Labs, Santa Clara, US
• Ralf Hinze (co-chair), University of Oxford, UK
• Zoltán Horváth, Eötvös Loránd University, Budapest, Hungary
• Zhenjiang Hu, University of Tokyo, Japan
• Mauro Jaskelioff, Universidad Nacional de Rosario, Argentina
• Johan Jeuring, University of Utrecht, Netherlands
• Rita Loogen, University of Marburg, Germany
• Marco T. Morazán, Seton Hall University, New Jersey, US
• Dominic Orchard, University of Cambridge, UK
• Rinus Plasmeijer (chair), Radboud University Nijmegen, Netherlands
• Tim Sheard, Portland State University, US
• Sam Tobin-Hochstadt, Northeastern University / Indiana University, US
• Peter Thiemann, University of Freiburg, Germany
• Simon Thompson, University of Kent, UK
Venue
-----
The 25th IFL is organized by the Radboud University Nijmegen, Model Based Software
Development Department at the Nijmegen Institute for Computing and Information Sciences.
The event is held in the Landgoed “Holthurnsche Hof”, a rural estate in the woodlands
surrounding Nijmegen. It can be reached quickly and easily by public transport.
^ permalink raw reply [flat|nested] 4+ messages in thread* [Caml-list] Call for Papers IFL 2013
@ 2013-05-31 12:02 publicityifl
0 siblings, 0 replies; 4+ messages in thread
From: publicityifl @ 2013-05-31 12:02 UTC (permalink / raw)
To: caml-list
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 4790 bytes --]
===============================================================================
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.Hage@uu.nl.
website: http://www.cs.uu.nl/wiki/Hage/WebHome
^ permalink raw reply [flat|nested] 4+ messages in thread
* [Caml-list] Call for Papers IFL 2013
@ 2013-06-16 18:59 publicityifl
0 siblings, 0 replies; 4+ messages in thread
From: publicityifl @ 2013-06-16 18:59 UTC (permalink / raw)
To: caml-list
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 7006 bytes --]
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
rinus@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 profiling performance measurements
• debugging and tracing
• virtual/abstract machine architectures
• validation, verification of functional programs
• tools and programming techniques
• (industrial) applications
Peter Landin Prize
------------------
The Peter Landin Prize is awarded to the best paper presented at the symposium every
year. The honoured article is selected by the program committee based on the submissions
received for the formal review process. The prize carries a cash award equivalent to
150 Euros.
Programme committee
-------------------
• Thomas Arts, Quviq, Gothenburg, Sweden
• Andrew Butterfield, Trinity College, Dublin, Ireland
• Edwin Brady, University of St. Andrews, UK
• Clemens Grelck, University of Amsterdam, Netherlands
• Adam Granicz, IntelliFactory, Budapest, Hungary
• Jeremy Gibbons, University of Oxford, UK
• Fritz Henglein, University of Copenhagen, Denmark
• Stephan Herhut, Intel Labs, Santa Clara, US
• Ralf Hinze (co-chair), University of Oxford, UK
• Zoltán Horváth, Eötvös Loránd University, Budapest, Hungary
• Zhenjiang Hu, University of Tokyo, Japan
• Mauro Jaskelioff, Universidad Nacional de Rosario, Argentina
• Johan Jeuring, University of Utrecht, Netherlands
• Rita Loogen, University of Marburg, Germany
• Marco T. Morazán, Seton Hall University, New Jersey, US
• Dominic Orchard, University of Cambridge, UK
• Rinus Plasmeijer (chair), Radboud University Nijmegen, Netherlands
• Tim Sheard, Portland State University, US
• Sam Tobin-Hochstadt, Northeastern University / Indiana University, US
• Peter Thiemann, University of Freiburg, Germany
• Simon Thompson, University of Kent, UK
Venue
-----
The 25th IFL is organized by the Radboud University Nijmegen, Model Based Software
Development Department at the Nijmegen Institute for Computing and Information Sciences.
The event is held in the Landgoed “Holthurnsche Hof”, a rural estate in the woodlands
surrounding Nijmegen. It can be reached quickly and easily by public transport.
^ permalink raw reply [flat|nested] 4+ messages in thread* [Caml-list] Call for Papers IFL 2013
@ 2013-07-16 18:49 publicityifl
0 siblings, 0 replies; 4+ messages in thread
From: publicityifl @ 2013-07-16 18:49 UTC (permalink / raw)
To: caml-list
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 7006 bytes --]
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
rinus@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 profiling performance measurements
- debugging and tracing
- virtual/abstract machine architectures
- validation, verification of functional programs
- tools and programming techniques
- (industrial) applications
Peter Landin Prize
------------------
The Peter Landin Prize is awarded to the best paper presented at the symposium every
year. The honoured article is selected by the program committee based on the submissions
received for the formal review process. The prize carries a cash award equivalent to
150 Euros.
Programme committee
-------------------
- Thomas Arts, Quviq, Gothenburg, Sweden
- Andrew Butterfield, Trinity College, Dublin, Ireland
- Edwin Brady, University of St. Andrews, UK
- Clemens Grelck, University of Amsterdam, Netherlands
- Adam Granicz, IntelliFactory, Budapest, Hungary
- Jeremy Gibbons, University of Oxford, UK
- Fritz Henglein, University of Copenhagen, Denmark
- Stephan Herhut, Intel Labs, Santa Clara, US
- Ralf Hinze (co-chair), University of Oxford, UK
- Zoltan Horvath, Eotvos Lorand University, Budapest, Hungary
- Zhenjiang Hu, University of Tokyo, Japan
- Mauro Jaskelioff, Universidad Nacional de Rosario, Argentina
- Johan Jeuring, University of Utrecht, Netherlands
- Rita Loogen, University of Marburg, Germany
- Marco T. Morazan, Seton Hall University, New Jersey, US
- Dominic Orchard, University of Cambridge, UK
- Rinus Plasmeijer (chair), Radboud University Nijmegen, Netherlands
- Tim Sheard, Portland State University, US
- Sam Tobin-Hochstadt, Northeastern University / Indiana University, US
- Peter Thiemann, University of Freiburg, Germany
- Simon Thompson, University of Kent, UK
Venue
-----
The 25th IFL is organized by the Radboud University Nijmegen, Model Based Software
Development Department at the Nijmegen Institute for Computing and Information Sciences.
The event is held in the Landgoed “Holthurnsche Hof”, a rural estate in the woodlands
surrounding Nijmegen. It can be reached quickly and easily by public transport.
^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2013-07-16 18:49 UTC | newest]
Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2013-05-27 9:04 [Caml-list] Call for Papers IFL 2013 publicityifl
2013-05-31 12:02 publicityifl
2013-06-16 18:59 publicityifl
2013-07-16 18:49 publicityifl
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox