- Haskell - Haskell.org

Call for Papers (UTP 2016)
by Huibiao Zhu 07 Nov '15

07 Nov '15

Call for Papers UTP 2016 6th International Symposium on Unifying Theories of Programming June 45, 2016, Reykjavík, Iceland, Co-located with iFM 2016 http://utp2016.ecnu.edu.cn Overview Interest in the fundamental problem of the combination of formal notations and theories of programming has grown consistently in recent years. The theories define, in various different ways, many common notions, such as abstraction, refinement, choice, termination, feasibility, locality, concurrency and communication. Despite these differences, such theories may be unified in a way which greatly facilitates their study and comparison. Moreover, such a unification offers a means of combining different languages describing various facets and artifacts of software development in a seamless, logically consistent way. Hoare and He's Unifying Theories of Programming (UTP) is widely acknowledged as one of the most significant such unification approaches. Based on their pioneering work, the aims of the UTP Symposium series are to reaffirm the significance of the ongoing UTP project and to stimulate efforts to advance. The Symposium provides a focus for the sharing of results by those already actively contributing, and raises awareness of the benefits of such unifying theoretical frameworks among the wider computer science and software engineering communities. To this end the Symposium welcomes contributions on all the themes that can be related to the Unifying Theories of Programming. Venue and Event UTP 2016 will be held at Reykjavík, Iceland on 4 - 5 June 2016, co-located with iFM 2016. Important Dates Abstracts due: 19 February, 2016 Papers due: 4 March, 2016 Author notification: 15 April, 2016 Camera-ready for pre-proceedings: 29 April, 2016 Symposium: 4-5 June, 2016 Invited Speakers Tony Hoare (Microsoft Research, Cambridge, UK) Jifeng He (East China Normal University, China) PC Chairs Jonathan Bowen (London South Bank University) Huibiao Zhu (East China Normal University) Programme Committee: Ana Cavalcanti, University of York, United Kingdom. Yifeng Chen, Peking University, China. Andrew Butterfield, Trinity College Dublin, Ireland. Jeremy Gibbons, University of Oxford, United Kingdom. Lindsay Groves, Victoria University of Wellington, New Zealand. Walter Guttmann, University of Canterbury, New Zealand. Ian Hayes, University of Queensland, Austria. Jeremy Jacob, University of York, United Kingdom. Zhiming Liu, Birmingham City University, United Kingdom. David Naumann, Stevens Institute of Technology, USA. Marcel Oliveira, Universidade Federal do Rio Grande do Norte, Brazil. Shengchao Qin, Teesside University, United Kingdom. Georg Struth, University of Sheffield, United Kingdom. Jun Sun, Singapore University of Technology and Design, Singapore. Meng Sun, Peking University, China. Burkhart Wolff, University of Paris-Sud, France. Naijun Zhan, Chinese Academy of Sciences, China. Yongxin Zhao, East China Normal University, China. Frank Zeyda, Teesside University, United Kingdom. Submissions Papers may be up to 20 pages in length and should be prepared using LaTeX in Springer LNCS paper format. Submissions should be made through the UTP 2016 EasyChair site, https://www.easychair.org/conferences/?conf=utp2016 . Publication Symposium post-proceedings will appear in Springer's Lectures Notes in Computer Science, as in past editions of the Symposium. (To be confirmed.) Previous UTP Symposia UTP 2016 is the 6th symposium in the UTP series. The past UTP symposia were successfully held in Durham ('06), Dublin ('08), Shanghai ('10), Paris ('12), Singapore ('14).

1 0

CFP: 25th Int'l Conf. on Compiler Construction (CC) - *new deadline*
by Manuel Hermenegildo 03 Nov '15

03 Nov '15

[ Please forward. Apologies for any duplicates. ] ********************************************************************** CALL FOR PAPERS 25th International Conference on Compiler Construction (CC 2016) March 17-18 2016, Barcelona, Spain Co-located with CGO, HPCA, PPoPP, and EuroLLVM http://cc2016.eew.technion.ac.il/ ********************************************************************** Important dates --------------- Abstracts due: 23 November 2015 (updated) Papers due: 30 November 2015 (updated) Author notification: 27 January 2016 Camera ready versions: 10 February 2016 Conference: 17-18 March 2016 Information ----------- The International Conference on Compiler Construction (CC) is interested in work on processing programs in the most general sense: analyzing, transforming or executing input that describes how a system operates, including traditional compiler construction as a special case. Original contributions are solicited on the topics of interest which include, but are not limited to: - Compilation and interpretation techniques, including program representation, analysis, and transformation; code generation and optimization; - Run-time techniques, including memory management, virtual machines, and dynamic and just-in-time compilation; - Programming tools, including refactoring editors, checkers, verifiers, compilers, debuggers, and profilers; - Techniques for specific domains, such as secure, parallel, distributed, embedded or mobile environments; - Design and implementation of novel language constructs and programming models. CC 2016 is the 25th edition of the conference. It will be co-located with CGO, HPCA, PPoPP, and EuroLLVM on March 17-18 2016, in Barcelona, Spain. Submission ---------- Papers should be submitted electronically via EasyChair at https://easychair.org/conferences/?conf=cc2016. Papers must be written in English and be submitted in pdf in ACM SIGPLAN proceedings format (http://www.sigplan.org/Resources/Author/, using the default 9pt font size). The proceedings will be published in the ACM Digital Library and will be made available freely for the period around the conference. Both regular papers (up to 11 pages) and tool papers (up to 2 + 3 pages), are invited. In tool papers the first part (2 pages) should describe the tool and the second (3 pages) explain the contents of the demo that will be presented with examples and screenshots. Submissions must adhere strictly to the page limits, including bibliography, figures, or appendices. Submissions that are clearly too long may be rejected immediately. Additional material intended for reviewers but not for publication in the final version ( listings, data, proofs) may be included in a clearly marked appendix. Submitted papers must be unpublished and not be submitted for publication elsewhere. A condition of submission is that, if the submission is accepted, one of the authors attends the conference to give the presentation. Organizers ---------- General Chair Ayal Zaks Intel and Technion, Israel Program Committee Chair Manuel Hermenegildo IMDEA SW Institute and Technical U. of Madrid, Spain Program Committee Raj Barik, Intel Labs, Santa Clara, CA Uday Bondhugula, IIS Bangalore Matthew Flatt U. of Utah Maria Garzaran, U. of Illinois UC and Intel Laurie Hendren, McGill U. Manuel Hermenegildo, IMDEA and T.U. Madrid Xavier Leroy, INRIA Ondrej Lhotak, U of Waterloo Francesco Logozzo, Facebook Antoine Mine, Ecole Normale Superieure, Paris Jose Morales, IMDEA SW Diego Novillo, Google Jens Palsberg, UCLA Xipeng Shen, North Carolina State University Vijay Sundaresan, IBM Walid Taha, Halmstadt U. Zheng Wang, Lancaster U. Steering Committee Koen De Bosschere, Ghent U. Bjoern Franke, U. of Edinburgh Michael O'Boyle, U. of Edinburgh Albert Cohen, INRIA Web site http://cc2016.eew.technion.ac.il/

1 0

ANN: dimensional-1.0 for statically checked physical dimensions
by Douglas McClean 02 Nov '15

02 Nov '15

Hello Haskellers, Björn Buckwalter and I are pleased to announce the release to Hackage of version 1.0 of the dimensional library, which statically tracks physical dimensions in Haskell code, as in the example below, preventing dimensional mistakes and requiring explicit documentation of units where raw values are exchanged with external systems. {-# LANGUAGE NoImplicitPrelude #-} module Example where import Numeric.Units.Dimensional.Prelude import Numeric.Units.Dimensional.NonSI -- a function that computes with dimensional values escapeVelocity :: (Floating a) => Mass a -> Length a -> Velocity a escapeVelocity m r = sqrt (two * g * m / r) where two = 2 *~ one g = 6.6720e-11 *~ (newton * meter ^ pos2 / kilo gram ^ pos2) >>> let re = 6372.792 *~ kilo meter >>> let me = 5.9742e24 *~ kilo gram >>> let ve = escapeVelocity me re >>> ve -- Show defaults to SI base units 11184.537332296259 m s^-1 >>> showIn (mile / hour) ve -- but we can show in other units "25019.09746845083 mi / h" >>> let vekph = ve /~ (kilo meter / hour) -- and extract raw values when needed 40264.33439626653 This version is a major upgrade, consolidating features from the classic dimensional package and the dimensional-tf package. It takes advantage of the DataKinds and ClosedTypeFamilies extensions in GHC 7.8 to offer even safer types with a nearly identical interface. Also included: - Units carry names which can be combined by multiplication, division, and (only where appropriate) application of metric prefixes. You can use expressions like: showIn (milli meter / second) timeTravelSpeed to get "39339.52 mm / s" - Exact conversion factors between units are available, even when those conversion factors involve multiples of pi, thanks to the exact-pi library - The dimensionally-polymorphic siUnit term represents the coherent SI base unit of any dimension, which can be convenient for wrapping and unwrapping quantities in some contexts. - Storable and Unbox instances for Quantity types are available thanks to the efforts of Alberto Valverde González. - The Numeric.Units.Dimensional.Dynamic module offers types for safely manipulating quantities and units whose dimensions are not known statically. Also available is a term-level representation for dimensions. - Several other missing instances have been provided, including Bounded, Data, and Typeable instances. - New commonly used US customary units have been added, including US fluid measures and the knot. We have several other development efforts underway, including a type-checker plugin inspired by Adam Gundry's work, and on which he has provided valuable advice, which we hope will lead to a clean library for dimensionally typed linear algebra. Comments and contributions are welcome at http://github.com/bjornbm/dimensional-dk. (The repository name is a carryover from the name we were using while developing this version.) One particularly welcome contribution would be assistance with developing a patch for GHC issue 10391 <https://ghc.haskell.org/trac/ghc/ticket/10391>. Cheers, Doug McClean

1 0

ANN: cereal-0.5.0.0
by Trevor Elliott 02 Nov '15

02 Nov '15

Hi Everyone, I'm happy to announce the release of version 0.5.0.0 of the cereal serialization library. This release comes with two breaking changes: * The encoding of Float and Double has switched from using `encodeFloat` to using the Data.Serialize.IEEE754 module * The Builder module has been removed in favor of the implementation in bytestring Happy hacking! --trevor

1 0

Phd position starting in April 2016
by Clare Martin 30 Oct '15

30 Oct '15

*Department of Computing and Communication Technologies* *3 year full-time funded PhD Scholarship* 3 years full-time fees will be paid by the University. Bursary: £10,500 pa (without inflation increase). Start date: April 2016 Eligibility: Home/EU and International students *Deadline: 14 December 2015* *Interview date: *Interviews will be held in week beginning 11 January 2016 The Department of Computing and Communication Technologies at Oxford Brookes University is pleased to offer a three year full-time PhD Scholarship to a new student commencing in April of 2016 The successful applicant will receive an annual bursary of £10,500 for three years (with no inflation increase) with fees paid by the University. Topic of Research:* Adaptive Technology for Healthcare* The topic of this Phd is the development of ontologies for healthcare that capture diverse protocols, terminologies and standards. The vocabulary associated with any branch of medicine is huge, including symptoms, scientific names and medication for example. The problem of managing such vast, growing terminologies in medicine is a core challenge for medical informatics. One way to address this problem is to translate the meaning of the terms into a language that can be processed by a computer, i.e. an ontology. The W3C standard language for ontology development is OWL 2, and important medical standards (e.g. Snomed CT, NCI Thesaurus) have been ported to OWL. This research will include the development and verification of an ontology that can be used for any medical application and that is compatible with such established standards. An application of the result will be to facilitate interoperability in exchanging medical information between computerized health systems. We are looking for enthusiastic candidates with: · a solid background in Computer Science, evidenced by a good BSc: 2.1 or above and/or an MSc degree; · a solid background in Mathematics; knowledge of software engineering methods; · an appreciation of empirical techniques; · good communication and collaboration skills. To request an application pack from Mrs Anna Guarnieri, email *tdestudentships@brookes.ac.uk* <tdestudentships(a)brookes.ac.uk>, quoting *Adaptive Technology for Healthcare* in the subject line. Fully completed applications must be sent to *tdestudentships@brookes.ac.uk* <tdestudentships(a)brookes.ac.uk> - by *Midday on Monday 14th December 2015.*If you have any queries about the project, please contact: Clare Martin cemartin(a)brookes.ac.uk

1 0

2nd CfP: Haskell in Leipzig (Germany) 2015
by Johannes Waldmann 29 Oct '15

29 Oct '15

HaL-10 Haskell in Leipzig (December 4/5) http://nfa.imn.htwk-leipzig.de/HAL2015/ We are proud to present Joachim Breitner (nomeata) as our invited speaker. The submission deadline (November 2) is approaching! See you - Johannes Waldmann (PC chair)

1 0

Faculty Position in Secure and Trustworthy Cyberspace
by Andrew Tolmach 29 Oct '15

29 Oct '15

The Computer Science Department at Portland State University (PSU) is seeking to hire faculty to work in the broad area of secure and trustworthy cyberspace—including researchers who are applying formal methods, theorem proving, or programming languages to security problems. We invite applications for multiple tenure-track assistant professor faculty positions to begin Fall 2016. Exceptional applicants at other ranks will also be considered. Other specific areas of computer science under consideration are: artificial intelligence; machine learning; data mining; data-intensive systems; and networks and systems of connected things. Our department currently has 24 tenure-track faculty members and offers BS, MS, and PhD degrees. Portland State is Oregon’s largest university, and is located in downtown Portland, Oregon, offering proximity to world-class restaurants, cultural venues, exceptional outdoor activities, and collaborations with Portland’s burgeoning software industry. For more information and instructions on how to apply, please visit http://www.pdx.edu/computer-science/open-faculty-positions <http://www.pdx.edu/computer-science/open-faculty-positions>.

1 0

Call for Contributions: BOB 2016 - Berlin, Feb 19, 2016
by Stefan Wehr 28 Oct '15

28 Oct '15

NOTE: Deadline is THIS Friday (October 30, 2015) BOB Conference 2016 "What happens when we use what's best for a change?" http://bobkonf.de/2016/en/cfp.html Berlin, February 19 Call for Contributions Deadline: October 30, 2015 You drive advanced software engineering methods, implement ambitious architectures and are open to cutting-edge innovation? Attend this conference, meet people that share your goals, and get to know the best software tools and technologies available today. We strive to offer a day full of new experiences and impressions that you can use to immediately improve your daily life as a software developer. If you share our vision and want to contribute, submit a proposal for a talk or tutorial! Topics ------ We are looking for talks about best-of-breed software technology, e.g.: - functional programming - reactive programming - persistent data structures and databases - types - formal methods for correctness and robustness - ... everything really that isn’t mainstream, but you think should be. Presenters should provide the audience with information that is practically useful for software developers. This could take the form of e.g.: - experience reports - introductory talks on technical background - demos and how-tos Requirements ------------ We accept proposals for presentations of 45 minutes (40 minutes talk + 5 minutes questions), as well as 90 minute tutorials for beginners. The language of presentation should be either English or German. Your proposal should include (in your presentation language of choice): - an abstract of max. 1500 characters. - a short bio/cv - contact information (including at least email address) - a list of 3-5 concrete ideas of how your work can be applied in a developer's daily life - additional material (websites, blogs, slides, videos of past presentations, …) Submit here: https://docs.google.com/forms/d/1IrCa3ilxMrO2h1G1WC4ywoxdz8wohxaPW3dfiB0cq-… Organisation ------------ - submit your proposal here: https://docs.google.com/forms/d/1IrCa3ilxMrO2h1G1WC4ywoxdz8wohxaPW3dfiB0cq-… - direct questions to `bobkonf at active minus group dot de` - proposal deadline: **October 30, 2015** - notification: November 15, 2015 - program: December 1, 2015 NOTE: The conference fee will be waived for presenters, but travel expenses will not be covered. Program Committee ----------------- (more information here: http://bobkonf.de/2016/programmkomitee.html) - Matthias Fischmann, zerobuzz UG - Matthias Neubauer, SICK AG - Nicole Rauch, Softwareentwicklung und Entwicklungscoaching - Michael Sperber, Active Group - Stefan Wehr, factis research Scientific Advisory Board ------------------------- - Annette Bieniusa, TU Kaiserslautern - Peter Thiemann, Uni Freiburg

1 0

ICFP 2016 Call for Workshop and Co-located Event Proposals
by Lindsey Kuper 23 Oct '15

23 Oct '15

         CALL FOR WORKSHOP AND CO-LOCATED EVENT PROPOSALS                             ICFP 2016  21st ACM SIGPLAN International Conference on Functional Programming                      September 18-24, 2016                           Nara, Japan                http://icfpconference.org/icfp2016/ The 21st ACM SIGPLAN International Conference on Functional Programming will be held in Nara, Japan on September 18-24, 2016. ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. Proposals are invited for workshops (and other co-located events, such as tutorials) to be affiliated with ICFP 2016 and sponsored by SIGPLAN. These events should be less formal and more focused than ICFP itself, include sessions that enable interaction among the attendees, and foster the exchange of new ideas. The preference is for one-day events, but other schedules can also be considered. The workshops are scheduled to occur on September 18 (the day before ICFP) and September 22-24 (the three days after ICFP). ---------------------------------------------------------------------- Submission details  Deadline for submission:     November 21, 2015  Notification of acceptance:  December 20, 2015 Prospective organizers of workshops or other co-located events are invited to submit a completed workshop proposal form in plain text format to the ICFP 2016 workshop co-chairs (Andres Loeh and Nicolas Wu), via email to     icfp2016-workshops(a)googlegroups.com by November 21, 2015. (For proposals of co-located events other than workshops, please fill in the workshop proposal form and just leave blank any sections that do not apply.) Please note that this is a firm deadline. Organizers will be notified if their event proposal is accepted by December 20, 2015, and if successful, depending on the event, they will be asked to produce a final report after the event has taken place that is suitable for publication in SIGPLAN Notices. The proposal form is available at: http://www.icfpconference.org/icfp2016-files/icfp16-workshops-form.txt Further information about SIGPLAN sponsorship is available at: http://www.sigplan.org/Resources/Proposals/Sponsored/ ---------------------------------------------------------------------- Selection committee The proposals will be evaluated by a committee comprising the following members of the ICFP 2016 organizing committee, together with the members of the SIGPLAN executive committee.  Workshop Co-Chair: Andres Loeh                        (Well-Typed LLP)  Workshop Co-Chair: Nicolas Wu                  (University of Bristol)  General Co-Chair : Jacques Garrigue                (Nagoya University)  General Co-Chair : Gabriele Keller     (University of New South Wales)  Program Chair:     Eijiro Sumii                    (Tohoku University) ---------------------------------------------------------------------- Further information Any queries should be addressed to the workshop co-chairs (Andres Loeh and Nicolas Wu), via email to icfp2016-workshops(a)googlegroups.com

1 0

PhD and Postdoc Positions - KWARC, Jacobs University Bremen
by Michael Kohlhase 21 Oct '15

21 Oct '15

The KWARC group [1] at Jacobs University Bremen [2] is looking for Ph.D. candidates and PostDocs in multiple projects, e.g. [3,4]. See also http://www.jacobs-university.de/jobs/phd-and-postdoc-positions-kwarc-group Jacobs University Bremen is a private, English-speaking research university in Germany. The KWARC group conducts research on the representation and management of formal and informal knowledge in the STEM disciplines (Science, Technology, Engineering, and Mathematics). Our interests cover the whole range from formal to informal knowledge and include - logics and foundations of mathematics - formalizing/verifying knowledge - informal and semi-formal documents (specifications, papers, web pages, etc.) - domain-specific applications (spreadsheets, CAD, etc.) - knowledge management (search, user interfaces, system integration, etc.) We build systems that cover these diverse areas uniformly and integrate across domains, languagues, and tools, always combinng logical correctness, wide-range applicability, and large-scale inter-operability. Interested candidates can introduce themselves or ask for further information by email to Prof. Michael Kohlhase <m.kohlhase(a)jacobs-university.de> Applications (including the usual documents) should be directed to the same email address. ------------------------------ We are generally flexible to develop PhD topics together with strong candidates. Some example PhD topics that could be assigned within these positions are given below. 1) A Universal Framework for Computation Our frameworks and infrastructure are already very strong for declarative, logical, and informal/narrative content, but lack deep support for computational content such as programming languages, algorithms, and libraries. Within this PhD thesis, we hope extend our OMDoc/MMT framework toward computational content. This would in particular include case studies in the OpenDreamKit project (e.g., programming languages like Scala or Python, computer algebra systems like SageMath or GAP, and their libraries). 2) Integrating Libraries and Databases of Mathematical Knowledge Recently computational mathematicians have built more and more libraries of mathematical objects and models. Examples are the Online Encyclopedia of Integer Sequences (OEIS), the FindStat library of combinatorial objects, the Library of L-Functions and Modular Forms (LMFDB), or the Math Geneology Project. In this PhD thesis, we want to extend our OMDoc/MMT framework with primitives for representing such libraries uniformly as theory graphs and extend our knowledge management algorithms to cope with these large data volumes. 3) Knowledge Management for Cognitive Enigineering Designing technical artifacts such as robots, cranes, or pens is a knowledge-based, document-centered process (see DIN 6221). In this PhD thesis, we want to apply formal and informal knowledge management (theory-graph) methods and active document technologies to the engineering process and the background knowledge. We want to build semantic sextensions to CAD systems and Office suites via our semantic alliance framework to allow Engineers to access the knowledge management solutions from their usual working environment. ------------------------------ [1] http://kwarc.info [2] http://www.jacobs-university.de [3] https://kwarc.info/projects/OAF The Open Archive of Formalizations will provide an open infrastructure to translate and share formalized mathematical knowledge such as theories, definitions, and proofs between mutually incompatible foundations (e.g., set theory, higher-order logic, constructive type theory, etc.), library formats, and library structures. The OAF system will be based on a uniform foundation-independent representation format for libraries, which allows formalizing the logical foundations alongside the libraries and thus acts as framework for aligning libraries. [4] http://opendreamkit.org/ The Open Digital Research Environment Toolkit for the Advancement of Mathematics will deliver a flexible toolkit enabling research groups to set up Virtual Research Environments, customised to meet the varied needs of research projects in pure mathematics and applications, and supporting the full research life-cycle from exploration, through proof and publication, to archival and sharing of data and code, including popular tools such as LinBox, MPIR, Sage(sagemath.org), GAP, PariGP, LMFDB, and Singular. -- ---------------------------------------------------------------------- Prof. Dr. Michael Kohlhase, Office: Research 1, Room 168 Professor of Computer Science Campus Ring 1, Jacobs University Bremen D-28759 Bremen, Germany tel/fax: +49 421 200-3140/-493140 skype: m.kohlhase m.kohlhase(a)jacobs-university.de http://kwarc.info/kohlhase ----------------------------------------------------------------------

1 0