Robson De Grande | 30 May 17:05 2016
Picon

DEADLINE EXTENSION: 19th ACM/IEEE MSWiM 2016 - Malta, Nov 13-17, 2016

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

Call-For-Papers:
19th ACM/IEEE  MSWiM 2016
Malta, Nov 13-17, 2016
http://www.mswimconf.com/2016

====================================================
IMPORTANT: Submission deadline Extended:
                         Paper registration through EDAS: June 8th, 2016
                         Paper Submission:    June 12th, 2016
===================================================

------

ACM/IEEE* MSWiM 2016 is the 19th Annual International Conference on
Modeling, Analysis and Simulation of Wireless and Mobile Systems. MSWiM
is an international forum dedicated to in-depth discussion of Wireless
and Mobile systems, networks, algorithms and applications, with an
emphasis on rigorous performance evaluation. MSWiM is a highly selective
conference with a long track record of publishing innovative ideas and
breakthroughs. MSWiM 2016 will be held Malta, Nov 13-17, 2016

Authors are encouraged to submit full papers presenting new research
related to the theory or practice of all aspects of modeling, analysis
and simulation of mobile and wireless systems. Submitted papers must not
have been published elsewhere nor currently be under review by another
conference or journal.

Papers related to wireless and mobile network Modeling, Analysis,
(Continue reading)

Gershom B | 27 May 21:14 2016
Picon

Announce: Haskell Platform 8.0.1

On behalf of the Haskell Platform team, I'm happy to announce the release of

Haskell Platform 8.0.1

Now available at

https://www.haskell.org/platform/

This platform includes features initially planned in the "Improving
the 'Get Haskell Experience'" proposal of June 2015. [1]

   * Minimal as well as Full distributions. The minimal distribution
only includes GHC core libraries as well as additional tools. This is
now the recommended distribution. The Full distribution remains an
option for those who want a one-step installer with the broader set of
platform libraries preinstalled.

   * Inclusion of the Stack tool for developing Haskell projects [2]

Other highlights of this release include the following

   * The new cabal 1.24 including the great "new-build" tech preview
of nix-like build dependency management [3]

   * On windows, a cabal/msys setup that allows packages such as
"network" to build "out of the box". (almost*)

   * At long last, prebuilt Linux 32 bit platform installers

Changes to Contents:
(Continue reading)

Wouter Swierstra | 26 May 13:13 2016
Picon

