Achim D. Brucker | 6 Jul 20:12 2015
Picon

OCL 2015: Final Call for Papers - Only 10 Days Left

(Apologies for duplicates)

 If you are working on the foundations, methods, or tools for OCL or 
textual modelling, you should now prepare your submission for the OCL workshop!

                    CALL FOR PAPERS
    15th International Workshop on OCL and Textual Modeling
          Tools and Textual Model Transformations

   Co-located with ACM/IEEE 18th International Conference on
 Model Driven Engineering Languages and Systems (MODELS 2015)
       September 28th, 2015, Ottawa, Canada
                   http://ocl2015.lri.fr

Modeling started out with UML and its precursors as a graphical
notation. Such visual representations enable direct intuitive
capturing of reality, but some of their features are difficult to
formalize and lack the level of precision required to create complete
and unambiguous specifications. Limitations of the graphical notations
encouraged the development of text-based modeling languages that
either integrate with or replace graphical notations for
modeling. Typical examples of such languages are OCL, textual MOF,
Epsilon, and Alloy. Textual modeling languages have their roots in
formal language paradigms like logic, programming and databases.

The goal of this workshop is to create a forum where researchers and
practitioners interested in building models using OCL or other kinds
of textual languages can directly interact, report advances, share
results, identify tools for language development, and discuss
appropriate standards. In particular, the workshop will encourage
(Continue reading)

Andrew Kennedy | 1 Jul 16:12 2015
Picon

Deadline extension: ICFP 2015 Student Research Competition

======================================================================

                           DEADLINE EXTENSION

                        New deadline: 6th July 2015

 

                          CALL FOR SUBMISSIONS

 

                             SRC <at> ICFP 2015

                          Vancouver, Canada

                          31 August - 2 September 2015

 

       http://www.icfpconference.org/icfp2015/src.html

 

                          Co-located with the

    International Conference on Functional Programming (ICFP 2015)

======================================================================

 

*** The deadline has been extended by a week! We particularly encourage

submissions from undergraduates: none had been received in this category

by the original deadline. Note that there is some funding available (up

to $500), see the ACM website at http://src.acm.org/students.html ***

 

Student Research Competition

----------------------------

 

This year ICFP will host a Student Research Competition where

undergraduate and postgraduate students can present posters. The SRC

at ICFP 2015 consists of three rounds:

 

* Extended abstract round. All students are encouraged to submit an

  extended abstract of up to 800 words outlining their research.

 

* Poster session. Based on the abstracts, a panel of judges will

  select the most promising entrants to participate in the poster

  session which will take place at ICFP. Students who make it to this

  round will be eligible for some travel support to attend the

  conference. In the poster session, students will have the

  opportunity to present their work to the judges, who will select

  three finalists in each category (graduate/undergraduate) to advance

  to the next round.

 

* ICFP presentation. The last round will consist of an oral

  presentation at ICFP to compete for the final award.

 

 

Prizes

------

 

* The top three graduate and the top three undergraduate winners will

  receive prizes of $500, $300, and $200, respectively.

 

* All six winners will receive award medals and a two-year

  complimentary ACM student membership, including a subscription to

  ACM's Digital Library.

 

* The names of the winners will be posted on the ACM SRC web site.

 

* The first-place winners will be invited to participate in the ACM

  SRC Grand Finals, an on-line round of competition among the winners

  of conference-hosted SRCs.

 

* Grand Finalists and their advisors will be invited to the Annual ACM

  Awards Banquet for an all-expenses-paid trip, where they will be

  recognized for their accomplishments along with other prestigious

  ACM award winners, including the winner of the Turing Award (also

  known as the Nobel Prize of Computing).

 

* The top three graduate Grand Finalists will receive an additional

  $500, $300, and $200. Likewise, the top three undergraduate Grand

  Finalists will receive an additional $500, $300, and $200. All six

  Grand Finalists will receive Grand Finalist certificates.

 

* The ACM, Microsoft Research, and our industrial partners provide

  financial support for students attending the SRC. You can find more

  information about this on the ACM website at http://src.acm.org/students.html

 

 

Eligibility

-----------

 

The SRC is open to both undergraduate (not in a PhD programme) and

graduate students (in a PhD programme). Upon submission, entrants must

be enrolled as a student at their universities, and are ACM student

members.

 

Furthermore, there are some constraints on what kind of work may be

submitted.

 

Previously published work:

 

Submissions should consist of original work (not yet accepted for

publication). If the work is a continuation of previously published

work, the submission should focus on the contribution over what has

already been published. We encourage students to see this as an

opportunity to get early feedback and exposure for the work they plan

to submit to the next ICFP or POPL.

 

Collaborative work:

 

Students are encouraged to submit work they have been conducting in

collaboration with others, including advisors, internship mentors, or

other students. However, submissions are individual, so they must

focus on the contributions of the student.

 

Submission Details

------------------

 

Each submission should include the student author's name,

institutional affiliation, e-mail address, and postal address;

research advisor's name; ACM student member number; category

(undergraduate or graduate); research title; and an extended abstract

addressing the following:

 

 

* Problem and Motivation: Clearly state the problem being addressed

  and explain the reasons for seeking a solution to this problem.

 

* Background and Related Work: Describe the specialized (but

  pertinent) background necessary to appreciate the work. Include

  references to the literature where appropriate, and briefly explain

  where your work departs from that done by others.

 

* Approach and Uniqueness: Describe your approach in attacking the

  problem and clearly state how your approach is novel.

 

* Results and Contributions: Clearly show how the results of your work

  contribute to computer science and explain the significance of those

  results.

 

The abstract must describe the student's individual research and must

be authored solely by the student. If the work is collaborative with

others and/or part of a larger group project, the abstract should make

clear what the student's role was and should focus on that portion of

the work. The extended abstract must not exceed 800 words and must not

be longer than 2 pages. The reference list does not count towards

these limits. To submit an abstract, please register through the

submission page and follow the instructions. Abstracts submitted after

the deadline may be considered at the committee's discretion, but only

after decisions have been made on all abstracts submitted before the

deadline. If you have any problems, don't hesitate to contact the

competition chair.

 

Please submit your extended abstract at the EasyChair submission page:

 

  https://easychair.org/conferences/?conf=icfp2015src

 

Please ignore the "abstract" field and fill in all required details

