David Sabel | 27 Jan 19:06 2015
Picon
Picon

CFP: WPTE 2015 Second International Workshop on Rewriting Techniques for Program Transformations and Evaluation


                             FIRST CALL FOR PAPERS

                       Second International Workshop on
     Rewriting Techniques for Program Transformations and Evaluation

                                 WPTE 2015

                         affiliated with RDP 2015

                       2 July, 2015, Warsaw, Poland

          http://www.trs.cm.is.nagoya-u.ac.jp/event/wpte2015/

Aims and Scope
==============
The aim of WPTE is to bring together the researchers working on
program transformations, evaluation, and operationally-based
programming language semantics, using rewriting methods, in order to
share the techniques and recent developments and to exchange ideas to
encourage further activation of research in this area. The previous
WPTE was held in Vienna 2014.

Topics of interest in the scope of this workshop include:

* Correctness of program transformations, optimizations and translations.
* Program transformations for proving termination, confluence and
  other properties.
* Correctness of evaluation strategies.
* Operational semantics of programs, operationally-based program
(Continue reading)

Augustsson, Lennart | 27 Jan 11:52 2015

Drastic Prelude changes imminent

If you didn’t know that, e.g., the type of foldr is changing, check out the thread https://www.haskell.org/pipermail/libraries/2015-January/024777.html.

 


This email and any attachments are confidential and may also be privileged. If you are not the intended recipient, please delete all copies and notify the sender immediately. You may wish to refer to the incorporation details of Standard Chartered PLC, Standard Chartered Bank and their subsidiaries at
http://www.standardchartered.com/en/incorporation-details.html

Insofar as this communication contains any market commentary, the market commentary has been prepared by a sales and/or trading desk of Standard Chartered Bank or its affiliate. It is not and does not constitute research material, independent research, recommendation or financial advice. Any market commentary is for information purpose only and shall not be relied for any other purpose, and is subject to the relevant disclaimers available at http://wholesalebanking.standardchartered.com/en/utility/Pages/d-mkt.aspx.

Please visit http://wholesalebanking.standardchartered.com/en/capabilities/financialmarkets/Pages/doddfrankdisclosures.aspx for important information with respect to derivative products.
_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://www.haskell.org/mailman/listinfo/haskell
Miëtek Bak | 26 Jan 02:25 2015

ANN: Halcyon and Haskell on Heroku

I’m happy to announce the initial public release of Halcyon, a system for installing Haskell apps and
development tools.
https://halcyon.sh/

Halcyon stands on the shoulders of Cabal, and isn’t intended to replace it.  Instead, consider Halcyon a
proof-of-concept implementation of one possible future version of Cabal.

- See the Halcyon examples for a demonstration of advanced Halcyon features.
  https://halcyon.sh/examples/

- Take a look at the Halcyon shootout for a comparison of build times and sizes across most Haskell web frameworks.
  https://halcyon.sh/shootout/

- Read the Halcyon tutorial to learn how to develop a simple Haskell web app using Halcyon.
  https://halcyon.sh/tutorial/

While Halcyon isn’t a deployment system, it’s intended to be used for constructing deployment systems.

I’m doubly happy to also announce Haskell on Heroku, a buildpack for deploying Haskell apps.
https://haskellonheroku.com/

- Read the Haskell on Heroku tutorial to learn how to deploy Haskell web apps to Heroku.
  https://haskellonheroku.com/tutorial/

Enjoy,

--

-- 
Miëtek Bak
https://mietek.io/

Attachment (smime.p7s): application/pkcs7-signature, 5678 bytes
_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://www.haskell.org/mailman/listinfo/haskell
Levent Erkok | 23 Jan 07:31 2015
Picon

[ANNOUNCE] New release of SBV

I'm happy to announce a new release of SBV (v4.0); a library for seamlessly integrating SMT solvers with Haskell.