CFP: Workshop on Type-driven Development (TyDe '16)

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

                     1st Type-Driven Development (TyDe '16)
                                 A Workshop on
                   Dependently Typed and Generic Programming

                           18 September, Nara, Japan
--------------------------------------------------------------------------------

The deadline of the inaugural edition of TyDe is approaching rapidly.
Please submit full papers before June 10th and abstracts before
June 24th.

# Goals of the workshop

The workshop on Type-Driven Development aims to show how static type
information may be used effectively in the development of computer
programs. The workshop, co-located with ICFP, unifies two workshops: the
Workshop on Dependently Typed Programming and the Workshop on Generic
Programming.

These two research areas have a rich history and bridge both theory and
practice. Novel techniques explored by both communities has gradually
spread to more mainstream languages. This workshop aims to bring
together leading researchers and practitioners in generic programming
and dependently typed programming from around the world, and features
papers capturing the state of the art in these important areas.

We welcome all contributions, both theoretical and practical, on:

-   dependently typed programming;
-   generic programming;
-   design and implementation of programming languages, exploiting types
    in novel ways;
-   exploiting typed data, data dependent data, or type providers;
-   static and dynamic analyses of typed programs;
-   tools, IDEs, or testing tools exploiting type information;
-   pearls, being elegant, instructive examples of types used in the
    derivation, calculation, or construction of programs.

# Program Committee

-   James Chapman, University of Strathclyde (co-chair)
-   Wouter Swierstra, University of Utrecht (co-chair)
-   David Christiansen, Indiana University
-   Pierre-Evariste Dagand, LIP6
-   Richard Eisenberg, University of Pennsylvania
-   Catalin Hritcu, INRIA Paris
-   James McKinna, University of Edinburgh
-   Keiko Nakata, FireEye
-   Tomas Petricek, University of Cambridge
-   Birgitte Pientka, McGill University
-   Tom Schrijvers, KU Leuven
-   Makoto Takeyama, Kanagawa University
-   Nicolas Wu, University of Bristol
-   Brent Yorgey, Hendrix College

# Proceedings and Copyright

We plan to have formal proceedings, published by the ACM. Accepted
papers will be included in the ACM Digital Library. Authors must grant
ACM publication rights upon acceptance, but may retain copyright if they
wish. Authors are encouraged to publish auxiliary material with their
paper (source code, test data, and so forth). The proceedings will be
freely available for download from the ACM Digital Library from one week
before the start of the conference until two weeks after the conference.

# Submission details

Submitted papers should fall into one of two categories:

-   Regular research papers (12 pages)
-   Extended abstracts (2 pages)

Submission is handled through Easychair:

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

Regular research papers are expected to present novel and interesting
research results. Extended abstracts should report work in progress that
the authors would like to present at the workshop.

We welcome submissions from PC members (with the exception of the two
co-chairs), but these submissions will be held to a higher standard.

All submissions should be in portable document format (PDF), formatted
using the ACM SIGPLAN style guidelines (two-column, 9pt). Extended
abstracts must be submitted with the label 'Extended abstract' clearly
in the title.

# Important Dates

-   Regular paper deadline: Friday, 10th June, 2016
-   Extended abstract deadline: Friday, 24th June, 2016
-   Author notification: Friday, 8th July, 2016
-   Workshop: Sunday, 18th September, 2016

# Travel Support

Student attendees with accepted papers can apply for a SIGPLAN PAC grant
to help cover travel expenses. PAC also offers other support, such as
for child-care expenses during the meeting or for travel costs for
companions of SIGPLAN members with physical disabilities, as well as for
travel from locations outside of North America and Europe. For details
on the PAC program, see its web page.

_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
publicityifl | 24 May 21:13 2016
Picon

1st CfP: IFL 2016 (28th Symposium on Implementation and Application of Functional Languages)

Hello,

Please, find below the first call for papers for IFL 2016.
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

---

IFL 2016 - Call for papers

28th SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES - IFL 2016

KU Leuven, Belgium

In cooperation with ACM SIGPLAN

August 31 - September 2, 2016

https://dtai.cs.kuleuven.be/events/ifl2016/

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 2016 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.

Peer-review

Following the IFL tradition, IFL 2016 will use a post-symposium review process
to produce the formal proceedings. All participants of IFL 2016 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 are not subject to 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. The formal proceedings will appear in the
International Conference Proceedings Series of the ACM Digital Library.

Important dates

August 1: Submission deadline draft papers
August 3: Notification of acceptance for presentation
August 5: Early registration deadline
August 12: Late registration deadline
August 22: Submission deadline for pre-symposium proceedings
August 31 - September 2: IFL Symposium
December 1: Submission deadline for post-symposium proceedings
January 31, 2017: Notification of acceptance for post-symposium proceedings
March 15, 2017: Camera-ready version for post-symposium proceedings

Submission details

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 use the new ACM two
columns conference format, which can be found at:

http://www.acm.org/publications/proceedings-template

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.

Authors submit through EasyChair:

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

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 2016,
please contact the PC chair at tom.schrijvers <at> cs.kuleuven.be. 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 honored 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

Chair: Tom Schrijvers, KU Leuven, Belgium

- Sandrine Blazy, University of Rennes 1, France
- Laura Castro, University of A Coruña, Spain
- Jacques, Garrigue, Nagoya University, Japan
- Clemens Grelck, University of Amsterdam, The Netherlands
- Zoltan Horvath, Eotvos Lorand University, Hungary
- Jan Martin Jansen, Netherlands Defence Academy, The Netherlands
- Mauro Jaskelioff, CIFASIS/Universidad Nacional de Rosario, Argentina
- Patricia Johann, Appalachian State University, USA
- Wolfram Kahl, McMaster University, Canada
- Pieter Koopman, Radboud University Nijmegen, The Netherlands
- Shin-Cheng Mu, Academia Sinica, Taiwan
- Henrik Nilsson, University of Nottingham, UK
- Nikolaos Papaspyrou, National Technical University of Athens, Greece
- Atze van der Ploeg, Chalmers University of Technology, Sweden
- Matija Pretnar, University of Ljubljana, Slovenia
- Tillmann Rendel, University of Tübingen, Germany
- Christophe Scholliers, Universiteit Gent, Belgium
- Sven-Bodo Scholz, Heriot-Watt University, UK
- Melinda Toth, Eotvos Lorand University, Hungary
- Meng Wang, University of Kent, UK
- Jeremy Yallop, University of Cambridge, UK

Venue

The 28th IFL will be held in association with the Faculty of Computer Science,
KU Leuven, Belgium. Leuven is centrally located in Belgium and can be easily
reached from Brussels Airport by train (~15 minutes). The venue in the
Arenberg Castle park can be reached by foot, bus or taxi from the city center.
See the website for more information on the venue.
_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
Robson De Grande | 23 May 20:16 2016
Picon

CFP: ACM MobiWac 2015 - November 13 - 17, 2016, Malta

** We apologize if you receive multiple copies of this message **

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

             The 14th ACM International Symposium on Mobility Management

                                  and Wireless Access (MobiWac 2016)

                               (in conjunction with the 19th ACM MSWiM)

                                       November 13 - 17, 2016 - Malta

                                         http://mobiwac-symposium.org/

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

The 14th ACM International Symposium on Mobility Management and Wireless
Access (MobiWac 2016) will be held in conjunction with MSWiM 2016 (the 19th
ACM International Symposium on Modeling, Analysis and Simulation of Wireless
and Mobile Systems) from November 13 to 17, 2016 in Malta.

The MOBIWAC series of events are intended to provide an international forum
for the discussion and presentation of original ideas, recent results and
achievements by researchers, students, and systems developers on issues and
challenges related to mobility management and wireless access protocols. To
keep up with the technological developments, we also open up new areas such
as mobile cloud computing starting from this year.

Authors are encouraged to submit both theoretical and practical results of
significance on all aspects of wireless and mobile access technologies, with
an emphasis on mobility management and wireless access. Authors are invited
to submit full papers describing original research. Submitted papers must
neither have been published elsewhere nor currently be under review by
another conference or journal.

TOPICS OF INTEREST include, but are not limited to:

- Mobile Cloud Computing
- Wireless/Mobile Access Protocols
- Wireless/Mobile Web Access
- Wireless Internet and All-IP integration
- Next Generation Wireless systems
- Mobile Broadband Wireless Access
- Pervasive Communication and Computing
- Ubiquitous and mobile access
- Wireless Applications and testbeds
- Multi-Homing and Vertical Handoff
- Multi-Channel Multi-Radio MAC / network layer management
- Channels and resource allocation algorithms
- Energy and power management algorithms
- Mobility Models
- Multi-technology switching using Software Defined Radios
- Context-aware services and applications
- Context-aware protocols and protocol architectures
- Interactive applications
- Mobile database management
- Wireless Multimedia Protocols
- Mobile and Wireless Entertainment
- Mobile Info-services
- Social mobile networks
- Social mobile applications
- Data analysis for mobile and wireless networks
- SDN solutions in mobile and wireless networks
- QoS management
- Mobility Control and Management
- Localization and tracking
- Mobile/Vehicular environment access
- Wireless ad hoc and sensor networks
- Security,Trust management and Privacy issues
- Fault Tolerance solutions
- Wireless Systems' Design
- Analysis/Simulation of wireless mobile systems
- Testbeds for experimental and simulation analysis

ORGANIZING COMMITTEE:

General Chair
Ángel Cuevas, Universidad Carlos III de Madrid, Spain

Program Chairs
Periklis Chatzimisios, Alexander TEI of Thessaloniki, Greece
Robson De Grande, University of Ottawa, Canada

Technical Program Committee
Antonio A.F. Loureiro, Federal University of Minas Gerais, Brazil
Michele Albano, CISTER, Portugal
Chadi Assi, Concordia University, Canada
Jalel Ben-othman, University of Paris 13, France
Fernando Boavida, University of Coimbra, Portugal
Juan Carlos Cano, Technical University of Valencia, Spain
Yuh-Shyan Chen, National Taipei University, Taiwan
Stefano Chessa, University of Pisa, Italy
Danny De Vleeschauwer, Alcatel-Lucent, Belgium
Andrés García Saavedra, Hamilton Institute, Ireland
Roch Glitho, Concordia University, Canada
Roberto González, NEC Laboratories Europe, Germany
Khaled Harras, Carnegie Mellon University, USA
Charalampos Konstantopoulos, University of Piraeus, Greece
Pierre Leone, University of Geneva, Switzerland
Sotiris Nikoletseas, University of Patras & Computer Technology
Institute, Greece
Ai-Chun Pang, National Taiwan University, Taiwan
Grammati Pantziou, Technological Educational Institution of Athens, Greece
Cristina M. Pinotti, University of Perugia, Italy
Paulo Pinto, Universidade Nova de Lisboa, Portugal
Victor Ramos, Universidad Autonoma Metropolitana, Mexico
Victor Rangel, National University of Mexico, Mexico
Thierry Turletti, INRIA, France
Alicia Triviño, Universidad de Málaga, Spain
Manuel Urueña, Universidad Carlos III de Madrid, Spain
Emmanouel Varvarigos, University of Patras & Computer Technology
Institute, Greece
Zainab Zaidi, National ICT Australia, Ltd, Australia

Posters/Demo Chair
Graciela Román Alonso, Universidad Autónoma Metropolitana, Mexico

Publicity Chairs
Khalil El-Khatib, UOIT, Canada
Mirela. A. M. Notare, Sao Jose Municipal University, Brazil

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

Paper Submission, Publication, and Important Dates:

High-quality original papers are solicited. Papers must be unpublished and
must not be submitted for publication elsewhere. All papers will be reviewed
by Technical Program Committee members and other experts active in the field
to ensure high quality and relevance to the Symposium. The symposium will
have a single track for regular papers and in addition, a separate
interwoven track with short papers / posters. Paper length must be no more
than 10 pages, double column, ACM style including tables and figures. Note
that the regular paper size will be 8 pages, with the possibility to obtain
up to 2 additional pages (total 10 pages) by paying a publication fee. Only
PDF format is accepted. All accepted papers will appear in the Symposium
proceedings published by ACM press.

- Paper registration due: June 30, 2016 (11:59PM EST)

- Submission Deadline: June 30, 2016 (11:59PM EST)

- Notification of Acceptance: July 31, 2016 (11:59PM EST)

Papers are submitted via the EDAS system (https://edas.info/N22672).
For any question or problems
related to MobiWac 2015 submissions, please contact the PC Chairs.

FOR MORE INFORMATION about the conference, organizing committee, submission
instructions, and venue please see the conference website
(http://mobiwac-symposium.org).
_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
liyuanfang | 23 May 13:28 2016
Picon

Call for papers: 21th International Conference on Engineering of Complex Computer Systems (ICECCS 2016), Dubai, United Arab Emirates, November 6-8 2016

21th International Conference on Engineering of Complex Computer Systems (ICECCS 2016)
|| November 6-8, Dubai, United Arab Emirates 
|| http://www.aston.ac.uk/eas/about-eas/academic-groups/computer-science/iceccs-2016/

Overview
---------------------
Over the past several years, we have seen a rapid rising emphasis on design, implement and manage complex
computer systems to help us deal with an increasingly volatile, globalised complex world. These systems
are critical for dealing with the Grand Challenge problems we are facing in the 21st century, including
health care, urbanization, education, energy, finance, and job creation. The complex computer systems
are frequently distributed over heterogeneous networks and processing large amount data.
Performance, real-time behavior, fault tolerance, security, adaptability, development time and
cost, long life concerns are the key issues. 

The goal of this conference is to bring together industrial, academic, and government experts, from a
variety of user domains and software disciplines, to determine how the disciplines' problems and
solution techniques interact within the whole system. Researchers, practitioners, tool developers
and users, and technology transition experts are all welcome. The scope of interest includes long-term
research issues, near-term complex system requirements and promising tools, existing complex
systems, and commercially available tools.

Scope and Topics
---------------------
We invite contributions in what concerns the following areas (please keep in mind that this is not an
exhaustive list): 

*	Requirement specification and analysis
*	Verification and validation
*	Security and privacy of complex systems
*	Model-driven development
*	Reverse engineering and refactoring
*	Architecture software
*	Big Data Management
*	Ambient intelligence, pervasive computing
*	Ubiquitous computing, context awareness, sensor networks
*	Design by contract
*	Agile methods
*	Safety-critical & fault-tolerant architectures
*	Adaptive, self-managing and multi-agent systems
*	Real-time, hybrid and embedded systems
*	Systems of systems
*	Cyber-physical systems and Internet of Things (IoT)
*	Tools and tool integration
*	Past reflections and future outlooks
*	Industrial case studies

Different kinds of contributions are sought, including novel research, lessons learned, experience
reports, and discussions of practical problems faced by industry and user domains. The ultimate goal is
to build a rich and comprehensive conference program that can fit the interests and needs of different
classes of attendees: professionals, researchers, managers, and students. A program goal is to
organize several sessions that include both academic and industrial papers on a given topic and
culminate panels to discuss relationships between industrial and academic research. 

Full Papers 
---------------------
Full papers are divided into two categories: Technical Papers and Experience Reports. The papers
submitted to both categories will be reviewed by program committee members, and papers accepted in
either category will be published in the conference proceedings. Technical papers should describe
original research, and experience reports should present practical projects carried out in industry,
and reflect on the lessons learnt from them.

Short Papers
---------------------
Short paper submissions describe early-stage, ongoing or PhD research. All short papers will be reviewed
by program committee members, and accepted short papers will be published in the conference proceedings.

Paper Submissions 
---------------------
Submitted manuscripts should be in English and formatted in the style of the double-column IEEE ormat.
Full papers should not exceed 10 pages, and short papers should not exceed 4 pages, including figures,
references, and appendices. All submissions should be in PDF format. Submissions not adhering to the
specified format and length may be rejected immediately, without review.

Please prepare your manuscripts in accordance to the IEEE guidelines:
http://www.ieee.org/conferences_events/conferences/publishing/templates.html. 

We invite all prospective authors to submit their manuscripts via the ICECCS’16 portal, hosted on
Easychair: 
https://www.easychair.org/conferences/?conf= ICECCS16 

Conference proceeding
---------------------
The conference proceedings will be published by IEEE Conference Publishing Services (EI indexed). 

Important Dates
---------------------
Abstract submission: 21st June 2016
Paper submission: 27th June 2016
Notification of acceptance: 8th Aug 2016
Camera ready copy due: 29th Aug 2016

Organizers
---------------------
General Chair
Prof. Ian Nabney, Aston University, UK
Dr. Jun Sun, Singapore University of Technology and Design, SG

Program Chair
Dr. Mounir Mokhtari, Institut MINES TELECOM, FR
Dr. Hai Wang, Aston University, UK

For enquiries, please contact H.WANG10 <at> aston.ac.uk or mounir.mokhtari <at> mines-telecom.fr

 
_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
Eric Walkingshaw | 19 May 23:24 2016
Picon
Gravatar

DSLDI 2016: Call for Talk Proposals

*********************************************************************
CALL FOR TALK PROPOSALS

DSLDI 2016

Fourth Workshop on
Domain-Specific Language Design and Implementation

October 31, 2016
Amsterdam, Netherlands
Co-located with SPLASH

*********************************************************************

Deadline for talk proposals: August 1, 2016


*** Workshop Goal ***

Well-designed and implemented domain-specific languages (DSLs) can achieve both
usability and performance benefits over general-purpose programming languages.
By raising the level of abstraction and exploiting domain knowledge, DSLs can
make programming more accessible, increase programmer productivity, and support
domain-specific optimizations.

The goal of the DSLDI workshop is to bring together researchers and
practitioners interested in discussing how DSLs should be designed,
implemented, supported by tools, and applied in realistic contexts. The focus
of the workshop is on all aspects of this process, from soliciting domain
knowledge from experts, through the design and implementation of the language,
to evaluating whether and how a DSL is successful. More generally, we are
interested in continuing to build a community that can drive forward the
development of modern DSLs.

An additional goal of this year's workshop is to encourage discussion about the
usability of DSLs, and to establish connections with researchers in related
areas, such as end-user software engineering, who have studied human factors of
programming languages and tools.


*** Workshop Format ***

DSLDI is a single-day workshop and will consist of moderated audience
discussions structured around a series of talks. The role of the talks is to
facilitate interesting and substantive discussion. Therefore, we welcome and
encourage talks that express strong opinions, describe open problems, propose
new research directions, and report on early research in progress.

Proposed talks should be on topics within DSLDI's area of interest, which
include but are not limited to:

 * solicitation and representation of domain knowledge
 * DSL design principles and processes
 * DSL implementation techniques and language workbenches
 * domain-specific optimizations
 * human factors of DSLs
 * tool support for DSL users
 * community and educational support for DSL users
 * applications of DSLs to existing and emerging domains
 * studies of usability, performance, or other benefits of DSLs
 * experience reports of DSLs deployed in practice


*** Call for Submissions ***

We solicit talk proposals in the form of short abstracts (max. 2 pages). A good
talk proposal describes an interesting position, open problem, demonstration,
or early achievement. The submissions will be reviewed on relevance and
clarity, and used to plan the mostly interactive sessions of the workshop day.
Publication of accepted abstracts and slides on the website is voluntary.

 * Deadline for talk proposals: August 1, 2016
 * Notification: September 5, 2016
 * Workshop: October 31, 2016
 * Submission website: https://dsldi16.hotcrp.com/


*** Workshop Organization ***

Organizers:

 * Eric Walkingshaw (Oregon State University)
 * Tijs van der Storm (CWI)
 
Program committee:

 * Iman Avazpour (Deakin University)
 * Christopher Bogart (Carnegie Mellon University)
 * Andy Gill (University of Kansas)
 * Sylvia Grewe (TU Darmstadt)
 * Kate Howland (University of Sussex)
 * Lindsey Kuper (Intel Labs)
 * Darya Kurilova (Carnegie Mellon University)
 * Ralf Lämmel (University of Koblenz-Landau)
 * Tanja Mayerhofer (Vienna University of Technology)
 * Marjan Mernik (University of Maribor)
 * Sarah Mount (King's College London)
 * Justin Pombrio (Brown University)
 * Tillmann Rendel (University of Tübingen)
 * Tiark Rompf (Purdue & Oracle Labs)
 * Sonja Schimmler (Bundeswehr University Munich)
 * Markus Völter (itemis)
 * Peng Wu (Huawei America Lab)

_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
Robson De Grande | 19 May 16:37 2016
Picon

CFP (Approaching Deadline): IEEE DS-RT 2016 - Special Session tracks

Dear Colleagues and Researchers,

Apologies, if you have received multiple copies of this CFP.


********** CALL FOR PAPER **********

20th IEEE/ACM* International Symposium on Distributed Simulation and
Real Time Applications
           http://ds-rt.com/2016
           September 21 - 23, 2016,  London, UK

*IEEE/ACM Pending Upon Approval


DS-RT 2016 is running four special sessions this year:
 - Simulation of Urban Traffic Management and ITS
 - Distributed Simulations of Distributed Systems
 - Augmented and Virtual Reality for Real-Time Applications
 - Agent-based Modeling and Simulation

Those special sessions cover prominent areas of the field of
distributed simulations and real time applications, and many papers
were accepted in previous editions of DS-RT on the same topics. See
below for more detailed descriptions of those special sessions.


Authors of selected papers will be invited to submit extended versions
of their papers to a special issue on "Data-driven and Large-scale
Distributed Simulation" in Journal of Simulation (published by
Palgrave Macmillan, SCI indexed)


***** PAPER SUBMISSION AND REVIEW *****

Submitted manuscripts must be in standard IEEE two-column format that
is used for IEEE conference proceedings and must not exceed "8 pages"
(2-page extension allowed), including figures, tables and references.
Standard IEEE templates for Microsoft Word or LaTeX formats can be
found at:
     - http://www.ieee.org/conferences_events/conferences/publishing/templates.html

A submission may present preliminary results, propose new research
direction, provide insightful retrospective, or offer a provocative
viewpoint on important topics related to the considered special
session. Papers will be selected based on their likelihood of
generating insightful technical discussions at the special session and
influencing future research. Papers must be unpublished and must not
be submitted for publication elsewhere. All papers will be reviewed by
Technical Program Committee members and other experts active in the
field to ensure high quality and relevance to the conference and the
special session. At least one author of accepted papers must attend
the conference and present its contribution. Accepted papers will
appear in the conference proceedings to be published by IEEE Press.

***** IMPORTANT DATES *****

Full paper submission deadline: May 30th, 2016
Paper acceptance notification: June 30th, 2016


***** FOR MORE INFORMATION *****

For questions about the paper submission and review process, please
contact the session organisers - find all relevant information on the
corresponding web pages below.


***** DESCRIPTION OF THE SPECIAL SESSIONS *****

* Special Session on Simulation of Urban Traffic Management and ITS

This special session focuses on simulation tools and real-time
simulation applications used in and for evaluation, management, and
design of Intelligent Transportation Systems (ITS), as well as Smart
Cities. Such simulations are expected to offer prediction and
on-the-flow feedback for the better decision-making, bringing up means
for both the implementation of more complex traffic management systems
and end-user applications. Off-line and real-time analyses of data
collected from infrastructured systems (e.g. real-time traffic
information), mobile, distributed technologies (e.g. communication
devices), and socially-build systems (e.g. social networks
applications) are of great interest for shaping and influencing how
ITS solutions are designed. Thus, we are particularly interested in
how these data and technologies can be incorporated in domain-related
models and simulations. We aim to bring together experts from both
industry and academia to discuss the challenges related to modelling
and simulation for ITS.

Web page: http://ds-rt.com/2016/soiits_2016.htm



* Special Session on Distributed Simulations of Distributed Systems

Distributed simulation (DS) is a valuable tool for understanding and
evaluating distributed systems. The current computing trend sees
businesses and individuals moving toward a more centralized
infrastructure, namely the cloud. On the one hand, as the computing
infrastructure at data centers is highly complex and distributed, DS
becomes essential for diagnosing and gaining insights of the system.
On the other hand, the scale and nature of interaction between
different components in the cloud present new challenges and push DS's
state of the art.

Another computing trend that has potential to drive DS is
internet-of-things. Such complex systems consist of a large number of
autonomous, heterogeneous devices communicating with one another in
non-uniform manner. DS is valuable not only for discerning system
properties but also for predicting the devices' emergent behavior.
Finally, users in online social networks make up large distributed
systems. Insights of user interaction and the network's collective
behavior --- the study of which fits well into the realm of DS ---
bring significant value to both the society and the business of social
network providers.

This special session seeks to bring together experts and practitioners
in the domain of DS to discuss new opportunities and challenges for
DS. We welcome research papers on both theoretical and empirical
issues.

Web page: http://ds-rt.com/2016/dsimdsys_2016.htm



* Special Session on Augmented and Virtual Reality for Real-Time Applications

Virtual Reality (VR) allows users to be immersed in and interact with
a fully virtual computer generated environment. On the other hand,
Augmented Reality (AR) technologies add digital information on top of
the physical reality, allowing users to gain more knowledge about
their environment. VR and AR can become valuable tools for
understanding, visualizing or evaluating real-time applications, such
as simulations.

Both technologies offer tremendous possibilities in terms of
visualization, interaction and collaboration and become widely
available with the development of new affordable devices and toolkits.

This special sessions aims at bringing together industrial experts and
researchers from academia to present their results and discuss the
challenges related to the use of VR and AR technologies dedicated to
real-time applications. We welcome research papers on both theoretical
and empirical issues.

Web page: http://ds-rt.com/2016/avrrta_2016.htm



* Special Session on Agent-based Modeling and Simulation

This special session focuses on general aspects and special properties
for agent-based modeling and simulations that allows them to be
applied on several scientific domains, such as sociology, physics,
chemistry, biology, ecology, and economy. The session is intended to
bring together researchers and practitioners, so they can present the
current status of their work and discuss the challenges they face in
developing solutions and applications for agent-based simulations.
Consequently, the design of these simulations aims not only to social
contexts but also to more technical domains, which involves highly
complex interactive systems.

Web page: http://ds-rt.com/2016/abms_2016.htm


Best Regards,
DS-RT 2016 Special Session Chairs
_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
Erlang Workshop | 19 May 13:28 2016
Picon

[ANN] Final Call for Papers: Erlang Workshop 2016 -- Submission deadline (3 June) approaching

Apologies for any duplicates you may receive.


CALL FOR PAPERS
===============

Fifteenth ACM SIGPLAN Erlang Workshop
------------------------------
-----------------------------

Nara, Japan, September 23, 2016
Satellite event of the 21st ACM SIGPLAN International Conference on Functional Programming (ICFP 2016)
September 18-24, 2016

The Erlang Workshop aims to bring together the open source, academic,
and industrial communities of Erlang, to discuss technologies and
languages related to Erlang. The Erlang model of concurrent programming
has been widely emulated, for example by Akka in Scala, and even new
programming languages were designed atop of the Erlang VM, such as
Elixir. Therefore we would like to broaden the scope of the workshop to
include systems like those mentioned above.

The workshop will enable participants to familiarize themselves with
recent developments on new techniques and tools, novel applications,
draw lessons from users' experiences and identify research problems and
common areas relevant to the practice of Erlang, Erlang-like languages,
functional programming, distribution, concurrency etc.

We invite three types of submissions.

1. Technical papers describing interesting contributions either in
theoretical work or real world applications. Submission related to
Erlang, Elixir, Akka, CloudHaskell, Occam, and functional programming
are welcome and encouraged. Topics of interest include (but are not
limited to):

  - virtual machine extensions and compilation techniques
  - implementations and interfaces of Erlang in/with other languages
  - new tools (profilers, tracers, debuggers, testing frameworks etc.)
  - language extensions
  - formal semantics, correctness and verification
  - testing Erlang programs
  - program analysis and transformation
  - Erlang-like languages and technologies
  - functional languages and multi-processing
  - concurrency in functional languages
  - functional languages and distributed computing
  - parallel programming
  - pattern based programming
  - Erlang in education

The maximum length for technical papers is restricted to 12 pages.

2. Experience reports describing uses of Erlang in the "real-world",
Erlang libraries for specific tasks, experiences from using Erlang
in specific application domains, reusable programming idioms and
elegant new ways of using Erlang to approach or solve a particular
problem. The maximum length for the experience report is restricted
to 2 pages.

3. Poster presentations describing topics related to the workshop goals.
Each includes a maximum of 2 pages of the abstract and summary.
Presentations in this category will be given an hour of shared
simultaneous demonstration time.


Workshop Co-Chairs
------------------
Melinda Tóth, Eötvös Loránd University, Hungary
Scott Lystig Fritchie, Basho Japan KK

Program Committee
-----------------------------
(Note: the Workshop Co-Chairs are also committee members)

   Jamie Allen, Typesafe
   Laura M. Castro, University of  A Coruña, Spain
   Natalia Chechina, University of Glasgow
   Viktoria Fördős, Erlang Solutions
   Yosuke Hara, Rakuten, Inc.
   Kenji Rikitake, KRPEO
   Bruce Tate, iCanMakeItBetter
   Simon Thompson, University of Kent, UK


Important Dates
-----------------------
Submissions due: Friday, 3 June, 2016
Author notification: Friday, 8 July, 2016
Final copy due: Sunday, 31 July, 2016
Workshop date: September 23, 2016

Instructions to authors
--------------------------------
Papers must be submitted online via EasyChair (via the "Erlang2016"
event). The submission page is
https://www.easychair.org/conferences/?conf=erlang2016

Submitted papers should be in portable document format (PDF),
formatted using the ACM SIGPLAN style guidelines.

Each submission must adhere to SIGPLAN's republication policy.
Violation risks summary rejection of the offending submission.
Accepted papers will be published by the ACM and will appear in the
ACM Digital Library.

Paper submissions will be considered for poster submission in the case
they are not accepted as full papers.

Venue & Registration Details
------------------------------------------
For registration, please see the ICFP 2016 web site at:
http://conf.researchr.org/home/icfp-2016

Related Links
--------------------
CFP: http://conf.researchr.org/track/icfp-2016/erlang-2016-papers
ICFP 2016 web site: http://conf.researchr.org/home/icfp-2016
Past ACM SIGPLAN Erlang workshops: http://www.erlang.org/workshop/
Open Source Erlang: http://www.erlang.org/
EasyChair submission site:
https://www.easychair.org/conferences/?conf=erlang2016
Author Information for SIGPLAN Conferences:
http://www.sigplan.org/authorInformation.htm
Atendee Information for SIGPLAN Events:
http://www.sigplan.org/Resources/Policies/Anti-harassment
_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
Yliès Falcone | 19 May 11:41 2016
Picon
Picon

RV 2016, Deadline for abstract on May 20 (AoE)

Following several requests, the deadlines have been extended as follows:

- Abstract deadline: Friday May 20 (AoE).
- Paper and tutorial deadline: Friday May 27 (AoE).

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

RV 2016
16th International Conference on Runtime Verification
September 23-30, Madrid, Spain



Scope

Runtime verification is concerned with monitoring and analysis of software and hardware system executions. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for testing, verification, and debugging purposes, and after deployment for ensuring reliability, safety, and security and for providing fault containment and recovery as well as online system repair. Topics of interest to the conference include:

- specification languages
- specification mining
- program instrumentation
- monitor construction techniques
- logging, recording, and replay
- runtime enforcement, fault detection, localization, containment, recovery and repair
- program steering and adaptation
- metrics and statistical information gathering
- combination of static and dynamic analyses
- program execution visualization
- monitoring techniques for safety/mission-critical systems
- monitoring distributed systems, cloud services, and big data applications
- monitoring security and privacy policies

Application areas of runtime verification include cyber-physical systems, safety/mission-critical systems, enterprise and systems software, autonomous and reactive control systems, health management and diagnosis systems, and system security and privacy.


Invited Speakers

The program of RV 2016 will feature invited talks from:

Gul Agha (University of Illinois at Urbana-Champaign, USA)
Oded Maler (CNRS and University of Grenoble-Alpes, France)
Fred B. Schneider (Cornell University, USA)


Overview

RV 2016 will be held September 23-30 in Madrid, Spain. RV 2016 will feature the first summer school on Runtime Verification (September 23-25), two workshop days (September 26-25), and three conference days (September 28-30).


General Information on Submissions

All papers and tutorials will appear in the conference proceedings in an LNCS volume. Submitted papers and tutorials must use the LNCS/Springer style. At least one author of each accepted paper and tutorial must attend RV 2016 to present the paper. Papers must be written in English and submitted electronically (in PDF format) using the EasyChair system. The below page limitations include all text and figures, but exclude references. Additional details omitted due to space limitations may be included in a clearly marked appendix that will be reviewed at the discretion of reviewers.

Research Papers Track

Research papers can be submitted in two categories: regular and short papers. Papers in both categories will be reviewed by at least 3 members of the Program Committee. 

Regular Papers (up to 15 pages) should present original unpublished results. Theoretical papers, system and application papers as well as case studies on runtime verification are all welcome. 
The Program Committee of RV 2016 will give a best paper award. A selection of accepted regular papers will be invited to appear in a special issue of the Springer Journal on Formal Methods in System Design.

Short Papers (up to 6 pages) may present novel but not necessarily thoroughly worked out ideas, for example emerging runtime verification techniques and applications, or techniques and applications that establish relationships between runtime verification and other domains. Accepted short papers will be presented in special talk (15 minutes) and poster sessions.

Tool Papers Track

The aim of the RV 2016 tool track is to provide an opportunity for researchers and practitioners to show and to discuss the latest advances, experiences and challenges in devising and developing reliable software tools for runtime verification. All tool papers will be reviewed by at least 3 members of the Tool Committee. An author of each accepted tool paper should give a 15-20 minutes demonstration during the conference.

All tool papers must include information on tool availability, maturity, selected experimental results and it should provide a link to a website containing the theoretical background and user guide. Furthermore, we strongly encourage authors to make their tools and benchmarks available with their submission.
We encourage tool papers to include a script in an appendix (not included in the page count) describing how the demo will be conducted during the conference presentation with screenshots presenting step-by-step the tool’s capabilities, highlighting the main characteristics and the usage.

Tool papers can be submitted into two categories: 

Regular Tool Papers (up to 8 pages). A tool paper in this category should present a new tool, a new tool component or significant and novel extensions to existing tools supporting runtime verification. Each submission should be original and not published previously in a tool paper form.
Tool Exhibition Papers (up to 4 pages). A tool paper in this category can have been previously published. A tool paper in this category should be oriented towards the tool usage and is an opportunity for the developers to present them at RV 2016.


Tutorial Track

Tutorials are two-to-three-hour presentations on a selected topic. Additionally, tutorial presenters will be offered to publish a paper of up to 20 pages in the LNCS conference proceedings.

A proposal for a tutorial must contain the subject of the tutorial, a proposed timeline, a note on previous similar tutorials (if applicable) and the differences to this incarnation, and a biography of the presenter. The proposal must not exceed 2 pages. Tutorial proposals will be reviewed by the Program Committee.


(new) Important Dates

Research and tool papers as well as tutorials will follow the following timeline:

Abstract deadline: May 20, 2016 (AoE)
Paper and tutorial deadline: May 27, 2016 (AoE)
Tutorial notification: June 15, 2016
Paper notification: July 18, 2016
Camera ready deadline: August 8, 2016
Summer school: September 23-25, 2016
Workshops and tutorials: September 26-27, 2016
Conference: September 28-30, 2016


Committees

Program Committee Chairs

Yliès Falcone, Univ. Grenoble-Alpes and Inria, France
Cesar Sanchez, IMDEA Software, Madrid, Spain

Tool Committee Chair

Klaus Havelund, NASA Jet Propulsion Laboratory, USA

Local Organization Chair

Juan E. Tapiador, Universidad Carlos III de Madrid, Spain

Program Committee

Erika Abraham, RWTH Aachen University, Germany
Howard Barringer, The University of Manchester, UK
Ezio Bartocci, TU Wien, Austria
Andreas Bauer, NICTA & Australian National University, Australia
Saddek Bensalem, Univ. Grenoble Alpes, France
Eric Bodden, Fraunhofer SIT and Technische University Darmstadt, Germany
Borzoo Bonakdarpour, McMaster University, Canada
Laura Bozzelli, Technical University of Madrid (UPM), Spain
Juan Caballero, IMDEA Software Institute, Spain
Wei-Ngan Chin, National University of Singapore, Singapore
Christian Colombo, University of Malta, Malta
Jyotirmoy Deshmukh, Toyota Technical Center, USA
Alexandre Donzé, UC Berkeley EECS Department, USA
Yliès Falcone, Univ. Grenoble Alpes and Inria, France
Bernd Finkbeiner, Saarland University, Germany
Adrian Francalanza, University of Malta, Malta
Vijay Garg, The University of Texas at Austin, USA
Patrice Godefroid, Microsoft Research, USA
Susanne Graf, Univ. Grenoble Alpes and CNRS, France
Radu Grosu, Vienna University of Technology, Austria
Sylvain Hallé, Université du Québec à Chicoutimi, Canada
Klaus Havelund, NASA Jet Propulsion Laboratory, USA
Johan Jaffar, National University of Singapore, Singapore
Thierry Jéron, Inria Rennes – Bretagne Atlantique, France
Johannes Kinder, Royal Holloway University of London, UK
Felix Klaedtke, NEC Europe Ltd., Germany
Kim G. Larsen, Aalborg University, Denmark
Axel Legay, Inria Rennes – Bretagne Atlantique, France
Martin Leucker, University of Lübeck, Germany
Benjamin Livshits, Microsoft Research, USA
Joao Lourenço, Universidade Nova de Lisboa, Portugal
Rupak Majumdar, MPI-SWS, Germany
Leonardo Mariani, University of Milano Bicocca, Italy
David Naumann, Stevens Institute of Technology, USA
Dejan Nickovic, Austrian Institute of Technology, Austria
Gordon Pace, University of Malta, Malta
Doron Peled, Bar Ilan University, Israel
Lee Pike, Galois, Inc., USA
Grigore Rosu, University of Illinois at Urbana-Champaign, USA
Gwen Salaün, Univ. Grenoble Alpes and Inria, France
Cesar Sanchez, IMDEA Software Institute, Spain
Sriram Sankaranarayanan, University of Colorado Boulder, USA
Gerardo Schneider, University of Gothenburg, Sweden
Scott Smolka, Stony Brook University, USA
Oleg Sokolsky, University of Pennsylvania, USA
Bernhard Steffen, University of Dortmund, Germany
Scott Stoller, Stony Brook University, USA
Volder Stolz, University of Oslo, Norway
Jun Sun, Singapore University of Technology and Design, Singapore
Juan Tapiador, Universidad Carlos III de Madrid, Spain
Serdar Tasiran, Koc Univ., Turkey
Michael Whalen, University of Minnesota, USA
Eugen Zalinescu, ETH Zurich, Switzerland
Lenore Zuck, University of Illinois at Chicago, USA

Tool Committee

Steven Arzt, EC Spride, Germany
Howard Barringer, The University of Manchester, UK
Ezio Bartocci, TU Wien, Austria
Martin Leucker, University of Luebeck, Germany
Gordon Pace, University of Malta, Malta
Giles Reger, The University of Manchester, UK
Julien Signoles, CEA, France
Oleg Sokolsky, University of Pennsylvania, USA
Bernhard Steffen, University of Dortmund, Germany
Nikolai Tillmann, Microsoft Research, USA
Eugen Zalinescu, ETH Zurich, Switzerland
_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
Robson De Grande | 18 May 17:00 2016
Picon

CFP (Approaching Deadline): 19th ACM/IEEE MSWiM 2016

====================================================
Call-For-Papers:
19th ACM*/IEEE*  MSWiM 2016
Malta, Nov 13-17, 2016
http://www.mswimconf.com/2016

====================================================
IMPORTANT: Submission deadline: May 30th, 2016
===================================================

*Pending Upon Approval


ACM/IEEE* MSWiM 2016 is the 19th Annual International Conference on
Modeling, Analysis and Simulation of Wireless and Mobile Systems. MSWiM
is an international forum dedicated to in-depth discussion of Wireless
and Mobile systems, networks, algorithms and applications, with an
emphasis on rigorous performance evaluation. MSWiM is a highly selective
conference with a long track record of publishing innovative ideas and
breakthroughs. MSWiM 2016 will be held Malta, Nov 13-17, 2016

Authors are encouraged to submit full papers presenting new research
related to the theory or practice of all aspects of modeling, analysis
and simulation of mobile and wireless systems. Submitted papers must not
have been published elsewhere nor be currently under review by another
conference or journal.

Papers related to wireless and mobile network Modeling, Analysis,
Design, and Simulation are solicited on, but not limited to, the
following topics in mobile and wireless systems:

    Performance evaluation and modeling
    Analytical Models
    Simulation languages and tools for wireless systems
    Wireless measurements tools and experiences
    Formal methods for analysis of wireless systems
    Correctness, survivability and reliability evaluation
    Mobility modeling and management
    Models and protocols for cognitive radio networks
    Models and protocols for autonomic, or self-* networks
    Capacity, coverage and connectivity modeling and analysis
    Wireless network algorithms and protocols
    Software Defined Network
    Services for Smart City
    Wireless PANs, LANs
    Ad hoc and MESH networks
    Vehicular Ad-hoc Networks (VANET)
    Sensor and actuator networks
    Delay Tolerant Networks
    Integration of wired and wireless systems
    Pervasive computing and emerging models
    Wireless multimedia systems
    QoS provisioning in wireless and mobile networks
    Security and privacy of mobile/wireless systems
    Algorithms and protocols for energy efficient operation and power
control
    Mobile applications, system software and algorithms
    RF channel modeling and analysis
    Design methodologies
    Tools, prototypes and testbeds
    Parallel and distributed simulation of wireless systems
    Wireless Communication and Mobile Networking
    Operating systems for mobile computations
    Programming language support for mobility
    Resource management techniques
    Management of mobile object systems



Paper Submission and Publication:

High-quality original papers are solicited. Papers must be unpublished
and must not be submitted for publication elsewhere. All papers will be
reviewed by Technical Program Committee members and other experts active
in the field to ensure high quality and relevance to the conference.
More detailed instructions for paper submission can be found at
http://www.mswimconf.com/2016 and EDAS.

Accepted papers will appear in the conference proceedings to be
published by ACM Press.

Important Dates:

Paper Registration (Full list of authors, title, keywords, abstract): May
25, 2016

Paper Submission Deadline: May 30, 2016
Notification of Acceptance: June 30, 2016


Organizing Committee:

General Co-Chair:
    - Albert Zomaya, University of Sydney, Australia

TPC Co-Chairs:
    - Geyong Min, University of Exter, UK
    - Antonio Loureiro, UFMG, Brazil

Workshop Chairs:
    - Perikklis Chatzimios, Alexander TEI of Thessaloniki, Greece
    - SungBum Hong, Jackson State University, USA

Tutorial Chairs:
    - Thomas Begin, University Claude Bernards Lyon, France
    - Jalel Ben-Othman, University Paris 13, France

Ph.D. Forum Chair
    - Bjorn Landfeldt, Lund University, Sweeden

_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

Gmane