(category, etc.) in the PDF submission itself, for example in footnotes.

 

Important Dates

---------------

 

* EXTENDED deadline for submission: 6th July

* Notification of acceptance: 14 July

 

Selection Committee

-------------------

 

Andrew Kennedy, Microsoft Research Cambridge (chair)

Derek Dreyer, MPI-SWS, Saarbrucken

Stephanie Weirich, University of Pennsylvania

David Van Horn, University of Maryland

Sam Lindley, University of Edinburgh

 

 

 

_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
Andrew Kennedy | 26 Jun 16:48 2015
Picon

ICFP 2015 Student Research Competition: Final Call for Submissions

======================================================================

                          CALL FOR SUBMISSIONS

 

                             SRC <at> ICFP 2015

                          Vancouver, Canada

                          31 August - 2 September 2015

 

       http://www.icfpconference.org/icfp2015/src.html

 

                          Co-located with the

    International Conference on Functional Programming (ICFP 2015)

======================================================================

 

 

Student Research Competition

----------------------------

 

This year ICFP will host a Student Research Competition where

undergraduate and postgraduate students can present posters. The SRC

at ICFP 2015 consists of three rounds:

 

* Extended abstract round. All students are encouraged to submit an

  extended abstract of up to 800 words outlining their research.

 

* Poster session. Based on the abstracts, a panel of judges will

  select the most promising entrants to participate in the poster

  session which will take place at ICFP. Students who make it to this

  round will be eligible for some travel support to attend the

  conference. In the poster session, students will have the

  opportunity to present their work to the judges, who will select

  three finalists in each category (graduate/undergraduate) to advance

  to the next round.

 

* ICFP presentation. The last round will consist of an oral

  presentation at ICFP to compete for the final award.

 

 

Prizes

------

 

* The top three graduate and the top three undergraduate winners will

  receive prizes of $500, $300, and $200, respectively.

 

* All six winners will receive award medals and a two-year

  complimentary ACM student membership, including a subscription to

  ACM's Digital Library.

 

* The names of the winners will be posted on the ACM SRC web site.

 

* The first-place winners will be invited to participate in the ACM

  SRC Grand Finals, an on-line round of competition among the winners

  of conference-hosted SRCs.

 

* Grand Finalists and their advisors will be invited to the Annual ACM

  Awards Banquet for an all-expenses-paid trip, where they will be

  recognized for their accomplishments along with other prestigious

  ACM award winners, including the winner of the Turing Award (also

  known as the Nobel Prize of Computing).

 

* The top three graduate Grand Finalists will receive an additional

  $500, $300, and $200. Likewise, the top three undergraduate Grand

  Finalists will receive an additional $500, $300, and $200. All six

  Grand Finalists will receive Grand Finalist certificates.

 

* The ACM, Microsoft Research, and our industrial partners provide

  financial support for students attending the SRC. You can find more

  information about this on the ACM website.

 

 

Eligibility

-----------

 

The SRC is open to both undergraduate (not in a PhD programme) and

graduate students (in a PhD programme). Upon submission, entrants must

be enrolled as a student at their universities, and are ACM student

members.

 

Furthermore, there are some constraints on what kind of work may be

submitted.

 

Previously published work:

 

Submissions should consist of original work (not yet accepted for

publication). If the work is a continuation of previously published

work, the submission should focus on the contribution over what has

already been published. We encourage students to see this as an

opportunity to get early feedback and exposure for the work they plan

to submit to the next ICFP or POPL.

 

Collaborative work:

 

Students are encouraged to submit work they have been conducting in

collaboration with others, including advisors, internship mentors, or

other students. However, submissions are individual, so they must

focus on the contributions of the student.

 

Submission Details

------------------

 

Each submission should include the student author's name,

institutional affiliation, e-mail address, and postal address;

research advisor's name; ACM student member number; category

(undergraduate or graduate); research title; and an extended abstract

addressing the following:

 

 

* Problem and Motivation: Clearly state the problem being addressed

  and explain the reasons for seeking a solution to this problem.

 

* Background and Related Work: Describe the specialized (but

  pertinent) background necessary to appreciate the work. Include

  references to the literature where appropriate, and briefly explain

  where your work departs from that done by others.

 

* Approach and Uniqueness: Describe your approach in attacking the

  problem and clearly state how your approach is novel.

 

* Results and Contributions: Clearly show how the results of your work

  contribute to computer science and explain the significance of those

  results.

 

The abstract must describe the student's individual research and must

be authored solely by the student. If the work is collaborative with

others and/or part of a larger group project, the abstract should make

clear what the student's role was and should focus on that portion of

the work. The extended abstract must not exceed 800 words and must not

be longer than 2 pages. The reference list does not count towards

these limits. To submit an abstract, please register through the

submission page and follow the instructions. Abstracts submitted after

the deadline may be considered at the committee's discretion, but only

after decisions have been made on all abstracts submitted before the

deadline. If you have any problems, don't hesitate to contact the

competition chair.

 

Please submit your abstract at the EasyChair submission page:

 

  https://easychair.org/conferences/?conf=icfp2015src

 

Important Dates

---------------

 

* Deadline for submission: 29 June

* Notification of acceptance: 14 July

 

Selection Committee

-------------------

 

To include:

 

Andrew Kennedy, Microsoft Research Cambridge (chair)

Derek Dreyer, MPI-SWS, Saarbrucken

Stephanie Weirich, University of Pennsylvania

David Van Horn, University of Maryland

 

 

 

 

_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
Ivan Lazar Miljenovic | 22 Jun 15:21 2015
Picon

ANNOUNCE: fgl-arbitrary

I've just released the first version of fgl-arbitrary [1], which
provides Arbitrary instances for fgl graphs for use with QuickCheck.

Also provided are some wrapper newtypes to produce specific types of
graphs, and also the ability to generate just valid node and edge
lists for use with other graph-like data structures.

[1]: http://hackage.haskell.org/package/fgl-arbitrary

--

-- 
Ivan Lazar Miljenovic
Ivan.Miljenovic <at> gmail.com
http://IvanMiljenovic.wordpress.com
Craig Anslow | 21 Jun 18:05 2015
Picon

SPLASH 2015 - 2nd Combined Call for Contributions

/************************************************************************************/
ACM Conference on Systems, Programming, Languages, and Applications:
            Software for Humanity (SPLASH'15)

       Pittsburgh, Pennsylvania, USA
       25th-30th October, 2015


       Sponsored by ACM SIGPLAN

/************************************************************************************/
COMBINED CALL FOR CONTRIBUTIONS 
 Demos
   Doctoral Symposium
 Dynamic Languages Symposium (DLS)
 OOPSLA Artifacts
 Posters
 SPLASH-E
 Student Research Competition
 Student Volunteers
 Tutorials
 Wavefront
 Workshops

Co-Located Conferences: SLE, GPCE, DBPL, PLoP
 /************************************************************************************/

The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software construction and delivery to make it the premier conference at the intersection of programming, languages, and software engineering. SPLASH is now accepting submissions. We invite high quality submissions describing original and unpublished work.

Most of the following tracks have submissions due: 30 JUNE

** Demos **
The SPLASH Demonstrations track is an excellent vehicle for sharing your latest work with an experienced and technically savvy audience. Live demonstrations show the impact of software innovation. Demonstrations are not product sales pitches, but rather an opportunity to highlight, explain, and present interesting technical aspects of running applications in a dynamic and highly interactive setting. Presenters are encouraged to actively solicit feedback from the audience, which should lead to very interesting and entertaining demonstration sessions.

Submissions Due: 30 June, 2015


** Doctoral Symposium **
The SPLASH Doctoral Symposium provides students with useful guidance for completing their dissertation research and beginning their research careers. The Symposium will provide an interactive forum for doctoral students who have progressed far enough in their research to have a structured proposal, but will not be defending their dissertation in the next 12 months.

Submissions Due: 30 June, 2015


** Dynamic Languages Symposium (DLS) **
The 11th Dynamic Languages Symposium (DLS) at SPLASH 2015 is the premier forum for researchers and practitioners to share knowledge and research on dynamic languages, their implementation, and applications. The influence of dynamic languages – from Lisp to Smalltalk to Python to Javascript – on real-world practice and research continues to grow.

Submissions Due: 15 June, 2015


** OOPSLA Artifacts **
The Artifact Evaluation process is a service provided by the community to help authors of accepted papers provide more substantial supplements to their papers so future researchers can more effectively build on and compare with previous work. The Artifact Evaluation Committee has been formed to assess how well paper authors prepare artifacts in support of such future researchers. Roughly, authors of papers who wish to participate are invited to submit an artifact that supports the conclusions of the paper. 

Submissions Due: 9 June, 2015


** Posters **
The SPLASH Poster track provides an excellent forum for authors to present their recent or ongoing projects in an interactive setting, and receive feedback from the community. We invite submissions covering any aspect of programming, systems, languages and applications. The goal of the poster session is to encourage and facilitate small groups of individuals interested in a technical area to gather and interact. It is held early in the conference, to promote continued discussion among interested parties. Posters can be independent presentations or associated with one of the other parts of SPLASH. 

Submissions Due: 30 June, 2015


** SPLASH-E **
The SPLASH-E track brings together researchers and educators to share educational results, ideas, and challenges centered in Software and Programming Languages. Submission formats vary, including papers, tool demos, lightning talks, challenge-topics for discussion, and suggested themes for "unconference" sessions.  Help us create an engaging forum for educational issues related to SPLASH!

Submissions Due: 30 June, 2015


** Student Research Competition **
The ACM SIGPLAN Student Research Competition (ACM SRC) is an internationally-recognized venue that enables undergraduate and graduate students to experience the research world, share their research results with other students and SPLASH attendees. The competition has separate categories for undergraduate and graduate students and awards prizes to the top three students in each category. The ACM SIGPLAN Student Research Competition shares the Poster session’s goal to facilitate interaction with researchers and industry practitioners; providing both sides with the opportunity to learn of ongoing, current research. 

Submissions Due: 30 June, 2015


** Student Volunteers **
The SPLASH Student Volunteer program provides an opportunity for students from around the world to associate with some of the leading personalities in industry and research in the following areas: programming languages, object-oriented technology and software development. Student volunteers contribute to the smooth running of the conference by performing tasks such as: assisting with registration, providing information about the conference to attendees, assisting session organizers and monitoring sessions.

Submissions Due: 7 August, 2015


** Tutorials ** 
The SPLASH 2015 Tutorials programme will consist of prestigious tutorials on current topics in software, systems, and languages research. The scope of Tutorials is the same as the conference itself: all aspects of software construction and delivery at the intersection of programming, languages, and software engineering. Tutorials in particular focus on the nexus between research and practice, including work that takes inspiration from or builds connections to areas not commonly considered at SPLASH. Tutorials should introduce researchers to current research in an area, or show important new tools that can be used in research.

Submissions Due: 30 June, 2015


** Wavefront **
The SPLASH Wavefront track is looking for presentations and technology talks of interest to the software community, particularly to software professionals working in companies large and small. Wavefront is a forum for presenting experience reports and tutorials about innovative tools, technologies, and software practices.

Submissions Due: 30 June, 2015


** Workshops **
The SPLASH Workshops track will host a variety of high-quality workshops, allowing their participants to meet and discuss research questions with peers, to mature new and exciting ideas, and to build up communities and start new collaborations. SPLASH workshops complement the main tracks of the conference and provide meetings in a smaller and more specialized setting. Workshops cultivate new ideas and concepts for the future, optionally recorded in formal proceedings.

Late Phase Submissions Due: 30 June, 2015


** Co-Located Events **

SLE - 8th International Conference on Software Language Engineering (SLE)
Submissions Due: 15 June, 2015

GPCE - 14th International Conference on Generative Programming: Concepts & Experiences (GPCE)
Submissions Due: 21 June, 2015

DBPL - 15th Symposium on Database Programming Languages (DBPL)
Submissions Due: 15 June, 2015

PLoP - 22nd International Conference on Pattern Languages of Programming (PLoP)
Submissions Due: 12 May, 2015


Information:
SPLASH Early Registration Deadline: 25 September, 2015

Location:
Sheraton Station Square Hotel
Pittsburgh, Pennsylvania, United States

Organization:
SPLASH General Chair: Jonathan Aldrich (Carnegie Mellon University)
OOPSLA Papers Chair: Patrick Eugster (Purdue University)
Onward! Papers Chair: Gail Murphy (University of British Columbia)
Onward! Essays Chair: Guy Steele (Oracle Labs)
DLS Papers Chair: Manuel Serrano (INRIA)
Artifacts Co-Chairs: Robby Findler (Northwestern University) and Michael Hind (IBM Research)
Demos Co-Chair: Igor Peshansky (Google) and Pietro Ferrara (IBM Research)
Doctoral Symposium Chair: Yu David Liu, State University of New York (SUNY) Binghamton
Local Arrangements Chair: Claire Le Goues (Carnegie Mellon University)
PLMW Workshop Co-Chairs: Darya Kurilova (Carnegie Mellon University) and Zachary Tatlock (University of Washington)
Posters Co-Chairs: Nick Sumner (Simon Fraser University)
Publications Chair: Alex Potanin (Victoria University of Wellington)
Publicity and Web Co-Chairs: Craig Anslow (University of Calgary) and Tijs van der Storm (CWI)
SPLASH-E Chair: Eli Tilevich (Virginia Tech)
SPLASH-I Co-Chairs: Tijs van der Storm (CWI) and Jan Vitek (Northeastern University)
Student Research Competition Co-Chairs: Sam Guyer (Tufts University) and Patrick Lam (University of Waterloo)
Student Volunteer Co-Chairs: Jonathan Bell (Columbia University) and Daco Harkes (TU Delft)
Sponsorship Chair: Tony Hosking (Purdue University)
Tutorials Co-Chair: Romain Robbes (University of Chile) and Ronald Garcia (University of British Columbia)
Video Chair: Michael Hilton (Oregon State University)
Videos Previews Czar: Thomas LaToza (University of California, Irvine)
Wavefront Co-Chairs: Dennis Mancl (Alcatel-Lucent) and Joe Kiniry (Galois)
Web Technology Chair: Eelco Visser (TU Delft)
Workshop Co-Chairs: Du Li (Carnegie Mellon University) and Jan Rellermeyer (IBM Research) 
/************************************************************************************/

_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
Vadim Zaytsev | 20 Jun 00:53 2015
Picon

GTTSE 2015 -- Call for Participation

GTTSE 2015 -- Call for Participation

The 5th Summer School on
Grand Timely Topics in Software Engineering (GTTSE)

Sunday 23 Aug - Saturday 29 Aug, 2015, Braga, Portugal

http://gttse.wikidot.com/

Registration is open for participants!

http://gttse.wikidot.com/2015:registration

There is a students' workshop to which one may submit.

http://gttse.wikidot.com/2015:students-workshop

List of speakers
================

* Matthew Dwyer (University of Nebraska, USA): Probabilistic program analysis
* Cesar Gonzalez-Perez (Spanish National Research Council (CSIC),
Spain): How ontologies can help in software engineering
* Stefan Hanenberg (University of Duisburg-Essen, Germany): Empirical
Evaluation of Programming and Programming Language Constructs
* Frédéric Jouault (ESEO Institute of Science and Technology, France):
Model Synchronization
* Julia Rubin (MIT, USA): To merge or not to merge: managing software
product families
* Leif Singer (University of Victoria, Canada): People Analytics in
Software Development
* Ulrik Pagh Schultz (University of Southern Denmark, Denmark): DSLs
in Robotics: A Case Study in Programming Self-reconfigurable Robots
* Yannis Smaragdakis (University of Athens, Greece): Structured
Program Generation Techniques
* Friedrich Steimann (FernUniversität in Hagen, Germany): Refactoring and beyond
* Nikolai Tillmann (Microsoft Research, USA): Software Engineering
Processes in the Cloud
* Guido Wachsmuth (Delft University of Technology, The Netherlands):
Name Binding: Paradigms, Representation and Specification

Scope
=====

Historically, in the first four editions of GTTSE, the school series
focused on generative and transformational techniques in software
engineering, as evident from the original acronym (GTTSE - Generative
and Transformational Techniques in Software Engineering). With the
rise of the Software Language Engineering conference, the school
series also covered that field. As of the 5th edition, a broader scope
is applied to include additional areas of software engineering, e.g.,
software analysis, empirical research, modularity, and product
lines. Thus, the new expansion of the GTTSE acronym: Grand Timely
Topics in Software Engineering. The notion of timely topics is
inspired by the ICSE conference which, in its 2015 edition, features
technical briefings as "a venue for communicating the current state of
a timely topic related to software engineering".

Format
======

The school's scientific program of GTTSE 2015 consists of 10 briefings
for different timely topics in software engineering. Each briefing is
based on a relatively short paper which combines aspects of surveying
and tutorial. The surveying aspect is realized specifically by the
design constraint for the briefings to dedicate 50% to the analysis of
related work. The remaining 50% are typically dedicated to the more
specific research of the presenters. Each briefing gets allotted 2-3
sessions with up to 3 hours in total. The speakers for the briefings
are established authorities in their respective fields.

GTTSE 2015 also features a students' workshop. These presentations may
be refined into submissions of short papers (6-8 pages LNCS style) to
be peer-reviewed and considered for inclusion in the post-proceedings
past the school.

All material presented at the school will be collected in informal
proceedings to be handed out solely to the participants. Formal and
public post-proceedings will be compiled after the summer school where
all contributions are subjected to reviewing. The post-proceedings of
the school will be published in a volume of the Lecture Notes in
Computer Science series of Springer International Publishing. The
post-proceedings of the previous four instances of the summer school
were published as LNCS 4143 (GTTSE 2005), LNCS 5235 (GTTSE 2007), LNCS
6491 (GTTSE 2009) and LNCS 7680 (GTTSE 2011).

Important dates
===============

* 3 July: Early Registration Deadline
* 7 August: Late Registration Deadline
* 23-29 August: Summer School
* 15 October: Submission deadline for post-proceedings
* 15 December: Notifications of authors
* 1 February: Camera-ready submissions

Organization committee
======================

* Jácome Cunha (Universidade Nova de Lisboa, Portugal) - Organization Chair
* João Paulo Fernandes (Universidade da Beira Interior, Portugal) -
Program Chair
* Ralf Lämmel (Universität Koblenz-Landau, Germany) - Briefings Chair
* João Saraiva (Universidade do Minho, Portugal) - General Chair
* Joost Visser (Software Improvement Group, The Netherlands) - Industry Chair
* Vadim Zaytsev (Universiteit van Amsterdam, The Netherlands) - Publicity Chair

Scientific committee
====================

* Bram Adams (École Polytechnique de Montréal)
* Benoit Baudry (INRIA)
* Xavier Blanc (Bordeaux 1 University)
* Darius Blasband (RainCode)
* Paulo Borba (Federal University of Pernambuco)
* Mark van den Brand (Eindhoven University of Technology)
* Martin Bravenboer (LogicBlox Inc.)
* Jordi Cabot (INRIA-École des Mines de Nantes)
* João Cardoso (FEUP/Universidade do Porto)
* Michel Chaudron (Chalmers & Gothenborg University)
* Anthony Cleve (University of Namur)
* Benoît Combemale (Université de Rennes 1)
* Alcino Cunha (Universidade de Minho)
* Jácome Cunha (Universidade Nova de Lisboa)
* Juan De Lara (Universidad Autonoma de Madrid)
* Andrea De Lucia (University of Salerno)
* Coen De Roover (Vrije Universiteit Brussel)
* Davide Di Ruscio (Università degli Studi dell'Aquila)
* Zinovy Diskin (McMaster University / University of Waterloo)
* Rudolf Ferenc (University of Szeged)
* João M. Fernandes (Universidade do Minho)
* João Paulo Fernandes (Universidade da Beira Interior)
* João Saraiva (Universidade do Minho)
* Mike Godfrey (University of Waterloo)
* Martin Gogolla (University of Bremen)
* Jeff Gray (University of Alabama)
* Mark Grechanik (University of Illinois at Chicago)
* Yann-Gaël Guéhéneuc (École Polytechnique de Montréal)
* Gorel Hedin (Lund University)
* Florian Heidenreich (DevBoost GmbH)
* Pedro Rangel Henriques (Universidade do Minho)
* Felienne Hermans (Delft University of Technology)
* Dirk Heuzeroth (Hochschule Heilbronn)
* Robert Hirschfeld (Hasso-Plattner-Institut)
* Zhenjiang Hu (NII)
* Marianne Huchard (Université Montpellier 2 et CNRS)
* Jean-Marc Jézéquel (University of Rennes 1)
* Foutse Khomh (École Polytechnique de Montréal)
* Holger Kienle (Freier Informatiker)
* Dimitris Kolovos (University of York)
* Nicholas A. Kraft (ABB Corporate Research)
* Jens Krinke (University College London)
* Christian Kästner (Carnegie Mellon University)
* Paul Klint (Centrum Wiskunde & Informatica)
* Ralf Lämmel (Universität Koblenz-Landau)
* Michele Lanza (University of Lugano)
* Timothy Lethbridge (University of Ottawa)
* David Lo (Singapore Management University)
* Tiziana Margaria (Lero)
* Erik Meijer (Delft University of Technology)
* Marjan Mernik (University of Maribor)
* Ana Moreira (Universidade Nova de Lisboa)
* José Nuno Oliveira (Universidade do Minho)
* Rocco Oliveto (University of Molise)
* Richard Paige (University of York)
* Alfonso Pierantonio (Università degli Studi dell'Aquila)
* Juergen Rilling (Concordia University)
* Sibylle Schupp (Hamburg University of Technology)
* Bran Selic (Malina Software Corp.)
* Alexander Serebrenik (Eindhoven University of Technology)
* Tony Sloane (Macquarie University)
* Simão Melo de Sousa (Universidade da Beira Interior)
* Tijs van der Storm (Centrum Wiskunde & Informatica)
* James Terwilliger (Microsoft Corporation)
* Laurence Tratt (King's College London)
* Antonio Vallecillo (Universidad de Málaga)
* Eric Van Wyk (University of Minnesota)
* Jurgen Vinju (Centrum Wiskunde & Informatica)
* Joost Visser (Radboud University Nijmegen)
* Markus Völter (independent)
* Tanja E. J. Vos (Universidad Politécnica de Valencia)
* Andreas Winter (Carl von Ossietzky University)
* Victor Winter (University of Nebraska at Omaha)
* Andy Zaidman (Delft University of Technology)
* Vadim Zaytsev (Universiteit van Amsterdam)
_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
Achim D. Brucker | 19 Jun 22:57 2015
Picon

OCL 2015: Second Call for Papers - Only Four Weeks Left

(Apologies for duplicates)

                    CALL FOR PAPERS
    15th International Workshop on OCL and Textual Modeling
          Tools and Textual Model Transformations

   Co-located with ACM/IEEE 18th International Conference on
 Model Driven Engineering Languages and Systems (MODELS 2015)
       September 28th, 2015, Ottawa, Canada
                   http://ocl2015.lri.fr

Modeling started out with UML and its precursors as a graphical
notation. Such visual representations enable direct intuitive
capturing of reality, but some of their features are difficult to
formalize and lack the level of precision required to create complete
and unambiguous specifications. Limitations of the graphical notations
encouraged the development of text-based modeling languages that
either integrate with or replace graphical notations for
modeling. Typical examples of such languages are OCL, textual MOF,
Epsilon, and Alloy. Textual modeling languages have their roots in
formal language paradigms like logic, programming and databases.

The goal of this workshop is to create a forum where researchers and
practitioners interested in building models using OCL or other kinds
of textual languages can directly interact, report advances, share
results, identify tools for language development, and discuss
appropriate standards. In particular, the workshop will encourage
discussions for achieving synergy from different modeling language
concepts and modeling language use. The close interaction will enable
researchers and practitioners to identify common interests and options
for potential cooperation.

Topics of interest include (but are not limited to)
===================================================
- Mappings between textual modeling languages and other languages/formalisms
- Algorithms, evaluation strategies and optimizations in the context
  of textual modeling languages for
  -- validation, verification, and testing,
  -- model transformation and code generation,
  -- meta-modeling and DSLs, and
  -- query and constraint specifications
- Alternative graphical/textual notations for textual modeling languages
- Evolution, transformation and simplification of textual modeling
  expressions
- Libraries, templates and patterns for textual modeling languages
- Tools that support textual modeling languages (e.g., verification of
  OCL formulae, runtime monitoring of invariants)
- Complexity results for textual modeling languages
- Quality models and benchmarks for comparing and evaluating
  textual modeling tools and algorithms
- Successful applications of textual modeling languages
- Case studies on industrial applications of textual modeling languages
- Experience reports
  -- usage of textual modeling languages and tools in complex domains,
  -- usability of textual modeling languages and tools for end-users
- Empirical studies about the benefits and drawbacks of textual modeling
  languages
- Innovative textual modeling tools
- Comparison, evaluation and integration of modeling languages
- Correlation between modeling languages and modeling tasks

This year, we particularly encourage submissions describing tools that
support - in a very broad sense - textual modeling languages (if you
have implemented OCL.js to run OCL in a web browser, this is the right
workshop to present your work) as well as textual model
transformations.

Venue
=====
The workshop will be organized as a part of MODELS 2015 Conference in
Ottawa, Canada. It continues the series of OCL workshops held at
UML/MODELS conferences: York (2000), Toronto (2001), San Francisco
(2003), Lisbon (2004), Montego Bay (2005), Genova (2006), Nashville
(2007), Toulouse (2008), Denver (2009), Oslo (2010), Zurich (2011, at
the TOOLs conference), 2012 in Innsbruck, 2013 in Miami, and 2014 in
Valencia, Spain. Similar to its predecessors, the workshop addresses
both people from academia and industry. The aim is to provide a forum
for addressing integration of OCL and other textual modeling
languages, as well as tools for textual modeling, and for
disseminating good practice and discussing the new requirements for
textual modeling.

Workshop Format
===============
The workshop will include short (about 15 min) presentations, parallel
sessions of working groups, and sum-up discussions.

Submissions
===========
Three types of papers will be considered:
* short papers (between 6 and 8 pages) describing ideas,
* tool papers (between 6 and 8 pages), and
* full papers (between 12 and 16 pages)
in LNCS format. Submissions should be uploaded to EasyChair
(https://easychair.org/conferences/?conf=ocl20150).  The
program committee will review the submissions (minimum 2 reviews per
paper, usually 3 reviews) and select papers according to their
relevance and interest for discussions that will take place at the
workshop. Accepted papers will be published online in a
pre-conference edition of CEUR (http://www.ceur-ws.org).

Important Dates
===============
Submission of papers:      July 17, 2015
Notification:            August 21, 2015
Workshop date:        September 28, 2015

Organizers
==========
Achim D. Brucker, SAP SE, Germany
Marina Egea, Indra Sistemas S.A., Spain
Martin Gogolla, University of Bremen, Germany
Frederic Tuong, Univ. Paris-Sud - IRT SystemX - LRI, France

Programme Committee
===================
Mira Balaban, Ben-Gurion University of the Negev, Israel
Tricia Balfe, Nomos Software, Ireland
Achim D. Brucker, SAP SE, Germany
Fabian Buettner, Inria - Ecole des Mines de Nantes, France
Jordi Cabot, Inria - Ecole des Mines de Nantes, France
Dan Chiorean, Babes-Bolyai University, Romania
Robert Clariso, Universitat Oberta de Catalunya, Spain
Tony Clark, Middlesex University, UK
Manuel Clavel, IMDEA Software Institute, Spain
Carolina Dania, IMDEA Software Institute, Spain
Birgit Demuth, Technische Universitat Dresden, Germany
Marina Egea, Indra Sistemas S.A., Spain
Geri Georg, Colorado State University, USA
Martin Gogolla, University of Bremen, Germany
Shahar Maoz, Tel Aviv University, Israel
Istvan Rath, Budapest University of Technology and Economics, Hungary
Bernhard Rumpe, RWTH Aachen, Germany
Frederic Tuong, Univ. Paris-Sud - IRT SystemX - LRI, France
Claas Wilke, Technische Universitat Dresden, Germany
Edward Willink, Willink Transformations Ltd., UK
Burkhart Wolff, Univ. Paris-Sud - LRI, France
Steffen Zschaler, King's College, UK

--

-- 
Dr. Achim D. Brucker, SAP SE, Vincenz-Priessnitz-Str. 1, D-76131 Karlsruhe
           Phone: +49 6227 7-52595, http://www.brucker.ch/
Leila Fayez Ismail | 18 Jun 09:16 2015
Picon

[Deadline Extended: 15 July 2015] IEEE 11th International Conference on Innovations IIT'15, Dubai, UAE

Dear Colleagues,

 

Due to numerous requests, and end-of-semester busy period for authors, we are pleased to inform you that the papers submission deadline has been extended.  Kindly find the CFP below.

 

 

Apologies if you receive multiple copies of this CFP.

 

Please feel free to distribute the IIT'15 CFP to your colleagues, students and networks.

CALL FOR PAPERS

 

2015 11th International Conference on Innovations in Information Technology (IIT'15)

Special Theme: Smart Living Cities, Big Data and Sustainable Development

November 01-03, 2015, Dubai, UAE

 

------------IMPORTANT: Submission Deadline Extended-----

More information is available at:

http://www.it-innovations.ae/

 

 

IEEE Technical Sponsorship by IEEE Computer Society. All papers will be published by IEEE and included in IEEE Xplore digital library, and all other global indices.

 

News: Extended papers will be invited for possible publication in a Springer Book, indexed in Springer global indices, one of the largest databases in the world and Scopus including citations: approved.

 

 

BEST PAPER AWARDS

Two best papers of the conference will be selected by the program committee. One will be awarded the "Best Research Paper Award" and another one will be awarded the “Best Application Paper Award” (for application-oriented submissions).

 

IMPORTANT DATES

Papers and Student Posters Submission            15 July 2015 (extended)

Submission of Tutorials                        15 July 2015 (extended)

Notification for Tutorials                      30 August 2015

Notification for Papers and Student Posters     from 9 September 2015

Final Camera-Ready                                    29 September 2015

 

SCOPE

 

The International Conference on Innovations in Information Technology 2015 (IIT’15) is a forum that addresses the latest ideas in information technology (IT). The theme of IIT’15 is Smart Cities and all of the software and hardware technologies that are required to provide better living conditions in the cities of tomorrow. This theme will be reflected by a number of tracks which focus on different aspects of related technologies such as Big Data, cloud computing, collaborative platforms, communication infrastructures, smart health, smart learning, social participation, sustainable development and energy management. All of those themes will be brought together by unifying invited high quality keynotes and panels. 

 

CONFERENCE TRACKS/THEMES

Topics of interest include but not limited to the following major tracks/themes. Research papers are invited but not limited to the following areas:

 

Track A: Innovations in Information and Communication Infrastructures

- Advanced Network Technologies, Heterogeneous networks, and Real Time Networks

- Quality of Services

- Next Generation of Mobile Networks

- Ad-Hoc and Sensor Networks, Wireless Networks

- Distributed Systems, Grid Computing

- Smart Grid

- Mobility Management and Mobile computing

- Information and Cyber Security for Smart Living Spaces

Track B: Internet of Things (IoT)

ICT Architecture for IoT

- System design, Modeling and Simulation

- Grid Computing , and Cloud Computing

- Real-Time Systems for IoT, Autonomic Systems

- Security, Privacy, Trust and Reliability

- Software Design and Development of IoT-Based Applications

- Intelligent Data Processing

- Smart Appliances & Wearable Computing Devices

Track C: Smart Collaborative Platforms and Logistics

Agile Information Systems

- Design, Modeling and Simulation of Collaborative Applications

- Practice and Experiences of Collaborative Applications

- Risk Management, Smart Business

- Middleware Support for Collaboration

- Real-Time Information Sharing and Interaction

- AI and Decision-Support Systems

Track D: Big Data and Smart Applications

- Big Data Analytics and Algorithms

- High Performance Computing and Real-Time of Big Data Processing

- Big Data Storage and Distribution

- Data Mining

- Grid Computing and Cloud Computing

- Middleware for Smart Applications

- e-Health, Smart Learning, Intelligent Processing and Intelligent Applications

Track E: Cyber-Physical Energy Systems

- Theory, Tools and Applications

- System Design, Modeling and Simulation

- Testbeds and Experiences

- Algorithms for Energy Efficiency

- Middleware

- Design and Development of Protocols for Sustainable energy

- Design and Development of Secure and Resilient Systems

 

SUBMISSIONS

IIT'15 seeks original manuscripts (of up to 6 pages maximum in IEEE two-column format) describing research in all aspects of IT that contribute to the conference themes. Papers submitted to the conference should present original work that has not been previously published or is currently under review by other conferences or journals.  All papers will be peer reviewed, and authors of accepted papers are expected to present their work at the conference. Submissions of tutorial, special session, and workshop proposals are also welcome. The submission guidelines are available at

http://www.it-innovations.ae/iit2015/Authors.html.

Paper submission should be done through http://www.edas.info

 

KEYNOTE SPEAKERS

 

Chair Professor Christian Wagner

Smart Cities and Social Media

City University Hong Kong Associate Provost for Quality Assurance

 

Dr. Babu Narayanan

Smart Cities and The Future of Energy

General Electric (GE) Global Research, Bangalore, India

Senior Principal Scientist

 

Dr. Michael P. Perrone

Smart Cities and Data Centric Systems

IBM T.J. Watson Research Center, NY, USA

Program Director Data Centric Systems Client Partnerships

 

Professor Elizabeth Chang

Smart Cities and Intelligent Logistics Ecosystem

University of New South Wales (UNSW)

Australia Canberra Fellow and IEEE Fellow

 

We look forward to welcoming you in Dubai at IIT'15 in November 2015.

 

On behalf of the IIT'15 Organizing Committee

---

Dr. Leila Ismail, IIT'15 Chair

Founder & Director to High Performance & Grid/Cloud Computing Research Lab

College of IT, UAE University

17551, Al-Maqam, Al-Ain, UAE

Email: leila <at> uaeu.ac.ae    Tel.: +971-3-7135530

Mobile: +971-50-8311059    Fax : +971-3-7672018

http://fit.uaeu.ac.ae/en/academic_tracks_programs/int/profile.shtml?email=leila <at> uaeu.ac.ae

http://citweb.uaeu.ac.ae/citweb/profile/leila

 

 

Disclaimer:"The content of this email together with any attachments, statements and opinions expressed herein contains information that is confidential in nature and intended for the named addressee(s) only. If you are not the addressee of this email or you have received this message in error please notify the sender and delete the message and any associated files from your system, you have no right to copy, print, distribute or use this email or any of its attachments, or permit or disclose its contents to any other party in any way, except with the prior approval of the sender. In case of breach of what has been explained above, you will be held legally accountable."

تنبيه: "تنبيه: إن محتوى هذا البريد الإلكتروني بمرفقاته وبياناته وآرائه الواردة في هذه الوثيقة يحتوي على معلومات تعتبر ذات طبيعة سرية، وتستهدف المرسل اسمه فقط، فإذا لم تكن المرسل إليه في هذه الرسالة أو كنت قد تلقيت الرسالة بالخطأ؛ يُرجى إبلاغ المُرسل وحذف الرسالة وأية ملفات مرتبطة من النظام الخاص بك، إذ ليس لديك الحق في نسخ أو طباعة أو توزيع أو استخدام محتويات هذا البريد الإلكتروني، أو السماح أو الكشف عن ذلك لأي طرف آخر تحت أي ظرف إلا بموافقة مسبقة من لمرسل، علماً بأن إخلالك بما سبق سيعرضك للمساءلة القانونية" .

www.uaeu.ac.ae
_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
Ryan Newton | 16 Jun 18:37 2015
Picon

Postdoc position in parallel/distributed functional programming

Indiana University invites applications for a postdoctoral position in the programming languages research cluster (http://lambda.soic.indiana.edu/) with a possible dual affiliation with the Center for Research on Extreme Scale Technologies (CREST, http://crest.iu.edu/).

The position is in Prof. Newton's research group and will emphasize parallel functional programming.  Our group works on all aspects of parallel programming libraries and languages. One theme is extending and improving guaranteed-deterministic programming environments.  Typical research projects include either (1) improvements to the GHC Haskell compiler, runtime, and library ecosystem or (2) work on domain-specific languages and compilers, frequently embedded in Haskell, and targeting backends like CUDA, LLVM, or OpenCL.

Experience with any of the following would be a positive: Haskell development, GHC internals, compiler construction, FRP or stream processing, parallel programming and performance tuning, and purely functional parallelism..

General duties in this postdoctoral position include: software implementation and empirical evaluation; working with colleagues on large research infrastructure efforts; writing up and presenting research; mentoring junior group members; and pursuing new research directions within the context of overall group aims.

The IU Bloomington School of Informatics and Computing is the first of its kind and among the largest in the country, with unsurpassed breadth. It includes the Dept. of Computer Science and Informatics and the Dept. of Information and Library Science, which comprise over 85 tenure-line faculty, 900 graduate students, and 1100 undergraduate majors.

Located in the wooded rolling hills of southern Indiana, Bloomington is a culturally thriving college town with a moderate cost of living and the amenities for an active lifestyle. IU is renowned for its top-ranked Jacobs School of Music, high performance computing and networking facilities, and performing and fine arts.

Indiana University is an equal employment and affirmative action employer and a provider of ADA services. All qualified applicants will receive consideration for employment without regard to age, ethnicity, color, race, religion, sex, sexual orientation or identity, national origin, disability status or protected veteran status. Indiana University is responsive to the needs of dual career couples.

Applications will be accepted until the position is filled.  Salary will be competitive for computer science postdocs in the United States.
Start date: September 2015 or later.  
Duration: variable, but at least one year.

Both inquiries and applications welcome.  An application should consist of a CV, including publications, and a short written description explaining interest in and fit for the position, together with contact info for references who may be contacted as needed.  All inquiries and application material should be sent to Ryan Newton (rrnewton <at> indiana.edu)

_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
Craig Anslow | 15 Jun 12:09 2015
Picon

VISSOFT 2015 - Call for Papers: New Ideas or Emerging Results and Tool Demos

---------------------------------------
VISSOFT 2015 - Call for Papers: New Ideas or Emerging Results and Tool Demos

3rd IEEE Working Conference on Software Visualization (VISSOFT)
September 27-28, 2015, Bremen, Germany

Paper submission date: June 29, 2015
Notification: July 31, 2015

http://vissoft.info

Software visualization is a broad research area encompassing concepts, methods, tools, and techniques that assist in a range of software engineering and software development activities. Covered aspects include the development and evaluation of approaches for visually analyzing software and software systems, including their structure, execution behavior, and evolution.

The VISSOFT IEEE Working Conference on Software Visualization continues the history of the ACM SOFTVIS Symposium on Software Visualization and the IEEE VISSOFT International Workshop on Visualizing Software for Understanding and Analysis. The conference focuses on visualization techniques that target aspects of software maintenance and evolution, program comprehension, reverse engineering, and reengineering, i.e., how visualization helps professionals to understand, analyze, test and evolve software. We aim to gather tool developers, experts, users, and researchers from software engineering, information visualization, computer graphics, and human-computer interaction to discuss theoretical foundations, algorithms, techniques, tools, and applications related to software visualization. 

Topics of interest include, but are not limited to:
* Innovative visualization and visual analytics techniques for software engineering data, such as,
- source code
- static and dynamic dependencies
- software evolution and repositories
- software documentation
- web services
- protocol, log, and performance data
- parallel techniques
- database schemes
- software security and privacy issues
- workflow and business processes
* Visualization to support program comprehension, software testing, and debugging
* Interaction techniques and algorithms for software visualization
* Visualization-based techniques in computer science and software engineering education
* Integration of software visualization tools and development environments
* Empirical evaluation of software visualization
* Industrial experience on using software visualization

VISSOFT features a New Ideas or Emerging Results (NIER) track and a Tool Demo track related to the list of topics suggested above. Papers are solicited that present original, unpublished research results and will be rigorously reviewed by an international program committee.

The NIER contributions (New Ideas and Emerging Results) describe work-in-progress and preliminary exciting results. Authors should include open questions and even provocative hypotheses to get early feedback on their research ideas or even support through new research collaborations. 

Tool contributions describe the design or actual utilization of software visualization tools, with a focus on relevant tool construction aspects or the use of the tool for gaining new insights. Authors should be prepared to demonstrate their tool at the conference. The submission may also contain a link to a screencast (video).

All accepted submissions will appear in the conference proceedings and the IEEE Digital Library. 

-== How to Submit ==-

Both types of papers have to be maximum 5 pages long (including bibliography and annexes).
Paper submission date: June 29, 2015 (previously: June 15, 2015)
Notification: July 31, 2015

Submissions must be submitted online via the VISSOFT 2015 EasyChair
conference management system at
https://easychair.org/conferences/?conf=vissoft2015

Please adhere to the formatting instruction published on the ICSME
website:  http://www.icsme.uni-bremen.de/formatting.php


-== Organizing Committee ==-

General Chair:
Jürgen Doellner, Hasso-Plattner-Institut, Germany

Program Co-Chairs:
Fabian Beck, University of Stuttgart, Germany
Alexandre Bergel, University of Chile, Chile 

NIER/Tool Co-Chairs:
Craig Anslow, Middlesex University, UK
Johan Fabry, University of Chile, Chile 

NIER/Tool Program Committee:

Bilal Alsallakh TU Vienna, Austria
Jennifer Baldwin Swinburne University,Australia
Ivan Beschastnikh University of British Columbia, Canada
Usman Bhatti INRIA Lille / Synectique, France
Michael Burch University of Stuttgart, Germany
Andrei Chis Bern University, Switzerland
Neville Churcher University of Canterbury, New Zealand
Marcus Denker INRIA Lille, France
Coen De Roover Vrije Universiteit Brussel, Belgium
Jens Dietrich Massey University, New Zealand
Bogdan Dit Boise State University, US
Matthias Frisch Magdeburg University, Germany
Maria-Elena Froese University of Victoria, Canada
Michael Homer Victoria University of Wellington, New Zealand
James A. Jones University of California, Irvine, US
Adrian Kuhn AirBNB, US
Jannik Laval Ecole Des Mines de Douai, France
Paul Leger Universidad Catolica Del Norte, Chile
Andrea Mocci University of Lugano, Switzerland
Tim Molderez Vrije Universiteit Brussel, Belgium
Chris Parnin NC State University, US
Michael Perscheid HPI-Universtat Potsdam, Germany
David Roethlisberger Universidad Diego Portales, Chile
Christian Tominski University of Rostock, Germany
---------------------------------------




_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
Don Stewart | 15 Jun 11:21 2015
Picon

Haskell dev role in Strats at Standard Chartered London

I'm hiring another Haskell dev to join the Strats team in London.

Details here:

https://donsbot.wordpress.com/2015/06/15/haskell-dev-role-in-strats-at-standard-chartered-london-2/
_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

Gmane