- Haskell - Haskell.org

ANN: Halcyon and Haskell on Heroku
by Miëtek Bak 26 Jan '15

26 Jan '15

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/

1 0

[ANNOUNCE] New release of SBV
by Levent Erkok 23 Jan '15

23 Jan '15

I'm happy to announce a new release of SBV (v4.0); a library for seamlessly integrating SMT solvers with Haskell. https://hackage.haskell.org/package/sbv 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.

1 0

ANN: git-monitor
by John Wiegley 22 Jan '15

22 Jan '15

git-monitor auto-commits all changes to a Git working tree, within a special branch named "refs/snapshots/refs/heads/<branch>". It has no impact on the Git repository otherwise, and will not effect your real branches. It has the following features: - It is designed to be extremely resource efficient, both in CPU cost and memory. I wanted something I could run several instances of on my laptop, without paying much of a battery cost. This efficiency is achieved by using gitlib with the libgit2 backend. The current state of the working tree is maintained as a Git object in memory, and is updated in place before being written back out to disk. Thus, the amount of computation done remains minimal, as we do not need to rebuild the Git tree at each iteration (as "git-commit" would do). - Whenever git-monitor is exited and restarted, the previous snapshot "branch" is discarded. These are only intended to be viable during and between runs. - By having such a branch, you can easily browse through the diffs of your changes throughout the day. By default, every action taken is printed to the console where git-monitor is run, but it can also be run in silent mode, for example if you choose to background it for the rest of the day. http://hackage.haskell.org/package/git-monitor https://github.com/jwiegley/git-monitor Please report issues to the GitHub page. I have been using git-monitor on a regular basis for more than a year now, so I felt it finally deserved an announcement here. Thank you, John Wiegley (johnw on IRC/freenode)

2 2

Haskell Weekly News: Issue 315
by Daniel Santa Cruz 22 Jan '15

22 Jan '15

Welcome to issue 315 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers from January 4 to 17, 2015 Quotes of the Week * mpickering: When is the right time to use Data.ByteString.Char8? edwardk: mpickering: some time around 1980 * tpolecat: any lecture by conal elliott has that flavor. he is the bob ross of functional programming. Top Reddit Stories * Write You a Haskell Domain: dev.stephendiehl.com, Score: 280, Comments: 24 Original: [1] http://goo.gl/isSXWc On Reddit: [2] http://goo.gl/kOevyS * Announcing LTS Haskell 1.0 Domain: fpcomplete.com, Score: 87, Comments: 14 Original: [3] http://goo.gl/QW25bK On Reddit: [4] http://goo.gl/PlWgfm * MSFT open sources production serialization system written partially in Haskell Domain: blog.nullspace.io, Score: 83, Comments: 6 Original: [5] http://goo.gl/SDm7i1 On Reddit: [6] http://goo.gl/wljTKD * haskell-emacs - Write Emacs extensions in Haskell Domain: github.com, Score: 64, Comments: 3 Original: [7] http://goo.gl/NkK9FE On Reddit: [8] http://goo.gl/75zURt * The Type Theory Podcast, Episode 3: Dan Licata on Homotopy Type Theory Domain: typetheorypodcast.com, Score: 58, Comments: 17 Original: [9] http://goo.gl/z30wH5 On Reddit: [10] http://goo.gl/5KDPNu * Cabal 1.22 and cabal-install 1.22 Domain: groups.google.com, Score: 54, Comments: 3 Original: [11] http://goo.gl/WdxPu0 On Reddit: [12] http://goo.gl/ih07XV * [Haskell-cafe] The amount of CPP we have to use is getting out of hand Domain: haskell.org, Score: 51, Comments: 94 Original: [13] http://goo.gl/0OYZ7C On Reddit: [14] http://goo.gl/4QCAIc * Boston Haskell lightning talks: Rust, Phantoms, ATS, Freezing, Music, and Code reuse Domain: self.haskell, Score: 50, Comments: 8 Original: [15] http://goo.gl/TAjkMi On Reddit: [16] http://goo.gl/TAjkMi * Haskell for all: total-1.0.0: Exhaustive pattern matching using traversals, prisms, and lenses Domain: haskellforall.com, Score: 47, Comments: 9 Original: [17] http://goo.gl/TJDioE On Reddit: [18] http://goo.gl/sx7aMu * Mutation analysis for Haskell (alpha) Domain: self.haskell, Score: 46, Comments: 9 Original: [19] http://goo.gl/MByMzL On Reddit: [20] http://goo.gl/MByMzL * Simple Algebraic Data Types by Bartosz Milewski Domain: bartoszmilewski.com, Score: 45, Comments: 1 Original: [21] http://goo.gl/Ns3UjL On Reddit: [22] http://goo.gl/uuqCt2 * The Frank programming language Domain: homepages.inf.ed.ac.uk, Score: 42, Comments: 29 Original: [23] http://goo.gl/msxrp5 On Reddit: [24] http://goo.gl/0NPQYY * GHC Weekly News - 2015/01/07 Domain: ghc.haskell.org, Score: 42, Comments: 3 Original: [25] http://goo.gl/HVsDLU On Reddit: [26] http://goo.gl/JiMf4b * The Rust community grapples with the menace of ORPHAN INSTANCES Domain: discuss.rust-lang.org, Score: 42, Comments: 19 Original: [27] http://goo.gl/HIl68S On Reddit: [28] http://goo.gl/dUWa48 * The state and future of supercompilation in GHC. Domain: self.haskell, Score: 39, Comments: 10 Original: [29] http://goo.gl/e9FDLV On Reddit: [30] http://goo.gl/e9FDLV Top StackOverflow Questions * Implementation of null function votes: 18, answers: 2 Read on SO: [31] http://goo.gl/cVqJa3 * What is the type of this self-applying factorial function? votes: 17, answers: 3 Read on SO: [32] http://goo.gl/vQaeQ0 * Haskell fast concurrent queue votes: 17, answers: 3 Read on SO: [33] http://goo.gl/HdAlul * Ghc: partially compile Haskell code? votes: 13, answers: 1 Read on SO: [34] http://goo.gl/hS2QNQ * What is the type of return 5 in Haskell when no context is given? votes: 12, answers: 1 Read on SO: [35] http://goo.gl/IC08Sk * Is it possible to write fmap for this data type involving a type family? votes: 11, answers: 1 Read on SO: [36] http://goo.gl/6V5Mps * How to get cabal and nix work together votes: 11, answers: 1 Read on SO: [37] http://goo.gl/TOXNDv * What is the most general way to compute the depth of a tree with something like a fold? votes: 8, answers: 2 Read on SO: [38] http://goo.gl/vlcioF * What is exactly an indexed functor in Haskell and what are its usages? votes: 8, answers: 1 Read on SO: [39] http://goo.gl/10PK8U * Functor instance for generic polymorphic ADTs in Haskell? votes: 8, answers: 2 Read on SO: [40] http://goo.gl/Oh0uFp * Finite State Transducers in Haskell? votes: 7, answers: 1 Read on SO: [41] http://goo.gl/gu80ZL * Is it possible to encode a generic “lift” function in Haskell? votes: 7, answers: 2 Read on SO: [42] http://goo.gl/R9B8N5 * Haskell Expression Equivalents votes: 6, answers: 1 Read on SO: [43] http://goo.gl/t54YiS Until next time, [44]+Daniel Santa Cruz References 1. http://dev.stephendiehl.com/fun/ 2. http://www.reddit.com/r/haskell/comments/2regln/write_you_a_haskell/ 3. https://www.fpcomplete.com/blog/2015/01/announcing-lts-haskell-1-0 4. http://www.reddit.com/r/haskell/comments/2rapgt/announcing_lts_haskell_10/ 5. http://blog.nullspace.io/bond-oss.html 6. http://www.reddit.com/r/haskell/comments/2rxkmk/msft_open_sources_productio… 7. https://github.com/knupfer/haskell-emacs 8. http://www.reddit.com/r/haskell/comments/2sdvyu/haskellemacs_write_emacs_ex… 9. http://typetheorypodcast.com/2015/01/episode-3-dan-licata-on-homotopy-type-… 10. http://www.reddit.com/r/haskell/comments/2rnumy/the_type_theory_podcast_epi… 11. https://groups.google.com/forum/#!msg/haskell-cafe/rRbP9oJjOBc/J8lf_sGVl_oJ 12. http://www.reddit.com/r/haskell/comments/2rcuak/cabal_122_and_cabalinstall_… 13. https://www.haskell.org/pipermail/haskell-cafe/2015-January/117683.html 14. http://www.reddit.com/r/haskell/comments/2shv2d/haskellcafe_the_amount_of_c… 15. http://www.reddit.com/r/haskell/comments/2sn8la/boston_haskell_lightning_ta… 16. http://www.reddit.com/r/haskell/comments/2sn8la/boston_haskell_lightning_ta… 17. http://www.haskellforall.com/2015/01/total-100-exhaustive-pattern-matching.… 18. http://www.reddit.com/r/haskell/comments/2s1tfx/haskell_for_all_total100_ex… 19. http://www.reddit.com/r/haskell/comments/2rj5sw/mutation_analysis_for_haske… 20. http://www.reddit.com/r/haskell/comments/2rj5sw/mutation_analysis_for_haske… 21. http://bartoszmilewski.com/2015/01/13/simple-algebraic-data-types/ 22. http://www.reddit.com/r/haskell/comments/2sbl93/simple_algebraic_data_types… 23. http://homepages.inf.ed.ac.uk/slindley/papers/frankly-draft-march2014.pdf 24. http://www.reddit.com/r/haskell/comments/2rao0t/the_frank_programming_langu… 25. https://ghc.haskell.org/trac/ghc/blog/weekly20150107 26. http://www.reddit.com/r/haskell/comments/2rq6zc/ghc_weekly_news_20150107/ 27. http://discuss.rust-lang.org/t/orphan-rules/1322/4 28. http://www.reddit.com/r/haskell/comments/2shyfj/the_rust_community_grapples… 29. http://www.reddit.com/r/haskell/comments/2s97d0/the_state_and_future_of_sup… 30. http://www.reddit.com/r/haskell/comments/2s97d0/the_state_and_future_of_sup… 31. http://stackoverflow.com/questions/27941690/implementation-of-null-function 32. http://stackoverflow.com/questions/27814714/what-is-the-type-of-this-self-a… 33. http://stackoverflow.com/questions/27933941/haskell-fast-concurrent-queue 34. http://stackoverflow.com/questions/27780282/ghc-partially-compile-haskell-c… 35. http://stackoverflow.com/questions/27932794/what-is-the-type-of-return-5-in… 36. http://stackoverflow.com/questions/27936725/is-it-possible-to-write-fmap-fo… 37. http://stackoverflow.com/questions/27968909/how-to-get-cabal-and-nix-work-t… 38. http://stackoverflow.com/questions/27769688/what-is-the-most-general-way-to… 39. http://stackoverflow.com/questions/27771474/what-is-exactly-an-indexed-func… 40. http://stackoverflow.com/questions/27856974/functor-instance-for-generic-po… 41. http://stackoverflow.com/questions/27997155/finite-state-transducers-in-has… 42. http://stackoverflow.com/questions/28003135/is-it-possible-to-encode-a-gene… 43. http://stackoverflow.com/questions/27761821/haskell-expression-equivalents 44. https://plus.google.com/105107667630152149014/about

1 0

AVoCS 2015: First Call for Papers
by YuHui Lin 21 Jan '15

21 Jan '15

--------------------------------------------------------------------- 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(a)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.

1 0

CFP: CRV15 - 2nd Competition on Runtime Verification
by Yliès Falcone 20 Jan '15

20 Jan '15

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(a)imag.fr <mailto:crv15.chairs@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 <http://rv2015.conf.tuwien.ac.at/>. Expected Important Dates January 30, 2015: Declaration of intent (email: crv15.chairs(a)imag.fr <mailto:crv15.chairs@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

1 0

CFP Bx'15: 4th International Workshop on Bidirectional Transformations
by Alcino Cunha 19 Jan '15

19 Jan '15

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

1 0

Book announcement: Robert Kowalski, LOGIC FOR PROBLEM SOLVING, REVISITED
by Jon Sneyers 19 Jan '15

19 Jan '15

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.

1 0

CFW: The 5th International Conference on Current and Future Trends of ICT in Healthcare (ICTH)
by Nabeel Al-Qirim 17 Jan '15

17 Jan '15

*** 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(a)hct.ac.ae<mailto:zahoor.khan@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 [UAEU Logo] Tel: +971-3-7135531 Mobile: +971-507308705 Fax: +971-3-7672018 Email: nalqirim(a)uaeu.ac.ae<mailto:nalqirim@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.

1 0

CFP" The 5th International Conference on Current and Future Trends of ICT in Healthcare
by Nabeel Al-Qirim 17 Jan '15

17 Jan '15

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(a)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.

1 0