From trevor at galois.com Mon Nov 2 19:30:13 2015 From: trevor at galois.com (Trevor Elliott) Date: Mon, 02 Nov 2015 19:30:13 +0000 Subject: [Haskell] ANN: cereal-0.5.0.0 Message-ID: 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: From douglas.mcclean at gmail.com Mon Nov 2 19:38:50 2015 From: douglas.mcclean at gmail.com (Douglas McClean) Date: Mon, 2 Nov 2015 14:38:50 -0500 Subject: [Haskell] ANN: dimensional-1.0 for statically checked physical dimensions Message-ID: 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 . Cheers, Doug McClean -------------- next part -------------- An HTML attachment was scrubbed... URL: From manuel.hermenegildo at imdea.org Tue Nov 3 19:22:02 2015 From: manuel.hermenegildo at imdea.org (Manuel Hermenegildo) Date: Tue, 3 Nov 2015 20:22:02 +0100 Subject: [Haskell] CFP: 25th Int'l Conf. on Compiler Construction (CC) - *new deadline* Message-ID: <22073.2394.345117.790838@dhcp-17-8.imdea> [ 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/ From hbzhu at sei.ecnu.edu.cn Sat Nov 7 13:25:09 2015 From: hbzhu at sei.ecnu.edu.cn (Huibiao Zhu) Date: Sat, 7 Nov 2015 21:25:09 +0800 Subject: [Haskell] Call for Papers (UTP 2016) Message-ID: <002501d1195f$b9b6af80$2d240e80$@sei.ecnu.edu.cn> Call for Papers UTP 2016 6th International Symposium on Unifying Theories of Programming June 4?5, 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). -------------- next part -------------- An HTML attachment was scrubbed... URL: From tom.schrijvers at cs.kuleuven.be Mon Nov 9 11:07:13 2015 From: tom.schrijvers at cs.kuleuven.be (Tom Schrijvers) Date: Mon, 9 Nov 2015 12:07:13 +0100 Subject: [Haskell] Leuven Haskell User Group: Season 2 Message-ID: Dear Haskellers, Season 2 of the Leuven Haskell User Group starts on November 17. Join us for an introductory talk on type classes. Everyone is welcome. For more information: http://www.meetup.com/Leuven-Haskell-Users-Group/ http://groups.google.com/forum/#!forum/leuven-haskell See you there! -- prof. dr. ir. Tom Schrijvers Research Professor KU Leuven Department of Computer Science Celestijnenlaan 200A 3001 Leuven Belgium Phone: +32 16 327 830 http://people.cs.kuleuven.be/~tom.schrijvers/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From johannes.waldmann at htwk-leipzig.de Fri Nov 13 13:11:13 2015 From: johannes.waldmann at htwk-leipzig.de (Johannes Waldmann) Date: Fri, 13 Nov 2015 14:11:13 +0100 Subject: [Haskell] Registration now open: Haskell in Leipzig (Germany) December 4/5 Message-ID: <5645E171.4050508@htwk-leipzig.de> Register now - for Amazing Talks and Thrilling Tutorials: HaL-10 Haskell in Leipzig December 4/5 http://nfa.imn.htwk-leipzig.de/HAL2015/ Opens with an invited talk by Joachim Breitner on MonadFix, closes with a presentation of Liquid Haskell by Michael Beaumont. - Johannes Waldmann. PS: HaL-1 (in 2006, on quite the same day) also had a MonadFix talk. Well of course, this has something to do with recurrence... From dom.orchard at gmail.com Fri Nov 20 13:53:52 2015 From: dom.orchard at gmail.com (Dominic Orchard) Date: Fri, 20 Nov 2015 13:53:52 +0000 Subject: [Haskell] Call for papers: PLACES 2016 Message-ID: <564F25F0.4020900@gmail.com> PLACES 2016 ? Call for papers http://places16.by.di.fc.ul.pt 9th Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software Co-located with ETAPS 2016, Eindhoven, The Netherlands *********************************************************** Modern hardware platforms, from the very small to the very large, increasingly provide parallel computing resources which software may use to maximise performance. Many applications therefore need to make effective use of tens, hundreds, and even thousands of compute nodes. Computation in such systems is thus inherently concurrent and communication centric. Effectively programming such applications is challenging; performance, correctness, and scalability are difficult to achieve. Various programming paradigms and methods have emerged to aid this task, including structured imperative concurrent programming, stream-based programming, parallel skeletons, concurrent functions with asynchronous message passing, automatic parallelisation, and the use of types to describe communications and data structures (such as session and linear types), to name but a few. To fully exploit a (possibly heterogeneous) parallel computing environment often requires these approaches to be combined, depending on the shape of the data and control flow. All the while, the underlying runtime environment must ensure seamless execution without relying on differences in available resources such as the number of cores. The development of effective programming methodologies for this increasingly parallel landscape therefore demands exploration and understanding of a wide variety of foundational and practical ideas. This workshop offers a forum where researchers from different fields can exchange new ideas on this key challenge to modern and future programming- where concurrency and distribution are the norm rather than a marginal concern. Submissions are invited in the general area of programming language approaches to concurrency, communication and distribution, ranging from foundational issues, through language implementations, to applications (such as scientific computing) and case studies. Specific topics include, but are not limited to: * Design and implementation of programming languages with first class support for concurrency and communication * Behavioural types, including session types * Concurrent data types, objects and actors * Verification and program analysis methods for concurrent and distributed software * Runtime systems for scalable management of concurrency and resource allocation * High-level programming abstractions addressing security concerns in concurrent and distributed programming * Multi- and many-core programming models, including methods for harnessing GPUs and other accelerators * Memory models for concurrent programming on relaxed-memory architectures * Integration of sequential and concurrent programming techniques * Use of message passing in systems software * Interface languages for communication and distribution * Novel programming methodologies for sensor networks * Programming language approaches to web services * Concurrency and communication in event processing and business process management Papers are welcome which present novel and valuable ideas as well as experiences. Submissions should be (at most) 6-page extended abstracts in EPTCS format and can also include an appendix of up to 4 pages. An abstract should be registered via the EasyChair submission site (https://easychair.org/conferences/?conf=places16) by January 8th with the paper submitted by January 15th (anywhere-on-Earth). There will be a post-proceedings special issue in JLAMP (Journal of Logic and Algebraic Methods) after the workshop which will be open to anyone (with a further round of reviewing). Abstract submission: 8 January 2016 Paper submission: 15 January 2016 Notification: 12 February 2016 Camera-ready copy: 24 February 2016 ETAPS early-registration deadline: 1 March 2016 PLACES workshop: 8 April 2016 Submission deadlines are anywhere on Earth. Website: http://places16.by.di.fc.ul.pt Programme chairs: Dominic Orchard, Nobuko Yoshida Programme committee: * Francisco Martins, University of Lisbon * Heather Miller, EPFL * Fabrizio Montesi, University of Southern Denmark * Dominic Orchard, University of Cambridge / Imperial College London (co-chair) * Josef Svenningsson, Chalmers * Francesco Tiezzi, University of Camerino * Bernardo Toninho, Imperial College London * Steven Wright, University of Warwick * Nobuko Yoshida, Imperial College London (co-chair) * Lukasz Ziarek, University at Buffalo Organising committee: Simon Gay, Alan Mycroft, Vasco T. Vasconcelos, Nobuko Yoshida From johnw at newartisans.com Fri Nov 20 17:44:00 2015 From: johnw at newartisans.com (John Wiegley) Date: Fri, 20 Nov 2015 09:44:00 -0800 Subject: [Haskell] ANN: linearscan, linearscan-hoopl 1.0.0 Message-ID: linearscan[1] is a linear scan register allocator[2], written in Coq[3], and extracted to Haskell, as a library for Haskell programs that need to allocate registers. It may also be used directly from Coq. This project is the result of a year-long effort, funded by BAE Systems[4], to explore the application of dependent-types and mathematical verification to a typical engineering task. During the course of construction, several hundred theorems about the code were proven -- although exhaustive coverage was not, in the end, achievable given our time constraints. To remedy this, and as a test of the extraction to Haskell, an optional runtime verifier was built to certify the resulting allocations. Coq 8.5b2[5] was used, as well as the ssreflect[6] library created for that version[7]. linearscan further relies on another library, coq-haskell[8], that I created to facilitate inter-operation between Haskell and Coq. For those using Hoopl[9] to represent program graphs, incorporating linearscan is quite easy: provide an instance of NodeAlloc using the linearscan-hoopl[10] library. Examples of doing so are provided in the test suite for that library. The allocation algorithm implemented by this library was first written in Java by Hanspeter M?ssenb?ck and Michael Pfeiffer[11], and later improved upon by Christian Wimmer[12], whose master's thesis provided the specification for our implementation. John Wiegley BAE Systems Footnotes: [1] http://hackage.haskell.org/package/linearscan [2] http://www.cs.ucla.edu/~palsberg/course/cs132/linearscan.pdf [3] https://coq.inria.fr/ [4] http://www.baesystems.com/en-us/our-company/inc-businesses/electronic-systems/research-advanced-development/about-r-and-ad [5] https://coq.inria.fr/news/125.html [6] http://ssr.msr-inria.inria.fr/ [7] http://ssr.msr-inria.inria.fr/FTP/ [8] https://github.com/jwiegley/coq-haskell [9] https://hackage.haskell.org/package/hoopl [10] http://hackage.haskell.org/package/linearscan-hoopl [11] http://dl.acm.org/citation.cfm?id=647478.727924 [12] http://www.christianwimmer.at/Publications/Wimmer04a/ From ky3 at atamo.com Fri Nov 20 17:53:10 2015 From: ky3 at atamo.com (Kim-Ee Yeoh) Date: Sat, 21 Nov 2015 00:53:10 +0700 Subject: [Haskell] On Hiatus Until January 2016: Haskell Weekly News Message-ID: Regrettably, I must announce that Haskell Weekly News will go on hiatus until the new year. I recognize that the last issue was back in September. It's been said that "The more a man possesses over and above what he uses, the more careworn he becomes." In my case, mundane possessions have indeed insisted on being attended to. I wish every reader a fine holiday season. -- Kim-Ee Editor of Haskell Weekly News -------------- next part -------------- An HTML attachment was scrubbed... URL: From johnw at newartisans.com Fri Nov 20 21:13:51 2015 From: johnw at newartisans.com (John Wiegley) Date: Fri, 20 Nov 2015 13:13:51 -0800 Subject: [Haskell] [Coq-Club] ANN: linearscan, linearscan-hoopl 1.0.0 In-Reply-To: (Beta Ziliani's message of "Fri, 20 Nov 2015 17:03:33 -0300") References: Message-ID: >>>>> Beta Ziliani writes: > I'd be interested to know what was the outcome of the project from the point > of view of BEA Systems. Is there any report about it? >From BAE's point of view, we gained some industrial perspective. Separately, I have prepared an experience report that is currently seeking a venue. John From jgalt at centromere.net Fri Nov 20 22:18:53 2015 From: jgalt at centromere.net (John Galt) Date: Fri, 20 Nov 2015 17:18:53 -0500 Subject: [Haskell] ANN: cacophony 0.4.0, pipes-cacophony 0.1.2 Message-ID: <20151120171853.477c2a69@centromere.net> cacophony[1] is a library which implements the Noise[2] protocol. Noise is a framework for cryptographic protocols based on ECDH key agreement authored by Trevor Perrin. pipes-cacophony[3] builds on cacophony to provide pipes that facilitate key agreement and secure messaging (in conjunction with, for example, pipes-network). -- John [1] http://hackage.haskell.org/package/cacophony [2] https://github.com/trevp/noise/blob/master/noise.md [3] http://hackage.haskell.org/package/pipes-cacophony From mihai.maruseac at gmail.com Sat Nov 21 18:13:36 2015 From: mihai.maruseac at gmail.com (Mihai Maruseac) Date: Sat, 21 Nov 2015 13:13:36 -0500 Subject: [Haskell] NNOUNCE: Haskell Communities and Activities Report (29th ed., November 2015) Message-ID: On behalf of all the contributors, we are pleased to announce that the Haskell Communities and Activities Report (29th edition, November 2015) is now available, in PDF and HTML formats: http://haskell.org/communities/11-2015/report.pdf http://haskell.org/communities/11-2015/html/report.html Many thanks go to all the people that contributed to this report, both directly, by sending in descriptions, and indirectly, by doing all the interesting things that are reported. We hope you will find it as interesting a read as we did. If you have not encountered the Haskell Communities and Activities Reports before, you may like to know that the first of these reports was published in November 2001. Their goal is to improve the communication between the increasingly diverse groups, projects, and individuals working on, with, or inspired by Haskell. The idea behind these reports is simple: Every six months, a call goes out to all of you enjoying Haskell to contribute brief summaries of your own area of work. Many of you respond (eagerly, unprompted, and sometimes in time for the actual deadline) to the call. The editors collect all the contributions into a single report and feed that back to the community. When we try for the next update, six months from now, you might want to report on your own work, project, research area or group as well. So, please put the following into your diaries now: ======================================== End of March 2015: target deadline for contributions to the May 2015 edition of the HCAR Report ======================================== Unfortunately, many Haskellers working on interesting projects are so busy with their work that they seem to have lost the time to follow the Haskell related mailing lists and newsgroups, and have trouble even finding time to report on their work. If you are a member, user or friend of a project so burdened, please find someone willing to make time to report and ask them to "register" with the editors for a simple e-mail reminder in March (you could point us to them as well, and we can then politely ask if they want to contribute, but it might work better if you do the initial asking). Of course, they will still have to find the ten to fifteen minutes to draw up their report, but maybe we can increase our coverage of all that is going on in the community. Feel free to circulate this announcement further in order to reach people who might otherwise not see it. Enjoy! Mihai Maruseac -- Mihai Maruseac (MM) "If you can't solve a problem, then there's an easier problem you can solve: find it." -- George Polya From jeremy.gibbons at cs.ox.ac.uk Sun Nov 22 12:02:09 2015 From: jeremy.gibbons at cs.ox.ac.uk (Jeremy Gibbons) Date: Sun, 22 Nov 2015 12:02:09 +0000 Subject: [Haskell] SIGPLAN John C Reynolds Doctoral Dissertation Award Message-ID: Dear All, I would like to draw your attention to the SIGPLAN John C. Reynolds Doctoral Dissertation Award. If you are (or will be) a 2015 PhD graduate with a great thesis or a supervisor of such a graduate can I suggest you consider applying? Obtaining such an award makes a person stand out when applying for positions. The nomination process is straightforward and nominations are due on the 5th of January. Details of the award can be found at http://www.sigplan.org/Awards/Dissertation/ . If you have any questions, please contact Susan Eisenbach (CC'd). Cheers, Jeremy Jeremy.Gibbons at cs.ox.ac.uk Oxford University Department of Computer Science, Wolfson Building, Parks Road, Oxford OX1 3QD, UK. +44 1865 283521 http://www.cs.ox.ac.uk/people/jeremy.gibbons/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From manuel.hermenegildo at imdea.org Sun Nov 22 12:31:06 2015 From: manuel.hermenegildo at imdea.org (Manuel Hermenegildo) Date: Sun, 22 Nov 2015 13:31:06 +0100 Subject: [Haskell] CFP: 25th Int'l Conf. on Compiler Construction (CC) - Final Call Message-ID: <22097.46474.306319.45721@gazelle.local> [ Please forward. Apologies for any duplicates. ] ********************************************************************** FINAL 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 Papers due: 30 November 2015 (any time zone) 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/ From thormichael at gmail.com Mon Nov 23 01:22:31 2015 From: thormichael at gmail.com (=?iso-8859-1?Q?Thor_Michael_St=F8re?=) Date: Mon, 23 Nov 2015 02:22:31 +0100 Subject: [Haskell] ANN: HaskRel; Employing GHC as a DBMS with support for the relational algebra Message-ID: <3144C46F-4621-4E0A-9692-9BFEEF9BAF8C@gmail.com> Hello, After much scratching of my head over intricate parts of this "Haskell" thing I'm happy to announce that I've finally released my first effort in it: HaskRel. Overview -------- Because I've spent quite a bit of time on database prompts I thought it would be a fun exercise to see how much GHC can be made to operate like a DBMS, and how much of the relational model of database management (as defined by Chris Date et al. today) I'm able to make it accommodate. I'm pleased to register that the relational algebra, base variables and assignment works as one would expect at a database prompt. It does not qualify as an actual RDBMS (unsurprisingly), since it doesn't implement many other things that are required for it to be a proper RDBMS, either because I haven't gotten around to it or they cannot be implemented in Haskell. I've put the source up on GitHub and published it on Hackage: Hackage: http://hackage.haskell.org/package/HaskRel GitHub: https://github.com/thormick/HaskRel/tree/master/HaskRel HaskRel employs a Data.Set of Data.HList.Record as a relation type, for which it defines "Relation" as a synonym. It supports base variables (files) of this type, and implements the functions of the relational algebra such that they can be expressed upon both constants or literal values, upon variables, and upon expressions on variables. Example ------- The following is a minimal definition of a database with a single relation variable, "sp": module MiniDB where import Data.HList.CommonMain import Database.HaskRel.RDBMS sp :: Relvar '[Attr "sno" String, Attr "pno" String, Attr "qty" Integer] sp = Relvar "SP.rv" "Attr" has been defined as a synonym for "Data.Tagged.Tagged", because that is employed to represent what are known as attributes in relational theory. Loading this in GHCi we can first create a relation constant, do some relational assignment, and print the results (pardon the long lines): *MiniDB> let s = ( relation' [ ( "S1", "Smith", 20, "London" ), ( "S2", "Jones", 10, "Paris" ), ( "S3", "Blake", 30, "Paris" ) ] :: Relation '[Attr "sno" String, Attr "sName" String, Attr "status" Integer, Attr "city" String] ) *MiniDB> pt s ???????????????????????????????????????????????????????????????????????? ? sno :: String ? sName :: String ? status :: Integer ? city :: String ? ???????????????????????????????????????????????????????????????????????? ? S1 ? Smith ? 20 ? London ? ? S2 ? Jones ? 10 ? Paris ? ? S3 ? Blake ? 30 ? Paris ? ???????????????????????????????????????????????????????????????????????? *MiniDB> sp `assign` ( relation' [ ("S1", "P1", 300), ("S1", "P3", 400), ("S1", "P5", 100), ("S2", "P1", 300), ("S3", "P2", 200) ] :: Relation '[Attr "sno" String, Attr "pno" String, Attr "qty" Integer] ) Value assigned to ./SP.rv *MiniDB> pt sp ?????????????????????????????????????????????????? ? sno :: String ? pno :: String ? qty :: Integer ? ?????????????????????????????????????????????????? ? S1 ? P1 ? 300 ? ? S1 ? P3 ? 400 ? ? S1 ? P5 ? 100 ? ? S2 ? P1 ? 300 ? ? S3 ? P2 ? 200 ? ?????????????????????????????????????????????????? (Mind that correct display of the Unicode table drawing characters depends on using the right fixed-width font.) Fundamental operations of the relational algebra can of course be performed on them: *MiniDB> p $ s `naturalJoin` sp ????????????????????????????????????????????? ? sno ? sName ? status ? city ? pno ? qty ? ????????????????????????????????????????????? ? S1 ? Smith ? 20 ? London ? P1 ? 300 ? ? S1 ? Smith ? 20 ? London ? P3 ? 400 ? ? S1 ? Smith ? 20 ? London ? P5 ? 100 ? ? S2 ? Jones ? 10 ? Paris ? P1 ? 300 ? ? S3 ? Blake ? 30 ? Paris ? P2 ? 200 ? ????????????????????????????????????????????? A proper relational database management system (which, again, this isn't, for several other reasons) must support type inference for relational expressions (see The Third Manifesto, relational model prescription 18). Fortunately, that is of course no problem for GHC with the right extensions: *MiniDB> :t s s :: Relation '[Attr "sno" String, Attr "sName" String, Attr "status" Integer, Attr "city" String] *MiniDB> :t sp sp :: Relvar '[Attr "sno" String, Attr "pno" String, Attr "qty" Integer] *MiniDB> :t s `naturalJoin` sp s `naturalJoin` sp :: IO (containers-0.5.6.2:Data.Set.Base.Set (RTuple '[Tagged "sno" String, Tagged "sName" String, Tagged "status" Integer, Tagged "city" String, Tagged "pno" [Char], Tagged "qty" Integer])) DML is also supported, of course: *MiniDB> insert sp ( relation' [ ("S1", "P2", 200), ("S1", "P3", 400), ("S1", "P4", 200) ] :: Relation '[Attr "sno" String, Attr "pno" String, Attr "qty" Integer] ) Inserted 2 of 3 tuples into ./SP.rv Concise expression of "update" require a set of language extensions (this in addition to DataKinds, which this module enables by default since it is quite ubiquitous in this endeavor): *MiniDB> :set -XQuasiQuotes -XKindSignatures -XViewPatterns *MiniDB> :{ *MiniDB| update sp (\[pun|pno qty|] -> ( pno == "P2" || pno == "P3" || pno == "P4" ) && qty < 300 ) *MiniDB| (\[pun|qty|] -> case qty + 50 of qty -> [pun|qty|]) *MiniDB| :} Updated 3 of 7 tuples in ./SP.rv *MiniDB> pt$ sp `restrict` \[pun|pno|] -> ( pno == "P2" || pno == "P3" || pno == "P4" ) ?????????????????????????????????????????????????? ? sno :: String ? pno :: String ? qty :: Integer ? ?????????????????????????????????????????????????? ? S1 ? P2 ? 250 ? ? S1 ? P3 ? 400 ? ? S1 ? P4 ? 250 ? ? S3 ? P2 ? 250 ? ?????????????????????????????????????????????????? And of course delete-by-predicate: *MiniDB> count sp 7 *MiniDB> deleteP sp (\[pun|pno|] -> pno == "P3") Deleted 1 tuples from SP.rv *MiniDB> count sp 6 For an overview of the functions of the relational algebra and relational assignment defined by HaskRel see: http://hackage.haskell.org/package/HaskRel/docs/Database-HaskRel-Relational-Expression.html Summary ------- This is a personal, spare-time project, the motivations for which have been to learn Haskell, and see how much of the relational model Haskell/GHC can accommodate, or how much like an RDBMS GHC can operate. Making this practically usable has not been part of the scope. Ascertaining that Haskell/GHC accommodates the relational algebra, relational base variables and operations thereupon in such a straight forward manner, was quite nice. It was particularly fun to see how this allowed examples of expressions in Tutorial D from Chris Date's "SQL and Relational Theory, 2nd. ed" to be expressed in Haskell in a manner quite verbatim to the originals (see https://github.com/thormick/HaskRel/blob/master/HaskRel/examples/SuppliersPartsExample.hs and chapters 6 and 7 of said book). It was also interesting to see trivial querying and DML operations on GHCi operate in a manner similar to what one would expect in a DBMS. Even if this isn't of practical use I still hope it is of some interest, or at least that it can enable Haskell as a demonstrator of some parts of the relational model for database management. Thanks, Thor Michael St?re -------------- next part -------------- An HTML attachment was scrubbed... URL: From atze at uu.nl Mon Nov 23 08:19:53 2015 From: atze at uu.nl (Atze Dijkstra) Date: Mon, 23 Nov 2015 09:19:53 +0100 Subject: [Haskell] [NL-FP 2016] 2nd CFP: Dutch Functional Programming Day 2016 Message-ID: <0178C1C2-0FEF-4FCE-A414-8F42A2649EED@uu.nl> [My apologies for multiple received copies of the same message] 2nd Call for Participation: Dear all, The next Dutch Functional Programming day (NL-FP 2016) will be held on Friday, January 8, 2016 at the Utrecht University, The Netherlands. You are invited to participate and to give a presentation. At the end of the day we will have a joint dinner. On the web page http://foswiki.cs.uu.nl/foswiki/NlFpDay2016/WebHome for the day you?ll find preliminary information which will be further filled in due time. Registration is by letting me know via email (with a subject header that begins with [NL-FP 2016]) whether you want to (1) participate, (2) join dinner, (3) give a presentation (please include title + abstract), also see the webpage for additional details. If you intend to participate, please let me know as soon as possible because we like to know how many people we can expect. Hope to meet you all in Utrecht at the next FP Day! Best regards, - Atze - Atze Dijkstra, Department of Information and Computing Sciences. /|\ Utrecht University, PO Box 80089, 3508 TB Utrecht, Netherlands. / | \ Tel.: +31-30-2534118/1454 | WWW : http://www.cs.uu.nl/~atze . /--| \ Fax : +31-30-2513971 .... | Email: atze at uu.nl ............... / |___\ -------------- next part -------------- An HTML attachment was scrubbed... URL: From coolhhc at gmail.com Mon Nov 23 21:43:44 2015 From: coolhhc at gmail.com (Cool) Date: Tue, 24 Nov 2015 08:43:44 +1100 Subject: [Haskell] Haskell Digest, Vol 147, Issue 9 In-Reply-To: References: Message-ID: <25EE0E33-D793-4EEA-9CD5-B8C57C987B9C@gmail.com> ?????14????? Regards, Han-Hui Chiao (Mike) > On 23 Nov 2015, at 11:00 pm, haskell-request at haskell.org wrote: > > Send Haskell mailing list submissions to > haskell at haskell.org > > To subscribe or unsubscribe via the World Wide Web, visit > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell > or, via email, send a message with subject or body 'help' to > haskell-request at haskell.org > > You can reach the person managing the list at > haskell-owner at haskell.org > > When replying, please edit your Subject line so it is more specific > than "Re: Contents of Haskell digest..." > > > Today's Topics: > > 1. [NL-FP 2016] 2nd CFP: Dutch Functional Programming Day 2016 > (Atze Dijkstra) > > > ---------------------------------------------------------------------- > > Message: 1 > Date: Mon, 23 Nov 2015 09:19:53 +0100 > From: Atze Dijkstra > To: Atze Dijkstra > Subject: [Haskell] [NL-FP 2016] 2nd CFP: Dutch Functional Programming > Day 2016 > Message-ID: <0178C1C2-0FEF-4FCE-A414-8F42A2649EED at uu.nl> > Content-Type: text/plain; charset="utf-8" > > [My apologies for multiple received copies of the same message] > > 2nd Call for Participation: > > Dear all, > > The next Dutch Functional Programming day (NL-FP 2016) will be held on > > Friday, January 8, 2016 > > at the Utrecht University, The Netherlands. > > You are invited to participate and to give a presentation. At the end of the day we will have a joint dinner. > > On the web page http://foswiki.cs.uu.nl/foswiki/NlFpDay2016/WebHome for the day you?ll find preliminary information which will be further filled in due time. Registration is by letting me know via email (with a subject header that begins with [NL-FP 2016]) whether you want to (1) participate, (2) join dinner, (3) give a presentation (please include title + abstract), also see the webpage for additional details. If you intend to participate, please let me know as soon as possible because we like to know how many people we can expect. > > > Hope to meet you all in Utrecht at the next FP Day! > > Best regards, > > > > - Atze - > > Atze Dijkstra, Department of Information and Computing Sciences. /|\ > Utrecht University, PO Box 80089, 3508 TB Utrecht, Netherlands. / | \ > Tel.: +31-30-2534118/1454 | WWW : http://www.cs.uu.nl/~atze . /--| \ > Fax : +31-30-2513971 .... | Email: atze at uu.nl ............... / |___\ > > > > -------------- next part -------------- > An HTML attachment was scrubbed... > URL: > > ------------------------------ > > Subject: Digest Footer > > _______________________________________________ > Haskell mailing list > Haskell at haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell > > > ------------------------------ > > End of Haskell Digest, Vol 147, Issue 9 > *************************************** From fennell at informatik.uni-freiburg.de Mon Nov 23 22:03:30 2015 From: fennell at informatik.uni-freiburg.de (Luminous Fennell) Date: Mon, 23 Nov 2015 23:03:30 +0100 Subject: [Haskell] [APLS2015] 2nd Call for Participation Message-ID: <56538D32.8080302@informatik.uni-freiburg.de> === 2nd Call for Participation === Workshop: Advances in Programming Languages and Systems Date: December 15 - 16, 2015 Venue: Frankfurt, Germany Website: http://proglang.informatik.uni-freiburg.de/APLS2015/ Scope: ------ Advances in programming language research increasingly influence the world of software development and big software companies recognize the importance of research areas like functional programming, static program analysis, run-time verification, automated software engineering and debugging as well as automated verification techniques. This workshop is an opportunity to interact with leading international researchers in these areas, to receive crucial impulses, and to cultivate and maintain new and old collaborations and liaisons. The talks will be given by prominent members of the programming languages research community and cover a wide area of topics inside this field. The list of talks can be found below. For further information please visit http://proglang.informatik.uni-freiburg.de/APLS2015/ The workshop is sponsored by the DFG. List of talks: -------------- (Please see http://proglang.informatik.uni-freiburg.de/APLS2015/#program for further details and updates) Andreas Abel: Coinductive programming with copatterns Arthur Chargu?raud: Machine-checked verification of amortized complexity analyses Dominique Devriese: Reasoning about Object Capabilities with Logical Relations and Effect Parametricity Sophia Drossopoulou: Reasoning about Programs in the Presence of Code of Unknown Provenance Joshua Dunfield: Evaluation-order Polymorphism Matthew Fluet: Type- and Control-Flow Analysis Christian Hammer: Declassification in the Browser Atsushi Igarashi: A Sound Type System for Layer Subtyping and Dynamically Activated First-Class Layers Ranjit Jhala: Bounded Refinement Types Ivan Lanese: Reversible Concurrent Systems Anders M?ller: Message Safety in Dart Keiko Nakata: Formal Verification of a Microkernel at FireEye James Noble: On Grace Klaus Ostermann: Automatic Refunctionalization Matthew Parkinson: The Push/Pull Model of Transactions Didier R?my: Ornaments in ML Francesco Ranzato: Analysing Completeness in Program Analysis Ilya Sergey: Hoare-style Specifications as Correctness Conditions for Non-linearizable Concurrent Objects Jeremy Siek: A Tracing JIT for a Functional Language Wouter Swierstra: Auto in Agda Peter Thiemann: Derivatives in Program Analysis Vasco Vasconcelos: Advances in Session Types Organizers: ----------- Luminous Fennell, University of Freiburg Peter Thiemann, University of Freiburg From compscience.announcement at gmail.com Thu Nov 26 04:12:11 2015 From: compscience.announcement at gmail.com (Klaus Havelund) Date: Wed, 25 Nov 2015 20:12:11 -0800 Subject: [Haskell] NFM 2016 - first call for papers Message-ID: NFM 2016 - Call For Papers The 8th NASA Formal Methods Symposium ------------------------------------- http://crisys.cs.umn.edu/nfm2016 June 07 - June 09 2016 McNamara Alumni Center University of Minnesota 200 Oak Street S.E., Minneapolis, MN 55455 Theme of the Symposium ---------------------- The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and the aerospace industry requires advanced techniques that address their specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and the industry, with the goal of identifying challenges and providing solutions towards achieving assurance for such critical systems. New developments and emerging applications like autonomous on-board software for Unmanned Aerial Systems (UAS), UAS Traffic Management (UTM), advanced separation assurance algorithms for aircraft, and the need for system-wide fault detection, diagnosis, and prognostics provide new challenges for system specification, development, and verification approaches. Similar challenges need to be addressed during development and deployment of on-board software for spacecraft ranging from small and inexpensive CubeSat systems to manned spacecraft like Orion, as well as for ground systems. The focus of the symposium will be on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle. Topics of interest include but are not limited to ------------------------------------------------- * Model checking * Theorem proving * SAT and SMT solving * Symbolic execution * Static analysis * Model-based development * Runtime verification * Software and system testing * Safety assurance * Fault tolerance * Compositional verification * Security and intrusion detection * Design for verification and correct-by-design techniques * Techniques for scaling formal methods * Applications of formal methods in the development of: * autonomous systems * safety-critical artificial intelligence systems * cyber-physical, embedded, and hybrid systems * fault-detection, diagnostics, and prognostics systems * Use of formal methods in: * assurance cases * human-machine interaction analysis * requirements generation, specification, and validation * automated testing and verification Important Dates --------------- - Paper Submission: 2/19/2016 - Paper Notifications: 4/8/2016 - Camera-ready Papers: 4/27/2016 - Symposium: 6/7 - 6/9/2016 Location -------- The symposium will take place at McNamara Alumni Center, University of Minnesota. Registration is required but is free of charge. Submission Details ------------------ There are two categories of submissions: 1. Regular papers describing fully developed work and complete results (maximum 15 pages) 2. Short papers on tools, experience reports, or work in progress with preliminary results (maximum 6 pages) All papers must be in English and describe original work that has not been published or submitted elsewhere. All submissions will be fully reviewed by at least three members of the Program Committee. Papers will appear in a volume of Springer's Lecture Notes in Computer Science (LNCS), and must use LNCS style formatting. Papers must be submitted in PDF format at the EasyChair submission site: https://easychair.org/conferences/?conf=nfm2016 Authors of selected best papers may be invited to submit an extended version to a special issue of the Journal of Automated Reasoning (Springer). Organizing Committee -------------------- - Michael Lowry, NASA Ames Research Center, USA (NASA Liaison) - Johann Schumann, SGT, Inc./NASA Ames Research Center, USA (General Chair) - Oksana Tkachuk, SGT, Inc./NASA Ames Research Center, USA (PC Chair) - Sanjai Rayadurgam, University of Minnesota, USA (PC Chair) - Mike Whalen, University of Minnesota, USA (Financial Chair) - Mats Heimdahl, University of Minnesota, USA (Local Arrangements Chair) Program Committee ----------------- - Julia Badger, NASA Johnson Space Center, USA - Clark Barrett, New York University, USA - Saddek Bensalem, Verimag and University Joseph Fourier, France - Dirk Beyer, University of Passau, Germany - Borzoo Bonakdarpour, McMaster University, Canada - Alessandro Cimatti, FBK, Italy - Darren Cofer, Rockwell Collins, Inc., USA - Myra Cohen, University of Nebraska-Lincoln, USA - Misty Davies, NASA Ames Research Center, USA - Leonardo de Moura, Microsoft, USA - Ben Di Vito, NASA Langley Research Center, USA - Alexandre Duret-Lutz, LRDE / EPITA, France - Andrew Gacek, Rockwell Collins, Inc., USA - Pierre-Loic Garoche, ONERA, France - Shalini Ghosh, SRI International, USA - Susanne Graf, Universite Joseph Fourier / CNRS / VERIMAG, France - Radu Grosu, Stony Brook University, USA - Arie Gurfinkel,SEI, Carnegie Mellon University, USA - Klaus Havelund, NASA Jet Propulsion Laboratory, USA - Constance Heitmeyer, Naval Research Laboratory, USA - Gerard Holzmann, NASA Jet Propulsion Laboratory, USA - Falk Howar, TU Clausthal / IPSSE, Germany - Rajeev Joshi, NASA Jet Propulsion Laboratory, USA - Dejan Jovanovi?, SRI International, USA - Gerwin Klein, NICTA and University of New South Wales, Australia - Daniel Kroening, University of Oxford, UK - Rahul Kumar, NASA Jet Propulsion Laboratory, USA - C?lia Martinie, ICS-IRIT, Universit? Paul Sabatier, France - Eric Mercer, Brigham Young University, USA - Cesar Munoz, NASA Langley Research Center, USA - Jorge A Navas, SGT, Inc./NASA Ames Research Center, USA - Natasha Neogi, NASA Langley Research Center, USA - Ganesh Pai, SGT, Inc./NASA Ames Research Center, USA - Charles Pecheur, Universit? catholique de Louvain, Belgium - Lee Pike, Galois, Inc., USA - Andreas Podelski, University of Freiburg, Germany - Pavithra Prabhakar, Kansas State University, USA - Venkatesh Prasad Ranganath, Kansas State University, USA - Franco Raimondi, Middlesex University, UK - Kristin Yvonne Rozier, University of Cincinnati, USA - Neha Rungta, SGT, Inc./NASA Ames Research Center, USA - Oleg Sokolsky, University of Pennsylvania, USA - Stefano Tonetta, FBK, Italy - Helmut Veith, Vienna University of Technology, Austria - Willem Visser, Stellenbosch University, South Africa - Virginie Wiels, ONERA / DTIM, France - Guowei Yang, Texas State University, USA Steering Committee ------------------ - Julia Badger, NASA Johnson Space Center, USA - Ben Di Vito, NASA Langley Research Center, USA - Klaus Havelund, NASA Jet Propulsion Laboratory, USA - Gerard Holzmann, NASA Jet Propulsion Laboratory, USA - Michael Lowry, NASA Ames Research Center, USA - Kristin Yvonne Rozier, University of Cincinnati, USA - Johann Schumann, SGT, Inc./NASA Ames Research Center, USA -------------- next part -------------- An HTML attachment was scrubbed... URL: From Henrik.Nilsson at nottingham.ac.uk Fri Nov 27 11:11:17 2015 From: Henrik.Nilsson at nottingham.ac.uk (Henrik Nilsson) Date: Fri, 27 Nov 2015 11:11:17 +0000 Subject: [Haskell] CFP: EOOLT 2016 Message-ID: <56583A55.4080401@nottingham.ac.uk> Dear Haskellers, I would like to draw your attention to EOOLT 2016: the 7th International Workshop on Equation-Based Object-Oriented Languages and Tools. EOOLT may be of interest to anyone interested in applying functional/declarative programming to modelling and simulation of physical systems, for example through the route of embedded domain-specific languages. It is particularly relevant for people with an interest in Functional Reactive Programming (FRP) or the synchronous dataflow paradigm more generally. EOOLT 2016 will take place in Milano, Italy, on 18 April 2016, and the submission deadline is 25 January. The call for papers can be found here: http://eoolt.org/2016/index.php?id=cfp and general information about EOOLT 2016 here: http://eoolt.org/2016/ All the best, /Henrik -- Henrik Nilsson School of Computer Science The University of Nottingham nhn at cs.nott.ac.uk This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please send it back to me, and immediately delete it. Please do not use, copy or disclose the information contained in this message or in any attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. This message has been checked for viruses but the contents of an attachment may still contain software viruses which could damage your computer system, you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation. From Henrik.Nilsson at nottingham.ac.uk Fri Nov 27 11:29:11 2015 From: Henrik.Nilsson at nottingham.ac.uk (Henrik Nilsson) Date: Fri, 27 Nov 2015 11:29:11 +0000 Subject: [Haskell] PhD studentships at the Functional Programming Lab in Nottingham In-Reply-To: References: Message-ID: <56583E87.3030700@nottingham.ac.uk> Dear Haskellers, The School of Computer Science in Nottingham is advertising 10 fully- funded PhD studentships. Applicants in the area of the Functional Programming lab (fp.cs.nott.ac.uk) are highly encouraged! If you are interested in applying, please contact a potential supervisor in the FP lab prior to submitting your application: Thorsten Altenkirch - constructive logic, proof assistants, homotopy type theory, category theory, lambda calculus. Venanzio Capretta - type theory, mathematical logic, corecursive structures, proof assistants, dependently-typed programming. Graham Hutton - program construction and verification, category theory, recursion operators, coinductive types. Henrik Nilsson - functional reactive programming, modelling and simulation, probabilistic languages, and design and implementation of declarative domain-specific languages in general. See below for full details. All the best, /Henrik +-----------------------------------------------------------+ 10 Fully-Funded PhD Studentships School of Computer Science University of Nottingham, UK http://nottingham.ac.uk/jobs/currentvacancies/ref/SCI1498 Applications are invited for up to ten fully-funded PhD studentships in the School of Computer Science at the University of Nottingham, starting on 1st October 2016. The topics for the studentships are open, but should relate to the interests of one of the School?s research groups: Agents Lab; Automated Scheduling, Optimisation and Planning; Computer Vision Lab; Functional Programming Lab; Intelligent Modelling and Analysis; Mixed Reality Lab and in the area of Data Science. The studentships are for three years and include a stipend of ?14,507 per year and tuition fees, and are available to students of any nationality. Applicants are normally expected to have a first-class Masters or Bachelors degree in Computer Science or a related discipline, and must obtain the support of a potential supervisor in the School prior to submitting their application. Initial contact with supervisors should be made at least two weeks prior to the closing date for applications. Informal enquiries may be addressed to Christine.Fletcher at nottingham.ac.uk. To apply, please submit the following items by email to the above address: (1) a brief covering letter that describes your reasons for wishing to pursue a PhD, your proposed research area and topic, and the name of a potential supervisor; (2) a copy of your CV, including your actual or expected degree class(es), and results of all University examinations; (3) an example of your technical writing, such as a project report or dissertation; (4) contact details for two academic referees. Closing date for applications: 19th February 2016 +-----------------------------------------------------------+ This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please send it back to me, and immediately delete it. Please do not use, copy or disclose the information contained in this message or in any attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. This message has been checked for viruses but the contents of an attachment may still contain software viruses which could damage your computer system, you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation. From cemartin at brookes.ac.uk Fri Nov 27 14:15:28 2015 From: cemartin at brookes.ac.uk (Clare Martin) Date: Fri, 27 Nov 2015 14:15:28 +0000 Subject: [Haskell] Research Fellows in Computing at Oxford Brookes University Message-ID: Research Fellows in Computing Starting Salary: ?29,847, rising annually to ?32,600 (pro rata) Full Time, Fixed Term - Researcher The posts (amounting to 1.5FTE) are available from 1st February 2016, for 3 years. The time commitment for each post is negotiable, between 0.5 FTE and full-time. If part-time, there will also be the opportunity of additional employment as a departmental teaching assistant.The Research Fellow will join an interdisciplinary team working on the EU PEPPER project: Patient Empowerment through Predictive PERsonalised decision support. PEPPER is a 36-month research and innovation programme funded by European Union?s Horizon 2020 with total budget approaching ?4 million. The project is led by Clare Martin. The purpose of the PEPPER project is to develop a personalised decision support system for type 1 diabetes management that will make predictions based on real-time data in order to empower individuals to improve self-management. The research will also examine the extent to which human behavioural factors and usability issues have previously hindered the wider adoption of personal guidance systems for chronic disease self-management. The UK partners in the project are Imperial College London and Cellnovo Ltd; the remaining partners are based in Spain and Romania. For more information see http://www.jobs.ac.uk/job/AMN228/research-fellow-in-computing/ Please feel free to contact me if you have any questions. Clare -- Clare Martin Principal Lecturer for Student Experience Faculty of Technology, Design and Environment, Oxford Brookes University, Wheatley Campus, Wheatley, Oxford OX33 1HX t: +44 (0) 1865 484543 e: cemartin at brookes.ac.uk -------------- next part -------------- An HTML attachment was scrubbed... URL: From w.s.swierstra at uu.nl Mon Nov 30 09:19:51 2015 From: w.s.swierstra at uu.nl (Wouter Swierstra) Date: Mon, 30 Nov 2015 10:19:51 +0100 Subject: [Haskell] JFP Issue on Dependently typed programming: second call for papers Message-ID: ----------------------------------------------------------------------------- CALL FOR PAPERS JFP Special Issue on Dependently typed Programming Submission Deadline: January 11th, 2016 Expected Publication Date: Late 2016 ----------------------------------------------------------------------------- # Scope Over the last years there has been sustained interest in functional programming languages with dependent types. The foundations of dependently typed programming can be traced back to work by Martin-L?f from the 1970s. More recently, the increased popularity of systems such as Agda, Coq, Idris, and many others, reflects the growing momentum in this research area. The Journal of Functional Programming will devote a special issue to programming with dependent types. The purpose of this special issue is to present the state of the art in dependently typed programming languages and their applications. We would like to invite authors to submit papers on all topics relating to programming languages with dependent types, including theory, applications, and language design and implementation. We encourage the submission of consolidated, condensed and extended work based on prior conference and workshop publications. # Submission Details Manuscripts should be submitted in PDF format through the Journal of Functional Programming's website: https://mc.manuscriptcentral.com/cup/jfp_submit Further submission and formatting details can be found on the JFP website. Please submit your paper under the 'DTP Special issue' category. Guest Editors ------------------------------------------------------------------------------ Peter Dybjerpeterd at chalmers.se Chalmers University of Technology Sweden Wouter Swierstraw.s.swierstra at uu.nl Universiteit Utrecht The Netherlands ------------------------------------------------------------------------------ -------------- next part -------------- An HTML attachment was scrubbed... URL: From Y.Lin at hw.ac.uk Mon Nov 30 15:20:24 2015 From: Y.Lin at hw.ac.uk (Lin, Yuhui) Date: Mon, 30 Nov 2015 15:20:24 +0000 Subject: [Haskell] First Call for Papers: Special Issue of the SCP on Automated Verification of Critical Systems Message-ID: Science of Computer Programming Special Issue on Automated Verification of Critical Systems First Call for Papers Guest editors: Gudmund Grov & Andrew Ireland Submission deadline: 20 May 2016 Notification: 31 August 2016 This special issue is devoted to the 15th international workshop on Automated Verification of Critical Systems (AVoCS 2015), hosted in September 2015 by Heriot-Watt University in Edinburgh (UK): https://sites.google.com/site/avocs15/ The aim of AVoCS 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. These topics are to be interpreted broadly and inclusively. It covers all aspects of automated verification, and typical (but not exclusive) topics of interest are: - 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 Submission to this special issue is open. We expect original articles (typically 20-30 pages) that present high-quality contributions, have not been previously published in an archival venue and that must not be simultaneously submitted for publication elsewhere. Submissions must be written in English and comply with SCP's author guidelines http://www.elsevier.com/wps/find/journaldescription.cws_home/505623/authorinstructions Submission is over the SCP website: http://ees.elsevier.com/scico/default.asp which you will have to register for if you do not have an account. When submitting your paper please choose the article type "Special issue: AVoCS 2015". Please send any queries you may have to Gudmund Grov (G.Grov at hw.ac.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.