Most of the changes in this release are due to Brian Huffman of Galois; essentially adding capabilities so end-users can define symbolic bit-vector types that are not natively supported by SBV. For instance, a user can define `SWord17` for representing 17-bit words and use them just like other symbolic types natively supported by SBV. This feature allows SBV to take advantage of arbitrary bit-size decision procedures for bit-vector logics as found in modern SMT solvers, which are becoming increasingly more valuable in (semi-)automated verification of software artifacts. (Note that SBV already supports other basic types such as unbounded Integers, IEEE Floats and Doubles, Rationals, Algebraic reals, and traditional machine word sizes such as Word8/Int8; 16; 32; and 64 symbolically.) 

We plan to also add automatic support for SWordN/SIntN for arbitrary N, once GHC gets proper support for type-level naturals.

Thanks to Brian Huffman for his contributions to this release. Bug reports/comments are always welcome.

-Levent.
_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://www.haskell.org/mailman/listinfo/haskell
Mateu Villaret | 21 Jan 15:35 2015

CFP: UNIF 2015

==========================================================
                      Call for Papers
                         UNIF 2015
       The 29th International Workshop on Unification
               June 28, 2015. Warsaw, Poland
        http://rdp15.mimuw.edu.pl/index.php?site=unif
                        *********
          part of the Federated Conference on
       Rewriting, Deduction, and Programming (RDP'15)
==========================================================

UNIF 2015 is the 29th event in a series of international
meetings devoted to unification theory and its applications.
Unification is concerned with the problem of identifying
terms, finding solutions for equations, or making formulas
equivalent. It is a fundamental process used in a number of
fields of computer science, including automated reasoning,
term rewriting, logic programming, natural language
processing, program analysis, types, etc.

The International Workshop on Unification (UNIF) is a yearly
forum for researchers in unification theory and related
fields to meet old and new colleagues, to present recent
(even unfinished) work, and to discuss new ideas and trends.
It is also a good opportunity for young researchers and
scientists working in related areas to get an overview of the
current state of the art in unification theory.

Topics of Interest
------------------
A non-exhaustive list of topics of interest include:

- Unification algorithms, calculi and implementations
- Equational unification and unification modulo theories
- Unification in modal, temporal and description logics
- Admissibility of inference rules
- Narrowing
- Matching algorithms
- Constraint solving
- Combination problems
- Disunification
- Higher-Order unification
- Type checking and reconstruction
- Typed unification
- Complexity issues
- Query answering
- Implementation techniques
- Applications of unification
- Antiunification/Generalization

Submission
----------
Following the tradition of UNIF, we call for submissions of
abstracts (5 pages) in EasyChair style, to be submitted
electronically as PDF files through the EasyChair submission
site:

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

Abstracts will be evaluated by the Programme Committee
(if necessary with support from external reviewers)
regarding their significance for the workshop. Accepted
abstracts will be presented at the workshop and included in
the informal proceedings of the workshop, available in printed
form at the workshop and in electronic form from the UNIF
homepage:

      http://www.pps.jussieu.fr/~treinen/unif/

Based on the number and quality of submissions we will decide
whether to organize a special journal issue.

Important Dates
---------------
   * Paper Submission:                     May 3, 2015
   * Notification of Acceptance:          May 31, 2015
   * Final version:                       June 7, 2015
   * Conference:                         June 28, 2015

Programme Committee
-------------------
   * Franz Baader, TU Dresden, Germany
   * Santiago Escobar, Universitat Politecnica de Valencia, Spain (co-chair)
   * Adria Gascon, SRI international, USA
   * Silvio Ghilardi, Universita di Milano, Italy
   * Artur Jez, MPI, Germany
   * Temur Kutsia, RISC, Johannes Kepler University Linz, Austria
   * Jordi Levy, IIIA-CSIC, Spain
   * Christopher Lynch, Clarkson University, USA
   * George Metcalfe, University of Bern, Switzerland
   * Paliath Narendran, University at Albany-SUNY, USA
   * Jan Otop, IST, Austria
   * Christophe Ringeissen, LORIA-INRIA Lorraine, France
   * Manfred Schmidt-Schauss, Goethe-University Frankfurt, Germany
   * Mateu Villaret, Universitat de Girona, Spain (co-chair)

For more information, please contact any of the two chairs
Santiago Escobar or Mateu Villaret.
YuHui Lin | 21 Jan 13:48 2015
Picon
Picon

AVoCS 2015: First Call for Papers

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

              The 15th International Workshop on 
          Automated Verification of Critical Systems 
                        AVoCS 2015

             1-4 September 2015, Edinburgh, UK

          https://sites.google.com/site/avocs15/
                avocs2015 <at> easychair.org
---------------------------------------------------------------------

IMPORTANT DATES
  Submission of abstract (full papers): 5th June 2015
  Submission of full papers: 12th June 2015
  Notification (full papers): 14th July 2015
  Submission of research idea papers: 7th August 2015
  Notification (research idea): 14th August 2015
  Early registration: 18th August 2015
  Submissions of final versions: 21st August 2015 

INVITED SPEAKERS
  Colin O'Halloran (D-RisQ & the University of Oxford)
  Don Sannella (Contemplate & the University of Edinburgh)

SPONSORS
  Formal Methods Europe (FME)
  The Scottish Informatics & Computer Science Alliance (SICSA)

BACKGROUND 
  The aim of Automated Verification of Critical Systems (AVoCS) 2015 
  is to contribute to the interaction and exchange of ideas among members 
  of the international research community on tools and techniques for the 
  verification of critical systems. 

SCOPE
  The subject is to be interpreted broadly and inclusively. It covers 
  all aspects of automated verification, including model checking, 
  theorem proving, SAT/SMT constraint solving, abstract interpretation, 
  and refinement pertaining to various types of critical systems which 
  need to meet stringent dependability requirements (safety-critical, 
  business-critical, performance-critical, etc.). Contributions that 
  describe different techniques, or industrial case studies are encouraged. 

  The technical programme will consist of invited and contributed talks 
  and also allow for short presentations of research ideas. The workshop 
  will be relatively informal, with an emphasis on discussion where special 
  discussion sessions will be organised around the research ideas presentations. 
  Topics include (but are not limited to):
    - Model Checking
    - Automatic and Interactive Theorem Proving
    - SAT, SMT or Constraint Solving for Verification
    - Abstract Interpretation
    - Specification and Refinement
    - Requirements Capture and Analysis
    - Verification of Software and Hardware
    - Specification and Verification of Fault Tolerance and Resilience
    - Probabilistic and Real-Time Systems
    - Dependable Systems
    - Verified System Development
    - Industrial Applications

WORKSHOPS
  AI4FM 2015: 1 September 2015 -- www.ai4fm.org/ai4fm-2015/

VENUE
  The event will be held in the International Centre for Mathematical Sciences 
  (ICMS) in the centre of the historic old town of Edinburgh - an UNESCO world
  heritage site. 

STUDENT GRANTS
  Thanks to sponsorships from FME and SICSA we can offer financial support for a 
  limited number of students registering for AVoCS in the form of a registration 
  fee waiver (full or partial). As this is limited, we ask the students that 
  would like to take the advantage of this support to submit a short application. 
  The details on how to apply will be available in due course from the AVoCS 
  webpage.

SUBMISSION DETAILS
   Submissions of full papers to the workshop must not have been published 
   or be concurrently considered for publication elsewhere. All submissions 
   will be peer-reviewed and judged on the basis of originality, contribution 
   to the field, technical and presentation quality, and relevance to the 
   workshop. Submissions are handled via Easychair: 

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

   The papers must be written in English and not exceed 15 pages and should 
   use the dedicated AVoCS 2015 EASST template available rom the the 
   following link (for LaTeX and Word):

       http://journal.ub.tu-berlin.de/eceasst

   AVoCS also encourages the submissions of research ideas in order to stimulate 
   discussions at the workshop. Reports on ongoing work or surveys on work 
   published elsewhere are welcome. The Programme Committee will select 
   research ideas on the basis of submitted abstracts according to significance 
   and general interest. Research ideas must be written in English and not exceed 
   2 pages using the EASST template. The presentation of these ideas will be organised 
   around discussions, where the presenter should also prepare a set of question in 
   which the audience will discuss.

PROCEEDINGS
  At the workshop, pre-proceedings will be available in the form of a Heriot-Watt 
  University Technical Report; this report will also include the research ideas.
  After the workshop, the authors of accepted full papers will have about one 
  month in order to revise their papers for publication in the workshop post-
  proceedings which will appear in the Electronic Communications of the EASST 
  Open Access Journal. Research ideas will not be part of the proceedings in the 
  Open Access Journal.

SPECIAL SCP JOURNAL ISSUE
  Authors of a selection of the best papers presented at the workshop will be 
  invited to submit extended versions of their work for publication in a 
  special issue of Elsevier's journal Science of Computer Programming.

PROGRAM COMMITTEE  
  Ernie Cohen, University of Pennsylvania, USA
  Ewen Denney, NASA Ames, USA
  Jean-Christophe Filliatre, CNRS, France
  Michael Goldsmith, University of Oxford, UK
  Gudmund Grov, Heriot-Watt University, UK (co-chair)
  Keijo Heljanko, Aalto University, Finland
  Mike Hinchey, University of Limerick, Ireland
  Marieke Huisman, University of Twente, Netherlands
  Andrew Ireland, Heriot-Watt University, UK (co-chair)
  Gerwin Klein, NICTA/UNSW, Australia
  Thierry Lecomte, ClearSy, France
  Peter Gorm Larsen, Aarhus University, Denmark 
  Panagiotis (Pete) Manolios, Northeastern University, USA
  Stephan Merz, INRIA Nancy & LORIA, France
  Jaco van de Pol, University of Twente, Netherlands
  Markus Roggenbach, Swansea University, UK
  Marco Roveri, FBK, Italy
  Thomas Santen, Microsoft Research, Germany
  Bernard Steffen, Technical University Dortmund, Germany
  Jan Strejček, Masaryk University, Czech Republic
  Jun Sun, Singapore University of Technology and Design, Singapore
  Tayssir Touili, LIAFA, CNRS & University Paris Diderot, France
  Helen Treharne, University of Surrey, UK
  Laurent Voisin, Systerel, France
  Angela Wallenburg, Altran, UK
  John Wickerson, Imperial College London, UK
  Peter Ölveczky, University of Oslo, Norway

ORGANISERS 
  Gudmund Grov, Heriot-Watt University, UK
  Andrew Ireland, Heriot-Watt University, UK
  Yuhui Lin, Heriot-Watt University, UK (Local arrangements and publicity chair)

STEERING COMMITTEE 
  Michael Goldsmith, University of Oxford, UK
  Stephan Merz, INRIA Nancy & LORIA, France
  Markus Roggenbach, Swansea University, UK

----- 
We invite research leaders and ambitious early career researchers to 
join us in leading and driving research in key inter-disciplinary themes. 
Please see www.hw.ac.uk/researchleaders for further information and how
to apply.

Heriot-Watt University is a Scottish charity
registered under charity number SC000278.

_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://www.haskell.org/mailman/listinfo/haskell
Yliès Falcone | 20 Jan 08:29 2015
Picon
Picon

CFP: CRV15 - 2nd Competition on Runtime Verification

CRV 2015
The 2nd International Competition on Runtime Verification, 
held with RV 2015, September 22 – 25, 2015 Vienna, Austria


CRV-2015 is the 2nd International Competition on Runtime Verification and is part of the 15th International Conference on Runtime Verification. The event will be held in September 2015, in Vienna, Austria. CRV-2015 will draw attention to the invaluable effort of software developers and researchers who contribute in this field by providing the community with new or updated tools, libraries and frameworks for the instrumentation and runtime verification of software.

Runtime Verification is a verification technique for the analysis of software at execution-time based on extracting information from a running system and checking if the observed behaviors satisfy or violate the properties of interest. During the last decade, many important tools and techniques have been developed and successfully employed. However, there is a pressing need to compare such tools and techniques, since we currently lack a common benchmark suite as well as scientific evaluation methods to validate and test new prototype runtime verification tools. 

The main aims of CRV-2015 are to:

• Stimulate the development of new efficient and practical runtime verification tools and the maintenance and improvement of the already developed ones.
• Produce a benchmark suite for runtime verification tools, by sharing case studies and programs that researchers and developers can use in the future to test and to validate their prototypes.
• Discuss the metrics employed for comparing the tools.
• Provide a comparison of the tools on different benchmarks and evaluate them using different criteria.
• Enhance the visibility of presented tools among the different communities (verification, software engineering, cloud computing and security) involved in software monitoring.

Please direct any enquiries to the competition co-organizers (crv15.chairs <at> imag.fr)

• Yliès Falcone (Université Joseph Fourier, France).
• Dejan Nickovic (AIT Austrian Institute of Technology GmbH, Austria).
• Giles Reger (University of Manchester, UK).
• Daniel Thoma (University of Luebeck, Germany).

CRV-2015 Jury

The CSRV Jury will include a representative for each participating team and the competition chairs. The Jury will be consulted at each stage of the competition to ensure that the rules set by the competition chairs are fair and reasonable.

Call for Participation

The main goal of CRV 2015 is to compare tools for runtime verification. We invite and encourage the participation with benchmarks and tools for the competition.The competition will consist of three main tracks based on the input language used:

• Track on monitoring Java programs (online monitoring).
• Track on monitoring C programs (online monitoring).
• Track on monitoring of traces (offline monitoring).

The competition will follow three phases:

• Benchmarks/Specification collection phase - the participants are invited to submit their benchmarks (C or Java programs and/or traces). The organizers will collect them in a common repository (publicly available). The participants will then train their tools using the shared benchmarks.
• Monitor collection phase - the participants are invited to submit their monitors. The participants with the tools/monitors that meet the qualification requirements will be qualified for the evaluation phase.
• Evaluation phase - the qualified tools will be evaluated on the submitted benchmarks and they will be ranked using different criteria (i.e., memory utilization, CPU utilization, ...). The final results will be presented at the RV 2015 conference.

The detailed description of each phase will be available on the RV 2015 website at http://rv2015.conf.tuwien.ac.at.

 

Expected Important Dates

January 30, 2015: Declaration of intent (email: crv15.chairs <at> imag.fr)
March 15, 2015 Submission deadline for benchmark programs and the properties to be monitored
March 30, 2015 Tool training starts by participants
May 30, 2015 Monitor submission
June 30, 2015 Notifications
At RV 2015 Presentation of results

_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://www.haskell.org/mailman/listinfo/haskell
Alcino Cunha | 19 Jan 13:13 2015
Picon

CFP Bx'15: 4th International Workshop on Bidirectional Transformations

                          CALL FOR PAPERS

Fourth International Workshop on Bidirectional Transformations (Bx 2015)

                           L'Aquila, Italy
              (co-located with STAF, July 20-24, 2015)

            http://bx-community.wikidot.com/bx2015:home

 
Bidirectional transformations (Bx) are a mechanism for maintaining the
consistency of at least two related sources of information. Such
sources can be relational databases, software models and code, or any
other document following standard or ad-hoc formats. Bx are an
emerging topic in a wide range of research areas, with prominent
presence at top conferences in several different fields (namely
databases, programming languages, software engineering, and graph
transformation), but with results in one field often getting limited
exposure in the others. Bx 2015 is a dedicated venue for Bx in all
relevant fields, and is part of a workshop series that was created in
order to promote cross-disciplinary research and awareness in the
area. As such, since its beginning in 2012, the workshop rotated
between venues in different fields. In 2015, Bx is co-located with
STAF for the first time.  

IMPORTANT DATES

Abstract submission: 24 April 2015
Paper submission: 8 May 2015
Author notification: 5 June 2015
Camera-ready version: 19 June 2015
Workshop date: one day between July 20-24, 2015 (exact date TBA soon)

AIM AND TOPICS

The aim of the workshop is to bring together researchers and
practitioners, established and new, interested in Bx from different
perspectives, such as:

* data and model synchronization 
* view updating
* inter-model consistency analysis and repair
* data/schema (or model/metamodel) co-evolution
* coupled software/model transformations
* inversion of transformations and data exchange mappings
* domain-specific languages for Bx
* analysis and classification of requirements for Bx
* bridging the gap between formal concepts and application scenarios
* analysis of efficiency of transformation algorithms and benchmarks
* survey and comparison of Bx technologies
* case studies and tool support

PAPER CATEGORIES

Submissions to Bx 2015 can be:

* Regular papers (up to 15 pages)
   - in-depth presentations of novel concepts and results
   - applications of Bx to new domains
   - survey papers providing novel comparisons between existing technologies
   - case studies
* Short papers (up to 8 pages)
   - work in progress
   - small focused contributions
   - position papers and research perspectives
* Tool papers (up to 8 pages)
   - presentation of new tools or substantial improvements to existing ones
* Benchmark papers (up to 8 pages)
   - new benchmark proposals, focusing on assessing aspects of Bx not
     covered by the examples currently available at the Bx example repository

SUBMISSION GUIDELINES

Submitted papers must follow the CEUR one column style available at
http://ceur-ws.org/Vol-XXX/samplestyles/. Tool papers must refer to a
web page describing how to download and install the presented
tool. Papers describing tools that have already been published
elsewhere are expected to contain substantial and clearly identified
extensions to the tool. Benchmark papers should follow the template of
the Bx example repository (http://bx-community.wikidot.com/examples:home), 
and clearly justify the relevance of the new benchmark as a means to
assess Bx tools and techniques (in particular, submissions of
cross-disciplinary benchmarks are encouraged). Moreover, they must
refer to a web page providing supporting artifacts
(metamodels/schemas, model/data instances for interesting test cases,
executable consistency checkers, etc).

Papers must be submitted via the EasyChair system:

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

Submissions not complying with the above guidelines or page limits may
be excluded from the reviewing process without further notice. If a
paper is accepted, one author of the paper is expected to participate
in the workshop to present it. Authors of accepted tool papers are
also expected to be available to demonstrate their tool at the event.

PROCEEDINGS AND SPECIAL ISSUE

The workshop proceedings, including all accepted papers, will be
published electronically by CEUR (http://ceur-ws.org). Authors of
accepted papers (of all categories) that have high-quality and the
potential to be extended into journal articles will be invited to
submit a revised and extended version of their paper to a special
issue of the Journal of Object Technology (http://www.jot.fm); these
papers will then be subject to a careful reviewing and selection
process according to the scientific standards of the Journal of Object
Technology.  

PROGRAM CO-CHAIRS

* Alcino Cunha, University of Minho, Portugal
* Ekkart Kindler, Technical University of Denmark, Denmark

PROGRAM COMMITTEE MEMBERS

* Anthony Anjorin, Technical University of Darmstadt, Germany
* Anthony Cleve, University of Namur, Belgium
* Romina Eramo, University of L'Aquila, Italy
* Jeremy Gibbons, University of Oxford, UK
* Holger Giese, Hasso Plattner Institute, Germany
* Soichiro Hidaka, NII, Japan
* Michael Johnson, Macquarie University, Australia
* Peter McBrien, Imperial College, UK
* Hugo Pacheco, Cornell University, USA
* Jorge Pérez, Universidad de Chile, Chile
* Arend Rensink, Twente University, Netherlands
* Perdita Stevens, University of Edinburgh, UK
* James Terwilliger, Microsoft, USA
* Meng Wang, Chalmers University of Technology, Sweden
* Jens Weber, University of Victoria, Canada
* Yingfei Xiong, Peking University, China

_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://www.haskell.org/mailman/listinfo/haskell
Jon Sneyers | 19 Jan 11:13 2015
Picon

Book announcement: Robert Kowalski, LOGIC FOR PROBLEM SOLVING, REVISITED

New Book

Robert Kowalski
LOGIC FOR PROBLEM SOLVING, REVISITED

ISBN 9783837036299      Also available as E-Book
http://books.google.de/books?id=6vh1BQAAQBAJ&hl=en

Algorithm = Logic + Control

Robert Kowalski revisits his classic text on Computational Logic in the
light of subsequent developments, extending it by a substantial
commentary of fifty pages.
Nabeel Al-Qirim | 17 Jan 18:18 2015
Picon

CFW: The 5th International Conference on Current and Future Trends of ICT in Healthcare (ICTH)

       *** Apologies if you receive multiple copies of this message ***
   
-----------------     Call for Workshops Proposals     ------------------------

     The 5th International Conference on Current and Future Trends
       of Information and Communication Technologies in
                     Healthcare (ICTH)

       27-30 September, 2015
           Berlin, Germany

       http://icth-15.dai-labor.de/    
-------------------------------------------------------------------------------

Important Dates
===============

- Workshop Proposal Due:    February 25, 2015
- Acceptance Notification: March 1, 2015

The ICTH-2015 organizing committee invites proposals for workshops. The main
objective of the workshops is to provide a forum for researchers and
professionals to discuss a specific topic from the field of ICTH-2015 and its
related areas.

All papers accepted for workshops will be included in the ICTH-2015
proceedings, which will be published by Elsevier. The authors must follow
Elsevier guidelines as given in ICTH-2015 Website. The selective outstanding
papers presented at the workshops, after further revision, will be considered
for publication in journals special issues.

Proposal Format
===============
- Title of the workshop
- Workshop Website: tentative address, or old address (if applicable)
- Draft Call for paper of the workshop
- Tentative list of TPC members

Workshops Chair
===============
Dr. Zahoor Khan, Higher Colleges of Technology, UAE
Email: zahoor.khan <at> hct.ac.ae

 

Regards

 


Nabeel Al-Qirim, PhD

Associate Professor

 

College of Information Technology
United Arab Emirates University
P.O Box 
15551 - Al Ain
United Arab Emirates



Tel: +971-3-7135531        Mobile: +971-507308705

Fax: +971-3-7672018       Email: nalqirim <at> uaeu.ac.ae  

Website: http://nalqirim.wix.com/nabeel-al-qirim

Disclaimer: This email and the file(s) attached shall remain confidential and is intended for the receivers use only. If you are not the intended receiver or if you have received this email by mistake, please advise the sender and delete the email along with its attachment(s) from your system immediately. You do not have the right to copy/print/distribute this email or attached file(s), or to release its contents to any other party other than the intended receivers whatsoever; except if you take prior written approval from the sender. If you violate the above, you will be legally held accountable.

_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://www.haskell.org/mailman/listinfo/haskell
Nabeel Al-Qirim | 17 Jan 18:17 2015
Picon

CFP" The 5th International Conference on Current and Future Trends of ICT in Healthcare

The 5th International Conference on Current and Future Trends of Information and Communication
Technologies in Healthcare
September 27-30, 2015
Berlin, Germany
http://icth-15.dai-labor.de/

Important Dates
------------------
- Workshop Proposals: February 15, 2015
- Paper Submission Due: May 6, 2015
- Acceptance Notification: June 26, 2015
- Final Manuscript Due: July 26, 2015

The 5th International Conference on Current and Future Trends of Information and Communication
Technologies in Healthcare (ICTH) is a premier venue for bringing together multi-disciplinary
researchers, professionals and practitioners from academia and healthcare who are engaged in
different facets of ICT and healthcare. The conference encourages innovative research contributions
providing the recent significant developments and promising future trends of ICT based applications,
systems, tools, environments and infrastructures in the fields of health/medical care, and related
domains, such as public health and pharmaceuticals. Papers on either completed or ongoing research are
invited in the following and related topics of interests.
ICTH-2015 will be held in conjunction with the 6th International Conference on Emerging Ubiquitous
Systems and Pervasive Networks (EUSPN: http://euspn-15.dai-labor.de/).
Accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science
series (on-line). Procedia Computer Sciences is hosted on www.Elsevier.com and on the Elsevier content
platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers
in Procedia will also be indexed by Thomson Reuters' Conference Proceeding Citation Index
http://thomsonreuters.com/conference-proceedings-citation-index/. The papers will contain
linked references, XML versions and citable DOI numbers. All accepted papers will also be indexed in DBLP
(http://dblp.uni-trier.de/). Selected papers will be invited for publication in a special issue of an
international journal.
We invite submissions on either completed or ongoing work. Submitted papers must be no longer than 8 pages
for full papers, 5 pages for short papers and 4 pages for work in progress, including all figures, tables
and references. We encourage students to submit short papers or works in progress, and welcome proposals
on workshops in areas of special interest to participants.
Topics of interest include, but are not limited to:
------------------------------------------------------
- Ambient Assisted Living for Elderly Care
- Ambient Intelligence and Intelligent Service Systems
- Analysis and Evaluation of Healthcare Systems
- Clinical Data and Knowledge Management
- Cloud Computing for Healthcare
- Collaboration Technologies for Healthcare
- Context-aware Applications for Patient Monitoring and Care
- Data mining Techniques and Data Warehouses in Healthcare
- Data Visualization
- Decision Support Systems in Healthcare
- Drug Information Systems
- Design and Development Methodologies for Healthcare Systems
- Diagnostic and Therapeutic Technologies in Healthcare
- Digital Hospitals
- E-health & m-health
- Electronic Health Records (EHR) & Personal Health Records (PHR)
- Evidence Based Medicine (EBM)
- Healthgrids
- Health Portals
- Information and Knowledge Processing in Healthcare Environments
- Middleware Support for Smart Homes and Intelligent Applications
- Privacy, Confidentiality and Security Issues in Healthcare Systems
- Related Real World Experimentations and Case Studies in Healthcare
- RFID Solutions for Healthcare
- Smart Homes and Home Care Intelligent Environments
- Telemedicine and Health Telematics
- Ubiquitous and Pervasive Computing in Healthcare
- Usability & Socio Technical studies
- User Interface Design for Healthcare Applications
- Virtual and Augmented Reality in Healthcare
- Virtual Environments for Healthcare
Committees
-------------
Steering Committee Chair
Elhadi Shakshuki, Acadia University, Canada
Honorary Chair
Sahin Albayrak, DAI-Lab, TU Berlin, Germany
General Chairs
Ellen Jaatun, Institute of Cancer Research and Molecular Medicine, NTNU, St. Olvas Hospital, Norway
Syed Sibte Raza Abidi, Dalhousie University, Nova Scotia
Advisory Committee
Sergio Camorlinga, Head eHealth Research, TRLabs, Canda
Kevin Daimi, University of Detroit Mercy, USA
Finn Kensing, University of Copenhagen, Denmark
Francesco Princiroli, Politecnico di Milano, Italy
Abdul Roudsari, University of Victoria, Canada
Advisory Committee
Sergio Camorlinga, Head eHealth Research, TRLabs, Canada
Kevin Daimi, University of Detroit Mercy, USA
Finn Kensing, University of Copenhagen, Denmark
Francesco Pinciroli, Politecnico di Milano, Italy
Abdul Roudsari, University of Victoria, Canada
Workshop Chair
Zahoor Khan, Higher Colleges of Technology, UA
Local Arrangements Members
Jan Keiser, DAI-Lab, TU Berlin, Germany
Fikret Sivrikaya, German-Turkish Advanced ICT Research Centre, Germany
Johannes Fähndrich, TU Berlin, Germany
Publicity Chairs
Christian Kuster, German-Turkish Advanced ICT Research Centre, Germany
Samir Ouchani, University of Luxembourg, Luxembourg
Nabeel Al-Qirim, College of Information Technology, UAE

Regards

Nabeel Al-Qirim, PhD
Associate Professor

College of Information Technology
United Arab Emirates University
P.O Box 15551 - Al Ain
United Arab Emirates

Tel: +971-3-7135531        Mobile: +971-507308705
Fax: +971-3-7672018       Email: nalqirim <at> uaeu.ac.ae
Website: http://nalqirim.wix.com/nabeel-al-qirim
________________________________

Disclaimer: This email and the file(s) attached shall remain confidential and is intended for the
receivers use only. If you are not the intended receiver or if you have received this email by mistake,
please advise the sender and delete the email along with its attachment(s) from your system immediately.
You do not have the right to copy/print/distribute this email or attached file(s), or to release its
contents to any other party other than the intended receivers whatsoever; except if you take prior
written approval from the sender. If you violate the above, you will be legally held accountable.

Gmane