From storm at cwi.nl Sat Jan 2 12:30:45 2016 From: storm at cwi.nl (Tijs van der Storm) Date: Sat, 2 Jan 2016 13:30:45 +0100 Subject: [Haskell] SPLASH'16: 1st Call for Workshop Proposals Message-ID: /************************************************************************************/ ACM Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH'16) Amsterdam, The Netherlands 30th of October - 4th of November 2016 http://2016.splashcon.org Sponsored by ACM SIGPLAN /************************************************************************************/ CALL FOR WORKSHOP PROPOSALS Early Deadline: January 15th, 2016 Late Deadline: March 4th, 2016 /************************************************************************************/ # SPLASH'16 Call for Workshop Proposals Following its long-standing tradition, SPLASH 2016 will host a variety of high-quality workshops, allowing their participants to meet and discuss research questions with peers, to mature new and exciting ideas, and to build up communities and start new collaborations. SPLASH workshops complement the main tracks of the conference and provide meetings in a smaller and more specialized setting. Workshops cultivate new ideas and concepts for the future, optionally recorded in formal proceedings. # SUBMISSION SUMMARY Early Submissions Due: January 15, 2016 Notification: February 12, 2016 Late Submissions Due: March 4, 2016 Notification: April 1, 2016 Format: ACM SIGPLAN Proceedings format Submit to: https://splash16workshops.hotcrp.com/ Chairs: Jan Rellermeyer and Craig Anslow Contact: workshops at splashcon.org ** Please note the earlier submission deadline than in previous years. ** ### TOPICS We encourage proposals for workshops on any topic relevant to SPLASH. If there is a topic relevant to SPLASH that you feel passionate about, and you want to connect with others who have similar interests, you should consider submitting a proposal to organize a workshop! The exact format of the workshop can be defined by the proposal submitters, and we more than welcome new, and unconventional ideas for workshop formats. The following suggestions may serve as a starting point: Mini-conferences provide their participants the possibility to present their work to other domain experts. The smaller and more specialized setting of the workshop allows for more extensive Q&A sessions and facilitates ample discussions, which may continue after the workshop. Typically, presentations of work-in-progress as well as of completed projects are welcome. The workshop may or may not produce formal proceedings. Retreats act as a platform for domain experts to gather with the purpose of tackling the issues of a predetermined research agenda. Retreats are highly interactive and goal-oriented, allowing their participants to address open challenges in their domain, to explore new, uncharted ideas, and to (maybe even) uncover new, promising research domains. Agenda-setting workshops provide a forum for domain experts to determine a research agenda for a sub-field, and may include collaborations on an agenda document that is published after the workshop is over. Other common activities at workshops include poster sessions, hands-on practical work, and focus groups. Proposal submitters should feel free to direct questions about workshop formats to the workshop chairs. Workshops that include presentation of research papers, and that implement a SIGPLAN-approved selection process, may be archived as formal proceedings in the ACM Digital Library; note that this option is available only to submitters to the early phase. # WORKSHOP SELECTION ### Reviewing Phases This year, SPLASH provides two submission phases to accommodate different schedules, a early round in January and a late round of proposals in March. Since space is limited at the venue, the PC will consider prospective attendance as one of the selection criteria. ### Proposal Content SPLASH workshop proposals should not exceed 6 pages, and must include the following information: Title and desired abbreviation: if the workshop is accepted, this will be used for advertising purposes. Theme, goals and format: the main topic and goals of the workshop, the workshop's relevance to the SPLASH community, as well as the workshop's format (e.g., mini-conference, retreat, agenda-setting workshop). Abstract: a 150-word abstract that summarizes the theme and goals of the workshop. If the workshop is accepted, this abstract will be used for advertising purposes. Organizers: workshop organizers are responsible for advertising the workshop (e.g., creating the anchoring website for the workshop and sending CFPs to relevant mailing lists), organizing the reviewing process (e.g., by forming a small program committee), running the workshop, and collating any results of the workshop for dissemination. The proposal should indicate the names, affiliations, and contact details of the workshop organizers as well as a primary organizer and contact person (primary organizer and contact person do not need to be the same). For each organizer, the proposal should describe his/her background (expertise in the area and previous experience in running workshops) and also identify his/her responsibilities for the workshop. Anticipated attendance: the ideal, minimum, and maximum expected number of participants. Please note that there will be an additional charge for workshop registration at SPLASH 2015. The SPLASH organizing committee reserves the right to cancel any workshops that do not meet attendance goals. Advertisement: the planned advertisement for the workshop to ensure sufficient participation. Participant preparation: what preparation is expected from workshop participants, including how attendees gain access to the workshop (e.g., submission of a full paper, an extended abstract, a position paper). Activities and format: the format of the workshop and a timetable. All SPLASH 2015 workshops must be planned for one or two full days of activities. For example, the proposal should describe whether there will be introductory material, paper presentations, panel discussions, debates, hands-on sessions, or focus groups, and how such groups will report back to the other participants. Post-workshop activities: what results are expected, and how these will be disseminated to the wider public after the workshop. Workshops that result in peer-reviewed papers and implement an ACM SIGPLAN-approved selection process can submit formal proceedings to the ACM Digital Library. To get the approval, the workshop has to meet the usual requirements defined for ACM SIGPLAN events (i.e., approval of workshop proposal and workshop program committee by ACM SIGPLAN). The approval process is coordinated by the SPLASH organizers. Special requirements: any special requirements you might have, in terms of room configuration, audio and video equipment, etc. ### Format Submissions should use the SIGPLAN Proceedings Format, 10 point font. Note that by default the SIGPLAN Proceedings Format produces papers in 9 point font. If you are formatting your paper using LaTeX, you will need to set the 10pt option in the \documentclass command. If you are formatting your paper using Word, you may wish to use the provided Word template that supports this font size. Please include page numbers in your submission. ### Publication If your workshop chooses to have published proceedings, be aware that accepted papers will be available in the ACM Digital Library as early as September 23, 2016. The official publication date is the date the proceedings are made available in the ACM Digital Library. The official publication date affects the deadline for any patent filings related to published work. It is therefore vital that this information will be communicated to participants in your workshop. ### Evaluation criteria Workshop proposals will be selected based on the quality of the proposal and according to the space available at SPLASH. The following questions may be helpful in devising a high-quality proposal: Are there at least two organizers and do they represent a reasonably varied cross-section of the community close to the topic? Does the abstract present a compelling case for the importance of the topic area? Are the goals of the workshop expressed clearly? Is the topic likely to be attractive to SPLASH attendees? Does the chosen format encourage a high level of interaction between the participants? Is a workshop the right forum to address the theme and goals or does the proposal fit better into another type of SPLASH event? Workshop chairs For additional information, clarification, or answers to questions please contact workshops at splashcon.org -- Researcher Centrum Wiskunde & Informatica (CWI) Master of Software Engineering Universiteit van Amsterdam (UvA) Dr. Tijs van der Storm @ Centrum Wiskunde & Informatica (CWI) Office: L225 | Phone: +31 (0)20 5924164 | Address: Science Park 123 P.O. Box 94079 | Postal code: 1090 GB | Amsterdam, The Netherlands -------------- next part -------------- An HTML attachment was scrubbed... URL: From amf at dcc.fc.up.pt Sun Jan 3 23:28:51 2016 From: amf at dcc.fc.up.pt (=?utf-8?Q?M=C3=A1rio_Florido?=) Date: Sun, 3 Jan 2016 23:28:51 +0000 Subject: [Haskell] LSFA 2016 - First Call for Papers Message-ID: <53939291-BEF0-4701-ABB0-27372D56235C@dcc.fc.up.pt> (Apologies for multiple copies of this announcement) ============================================================== 11th Workshop on Logical and Semantic Frameworks, with Applications 25-26 June 2016, Porto, Portugal Satellite event of FSCD 2016 http://lsfa2016.mat.unb.br/ Logical and semantic frameworks are formal languages used to represent logics, languages and systems. These frameworks provide foundations for the formal specification of systems and programming languages, supporting tool development and reasoning. LSFA 2016 aims to be a forum for presenting and discussing work in progress, and therefore to provide feedback to authors on their preliminary research. The proceedings are produced after the meeting, so that authors can incorporate this feedback in the published papers. LSFA 2016 will be a satellite event of FSCD 2016 taking place in Porto, Portugal during 25-26 June 2016. Previous editions took place in Natal (2015), Bras?lia (2014), Sao Paulo (2013), Rio de Janeiro (2012), Belo Horizonte (2011), Natal (2010), Bras?lia (2009), Salvador (2008), Ouro Preto (2007), and Natal (2006). TOPICS OF INTEREST Topics of interest to this forum include, but are not limited to: * Automated deduction * Applications of logical and/or semantic frameworks * Computational and logical properties of semantic frameworks * Formal semantics of languages and systems * Implementation of logical and/or semantic frameworks * Lambda and combinatory calculi * Logical aspects of computational complexity * Logical frameworks * Process calculi * Proof theory * Semantic frameworks * Specification languages and meta-languages * Type theory SUBMISSION AND PUBLICATION Contributions should be written in English and submitted in the form of full papers with a maximum of 16 pages including references or short papers with a maximum of 6 pages including references. Additional technical material can be provided in a clearly marked appendix which will be read by reviewers at their discretion. Contributions must also be unpublished and not submitted simultaneously for publication elsewhere. The papers should be prepared in LaTeX using ENTCS style. The submission should be in the form of a PDF file uploaded to Easychair: https://easychair.org/conferences/?conf=lsfa2016 The workshop pre-proceedings, containing the reviewed extended abstracts, will be handed-out at workshop registration. After the workshop the authors of both full and short papers will be invited to submit full versions of their works for the post-proceedings to be published in ENTCS. At least one of the authors should register for the conference. Presentations should be in English. * Submission: February 29th 2016 * Notification: April 22nd 2016 * Final pre-proceedings version due: May 8th 2016 * LSFA 2016 25-26 June 2016 According to the quality of proceedings, authors will/would/might be invited to submit an improved version of their paper for a special issue. Previous LSFA special issues have been published in journals such as J. IGPL and TCS (see http://lsfa.cic.unb.br ). INVITED SPEAKERS * Gilles Barthe (IMDEA Software Institute, Spain) * Luis Caires (Universidade Nova de Lisboa, Portugal) * Kaustuv Chaudhuri (Inria/?cole Polytechnique, France) * Jo?o Marques Silva (Instituto Superior T?cnico, Portugal) PROGRAMME COMMITTEE * Vivek Nigam (Universidade Federal de Para?ba) - co-chair * M?rio Florido (Universidade do Porto) - co-chair * Mauricio Ayala-Rincon (Universidade de Bras?lia) * Mar?a Alpuente (Universitat Politecnica de Valencia) * David Baelde (ENS Cachan) * Maribel Fern?ndez (King's College London) * Marcelo Finger (Universidade de S?o Paulo) * Marco Gaboardi (University of Dundee) * Mateu Villaret (Universitat de Girona) * Silvia Ghilezan (University of Novi Sad) * Martin Hofmann (Ludwig-Maximilians-Universit?t) * Temur Kutsia (RISC- Johannes Kepler University Linz) * Bjoern Lellmann (TU Vienna) * Ian Mackie (Ecole Polytechnique) * Jo?o Marcos (Univ. Federal Rio Grande do Norte) * Cl?udia Nalon (Universidade de Brasilia) * Frank Pfenning (Carnegie Mellon University) * Elaine Pimentel (Univ. Federal Rio Grande do Norte) * Jose Nuno Oliveira (Universidade do Minho) * Ruy De Queiroz (Univ. Federal de Pernambuco) * Giselle Reis (Inria-?cole Polytechnique) * Camilo Rocha (Escuela Colombiana de Ingenier?a) * Alexandra Silva (University College London) * Kazushige Terui (Kyoto University) * Ren? Thiemann (University of Innsbruck) ORGANISING COMMITTEE * Daniele Nantes Sobrinho (Universidade de Bras?lia) CONTACT * lsfa2016 at easychair.org * http://lsfa2016.mat.unb.br/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From hbzhu at sei.ecnu.edu.cn Mon Jan 4 04:04:13 2016 From: hbzhu at sei.ecnu.edu.cn (Huibiao Zhu) Date: Mon, 4 Jan 2016 12:04:13 +0800 Subject: [Haskell] Call for Papers (UTP 2016) Message-ID: <002d01d146a4$f90db120$eb291360$@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. 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 hbzhu at sei.ecnu.edu.cn Mon Jan 4 11:09:28 2016 From: hbzhu at sei.ecnu.edu.cn (Huibiao Zhu) Date: Mon, 4 Jan 2016 19:09:28 +0800 Subject: [Haskell] Call for Papers (TASE 2016) Message-ID: <005201d146e0$6101edb0$2305c910$@sei.ecnu.edu.cn> 10th International Symposium on Theoretical Aspects of Software Engineering Call for Papers TASE 2016 July 17-19, 2016, Shanghai, China http://tase2016.ecnu.edu.cn * We are pleased to announce that the authors of selected papers will be invited after the symposium to submit an extended version to a special issue at Science of Computer Programming (SCP). * Important dates Abstract research paper 10 January 2016 Submission research paper 17 January 2016 Author notification 20 March 2016 Camera ready copy 10 April 2016 * Objectives and scope TASE is an international symposium that aims to bring together researchers and developers from academia and industry with interests in the theoretical aspects of software engineering. Modern society is increasingly dependent on software systems that are becoming larger and more complex. This poses new challenges to current software engineering methodologies that need to be enhanced using modern results from theoretical computer science. We invite submissions of research papers on topics covering all theoretical aspects of software engineering, including, but not limited to, the following: + Abstract interpretation + Algebraic and co-algebraic specifications + Aspect oriented software + Component-based systems + Cyber-physical systems + Deductive verification + Distributed and concurrent systems + Embedded and real-time systems + Feature-oriented software + Formal verification and program semantics + Integration of formal methods + Language design + Model checking and theorem proving + Object-oriented systems + Program logics and calculi + Quantum computation + Run-time verification and monitoring + Service-oriented and cloud computing + Software architecture + Software testing and quality assurance + Software security and reliability + Static analysis of programs + Type systems and behavioural typing + Tools exploiting theoretical results * Venue and event TASE 2016 will be held on the campus of the East China Normal University in Shanghai, China, on 17 - 19 July 2016. * Keynote speakers Christel Baier (Technical University of Dresden, DE) Ana Cavalcanti (University of York, UK) Jifeng He (East China Normal University, CN) * General chairs W. Eric Wong (The University of Texas at Dallas, USA) Huibiao Zhu (East China Normal University, China) * PC chairs Marcello Bonsangue (Leiden University, NL) Yuxin Deng (East China Normal University, CN) * Publicity chairs Frederic Mallet (University of Nice Sophia Antipolis, FR) Min Zhang (East China Normal University, CN) * Programme committee Erika Abraham (RWTH Aachen University, DE) Bernhard Aichernig (Graz University of Technology, AT) Elvira Albert (Complutense University of Madrid, ES) Davide Ancona (University of Genova, IT) Farhad Arbab (CWI, NL) Luis Barbosa (University of Minho, PT) Richard Bubel (Technical University of Darmstadt, DE) Andrew Butterfield (Trinity College Dublin, IE) Marco Carbone (IT University of Copenhagen, DK) Rocco de Nicola (IMT-Institute for Advanced Studies, IT) Zhenhua Duan (Xidian University, CN) Yuxi Fu (Shanghai Jiao Tong University, CN) Stefania Gnesi (ISTI-CNR, IT) Hai-Feng Guo (University of Nebraska at Omaha, USA) Zhenjiang Hu (National Institute of Informatics, JP) Marieke Huisman (University of Twente, NL) Dang Van Hung (Vietnam National University, VT) Einar Broch Johnsen (Oslo University, NO) Laura Kovacs (Chalmers University of Technology, SE) Dexter Kozen (Cornell University, US) Xuandong Li (Nanjing University, CN) Shaoying Liu (Hosei University, JP) Zhiming Liu (Birmingham City University, UK) Antonia Lopes (University of Lisbon, PT) Frederic Mallet (University of Nice Sophia Antipolis, FR) Carroll Morgan (University of New South Wales, AU) Mohammad Reza Mousavi (Halmstad University, SE) Catuscia Palamidessi (INRIA, FR) Jun Pang (University of Luxembourg, LU) Luigia Petre (Abo Akademi University, FI) Shengchao Qin (Teesside University, UK) Zongyan Qiu (Peking University, CN) Gerardo Schneider (Chalmers University of Technology, SE) Emil Sekerinski (McMaster University, CA) Georg Struth (University of Sheffield, UK) Jing Sun (University of Auckland, NZ) Jun Sun (Singapore University of Technology and Design, SG) Jean Pierre Talpin (INRIA, FR) Andrzej Tarlecki (Warsaw University, PL) Viktor Vafeiadis (MPI-SWS, DE) Chao Wang (Virginia Tech, US) Yi Wang (Uppsala University, SE) Heike Wehrheim (University of Paderborn, DE) W. Eric Wong (The University of Texas at Dallas, US) Lijun Zhang (Chinese Academy of Sciences, CN) Min Zhang (East China Normal University, CN) Huibiao Zhu (East China Normal University, CN) * Steering Committee: Keijiro Araki (Kyushu University, JP) Jifeng He (East China Normal University, CN) Michael Hinchey (Lero, IE) Shengchao Qin (Teesside University, UK) Huibiao Zhu (East China Normal University, CN) * Submission guidelines We solicit contributions that describe original and unpublished research, and should not be submitted for publication elsewhere. They are limited to 8 pages, must be written in English, and the format should adhere to the A4 double column IEEE style. Please prepare your manuscripts with respect to the IEEE guidelines. Papers should be submitted electronically as a PDF file via the Easychair system at http://www.easychair.org/conferences/?conf=tase2016. The proceedings of the TASE 2016 symposium will include all accepted papers and will be published by the IEEE Computer Society Press. The authors of selected papers will be invited after the symposium to submit an extended version to a journal special issue Sicence of Computer Programming. -------------- next part -------------- An HTML attachment was scrubbed... URL: From bob.atkey at gmail.com Tue Jan 5 14:53:53 2016 From: bob.atkey at gmail.com (Bob Atkey) Date: Tue, 5 Jan 2016 14:53:53 +0000 Subject: [Haskell] MSFP 2016: Call for Papers Message-ID: <568BD901.70703@gmail.com> Sixth Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING 8 April 2016, in Eindhoven, The Netherlands A satellite workshop of ETAPS 2016 http://msfp2016.bentnib.org/ The sixth workshop on Mathematically Structured Functional Programming is devoted to the derivation of functionality from structure. It is a celebration of the direct impact of Theoretical Computer Science on programs as we write them today. Modern programming languages, and in particular functional languages, support the direct expression of mathematical structures, equipping programmers with tools of remarkable power and abstraction. Where would Haskell be without monads? Functional reactive programming without temporal logic? Call-by-push-value without adjunctions? The list goes on. This workshop is a forum for researchers who seek to reflect mathematical phenomena in data and control. The first MSFP workshop was held in Kuressaare, Estonia, in July 2006, affiliated with MPC 2006 and AMAST 2006. The second MSFP workshop was held in Reykjavik, Iceland as part of ICALP 2008. The third MSFP workshop was held in Baltimore, USA, as part of ICFP 2010. The fourth workshop was held in Tallinn, Estonia, as part of ETAPS 2012. The fifth workshop was held in Grenoble, France, as part of ETAPS 2014. Important Dates: ================ Abstract 10th January 2016 Submission 17th January 2016 Notification 17th February 2016 Final version 24th February 2016 Workshop 8th April 2016 Invited Speakers: ================= To be announced. Program Committee: ================== Zena Ariola, University of Oregon Robert Atkey, University of Strathclyde (co-chair) Ornela Dardha, University of Glasgow Helle Hvid Hansen, Delft University of Technology Chantal Keller, IUT d'Orsay Neelakantan Krishnaswami, University of Birmingham (co-chair) Nicolas Wu, University of Bristol Submission: =========== Papers must report previously unpublished work and not be submitted concurrently to another conference with refereed proceedings. Accepted papers must be presented at the workshop by one of the authors, and will be published under the auspices of EPTCS under a Creative Commons license. There is no specific page limit, but authors should strive for brevity. From compscience.announcement at gmail.com Tue Jan 5 17:47:40 2016 From: compscience.announcement at gmail.com (Klaus Havelund) Date: Tue, 5 Jan 2016 09:47:40 -0800 Subject: [Haskell] NFM 2016 - second call for papers Message-ID: NFM 2016 ? Second 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 tarmo at cs.ioc.ee Tue Jan 5 20:09:12 2016 From: tarmo at cs.ioc.ee (Tarmo Uustalu) Date: Tue, 5 Jan 2016 22:09:12 +0200 Subject: [Haskell] ETAPS 2016 satellite workshops joint call for papers Message-ID: <20160105220912.3be824f7@duality> Joint Call for Papers ETAPS 2016 Satellite Workshops Eindhoven, The Netherlands, 2-3 and 8 April 2016 http://www.etaps.org/2016/workshops ETAPS, the European Joint Conferences on Theory and Practice of Software, is the primary European forum for academic and industrial researchers working on topics relating to Software Science. The nineteenth edition, ETAPS 2016, will take place in Eindhoven, The Netherlands, 2-8 April 2016, and covers besides the main conferences ESOP, FASE, FOSSACS, POST and TACAS, a large number of satellite workshops and other events in the fields of Software Engineering, Formal Methods, Logics of Programs and the Theory of Computation. This is the joint call for papers for ETAPS 2016 for 21 satellite workshops with open calls. ETAPS satellite workshops will take place in the weekend of Saturday-Sunday, 2-3 April, before the ETAPS main conferences, and on Friday, 8 April, after them. For more information on ETAPS 2016, see http://www.etaps.org/2016/. Bx 2016: 5th International Workshop on Bidirectional Transformations, 8 April, organized by Anthony Anjorin, Jeremy Gibbons, and Perdita Stevens. Submission deadlines: abstracts 13 January / papers 20 January. See http://bx-community.wikidot.com/bx2016:home. CASSTING 2016: Workshop on Games for the Synthesis of Complex Systems, 2-3 April, organized by Thomas Brihaye and Nicolas Markey. Submission deadlines: papers 15 January; presentation extended abstracts 8 February. See http://www.cassting-project.eu/workshop2016/. CMCS 2016: 13th International Workshop on Coalgebraic Methods in Computer Science, 2-3 April, organized by Ichiro Hasuo. Submission deadlines: abstracts 4 January / papers 13 January; short contributions 22 February. See http://www.coalg.org/cmcs16/. CREST 2016: 1st Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, 8 April, organized by Gregor G??ler, Oleg Sokolsky. Submission deadlines: abstracts 10 January / papers 17 January. See http://crest2016.inria.fr/. DICE 2016: 7th International Workshop on Developments in Implicit Computational complExity, 2-3 April, organized by Damiano Mazza. Submission deadline: extended abstracts 31 January. See https://lipn.univ-paris13.fr/DICE2016/. FESCA 2016: 13th International Workshop on Formal Engineering approaches to Software Components and Architectures, 3 April, organized by Jan Kofro?, Jana Tumova, Barbora Buhnova. Submission deadlines: abstracts 4 January / papers 14 January. See http://d3s.mff.cuni.cz/conferences/fesca/. FMSPLE 2016: 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering, 3 April, organized by Julia Rubin, Thomas Th?m. Submission deadlines: abstracts 18 January / papers 25 January. See https://www.tu-braunschweig.de/isf/events/fmsple16. GaLoP 2016: Games for Logic and Programming Languages XI, 2-3 April, organized by Paul Levy. Submission deadline: 1-page abstracts 25 January. See http://www.gamesemantics.org/. GaM 2016: 2nd Graphs as Models Workshop, 2-3 April, organized by Anton Wijs, Aleks Kissinger, and Alexander Heu?ner. Submission deadline: papers, informal presentation and tool demos abstracts 15 January. See http://gam2016.swt-bamberg.de/. HCVS 2016: 3rd Workshop on Horn Clauses for Verification and Synthesis, 3 April, organized by John Gallagher and Philipp R?mmer. Submission deadlines: abstracts 25 January / papers, presentation extended abstracts 1 February. See http://hcvs2016.it.uu.se/. HotSpot 2016: 4th Workshop on Hot Issues in Security Principles and Trust, 3 April, organized Veronique Cortier. Submission deadline: papers 8 January. See http://www.loria.fr/~cortier/HotSpot2016/. MBT 2016: 11th Workshop on Model-Based Testing, 3 April, organized by Alexander K. Petrenko, Holger Schlingloff, and Nikolay Pakulin. MSFP 2016: 6th Workshop on Mathematically Structured Functional Programming, 8 April, organized by Robert Atkey and Neelakantan Krishnaswami. Submission deadlines: abstracts 10 January / papers 17 January. See http://msfp2016.bentnib.org/. PLACES 2016: 9th Workshop on Programming Language Approaches for Concurrency and Communication-cEntric Software, 8 April, organized by Dominic Orchard and Nobuko Yoshida. Submission deadlines: abstracts 8 January / extended abstracts 15 January. See http://places16.by.di.fc.ul.pt. QAPL 2016: 14th International Workshop on Quantitative Aspects of Programming Languages and Systems, 2-3 April, organized by Mirco Tribastone and Herbert Wiklicky. Submission deadline: papers 18 January. See http://qapl16.doc.ic.ac.uk/. RAC 2016: First international workshop on Resource Aware Computing, 2 April, organized by Kerstin Eder and Marko van Eekelen. Submission deadline: papers 11 January. See http://resourceanalysis.cs.ru.nl/rac2016/. SynCop 2016: 3rd International Workshop on Synthesis of Complex Parameters, 3 April, organized by ?tienne Andr? and Beno?t Delahaye. Submission deadlines: abstracts 10 January / papers 17 January. See http://lipn.univ-paris13.fr/SynCoP2016/. TermGraph 2016: 9th International Workshop on Computing with Terms and Graphs, 8 April, organized by Andrea Corradini and Hans Zantema. Submission deadline: extended abstracts 8 February. See http://www.win.tue.nl/~hzantema/tg.html. VerifyThis 2016: 5th Verification Competition, 2 April, organized by Marieke Huisman, Vladimir Klebanov, Rosemary Monahan, and Peter M?ller. See http://etaps2016.verifythis.org/. VPT 2016: 4th International Workshop on Verification and Program Transformation, 2 April, organized by Geoff Hamilton, Andrei Nemytykh, and Alexei Lisitsa. Submission deadlines: abstracts 11 January / papers 18 January. See http://refal.botik.ru/vpt/vpt2016/. WRLA 2016: 11th International Workshop on Rewriting Logic, 2-3 April, organized by Dorel Lucanu. Submission deadlines: abstracts 6 January / papers 10 January. See http://fmse.info.uaic.ro/events/WRLA2016/. ETAPS 2016 workshops chair: Erik de Vink, TU Eindhoven From ky3 at atamo.com Fri Jan 8 11:34:16 2016 From: ky3 at atamo.com (Kim-Ee Yeoh) Date: Fri, 8 Jan 2016 18:34:16 +0700 Subject: [Haskell] Haskell Weekly News Message-ID: Folks: Recall the quote from the May Day 2015 issue: The MLs and Haskell remind me of Brian Eno's line about how the first Velvet Underground album only sold 30,000 copies, but "everyone who bought one of those 30,000 copies started a band". This issue spotlights Elm and Idris, two languages implemented in Haskell. Enjoy! *Top Picks:* - Evan Czaplicki of the Elm web-front-end language leaves Prezi for NoRedInk . A startup dedicated to improving high-school English grammar, NoRedInk already employs 5 engineers writing Elm full-time. A HN comment hyperbolizes that Elm "is Clojure without parens, it's Haskell without academy, it's Redux without facebook, it's duck-typing without quacks, it's MVC without objects, and last but not least Evan Czaplicki (the creator) is the new Aaron Patterson (bright and fun!)." [Ed. Aaron is a Ruby and also Rails core dev.] - Janos Dobronszki, a self-described "Haskell addict, latent Idris fan", introduces Idris as "a language that will change the way you think about programming ." He motivates dependent types using the classic list vector example. The Hacker News community enthuses over the article with healthy signs of grassroots static-typing evangelism. Elsewhere, a haskell redditor obtains valuable answers about the tradeoffs that dependently typed programming incurs . - In "Monads to Machine Code (Part 1)" , Stephen Diehl walks his readers through an LLVM-like runtime machine code generation while introducing the x86 architecture all at the same time. No mean feat, what more x86 as opposed to a RISC architecture. Much-loved on HN . Also on haskell reddit . Compare to Lennart Augustsson's older series on code generation . Quality packages on hackage for runtime code generation include harpy and llvm-general . - A redditor wonders whether 3 nested loops written as a list comprehension compiles into the tight machine code version of 3 nested loops. Conspicuously absent in the discussion is mention of the Vector package and Don Stewart's 2010 achievements of tight loop optimization . *Quotes of the Week:* - ReinH: thanks puregreen for Lens over Tea series puregreen: is grinning all around ReinH: also thanks for not titling it "You could have written lens" johnw: ReinH, just skip to, "You could have been edwardk", it answer all other questions (Thanks to Gesh for the link.) - From HN: One thing I've learned from using immutable, functional languages (Elixir) is: "Don't tell your computer what to do, tell it how to transform data." While it may seem obvious, it's been a revelation for me and it has totally transformed how I write code, and especially how I test it. - From HN: FP people are nailing composability and reusability to never seen levels just in front of your eyes. You just have to keep them open to see. OOP did it at its time too, it just hit a ceiling; but there's one reason every imperative language is OOP nowadays. - From HN: As someone who learned Haskell and subsequently have been writing a lot of Python, I keep a mental tally of how many of my bugs (some of which took ages to track down) would have been caught immediately by a type system like Haskell's or Idris'. I'd say it's well over half. - From HN: Haskell syntax is the lingua franca when discussing anything related to data types and functional programming these days. *Videos of the Week:* - Watch LambdaConf 2015 , organized by John A. De Goes and professionally recorded by Confreaks . Richard Eisenberg presented on "A practical Introduction to GADTs" . The video recording gets love over at haskell reddit and even a talk summary. -- Kim-Ee -------------- next part -------------- An HTML attachment was scrubbed... URL: From tamarit27 at gmail.com Sat Jan 9 12:02:16 2016 From: tamarit27 at gmail.com (Salvador Tamarit) Date: Sat, 9 Jan 2016 13:02:16 +0100 Subject: [Haskell] CfP: Workshop on Program Transformation for Programmability in Heterogeneous Architectures (Co-located with CGO16); Deadline Jan 15 Message-ID: [Apologies if you receive multiple copies of this announcement.] ********************************************************************************* PROHA 2016, CALL FOR PAPERS First Workshop on Program Transformation for Programmability in Heterogeneous Architectures http://goo.gl/RzGbzY Barcelona, 12th March 2016, in conjunction with the CGO'16 Conference ********************************************************************************* Important Dates: Paper submission deadline: 15 January 2016 23:59 (UTC) Author notification: 5 February 2016 Final manuscript due: 26 February 2016 Scope: Developing and maintaining high-performance applications and libraries for heterogeneous architectures is a difficult task, usually requiring code transformations performed by an expert. Tools assisting in and, if possible, automating such transformations are of course of great interest. However, such tools require significant knowledge and reasoning capabilities. For example, the former could be a machine-understandable descriptions of what a piece of code is expected to do, while the latter could be a set of transformations and a corresponding logical context in which they are applicable, respectively. Furthermore, strategies to identify the sequence of transformations leading to the best resulting code need to be elaborated. This workshop will focus on techniques and foundations which make it possible to perform source code transformations, which preserve the intended semantics of the original code and improve efficiency, portability or maintainability. The topics of interest for the workshop include, but are not limited to: * Program annotations to capture algorithmic properties and intended code semantics. * Programming paradigms able to express underlying (mathematical) properties of code. * Usage of dynamic and static mechanisms to infer relevant code properties. * Transformations which preserve intended semantics. * Strategies to apply transformations. * Heuristics to guide program transformation and techniques to synthesize / learn these heuristics. * Tools Submission Guidelines: Submissions are to be written in English and not exceed 10 pages, including bibliography. Submissions should be written in ACM double-column format using a 10-point type. Authors should follow the information for formatting ACM SIGPLAN conference papers, which can be found at http://www.sigplan.org/Resources/Author . Authors should submit their papers in pdf format using the EasyChair submission website https://easychair.org/conferences/?conf=proha2016 . Publication: The proceedings will be made publicly available through ArXiV. Workshop Organizers: - Manuel Carro, IMDEA Software Institute and Technical University of Madrid - Colin W. Glass, University of Stuttgart - Jan Kuper, University of Twente - Julio Mari?o, Technical University of Madrid - Lutz Schubert, University of Ulm - Guillermo Vigueras, IMDEA Software Institute - Salvador Tamarit, Technical University of Madrid If you have any questions, please contact the program chair at manuel.carro at imdea.org -------------- next part -------------- An HTML attachment was scrubbed... URL: From comp.lang.haskell at liyang.hu Mon Jan 11 04:40:37 2016 From: comp.lang.haskell at liyang.hu (Liyang HU) Date: Mon, 11 Jan 2016 04:40:37 +0000 (UTC) Subject: [Haskell] ANN: true-name 0.1.0.0 released Message-ID: > Also sent to comp.lang.haskell.cafe, & to convince Gmane I'm not top-posting. It is with some shame that I announce ?true-name?, a package to assist one in violating those pesky module abstraction boundaries via the magick of Template Haskell. http://hackage.haskell.org/package/true-name Take ?Control.Concurrent.Chan? for example; you can get your grubby mitts on the ?Chan? data constructor, despite it not being exported. Here we pattern match on it, and bind ?chanR? and ?chanW? to the ?MVar?s containing the read and write ends of the channel respectively: > chan@[truename| ''Chan Chan | chanR chanW |] <- newChan > writeChan chan (42 :: Int) Now, the type of ?chanR? references the unexported ?Stream? and ?ChItem? types. We need the ?ChItem? data constructor?which is hidden under a few indirections?but that's not a problem: > streamR <- readMVar chanR > [truename| ''Chan Chan Stream ChItem ChItem | x _ |] <- readMVar streamR > putStrLn $ "chan contains: " ++ show x This gives us a rather dodgy ?peekChan?. This sort of thing is usually a Bad Idea?, but may sometimes be more palatable than the alternatives. Full example: https://github.com/liyang/true-name/blob/master/sanity.hs Taking another example, suppose we want the ?Array? type constructor hidden deep in the bowels of the ?HashMap? implementation: ghci> :set -XQuasiQuotes ghci> import Data.HashMap.Strict ghci> :kind [truename| ''HashMap Full Array |] [truename| ''HashMap Full Array |] :: * -> * The ?Array? data constructor is one more reification away: ghci> :type [truename| ''HashMap Full Array Array |] [truename| ''HashMap Full Array Array |] :: ghc-prim-0.4.0.0:GHC.Prim.Array# a -> unordered-containers-0.2.5.1:Data.HashMap.Array.Array a Please don't flame me. /Liyang From bob.atkey at gmail.com Tue Jan 12 11:30:54 2016 From: bob.atkey at gmail.com (Bob Atkey) Date: Tue, 12 Jan 2016 11:30:54 +0000 Subject: [Haskell] MSFP 2016: Final Call for Papers Message-ID: <5694E3EE.2080305@gmail.com> Sixth Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING 8 April 2016, in Eindhoven, The Netherlands A satellite workshop of ETAPS 2016 http://msfp2016.bentnib.org/ NOTE: the deadline for paper submissions has been extended by one day to: *Monday 18th January* Prior submission of an abstract is not required The sixth workshop on Mathematically Structured Functional Programming is devoted to the derivation of functionality from structure. It is a celebration of the direct impact of Theoretical Computer Science on programs as we write them today. Modern programming languages, and in particular functional languages, support the direct expression of mathematical structures, equipping programmers with tools of remarkable power and abstraction. Where would Haskell be without monads? Functional reactive programming without temporal logic? Call-by-push-value without adjunctions? The list goes on. This workshop is a forum for researchers who seek to reflect mathematical phenomena in data and control. The first MSFP workshop was held in Kuressaare, Estonia, in July 2006, affiliated with MPC 2006 and AMAST 2006. The second MSFP workshop was held in Reykjavik, Iceland as part of ICALP 2008. The third MSFP workshop was held in Baltimore, USA, as part of ICFP 2010. The fourth workshop was held in Tallinn, Estonia, as part of ETAPS 2012. The fifth workshop was held in Grenoble, France, as part of ETAPS 2014. Important Dates: ================ Submission 18th January 2016 Notification 17th February 2016 Final version 24th February 2016 Workshop 8th April 2016 Invited Speakers: ================= To be announced. Program Committee: ================== Zena Ariola, University of Oregon Robert Atkey, University of Strathclyde (co-chair) Ornela Dardha, University of Glasgow Helle Hvid Hansen, Delft University of Technology Chantal Keller, IUT d'Orsay Neelakantan Krishnaswami, University of Birmingham (co-chair) Nicolas Wu, University of Bristol Submission: =========== Papers must report previously unpublished work and not be submitted concurrently to another conference with refereed proceedings. Accepted papers must be presented at the workshop by one of the authors, and will be published under the auspices of EPTCS under a Creative Commons license. There is no specific page limit, but authors should strive for brevity. From Henrik.Nilsson at nottingham.ac.uk Wed Jan 13 18:41:43 2016 From: Henrik.Nilsson at nottingham.ac.uk (Henrik Nilsson) Date: Wed, 13 Jan 2016 18:41:43 +0000 Subject: [Haskell] Reminder: Call for papers EOOLT 2016 Message-ID: <56969A67.9080307@nottingham.ac.uk> Dear all, EOOLT 2016, the 7th Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, may be of interest to people working on e.g. functional reactive programming or more generally aspects of embedded declarative domain-specific languages. EOOLT 2016 is organised in cooperation with ACM SIGPPLAN and the submission deadline is 25 January. The CFP is enclosed below and full information is available here: http://www.eoolt.org/2016 All the best, /Henrik EOOLT 2016 April 18, Milano, Italy 7th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools Politecnico di Milano, Milano, Italy Deadline for paper submission: January 25, 2016 GENERAL CHAIR Francesco Casella Politecnico di Milano (DEIB) PROGRAM CHAIR Dirk Zimmer German Aerospace Center (DLR) The EOOLT workshop addresses the current state of the art of equation-based object-oriented (EOO) modeling languages and tools. Integration of and comparison with related approaches and languages, such as actor-oriented, synchronous, and domain specific languages, are of particular interest. Contributions to this workshop focus on methodological aspects and describe new solutions for the design and use of equation-based languages. In addition to full contributions, shorter work-in-progress paper are welcome, offering an opportunity to discuss current approaches within the community. Typical themes of the EOOLT workshop range from language design via modeling aspects to simulation code: ? Design aspects of equation-based languages and their formal semantics ? Relation to other languages such as functional reactive programming (FRP) or synchronous languages ? Verification, type systems, and early static checking ? Discrete-event and hybrid system modeling ? Acausality/non-causality and its role in model reusability ? Multi-resolution/multi-scale modeling using EOO languages ? Model-driven development related to EOO languages ? Equation-based modeling in the frame of system engineering ? Reflection and meta-programming ? Environments for modeling, simulation and debugging ? Mathematical formalisms for simulation semantics ? Code generation for real-time systems, embedded system, multi-core platforms, and distributed systems ? Tools for analyzing or optimizing equation-based models -- 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 mail at stefanwehr.de Thu Jan 14 09:15:05 2016 From: mail at stefanwehr.de (Stefan Wehr) Date: Thu, 14 Jan 2016 09:15:05 +0000 Subject: [Haskell] Call for Participation: BOB 2016 (February 19, Berlin) Message-ID: Quick reminder: the early registration deadline for BOB 2016 is this Sunday! We have some interesting Haskell talks and tutorials at BOB 2016! ================================================================ BOB 2016 Conference "What happens if we simply use what's best?" February 19, 2016 Berlin http://bobkonf.de/2016/ Program: http://bobkonf.de/2016/program.html Registration: http://bobkonf.de/2016/registration.html ================================================================ BOB is the conference for developers, architects and decision-makers to explore technologies beyond the mainstream in software development, and to find the best tools available to software developers today. Our goal is for all participants of BOB to return home with new insights that enable them to improve their own software development experiences. The program features 14 talks and 8 tutorials on current topics: http://bobkonf.de/2016/program.html The subject range of talks includes functional programming, advanced front-end development, data management, and sophisticated uses of types. The tutorials feature introductions to Erlang, Haskell, Scala, Isabelle, Purescript, Idris, Akka HTTP, and Specification by Example. Elise Huard will hold the keynote talk - about Languages We Love. Registration is open online: http://bobkonf.de/2016/registration.html NOTE: The early-bird rates expire on January 17, 2016! BOB cooperates with the :clojured conference on the following day. There is a registration discount available for participants of both events. http://www.clojured.de/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From ky3 at atamo.com Fri Jan 15 11:01:55 2016 From: ky3 at atamo.com (Kim-Ee Yeoh) Date: Fri, 15 Jan 2016 18:01:55 +0700 Subject: [Haskell] Haskell Weekly News Message-ID: *Top Picks:* - Team GHC announces the first release candidate of version 8.0 . New features include: - Strict and StrictData extensions - TypeFamilyDependencies extension for injective type families - TypeInType extension for more dependent typing hackery - explicit type application in plain Haskell, not Core - Applicative do-notation - a spanking new pattern-match checker - modularization of the ghci interpreter: it can now run as an independent process Note that the announcement includes a list of bugs linked to the new features. - The engineers at an Australian real estate listings website explain how they "used Category Theory to solve a problem in Java." They face the problem of their search API having grown gnarly and inextensible. First they offer a monoid tutorial culminating in SearchResults -> SearchResults endomorphisms. Then they regularize their database lookups as Kleisli-composable instances of a monomorphic state monad of type (DataSource, SearchResults) -> SearchResults. Finally, they profunctorize the state monad for mereological development of the DataSource. So how was the blog post received? A vocal section of the HN community express skepticism . One haskell subredditor found it "an excellent article." - Verity Stob , the doyen of information technology satire, skewers the cargo culting of Functional Programming and by the by writes a monad tutorial (omg!). Haskell redditors chuckle and cluck at the hatchet job . - Team Wander Nauta creates Viskell , "an experimental visual programming environment for a typed (Haskell-like) functional programming language." Programming with touch tablets in mind, he implements Viskell in Java 8 because "Haskell lacks suitable GUI libraries, and we need good multi-touch support." A slides PDF contains more screenshots. Well-received on both Hacker News and /r/haskell . *Quotes of the Week:* - Tom Ellis: In Haskell you don't fight the type system. It fights your bugs. - Jeremy Bowers: The reason I find Haskell interesting is precisely that it's the only place I know where the theoretically-minded and the practically-minded get together and interpollinate. Everywhere else the one group pretty much just sneers at the other. - Redditor lukewarm: Yes, you can write industry quality software in Haskell. Do all your computations in the IO monad, keep intermediate results in MVars. Use only Int and String types. Use exceptions to handle errors. Write yourself custom constructs to emulate for and while loops, preferably using Template Haskell. -- Kim-Ee -------------- next part -------------- An HTML attachment was scrubbed... URL: From ylies.falcone at imag.fr Fri Jan 15 17:49:22 2016 From: ylies.falcone at imag.fr (=?utf-8?Q?Yli=C3=A8s_Falcone?=) Date: Fri, 15 Jan 2016 18:49:22 +0100 Subject: [Haskell] RV 2016, Sept 23-30 2016, Madrid, Spain - 1st Call for Papers and Tutorials Message-ID: <2382BF8E-E2CC-4E2C-8A04-439788CD83B6@imag.fr> RV 2016 16th International Conference on Runtime Verification September 23-30, Madrid, Spain http://rv2016.imag.fr Scope Runtime verification is concerned with monitoring and analysis of software and hardware system executions. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for testing, verification, and debugging purposes, and after deployment for ensuring reliability, safety, and security and for providing fault containment and recovery as well as online system repair. Topics of interest to the conference include: - specification languages - specification mining - program instrumentation - monitor construction techniques - logging, recording, and replay - runtime enforcement, fault detection, localization, containment, recovery and repair - program steering and adaptation - metrics and statistical information gathering - combination of static and dynamic analyses - program execution visualization - monitoring techniques for safety/mission-critical systems - monitoring distributed systems, cloud services, and big data applications - monitoring security and privacy policies Application areas of runtime verification include cyber-physical systems, safety/mission-critical systems, enterprise and systems software, autonomous and reactive control systems, health management and diagnosis systems, and system security and privacy. Invited Speakers The program of RV 2016 will feature invited talks from: Gul Agha (University of Illinois at Urbana-Champaign, USA) Oded Maler (CNRS and University of Grenoble-Alpes, France) Fred B. Schneider (Cornell University, USA) Overview RV 2016 will be held September 23-30 in Madrid, Spain. RV 2016 will feature the first summer school on Runtime Verification (September 23-25), two workshop days (September 26-25), and three conference days (September 28-30). General Information on Submissions All papers and tutorials will appear in the conference proceedings in an LNCS volume. Submitted papers and tutorials must use the LNCS/Springer style. At least one author of each accepted paper and tutorial must attend RV 2016 to present the paper. Papers must be written in English and submitted electronically (in PDF format) using the EasyChair system. The below page limitations include all text and figures, but exclude references. Additional details omitted due to space limitations may be included in a clearly marked appendix that will be reviewed at the discretion of reviewers. Research Papers Track Research papers can be submitted in two categories: regular and short papers. Papers in both categories will be reviewed by at least 3 members of the Program Committee. Regular Papers (up to 15 pages) should present original unpublished results. Theoretical papers, system and application papers as well as case studies on runtime verification are all welcome. The Program Committee of RV 2015 will give a best paper award. A selection of accepted regular papers will be invited to appear in a special issue of the Springer Journal on Formal Methods in System Design. Short Papers (up to 6 pages) may present novel but not necessarily thoroughly worked out ideas, for example emerging runtime verification techniques and applications, or techniques and applications that establish relationships between runtime verification and other domains. Accepted short papers will be presented in special talk (15 minutes) and poster sessions. Tool Papers Track The aim of the RV 2016 tool track is to provide an opportunity for researchers and practitioners to show and to discuss the latest advances, experiences and challenges in devising and developing reliable software tools for runtime verification. All tool papers will be reviewed by at least 3 members of the Tool Committee. An author of each accepted tool paper should give a 15-20 minutes demonstration during the conference. All tool papers must include information on tool availability, maturity, selected experimental results and it should provide a link to a website containing the theoretical background and user guide. Furthermore, we strongly encourage authors to make their tools and benchmarks available with their submission. We encourage tool papers to include a script in an appendix (not included in the page count) describing how the demo will be conducted during the conference presentation with screenshots presenting step-by-step the tool?s capabilities, highlighting the main characteristics and the usage. Tool papers can be submitted into two categories: Regular Tool Papers (up to 8 pages). A tool paper in this category should present a new tool, a new tool component or significant and novel extensions to existing tools supporting runtime verification. Each submission should be original and not published previously in a tool paper form. Tool Exhibition Papers (up to 4 pages). A tool paper in this category can have been previously published. A tool paper in this category should be oriented towards the tool usage and is an opportunity for the developers to present them at RV 2016. Tutorial Track Tutorials are two-to-three-hour presentations on a selected topic. Additionally, tutorial presenters will be offered to publish a paper of up to 20 pages in the LNCS conference proceedings. A proposal for a tutorial must contain the subject of the tutorial, a proposed timeline, a note on previous similar tutorials (if applicable) and the differences to this incarnation, and a biography of the presenter. The proposal must not exceed 2 pages. Tutorial proposals will be reviewed by the Program Committee. Important Dates Research and tool papers as well as tutorials will follow the following timeline: Abstract deadline: May 8, 2016 Paper and tutorial deadline: May 15, 2016 Tutorial notification: June 1, 2016 Paper notification: July 11, 2016 Camera ready deadline: August 8, 2016 Summer school: September 23-25, 2016 Workshops and tutorials: September 26-27, 2016 Conference: September 28-30, 2016 Committees Program Committee Chairs Yli?s Falcone, Univ. Grenoble-Alpes and Inria, France Cesar Sanchez, IMDEA Software, Madrid, Spain Tool Committee Chair Klaus Havelund, NASA Jet Propulsion Laboratory, USA Local Organization Chair Juan E. Tapiador, Universidad Carlos III de Madrid, Spain Program Committee Erika Abraham, RWTH Aachen University, Germany Howard Barringer, The University of Manchester, UK Ezio Bartocci, TU Wien, Austria Andreas Bauer, NICTA & Australian National University, Australia Saddek Bensalem, Univ. Grenoble Alpes, France Eric Bodden, Fraunhofer SIT and Technische University Darmstadt, Germany Borzoo Bonakdarpour, McMaster University, Canada Laura Bozzelli, Technical University of Madrid (UPM), Spain Juan Caballero, IMDEA Software Institute, Spain Wei-Ngan Chin, National University of Singapore, Singapore Christian Colombo, University of Malta, Malta Jyotirmoy Deshmukh, Toyota Technical Center, USA Alexandre Donz?, UC Berkeley EECS Department, USA Yli?s Falcone, Univ. Grenoble Alpes and Inria, France Bernd Finkbeiner, Saarland University, Germany Adrian Francalanza, University of Malta, Malta Vijay Garg, The University of Texas at Austin, USA Patrice Godefroid, Microsoft Research, USA Susanne Graf, Univ. Grenoble Alpes and CNRS, France Radu Grosu, Vienna University of Technology, Austria Sylvain Hall?, Universit? du Qu?bec ? Chicoutimi, Canada Klaus Havelund, NASA Jet Propulsion Laboratory, USA Johan Jaffar, National University of Singapore, Singapore Thierry J?ron, Inria Rennes ? Bretagne Atlantique, France Johannes Kinder, Royal Holloway University of London, UK Felix Klaedtke, NEC Europe Ltd., Germany Kim G. Larsen, Aalborg University, Denmark Axel Legay, Inria Rennes ? Bretagne Atlantique, France Martin Leucker, University of L?beck, Germany Benjamin Livshits, Microsoft Research, USA Joao Louren?o, Universidade Nova de Lisboa, Portugal Rupak Majumdar, MPI-SWS, Germany Leonardo Mariani, University of Milano Bicocca, Italy David Naumann, Stevens Institute of Technology, USA Dejan Nickovic, Austrian Institute of Technology, Austria Gordon Pace, University of Malta, Malta Doron Peled, Bar Ilan University, Israel Lee Pike, Galois, Inc., USA Grigore Rosu, University of Illinois at Urbana-Champaign, USA Gwen Sala?n, Univ. Grenoble Alpes and Inria, France Cesar Sanchez, IMDEA Software Institute, Spain Sriram Sankaranarayanan, University of Colorado Boulder, USA Gerardo Schneider, University of Gothenburg, Sweden Scott Smolka, Stony Brook University, USA Oleg Sokolsky, University of Pennsylvania, USA Bernhard Steffen, University of Dortmund, Germany Scott Stoller, Stony Brook University, USA Volder Stolz, University of Oslo, Norway Jun Sun, Singapore University of Technology and Design, Singapore Juan Tapiador, Universidad Carlos III de Madrid, Spain Serdar Tasiran, Koc Univ., Turkey Michael Whalen, University of Minnesota, USA Eugen Zalinescu, ETH Zurich, Switzerland Lenore Zuck, University of Illinois at Chicago, USA Tool Committee Steven Artz, EC Spride, Germany Howard Barringer, The University of Manchester, UK Ezio Bartocci, TU Wien, Austria Martin Leucker, University of Luebeck, Germany Gordon Pace, University of Malta, Malta Giles Reger, The University of Manchester, UK Julien Signoles, CEA, France Oleg Sokolsky, University of Pennsylvania, USA Bernhard Steffen, University of Dortmund, Germany Nikolai Tillmann, Microsoft Research, USA Eugen Zalinescu, ETH Zurich, Switzerland -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: madrid.jpeg Type: image/jpeg Size: 134903 bytes Desc: not available URL: -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: cfp.pdf Type: application/pdf Size: 236782 bytes Desc: not available URL: -------------- next part -------------- An HTML attachment was scrubbed... URL: From tamarit27 at gmail.com Sat Jan 16 20:25:07 2016 From: tamarit27 at gmail.com (Salvador Tamarit) Date: Sat, 16 Jan 2016 21:25:07 +0100 Subject: [Haskell] CfP: Workshop on Program Transformation for Programmability in Heterogeneous Architectures (Co-located with CGO16); Deadline Jan 22 [Extended] Message-ID: [Apologies if you receive multiple copies of this announcement.] ********************************************************************************* PROHA 2016, CALL FOR PAPERS -- Deadline extension First Workshop on Program Transformation for Programmability in Heterogeneous Architectures http://goo.gl/RzGbzY Barcelona, 12th March 2016, in conjunction with the CGO'16 Conference ********************************************************************************* Important Dates: Paper submission deadline: 22 January 2016 23:59 (UTC) [Extended] Author notification: 5 February 2016 Final manuscript due: 26 February 2016 Scope: Developing and maintaining high-performance applications and libraries for heterogeneous architectures is a difficult task, usually requiring code transformations performed by an expert. Tools assisting in and, if possible, automating such transformations are of course of great interest. However, such tools require significant knowledge and reasoning capabilities. For example, the former could be a machine-understandable descriptions of what a piece of code is expected to do, while the latter could be a set of transformations and a corresponding logical context in which they are applicable, respectively. Furthermore, strategies to identify the sequence of transformations leading to the best resulting code need to be elaborated. This workshop will focus on techniques and foundations which make it possible to perform source code transformations, which preserve the intended semantics of the original code and improve efficiency, portability or maintainability. The topics of interest for the workshop include, but are not limited to: * Program annotations to capture algorithmic properties and intended code semantics. * Programming paradigms able to express underlying (mathematical) properties of code. * Usage of dynamic and static mechanisms to infer relevant code properties. * Transformations which preserve intended semantics. * Strategies to apply transformations. * Heuristics to guide program transformation and techniques to synthesize / learn these heuristics. * Tools Submission Guidelines: Submissions are to be written in English and not exceed 10 pages, including bibliography. Submissions should be written in ACM double-column format using a 10-point type. Authors should follow the information for formatting ACM SIGPLAN conference papers, which can be found at http://www.sigplan.org/Resources/Author . Authors should submit their papers in pdf format using the EasyChair submission website https://easychair.org/conferences/?conf=proha2016 . Publication: The proceedings will be made publicly available through ArXiV. Workshop Organizers: - Manuel Carro, IMDEA Software Institute and Technical University of Madrid - Colin W. Glass, University of Stuttgart - Jan Kuper, University of Twente - Julio Mari?o, Technical University of Madrid - Lutz Schubert, University of Ulm - Guillermo Vigueras, IMDEA Software Institute - Salvador Tamarit, Technical University of Madrid If you have any questions, please contact the program chair at manuel.carro at imdea.org -------------- next part -------------- An HTML attachment was scrubbed... URL: From dons00 at gmail.com Mon Jan 18 10:21:56 2016 From: dons00 at gmail.com (Don Stewart) Date: Mon, 18 Jan 2016 10:21:56 +0000 Subject: [Haskell] Haskell dev roles with Strats at Standard Chartered Message-ID: Hi folks, I'm hiring 3 more devs to write Haskell for Standard Chartered in London and Singapore. Details of the roles below, but broadly in FX algo pricing and pricing automation. Ability to write "tight" total Haskell that can run 24/7 and do the right thing is needed. https://donsbot.wordpress.com/2016/01/18/haskell-developer-roles-at-standard-chartered-london-singapore/ CVs to me at Standard Chartered -- Don -------------- next part -------------- An HTML attachment was scrubbed... URL: From storm at cwi.nl Tue Jan 19 13:45:09 2016 From: storm at cwi.nl (Tijs van der Storm) Date: Tue, 19 Jan 2016 14:45:09 +0100 Subject: [Haskell] 1st Call for Contributions for SPLASH'16: OOPSLA, Onward!, Workshops, DLS, SLE, GPCE Message-ID: /************************************************************************************/ ACM Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH'16) Amsterdam, The Netherlands Sun 30th October - Fri 4th November , 2016 http://2016.splashcon.org Sponsored by ACM SIGPLAN /************************************************************************************/ FIRST COMBINED CALL FOR CONTRIBUTIONS: OOPSLA Onward! Workshops Doctoral Symposium Posters Dynamic Languages Symposium (DLS) Software Language Engineering (SLE) Generative Programming: Concepts & Experiences (GPCE) /************************************************************************************/ # SPLASH 2016 The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software construction, to make it the premier conference at the intersection of programming, languages, systems, and software engineering. We invite high quality submissions describing original and unpublished work. ## OOPSLA Research Papers Papers that address any aspect of software development are welcome, including requirements, modeling, prototyping, design, implementation, generation, analysis, verification, testing, evaluation, maintenance, reuse, replacement, and retirement of software systems. Papers may address these topics in a variety of ways, including new tools (such as languages, program analyses, and runtime systems), new techniques (such as methodologies, design processes, code organization approaches, and management techniques), and new evaluations (such as formalisms and proofs, corpora analyses, user studies, and surveys). Submissions due: Wed 23 March, 2016 http://2016.splashcon.org/track/splash-2016-oopsla ## Onward! Research Papers Onward! is a premier multidisciplinary conference focused on everything to do with programming and software: including processes, methods, languages, communities, and applications. Onward! is more radical, more visionary, and more open than other conferences to ideas that are well-argued but not yet proven. We welcome different ways of thinking about, approaching, and reporting on programming language and software engineering research. Submissions due: Fri 1 April, 2016 http://2016.splashcon.org/track/onward2016/onward-2016-papers ## Onward! Essays Onward! Essays is looking for clear and compelling pieces of writing about topics important to the software community. An essay can be an exploration of a topic, its impact, or the circumstances of its creation; it can present a personal view of what is, explore a terrain, or lead the reader in an act of discovery; it can be a philosophical digression or a deep analysis. It can describe a personal journey, perhaps by which the author reached an understanding of such a topic. The subject area should be interpreted broadly and can include the relationship of software to human endeavors, or its philosophical, sociological, psychological, historical, or anthropological underpinnings. Submissions due: Fri 1 April, 2016 http://2016.splashcon.org/track/onward2016/onward2016-essays ## Workshops The SPLASH Workshops track will host a variety of high-quality workshops, allowing their participants to meet and discuss research questions with peers, to mature new and exciting ideas, and to build up communities and start new collaborations. SPLASH workshops complement the main tracks of the conference and provide meetings in a smaller and more specialized setting. Workshops cultivate new ideas and concepts for the future, optionally recorded in formal proceedings. Late Phase Submissions of Workshop Proposals due: Fri 4 Mar, 2016 http://2016.splashcon.org/track/splash2016-workshops ## Doctoral Symposium The SPLASH Doctoral Symposium provides students with useful guidance for completing their dissertation research and beginning their research careers. The Symposium will provide an interactive forum for doctoral students who have progressed far enough in their research to have a structured proposal, but will not be defending their dissertation in the next 12 months. Submissions due: Thu 30 Jun, 2016 http://2016.splashcon.org/track/splash-2016-ds ## Posters The SPLASH Poster track provides an excellent forum for authors to present their recent or ongoing projects in an interactive setting, and receive feedback from the community. We invite submissions covering any aspect of programming, systems, languages and applications. The goal of the poster session is to encourage and facilitate small groups of individuals interested in a technical area to gather and interact. Poster submissions due: Fri 8 Jul, 2016 http://2016.splashcon.org/track/splash-2016-posters ## Dynamic Languages Symposium (DLS) DLS is the premier forum for researchers and practitioners to share knowledge and research on dynamic languages, their implementation, and applications. The influence of dynamic languages ? from Lisp to Smalltalk to Python to Javascript ? on real-world practice, and research, continues to grow. We invite high quality papers reporting original research, innovative contributions, or experience related to dynamic languages, their implementation, and applications. Submissions due: Fri 10 June, 2016 http://2016.splashcon.org/track/dls-2016/dls-2016-papers ## Software Language Engineering (SLE) Software Language Engineering (SLE) is the application of systematic, disciplined, and measurable approaches to the development, use, deployment, and maintenance of software languages. The term ?software language? is used broadly, and includes: general-purpose programming languages; domain-specific languages (e.g. BPMN, Simulink, Modelica); modeling and metamodeling languages (e.g. SysML and UML); data models and ontologies (e.g. XML-based and OWL-based languages and vocabularies). SLE solicits high-quality contributions in areas ranging from theoretical and conceptual contributions to tools, techniques, and frameworks in the domain of language engineering. Submissions due: Fri 17 June, 2016 (abstracts); Fri 24 June, 2016 (papers) http://2016.splashcon.org/track/sle-2016/sle-2016-papers ## Generative Programming: Concepts & Experiences (GPCE) The International Conference on Generative Programming: Concepts & Experiences (GPCE) is a venue for researchers and practitioners interested in techniques that use program generation, domain-specific languages, and component deployment to increase programmer productivity, improve software quality, and shorten the time-to-market of software products. In addition to exploring cutting-edge techniques of generative software, our goal is to foster further cross-fertilization between the software engineering and the programming languages research communities. Submissions due: Fri 17 June, 2016 (abstracts); Fri 24 June, 2016 (papers) http://2016.splashcon.org/track/gpce-2016/gpce-2016-papers ## Information Contact: publicity at splashcon.org Website: http://2016.splashcon.org Location: M?venpick Hotel Amsterdam City Centre Amsterdam, The Netherlands ## Organization: SPLASH General Chair: Eelco Visser (TU Delft) OOPSLA Papers Chair: Yannis Smaragdakis (University of Athens) Onward! Papers Chair: Emerson Murphy-Hill (North Carolina State University) Onward! Essays Chair: Crista Lopes (University of California, Irvine) DLS PC Chair: Roberto Ierusalimschy (PUC-Rio) SLE PC Co-Chairs: Emilie Balland (Sensational AG) and Daniel Varro (Budapest University of Technology and Economics) GPCE PC Chair: Ina Schaefer (TU Braunschweig) Doctoral Symposium Chair: Matthew Flatt (University of Utah) SPLASH-E Co-Chair: Matthias Hauswirth (University of Lugano) and Steve Blackburn (Australian National University) SPLASH-I Co-Chairs: Eelco Visser (TU Delft) and Tijs van der Storm (CWI) Artifacts Co-Chairs: Michael Hind (IBM Research) and Michael Bond (Ohio State University) Workshops Co-Chairs: Jan Rellermeyer (IBM Research) and Craig Anslow (Middlesex University, London) Posters Co-Chairs: Sebastian Erdweg (TU Darmstadt) and Jeff Huang (Texas A&M University) Student Research Competition Co-Chairs: Patrick Lam (University of Waterloo) and Sam Guyer (Tufts University) Student Volunteer Co-Chairs: Daco Harkes (TU Delft) and Giovanni Viviani (University of British Columbia) Publications Chair: Alex Potanin (Victoria University of Wellington) Sponsorship Chair: Jurgen Vinju (Purdue University) Publicity and Web Co-Chairs: Tijs van der Storm (CWI) and Ron Garcia (University of British Columbia) Web Technology Chair: Eelco Visser (TU Delft) /************************************************************************************/ -- Researcher Centrum Wiskunde & Informatica (CWI) Master of Software Engineering Universiteit van Amsterdam (UvA) Dr. Tijs van der Storm @ Centrum Wiskunde & Informatica (CWI) Office: L225 | Phone: +31 (0)20 5924164 | Address: Science Park 123 P.O. Box 94079 | Postal code: 1090 GB | Amsterdam, The Netherlands -------------- next part -------------- An HTML attachment was scrubbed... URL: From ky3 at atamo.com Fri Jan 22 17:00:51 2016 From: ky3 at atamo.com (Kim-Ee Yeoh) Date: Sat, 23 Jan 2016 00:00:51 +0700 Subject: [Haskell] Haskell Weekly News Message-ID: Dear Gentle Reader, Many, many beautiful gems in the Haskell Weekly News archives are worth a second look. To give you a taste, I reproduce below excerpts from the quotes section of the Jan 31, 2007 issue -- yes, that's 9 years ago -- under the editorship of Don Stewart. Enjoy. Best, Kim-Ee Yeoh *Top Picks* - Edsko de Vries designs O(1)-amortized and O(1)-worst-case queues using a technique different from the standard literature by Chris Okasaki. In particular, the O(1)-worst-case queue employs a Progress datatype that could be reused to also optimize data structures other than queues. On the other hand, Lennart Augustsson on /r/haskell was pleased as a plum until he saw the unsafeInterleaveST required to pull off the Progress technique. Elsewhere, Hacker News rates the article highly enough for it to stay on the front page for five hours . However, the comments there belie that the advanced Haskell goes swoosh over the head of the average HN reader. - Philipp Schuster sketches a FRP implementation based on temporal logic . Neel Krishnaswami explains on /r/haskell why it suffers from space leaks like most other FRP implementations and ways of fixing it. - Dan Burton reports that the latest version 0.10 of the json parsing package aeson suffers from deal-breaking bugs . Aeson author Bryan O'Sullivan, of an older email-centered generation, explains that he has "a life outside of checking github issues" in the /r/haskell discussion . In any case, the next stepping 5 of Stackage LTS rolls it back to version 0.9 . - A redditor asks, "What's the TypeInType extension planned for the upcoming version 8 of GHC?" The short answer is that it's used for dependent type programming. Detailed answers can be found in the actual /r/haskell Q&A . - GHC on ARM used to suffer over 100 failures on the testsuite . Ben Gamari girds his loins and over the last 6 weeks battled against "the villains that plague this poor architecture." Result? Nightly builds now compile clean. Go Ben! *A Blast from the Past (Quotes from #Haskell IRC):* - *huschi:* Programing in haskell seems a bit frustrating. i'm missing searching for errors :( - *bakert:* I know all my programs can be reduced to only one tenth the size if only I can learn all these crazy functions *Quote of the Week* - Will Jones: The more I write Haskell, the more it feels like Forth. Where I'm basically just inventing a language for my problem, then writing the program in that instead. (Ed. Dear Will: Remember how Dijkstra once said "Always design your programs as a member of a whole family of programs, including those that are likely to succeed it"? He would have warmly congratulated you on your discovery.) -- Kim-Ee Yeoh -------------- next part -------------- An HTML attachment was scrubbed... URL: From Rachid.Echahed at imag.fr Tue Jan 26 12:43:01 2016 From: Rachid.Echahed at imag.fr (Rachid Echahed) Date: Tue, 26 Jan 2016 13:43:01 +0100 Subject: [Haskell] 2nd CFP. Int. Conf. Graph Transformation, Vienna July 2016 Message-ID: <56A769D5.8070904@imag.fr> [Apologies if you receive multiple copies of this CFP] ============================================================================== Second Call for Papers ICGT 2016 9th International Conference on Graph Transformation www.graph-transformation.org Held as Part of STAF 2016 http://staf2016.conf.tuwien.ac.at/ July 5-6, 2016, Vienna, Austria ============================================================================== Important Dates: Abstract submission: 15 February 2016 Full paper submission: 29 February 2016 Notification of acceptance: 07 April 2016 Final version due: 21 April 2016 Conference: 5-6 July 2016 ============================================================================== Invited Speaker: We are pleased to announce Juergen Dingel (Queen's University, Ontario, Canada) as invited speaker. ============================================================================== Scope: Graphs are used almost everywhere when representing or modelling structures and systems, not only in applied and theoretical computer science, but also in, e.g., natural and engineering sciences. Graph transformation and graph grammars are the fundamental modelling paradigms for describing, formalizing, and analyzing graphs that change over time when modelling, e.g., dynamic data structures, systems, or models. The International Conference on Graph Transformation (ICGT) series aims to bring together researchers from different areas in this context and to provide a forum for presenting new results, discussing novel ideas and sharing experience. In order to foster a lively exchange of perspectives on the subject of the conference, the programme committee of the ninth edition of ICGT encourages all kinds of contributions related to graph transformation. Topics of interest include, BUT ARE NOT LIMITED TO the following subjects: - General models of graph transformation (e.g., high-level, adhesive, node, edge, and hyperedge replacement systems) - Analysis and verification of graph transformation systems - Graph theoretical properties of graph languages - Automata on graphs and parsing of graph languages - Logical aspects of graph transformation - Computational models based on graph transformation - Structuring and modularization concepts for graph transformation systems - Hierarchical graphs and decompositions of graphs - Parallel, concurrent, and distributed graph transformation - Modelling and analysis of dynamic data structures - Term graph rewriting - Graph transformation and Petri nets - Ontologies and ontology evolution - Graph databases - Modelling and realizing software architectures, refactoring, evolution, workflows, business processes, access control, security policies, service-oriented applications, semantic web, ... - Natural language processing, natural computing, bioinformatics, quantum computing, ubiquitous computing, visual computing, image generation, natural and engineering sciences, ... - Model-driven development and model transformation based on graph transformation - Model checking, program verification, simulation and animation - Syntax, semantics and implementation of programming languages, domain-specific languages, and visual languages - Graph transformation languages and tool support - Efficient algorithms (pattern matching, graph traversal etc.) The 9th International Conference on Graph Transformation (ICGT 2016) will be held in Vienna, Austria, as a STAF event (http://staf2016.conf.tuwien.ac.at/). The conference takes place under the auspices of EATCS (http://www.eatcs.org/), EASST (http://www.easst.org/), and IFIP (http://www.ifip.org/) WG 1.3. Program Committee ----------------- Rachid Echahed (Co-Chair, CNRS and University of Grenoble Alpes, France) Mark Minas (Co-Chair, Universit??t der Bundeswehr M??nchen, Germany) G??bor Bergmann (Budapest University of Technology and Economics, Hungary) Paolo Bottoni (Sapienza Univ. di Roma, Italy) Andrea Corradini (Universit? di Pisa, Italy) Juan de Lara (Universidad Autonoma de Madrid, Spain) Frank Drewes (Ume?? University, Sweden) Claudia Ermel (Technische Universit??t Berlin, Germany) Holger Giese (Hasso Plattner Institute, University of Potsdam, Germany) Annegret Habel (Universit??t Oldenburg, Germany) Reiko Heckel (University of Leicester, UK) Berthold Hoffmann (Universit??t Bremen, Germany) Dirk Janssens (Universiteit Antwerpen, Belgium) Barbara K??nig (University of Duisburg-Essen, Germany) Christian Krause (SAP Innovation Centre Potsdam, Germany) Sabine Kuske (Universit??t Bremen, Germany) Leen Lambers (Hasso Plattner Institute, University of Potsdam, Germany) Yngve Lamo (Bergen University College, Norway) Tiham??r Levendovszky (Vanderbilt University, USA) Mohamed Mosbah (LaBRI , Universit?? de Bordeaux, France) Fernando Orejas (Technical University of Catalonia, Spain) Francesco Parisi-Presicce (Sapienza Univ. di Roma, Italy) Detlef Plump (University of York, UK) Arend Rensink (University of Twente, The Netherlands) Leila Ribeiro (Universidade Federal do Rio Grande do Sul, Brazil) Andy Sch??rr (Technische Universit??t Darmstadt, Germany) Martin Strecker (Universit?? de Toulouse, France) Gabriele Taentzer (Philipps-Universit??t Marburg, Germany) Matthias Tichy (University of Ulm, Germany) Pieter Van Gorp (Eindhoven University of Technology, The Netherlands) Hans Vangheluwe (Universiteit Antwerpen, Belgium) Bernhard Westfechtel (University of Bayreuth, Germany) Albert Z??ndorf (Kassel University, Germany) Paper Submission ---------------- Papers are solicited in three categories: * Research papers (limited to 16 pages in Springer LNCS format) describe innovative contributions and are evaluated with respect to their originality, significance, and technical soundness. Additional material intended for reviewers but not for publication in the final version may be included in a clearly marked appendix. * Case studies (limited to 12 pages in Springer LNCS format) describe applications of graph transformations in any application domain. * Tool presentation papers (limited to 12 pages in Springer LNCS format) demonstrate the main features and functionality of graph-based tools. A tool presentation paper may have an appendix with a detailed demo description (up to 5 pages), which will be reviewed but not included in the proceedings. Papers can be submitted athttp://www.easychair.org/conferences/?conf=icgt2016. Submitted papers must use Springer's LNCS format (http://www.springer.com/lncs). Simultaneous submission to other conferences with proceedings or submission of material that has already been published elsewhere is not allowed. The page limits are strict and include references. Proceedings will be published by Springer in the Lecture Notes in Computer Science (http://www.springer.com/lncs) series. Important Dates --------------- Abstract submission: 15 February 2016 Full paper submission: 29 February 2016 Notification of acceptance: 07 April 2016 Final version due: 21 April 2016 Conference: 5-6 July 2016 Further Information ------------------- Web page:http://www.graph-transformation.org https://sites.google.com/site/icgt2016/ Contact:icgt2016 at gmail.com From chak at justtesting.org Wed Jan 27 01:37:46 2016 From: chak at justtesting.org (Manuel M T Chakravarty) Date: Wed, 27 Jan 2016 12:37:46 +1100 Subject: [Haskell] ANNOUNCE: Haskell for Mac, 1.1 Message-ID: Haskell for Mac, the interactive Haskell development environment for OS X, has just received a significant update. In particular, the new command line tool integration essentially turns it into a full GHC distribution for OS X. For details, please see http://haskellformac.com/news.html Cheers, Manuel From compscience.announcement at gmail.com Wed Jan 27 06:33:00 2016 From: compscience.announcement at gmail.com (Klaus Havelund) Date: Tue, 26 Jan 2016 22:33:00 -0800 Subject: [Haskell] NFM 2016 - third 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 - Michael Lowry, NASA Ames Research Center, 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 tarmo at cs.ioc.ee Wed Jan 27 11:56:12 2016 From: tarmo at cs.ioc.ee (Tarmo Uustalu) Date: Wed, 27 Jan 2016 13:56:12 +0200 Subject: [Haskell] ETAPS 2017 call for satellite events Message-ID: <20160127135612.28061e2f@duality> 20th European Joint Conferences on Theory and Practice of Software ETAPS 2017 Uppsala, Sweden, 23-29 April 2017 http://www.etaps.org/2017/ Call for Satellite Events -- ABOUT ETAPS -- The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to Software Science. It is an annual event held in Europe each spring since 1998. Its twentieth edition, ETAPS 2017, will take place 23-29 April 2017 in Uppsala, Sweden. ETAPS 2017 main conferences, scheduled for 25-28 April, are: * ESOP: European Symposium on Programming * FASE: Fundamental Approaches to Software Engineering * FOSSACS: Foundations of Software Science and Computation Structures * POST: Principles of Security and Trust * TACAS: Tools and Algorithms for the Construction and Analysis of Systems -- SATELLITE EVENTS -- The ETAPS 2017 organizing committee invites proposals for satellite events (workshops) that will complement the main conferences. They should fall within the scope of ETAPS. This encompasses all aspects of the system development process, including specification, design, implementation, analysis and improvement, as well as the languages, methodologies and tools which support these activities, covering a spectrum from practically-motivated theory to soundly-based practice. Satellite events provide an opportunity to discuss and report on emerging research approaches and practical experience relevant to theory and practice of software. ETAPS 2017 satellite events will be held immediately before and after the main conferences, on 23-24 April and 29 April. -- ARRANGEMENTS FOR SATELLITE EVENTS -- The organizers of an ETAPS 2017 satellite are expected to: * create and maintain a website for the event, * form a PC, produce a call for papers for the event (if appropriate), * advertise the event through specialist mailing lists etc. to complement the publicity of ETAPS, * review the submissions received and make acceptance decisions, * prepare an informal (pre)proceedings for the event (if appropriate), * prepare the event's program complying with any scheduling constraints defined by the ETAPS 2017 organizing committee, * prepare and organize the publication of a formal (post)proceedings (if desired). The ETAPS 2017 organizing committee will: * promote the event on the website and in the publicity material of ETAPS 2017, * integrate the event's program into the overall program of the conference, * arrange registration for the event as a component of registration for ETAPS, * collect a participation fee from the registrants, * produce a compilation USB memory stick of the informal (pre)proceedings of the satellite events of ETAPS 2017 and distribute this to the registrants, * provide the event with a meeting room of an appropriate size, A/V equipment, coffee breaks and possibly lunch(es). As a rule, ETAPS will not contribute toward the travel or accommodation costs of invited speakers or organizers of satellite events. -- SUBMISSION OF SATELLITE EVENT PROPOSALS -- Researchers and practitioners wishing to organize satellite events are invited to submit proposals to the workshop co-chairs Konstantinos Sagonas and Mohamed Faouzi Atig using the web form at http://www.etaps.org/2017/call-for-workshops . The following information is requested: * the name and acronym of the satellite event * the names and contact information of the organizers * the duration of the event: one or two days * the preferred period: 23 April, 24 April, 23-24 April or 29 April * the expected number of participants * a brief description (120 words approximately) of the event topic for the website and publicity material of ETAPS 2017 * a brief explanation of the event topic and its relevance to ETAPS * an explanation of the selection procedure of contributions to the event, the PC chair and members, if known already, information about past editions of the event, if applicable * any other relevant information, like a special event format, invited speakers, demo sessions, special space requirements, etc. * a tentative schedule for paper submission, notification of acceptance and final versions for the (informal pre-)proceedings (the ETAPS 2017 organizing committee will need the final files by the end of Feb. 2017) * the plans for formal publication (no formal publication, formal proceedings ready by the event, formal post-proceedings, publication venue - EPTCS or elsewhere) The proposals will be evaluated by the ETAPS 2017 organizing committee on the basis of their assessed benefit for prospective participants of ETAPS 2017. Prospective organizers may wish to consult the web pages of previous satellite events as examples: ETAPS 2016: http://www.etaps.org/2016/workshops ETAPS 2015: http://www.etaps.org/2015/workshops ETAPS 2014: http://www.etaps.org/2014/workshops ETAPS 2013: http://www.etaps.org/2013/workshops ETAPS 2012: http://www.etaps.org/2012/workshops -- IMPORTANT DATES -- Satellite event proposals deadline: 14 March 2016 Notification of acceptance: early April 2016 -- HOST CITY -- Uppsala has a rich history, having for long periods been the political, religious and academic center of Sweden. Uppsala University is over 500 years old, is consistently ranked among the top 100 in the world, and has been the home of many great scientists over the years, for instance Carl von Linne, Anders Celsius and Anders Jonas ?ngstr?m. Uppsala is 60 kms from Stockholm and is well connected to Stockholm Arlanda airport. -- FURTHER INFORMATION AND ENQUIRIES -- Please contact the workshop co-chairs, Konstantinos Sagonas, kostis at it.uu.se, and Mohamed Faouzi Atig, mohamed_faouzi.atig at it.uu.se. From ky3 at atamo.com Fri Jan 29 17:03:06 2016 From: ky3 at atamo.com (Kim-Ee Yeoh) Date: Sat, 30 Jan 2016 00:03:06 +0700 Subject: [Haskell] Haskell Weekly News Message-ID: *Top Picks:* - Oskar Wickstr?m rewrites the Oden-to-Go transpiler from Racket to Haskell . Oden is an FP language comprising an ML type system and LISP syntax. Oskar explains that he made the migration because of several advantages that Haskell offered over Racket: exhaustive pattern-match checking, type-guided refactoring, monad transformers, and faster execution times. Apropos, the convo over at lobste.rs links to this claim by Gabriel Gonzalez: "Haskell is an amazing language for writing your own compiler. If you are writing a compiler in another language you should genuinely consider switching." - Reviewing 2015 work month-by-month, Gracjan Polak tells the story of how he decided to lead the development of Haskell Mode , "a bunch of Emacs major and minor modes put together in a single package." Discussion over at /r/haskell . - Jared Tobin presents monadic versions of five recursion-schemas , namely: cata-, ana-, para-, apo-, and hylomorphisms. *Quotes of the Week:* - Tim Kellogg: I?ve known a few old programmers nearing retirement that have a long list of very impressive accomplishments. The older and more accomplished they get, the more they prefer redundancy over dependency. The oldest and most accomplished will write their own load balancers, TCP stacks, loggers, everything if need be. Are they on to something? - From HN: If you have the time, I'd advise you to learn Haskell, in order to stretch your mind and become an excellent OCaml developer, the way learning Latin makes you a better French or Italian writer. - HN markov chain parody site headline: $690 for an hour minimum wage for state management in haskell *Recorded Talk of the Week:* - On Dec 17 last year , Andrew Gibiansky demoed IHaskell, a Mathematica-like "capable graphical alternative" to the ghci REPL at the NorCal Hacker Dojo. Thanks go to Joe "begriffs" Nelson who recorded the talk and summarized it into bullet points . Joe's page was well-received at both Hacker News and Haskell Reddit . p.s. There will be no News next week. HWN will resume the week after. -- Kim-Ee -------------- next part -------------- An HTML attachment was scrubbed... URL: From mail at nh2.me Sun Jan 31 03:30:27 2016 From: mail at nh2.me (=?UTF-8?Q?Niklas_Hamb=c3=bcchen?=) Date: Sun, 31 Jan 2016 04:30:27 +0100 Subject: [Haskell] ANNOUNCE: call-haskell-from-anything 1.0 Message-ID: <56AD7FD3.4070309@nh2.me> Heya, I'm happy to announce a new release of call-haskell-from-anything [1], my library for FFI-via-serialisation that allows to easily call Haskell functions from any other language that can open shared object files (`.so` via `dlopen()`) and has a MessagePack library available. This is almost all programming languages; for examples for Python and Ruby see [2]. The FFI-via-serialisation approach makes it possible to export most functions to other languages "for free": no FFI type unpacking boilerplate, everything that has a MessagePack instance (much easier to write than `Storable` instances) will do. For example if you have a function chooseMax :: [Int] -> Int all you have do to make it callable is foreign export ccall chooseMax_export :: CString -> IO CString chooseMax_export = export chooseMax Version 1.0 uses closed type families to remove the restriction that so far, pure functions has to be wrapped into the Identity monad to be exported: a -> b -> ... -> Identity r With 1.0, this is no longer necessary. You can now export any function of type a -> b -> ... -> r to be called from your favourite Haskell contender languages (of course those have no chance ...). Cheers, Niklas [1]: https://hackage.haskell.org/package/call-haskell-from-anything-1.0.0.0 [2]: https://github.com/nh2/call-haskell-from-anything