From kc1956 at gmail.com Sat Mar 1 06:09:33 2014 From: kc1956 at gmail.com (KC) Date: Fri, 28 Feb 2014 22:09:33 -0800 Subject: [Haskell] Can Haskell use short floats; i.e. 16 bit floats to save space? Message-ID: Can Haskell use short floats; i.e. 16 bit floats to save space? -- -- Sent from an expensive device which will be obsolete in a few months! :D Casey -------------- next part -------------- An HTML attachment was scrubbed... URL: From dreixel at gmail.com Mon Mar 3 11:41:03 2014 From: dreixel at gmail.com (=?ISO-8859-1?Q?Jos=E9_Pedro_Magalh=E3es?=) Date: Mon, 3 Mar 2014 11:41:03 +0000 Subject: [Haskell] First CFP: Workshop on Generic Programming (WGP) 2014 Message-ID: Apologies for multiple postings. ====================================================================== CALL FOR PAPERS WGP 2014 10th ACM SIGPLAN Workshop on Generic Programming Gothenburg, Sweden Sunday, August 31, 2014 http://www.wgp-sigplan.org/2014 Co-located with the International Conference on Functional Programming (ICFP 2014) ====================================================================== Goals of the workshop --------------------- Generic programming is about making programs more adaptable by making them more general. Generic programs often embody non-traditional kinds of polymorphism; ordinary programs are obtained from them by suitably instantiating their parameters. In contrast with normal programs, the parameters of a generic program are often quite rich in structure; for example they may be other programs, types or type constructors, class hierarchies, or even programming paradigms. Generic programming techniques have always been of interest, both to practitioners and to theoreticians, and, for at least 20 years, generic programming techniques have been a specific focus of research in the functional and object-oriented programming communities. Generic programming has gradually spread to more and more mainstream languages, and today is widely used in industry. This workshop brings together leading researchers and practitioners in generic programming from around the world, and features papers capturing the state of the art in this important area. We welcome contributions on all aspects, theoretical as well as practical, of * generic programming, * programming with (C++) concepts, * meta-programming, * programming with type classes, * programming with modules, * programming with dependent types, * type systems for generic programming, * polytypic programming, * adaptive object-oriented programming, * component-based programming, * strategic programming, * aspect-oriented programming, * family polymorphism, * object-oriented generic programming, * implementation of generic programming languages, * static and dynamic analyses of generic programs, * and so on. Program Committee ----------------- Jos? Pedro Magalh?es (co-chair), University of Oxford Tiark Rompf (co-chair), Oracle Labs & EPFL Peter Achten, Radboud University Nijmegen Nada Amin, Ecole Polytechnique F?d?rale de Lausanne (EPFL) Pierre-?variste Dagand, INRIA Paris-Rocquencourt Fritz Henglein, University of Copenhagen Andrew Lumsdaine, Indiana University Miles Sabin, Underscore Consulting LLP, Chuusai Ltd. Alexander Slesarenko, Huawei Labs & Keldysh Institute of Applied Mathematics (KIAM) Anthony M. Sloane, Macquarie University Wouter Swierstra, Utrecht University Meng Wang, Chalmers University of Technology Proceedings and Copyright ------------------------- We plan to have formal proceedings, published by the ACM. Authors must transfer copyright to ACM upon acceptance (for government work, to the extent transferable), but retain various rights (http://www.acm.org/publications/policies/copyright_policy). Authors are encouraged to publish auxiliary material with their paper (source code, test data, etc.); they retain copyright of auxiliary material. Submission details ------------------ Deadline for submission: Sunday 2014-05-11 Notification of acceptance: Friday 2014-06-06 Final submission due: Wednesday 2014-06-18 Workshop: Sunday 2014-08-31 Submitted papers should fall into one of two categories: * Regular research papers (12 pages) * Short papers: case studies, tool demos, generic pearls (6 pages) Regular research papers are expected to present novel and interesting research results. Short papers need not present novel or fully polished results. Good candidates for short papers are those that report on interesting case studies of generic programming in open source or industry, present demos of generic programming tools or libraries, or discuss elegant and illustrative uses of generic programming ('pearls'). All submissions should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines (two-column, 9pt). Regular research papers must not exceed 12 pages. Short papers must not exceed 6 pages. If applicable, papers should be marked with one of the labels 'case study, 'tool demo' or 'generic pearl' in the title at the time of submission. Papers should be submitted via EasyChair at https://www.easychair.org/conferences/?conf=wgp2014 Travel Support -------------- Student attendees with accepted papers can apply for a SIGPLAN PAC grant to help cover travel expenses. PAC also offers other support, such as for child-care expenses during the meeting or for travel costs for companions of SIGPLAN members with physical disabilities, as well as for travel from locations outside of North America and Europe. For details on the PAC program, see its web page (http://www.sigplan.org/PAC.htm). History of the Workshop on Generic Programming ---------------------------------------------- Earlier Workshops on Generic Programming have been held in * Boston, Massachusetts, US 2013 (affiliated with ICFP13), * Copenhagen, Denmark 2012 (affiliated with ICFP12), * Tokyo, Japan 2011 (affiliated with ICFP11), * Baltimore, Maryland, US 2010 (affiliated with ICFP10), * Edinburgh, UK 2009 (affiliated with ICFP09), * Victoria, BC, Canada 2008 (affiliated with ICFP), * Portland 2006 (affiliated with ICFP), * Ponte de Lima 2000 (affiliated with MPC), * Marstrand 1998 (affiliated with MPC). Furthermore, there were a few informal workshops * Utrecht 2005 (informal workshop), * Dagstuhl 2002 (IFIP WG2.1 Working Conference), * Nottingham 2001 (informal workshop). There were also (closely related) DGP workshops in Oxford (June 3-4 2004), and a Spring School on DGP in Nottingham (April 24-27 2006, which had a half-day workshop attached). WGP Steering Committee ---------------------- Shin-Cheng Mu (chair) Jaako J?rvi Andres L?h Ronald Garcia Jacques Carette Jeremiah Willcock Tim Sheard Stephanie Weirich Tarmo Uustalu -------------- next part -------------- An HTML attachment was scrubbed... URL: From Graham.Hutton at nottingham.ac.uk Mon Mar 3 16:05:33 2014 From: Graham.Hutton at nottingham.ac.uk (Graham Hutton) Date: Mon, 3 Mar 2014 16:05:33 +0000 Subject: [Haskell] Journal of Functional Programming - Call for PhD abstracts Message-ID: <58972A82-877E-4B77-82AB-E0B16EBB0298@exmail.nottingham.ac.uk> ============================================================ CALL FOR PHD ABSTRACTS Journal of Functional Programming Deadline: 30th April 2014 http://tinyurl.com/jfp-phd-abstracts ============================================================ PREAMBLE: Many students complete PhDs in functional programming each year, but there is currently no common location in which to promote and advertise the resulting work. The Journal of Functional Programming would like to change that! As a service to the community, JFP is launching a new feature, in the form of a yearly publication of abstracts from PhD dissertations that were completed during the previous year. To start this new feature off, we would like to reach back three years for the first round of abstracts. The abstracts will be freely available on the JFP website, i.e. not behind any paywall, and will not require any transfer for copyright, merely a license from the author. Please submit dissertation abstracts according to the instructions below. A dissertation is eligible if parts of it have or could appear in JFP, that is, if it is in the general area of functional programming. JFP will not have these abstracts reviewed. We welcome submissions from both the PhD student and PhD advisor/supervisor although we encourage them to coordinate. ============================================================ SUBMISSION: Please submit the following information to Graham Hutton by 30th April 2014. o Student: (full name) o Advisor/supervisor: (full names) o Dissertation title: (including any subtitle) o Dissertation abstract: (plain text, maximum 1000 words; you may use \emph{...} for emphasis, but we prefer no other markup or formatting in the abstract, but do get in touch if this causes significant problems) o Dissertation URL: (please provide a permanently accessible link to the dissertation if you have one, such as to an institutional repository or other public archive; links to personal web pages should be considered a last resort) o Awarding institution: (full name and location) o Date of PhD award: (depending on the institution, this may be the date of the viva, date when corrections were approved, date of graduation ceremony, or otherwise) Please do not submit a copy of the dissertation itself, as this is not required. JFP reserves the right to decline to publish abstracts that are not deemed appropriate. ============================================================ PHD ABSTRACT EDITOR: Graham Hutton School of Computer Science University of Nottingham Nottingham NG8 1BB United Kindgdom ============================================================ 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 tarmo at cs.ioc.ee Mon Mar 3 22:50:18 2014 From: tarmo at cs.ioc.ee (Tarmo Uustalu) Date: Tue, 4 Mar 2014 00:50:18 +0200 Subject: [Haskell] ETAPS 2014 2nd call for participation Message-ID: <20140304005018.6de452db@duality> To notice: - Normal-rate registration is until Monday, 10 March 2014. ****************************************************************** CALL FOR PARTICIPATION ETAPS 2014 17th European Joint Conferences on Theory And Practice of Software Grenoble, France, 5-13 April 2014 http://www.etaps.org/2014 ****************************************************************** -- 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. ETAPS, established in 1998, is a confederation of six main annual conferences, accompanied by satellite workshops. ETAPS 2014 is already the seventeenth event in the series. -- MAIN CONFERENCES (7-11 April) -- * CC: Compiler Construction * 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 -- INVITED TALKS -- * Unifying speakers: John Launchbury (Galois, US) Geoffrey Smith (Florida International University, US) * CC invited speaker: Benoit Dupont de Dinechin (Kalray, France) * ESOP invited speaker: Maurice Herlihy (Brown University, US) * FASE invited speaker: Christel Baier (Technical University of Dresden, Germany) * FoSSaCS invited speaker: Petr Jancar (Technical Univ of Ostrava, Czech Republic) * POST invited speaker: David Mazi?res (Stanford University, US) * TACAS invited speaker: Orna Kupferman (Hebrew University Jerusalem, Israel) -- TUTORIALS * Andy Gordon (Microsoft Research, Cambridge, UK) * Bernd Finkbeiner (Univ des Saarlandes, Germany) -- CONTRIBUTED PAPERS See the accepted paper lists and the programme of the main conferences at the conference website. -- SATELLITE EVENTS (5-6 and 12-13 April) -- 23 satellite workshops will take place before or after ETAPS 2014. CMCS, DICE, F-IDE, Graphite, GT-VMT, MBT, MEALS, RePP, Sifakis event, SR, SynCop, VSSE, WRLA will be held 5-6 April 2014. AiSOS, Cassting, FESCA, GALOP, GramSec, HAS, HotSpot, MSFP, PLACES, QAPL have been scheduled for 12-13 April 2014. -- REGISTRATION Normal-rate registration is until Monday, 10 March 2014. After that date, late rates apply. -- ACCOMMODATION We request that participants arrange their accommodation on their own. See our recommendations on the website. -- HOST CITY -- Located in the southeastern part of France, Grenoble is considered as the capital of the Alps. Grenoble is surrounded by nature and high mountains: down the Alps, Grenoble is the meeting point of two important rivers, Drac and Isere. Grenoble has important historical and gastronomic heritages. Leisure activities in breathtaking nature are easily organizable and within short-distance. Grenoble is also a major scientific center in Europe dedicated to high-tech technologies, e.g., nano, micro, bio, and information technologies. -- ORGANIZERS * General chair: Saddek Bensalem * Conferences chair: Alain Girault * Workshops chair: Axel Legay * Publicity chair: Ylies Falcone * Finance chair: Nicolas Halbwachs * Website chair: Marius Bozga Host institution: VERIMAG, U Joseph Fourier / CNRS / Grenoble INP -- FURTHER INFORMATION -- Please do not hesitate to contact the organizers at etaps2014.organization at imag.fr. From byorgey at seas.upenn.edu Tue Mar 4 21:02:23 2014 From: byorgey at seas.upenn.edu (Brent Yorgey) Date: Tue, 4 Mar 2014 16:02:23 -0500 Subject: [Haskell] Short survey re: use of haskell.org funds to drive development -- please help! Message-ID: <20140304210222.GA20275@seas.upenn.edu> The haskell.org committee is trying to figure out how to use some of its newfound power (the Power of Collecting Money) to best benefit the open-source Haskell community. You can help us by filling out a very short survey (it should only take you about 5 minutes): https://docs.google.com/forms/d/1rEobhHwFpjzPnra9L1TmrozWNFFyAVNPmdUMCcT--3Q/viewform Please do fill it out, especially if you have opinions about what parts of the Haskell open-source world need more work, and could benefit by having some people paid to work on them. Thanks! -Brent, for the haskell.org committee From tyler.huffman at tylerh.org Tue Mar 4 21:47:11 2014 From: tyler.huffman at tylerh.org (Tyler Huffman) Date: Tue, 4 Mar 2014 14:47:11 -0700 Subject: [Haskell] [Haskell-cafe] Short survey re: use of haskell.org funds to drive development -- please help! In-Reply-To: <20140304210222.GA20275@seas.upenn.edu> References: <20140304210222.GA20275@seas.upenn.edu> Message-ID: As a quick aside, it would be very handy if the donation page had a Bitcoin address for sending donations to. Randall Munroe of XKCD has a very unobtrusive Bitcoin address at the bottom of the page, and it seems to net a small income for him: ( http://blockchain.info/address/1NfBXWqseXc9rCBc3Cbbu6HjxYssFUgkH6) It isn't difficult to setup, and it would certainly make it easier for me to donate! Regards, Tyler Huffman On Tue, Mar 4, 2014 at 2:02 PM, Brent Yorgey wrote: > The haskell.org committee is trying to figure out how to use some of > its newfound power (the Power of Collecting Money) to best benefit the > open-source Haskell community. You can help us by filling out a very > short survey (it should only take you about 5 minutes): > > > https://docs.google.com/forms/d/1rEobhHwFpjzPnra9L1TmrozWNFFyAVNPmdUMCcT--3Q/viewform > > Please do fill it out, especially if you have opinions about what > parts of the Haskell open-source world need more work, and could > benefit by having some people paid to work on them. > > Thanks! > > -Brent, for the haskell.org committee > _______________________________________________ > Haskell-Cafe mailing list > Haskell-Cafe at haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe > -------------- next part -------------- An HTML attachment was scrubbed... URL: From hbzhu at sei.ecnu.edu.cn Sat Mar 8 08:35:24 2014 From: hbzhu at sei.ecnu.edu.cn (Huibiao Zhu) Date: Sat, 8 Mar 2014 16:35:24 +0800 Subject: [Haskell] Call for Papers: TASE 2014 (Submission deadline has been extended) Message-ID: <594267751.01360@ecnu.edu.cn> TASE 2014 - CALL FOR PAPERS ****************************************************************** The 8th International Symposium on Theoretical Aspects of Software Engineering (TASE 2014) 1-3 September 2014, Changsha, China http://www.nudt.edu.cn/tase2014 The submission deadline has been extended. Abstract submission: 14 March 2014 (NEW) Paper submission : 21 March 2014 (NEW) For more information email: TASE2014 at nudt.edu.cn ****************************************************************** OVERVIEW The 8th Theoretical Aspects of Software Engineering Symposium (TASE 2014), will be held in Changsha, China in September, 2014. Modern society is increasingly dependent on software systems that are becoming larger and more complex. This poses new challenges to the various aspects of software engineering, for instance, software dependability in trusted computing, interaction with physical components in cyber physical systems, distribution in cloud computing applications, etc. Hence, new concepts and methodologies are required to enhance the development of software engineering from theoretical aspects. TASE 2014 aims to provide a forum for people from academia and industry to communicate their latest results on theoretical advances in software engineering. TASE 2014 is the 8th in the TASE series. The past TASE symposiums were successfully held in Shanghai ('07), Nanjing ('08), Tianjin ('09), Taipei ('10), Xi'an ('11), Beijing ('12), Birmingham ('13). The proceedings of the TASE symposia were all published by the IEEE Computer Society Press. TOPICS The symposium is devoted to theoretical aspects of software engineering. Topics of interest include, but are not limited to: * Requirements Engineering * Specification and Verification * Program Analysis * Software Testing * Model-Driven Engineering * Software Architectures and Design * Aspect and Object Orientation * Embedded and Real-Time Systems * Software Processes and Workflows * Component-Based Software Engineering * Software Safety, Security and Reliability * Reverse Engineering and Software Maintenance * Service-Oriented and Cloud Computing * Semantic Web and Web Services * Type System and Theory * Program Logics and Calculus * Probability in Software Engineering SUBMISSION Submission should be done through the TASE 2014 submission page, handled by the EasyChair conference system: https://www.easychair.org/conferences/?conf=tase2014 As in previous years, the proceedings of the conference are planned to be published by the IEEE Computer Society Press. Papers must be written in English and not exceed 8 pages in Two-Column IEEE format. IMPORTANT DATES Abstract submission: 14 March 2014 (23h59 GMT) Paper submission: 21 March 2014 (23h59 GMT) Notification: 28 April 2014 Camera-ready: 19 May 2014 Conference: 1-3 September 2014 GENERAL CHAIR Jifeng He (East China Normal University, China) PROGRAM CO-CHAIRS Ji Wang (National University of Defense Technology, China) Martin Leucker (University of Lubeck, Germany) STEERING COMMITTE Keijiro Araki (Kyushu University, Japan) Shengchao Qin (Teesside University, UK) Jifeng He (East China Normal University, China) Huibiao Zhu (East China Normal University, China) Michael Hinchey (Lero, Ireland) PROGRAM COMMITTEE Earl Barr (University College London, UK) Nikolaj Bjorner (Microsoft Research, USA) Vidroha Debroy (Hudson Alley Software, USA) Zhenhua Duan (Xidian University, China) Xinyu Feng (University of Science and Technology of China, China) Peter Habermehl (Liafa, Paris 7, France) Dang Van Hung (Vietnam National University, Vietnam) Lingxiao Jiang (Singapore Management University, Singapore) Xiaoshan Li (University of Macau, Macau) Xuandong Li (Nanjing University, China) Shaoyin Liu (Hosei University, Japan) Xiaoqing(Frank) Liu (Missouri University of Science and Technology, USA) Michael Lyu (Chinese University of Hong Kong, China) Xiaoguang Mao (National University of Defense Technology, China) Huaikou Miao (Shanghai University, China) Antoine Mine (Ecole Normale Superieure Paris, France) Paritosh K. Pandya (Tata Institute of Fundamental Research, India) Jun Pang (University of Luxembourg, Luxembourg) Sungwoo Park (Pohang University of Science and Technology, Korea) Geguang Pu (East China Normal University, China) Shengchao Qin (Teesside University, UK) Zongyan Qiu (Peking University, China) Cesar Sanchez (IMDEA Software Institute, Spain) Axel Simon (Technical University of Munich, Germany) Volker Stolz (University of Oslo, Norway) Yih-Kuen Tsay (National Taiwan University, Taiwan) Tomas Vojnar (Brno University of Technology, Czech Republic) Hai Wang (Aston University, UK) Yi Wang (Uppsala University, Sweden) Eric Wong (UT-Dallas, USA) Yingfei Xiong (Peking University, China) Hongli Yang (Beijing University of Technology, China) Naijun Zhan (Chinese Academy of Sciences, China) Hongyu Zhang (Tsinghua University, China) Jianjun Zhao (Shanghai Jiao Tong University, China) Hong Zhu (Oxford Brookes University, UK) Huibiao Zhu (East China Normal University, China) ORGANIZING CHAIR Wei Dong (National University of Defense Technology, China) PUBLICITY CHAIR Yanjun Wen (National University of Defense Technology, China) -------------- next part -------------- An HTML attachment was scrubbed... URL: From P.Achten at cs.ru.nl Tue Mar 11 08:37:35 2014 From: P.Achten at cs.ru.nl (Peter Achten) Date: Tue, 11 Mar 2014 09:37:35 +0100 Subject: [Haskell] [TFP2014] Final Call For Papers Message-ID: <531ECB4F.2040404@cs.ru.nl> --------------------------------- F I N A L C A L L F O R P A P E R S --------------------------------- ======== TFP 2014 =========== 15th Symposium on Trends in Functional Programming May 26-28, 2014 Utrecht University Soesterberg, The Netherlands http://www.cs.uu.nl/wiki/TFP2014/WebHome *** Submission for TFP 2014 is now open: please direct your browser to *** http://www.cs.uu.nl/wiki/TFP2014/PaperSubmission The symposium on Trends in Functional Programming (TFP) is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions (see below), described in draft papers submitted prior to the symposium. A formal post-symposium refereeing process then selects a subset of the articles presented at the symposium and submitted for formal publication. Selected revised papers will be published as a Springer Lecture Notes in Computer Science (LNCS) volume. TFP 2014 will be the main event of a pair of functional programming events. The other is the International Workshop on Trends in Functional Programming in Education (TFPIE). TFPIE will take place on May 25th. Its website is located at http://www.cs.uwyo.edu/~jlc/tfpie14/ The TFP symposium is the heir of the successful series of Scottish Functional Programming Workshops. Previous TFP symposia were held in Edinburgh (Scotland) in 2003, in Munich (Germany) in 2004, in Tallinn (Estonia) in 2005, in Nottingham (UK) in 2006, in New York (USA) in 2007, in Nijmegen (The Netherlands) in 2008, in Komarno (Slovakia) in 2009, in Oklahoma (USA) in 2010, in Madrid (Spain) in 2011, St. Andrews (UK) in 2012 and Provo (Utah, USA) in 2013. For further general information about TFP please see the TFP homepage. INVITED SPEAKERS TFP is pleased to announce talks by the following two invited speakers: John Hughes of Chalmers, Goteborg, Sweden, is well-known as author of Why Functional Programming Matters, and as one of the designers of QuickCheck (together with Koen Claessen); the paper on QuickCheck won the ICFP Most Influential Paper Award in 2010. Currently he divides his time between his professorship and Quviq, a company that performs property-based testing of software with a tool implemented in Erlang. Dr. Geoffrey Mainland received his PhD from Harvard University where he was advised by Greg Morrisett and Matt Welsh. After a two year postdoc with the Programming Principles and Tools group at Microsoft Research Cambridge, he is now an assistant professor at Drexel University. His research focuses on high-level programming language and runtime support for non-general purpose computation. SCOPE The symposium recognizes that new trends may arise through various routes. As part of the Symposium's focus on trends we therefore identify the following five article categories. High-quality articles are solicited in any of these categories: Research Articles: leading-edge, previously unpublished research work Position Articles: on what new trends should or should not be Project Articles: descriptions of recently started new projects Evaluation Articles: what lessons can be drawn from a finished project Overview Articles: summarizing work with respect to a trendy subject Articles must be original and not submitted for simultaneous publication to any other forum. They may consider any aspect of functional programming: theoretical, implementation-oriented, or more experience-oriented. Applications of functional programming techniques to other languages are also within the scope of the symposium. Topics suitable for the symposium include: Functional programming and multicore/manycore computing Functional programming in the cloud High performance functional computing Extra-functional (behavioural) properties of functional programs Dependently typed functional programming Validation and verification of functional programs Using functional techniques to reason about imperative/object-oriented programs Debugging for functional languages Functional programming in different application areas: security, mobility, telecommunications applications, embedded systems, global computing, grids, etc. Interoperability with imperative programming languages Novel memory management techniques Program analysis and transformation techniques Empirical performance studies Abstract/virtual machines and compilers for functional languages (Embedded) domain specific languages New implementation strategies Any new emerging trend in the functional programming area If you are in doubt on whether your article is within the scope of TFP, please contact the TFP 2014 program chair, Jurriaan Hage at J.Hage at uu.nl. BEST PAPER AWARDS To reward excellent contributions, TFP awards a prize for the best paper accepted for the formal proceedings. TFP traditionally pays special attention to research students, acknowledging that students are almost by definition part of new subject trends. A student paper is one for which the authors state that the paper is mainly the work of students, the students are listed as first authors, and a student would present the paper. A prize for the best student paper is awarded each year. In both cases, it is the PC of TFP that awards the prize. In case the best paper happens to be a student paper, that paper will then receive both prizes. FINANCIAL SUPPORT TFP is financially supported by the Department of Information and Computing Sciences of Utrecht University, NWO (Netherlands Organisation for Scientific Research), Well-Typed and Erlang Solutions. PAPER SUBMISSIONS Acceptance of articles for presentation at the symposium is based on a lightweight peer review process of extended abstracts (4 to 10 pages in length) or full papers (16 pages). The submission must clearly indicate which category it belongs to: research, position, project, evaluation, or overview paper. It should also indicate whether the main author or authors are research students. In the case of a FULL STUDENT paper, the draft paper will receive additional feedback by one of the PC members shortly after the symposium has taken place. For the preproceedings, papers can be in any format (inclduing LNCS, IEEE and ACM style), but papers submitted to the postrefereeing process must be in LNCS style, and are bound by the limitations on paper length. We use EasyChair for the refereeing process. IMPORTANT DATES Submission of draft papers: March 17, 2014 Notification: March 24, 2014 Registration: April 7, 2014 TFP Symposium: May 26-28, 2014 Student papers feedback: June 9th, 2014 Submission for formal review: July 1st, 2014 Notification of acceptance: September 8th, 2014 Camera ready paper: October 8th, 2014 PROGRAM COMMITTEE Peter Achten Radboud University Nijmegen Emil Axelsson Chalmers Lucilia Camarao de Figueiredo Universidade Federal de Ouro Preto Laura Castro University of A Coruna Frank Huch Christian-Albrechts-University of Kiel Matthew Fluet Rochester Institute of Technology Jurriaan Hage (chair) University of Utrecht Yukiyoshi Kameyama University of Tsukuba Andrew Kennedy Microsoft Research Tamas Kozsik Eotvos Lorand University Ben Lippmeier University of New South Wales Luc Maranget INRIA Jay McCarthy (co-chair) Brigham Young University Marco T. Morazan Seton Hall University Ricardo Pena Universidad Complutense de Madrid Alexey Rodriguez LiquidM Sven-Bodo Scholz Heriot-Watt University Manuel Serrano INRIA Sophia Antipolis Simon Thompson University of Kent Tarmo Uustalu Inst of Cybernetics David Van Horn University of Maryland Janis Voigtlaender University of Bonn From w.s.swierstra at uu.nl Thu Mar 13 09:42:06 2014 From: w.s.swierstra at uu.nl (Wouter Swierstra) Date: Thu, 13 Mar 2014 10:42:06 +0100 Subject: [Haskell] Haskell Symposium 2014: Call for papers Message-ID: =================================================================== ACM SIGPLAN HASKELL SYMPOSIUM 2014 CALL FOR SUBMISSIONS Gothenburg, Sweden, 4-5 September 2014, directly after ICFP http://www.haskell.org/haskell-symposium/2014 haskell2014 at easychair.org =================================================================== The ACM SIGPLAN Haskell Symposium 2014 will be colocated with the 2014 International Conference on Functional Programming (ICFP) in Gothenburg, Sweden. Like last year, the symposium will last 2 days. Thanks to broader participation from a growing community, we will be able to include more regular papers as well as system demonstrations, while upholding the scientific quality of the symposium. The Haskell Symposium seeks to present original research on Haskell, to discuss practical experience and future development of the language, as well as to promote other forms of denotative programming. Topics of interest include * Language Design, with a focus on possible extensions and modifications of Haskell as well as critical discussions of the status quo; * Theory, such as formal semantics of the present language or future extensions, type systems, effects, metatheory, and foundations for program analysis and transformation; * Implementations, including program analysis and transformation, static and dynamic compilation for sequential, parallel, and distributed architectures, memory management, as well as foreign function and component interfaces; * Tools, such as profilers, tracers, debuggers, preprocessors, and testing tools; * Applications, to scientific and symbolic computing, databases, multimedia, telecommunication, the web, and so forth; * Functional Pearls, being elegant and instructive programming examples; * Experience Reports, to document general practice and experience in education, industry, or other contexts. Such reports are shorter than regular papers; they are limited to six pages. Papers in the latter two categories need not necessarily report original research results. They may report instead, for example, reusable programming idioms, elegant ways to approach a problem, or practical experience that will be useful to other users, implementors, or researchers. The key criterion for such a paper is that it makes a contribution from which other Haskellers can benefit. It is not enough simply to describe a program! Regular papers should explain their research contributions in both general and technical terms, identifying what has been accomplished, explaining why it is significant, and relating it to previous work (also for other languages where appropriate). In addition, we solicit proposals for * System Demonstrations (no longer than a regular paper talk), based on running (perhaps prototype) software rather than necessarily on novel research results. These proposals should summarize the system capabilities that would be demonstrated. The proposals should explain (and will be judged on) whether the ensuing session is likely to be important and interesting to the Haskell community at large, whether on grounds academic or industrial, theoretical or practical, technical or social. Please contact the program chair with any questions about the relevance of a proposal. Travel Support: =============== Student attendees with accepted papers can apply for a SIGPLAN PAC grant to help cover travel expenses. PAC also offers other support, such as for child-care expenses during the meeting or for travel costs for companions of SIGPLAN members with physical disabilities, as well as for travel from locations outside of North America and Europe. For details on the PAC programme, see its web page (http://www.sigplan.org/PAC.htm). Proceedings: ============ ACM Press will publish formal proceedings. Accepted papers will be included in the ACM Digital Library. Authors must grant ACM publication rights upon acceptance (http://authors.acm.org/main.html), but may retain copyright if they wish. Authors are encouraged to publish auxiliary material with their paper (source code, test data, and so forth). The proceedings will be freely available for download from the ACM Digital Library from one week before the start of the conference until two weeks after the conference. Accepted proposals for system demonstrations will be posted on the symposium web page, but not formally published in the proceedings. Submission Details: =================== Submitted papers should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines (http://www.acm.org/sigs/sigplan/authorInformation.htm). The text should be in a 9-point font in two columns. The length is restricted to 12 pages, except for "Experience Report" papers, which are restricted to 6 pages. Papers need not fill the page limit. Each paper submission must adhere to SIGPLAN's republication policy, as explained on the web. Proposals for system demonstrations are limited to 2-page abstracts, in the same ACM format as papers. "Functional Pearls", "Experience Reports", and "Demo Proposals" should be marked as such with those words in the title at time of submission. The paper submission deadline and length limitations are firm. There will be no extensions, and papers violating the length limitations will be summarily rejected. Submission is via EasyChair: https://www.easychair.org/conferences/?conf=haskell14 * Abstract submission: Fri 09 May 2014 * Paper submission : Mon 12 May 2014 * Demo submission : Fri 30 May 2014 (prior abstract submission unnecessary) * Author notification: Wed 11 June 2014 * Final papers due : Sun 22 June 2014 All deadlines, except the final papers deadline, are in Standard Samoan Time. Programme Committee: ==================== George Giorgidze - Standard Chartered Bank Mauro Jaskelioff - Universidad Nacional de Rosario Mark Jones - Portland State University Lindsey Kuper - Indiana University Jos? Pedro Magalh?es - University of Oxford Geoffrey Mainland - Drexel University Simon Marlow - Facebook Shin Cheng Mu - Academia Sinica Keiko Nakata - Institute of Cybernetics, Tallinn University of Technology Bruno Oliveira - University of Hong Kong Lee Pike - Galois Josef Svenningsson - Chalmers University of Technology Wouter Swierstra - University of Utrecht (chair) Simon Thompson - University of Kent From calimeri at mat.unical.it Fri Mar 14 19:47:47 2014 From: calimeri at mat.unical.it (Francesco Calimeri) Date: Fri, 14 Mar 2014 20:47:47 +0100 Subject: [Haskell] [UPDATE] 5th Answer Set Programming Competition 2014 - CALL FOR PARTICIPANTS Message-ID: [apologies for any cross-posting] [UPDATED: **IMPORTANT DATES**] ======================================================================== ================================================================== 5th Answer Set Programming Competition 2014 Call for Participant Systems Aalto University, University of Calabria, University of Genova Spring/Summer 2014 https://www.mat.unical.it/aspcomp2014 aspcomp2014 at mat.unical.it ================================================================== Special edition of the ASP competition series: system track **Part of the Olympic Games of the Vienna Summer of Logic 2014** == Important Dates (NEW) == * March 1st, 2014: Participant registration opens * March 31st, 2014: Participant registration closes (NEW) * April 15th, 2014: The competition starts (EXTENDED) * July 2014: Awards are presented at FLoC (22nd) and at ICLP (19th-22nd) ======================================================================== From lemming at henning-thielemann.de Sat Mar 15 13:35:51 2014 From: lemming at henning-thielemann.de (Henning Thielemann) Date: Sat, 15 Mar 2014 14:35:51 +0100 Subject: [Haskell] HaL-9 - regional Haskell meeting in Halle/Saale, Germany, 2014-06-20 - Save the date Message-ID: <53245737.5000402@henning-thielemann.de> Save the date for our local Haskell meeting in Halle/Saale, Germany, presenting tutorials, talks, demonstrations ... everything you like. Workshop language is German (mainly), and English (by request). Switching to German: ------------------------------------------------- Was: Haskell-Treffen HaL-9 Wann: Freitag, 2014-06-20 Wo: Institut f?r Informatik an der Martin-Luther-Universit?t in Halle an der Saale Der offizielle Aufruf zum Einreichen von Beitr?gen folgt demn?chst. Mit besten Gr??en Henning Thielemann From mark.lentczner at gmail.com Sat Mar 15 17:53:28 2014 From: mark.lentczner at gmail.com (Mark Lentczner) Date: Sat, 15 Mar 2014 10:53:28 -0700 Subject: [Haskell] Save the date: BayHac '14 Message-ID: The Silicon Valley / San Francisco Bay Area Haskell Hackaton's 4th year! Save the date for a weekend of Haskell hacking: *BayHac '14* *May 16th ~ 18th,* *Hacker Dojo* *Mountain View, California* Details and registration will follow in few weeks. Wiki page for event: BayHac2014 - HaskellWiki ? Jonathan Fischoff & Mark Lentczner -------------- next part -------------- An HTML attachment was scrubbed... URL: From c.grelck at uva.nl Mon Mar 17 19:49:42 2014 From: c.grelck at uva.nl (Clemens Grelck) Date: Mon, 17 Mar 2014 20:49:42 +0100 Subject: [Haskell] Call for papers: HLPP 2014 - 7th Symposium on High-Level Parallel Programming and Applications Message-ID: <532751D6.303@uva.nl> =========================================================================== CALL FOR PAPERS HLPP 2014 7th International Symposium on High-level Parallel Programming and Applications Amsterdam, Netherlands July 3-4, 2014 https://sites.google.com/site/hlpp2014amsterdam/ =========================================================================== Aims and scope: As processor and system manufacturers increase the amount of both inter- and intra-chip parallelism it becomes crucial to provide the software industry with high-level, clean and efficient tools for parallel programming. Parallel and distributed programming methodologies are currently dominated by low-level techniques such as send/receive message passing, or equivalently unstructured shared memory mechanisms. Higher-level, structured approaches offer many possible advantages and have a key role to play in the scalable exploitation of ubiquitous parallelism. Since 2001 the HLPP series of workshops/symposia has been a forum for researchers developing state-of-the-art concepts, tools and applications for high-level parallel programming. The general emphasis is on software quality, programming productivity and high-level performance models. The 7th Symposium on High-Level Parallel Programming and Applications will be held July 3-4 in the historic center of Amsterdam. =========================================================================== Proceedings: Accepted papers will be distributed as informal draft proceedings during the symposium. All accepted papers will be published by Springer in a special issue of the International Journal of Parallel Programming (IJPP). =========================================================================== Important dates: Submission deadline: April 4 (anywhere on earth) Author notification: May 1 Camera-ready paper due: June 16 =========================================================================== Topics: HLPP 2014 invites papers on all topics in high-level parallel programming, its tools and applications including, but not limited to, the following aspects: + High-level programming and performance models (BSP, CGM, LogP, MPM, etc.) and their tools + Declarative parallel programming methodologies + Algorithmic skeletons and constructive methods + Declarative parallel programming languages and libraries: semantics and implementation + Verification of declarative parallel and distributed programs + Software synthesis, automatic code generation for parallel programming + Model-driven software engineering with parallel programs + High-level programming models for heterogeneous/hierarchical platforms + High-level parallel methods for large datasets + Applications of parallel systems using high-level languages and tools + Teaching experience with high-level tools and methods =========================================================================== Paper preparation and submission: Papers submitted to HLPP2014 must describe original research results and must not have been published or simultaneously submitted anywhere else. Manuscripts must be prepared with the Springer IJSS latex macro package and submitted via the EasyChair Conference Management System. The strict page limit for initial submission and camera-ready version is 20 pages in the aforementioned format. Each paper will receive a minimum of three reviews by members of the international technical programme committee (see below). Papers will be selected based on their originality, relevance, technical clarity and quality of presentation. At least one author of each accepted paper must register for the HLPP 2014 symposium and present the paper. =========================================================================== Programme committee: Marco Aldinucci, University of Torino, Italy Jost Berthold, University of Copenhagen, Denmark Rob Bisseling, Utrecht University, Netherlands Murray Cole, University of Edinburgh, United Kingdom Joel Falcou, MetaScale / Universit? Paris-Sud, France Clemens Grelck, University of Amsterdam, Netherlands (Chair) Ga?tan Hains, Universit? Paris-Est, France Zhenjiang Hu, National Institute of Informatics, Japan Youry Khmelevsky, University of British Columbia Okanagan, Canada Herbert Kuchen, University of M?nster, Germany Kiminori Matsuzaki, Kochi University of Technology, Japan Frank Penczek, Intel Ulm, Germany Susanna Pelagatti, University of Pisa, Italy Tiark Rompf, Google / Ecole Polytechnique F?d?rale de Lausanne, Switzerland Francisco de Sande, University of La Laguna, Spain Kostis Sagonas, Uppsala University, Sweden Vijay Saraswat, IBM Thomas J. Watson Research Center, USA Sven-Bodo Scholz, Heriot-Watt University, United Kingdom =========================================================================== HLPP Organizer and programme chair: Clemens Grelck Informatics Institute University of Amsterdam Science Park 904 1098XH Amsterdam Netherlands c.grelck at uva.nl =========================================================================== HLPP steering committee: Clemens Grelck (Universiteit van Amsterdam, Netherlands) Ga?tan Hains (Universit? Paris-Est, France) Kiminori Matsuzaki (Kochi University of Technology, Japan) Fr?d?ric Loulergue (Universit? d'Orl?ans, France) Quentin Miller (Somerville College Oxford, United Kingdom) Alexander Tiskin (University of Warwick, United Kingdom) =========================================================================== Previous HLPP symposia and workshops: HLPP 2013, Paris, France HLPP 2011, Tokyo, Japan HLPP 2010, Baltimore, USA HLPP 2005, Coventry, United Kingdom HLPP 2003, Paris, France HLPP 2001, Orl?ans, France =========================================================================== -- ---------------------------------------------------------------------- Dr Clemens Grelck Science Park 904 University Lecturer 1098XH Amsterdam Netherlands University of Amsterdam Institute for Informatics T +31 (0) 20 525 8683 Computer Systems Architecture Group F +31 (0) 20 525 7490 Office C3.105 www.science.uva.nl/~grelck ---------------------------------------------------------------------- From rvconference at gmail.com Tue Mar 18 06:26:25 2014 From: rvconference at gmail.com (Runtime Verification) Date: Tue, 18 Mar 2014 15:26:25 +0900 Subject: [Haskell] RV 2014: 3rd Call for Papers, Deadline in 3 weeks Message-ID: [Apologizes for duplicates] 14th International Conference on Runtime Verification September 22 - 25, 2014 *Toronto, Canada* http://rv2014.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 - 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 safety/mission-critical systems, enterprise and systems software, autonomous and reactive control systems, health management and diagnosis systems, and system security and privacy. Technical Research Papers Track: Technical research papers can be submitted in two categories: regular and short papers. Papers in both categories will be reviewed by the conference Program Committee. All accepted technical papers will appear in an LNCS volume. Submitted papers must use the LNCS style. At least one author of each accepted paper must attend RV'14 to present the paper. Papers must be submitted electronically using theEasyChair system. - *Regular papers* (up to 15 pages) should present original unpublished results. Theoretical and experimental papers as well as papers on applications of runtime verification and case studies are all welcome. A non-monetary Best Paper Award will be given. 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 5 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 short talk (10 minutes) and poster sessions. Program committee Borzoo Bonakdarpour (University of Waterloo, Canada), *co-chair* Scott Smolka (Stony Brook Universtiy, USA), *co-chair* Gul Agha (University of Illinois at Urbana-Champaign, USA) Thomas Ball (Microsoft Research, Redmond, USA) Howard Barringer (The University of Manchester, UK) Ezio Bartocci (TU Wien, Austria) David Basin (ETH Zurich, Switzerland) Saddek Bensalem (Verimag, France) Eric Bodden (TU - Darmstadt, Germany) Ivona Brandic (TU Wien, Austria) Marsha Chechik (University of Toronto, Canada) Michael Clarkson (George Washington University, USA) Laura Dillon (Michigan State University, USA) Shlomi Dolev (Ben Gurion University, Israel) Alastair Donaldson (Imperial College London, UK) Dawson Engler (Stanford University, USA) Ylies Falcone (Universit? Joseph Fourier, France) Vijay Garg (University of Texas at Austin, USA) Steve Goddard (University of Nebraska-Lincoln, USA) Ganesh Gopalakrishnan (University of Utah, USA) Wolfgang Grieskamp (Google, USA) Radu Grosu (TU- Wien, Austria) Klaus Havelund (NASA/JPL, USA) Mats Heimdahl (University of Minnesota, USA) Laurie Hendren (McGill University, Canada) Gerard Holzmann (NASA/JPL, USA) Daniel Keren (Haifa University, Israel) Sandeep Kulkarni (Michigan State University, USA) Marta Kwiatkowska (University of Oxford, UK) Insup Lee (University of Pennsylvania, USA) Axel Legay (IRISA/INRIA, France) Martin Leucker (University of L?beck, Germany) Leonardo Mariani (University of Milano Bicocca, Italy) Patrick Meredith (University of Illinois at Urbana-Champaign, USA) David Naumann (Stevens Institute of Technology, USA) Doron Peled (Bar Ilan University, Israel) Mauro Pezze (University of Lugano, Switzerland) Lee Pike (Galois Inc., USA) Zvonimir Rakamaric (University of Utah, USA) Grigore Rosu (University of Illinois at Urbana-Champaign, USA) Andrey Rybalchenko (TU-Munich, Germany) Andre Schiper (EPFL, Switzerland) Oleg Sokolsky (University of Pennsylvania, USA) Scott Stoller (Stony Brook University, USA) Serdar Tasiran (Koc University, Turkey) Michael Whalen (University of Minnesota, USA) Lenore Zuck (University of Illinois at Chicago, USA) Tool Demonstrations Track: The aim of the RV 2014 tool demonstration 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. Tool demonstration papers will be reviewed by the Tools Track Program Committee. All accepted tool demonstration papers will appear in the conference proceedings LNCS volume. Submitted papers must use the LNCS style. At least one author of each accepted paper must attend RV'14 to present the paper. Papers must be submitted electronically using the EasyChair system. Tool papers should meet the following criteria: - A tool paper should present a new tool, a new tool component or novel extensions to existing tools supporting runtime verification. Each submission should be original and not published previously in a tool paper form. - Each submission must not exceed 8 pages in the LNCS/Springer proceeding format, including all text, references and figures. The paper must be written in English and provided in PDF format. - Each submission must be accompanied at the time of the submission by a short screencast (between 5-10 minutes), with voice and overlay text commentary illustrating the demonstration of the tool (a link to it should be provided in the paper). - The paper 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. - Each tool paper must 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. Evaluation Each submission will be reviewed by at least four members of the tool demonstration track program committee. The evaluation criteria will include: - the presentation quality - the availability (possibly in a open-source format) of the software. - the relevance for the Runtime Verification audience - the technical soundness of the presented tool - the originality of the underlying ideas Tool Demonstration Committee Ezio Bartocci, (TU-Vienna, Austria), *Chair* Eric Bodden (TU - Darmstadt, Germany) Alastair Donaldson (Imperial College London, UK) Dawson Engler (Stanford University, USA) Ylies Falcone (Universit? Joseph Fourier, France) Klaus Havelund (NASA/JPL, USA) Michael Whalen (University of Minnesota, USA) Important Dates: Both research papers and tool demonstration tracks will follow the following timeline: - *Abstract deadline:* April 8, 2014 - *Full paper deadline:* April 15, 2014 - *Rebuttal phase:* May 18-20, 2014 - *Acceptance notification:* June 10, 2014 - *Camera ready submission:* June 25, 2014 - *Conference dates:* 22-25 September, 2014 Competition on Software for Runtime Verification (CSRV-2014) A satellite event of RV'14 is the first *International Competition on Software for Runtime Verification* (CRVS'14). The main aims of CSRV-2014 competition are to: - Stimulate the development of new efficient and practical runtime verification tools and the maintenance of the already developed ones. - Produce a benchmark suite for runtime verification tools, by sharing case studies and programs that researchers and developers can use in the future to test and to validate their prototypes. - Discuss the metrics employed for comparing the tools. - Provide a comparison of the tools running with different benchmarks and evaluating using different criteria. - Enhance the visibility of presented tools among the different communities (software engineering, formal methods and automated verification, distributed computing, security, and safety-critical systems) involved in software monitoring. CRVS'14 will follow the following time line: - *Declaration of intent:* December 15, 2013 - *Deadline for submission of benchmarks:* March 1, 2014 - *Monitoring tool submission:* June 1, 2014 - *Notification:* July 1, 2014 For more information, visit http://rv2014.imag.fr/monitoring-competition or contact the event organizers: - *Ezio Bartocci* (TU-Wien, Austria), ezio.bartocci at tuwien.ac.at - *Borzoo Bonakdarpour* (U. Waterloo, Canada), borzoo at cs.uwaterloo.ca - *Ylies Falcone* (U. Joseph Fourier, France), ylies.falcone at ujf-grenoble.fr -------------- next part -------------- An HTML attachment was scrubbed... URL: From ms at chalmers.se Tue Mar 18 11:11:13 2014 From: ms at chalmers.se (Mary Sheeran) Date: Tue, 18 Mar 2014 12:11:13 +0100 Subject: [Haskell] PhD student position at Chalmers Message-ID: PhD position in Functional Programming at the Department of Computer Science and Engineering at Chalmers University of Technology, Gothenburg, Sweden. Application deadline: March 31, 2014 Expected starting date: September 1 2014 (but flexible) The PhD student will join the Chalmers Functional Programming Group, one of the leading groups in the field. The Chalmers FP Group has a strong interest in Embedded Domain Specific Languages, beginning with their work on Lava for hardware design. The focus of the advertised position is on returning to the problem of how to use Functional Programming to support hardware design and deterministic parallel programming. We are particularly interested in the implementation of cryptographic algorithms. Our favoured platform is the open source Parallella board from Adapteva ( http://www.adapteva.com/parallella-board/), which combines Field Programmable Gate Array (FPGA), two ARM cores and 16 or 64 cores connected in a grid. This small board promises high performance, low power computing, but the question of how best to program it is an interesting one. The new PhD student will work on the use of Functional Programming to enable programming of such highly parallel heterogeneous systems. The selection of the specific research topic will take into account the interests of the new PhD student and the evolving research interests of the Functional Programming Group. The ideal candidate will have a strong background in functional programming and at least one of hardware design and parallel programming. The PhD student will be supervised by Prof. Mary Sheeran, who has long pioneered the combination of hardware design and functional programming, particularly working with her former students Koen Claessen and Satnam Singh. The work will be closely connected to the SSF funded project on Productivity and Performance through Resource Aware Functional Programming ( http://www.cse.chalmers.se/~ms/SSF10Final.pdf), and also to Sheeran's project on hardware acceleration of algorithms ( http://www.cse.chalmers.se/~ms/A11.pdf). Note that in Sweden a PhD takes four years of full time study and research, and five years when teaching is included (as for this position). Being a PhD student is a real job, with a real salary. *How to apply* The application should be written in English and include the following items: 1. An application of a maximum of one A4 page summarising your track record and providing your research statement 2. Attested copies of education certificates, including grade reports and other documents 3. Curriculum Vitae 4. Letters of recommendation and name of reference persons 5. Evidence of written work: research papers and theses It is important to include parts of your own work such as theses and articles that you have authored or co-authored. Please notice also that it is highly recommended that you include letters of recommendation; we typically get a large number of applications, and it is not feasible for us to request individual letters. The application should be submitted electronically at http://www.chalmers.se/en/about-chalmers/vacancies/Pages/default.aspx?rmpage=job&rmjob=1912 If you have any questions, please contact Mary Sheeran (ms at chalmers.se). -------------- next part -------------- An HTML attachment was scrubbed... URL: From hidaka at nii.ac.jp Tue Mar 18 11:30:14 2014 From: hidaka at nii.ac.jp (Soichiro Hidaka) Date: Tue, 18 Mar 2014 20:30:14 +0900 Subject: [Haskell] BX2014: Call for participation Message-ID: <20140318203014V.hidaka@nii.ac.jp> Third International Workshop on Bidirectional Transformations (BX 2014) Friday March 28th, 2014 Athens, Greece co-located with EDBT/ICDT 2014 Workshop information: http://bx-community.wikidot.com/bx2014:home Online Proceedings: http://ceur-ws.org/Vol-1133/#bx Online registration is open until March 20th at http://www.edbticdt2014.gr/index.php/registration On-site registration is also available during the conference (at a higher rate). ----- Bidirectional transformations (bx) are a mechanism for maintaining the consistency of at least two related sources of information. Such sources can be relational data, software models, documents, graphs, trees, and so on. BX are an emerging topic in a wide range of research areas with prominent presence at top conferences in different fields. However, much of the research in bx tends to get limited exposure outside of a single field of study. The purpose of this workshop series is not only to further research into bx, but to promote cross-disciplinary research and awareness in the area. **************** Workshop program **************** 08:45-09:00 Opening Remarks: James Terwilliger 09:00-10:40 Session 1: Types, Transformations, and Benchmark ------------------------------------------------------------ 09:00-09:15 Implementing a Bidirectional Model Transformation Language as an Internal DSL in Scala Arif Wider 09:15-09:30 Towards a framework for multi-directional model transformations Nuno Macedo, Alcino Cunha, Hugo Pacheco 09:30-09:45 Formalizing Semantic Bidirectionalization with Dependent Types Helmut Grohne, Andres L?h, and Janis Voigtl?nder 09:45-10:00 Group discussion 10:00-10:15 BenchmarX Anthony Anjorin, Manuel Alcino Cunha, Holger Giese, Frank Hermann, Arend Rensink, and Andy Sch?rr 10:15-10:30 Towards a Repository of Bx Examples James Cheney, Jeremy Gibbons, James McKinna, and Perdita Stevens 10:30-10:40 Group discussion 10:40-11:00 Coffee Break 11:00-12:30 Session 2: Databases, Monads, and Lenses -------------------------------------------------------- 11:00-11:15 Intersection Schemas as a Dataspace Integration Technique Richard Brownlow and Alex Poulovassilis 11:15-11:30 Bidirectional Transformations in Database Evolution: A Case Study "At Scale" Mathieu Beine, Nicolas Hames, Jens Weber, and Anthony Cleve 11:30-11:40 Group discussion 11:40-11:55 Entangled State Monads Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, and Perdita Stevens 11:55-12:10 Spans of Lenses Michael Johnson and Robert Rosebrugh 12:10-12:30 Group discussion and closing From ms at chalmers.se Wed Mar 19 07:28:22 2014 From: ms at chalmers.se (Mary Sheeran) Date: Wed, 19 Mar 2014 08:28:22 +0100 Subject: [Haskell] CFP ARRAY'14 Message-ID: The ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming Date of workshop: Friday June 13th Location: Edinburgh (colocated with PLDI) Deadline for submissions (4-6 pages): April 2 (2 weeks from today) web site: http://www.sable.mcgill.ca/array/ This interesting workshop welcomes submissions from functional programmers! Contact Mary Sheeran (ms at chalmers.se) if you have questions. -------------- next part -------------- An HTML attachment was scrubbed... URL: From shachaf at gmail.com Fri Mar 21 08:01:23 2014 From: shachaf at gmail.com (Shachaf Ben-Kiki) Date: Fri, 21 Mar 2014 01:01:23 -0700 Subject: [Haskell] Last call for Google Summer of Code 2014 applications Message-ID: Haskell.org is participating in Google Summer of Code again this year, and the student application deadline is nigh. Edward Kmett and I are the administrators this year. The deadline is 2014-03-21 at 19:00 UTC (noon PDT), or roughly 11 hours from now, so make sure to get your applications in before then. For a full timeline see . If you have any questions, feel free to ask on IRC (#haskell-gsoc on Freenode), or to contact me or Edward directly! Shachaf From hjgtuyl at chello.nl Fri Mar 21 22:48:36 2014 From: hjgtuyl at chello.nl (Henk-Jan van Tuyl) Date: Fri, 21 Mar 2014 23:48:36 +0100 Subject: [Haskell] ANNOUNCE: wxHaskell 0.90.1.0 Message-ID: L.S., I am happy to announce a new version of wxHaskell. This version binds to wxWidgets 2.9 [0]. What is it? ----------- wxHaskell is a portable and native GUI library for Haskell. The goal of the project is to provide an industrial strength GUI library for Haskell, but without the burden of developing (and maintaining) one ourselves. wxHaskell is therefore built on top of wxWidgets ? a comprehensive C++ library that is portable across all major GUI platforms; including GTK, Windows, X11, and MacOS X. Furthermore, it is a mature library (in development since 1992) that supports a wide range of widgets with the native look-and-feel. What's new? ----------- - Added functionality: wxGrid: cell spans, cell renderers (numeric, auto string wrapping), wxScrolledWindow, wxSplitterWindow - Reanimated wxToggleButton, added wxBitmapToggleButton - Solved problem with spaces in pathnames (installation procedure, Windows) - Increased max version of dependencies - The external preprocessor (CPP) is now used - The presence of the wx-config executable is checked at installation time - The bitness of the wxWidgets dynamic libraries is compared to the bitness of the wxHaskell libraries to generate, at installation time; a warning is given when the bitness is incompatible - Documentation improvements - Bugs fixed Links ----- See the homepage of wxHaskell for more information: https://www.haskell.org/haskellwiki/WxHaskell The packages are: - wxc https://hackage.haskell.org/package/wxc - wxdirect https://hackage.haskell.org/package/wxdirect - wxcore https://hackage.haskell.org/package/wxcore - wx https://hackage.haskell.org/package/wx Regards, Henk-Jan van Tuyl [0] https://www.wxwidgets.org/ -- Folding at home What if you could share your unused computer power to help find a cure? In just 5 minutes you can join the world's biggest networked computer and get us closer sooner. Watch the video. http://folding.stanford.edu/ http://Van.Tuyl.eu/ http://members.chello.nl/hjgtuyl/tourdemonad.html Haskell programming -- From rvconference at gmail.com Sun Mar 23 07:44:09 2014 From: rvconference at gmail.com (Runtime Verification) Date: Sun, 23 Mar 2014 16:44:09 +0900 Subject: [Haskell] RV 2014: Call for Papers, Deadline in 2 weeks Message-ID: [Apologizes for duplicates] 14th International Conference on Runtime Verification September 22 - 25, 2014 *Toronto, Canada* http://rv2014.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 - 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 safety/mission-critical systems, enterprise and systems software, autonomous and reactive control systems, health management and diagnosis systems, and system security and privacy. Technical Research Papers Track: Technical research papers can be submitted in two categories: regular and short papers. Papers in both categories will be reviewed by the conference Program Committee. All accepted technical papers will appear in an LNCS volume. Submitted papers must use the LNCS style. At least one author of each accepted paper must attend RV'14 to present the paper. Papers must be submitted electronically using theEasyChair system. - *Regular papers* (up to 15 pages) should present original unpublished results. Theoretical and experimental papers as well as papers on applications of runtime verification and case studies are all welcome. A non-monetary Best Paper Award will be given. 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 5 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 short talk (10 minutes) and poster sessions. Program committee Borzoo Bonakdarpour (University of Waterloo, Canada), *co-chair* Scott Smolka (Stony Brook Universtiy, USA), *co-chair* Gul Agha (University of Illinois at Urbana-Champaign, USA) Thomas Ball (Microsoft Research, Redmond, USA) Howard Barringer (The University of Manchester, UK) Ezio Bartocci (TU Wien, Austria) David Basin (ETH Zurich, Switzerland) Saddek Bensalem (Verimag, France) Eric Bodden (TU - Darmstadt, Germany) Ivona Brandic (TU Wien, Austria) Marsha Chechik (University of Toronto, Canada) Michael Clarkson (George Washington University, USA) Laura Dillon (Michigan State University, USA) Shlomi Dolev (Ben Gurion University, Israel) Alastair Donaldson (Imperial College London, UK) Dawson Engler (Stanford University, USA) Ylies Falcone (Universit? Joseph Fourier, France) Vijay Garg (University of Texas at Austin, USA) Steve Goddard (University of Nebraska-Lincoln, USA) Ganesh Gopalakrishnan (University of Utah, USA) Wolfgang Grieskamp (Google, USA) Radu Grosu (TU- Wien, Austria) Klaus Havelund (NASA/JPL, USA) Mats Heimdahl (University of Minnesota, USA) Laurie Hendren (McGill University, Canada) Gerard Holzmann (NASA/JPL, USA) Daniel Keren (Haifa University, Israel) Sandeep Kulkarni (Michigan State University, USA) Marta Kwiatkowska (University of Oxford, UK) Insup Lee (University of Pennsylvania, USA) Axel Legay (IRISA/INRIA, France) Martin Leucker (University of L?beck, Germany) Leonardo Mariani (University of Milano Bicocca, Italy) Patrick Meredith (University of Illinois at Urbana-Champaign, USA) David Naumann (Stevens Institute of Technology, USA) Doron Peled (Bar Ilan University, Israel) Mauro Pezze (University of Lugano, Switzerland) Lee Pike (Galois Inc., USA) Zvonimir Rakamaric (University of Utah, USA) Grigore Rosu (University of Illinois at Urbana-Champaign, USA) Andrey Rybalchenko (TU-Munich, Germany) Andre Schiper (EPFL, Switzerland) Oleg Sokolsky (University of Pennsylvania, USA) Scott Stoller (Stony Brook University, USA) Serdar Tasiran (Koc University, Turkey) Michael Whalen (University of Minnesota, USA) Lenore Zuck (University of Illinois at Chicago, USA) Tool Demonstrations Track: The aim of the RV 2014 tool demonstration 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. Tool demonstration papers will be reviewed by the Tools Track Program Committee. All accepted tool demonstration papers will appear in the conference proceedings LNCS volume. Submitted papers must use the LNCS style. At least one author of each accepted paper must attend RV'14 to present the paper. Papers must be submitted electronically using the EasyChair system. Tool papers should meet the following criteria: - A tool paper should present a new tool, a new tool component or novel extensions to existing tools supporting runtime verification. Each submission should be original and not published previously in a tool paper form. - Each submission must not exceed 8 pages in the LNCS/Springer proceeding format, including all text, references and figures. The paper must be written in English and provided in PDF format. - Each submission must be accompanied at the time of the submission by a short screencast (between 5-10 minutes), with voice and overlay text commentary illustrating the demonstration of the tool (a link to it should be provided in the paper). - The paper 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. - Each tool paper must 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. Evaluation Each submission will be reviewed by at least four members of the tool demonstration track program committee. The evaluation criteria will include: - the presentation quality - the availability (possibly in a open-source format) of the software. - the relevance for the Runtime Verification audience - the technical soundness of the presented tool - the originality of the underlying ideas Tool Demonstration Committee Ezio Bartocci, (TU-Vienna, Austria), *Chair* Eric Bodden (TU - Darmstadt, Germany) Alastair Donaldson (Imperial College London, UK) Dawson Engler (Stanford University, USA) Ylies Falcone (Universit? Joseph Fourier, France) Klaus Havelund (NASA/JPL, USA) Michael Whalen (University of Minnesota, USA) Important Dates: Both research papers and tool demonstration tracks will follow the following timeline: - *Abstract deadline:* April 8, 2014 - *Full paper deadline:* April 15, 2014 - *Rebuttal phase:* May 18-20, 2014 - *Acceptance notification:* June 10, 2014 - *Camera ready submission:* June 25, 2014 - *Conference dates:* 22-25 September, 2014 -------------- next part -------------- An HTML attachment was scrubbed... URL: From yminsky at janestreet.com Mon Mar 24 07:33:03 2014 From: yminsky at janestreet.com (Yaron Minsky) Date: Mon, 24 Mar 2014 15:33:03 +0800 Subject: [Haskell] [JOB] Summer internships at Jane Street Message-ID: Jane Street is looking to hire functional programmers for our offices in New York, London and Hong Kong. Right now we're especially looking for interns for this upcoming summer. Interning at Jane Street is a challenging and varied experience. Here are some of the projects our interns have completed. - Developing an FRP-style toolkit for building sophisticated text-mode UIs - Rewriting and generalizing our RPC messaging library using session types - Prototyping optimizations to the OCaml compiler - Working on the internals of Async, our monadic concurrency library Many of our intern projects make their way out as open-source projects. Interns also learn about Jane Street's trading business through lectures and more interactive training sessions. Plus, there are a lot of fun social activities throughtout the summer. If you're interested in an internship, or know someone who might be, applications can be submitted here. http://janestreet.com/apply And as usual, we're also hiring developers for fulltime positions in NYC, Hong Kong and London as well! Cheers, y From yminsky at janestreet.com Mon Mar 24 13:07:30 2014 From: yminsky at janestreet.com (Yaron Minsky) Date: Mon, 24 Mar 2014 21:07:30 +0800 Subject: [Haskell] [JOB] Summer internships at Jane Street In-Reply-To: References: Message-ID: In case it wasn't clear, these are paid internships. Someone asked me off-list, and I wanted to make sure it was clear. Thanks, and sorry for the noise! y On Mon, Mar 24, 2014 at 3:33 PM, Yaron Minsky wrote: > Jane Street is looking to hire functional programmers for our offices > in New York, London and Hong Kong. Right now we're especially looking > for interns for this upcoming summer. > > Interning at Jane Street is a challenging and varied experience. Here > are some of the projects our interns have completed. > > - Developing an FRP-style toolkit for building sophisticated text-mode > UIs > - Rewriting and generalizing our RPC messaging library using session > types > - Prototyping optimizations to the OCaml compiler > - Working on the internals of Async, our monadic concurrency library > > Many of our intern projects make their way out as open-source > projects. Interns also learn about Jane Street's trading business > through lectures and more interactive training sessions. Plus, there > are a lot of fun social activities throughtout the summer. > > If you're interested in an internship, or know someone who might be, > applications can be submitted here. > > http://janestreet.com/apply > > And as usual, we're also hiring developers for fulltime positions in > NYC, Hong Kong and London as well! > > Cheers, > y From lemming at henning-thielemann.de Mon Mar 24 22:00:29 2014 From: lemming at henning-thielemann.de (Henning Thielemann) Date: Mon, 24 Mar 2014 23:00:29 +0100 Subject: [Haskell] HaL-9 - Call for Contributions Message-ID: <5330AAFD.1070504@henning-thielemann.de> HaL ist ein lokaler Haskell-Workshop mit ?berregionaler Bedeutung, der nun bereits das 9. Mal stattfindet. Dieses Jahr laden wir f?r den 20. Juni ins Institut f?r Informatik an der Martin-Luther-Universit?t Halle-Wittenberg ein. Wir suchen Beitr?ge zu Haskell im Besonderen und der funktionalen Programmierung im Allgemeinen, aber auch Ankn?pfungen an andere Programmierparadigmen. Dabei interessieren wir uns unter anderem f?r die Themenbereiche * Neues von Sprache, Bibliotheken, Werkzeugen, * Anwendungen von Kunst bis Industrie, * Lehre und Forschung an Schulen und Hochschulen. Die Beitr?ge k?nnen pr?sentiert werden als * Tutorium (etwa 90 min) * Vortrag (etwa 30 min) * Demonstration, k?nstlerische Auff?hrung Die Veranstaltungssprache ist Deutsch, nach Absprache auch Englisch. Presentations will be given in German but we can switch to English if requested. Bitte reichen Sie Kurzfassungen der Beitr?ge ein (max. 3 Seiten), die dem Programmkomitee eine Einsch?tzung erm?glichen, sowie eine knappe Zusammenfassung von etwa 100 W?rtern. Teilnehmer des Workshops sind Interessenten (keine Erfahrung mit Haskell oder funktionaler Programmierung), Anf?nger (wenig Erfahrung) und Experten. Wir bitten die Vortragenden, die Zielgruppe des Beitrags anzugeben und die n?tigen Vorkenntnisse zu beschreiben. Bei Tutorien sollen Teilnehmer auf eigenen Rechnern arbeiten. Bitte beschreiben Sie dazu die vorher zu installierende Software. Senden Sie die Beitragsvorschl?ge als PDF-Dokument bis zum 27. April 2014 an hal-committee at iba-cg.de Wir werden Ihnen bis zum 9. Mai mitteilen, ob wir Ihren Beitrag in das Programm aufnehmen. F?r das Organisationsteam Henning Thielemann From lcastro at udc.es Tue Mar 25 11:53:09 2014 From: lcastro at udc.es (Laura M. Castro) Date: Tue, 25 Mar 2014 12:53:09 +0100 Subject: [Haskell] 2nd Call For Papers: Erlang Workshop 2014 Message-ID: Hello all, Please find below the second Call for Papers for the Thirteenth ACM SIGPLAN Erlang Workshop. Apologies for any duplicates you may receive. CALL FOR PAPERS =============== Thirteenth ACM SIGPLAN Erlang Workshop ----------------------------------------------------------- G?teborg, Sweden, September 5, 2014 Satellite event of the 19th ACM SIGPLAN International Conference on Functional Programming (ICFP 2014) September 1-3, 2014 http://www.erlang.org/workshop/2014 Erlang is a concurrent, distributed functional programming language aimed at systems with requirements of massive concurrency, soft real time response, fault tolerance, and high availability. It has been available as open source for 15 years, creating a community that actively contributes to its already existing rich set of libraries and applications. Originally created for telecom applications, its usage has spread to other domains including e-commerce, banking, databases, and computer telephony and messaging. Erlang programs are today among the largest applications written in any functional programming language. These applications offer new opportunities to evaluate functional programming and functional programming methods on a very large scale and suggest new problems for the research community to solve. This workshop will bring together the open source, academic, and industrial programming communities of Erlang. It will enable participants to familiarize themselves with recent developments on new techniques and tools tailored to Erlang, novel applications, draw lessons from users' experiences and identify research problems and common areas relevant to the practice of Erlang and functional programming. We invite three types of submissions. 1. Technical papers describing language extensions, critical discussions of the status quo, formal semantics of language constructs, program analysis and transformation, virtual machine extensions and compilation techniques, implementations and interfaces of Erlang in/with other languages, and new tools (profilers, tracers, debuggers, testing frameworks, etc.). The maximum length for technical papers is restricted to 12 pages. 2. Practice and application papers describing uses of Erlang in the "real-world", Erlang libraries for specific tasks, experiences from using Erlang in specific application domains, reusable programming idioms and elegant new ways of using Erlang to approach or solve a particular problem. The maximum length for the practice and application papers is restricted to 12 pages. Note that this is a maximum length; we welcome shorter papers also, and the program committee will evaluate all papers on an equal basis independent of their lengths. 3. Poster presentations describing topics related to the workshop goals. Each includes a maximum of 2 pages of the abstract and summary. Presentations in this category will be given an hour of shared simultaneous demonstration time. Workshop Co-Chairs ------------------ Laura M. Castro, University of A Coru?a, Spain Hans Svensson, QuviQ AB, Sweden Program Committee ----------------------------- (Note: the Workshop Co-Chairs are also committee members) Jesper L. Andersen, Erlang Solutions Ltd., UK Richard Carlsson, Klarna AB, Sweden Lars-?ke Fredlund, Universidad Polit?cnica de Madrid, Spain Fr?d H?bert, Heroku, USA Kostis Sagonas, Uppsala University, Sweden & NTUA, Greece Simon Thompson, University of Kent, UK Steve Vinoski, Basho Technologies, USA Philip Wadler, University of Edinburgh, UK Important Dates ----------------------- Submissions due: Sunday, 11 May, 2014 Author notification: Friday, 6 June, 2014 Final copy due: Sunday, 22 June, 2014 Workshop date: September 5, 2014 Instructions to authors -------------------------------- Papers must be submitted online via EasyChair (via the "Erlang2014" event). The submission page is https://www.easychair.org/conferences/?conf=erlang2014 Submitted papers should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines. Each submission must adhere to SIGPLAN's republication policy. Violation risks summary rejection of the offending submission. Accepted papers will be published by the ACM and will appear in the ACM Digital Library. Paper submissions will be considered for poster submission in the case they are not accepted as full papers. Venue & Registration Details ------------------------------------------ For registration, please see the ICFP 2014 web site at: http://icfpconference.org/icfp2014/ Related Links -------------------- ICFP 2014 web site: http://www.icfpconference.org/icfp2014/ Past ACM SIGPLAN Erlang workshops: http://www.erlang.org/workshop/ Open Source Erlang: http://www.erlang.org/ EasyChair submission site: https://www.easychair.org/conferences/?conf=erlang2014 Author Information for SIGPLAN Conferences: http://www.sigplan.org/authorInformation.htm Atendee Information for SIGPLAN Events: http://www.sigplan.org/Resources/Policies/Anti-harassment -- Laura M. Castro Department of Computer Science Universidade da Coru?a (Spain) http://www.madsgroup.org/staff/laura From Iain.Whiteside at newcastle.ac.uk Tue Mar 25 16:17:22 2014 From: Iain.Whiteside at newcastle.ac.uk (Iain Whiteside) Date: Tue, 25 Mar 2014 16:17:22 +0000 Subject: [Haskell] AI4FM 2014: Call for Participation Message-ID: ------------------------------------------------- AI4FM 2014 - the 5th International Workshop on the use of AI in Formal Methods http://www.ai4fm.org/ai4fm-2014/ Singapore, 13th May, 2014 In association with FM 2014 ------------------------------------------------- --- Call For Participation --- Workshop information --------------- Workshop: May 13th, 2014 Registration: http://www.comp.nus.edu.sg/~pat/FM2014/registration.html Confirmed Speakers --------------- Gerwin Klein, NICTA Rustan Leino, Microsoft Research Chin Wei Ngan, National University of Singapore Dominique M?ry, LORIA and Universit? de Lorraine Andrius Velykis, Newcastle University Ligia Nistor and Jonathan Aldrich, CMU Cliff Jones, Newcastle University Gudmund Grov, Heriot-Watt University About the workshop --------------- This workshop will bring together researchers from formal methods, automated reasoning and AI; it will address the issue of how AI can be used to support the formal software development process, including requirement analysis, modelling and proof. Previous AI4FM workshops have included a mix of industrial and academic participants and we anticipate attracting a similarly diverse audience. Rigorous software development using formal methods allows the construction of an accurate characterisation of a problem domain that is firmly based on mathematics; by applying standard mathematical analyses, these methods can be used to prove that systems satisfy formal specifications. Research has shown that with tools backed by mature theory, formal methods are becoming cost effective and their use is easier to justify, not as an academic exercise, legal requirement or niche markets -- but as part of a business case. However, while industrial use of formal methods is increasing, in order to make it more mainstream, the cost of applying formal methods, in terms of mathematical skill level and development time, must still be reduced. A desirable outcome of the workshop is to identify key areas where AI can help with such issues as well as discussions about how it can be utilised. Organisers --------------- * Leo Freitas (Newcastle University, UK) * Gudmund Grov (Heriot-Watt University, UK) * Iain Whiteside (Newcastle University, UK) Contact Details ---------------- If you have any queries, please email the organisers at the following email address: ai4fm2014 at ai4fm.org -------------- next part -------------- An HTML attachment was scrubbed... URL: From iago.abal at gmail.com Wed Mar 26 21:45:01 2014 From: iago.abal at gmail.com (Iago Abal) Date: Wed, 26 Mar 2014 22:45:01 +0100 Subject: [Haskell] Open PhD position in Formal Methods for Software Product Lines at IT University of Copenhagen Message-ID: (Apologies for duplicates) The VARIETE project seeks an excellent PhD student to work on analysis methods for code and models found in highly configurable software systems (software product lines). Find more details at: http://variete.wikit.itu.dk/Positions Prospective starting date is in fall 2014. Duration of the scholarship is 3 or 4 years. The position comes with entry level public servant salary (ca. 2200 EUR per month after taxes are deducted), social benefits (like paid vacation time, health care and pension saving scheme) along with a travel budget and all other support funds required for executing the research project. Personal contact via email prior to applying is strongly encouraged. Contact: Associate Professor Andrzej W?sowski (wasowski at itu.dk), Postdoc Aleksandar Dimovski (adim at itu.dk) Deadline for application is April 23 at 23:59 CET. Application: https://delta.hr-manager.net/ApplicationInit.aspx?cid=119&ProjectId=168671&departmentId=3439&uiculture=en&MediaId=1282 Iago -------------- next part -------------- An HTML attachment was scrubbed... URL: From iago.abal at gmail.com Thu Mar 27 10:18:16 2014 From: iago.abal at gmail.com (Iago Abal) Date: Thu, 27 Mar 2014 11:18:16 +0100 Subject: [Haskell] ANN: Haskell bindings for Z3: package z3 0.3.2 released Message-ID: I am happy to announce a new version of the z3 package http://hackage.haskell.org/package/z3 the (unofficial) Haskell bindings for Microsoft's Z3 theorem prover. We didn't announce this package before, but we believe that now it is stable enough to be useful for a broader audience. These bindings are especially appropriate in the following cases: * If your program runs lot of queries, and probably would benefit from incremental solving. Here the performance benefit w.r.t. translating each query to SMT-LIB and calling an external solver should be significant. * If you need to extract interpretations for arrays and functions. * If you need to access specific Z3 features such as Quantifiers or Solvers. We offer three different interfaces: * Z3.Base: a low-level interface, it just performs marshalling. * Z3.Monad: introduces a class MonadZ3 and a concrete monad Z3 that does some bookkeeping for you. Most people seem to be using this interface. * Z3.Lang: a high-level interface in the form of an embedded language. This interface has been deprecated in the current release, we will continue to develop it, but it will be in separate package. The bindings are still incomplete as there are some API functions that have not been added yet. The infrastructure is there, and adding support for new API functions is (most of the times) straightforward. We appreciate that, if you fork the project and add extra functions, then you send the changes back to us. These bindings still use the old Z3 API of Z3 3.x versions, but there is some support for the new API that some people is using satisfactorily. (Z3 4.0 was released while we were still exploring the design of the library and we preferred not to switch to the new API at that time). Full support for the new API should come in the next release. Iago -------------- next part -------------- An HTML attachment was scrubbed... URL: From rvconference at gmail.com Mon Mar 31 08:29:40 2014 From: rvconference at gmail.com (Runtime Verification) Date: Mon, 31 Mar 2014 10:29:40 +0200 Subject: [Haskell] RV 2014: LAST Call for Papers, Deadline in 1 week Message-ID: [Apologizes for duplicates] 14th International Conference on Runtime Verification September 22 - 25, 2014 *Toronto, Canada* http://rv2014.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 - 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 safety/mission-critical systems, enterprise and systems software, autonomous and reactive control systems, health management and diagnosis systems, and system security and privacy. Technical Research Papers Track: Technical research papers can be submitted in two categories: regular and short papers. Papers in both categories will be reviewed by the conference Program Committee. All accepted technical papers will appear in an LNCS volume. Submitted papers must use the LNCS style. At least one author of each accepted paper must attend RV'14 to present the paper. Papers must be submitted electronically using the EasyChair system. - *Regular papers* (up to 15 pages) should present original unpublished results. Theoretical and experimental papers as well as papers on applications of runtime verification and case studies are all welcome. A non-monetary Best Paper Award will be given. 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 5 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 short talk (10 minutes) and poster sessions. Program committee Borzoo Bonakdarpour (University of Waterloo, Canada), *co-chair* Scott Smolka (Stony Brook Universtiy, USA), *co-chair* Gul Agha (University of Illinois at Urbana-Champaign, USA) Thomas Ball (Microsoft Research, Redmond, USA) Howard Barringer (The University of Manchester, UK) Ezio Bartocci (TU Wien, Austria) David Basin (ETH Zurich, Switzerland) Saddek Bensalem (Verimag, France) Ivona Brandic (TU Wien, Austria) Marsha Chechik (University of Toronto, Canada) Michael Clarkson (George Washington University, USA) Laura Dillon (Michigan State University, USA) Shlomi Dolev (Ben Gurion University, Israel) Alastair Donaldson (Imperial College London, UK) Dawson Engler (Stanford University, USA) Ylies Falcone (Universit? Joseph Fourier, France) Vijay Garg (University of Texas at Austin, USA) Steve Goddard (University of Nebraska-Lincoln, USA) Ganesh Gopalakrishnan (University of Utah, USA) Wolfgang Grieskamp (Google, USA) Radu Grosu (TU- Wien, Austria) Klaus Havelund (NASA/JPL, USA) Mats Heimdahl (University of Minnesota, USA) Laurie Hendren (McGill University, Canada) Gerard Holzmann (NASA/JPL, USA) Daniel Keren (Haifa University, Israel) Sandeep Kulkarni (Michigan State University, USA) Marta Kwiatkowska (University of Oxford, UK) Insup Lee (University of Pennsylvania, USA) Axel Legay (IRISA/INRIA, France) Martin Leucker (University of L?beck, Germany) Leonardo Mariani (University of Milano Bicocca, Italy) Patrick Meredith (University of Illinois at Urbana-Champaign, USA) David Naumann (Stevens Institute of Technology, USA) Doron Peled (Bar Ilan University, Israel) Mauro Pezze (University of Lugano, Switzerland) Lee Pike (Galois Inc., USA) Zvonimir Rakamaric (University of Utah, USA) Grigore Rosu (University of Illinois at Urbana-Champaign, USA) Andrey Rybalchenko (TU-Munich, Germany) Andre Schiper (EPFL, Switzerland) Oleg Sokolsky (University of Pennsylvania, USA) Scott Stoller (Stony Brook University, USA) Serdar Tasiran (Koc University, Turkey) Michael Whalen (University of Minnesota, USA) Lenore Zuck (University of Illinois at Chicago, USA) Tool Demonstrations Track: The aim of the RV 2014 tool demonstration 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. Tool demonstration papers will be reviewed by the Tools Track Program Committee. All accepted tool demonstration papers will appear in the conference proceedings LNCS volume. Submitted papers must use the LNCS style. At least one author of each accepted paper must attend RV'14 to present the paper. Papers must be submitted electronically using the EasyChair system. Tool papers should meet the following criteria: - A tool paper should present a new tool, a new tool component or novel extensions to existing tools supporting runtime verification. Each submission should be original and not published previously in a tool paper form. - Each submission must not exceed 8 pages in the LNCS/Springer proceeding format, including all text, references and figures. The paper must be written in English and provided in PDF format. - Each submission must be accompanied at the time of the submission by a short screencast (between 5-10 minutes), with voice and overlay text commentary illustrating the demonstration of the tool (a link to it should be provided in the paper). - The paper 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. - Each tool paper must 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. Evaluation Each submission will be reviewed by at least four members of the tool demonstration track program committee. The evaluation criteria will include: - the presentation quality - the availability (possibly in a open-source format) of the software. - the relevance for the Runtime Verification audience - the technical soundness of the presented tool - the originality of the underlying ideas Tool Demonstration Committee Ezio Bartocci, (TU-Vienna, Austria), *Chair* Alastair Donaldson (Imperial College London, UK) Dawson Engler (Stanford University, USA) Ylies Falcone (Universit? Joseph Fourier, France) Klaus Havelund (NASA/JPL, USA) Michael Whalen (University of Minnesota, USA) Important Dates: Both research papers and tool demonstration tracks will follow the following timeline: - *Abstract deadline:* April 8, 2014 - *Full paper deadline:* April 15, 2014 - *Rebuttal phase:* May 18-20, 2014 - *Acceptance notification:* June 10, 2014 - *Camera ready submission:* June 25, 2014 - *Conference dates:* 22-25 September, 2014 -------------- next part -------------- An HTML attachment was scrubbed... URL: From gaboardi at cs.unibo.it Mon Mar 31 10:06:15 2014 From: gaboardi at cs.unibo.it (Marco Gaboardi) Date: Mon, 31 Mar 2014 11:06:15 +0100 Subject: [Haskell] One PhD position for EU students available at the University of Dundee, Scotland. Message-ID: One PhD position for EU students available at the University of Dundee, Scotland. Contact ??????????? Marco Gaboardi - m.gaboardi at dundee.ac.uk Profile ??????????? The subject of the studentship is programming language semantics and implementation. The specific topic for the studentship will depend on the interests and expertise of the potential candidate. Possible topics are: language-based privacy and security, type systems, probabilistic programming, interactive theorem proving, logics and applications, program analysis tools. Conditions ??????????? The studentship covers 3 years with a standard stipend of about ?13-14k a year plus some eligible travel and consumables. Requirements ??????????? The position is only for EU students. The ideal candidate must show a solid mathematical background and interest in theoretical and/or practical works. Previous experience in one or more of the areas described in the profile will be considered a plus. How to apply ??????????? The position is available immediately. Candidates must contact Marco Gaboardi - m.gaboardi at dundee.ac.uk Dundee and the university ??????????? Dundee is the fourth-largest city in Scotland and it is well connected with Edinburgh, Glasgow and Aberdeen. Dundee is promoted as 'One City, Many Discoveries' in honor of Dundee's history of scientific activities and of the RRS Discovery exploration vessel, which is berthed in the city harbor. Biomedical, technological and video game industries have been important for the development of the city in the last 20 years. The University of Dundee counts about 18.000 students and is situated in the city center. The university is ranked in the World's Top 250 Universities and has been voted one of the best universities in the UK for student experience. http://en.wikipedia.org/wiki/Dundee http://www.dundee.ac.uk The Theory of Computation group ??????????? The Theory of Computation group focuses on research into different areas covering functional programming, program analysis, computational logic, machine learning, constraint programming, graph theory, algorithms and applications like privacy, security, complexity, optimisation, and artificial intelligence. From sabel at ki.informatik.uni-frankfurt.de Mon Mar 31 13:58:46 2014 From: sabel at ki.informatik.uni-frankfurt.de (David Sabel) Date: Mon, 31 Mar 2014 15:58:46 +0200 Subject: [Haskell] Second CFP: WPTE'14, First International Workshop on Rewriting Techniques for Program Transformations and Evaluation Message-ID: <53397496.4040407@ki.informatik.uni-frankfurt.de> SECOND CALL FOR PAPERS First International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE'14) affiliated with RTA/TLCA 2014 (a FLoC 2014 workshop, FLoC is part of the Vienna Summer of Logic 2014) 13th July 2014, Vienna, Austria http://www.ki.informatik.uni-frankfurt.de/WPTE14 Aims and Scope ============== The aim of WPTE is to bring together the researchers working on program transformations, evaluation, and operationally based programming language semantics, using rewriting methods, in order to share the techniques and recent developments and to exchange ideas to encourage further activation of research in this area. Topics of interest and in the scope of WPTE are: * Correctness of program transformations, optimizations and translations. * Program transformations for proving termination, confluence and other properties. * Correctness of evaluation strategies. * Operational semantics of programs, operationally-based program equivalences such as contextual equivalences and bisimulations. * Cost-models for arguing about the optimizing power of transformations and the costs of evaluation. * Program transformations for verification and theorem proving purposes. * Translation, simulation, equivalence of programs with different formalisms, and evaluation strategies. * Program transformations for applying rewriting techniques to programs in specific programming languages. * Program inversions and program synthesis. The programming languages of interest include pure, deterministic, impure, non-deterministic, concurrent, parallel languages, and may employ programming paradigms such as functional, logical, typed, imperative, object-oriented, and higher-order. Invited Speaker =============== Andy Gill (University of Kansas) Paper Submissions and Proceedings ================================= WPTE accepts two different kinds of contributions: * Full-papers: ------------ Full-papers must represent original work and should be submitted using the EasyChair interface. We plan to publish full-papers as formal proceedings in the 'OpenAccess Series in Informatics (OASIcs)' of 'Schloss Dagstuhl Leibniz-Zentrum fuer Informatik'. Full-papers should not exceed 12 pages using the OASIcs LaTeX-templates. * Work in progress: ----------------- There will also be a slot for presenting work in progress. An extended abstract of at most 4 pages is required to be submitted using the EasyChair interface. These contributions will not be included in the OASIcs proceedings but they will be distributed to the workshop partipicants. One author of each accepted paper or abstract is expected to present it at the workshop. Important Dates =============== * Submission deadline: 25 April 2014 * Notification of acceptance: 23 May 2014 * Deadline for camera-ready proceedings: 28 May 2014 * Workshop: 13 July 2014, Austria, Vienna Weblinks ======== * EasyChair Submission Website https://www.easychair.org/conferences/?conf=wpte14 * Homepage of WPTE'14 http://www.ki.informatik.uni-frankfurt.de/WPTE14 * OASIcs Website (including LaTeX templates): http://www.dagstuhl.de/en/publications/oasics * Vienna Summer of Logic 2014 http://vsl2014.at Program Committee ================= Takahito Aoto (RIEC, Tohoku University) Yuki Chiba (Japan Advanced Institute of Science and Technology) Fer-Jan de Vries (University of Leicester) Santiago Escobar (Universitat Polit?cnica de Val?ncia) Maribel Fern?ndez (King's College London) Johan Jeuring (Open Universiteit Nederland and Universiteit Utrecht) Delia Kesner (Universit? Paris-Diderot) Sergue? Lenglet (Universit? de Lorraine) Elena Machkasova (University of Minnesota, Morris) Joachim Niehren (INRIA Lille) David Sabel (Goethe-University Frankfurt am Main) Masahiko Sakai (Nagoya University) Manfred Schmidt-Schau? (Goethe-University Frankfurt am Main) - chair Eijiro Sumii (Tohoku University) Janis Voigtl?nder (University of Bonn) Harald Zankl (University of Innsbruck) Organizers ========== Manfred Schmidt-Schau? (Goethe-University Frankfurt am Main) - chair Masahiko Sakai (Nagoya University) David Sabel (Goethe-University Frankfurt am Main) Yuki Chiba (Japan Advanced Institute of Science and Technology) Sponsors ======== Vereinigung von Freunden und F?rderern der Johann Wolfgang Goethe Universit?t Frankfurt am Main e.V. From ylies.falcone at ujf-grenoble.fr Mon Mar 31 18:01:26 2014 From: ylies.falcone at ujf-grenoble.fr (Ylies Falcone) Date: Mon, 31 Mar 2014 20:01:26 +0200 Subject: [Haskell] 2nd International Summer School on Cyber-Physical Systems, GRENOBLE (FRANCE) JULY 7-10, 2014 Message-ID: [~~~~~~ Please disseminate widely within your teams & contacts ~~~~~~] 2nd International Summer School on Cyber-Physical Systems July 7-10, 2014 Grenoble, France https://persyval-lab.org/summer-school/cps14 Universit? Joseph Fourier, PERSYVAL-Lab, and NASA-JPL are organizing the second edition of the CPS Summer School. The broad objective of the CPS Summer School is to explore the manifold relationship between networked embedded systems ("the internet of things") and humans as their creators, users, and subjects. The format of the Summer School is a four days meeting, organized around different aspects of rigorous engineering of Cyber-Physical Systems. This year, the objective of the school is to survey fundamental and applied aspects of modelling, monitoring and learning of systems as well as to identify novel opportunities and research directions in these areas through a series of lectures by international experts. Participants will also experience the relevant technologies during hands-on courses and be given a chance to present their own work. The school will provide a great opportunity to know other people working in the field, to meet distinguished scholars, and to establish contacts that may lead to research collaborations in the future. The school will concentrate on the fields of system modelling, monitoring and learning. Over the last ten years we have seen a lot of growth in these areas, building on strong theoretical foundations to apply and extend techniques to new application domains. Runtime verification is a growing field with more and more efffective applications in safety/mission-critical systems, enterprise and systems software, autonomous and reactive control systems, health management and diagnosis systems, and system security and privacy. The field of specification mining (learning specifications from system behaviour) has also seen a surge in research effort, with the establishment of a number of competitions to drive forward the development of practical tools. This research community is at an ideal stage to benefit from a school such as this, to inspire, motivate and instruct new researchers into the field. Students participating at this summer school will learn the current state of the art in modeling, monitoring, and learning. Students will be able to apply new techniques coming from various communities and backgrounds to their own domain. The CPS Summer School will be held at Grenoble University. Courses will be given in English by experts from industry and academia working in various fields of CPS. Topics System modelling. Monitoring. Learning. Medical devices. Sensor networks. Scientific Organization Universit? Joseph Fourier (UJF) is located at the heart of the Alps, in outstanding scientific and natural surroundings. UJF is a leading University of Science, Technology and Health. Featuring in all of the major international rankings (Top 150 World Universities - Shanghai Ranking), the UJF offers initial and further education for jobs of the future in a wide range of fields: Physics and Chemistry, Mathematics and Computer Science, Biology, Medicine and Pharmacy, Engineering and Technology, Earth Science and Astronomy/Astrophysics, Environmental Studies, Geography and Territorial Sciences, as well as the Science of Physical and Sports Activities. PERSYVAL-Lab focuses on pervasive systems and algorithms at the convergence of physical and digital worlds. PERSYVAL-lab is built over high-level research laboratories present at Grenoble in Mathematics, Computer Science, Automatic Control, Signal Processing, and Hardware Architecture. Jet Propulsion Laboratory (JPL) is a federally funded research and development center located in Pasadena, California, United States. JPL is managed by the nearby California Institute of Technology (Caltech) for the National Aeronautics and Space Administration (NASA). The laboratory's primary function is the construction and operation of robotic planetary spacecraft. Confirmed Speakers Eric Bodden (TU Darmstadt and EC SPRIDE, Germany). Olivier Coutelou (Schneider Electric, France). Radu Grosu (Technical Univesity Wien, Austria). Klaus Havelund (NASA JPL, USA). Kim G. Larsen (Aalborg University, Denmark). Jean Goubault-Larrecq (ENS Cachan, France). Martin Leucker (University of L?beck, Germany). Roberto Passerone (Universita' degli Studi di Trento, Italy). Grigore Rosu (University of Illinois at Urbana Champaign, USA). Mohamad Sawan (Ecole Polytechnique de Montr?al, Canada). Bernhard Steffen (Technical University Dortmund, Germany). Andreas Zeller (Saarland University, Germany). Organization Committee Saddek Bensalem (University of Grenoble, France). Yli?s Falcone - (University of Grenoble, France). Klaus Havelund - (NASA JPL, USA). Fees The registration fee to the CPS Summer-School is: 250 euros for students, 400 euros for academics and people from industry. The registration comprises lunches, coffee breaks, and a reception party. Application Procedure and Important Dates Attendance is limited to 80, so we will be selecting amongst the candidates. The application procedure is as follows: Applicants declare their intention to apply by registering at https://persyval-calls.imag.fr/en/project/10 before April 14, 2014. The application should comprise a resume and contact information. The organization committee provides a response to applicants before April 21, 2014. Applicants proceed with online Registration and Fee payment before May 10, 2014. Online Registration Online Registration will be available only for selected applicants mid April 2014. -------------- next part -------------- An HTML attachment was scrubbed... URL: