From blancomau at gmail.com Mon Feb 3 01:51:54 2014 From: blancomau at gmail.com (Mauro Blanco) Date: Sun, 2 Feb 2014 23:51:54 -0200 Subject: [Haskell] ANNOUNCE: fpnla - A library for NLA operations Message-ID: Hi. Today we are releasing fpnla , which defines a framework for linear algebra operations of BLAS and LAPACK. As its main features it allows: - Definition of multiple representations of vectors and matrices. - Arbitrary combination of strategies and structure representations. - Type-safe manipulation of context information associated to each strategy. - Definition of specialized strategies for a given representation. And also fpnla-examples , which contains many example implementations of the operations defined in fpnla using various data structures, algorithms and parallelism libraries. Regards. -- Mauro Blanco -------------- next part -------------- An HTML attachment was scrubbed... URL: From calimeri at mat.unical.it Mon Feb 3 22:50:56 2014 From: calimeri at mat.unical.it (Francesco Calimeri) Date: Mon, 3 Feb 2014 23:50:56 +0100 Subject: [Haskell] 5th Answer Set Programming Competition 2014 - CALL FOR PARTICIPANTS Message-ID: [apologies for any cross-posting] ======================================================================== ================================================================== 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 == * March 1st, 2014: Participant registration opens * March 31st, 2014: The competition starts * July 2014: Awards are presented at FLoC (22nd) and at ICLP (19th-22nd) ======================================================================== Answer Set Programming (ASP) is a well-established paradigm of declarative programming with close relationship to other declarative modeling paradigms and languages, such as SAT Modulo Theories, Constraint Handling Rules, FO(.), PDDL, CASC, and many others. The ASP Competition is usually a biannual event for evaluating declarative knowledge representation systems on hard and demanding AI problems. Past ASP Competition editions were held at the University of Potsdam (Germany) in 2007, the University of Leuven (Belgium) in 2009, the University of Calabria (Italy) in 2011 and the Vienna University of Technology (Austria) in 2013. As anticipated during the 2013 presentation, in order to join the Vienna Summer of Logic, which is expected to be the largest event in the history of logic, ASP competition departs, this year, from the "usual" timeline, and the 5th ASP Competition will be run in the first half of 2014, jointly at Aalto University (Finland), University of Calabria (Italy) and University of Genova (Italy). The event is affiliated with the 30th International Conference on Logic Programming (ICLP). Another reason for having an event just one year after the 4th ASP Competition is the fact that the new ASP-Core-2 language standard has been introduced in 2013, but, unfortunately, it was not fully supported by most participant to the 2013 edition, and/or submitters did not succeed at supporting the new language features in a completely satisfactory way, due to limited time resources. Thus, an "early" event can be an opportunity to push the usage of the new standard, and draw a more complete picture about the approaches that can efficiently solve problems with various features. == Call for Participant Systems == Participants of the Answer Set Programming Competition will compete on a selected collection of benchmark problems, taken from a variety of benchmark problem domains as well as real-world applications. These include, but are not limited to: * Classic and application-oriented graph problems * Scheduling, Timetabling, and other resource allocation problems * Sequential and Temporal Planning * Combinatorial Optimization problems * Deductive Database tasks on large data-sets * Puzzles and Combinatorics * Ontology reasoning * Automated Theorem Proving and Model Checking * Constraint Programming problems * Other AI problems The competition consists of a System Track (as called in past competitions), which compares dedicated solvers on ASP benchmarks. Participants compete with solving systems for the ASP-Core language. Some more details are given in the following: - The benchmark domains are taken from past editions. - Systems of the 2013 edition will be considered. (Developers will have the chance of submitting up-to-date versions of their solvers.) - Submissions of new solvers are encouraged. The competition will not be limited to sub-tracks based on "complexity" of problems (as in past events), but rather will take into consideration language features: sub-tracks will range from a basic language, to (by adding features such as aggregates and choice rules) to the ASP-Core-2 language. The aim is to clearly indicate what (combinations of) techniques work for a particular (set of) feature(s), and also widening the participation to teams that cannot (yet) support the full standard. The final sub-track design will depend on the availability of benchmarks as well as systems. Participants are encouraged to inform us about any limitations or requirements of their systems so that we can take them into account in the sub-track design. We welcome the submission of parallel and portfolio systems making use of multiple cores or multiple algorithms for solving the given instances. These solvers will have dedicated tracks, assuming a sufficient number of submissions in each track. Of course, we also welcome the submission of any kind of solvers, e.g., SAT solvers, SMT solvers, CP systems, FOL theorem provers, Description Logics reasoners, Planning reasoners, or any other that can be adapted/applied to the evaluation of logic programs encoded in ASP-Core-2. == Important Dates == * March 1st, 2014: Participant registration opens * March 31st, 2014: The competition starts * July 2014: Awards are presented at FLoC (22nd) and at ICLP (19th-22nd) For further information and submission instructions please visit the competition web site https://www.mat.unical.it/aspcomp2014 or contact us by email: aspcomp2014 at mat.unical.it From atze at uu.nl Wed Feb 5 13:11:15 2014 From: atze at uu.nl (Atze Dijkstra) Date: Wed, 5 Feb 2014 14:11:15 +0100 Subject: [Haskell] ANNOUNCE: Applied Functional Programming (AFP) Summerschool 7-18 July 2014, Utrecht, Netherlands Message-ID: <5200A904-46F6-4E26-8568-71E51232FD47@uu.nl> =========== AFP Summerschool 2014 =========== Applied Functional Programming (AFP) Summerschool July 7-18, 2014 Utrecht University, Department of Information and Computing Sciences Utrecht, The Netherlands Summerschool & registration website: http://www.utrechtsummerschool.nl/courses/science/applied-functional-programming-in-haskell AFP website with edition 2013 info : http://www.cs.uu.nl/wiki/USCS contact : Uscs-afp at lists.science.uu.nl *** The 2014 edition of the Applied Functional Programming (AFP) Summerschool in Utrecht, Netherlands will be held from 7-18 July 2014. The summerschool teaches Haskell on both beginners and advanced levels via lectures and lab exercises. More info can be found via the references above, included here is an excerpt from the summerschool website: ``Typed functional programming in Haskell allows for the development of compact programs in minimal time and with maximal guarantees about robustness and correctness. The course introduces Haskell as well as its theoretical underpinnings such as typed lambda calculus, and Damas-Milner type inference. There is ample opportunity to put this all in practice during lab sessions. Typed functional programming languages allow for the development of robust, concise programs in a short amount of time. The key advantages are higher-order functions as an abstraction mechanism, and an advanced type system for safety and reusability. This course introduces Haskell, a state-of-the-art functional programming language, together with some of its theoretical background, such as typed lambda calculi, referential transparency, Damas-Milner type inference, type level programming, and functional design patterns. We will combine this with applications of functional programming, concentrating on topics such as language processing, building graphical user interfaces, networking, databases, and programming for the web. The goal of the course is not just to teach the programming language and underlying theory, but also to learn about the Haskell community and to get hands-on experience by doing lab exercises or a Haskell project of your own.'' *** regards, - Atze - Atze Dijkstra, Department of Information and Computing Sciences. /|\ Utrecht University, PO Box 80089, 3508 TB Utrecht, Netherlands. / | \ Tel.: +31-30-2534118/1454 | WWW : http://www.cs.uu.nl/~atze . /--| \ Fax : +31-30-2513971 .... | Email: atze at uu.nl ............... / |___\ From mflatt at cs.utah.edu Thu Feb 6 13:17:22 2014 From: mflatt at cs.utah.edu (Matthew Flatt) Date: Thu, 6 Feb 2014 06:17:22 -0700 Subject: [Haskell] GPCE 2104 - Call for Papers Message-ID: <20140206131724.13640650181@mail-svr1.cs.utah.edu> ------------------------------------------------------------------------ CALL FOR PAPERS 13th International Conference on Generative Programming: Concepts & Experiences (GPCE 2014) September 15-16, 2014 V?ster?s, Sweden (collocated with ASE 2014 and SLE 2014) http://www.gpce.org http://www.facebook.com/GPCEConference http://twitter.com/GPCECONF ------------------------------------------------------------------------ IMPORTANT DATES * Submission of papers: May 30, 2014 * Paper notification: July 7, 2014 SCOPE Generative and component approaches and domain-specific abstractions are revolutionizing software development just as automation and componentization revolutionized manufacturing. Raising the level of abstraction in software specification has been a fundamental goal of the computing community for several decades. Key technologies for automating program development and lifting the abstraction level closer to the problem domain are *Generative Programming* for program synthesis, *Domain-Specific Languages* (DSLs) for compact problem-oriented programming notations, and corresponding *Implementation Technologies* aiming at modularity, correctness, reuse, and evolution. As the field matures *Applications* and *Empirical Results* are of increasing importance. The International Conference on Generative Programming: Concepts & Experiences (GPCE) is a venue for researchers and practitioners interested in techniques that use program generation, domain-specific languages, and component deployment to increase programmer productivity, improve software quality, and shorten the time-to-market of software products. In addition to exploring cutting-edge techniques of generative software, our goal is to foster further cross-fertilization between the software engineering and the programming languages research communities. SUBMISSIONS We seek research papers of up to 10 pages in SIGPLAN proceedings style (sigplanconf.cls, see http://www.sigplan.org/authorInformation.htm) reporting original and unpublished results of theoretical, empirical, conceptual, or experimental research that contribute to scientific knowledge in the areas listed below (the PC chair can advise on appropriateness). 4-page short papers and tool demonstrations are also accepted (see website). TOPICS GPCE seeks contributions on all topics related to generative software and its properties. As technology is maturing, this year, we are particularly looking for empirical evaluations in this context. Key topics include (but are certainly not limited too): * Generative software Domain-specific languages Product lines Metaprogramming Program synthesis Implementation techniques and tool support * Properties of generative software Correctness of generators and generated code Reuse and evolution Modularity, separation of concerns, understandability, and maintainability Performance engineering, nonfunctional properties Application areas and engineering practice * Empirical evaluations of all topics above A more detailed list of topics can be found on the website. Examples of key challenges in the field are * Synthesizing code from declarative specifications * Supporting extensible languages and language embedding * Ensuring correctness and other nonfunctional properties of generated code; proving generators correct * Improving error reporting with domain-specific error messages * Reasoning about generators; handling variability-induced complexity in product lines * Providing efficient interpreters and execution languages * Human factors in developing and maintaining generators Note on empirical evaluations: GPCE is committed to the empirical evaluation of generative software. Publishing empirical papers at programming-language venues can be challenging. We understand the frustration of authors when, for example, reviews simply recommend repeating entire experiments with human subjects with slight deviations in execution. To alleviate such problems, we have recruited forto program committee experts who routinely work with empirical methods, and we will actively seek external reviews where appropriate. During submissions, authors can optionally indicate that a paper contains substantial empirical work, and we will endeavor have to the paper reviewed by experts familiar with the empirical research methods that are used in the paper. The program-committee discussions will reflect on both technical contributions and research methods. Policy: Incremental improvements over previously published work should have been evaluated through systematic, comparative, empirical, or experimental evaluation. Submissions must adhere to SIGPLAN's republication policy (http://www.sigplan.org/republicationpolicy.htm). Please contact the program chair if you have any questions about how this policy applies to your paper (chairs at gpce.org). ORGANIZATION Chairs (chairs at gpce.org) General Chair: Ulrik Pagh Schultz (University of Southern Denmark, DK) Program Chair: Matthew Flatt (University of Utah, US) Publicity Chair: Sebastian Erdweg (Technical University of Darmstadt, DE) Local Organizer: Ivica Crnkovic (M?lardalen University, SE) Program Committee Kenichi Asai (Ochanomizu University, JP) Emilie Balland (INRIA, FR) Edwin Brady (University of St Andrews, UK) Dave Clarke (Uppsala University, SE and KU Leuven, BE) Ewen Denney (SGT / NASA, US) Sebastian Erdweg (Technical University of Darmstadt, DE) Martin Erwig (Oregon State University, US) Alessandro Garcia (Pontif?cia Universidade Cat?lica do Rio de Janeiro, BR) Anir?ddh? Gokh?l? (Vanderbilt University, US) Jeff Gray (University of Alabama, US) Stefan Hanenberg (Universit?t Duisburg-Essen, DE) Jaakko J?rvi (Texas A&M University, US) Jean-Marc J?z?quel (IRISA-University of Rennes, FR) Emerson Murphy-Hill (North Carolina State University, US) Nathaniel Nystrom (University of Lugano, CH) Bruno C. d. S. Oliveira (Hong Kong University, HK) Hridesh Rajan (Iowa State University, US) M?rcio Ribeiro (Universidade Federal de Alagoas, BR) Tiark Rompf (Oracle Labs and EPFL, CH) Grigore Rosu (University of Illinois at Urbana-Champaign, US) Norbert Siegmund (Universit?t Passau, DE) Christian Skalka (University of Vermont, US) Scott Smith (Johns Hopkins University, US) ?ric Tanter (Universidad de Chile, CL) Emina Torlak (University of California Berkeley, US) Laurence Tratt (King's College, UK) From P.Achten at cs.ru.nl Thu Feb 6 13:32:56 2014 From: P.Achten at cs.ru.nl (Peter Achten) Date: Thu, 06 Feb 2014 14:32:56 +0100 Subject: [Haskell] 2nd Call for Papers - TFPIE 2014 Message-ID: <52F38F08.3050006@cs.ru.nl> All, Please find below the call for papers for the 3rd International Workshop on Trends In Functional Programming in Education, TFPIE 2014. Apologies in advance for multiple copies you may receive. Best regards, James Caldwell Call for Papers ___________________________________________________________________________________ *3rd International Workshop on Trends in Functional Programming in Education (TFPIE 2014)* May 25, 2014 Utrecht University Soesterberg, The Netherlands (http://www.cs.uwyo.edu/~jlc/tfpie14/ ) The 3rd International Workshop on Trends in Functional Programming in Education, TFPIE 2014, will be co-located with the Symposium on Trends in Functional Programming (TFP 2014) at Soesterberg, at the "Kontakt der Kontinenten" hotel in the Netherlands on Sunday, May 25th. TFP will follow from May 26-28. The goal of TFPIE is to gather researchers, teachers and professionals that use, or are interested in the use of, functional programming in education. TFPIE aims to be a venue where novel ideas, classroom-tested ideas and work-in-progress on the use of functional programming in education are discussed. The one-day workshop will foster a spirit of open discussion by having a review process for publication after the workshop. The program chair of TFPIE 2014 will screen submissions to ensure that all presentations are within scope and are of interest to participants. Potential presenters are invited to submit an extended abstract (4-6 pages) or a draft paper (up to 16 pages) in EPTCS style. The authors of accepted presentations will have their preprints and their slides made available on the workshop's website/wiki. Visitors to the TFPIE 2014 website/wiki will be able to add comments. This includes presenters who may respond to comments and questions as well as provide pointers to improvements and follow-up work. After the workshop, presenters will be invited to submit (a revised version of) their article for review. The PC will select the best articles for publication in the journalElectronic Proceedings in Theoretical Computer Science (EPTCS) . Articles not selected for presentation and extended abstracts will not be formally reviewed by the PC. TFPIE workshops have previously been held in St Andrews, Scotland (2012) and in Provo Utah, USA (2013). *Program Committee* James Caldwell, (Program Chair) University of Wyoming Peter Achten, Radboud University, Nijmgen Edwin Brady, University of St Andrews, St Andrews Jurriaan Hage, Universiteit Utrecht Philip Holzenspies, University of Twente Daniel R. Licata, Wesleyan University Marco T Morazan, Seton Hall University Christian Skalka, University of Vermont David Van Horn, Northeastern University *Submission Guidelines* There will be two types of presentations at TFPIE 2014. Regular papers and "best lecture" presentations. The best lecture talks are intended to allow for presentations or short lectures of purely pedagogical material. Papers and abstracts can be submitted via easychair at the following link: https://www.easychair.org/conferences/?conf=tfpie2014 *Papers* TFPIE 2014 welcomes submissions describing techniques used in the classroom, tools used in and/or developed for the classroom and any creative use of functional programming (FP) to aid education in or outside Computer Science. Topics of interest include, but are not limited to: * FP and beginning CS students * FP and Computational Thinking * FP and Artificial Intelligence * FP in Robotics * FP and Music * Advanced FP for undergraduates * FP in graduate education * Engaging students in research using FP * FP in Programming Languages * FP in the high school curriculum * FP as a stepping stone to other CS topics * FP and Philosophy * * *Best Lectures* In addition to papers, this year we are requesting "best lecture" presentations. What's your best lecture topic in an FP related course? Do you have a fun way to present FP concepts to novices or perhaps an especially interesting presentation of a difficult topic? In either case, please consider sharing it. Best lecture topics will be selected for presentation based on a short abstract describing the lecture and its interest to TFPIE attendees. *Important Dates* * 1 February 2014: TFPIE submissions open on easychair. * 7 April 2014: TFP and TFPIE registration opens * 21 April 2014: Submission deadline for draft TFPIE papers and abstracts * 27 April 2014: Notification of acceptance for presentation * 25 May 2014: Presentations in Soesterberg, Netherlands * 29 June 2014: Full papers for EPTCS proceedings due. * 16 August 2014: Notification of acceptance for proceedings * 8 September 2014: Camera ready copy due for EPTCS Submission of an abstract implies no obligation to submit a full paper; abstracts with no corresponding full versions by the full paper deadline will be considered as withdrawn. At least one author from each accepted presentation must attend the workshop. -------------- next part -------------- An HTML attachment was scrubbed... URL: From Iain.Whiteside at newcastle.ac.uk Thu Feb 6 17:01:55 2014 From: Iain.Whiteside at newcastle.ac.uk (Iain Whiteside) Date: Thu, 6 Feb 2014 17:01:55 +0000 Subject: [Haskell] AI4FM 2014: Call for Short Contributions 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 ------------------------------------------------- --- Second Call for Contributions --- Important Dates --------------- Submission deadline: March 01, 2014 Notification of acceptance: March 08, 2014 Final version due: April 22, 2014 Workshop: May 13th, 2014 General --------------- 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. We believe that AI can help with these issues. Scope --------------- We encourage submissions presenting work in progress, tools under development, and PhD projects, in order that the workshop can become a forum for active dialogue between the groups involved in automated reasoning, formal methods and artificial intelligence. Particular areas of interest include, but are not limited to: - The use of AI and automated reasoning to support and guide the formal modelling process. - The use of AI and automated reasoning in the requirement capture process. - The use of AI to reuse formal models, programs and proofs. - The use of machine learning to support interactive theorem proving. - The use of machine learning to enhance automated theorem proving. - The development of search heuristics. - The use of AI for term synthesis, invariant generation, lemma discovery and concept invention. - The use of AI for counter-example generation. - The use of constraint solvers in formal methods. - The role of AI planning for formal systems developments, from requirements to the end product (including software and hardware). - The interplay between reasoning and modelling and the role of AI in this framework. - Ontologies in the formal engineering process. History --------------- This will be the fifth workshop in the series. Previous workshops were held at: - Rennes, France, July 2013 @ ITP (www.ai4fm.org/ai4fm-2013/) - Schloss Dagstuhl, Germany, July 2012 (www.dagstuhl.de/12271) - Edinburgh, UK, April 2011 (www.ai4fm.org/ai4fm-2011.php) - Newcastle, UK, May 2010 (www.ai4fm.org/ko-meeting.php) Submission --------------- The main aim for the workshop is discussion, thus submissions do not need to be original. Extended versions of submissions may have been published previously, or submitted concurrently with or after AI4FM 2014 to another workshop, conference or a journal. Submission is by email to: ai4fm2014 at ai4fm.org Please submit an abstract up to 3 pages in a PDF format. The extended abstracts will be handed out to all participants, and will be made into a technical report prior to the workshop. Acceptance for presentation at the workshop will be made by the organisers based on relevance to the workshop. 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 From tarmo at cs.ioc.ee Thu Feb 6 23:45:39 2014 From: tarmo at cs.ioc.ee (Tarmo Uustalu) Date: Fri, 7 Feb 2014 01:45:39 +0200 Subject: [Haskell] ETAPS 2014 call for participation Message-ID: <20140207014539.1d41a6d7@duality> To notice: - The programme of the main conferences of ETAPS 2014 is on the web. - Early registration is until Friday, 14 February 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 Early registration is until Friday, 14 February 2014. Normal-rate registration is until Monday, 10 March 2014. -- 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 amal.j.ahmed at gmail.com Mon Feb 10 02:11:41 2014 From: amal.j.ahmed at gmail.com (Amal Ahmed) Date: Sun, 9 Feb 2014 21:11:41 -0500 Subject: [Haskell] Oregon Programming Languages Summer School, 2014 Message-ID: <232084A7-4F79-47C4-BCB5-1997AE8C9C21@gmail.com> We are pleased to announce the preliminary program for the 13th annual Oregon Programming Languages Summer School (OPLSS) to be held June 16th to 28th, 2014 at the University of Oregon in Eugene. The registration deadline will be April 14th, 2014. This year's program is titled Types, Logic, Semantics, and Verification and features the following speakers: Andrew Appel -- Software Verification Princeton University Lars Birkedal -- Category Theory Aarhus University Derek Dreyer -- Modular Reasoning about Stateful Programs Max Planck Institute for Software Systems Robert Harper -- Type Theory Foundations Carnegie Mellon University Greg Morrisett -- Certified Programming and State Harvard University Ulf Norell -- Programming in Agda Chalmers University of Technology Brigitte Pientka -- Proof Theory Foundations McGill University Stephanie Weirich -- Designing Dependently-Typed Programming Languages University of Pennsylvania Steve Zdancewic -- Software Foundations in Coq University of Pennsylvania Full information on registration and scholarships will be available shortly at: http://www.cs.uoregon.edu/Activities/summerschool/summer14/ . Amal Ahmed Greg Morrisett -------------- next part -------------- An HTML attachment was scrubbed... URL: From genial at alva.ro Mon Feb 10 03:56:53 2014 From: genial at alva.ro (Alvaro J. Genial) Date: Sun, 9 Feb 2014 22:56:53 -0500 Subject: [Haskell] [ANN] yocto-1.0.1 Message-ID: Howdy, `yocto`, a minimal JSON parser & printer, is now feature complete, documented and tested: http://hackage.haskell.org/package/yocto-1.0.1 >From the CHANGELOG: - Removed `Read` & `Show` instances in favor of `decode` & `encode`. - Added `QuickCheck`-based test suite. - Fixed decoding of numbers between -1 and 1. - Added error check for trailing (unparsed) input. Anyway, I hope you find it useful; the code lives here: https://github.com/ajg/yocto Alvaro http://alva.ro -------------- next part -------------- An HTML attachment was scrubbed... URL: From narendraj9 at gmail.com Mon Feb 10 13:08:26 2014 From: narendraj9 at gmail.com (Narendra Joshi) Date: Mon, 10 Feb 2014 18:38:26 +0530 Subject: [Haskell] Google Summer of Code | Haskell.org Message-ID: Hi there! Is haskell.org participating in this year's GSoC? -- narendra -------------- next part -------------- An HTML attachment was scrubbed... URL: From ekmett at gmail.com Mon Feb 10 15:09:57 2014 From: ekmett at gmail.com (Edward Kmett) Date: Mon, 10 Feb 2014 10:09:57 -0500 Subject: [Haskell] Google Summer of Code | Haskell.org In-Reply-To: References: Message-ID: That is the plan. We won't know officially until Google gets back to us about our org application in a couple of weeks. -Edward On Mon, Feb 10, 2014 at 8:08 AM, Narendra Joshi wrote: > Hi there! > Is haskell.org participating in this year's GSoC? > -- narendra > > _______________________________________________ > Haskell mailing list > Haskell at haskell.org > http://www.haskell.org/mailman/listinfo/haskell > > -------------- next part -------------- An HTML attachment was scrubbed... URL: From oleg at okmij.org Tue Feb 11 02:33:08 2014 From: oleg at okmij.org (oleg at okmij.org) Date: 11 Feb 2014 02:33:08 -0000 Subject: [Haskell] Higher-order, Typed, Inferred, Strict: ACM SIGPLAN ML Family Workshop Message-ID: <20140211023308.98065.qmail@www1.g3.pair.com> [Please notice the new submission category of informed opinions and the broad scope of the workshop. Compilation techniques, run-time systems and fancy types should be of interest to the Haskell community, too.] Higher-order, Typed, Inferred, Strict: ACM SIGPLAN ML Family Workshop Thursday September 4, 2014, Gothenburg, Sweden (immediately following ICFP and preceding OCaml Users and Developers Workshop) Call For Papers http://okmij.org/ftp/ML/ML14.html ML is a very large family of programming languages that includes Standard ML, OCaml, F#, SML#, Manticore, MetaOCaml, JoCaml, Alice ML, Dependent ML, Flow Caml, and many others. All ML languages, beside the great deal of syntax, share several fundamental traits. They are all higher-order, strict, mostly pure, and typed, with algebraic and other data types. Their type systems inherit from Hindley-Milner. The development of these languages has inspired a significant amount of computer science research and influenced a number of programming languages, including Haskell, Scala and Clojure, as well as Rust, ATS and many others. ML workshops have been held in affiliation with ICFP continuously since 2005. This workshop specifically aims to recognize the entire extended ML family and to provide the forum to present and discuss common issues, both practical (compilation techniques, implementations of concurrency and parallelism, programming for the Web) and theoretical (fancy types, module systems, metaprogramming). The scope of the workshop includes all aspects of the design, semantics, theory, application, implementation, and teaching of the members of the ML family. We also encourage presentations from related languages (such as Scala, Rust, Nemerle, ATS, etc.), to exchange experience of further developing ML ideas. The ML family workshop will be held in close coordination with the OCaml Users and Developers Workshop. Format Since 2010, the ML workshop has adopted an informal model. Presentations are selected from submitted abstracts. There are no published proceedings, so any contributions may be submitted for publication elsewhere. We hope that this format encourages the presentation of exciting (if unpolished) research and deliver a lively workshop atmosphere. Each presentation should take 20-25 minutes, except demos, which should take 10-15 minutes. The exact time will be decided based on the number of accepted submissions. The presentations will likely be recorded. Post-conference proceedings We are considering post-conference proceedings of selected papers. The Program Committee shall invite interested authors of selected presentations to expand their abstract for inclusion in the proceedings. The submissions are to be reviewed according to the standards of the publication. Coordination with the OCaml Users and Developers Workshop The OCaml workshop is seen as more practical and is dedicated in significant part to the OCaml community building and the evolution of the OCaml system. In contrast, the ML family workshop is not focused on any language in particular, is more research oriented, and deals with general issues of the ML-style programming and type systems. Yet there is an overlap, which we are keen to explore in various ways. The authors who feel their submission fits both workshops are encouraged to mention it at submission time or contact the Program Chairs. Scope We acknowledge the whole breadth of the ML family and aim to include languages that are closely related (although not by blood), such as Rust, ATS, Scala, Typed Clojure. Those languages have implemented and investigated run-time and type system choices that may be worth considering for OCaml, F# and other ML languages. We also hope that the exposure to the state of the art ML might favorably influence those related languages. Specifically, we seek research presentations on topics including but not limited to * Design: concurrency, distribution and mobility, programming for the web and embedded systems, handling semi-structured data, facilitating interactive programming, higher forms of polymorphism, generic programming, objects * Implementation: compilation techniques, interpreters, type checkers, partial evaluators, runtime systems, garbage collectors, etc. * Type systems: fancy types, inference, effects, overloading, modules, contracts, specifications and assertions, dynamic typing, error reporting, etc. * Applications: case studies, experience reports, pearls, etc. * Environments: libraries, tools, editors, debuggers, cross-language interoperability, functional data structures, etc. * Education: ML and ML-like languages in college or high-school, in general or computer science curriculum. Four kinds of submissions will be accepted: Informed Positions, Research Presentations, Experience Reports and Demos. * Informed Positions: A justified argument for or against a language feature. The argument must be substantiated, either theoretically (e.g., by a demonstration of (un)soundness, an inference algorithm, a complexity analysis), empirically or by a substantial experience. Personal experience is accepted as justification so long as it is extensive and illustrated with concrete examples. * Research Presentations: Research presentations should describe new ideas, experimental results, or significant advances in ML-related projects. We especially encourage presentations that describe work in progress, that outline a future research agenda, or that encourage lively discussion. These presentations should be structured in a way which can be, at least in part, of interest to (advanced) users. * Experience Reports: Users are invited to submit Experience Reports about their use of ML and related languages. These presentations do not need to contain original research but they should tell an interesting story to researchers or other advanced users, such as an innovative or unexpected use of advanced features or a description of the challenges they are facing or attempting to solve. * Demos: Live demonstrations or short tutorials should show new developments, interesting prototypes, or work in progress, in the form of tools, libraries, or applications built on or related to ML. (You will need to provide all the hardware and software required for your demo; the workshop organizers are only able to provide a projector.) Important dates Monday May 19 (any time zone): Abstract submission Monday June 30: Author notification Thursday September 4, 2014: ML Family Workshop Submission Submissions should be at most two pages, in PDF format, and printable on US Letter or A4 sized paper. A submission should have a synopsis (2-3 lines) and a body between 1 and 2 pages, in one- or two-column layout. The synopsis should be suitable for inclusion in the workshop program. Submissions must be uploaded to the workshop submission website before the submission deadline (Monday May 19, 2014). For any question concerning the scope of the workshop or the submission process, please contact the program chair. Program Committee Kenichi Asai Ochanomizu University, Japan Matthew Fluet Rochester Institute of Technology, USA Jacques Garrigue Nagoya University, Japan Dave Herman Mozilla, USA Stefan Holdermans Vector Fabrics, Netherlands Oleg Kiselyov (Chair) Monterey, CA, USA Keiko Nakata Tallinn University of Technology, Estonia Didier Re'my INRIA Paris-Rocquencourt, France Zhong Shao Yale University, USA Hongwei Xi Boston University, USA From ylies.falcone at ujf-grenoble.fr Tue Feb 11 08:25:29 2014 From: ylies.falcone at ujf-grenoble.fr (Ylies Falcone) Date: Tue, 11 Feb 2014 09:25:29 +0100 Subject: [Haskell] Summer School on Cyber-Physical Systems, GRENOBLE (FRANCE) JULY 7-11, 2014 Message-ID: <26E3E237-416A-48CD-993F-29E77DBF69DF@ujf-grenoble.fr> [~~~~~~ Please disseminate widely within your teams & contacts ~~~~~~] Dear Colleagues, 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 five 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 modeling. ? Monitoring. ? Learning. ? Medical devices. ? Sensor networks. 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). ? 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. Registration fee is ?250 for students, ?400 for non-students, which includes lunches and coffee breaks from Monday 8th through Thursday 11th, and a party. The registration fee only partially covers the costs incurred. The remaining costs are covered by PERSYVAL-Lab. The local organization committee has arranged university accommodations for students. Please refer to the Website for more details. Application Procedure and Important Dates (please refer to the Website for the full procedure): ? Deadline for Application: April 14, 2014. ? Response to Applicants: April 21, 2014. ? Online Registration and Fee payment: May 10, 2014. ? Summer school on CPS: July 7-11, 2014. Since attendance is limited, priority will be given to Ph.D. students and companies' staff. More details can be found at: https://persyval-lab.org/en/summer-school/cps14. Applications can be submitted at: https://persyval-calls.imag.fr/en/project/10. Enquiries can be sent to cps-school.organization at imag.fr. Best Regards, Saddek Bensalem, Yli?s Falcone, and Klaus Havelund -------------- next part -------------- An HTML attachment was scrubbed... URL: From Graham.Hutton at nottingham.ac.uk Tue Feb 11 08:34:33 2014 From: Graham.Hutton at nottingham.ac.uk (Graham Hutton) Date: Tue, 11 Feb 2014 08:34:33 +0000 Subject: [Haskell] Midlands Graduate School in the Foundations of Computing Message-ID: Dear all, Readers of this group might be interested in the Midlands Graduate School in the Foundations of Computing, a 5-day programme of courses in theoretical computer science that runs in Nottingham, UK from 22-26 April 2014: http://www.cs.nott.ac.uk/~txa/mgs.2014/ Courses include category theory, concurrency, denotational semantics, lambda calculus, randomised search, homotopy type theory, infinite data structures, parametricity, functional reactive programming, and dependently typed programming. Best wishes, Graham -- Prof Graham Hutton Functional Programming Lab School of Computer Science University of Nottingham, UK http://www.cs.nott.ac.uk/~gmh 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 rvconference at gmail.com Wed Feb 12 19:58:31 2014 From: rvconference at gmail.com (Runtime Verification) Date: Wed, 12 Feb 2014 20:58:31 +0100 Subject: [Haskell] RV 2014: 2nd Call for Papers, Deadline in 2 months 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 Rachid.Echahed at imag.fr Thu Feb 13 08:43:45 2014 From: Rachid.Echahed at imag.fr (Rachid Echahed) Date: Thu, 13 Feb 2014 09:43:45 +0100 Subject: [Haskell] CFP: Graph Computation Models (GCM 2014), York, July 2014 In-Reply-To: <50877158.3000504@imag.fr> References: <4E85734A.9040501@imag.fr> <4F105058.5010104@imag.fr> <4F7BDA75.9040404@imag.fr> <4FC8CBEE.10407@imag.fr> <4FF21605.1090908@imag.fr> <50877158.3000504@imag.fr> Message-ID: <52FC85C1.1060206@imag.fr> ----------------------------------------------------------------------- CALL FOR PAPERS GCM 2014 Fifth International Workshop on Graph Computation Models York, UK, July 21st, 2014 http://gcm2014.imag.fr/ Part of ICGT 2014 http://www.2014.icgt-conferences.org/ Full versions of best papers will be included in an issue of the the international journal of the "Electronic Communications of the EASST" -------------------------------------------------------------------------- Aims The aim of the International Workshop GCM2014 is to bring together researchers interested in all aspects of computation models based on graphs and graph transformation techniques. It promotes the cross-fertilizing exchange of ideas and experiences among researchers and students from the different communities interested in the foundations, applications, and implementations of graph computation models and related areas. GCM 2014 is a one-day satellite event of ICGT and STAF, which will take place in York, UK, from 21 to 25 of July 2014. Previous editions of GCM series were held in Natal, Brazil (GCM 2006), in Leicester, UK (GCM 2008), in Enschede, The Netherlands (GCM 2010) and in Bremen, Germany (GCM 2012). ----------------------------------------------------------------------- Topics of Interest GCM 2014 solicits papers in all areas of Graph Computation Models including but not limited to: Foundations : Models of graph transformation; Parallel, concurrent, and distributed; graph transformations; Term graph rewriting; Logics on graphs and graph transformations; Formal graph languages Analysis and verification of graph transformation systems; Foundations of programming languages Applications : Software architecture; Software validation; Software evolution; Visual programming; Security models; Implementation of programming languages; Rule-based systems; Workflow and business processes; Model-driven engineering; Service-oriented applications; Bioinformatics and system biology; Quantum computing, Case-studies ----------------------------------------------------------------------- Important Dates Abstract submission: 18 May 2014 Paper submission: 25 May 2014 Notification: 15 June 2014 Preliminary Proceedings: 29 June 2014 Workshop: 21 July 2014 ----------------------------------------------------------------------- Submissions and Publication Authors are invited to submit either regular papers (up to 15 pages), or position papers, system descriptions, work in progress, extended abstracts (5-7 pages), via the EasyChair system, at URL https://www.easychair.org/conferences/?conf=gcm2014 Submissions should be in PDF format, using Lecture Notes in Computer Science (LNCS) style. Preliminary proceedings will be distributed at the workshop. Selected authors will be invited to submit a full version of their papers after the workshop. These submissions will pass through a second round of reviewing and accepted contributions are to be published as a special issue of the international journal of the "Electronic Communications of the EASST". ----------------------------------------------------------------------- Program Committee * Rachid Echahed, CNRS and University of Grenoble, France * Annegret Habel, University of Oldenburg, Germany * Dirk Janssens, University of Antwerp, Belgium * Hans-Joerg Kreowski, University of Bremen, Germany * Mohamed Mosbah, University of Bordeaux, France * Detlef Plump, University of York, UK ----------------------------------------------------------------------- Organizers and contact * Rachid Echahed, CNRS and University of Grenoble, France * Annegret Habel, University of Oldenburg, Germany * Mohamed Mosbah, University of Bordeaux, France You can contact GCM 2014 organizers via gcm-email at imag.fr ----------------------------------------------------------------------- From marlowsd at gmail.com Thu Feb 13 11:08:29 2014 From: marlowsd at gmail.com (Simon Marlow) Date: Thu, 13 Feb 2014 11:08:29 +0000 Subject: [Haskell] Fun in the Afternoon @Facebook, March 12 2014: Schedule Message-ID: <52FCA7AD.6060506@gmail.com> I had an incredible response to the call for talks for Fun @Facebook, thanks to everyone who offered a talk! The schedule and abstracts are below. As you can see, I've kept the slots short (25 minutes) in order to fit in 9 talks and 2 breaks. Time will be tight, but it should be good Fun. More details about logistics to follow. Schedule: March 12 ================== 12.00-1.00 grab some lunch nearby, then head to Facebook London ------------ 1.00 Jos? Pedro Magalh?es: Chordify: Advanced Functional Programming for Fun and Profit 1.25 Dominic Orchard: Fun with indexed monads 1.50 Patrick Chilton and Niklas Hambuchen: Brain reading with Hemokit 2.15-2.45 BREAK ------------ 2.45 Claudio Russo: Tabular: A DSL for Probabilistic Inference from Excel 3.10 Duncan Coutts: Binary serialisation: better, stronger, faster 3.35 Ben Ford: Haskell in production 4.00-4.30 BREAK ------------ 4.30 Tarmo Uustalu: Update monads, or how you always wanted to combine reading and writing 4.55 Dominic Steinitz: Automatic Differentiation: A Criminally Underused Tool? 5.20 Maceij Pirog: FizzBuzz in Haskell by Embedding a Domain-Specific Language 5.45 END (pub + food) Abstracts ========= Jos? Pedro Magalh?es Chordify: Advanced Functional Programming for Fun and Profit Abstract Functional programming, especially when using advanced techniques such as GADTs, type functions, and kind polymorphism, is not only fun; it can also be profitable. In this talk I'll describe my experience in using advanced functional programming in Haskell within Chordify, a web startup that brings chord recognition to the masses. ------------- Dominic Orchard Fun with indexed monads Monads are well established as an abstraction technique for programming with effects of various kinds. At the type-level, monads present a black-box view of effects: for some notion of effect, a computation is either effectful or not. This contrasts with the richer information provided by effect systems. Various work has unified monads and effect systems, both syntactically (Wadler & Thiemann, 2003) and semantically (Katsumata, 2014). In this talk, I show how to program with "indexed monads" in Haskell which semantically unify monads and effects, where a monadic type constructor is indexed by a monoid of effect information. A number of examples are shown, including verifying finite-element computations in scientific computing using indexed monads. This is joint work with Tomas Petricek, Andrew Rice, and Alan Mycroft. ------------- Patrick Chilton and Niklas Hambuchen Brain reading with Hemokit We present our Haskell driver for the Emotiv EEG and how you can use it to control your computer with your brain. We might discuss good and bad experiences in binding-writing and might try to abuse the audience to solve our problems. ------------- Claudio Russo Tabular: A DSL for Probabilistic Inference from Excel Joint work with: Andy Gordon, Thore Graepel, Nicolas Rolland, Johannes Borgstr?m, John Guiver, Marcin Szymczak Tabular is a probabilistic functional language embedded in Excel. Tabular brings the power of machine learning to data enthusiasts - the large class of end users who wish to model and learn from their data, who have some knowledge of probability distributions and data schemas, but who are not necessarily professional developers. Tabular is an Excel plugin that provides a much simpler, interactive interface to the underlying Infer.NET inference engine. Tabular helps the data enthusiast model and visualize their data. Tabular automatically suggests a model from the data schema, allows the enthusiast to edit and refine the model, infers model parameters from data and predicts missing values, and visualizes the results using Excel's standard features. The ability to query for missing values provides a uniform interface to a wide variety of tasks, including classification, clustering, recommendation, and ranking. Tabular is based on probabilistic programming technology, which enables a wide range of machine learning algorithms to be constructed based on a probabilistic model. A unique feature is that Tabular models are simply succinct annotations on the relational schema of the Excel data model. The talk will give an overview and demo of the language in action. ------------- Duncan Coutts Binary serialisation: better, stronger, faster This talk is about a new implementation of binary serialisation for Haskell's 'binary' package. It is faster -- much faster -- and produces smaller binary output, but just as importantly it provides a story for versioning and migration and the ability to view the binary data without a schema. We will look at the binary format of the current binary (and cereal) packages and see why it makes developers nervous and excludes potential uses. We will describe some of the qualities that we want from a serialisation format, the particular format choice that we have settled on and how we can implement versioning/migration. We will also look at the performance side of things: why the existing binary serialisation packages are not as fast as they could be and at the key tricks -- high level and low level -- in the new implementation. There will be quite a bit of GHC-core code diving and discussion of evaluation and runtime issues. Some of these optimisation tricks or analysis techniques may be useful in your own projects, and should give you a renewed appreciation for GHC's capabilities. ------------- Ben Ford Haskell in Production Fynder is a start up building a platform for discovering and booking services across multiple different industries. This talk will be about how we tackle the problem and how we've built a development, testing and deployment environment around Haskell as the core language. ------------- Tarmo Uustalu Update monads, or how you always wanted to combine reading and writing Did it ever trouble you that, despite feeling a bit like it, state monads fail to be a common generalization of reader and writer monads? I will introduce you to update monads, a true generalization of reader and writer monads that is moreover as canonical as it gets. An update monad is given by a set (of states), a monoid (of updates) and an action of the monoid on the set (defining the effect of every update on every state). Update monads are exactly the compatible compositions of reader and writer monads, which are in a bijection with distributive laws between reader and writer monads. State monads are canonically related to those update monads where the monoid of updates is the free monoid on the overwrite semigroup structure on the set of states. Update monads do not just have a clean theoretical motivation; embracing many natural examples, they are also a practical abstraction. A finer dependently-typed variation of the concept has every state coming with its own set of enabled updates. This is joint work with Danel Ahman, University of Edinburgh. ------------- Dominic Steinitz Automatic Differentiation: A Criminally Underused Tool? Artificial Neural Networks (ANNs) are a well-established Machine Learning (ML) technique. Traditionally, training ANNs is done using a technique called backpropogation. It turns out that this is just a specialised version of Reverse Automatic Differentiation (RAD) and steepest descent. This talk explains the theory behind RAD and develops an implementation in Haskell of Forward Automatic Differentiation (FAD) with a brief application to another ML technique: regression. ------------- Maceij Pirog FizzBuzz in Haskell by Embedding a Domain-Specific Language The FizzBuzz problem is simple but not trivial, which makes it a popular puzzle during job interviews for software developers. The conundrum lies in a peculiar but not unusual control-flow scenario: the default action is executed only if some previous actions were not executed. In this tutorial we ask if we can accomplish this without having to check the conditions for the previous actions twice; in other words, if we can make the control flow follow the information flow without loosing modularity. And the contest is for beauty of the code. We deliver a rather non-standard, and a bit tongue-in-cheek solution. First, we design a drastically simple domain-specific language (DSL), which we call, after the three commands of the language, Skip-Halt-Print. For each natural number n, we devise a Skip-Halt-Print program that solves FizzBuzz for n. Then, we implement this in Haskell, and through a couple of simple transformations we obtain the final program. The corollary is a reminder of the importance of higher-order functions in every functional programmer s toolbox. From v.dijk.bas at gmail.com Fri Feb 14 15:52:18 2014 From: v.dijk.bas at gmail.com (Bas van Dijk) Date: Fri, 14 Feb 2014 16:52:18 +0100 Subject: [Haskell] ANN: Simon Marlow & Edward Kmett @ ZuriHac 2014 Message-ID: Dear Haskellers and ZuriHac 2014 attendees, On this lovely day (pun intended), I'm excited to announce that Simon Marlow and Edward Kmett will be giving talks at ZuriHac 2014. When: Friday 6 June 2014 - Sunday 8 June 2014 Where: Erudify offices, Zurich, Switzerland ZuriHac is an international Haskell hackathon: a grassroots, collaborative coding festival with a simple focus, to build and improve Haskell libraries, tools, and infrastructure. This is a great opportunity to meet your fellow Haskellers in real life, find new contributors for your project, improve existing libraries and tools, or even start new ones! 30 people already signed up for ZuriHac 2014 but there's still room for more. If you wish to attend, please register by filling in this form: http://bit.ly/ZuriHac2014 Full details can be found on the wiki page: http://www.haskell.org/haskellwiki/ZuriHac2014 We look forward to seeing you there! -- The organisers of ZuriHac 2014 ZuriHac 2014 is sponsored by Erudify & Google From laura.kovacs at chalmers.se Mon Feb 17 09:12:23 2014 From: laura.kovacs at chalmers.se (Laura Kovacs) Date: Mon, 17 Feb 2014 10:12:23 +0100 Subject: [Haskell] 5 PhD Positions in Formal Methods, Functional Programming, and Information and Software/Web Security at the Chalmers University of Technology, Sweden Message-ID: 5 PhD Positions in Formal Methods, Functional Programming, and Information and Software/Web Security at the Department of Computer Science and Engineering, Chalmers University of Technology, Sweden Application deadline: March 31, 2014 Expected starting date of positions: September 1, 2014 ------------------------------------------------------------------------ *Job description* The Department of Computer Science and Engineering at Chalmers University of Technology invites applications for PhD positions in Formal Methods/Automated Reasoning, Functional Programming, and Information and Software/Web Security, as follows: ----------------------------- * 1 PhD position in Formal Methods: The PhD student will join the Formal Methods group and contribute to its research on improving the quality of complex software systems. The Formal Methods group of Chalmers is an internationally recognised research group with a high-profile research track record and an excellent network of collaborators. The group's research focus is in the theoretical and practical aspects of formal software verification, including automated reasoning, interactive theorem proving, runtime verification, and test generation. Together with international collaborators, the group members co-developed widely recognised verification tools like KeY ( www.key-project.org), Vampire (http://vprover.org), ALIGATOR ( mtc.epfl.ch/software-tools/Aligator), and LARVA. The research of the advertised PhD position will be in the area of Software Verification, with a strong focus on the creative use and development of automated reasoning techniques for software verification. In particular, we are interested in designing and combining new methods in automated first-order theorem proving, satisfiability modulo theory solvers, symbolic computation, and program analysis for the generation and verification of complex program properties, such as invariants, interpolants, pre- and post-conditions. Background in one or more of the following areas is expected: logic, formal methods, formal verification. This position will be supervised by Prof. Laura Kovacs in the frame of her recently granted junior researcher project by the Swedish Research Council. Laura Kovacs is the main developer of the ALIGATOR tool and the co-developer of the world-leading theorem prover Vampire for applications of program analysis and verification. ----------------------------- * 1 PhD Position in Functional Programming The PhD student will join the Chalmers Functional Programming (FP) 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 ideal candidate for the position in Functional Programming 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). ----------------------------- * 1 PhD Position in Information Security The PhD student will join the Chalmers Information Security group, working in the area of information and communication security with a focus on authentication problems in constrained settings. This is particularly important for applications involving mobile phones, wireless communication and RFID systems, which suffer from restrictions in terms of power resources, network connectivity, computational capabilities, as well as potential privacy issues. The overall aim of the announced PhD position will be to develop nearly optimal algorithms for achieving security and privacy while minimising resource use. More concretely, part of the research will involve the analysis and development of authentication protocols in specific settings. This will include investigating resistance of both existing and novel protocols against different types of attacks, theoretically and experimentally. In addition to investigating established settings, such as RFID authentication, the research will also explore more general authentication problems, such as those that arise in the context of trust in social networks, smartphone applications and collaborative data processing. This will be done by grounding the work in a generalised decision-making framework. The project should result in the development of theory and authentication mechanisms for noisy, constrained settings that strike an optimal balance between reliable authentication, privacy-preservation and resource consumption. Experience in one or more of cryptography, probability and statistics, decision and game theory are beneficial. Mathematical maturity is essential. The PhD student will be supervised by Prof. Katerina Mitrokotsa and will have the chance to collaborate with well-known researchers in the area of information security. Some previous research related to this research project can be found here: http://www.cse.chalmers.se/~aikmitr/ . Katerina Mitrokotsa's research is currently funded by the European Commission and the Chalmers ICT Areas of advance. --------------------------------- * 2 PhD Positions in Software/Web Security The PhD students will join a world-leading team of researchers on software security. Software is often the root cause of vulnerabilities in modern computing systems such as the web. By focusing on securing the software, we target principled security mechanisms that provide robust protection against large classes of attacks. The focus of the advertised positions is on the following directions of work: - To design rich security policies for confidentiality, integrity and availability, as demanded by practical applications (such as web and mobile applications). - To develop practical enforcement mechanisms for these policies in expressive programming languages (such as web and mobile languages). These enforcement mechanisms may combine static (for example, static program analysis-based) and dynamic (for example, run-time execution monitoring-based) techniques. - To support the above with case studies in web-application security. In pursuing these goals, there are possibilities for collaboration with our high-profile academic and industrial partners. We run a number of ambitious projects with top international partners in academia and industry, including the European project WebSand on web application security: https://www.websand.eu/ These positions will be supervised by Prof. Andrei Sabelfeld, recipient of a number of recent awards, including SSF Advancement of Research Leaders award (2008), Chalmers Research Supervisor of the Year (2010), and ERC Starter/Consolidator (2012). Promotional video about the team's research on securing web applications: http://vimeo.com/82206652 ------------------------------------------------------------------------ *Details about Employment* PhD student positions are limited to five years and normally include 20 per cent departmental work, mostly teaching duties. Salary for the position is as specified in Chalmers' general agreement for PhD student positions. Currently the starting salary is 26,250SEK a month before tax. The positions are intended to start in fall 2014. ------------------------------------------------------------------------ *Suitable Background* Applicants should have a Master's Degree or corresponding degree in Computer Science, Computer Engineering, or in a related discipline. As for all PhD studies, a genuine interest and curiosity in the subject matter and excellent analytical and communication skills, both oral and written, are needed. You may apply even if you have not completed your degree, but expect to do so before the position starts. Knowledge of Swedish is not a prerequisite for applying since English is our working language for research, and we publish internationally. Both Swedish and English are used in undergraduate courses. Half of our researchers and PhD students at the department come from more than 30 different countries. ------------------------------------------------------------------------ *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 by March 31, 2014, at: - for the position in Formal Methods: http://www.chalmers.se/en/about-chalmers/vacancies/?rmpage=job&rmjob=1911 - for the position in Functional Programming: http://www.chalmers.se/en/about-chalmers/vacancies/?rmpage=job&rmjob=1912 - for the position in Information Security: http://www.chalmers.se/en/about-chalmers/vacancies/Pages/default.aspx?rmpage=job&rmjob=1816 - for the positions in Software/Web Security: http://www.chalmers.se/en/about-chalmers/vacancies/?rmpage=job&rmjob=1913 The selection of the specific research topic will take into account both the interests of the new PhD student and the research agenda of the respective group. ------------------------------------------------------------------------ *Contact persons for further information:* Laura Kovacs , Formal Methods: http://www.cse.chalmers.se/~laurako/ Katerina Mitrokotsa , Information Security: http://www.cse.chalmers.se/~aikmitr/ Andrei Sabelfeld , Software/Web Security: http://www.cse.chalmers.se/~andrei/ Mary Sheeran , Functional Programming: http://www.cse.chalmers.se/~ms/ ------------------------------------------------------------------------ *The Department* The Department has about 70 faculty members and enrols about 90 PhD students from more than 30 countries. The research spans the whole spectrum, from theoretical foundations to applied systems development. There is extensive national and international collaboration with academia and industry all around the world. For more information, see http://www.chalmers.se/cse/EN/ . ------------------------------------------------------------------------ *Gothenburg, Sweden* Gothenburg is often referred to as the "heart of Scandinavia". The videos below give an impression what it's like to live and study in Gothenburg. Live in Gothenburg: http://youtu.be/sbwVIQeGcdY Study in Gothenburg: http://youtu.be/0WrlGlSyS1c ------------------------------------------------------------------------ -------------- next part -------------- An HTML attachment was scrubbed... URL: From c.grelck at uva.nl Tue Feb 18 22:46:26 2014 From: c.grelck at uva.nl (Clemens Grelck) Date: Tue, 18 Feb 2014 23:46:26 +0100 Subject: [Haskell] Call for papers: HLPP 2014 - 7th Symposium on High-Level Parallel Programming and Applications Message-ID: <5303E2C2.2060308@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. 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. =========================================================================== 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 c.grelck at uva.nl Tue Feb 18 22:51:41 2014 From: c.grelck at uva.nl (Clemens Grelck) Date: Tue, 18 Feb 2014 23:51:41 +0100 Subject: [Haskell] Call for papers: HLPP 2014 - 7th Symposium on High-Level Parallel Programming and Applications Message-ID: <5303E3FD.5010909@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. 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. =========================================================================== 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 c.grelck at uva.nl Wed Feb 19 07:53:00 2014 From: c.grelck at uva.nl (Clemens Grelck) Date: Wed, 19 Feb 2014 08:53:00 +0100 Subject: [Haskell] Call for papers: HLPP 2014 - 7th Symposium on High-Level Parallel Programming and Applications Message-ID: <530462DC.7020202@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. 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. =========================================================================== 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 garrigue at math.nagoya-u.ac.jp Fri Feb 21 00:01:41 2014 From: garrigue at math.nagoya-u.ac.jp (Jacques Garrigue) Date: Fri, 21 Feb 2014 09:01:41 +0900 Subject: [Haskell] APLAS 2014: Call for papers Message-ID: <917DCFDB-7386-475B-BCD2-A5AE979FF2CA@math.nagoya-u.ac.jp> =============================================================== APLAS 2014 12th Asian Symposium on Programming Languages and Systems http://www.math.nagoya-u.ac.jp/~garrigue/APLAS2014/ 17-19 November 2014, Singapore CALL FOR PAPERS =============================================================== ========== BACKGROUND ========== APLAS aims to stimulate programming language research by providing a forum for the presentation of latest results and the exchange of ideas in programming languages and systems. APLAS is based in Asia, but is an international forum that serves the worldwide programming language community. APLAS is sponsored by the Asian Association for Foundation of Software (AAFS) founded by Asian researchers in cooperation with many researchers from Europe and the USA. Past APLAS symposiums were successfully held in Melbourne ('13), Kyoto ('12), Kenting ('11), Shanghai ('10), Seoul ('09), Bangalore ('08), Singapore ('07), Sydney ('06), Tsukuba ('05), Taipei ('04) and Beijing ('03) after three informal workshops. Proceedings of the past symposiums were published in Springer's LNCS. ====== TOPICS ====== The symposium is devoted to foundational and practical issues in programming languages and systems. Papers are solicited on topics such as * semantics, logics, foundational theory; * design of languages, type systems and foundational calculi; * domain-specific languages; * compilers, interpreters, abstract machines; * program derivation, synthesis and transformation; * program analysis, verification, model-checking; * logic, constraint, probabilistic and quantum programming; * software security; * concurrency and parallelism; * tools and environments for programming and implementation. Topics are not limited to those discussed in previous symposiums. Papers identifying future directions of programming and those addressing the rapid changes of the underlying computing platforms are especially welcome. Demonstration of systems and tools in the scope of APLAS are welcome to the System and Tool presentations category. Authors concerned about the appropriateness of a topic are welcome to consult with the program chair prior to submission. ========== SUBMISSION ========== We solicit submissions in two categories: *Regular research papers* describing original scientific research results, including tool development and case studies. Regular research papers should not exceed 18 pages in the Springer LNCS format, including bibliography and figures. They should clearly identify what has been accomplished and why it is significant. Submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity. In case of lack of space, proofs, experimental results, or any information supporting the technical results of the paper could be provided as an appendix or a link to a web page, but reviewers are not obliged to read them. *System and Tool presentations* describing systems or tools that support theory, program construction, reasoning, or program execution in the scope of APLAS. System and Tool presentations are expected to be centered around a demonstration. The paper and the demonstration should identify the novelties of the tools and use motivating examples. System and Tool papers should not exceed 8 pages in the Springer LNCS format, including bibliography and figures. Submissions will be judged based on both the papers and the described systems or tools. It is highly desirable that the tools are available on the web. Papers should be submitted electronically via the submission web page: https://www.easychair.org/conferences/?conf=aplas2014 Acceptable formats are PostScript or PDF. Submitted papers must be unpublished and not submitted for publication elsewhere. Papers must be written in English. The proceedings will be published as a volume in Springer's LNCS series. Accepted papers must be presented at the conference. ===== DATES ===== Abstracts due: May 26, 2014 (Monday) Submission due: June 2, 2014 (Monday) Notification: August 6, 2014 (Wednesday) Final paper due: September 1, 2014 (Monday) Conference: November 17-19, 2014 (Monday-Wednesday) ========== ORGANIZERS ========== General chair: Wei-Ngan Chin (National University of Singapore) Program chair: Jacques Garrigue (Nagoya University) Program committee: Xiaojuan Cai (Shanghai Jiao Tong University, China) James Chapman (Institute of Cybernetics, Estonia) Cristian Gherghina (Singapore University of Technology and Design) Eric Goubault (CEA LIST and Ecole Polytechnique, France) Fei He (Tsinghua University, China) Gerwin Klein (NICTA and UNSW, Australia) Raghavan Komondoor (Indian Institute of Science, Bangalore) Paddy Krishnan (Oracle, Australia) Daan Leijen (Microsoft Research, USA) Yasuhiko Minamide (University of Tsukuba, Japan) Shin-Cheng Mu (Academia Sinica, Taiwan) Sungwoo Park (Pohang University of Science and Technology, Korea) Julian Rathke (University of Southampton, UK) Sukyoung Ryu (KAIST, Korea) Alexandra Silva (Radboud University Nijmegen, Netherlands) Martin Sulzmann (Karlsruhe University of Applied Sciences, Germany) Munehiro Takimoto (Tokyo University of Science, Japan) Jan Vitek (Purdue University, USA) Hongwei Xi (Boston University, USA) ======= CONTACT ======= aplas2014 at easychair.org From hbzhu at sei.ecnu.edu.cn Tue Feb 25 07:55:56 2014 From: hbzhu at sei.ecnu.edu.cn (Huibiao Zhu) Date: Tue, 25 Feb 2014 15:55:56 +0800 Subject: [Haskell] Call for Papers: TASE 2014 Message-ID: <593314960.17813@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 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: 28 February 2014 (23h59 GMT) Paper submission: 07 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 Iain.Whiteside at newcastle.ac.uk Tue Feb 25 14:01:43 2014 From: Iain.Whiteside at newcastle.ac.uk (Iain Whiteside) Date: Tue, 25 Feb 2014 14:01:43 +0000 Subject: [Haskell] *Deadline extended* Final call for contributions AI4FM 2014 Message-ID: <9915BCA7-20A9-49E5-8D35-582C76FD4CF8@newcastle.ac.uk> ------------------------------------------------- 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 ------------------------------------------------- --- Final Call for Contributions --- Confirmed Speakers --------------- Rustan Leino, Microsoft Research Chin Wei Ngan, National University of Singapore Dominique M?ry, LORIA and Universit? de Lorraine Important Dates --------------- Submission deadline: *March 15, 2014* Notification of acceptance: March 22, 2014 Final version due: April 22, 2014 Workshop: May 13th, 2014 General --------------- 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. We believe that AI can help with these issues. Scope --------------- We encourage submissions presenting work in progress, tools under development, and PhD projects, in order that the workshop can become a forum for active dialogue between the groups involved in automated reasoning, formal methods and artificial intelligence. Particular areas of interest include, but are not limited to: - The use of AI and automated reasoning to support and guide the formal modelling process. - The use of AI and automated reasoning in the requirement capture process. - The use of AI to reuse formal models, programs and proofs. - The use of machine learning to support interactive theorem proving. - The use of machine learning to enhance automated theorem proving. - The development of search heuristics. - The use of AI for term synthesis, invariant generation, lemma discovery and concept invention. - The use of AI for counter-example generation. - The use of constraint solvers in formal methods. - The role of AI planning for formal systems developments, from requirements to the end product (including software and hardware). - The interplay between reasoning and modelling and the role of AI in this framework. - Ontologies in the formal engineering process. History --------------- This will be the fifth workshop in the series. Previous workshops were held at: - Rennes, France, July 2013 @ ITP (www.ai4fm.org/ai4fm-2013/) - Schloss Dagstuhl, Germany, July 2012 (www.dagstuhl.de/12271) - Edinburgh, UK, April 2011 (www.ai4fm.org/ai4fm-2011.php) - Newcastle, UK, May 2010 (www.ai4fm.org/ko-meeting.php) Submission --------------- The main aim for the workshop is discussion, thus submissions do not need to be original. Extended versions of submissions may have been published previously, or submitted concurrently with or after AI4FM 2014 to another workshop, conference or a journal. Submission is by email to: ai4fm2014 at ai4fm.org Please submit an abstract up to 3 pages in a PDF format. The extended abstracts will be handed out to all participants, and will be made into a technical report prior to the workshop. Acceptance for presentation at the workshop will be made by the organisers based on relevance to the workshop. 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 From lcastro at udc.es Wed Feb 26 10:45:23 2014 From: lcastro at udc.es (Laura M. Castro) Date: Wed, 26 Feb 2014 11:45:23 +0100 Subject: [Haskell] Call For Papers: Erlang Workshop 2014 Message-ID: Hello all, Please find below the First 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 gvidal at dsic.upv.es Thu Feb 27 10:13:53 2014 From: gvidal at dsic.upv.es (German Vidal) Date: Thu, 27 Feb 2014 11:13:53 +0100 Subject: [Haskell] [LOPSTR 2014] First Call for Papers Message-ID: [Apologies for multiple copies] ================FIRST CALL FOR PAPERS====================== 24th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2014 http://www.iasi.cnr.it/events/lopstr14/ University of Kent, Canterbury, UK, September 10-11, 2014 DEADLINES Abstract submission: May 30, 2014 Paper/Extended abstract submission: June 6, 2014 =========================================================== The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers. The 24th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2014) will be held at the University of Kent, Canterbury, United Kingdom; previous symposia were held in Madrid, Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve, and Manchester. LOPSTR 2014 will be co-located with PPDP 2014 (International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming). Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. Both full papers and extended abstracts describing applications in these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to: * synthesis * transformation * specialization * composition * optimization * inversion * specification * analysis and verification * testing and certification * program and model manipulation * transformational techniques in SE * applications and tools Survey papers that present some aspects of the above topics from a new perspective, and application papers that describe experience with industrial applications are also welcome. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC co-chairs in case of questions). Important Dates Abstract submission: May 30, 2014 Paper/Extended abstract submission: June 6, 2014 Notification: July 18, 2014 Camera-ready (for electronic pre-proceedings): August 25, 2014 Symposium: September 10-11, 2014 Submission Guidelines Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in the Lecture Notes in Computer Science style. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords which will be used to assist the PC in selecting appropriate reviewers for the paper. Page numbers should appear on the manuscript to help the reviewers in writing their report. Submissions cannot exceed 15 pages including references but excluding well-marked appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. Paper should be submitted via the Easychair submission website for LOPSTR 2014. If electronic submission is impossible, please contact the program co-chairs for information on how to submit hard copies. Proceedings The formal post-conference proceedings will be published by Springer in the Lecture Notes in Computer Science series. Full papers can be directly accepted for publication in the formal proceedings, or accepted only for presentation at the symposium and inclusion in informal proceedings. After the symposium, all authors of extended abstracts and full papers accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the symposium. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. Program Committee Slim Abdennadher German University of Cairo, Egypt ?tienne Andr? Universit? Paris 13, France Martin Brain University of Oxford, UK Wei-Ngan Chin National University of Singapore, Singapore Marco Comini University of Udine, Italy Wlodzimierz Drabent IPIPAN, Poland and Link?ping University, Sweden Fabio Fioravanti University of Chieti-Pescara, Italy J?rgen Giesl RWTH Aachen University, Germany Miguel G?mez-Zamalloa Complutense University of Madrid, Spain Arnaud Gotlieb SIMULA Research Laboratory, Norway Gopal Gupta University of Texas at Dallas, USA Jacob Howe City University London, UK Zhenjiang Hu National Institute of Informatics, Japan Alexei Lisitsa University of Liverpool, UK Jorge Navas NASA, USA Naoki Nishida Nagoya University, Japan Corneliu Popeea Technische Universit?t M?nchen, Germany Maurizio Proietti IASI-CNR, Italy (Program Co-Chair) Tom Schrijvers Ghent University, Belgium Hirohisa Seki Nagoya Institute of Technology, Japan (Program Co-Chair) Jon Sneyers K.U. Leuven, Belgium Fausto Spoto University of Verona, Italy Wim Vanhoof University of Namur, Belgium German Vidal Universitat Politecnica de Valencia, Spain Annie-Liu Yanhong Stony Brook University, USA Program Co-Chairs: Maurizio Proietti, IASI-CNR, Italy (maurizio.proietti at iasi.cnr.it) Hirohisa Seki, Nagoya Institute of Technology, Japan (seki at nitech.ac.jp) Symposium Co-Chairs Olaf Chitil and Andy King School of Computing University of Kent CT2 7NF Kent, UK Organizing Committee Emanuele De Angelis Fabrizio Smith From drc at itu.dk Thu Feb 27 14:14:54 2014 From: drc at itu.dk (David Raymond Christiansen) Date: Thu, 27 Feb 2014 15:14:54 +0100 Subject: [Haskell] ANNOUNCE: Idris developers' meeting in Gothenburg, April 29-May 2, 2014 Message-ID: <530F485E.7020909@itu.dk> Idris is a fairly new dependently-typed functional programming language that aims at being a tool for writing practical programs. It is a close cousin of Agda. Idris adheres to Haskell's syntactic conventions where possible, and the compiler is written in Haskell. An Idris Developers' Meeting will be held, from Tuesday, April 29 to Friday, May 2, 2014, graciously hosted by Chalmers University of Technology in Gothenburg, Sweden. There is a Wiki page for coordinating participation and events: https://github.com/idris-lang/Idris-dev/wiki/Idris-Developers-Meeting,-April-May-2014 The current plan is to spend Tuesday the 29th on introductions to Idris in general, and possibly to dependent types, in an attempt to get as many local people as possible up to speed on the project. Wednesday-Friday will primarily consist of focused hacking sessions and talks, interrupted by the local Walpurgis Night festivities on Wednesday evening. If you are interested in attending, please send a mail to David Christiansen (drc at itu.dk) with which days you will attend, whether it's OK for your name to appear on the public participant list, and whether you will need access to Internet. Participation is at no cost, but no food or rooms are provided. As room booking can be a bit tight, registrations are appreciated as soon as possible, but 13 April at the latest. From Henrik.Nilsson at nottingham.ac.uk Thu Feb 27 18:12:20 2014 From: Henrik.Nilsson at nottingham.ac.uk (Henrik Nilsson) Date: Thu, 27 Feb 2014 18:12:20 +0000 Subject: [Haskell] CFP: FARM 2014: Functional Art, Music, Modelling and Design Message-ID: <530F8004.3040107@nottingham.ac.uk> Dear all, If you are using Haskell or any mostly functional language in any kind of musical, artistic, or design endeavour, please consider contributing to FARM 2014, the 2nd ACM SIGPLAN International Workshop of Functional Art, Music, Modelling and Design, co-located with ICFP 2014. Call-for-papers enclosed. Best regards, /Henrik -------------------------------------------------------------- FARM 2014 2nd ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design Gothenburg, Sweden; 6 September, 2014 The functional programming community is largely interested in writing beautiful programs. The ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design (FARM) is intended to gather researchers and practitioners interested in writing beautiful programs which generate beautiful artifacts or experiences, or perhaps even challenge notions of beauty. FARM encourages submissions from across art, craft and design, including textiles, visual art, music, 3D sculpture, animation, GUIs, video games, physical models, architectural models, choreographies for dance, poetry, and even VLSI layouts, GPU configurations, or mechanical engineering designs. The language used need not be purely functional ("mostly functional" is fine); may be based on abstractions such as higher-order functions, monads, arrows, or streams; and may be manifested as a domain specific language or tool. Theoretical foundations, language design, implementation issues, and applications in industry or the arts are all within the scope of the workshop. Submissions are invited in two categories: * Full papers 5 to 12 pages using the ACM SIGPLAN template. FARM 2014 is an interdisciplinary conference, so a wide range of approaches are encouraged and we recognize that the appropriate length of a paper may vary considerably depending on the approach. However, all submissions must propose an original contribution to the FARM theme, cite relevant previous work, and apply appropriate research methods. * Demo abstracts Demo abstracts should describe the demonstration and its context, connecting it with the themes of FARM. A demo could be in the form of a short (10-20 minute) tutorial, presentation of work-in-progress, an exhibition of some work, or even a performance. Abstracts should be no longer than 2 pages, using the ACM SIGPLAN template and will be subject to a light-touch peer review. If you have any questions about what type of contributions that might be suitable, or anything else regarding submission or the workshop itself, please contact the organisers at: workshop2014 at functional-art.org KEY DATES: Abstract (for Full Papers) submission deadline: 7 May Full Paper and Demo Abstract submission Deadline: 11 May Author Notification: 30 May Camera Ready: 18 June Workshop: 6 September SUBMISSION All papers and demo abstracts must be in portable document format (PDF), using the ACM SIGPLAN style guidelines. The text should be in a 9-point font in two columns. The submission itself will be via EasyChair. See the FARM website for further details: http://functional-art.org PUBLICATION Accepted papers will be included in the formal proceedings published by ACM Press and will also be made available through the the ACM Digital Library; see http://authors.acm.org/main.cfm for information on the options available to authors. Authors are encouraged to submit auxiliary material for publication along with their paper (source code, data, videos, images, etc.); authors retain all rights to the auxiliary material. WORKSHOP ORGANISATION Workshop Chair: Alex McLean, University of Leeds Program Chair: Henrik Nilsson, University of Nottingham Publicity Chair: Michael Sperber, Active Group GmbH Program Committee: Sam Aaron, Cambridge University David Duke, University of Leeds Kathleen Fisher, Tufts University Julie Greensmith, University of Nottingham Bas de Haas, Universiteit Utrecht Paul Hudak, Yale University David Janin, Universit? de Bordeaux Richard Lewis, Goldsmiths, University of London Louis Mandel, Coll?ge de France Alex McLean, University of Leeds Carin Meier, Neo Innovation Inc Rob Myers, Furtherfield Henrik Nilsson, University of Nottingham (chair) Dan Piponi, Google Inc Andrew Sorensen, Queensland University of Technology Michael Sperber, Active Group GmbH For further details, see the FARM website: http://functional-art.org -- Henrik Nilsson School of Computer Science The University of Nottingham nhn at cs.nott.ac.uk This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please send it back to me, and immediately delete it. Please do not use, copy or disclose the information contained in this message or in any attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. This message has been checked for viruses but the contents of an attachment may still contain software viruses which could damage your computer system, you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation. From vincent.berthoux at gmail.com Fri Feb 28 08:13:39 2014 From: vincent.berthoux at gmail.com (Vincent Berthoux) Date: Fri, 28 Feb 2014 09:13:39 +0100 Subject: [Haskell] [ANN] Rasterific & FontyFruity Message-ID: Hello Haskellers, I'm pleased to announce two new packages, whom work hand in hand: FontyFruity, a truetype file parser, and Rasterific a vector drawing engine. This two libraries enable us to generate pictures without the need of an external C library, and saving them to a file or directly send them over the network. FontyFruity: * hackage : http://hackage.haskell.org/package/FontyFruity * Github : https://github.com/Twinside/FontyFruity Rasterific: * hackage : http://hackage.haskell.org/package/Rasterific * Github : https://github.com/Twinside/Rasterific Regards Vincent -------------- next part -------------- An HTML attachment was scrubbed... URL: