From paul at bone.id.au Wed Jan 18 14:17:46 2017 From: paul at bone.id.au (Paul Bone) Date: Wed, 18 Jan 2017 14:17:46 +1100 Subject: [m-ads] ICLP 2017 CFP, In Melbourne! Message-ID: <20170118031746.GE9354@oxygen> ICLP is in our home town (Melbourne) this year. Anyone working on anything interesting, the CFP is here: http://iclp17.a4lp.org/call_for_papers.html ------ Since the first conference held in Marseille in 1982, ICLP has been the premier international conference for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but not restricted to: * Theory: Semantic Foundations, Formalisms, Nonmonotonic Reasoning, Knowledge Representation. * Implementation: Compilation, Virtual Machines, Parallelism, Constraint Handling Rules, Tabling. * Environments: Program Analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing. * Language Issues: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Programming Techniques. * Related Paradigms: Inductive and Co-inductive Logic Programming, Constraint Logic Programming, Answer-Set Programming, SAT-Checking. * Applications: Databases, Big Data, Data Integration and Federation, Software Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics, and Education. In addition to the presentations of accepted papers, the technical program will include invited talks, advanced tutorials, the doctoral consortium, and several workshops Important Dates --------------- (RP: Regular Paper / TC: Technical Communication) RP abstract registration: March 6, 2017 RP submission: March 13, 2017 RP first notification: April 24, 2017 TC (extra) submission: May 1, 2017 RP revision submission: May 15, 2017 Final notifications (RPs + TCs): May 29, 2017 Camera-ready copy (RPs + TCs): June 19, 2017 Conference: August 28 / September 1, 2017 -- Paul Bone http://paul.bone.id.au From paul at bone.id.au Fri Mar 31 21:53:39 2017 From: paul at bone.id.au (Paul Bone) Date: Fri, 31 Mar 2017 21:53:39 +1100 Subject: [m-ads] Fw: 1st Call for papers: FHPC 2017 Message-ID: <20170331105339.GD6426@oxygen> ====================================================================== CALL FOR PAPERS FHPC 2017 The 6th ACM SIGPLAN Workshop on Functional High-Performance Computing Oxford, UK September 7, 2017 http://icfp17.sigplan.org/track/FHPC-2017-papers Co-located with the International Conference on Functional Programming (ICFP 2017) Submission Deadline: 26th of May 2017 (anywhere on earth) ====================================================================== The FHPC workshop aims at bringing together researchers exploring uses of functional (or more generally, declarative or high-level) programming technology in application domains where high performance is essential. The aim of the meeting is to enable sharing of results, experiences, and novel ideas about how high-level, declarative specifications of computationally challenging problems can serve as maintainable and portable code that approaches (or even exceeds) the performance of machine-oriented (low-level) imperative implementations. All aspects of performance critical programming and parallel programming are in-scope for the workshop, irrespective of hardware target. This includes both traditional large-scale scientific computing (HPC), as well as work targeting single node systems with SMPs, GPUs, FPGAs, or embedded processors. It is becoming apparent that radically new and well founded methodologies for programming such systems are required to address their inherent complexity and to reconcile execution performance with programming productivity. Experience reports are also welcome. Proceedings: ============ FHPC 2017 seeks to encourage a range of submissions, focusing on work in progress and facilitating early exchange of ideas and open discussion on innovative and/or emerging results. To this end submissions should take the form of short (maximum 6 page) papers. Accepted papers will be published by the ACM and will appear in the ACM Digital Library. This year FHPC will introduce an (optional) artifact-evaluation session, with the intent that selected artifacts will receive additional presentation time in a dedicated slot during the workshop. * Paper submissions due: 26th of May, 2017 (anywhere on earth) * Artifact submissions due: 9th of June, 2017 (optional) * Author notification: 23rd of June, 2017 * Final copy due: 15th of July, 2017 Submitted papers must be in portable document format (PDF), formatted according to the ACM SIGPLAN style guidelines (2 column, 9pt format). See http://www.sigplan.org/authorInformation.htm for more information and style files. Papers should be no longer than 6 pages. Contributions to FHPC 2017 should be submitted via Easychair, at the following URL: * https://easychair.org/conferences/?conf=fhpc17 The FHPC workshops adhere to the ACM SIGPLAN policies regarding programme committee contributions and republication. Any paper submitted must adhere to ACM SIGPLAN's republication policy. PC member submissions are welcome, but will be reviewed to a higher standard. http://www.sigplan.org/Resources/Policies/Review http://www.sigplan.org/Resources/Policies/Republication ------ AUTHORS TAKE NOTE: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of your conference. The official publication date affects the deadline for any patent filings related to published work. ------ Travel Support: =============== Student attendees with accepted papers can apply for a SIGPLAN PAC grant to help cover travel expenses. PAC also offers other support, such as for child-care expenses during the meeting or for travel costs for companions of SIGPLAN members with physical disabilities, as well as for travel from locations outside of North America and Europe. For details on the PAC programme, see its web page (http://www.sigplan.org/PAC.htm). Program Committee: ================== Phil Trinder (co-chair) Glasgow University, UK Cosmin Oancea (co-chair) University of Copenhagen, Denmark Jost Berthold Commonwealth Bank of Australia, Australia Kei Davis Los Alamos National Laboratory, USA Zhenjiang Hu National Institute of Informatics, Japan Gabriele Keller The University of New South Wales, Australia Rita Loogen Philipps-University Marburg, Germany Patrick Maier Glasgow University, UK Geoffrey Mainland Drexel University, USA Gihan Mudalige University of Warwick, UK Louis-Noel Pouchet Colorado State University, USA Mary Sheeran Chalmers University of Technology, Sweden From paul at bone.id.au Wed May 17 08:16:21 2017 From: paul at bone.id.au (Paul Bone) Date: Wed, 17 May 2017 08:16:21 +1000 Subject: [m-ads] PPDP 2017: ** REVISED PAPER DEADLINE 26 May ** Message-ID: <20170516221621.GA10804@oxygen> ----- Forwarded message from Brigitte Pientka ----- Date: Tue, 16 May 2017 10:38:57 +0200 From: Brigitte Pientka To: alp-cfp at mail.cs.nmsu.edu, caml-list at inria.fr, agda at lists.chalmers.se, haskell at haskell.org, coq-club at inria.fr Cc: types-announce at lists.seas.upenn.edu Subject: [Alp-CFP] PPDP 2017: ** REVISED PAPER DEADLINE 26 May ** ======================================================== CALL FOR PAPERS 19th International Symposium on Principles and Practice of Declarative Programming PPDP 2017 Namur, Belgium, October 9-11, 2017 (co-located with LOPSTR'17) http://complogic.cs.mcgill.ca/ppdp2017 ======================================================== REVISED PAPER SUBMISSION DEADLINE: 26 May ======================================================== PPDP 2017 is a forum that brings together researchers from the declarative programming communities, including those working in the functional, logic, answer-set, and constraint programming paradigms. The goal is to stimulate research in the use of logical formalisms and methods for analyzing, performing, specifying, and reasoning about computations, including mechanisms for concurrency, security, static analysis, and verification. Submissions are invited on all topics from principles to practice, from foundations to applications. Topics of interest include, but are not limited to ** Language Design: domain-specific languages; interoperability; concurrency, parallelism, and distribution; modules; probabilistic languages; reactive languages; database languages; knowledge representation languages; languages with objects; language extensions for tabulation; metaprogramming. ** Implementations: abstract machines; interpreters; compilation; compile-time and run-time optimization; garbage collection; memory management. ** Foundations: type systems; type classes; dependent types; logical frameworks; monads; resource analysis; cost models; continuations; control; state; effects; semantics. ** Analysis and Transformation: partial evaluation; abstract interpretation; control flow; data flow; information flow; termination analysis; resource analysis; type inference and type checking; verification; validation; debugging; testing. ** Tools and Applications: programming and proof environments; verification tools; case studies in proof assistants or interactive theorem provers; certification; novel applications of declarative programming inside and outside of CS; declarative programming pearls; practical experience reports and industrial application; education. This year the conference will be co-located with the 27th Int'l Symp. on Logic-Based Program Synthesis and Transformation (LOPSTR 2017). IMPORTANT DATES: Paper Submission: 26 May 2017 Paper Rebuttal: 10 July 2017 Notification: 20 July 2017 Final Version: 15 Aug 2017 SUBMISSION CATEGORIES: Submissions can be made in three categories: regular Research Papers, System Descriptions, and Experience Reports. Submissions of Research Papers must present original research which is unpublished and not submitted elsewhere. They must not exceed 12 pages ACM style 2-column (including figures and bibliography). Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Submissions of research papers will be judged on originality, significance, correctness, clarity, and readability. Submission of System Descriptions must describe a working system whose description has not been published or submitted elsewhere. They must not exceed 10 pages and should contain a link to a working system. System Descriptions must be marked as such at the time of submission and will be judged on originality, significance, usefulness, clarity, and readability. Submissions of Experience Reports are meant to help create a body of published, refereed, citable evidence where declarative programming such as functional, logic, answer-set, constraint programming, etc., is used in practice. They must not exceed 6 pages. Experience Reports must be marked as such at the time of submission and need not report original research results. They will be judged on significance, usefulness, clarity, and readability. Possible topics for an Experience Report include, but are not limited to: * insights gained from real-world projects using declarative programming * comparison of declarative programming with conventional programming in the context of an industrial project or a university curriculum * curricular issues encountered when using declarative programming in education * real-world constraints that created special challenges for an implementation of a declarative language or for declarative programming in general * novel use of declarative programming in the classroom * programming pearl that illustrates a nifty new data structure or programming technique. SUBMISSION GUIDELINES: Submissions must be formatted using ACM style files (latest release December 2016) using the instructions at https://www.acm.org/publications/proceedings-template To prepare your submission using LaTex: * Download acmart.zip from https://www.ctan.org/pkg/acmart * Unzip acmart.zip * Run latex acmart.ins to produce an acmart.cls file * Run pdflatex sample-sigconf.tex to check that your installation works correctly * Write your paper using sample-sigconf.tex as a template Proofs of theoretical results that do not fit within the page limit, executables of systems, code of case studies, benchmarks used to evaluate a given system, etc., should be made available, via a reference to a website or in an appendix of the paper. Reviewers will be encouraged to consider this additional material, but are not obliged to. Submissions must be self-contained within the respective page limit; considering the additional material should not be necessary to assess the merits of a submission. At least one author of each accepted submission will be expected to attend and present their paper at the conference. Papers must be submitted via easychair. The submission site is at https://easychair.org/conferences/?conf=ppdp2017 PROCEEDING Accepted papers will be published in the ACM International Conference Proceedings Series. PROGRAM CHAIR Brigitte Pientka (McGill University) PROGRAM COMMITTEE Andreas Abel (Gothenburg University) Nadia Amin (EPFL) Zena M. Ariola (University of Oregon) Kenichi Asai (Ochanomizu University) James Cheney (University of Edinburgh) Mariangiola Dezani-Ciancaglini (University of Torino) Santiago Escobar (Universitat Politècnica de València) Amy Felty (University of Ottawa) Thom Frühwirth (University of Ulm) Patricia Johann (Appalachian State University) Neel Krishnaswami (University of Cambridge) Michaël Leuschel (Universität Düsseldorf) Yanhong Annie Liu (Stony Brook University) Andres Loeh (Well-Typed) Vivek Nigam (Federal University of Paraiba / fortiss) Naoki Nishida (Nagoya University) Catuscia Palamidessi (INRIA) Brigitte Pientka (McGill University) (PC Chair) Ulrich Schoepp (Ludwig Maximilian University) Chung-chieh Shan (Indiana University) Bernardo Toninho (Imperial College London) LOCAL ORGANIZER (joint with LOPSTR): Wim Vanhoof (University of Namur) ---------------------------------------------------------------------- _______________________________________________ Alp-cfp mailing list Alp-cfp at mail.cs.nmsu.edu https://athena.cs.nmsu.edu/mailman/listinfo/alp-cfp ----- End forwarded message ----- -- Paul Bone http://paul.bone.id.au From paul at bone.id.au Wed May 17 08:34:30 2017 From: paul at bone.id.au (Paul Bone) Date: Wed, 17 May 2017 08:34:30 +1000 Subject: [m-ads] Compose :: Melbourne CFP Message-ID: <20170516223430.GC10804@oxygen> Compose :: Melbourne is running again this year. 28-29th of August. Their CFP is here: http://www.composeconference.org/2017-melbourne/cfp/ -- Paul Bone http://paul.bone.id.au From paul at bone.id.au Fri Jun 2 11:33:37 2017 From: paul at bone.id.au (Paul Bone) Date: Fri, 2 Jun 2017 11:33:37 +1000 Subject: [m-ads] Call for Papers: CICLOPS 2017 - 15th International Colloquium on Implementation, of Constraint and LOgic Programming Systems Message-ID: <20170602013337.GA25636@oxygen> CICLOPS, ICLP and several other co-located conferences are in Melbourne this August. Here's the CFP for CICLOPS but the CFPs for the others should also be online. Note that they conflict with Compose :: Melbourne. [ Please distribute, apologies for multiple postings. ] ************************************************************************ CICLOPS 2017: Call for Papers 15th International Colloquium on Implementation of Constraint and LOgic Programming Systems 28th August 2017 Melbourne, Australia https://software.imdea.org/Conferences/CICLOPS2017/ Co-located with ICLP'17, CP'17, and SAT'17. ************************************************************************ Important Dates =============== Abstract Submission: 11 June 2017 Paper Submission: 18 June 2017 Author Notification: 10 July 2017 Camera-ready Copy: 23 July 2017 Dates are intended as Anywhere on Earth. Aims and Scope ============== This workshop aims at discussing and exchanging experience on the design, implementation, and optimization of logic, constraint (logic) programming systems, and other systems based on logic as a means to express computations. Experience backed up by real implementations and their evaluation will be given preference, as well as descriptions of work in progress in that direction. Topics include, but are not limited to: * Sequential implementation schemes (abstract machines, translation to other languages, etc.). * Implementation of concurrent and distributed logic and constraint programming systems. * Implementation of type inference and type checking systems for logic and constraint programming languages. * Compile-time analysis and its application to code generation. * Balance between compile-time effort and run-time machinery, dynamic compilation. * Interaction between high-level optimizations / transformations / specialization and low-level issues. * Memory management and garbage collection issues. * Indexing techniques and optimizations for large size programs. * Optimizations for program generated logic and constraint programs. * Implementation of logic engines in functional and object oriented languages. * Embedding of logic and constraint programming engines in multi-paradigm systems. * Implementation techniques for alternative logic engines and inference mechanisms (ASP, SAT, QSAT, DL etc.). * Implementation of theorem provers, proof assistants and logic based natural language processing systems. * Implementation of object and agent-oriented extensions to logic and constraint programming languages. * Object and module systems. * Design and implementation of declarative I/O concepts for logic and constraint programming languages. * Implementations and ports of logic and constraint programming systems for mobile phones and netbooks. * Documenting, debugging, testing, and profiling tools for logic and constraint programming systems. * Novel compilation methods to modern hardware (e.g. GPUs). Workshop Goals ============== Our intent is to bring together, in an informal setting, people involved in research on sequential and parallel implementation technologies for logic and constraint programming languages and systems, in order to promote the exchange of ideas and feedback on recent developments. We hope that the workshop will provide a meeting point for people working on implementation technology for different aspects of logic and constraint-based languages and systems. Paper Submissions ================= The workshop will welcome all short papers that are technically sound and on-topic, including contributions to theory, reports of interesting applications, reports of work in progress, experience papers, suggestions for new challenging problems, system descriptions, comparison and discussion papers, and improvements to known results/proofs/implementations. All papers must be written in English and should not exceed 15 pages. We welcome also shorter submissions, e.g., extended abstracts and short papers, of at least 3 pages. For all accepted papers, at least one author is required to attend the workshop and give a presentation of 30 minutes including discussion. Submissions must be made in Springer's LNCS format (https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines) via the page: https://easychair.org/conferences/?conf=ciclops2017. A program committee consisting of members from different research groups in the area will review the submissions on EasyChair. Papers will be reviewed by at least two, and usually three, referees. Proceedings =========== The informal workshop proceedings will be available on-line at the Computing Research Repository after the workshop. An electronic copy will also be distributed during the conference. Program Committee ================= Paul Bone (Mozilla) Mats Carlsson (SICS) Michael Hanus (CAU Kiel) Jose F. Morales (IMDEA Software Institute) - chair Paulo Moura (CRACS & INESC TEC) Joachim Schimpf (Coninfer Ltd) David Schneider (Heinrich Heine University Düsseldorf) Tom Schrijvers (KU Leuven) Nataliia Stulova (IMDEA Software Institute) - chair Theresa Swift (NOVALINKS, Universidade Nova de Lisboa) Tuncay Tekle (Stony Brook University) Jan Wielemaker (VU University Amsterdam) Neng-Fa Zhou (CUNY Brooklyn College and Graduate Center) Contact ======= ciclops2017 at software.imdea.org Organizers ========== Nataliia Stulova Jose F. Morales IMDEA Software Institute, Madrid, Spain From paul at bone.id.au Wed Jun 21 14:31:48 2017 From: paul at bone.id.au (Paul Bone) Date: Wed, 21 Jun 2017 14:31:48 +1000 Subject: [m-ads] [nataliia.stulova@imdea.org: [Alp-CFP] Final Call for Papers: CICLOPS 2017 - 15th International Colloquium on Implementation of Constraint and LOgic Programming Systems (DEADLINES EXTENSION)] Message-ID: <20170621043148.GA27156@oxygen> ----- Forwarded message from Nataliia Stulova ----- Date: Tue, 20 Jun 2017 16:34:51 +0200 From: Nataliia Stulova To: alp-cfp at mail.cs.nmsu.edu Subject: [Alp-CFP] Final Call for Papers: CICLOPS 2017 - 15th International Colloquium on Implementation of Constraint and LOgic Programming Systems (DEADLINES EXTENSION) [ Please distribute, apologies for multiple postings. ] ************************************************************************ CICLOPS 2017: Final Call for Papers - Deadlines Extension 15th International Colloquium on Implementation of Constraint and LOgic Programming Systems 28th August 2017 Melbourne, Australia https://software.imdea.org/Conferences/CICLOPS2017/ Co-located with ICLP'17, CP'17, and SAT'17. ************************************************************************ Important Dates =============== Paper submission: 28 June 2017 Author Notification: 17 July 2017 Camera-ready Copy: 31 July 2017 Dates are intended as Anywhere on Earth. Aims and Scope ============== This workshop aims at discussing and exchanging experience on the design, implementation, and optimization of logic, constraint (logic) programming systems, and other systems based on logic as a means to express computations. Experience backed up by real implementations and their evaluation will be given preference, as well as descriptions of work in progress in that direction. Topics include, but are not limited to: * Sequential implementation schemes (abstract machines, translation to other languages, etc.). * Implementation of concurrent and distributed logic and constraint programming systems. * Implementation of type inference and type checking systems for logic and constraint programming languages. * Compile-time analysis and its application to code generation. * Balance between compile-time effort and run-time machinery, dynamic compilation. * Interaction between high-level optimizations / transformations / specialization and low-level issues. * Memory management and garbage collection issues. * Indexing techniques and optimizations for large size programs. * Optimizations for program generated logic and constraint programs. * Implementation of logic engines in functional and object oriented languages. * Embedding of logic and constraint programming engines in multi-paradigm systems. * Implementation techniques for alternative logic engines and inference mechanisms (ASP, SAT, QSAT, DL etc.). * Implementation of theorem provers, proof assistants and logic based natural language processing systems. * Implementation of object and agent-oriented extensions to logic and constraint programming languages. * Object and module systems. * Design and implementation of declarative I/O concepts for logic and constraint programming languages. * Implementations and ports of logic and constraint programming systems for mobile phones and netbooks. * Documenting, debugging, testing, and profiling tools for logic and constraint programming systems. * Novel compilation methods to modern hardware (e.g. GPUs). Workshop Goals ============== Our intent is to bring together, in an informal setting, people involved in research on sequential and parallel implementation technologies for logic and constraint programming languages and systems, in order to promote the exchange of ideas and feedback on recent developments. We hope that the workshop will provide a meeting point for people working on implementation technology for different aspects of logic and constraint-based languages and systems. Paper Submissions ================= The workshop will welcome all short papers that are technically sound and on-topic, including contributions to theory, reports of interesting applications, reports of work in progress, experience papers, suggestions for new challenging problems, system descriptions, comparison and discussion papers, and improvements to known results/proofs/implementations. All papers must be written in English and should not exceed 15 pages. We welcome also shorter submissions, e.g., extended abstracts and short papers, of at least 3 pages. For all accepted papers, at least one author is required to attend the workshop and give a presentation of 30 minutes including discussion. Submissions must be made in Springer's LNCS format (https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines) via the page: https://easychair.org/conferences/?conf=ciclops2017. A program committee consisting of members from different research groups in the area will review the submissions on EasyChair. Papers will be reviewed by at least two, and usually three, referees. Proceedings =========== The informal workshop proceedings will be available on-line at the Computing Research Repository after the workshop. An electronic copy will also be distributed during the conference. Program Committee ================= Paul Bone (Mozilla) Mats Carlsson (SICS) Michael Hanus (CAU Kiel) Jose F. Morales (IMDEA Software Institute) - chair Paulo Moura (CRACS & INESC TEC) Joachim Schimpf (Coninfer Ltd) David Schneider (Heinrich Heine University Düsseldorf) Tom Schrijvers (KU Leuven) Nataliia Stulova (IMDEA Software Institute) - chair Theresa Swift (NOVALINKS, Universidade Nova de Lisboa) Tuncay Tekle (Stony Brook University) Jan Wielemaker (VU University Amsterdam) Neng-Fa Zhou (CUNY Brooklyn College and Graduate Center) Contact ======= ciclops2017 at software.imdea.org Organizers ========== Nataliia Stulova Jose F. Morales IMDEA Software Institute, Madrid, Spain _______________________________________________ Alp-cfp mailing list Alp-cfp at mail.cs.nmsu.edu https://athena.cs.nmsu.edu/mailman/listinfo/alp-cfp ----- End forwarded message ----- -- Paul Bone http://paul.bone.id.au From paul at bone.id.au Fri Jun 30 00:38:02 2017 From: paul at bone.id.au (Paul Bone) Date: Fri, 30 Jun 2017 00:38:02 +1000 Subject: [m-ads] Fw: Compose :: Melbourne, 2017, Call for Presentations Extension - Monday, 10th of July Message-ID: <20170629143802.GA25244@fluorine> ----- Forwarded message from Lyndon Maydwell ----- Date: Thu, 29 Jun 2017 18:04:00 +1000 From: Lyndon Maydwell Subject: [ANN] Compose :: Melbourne, 2017, Call for Presentations Extension - Monday, 10th of July Hi All! We're extending the Compose :: Melbourne CFP until Monday, 10th of July. Details follow: (Web version: http://www.composeconference.org/2017-melbourne/cfp/) # Compose :: Melbourne Call for Presentations Compose :: Melbourne - http://www.composeconference.org/ - was closing its call for presentations at the end of the month... BUT, now we are extending the CFP until Monday, 10th of July, 2017! Submit your presentation proposal here: https://easychair.org/conferences/?conf=cmc20170 ## About Compose :: Melbourne Compose :: Melbourne is a functional-programming conference returning for its second year which is focused on developing the community and bringing functional-programming to a wider audience. It is a 2-day event being held in Melbourne, Australia on the 28th and 29th of August 2017 at RMIT University. The first day will feature a single track of presentations followed by a second day of workshops and unconference. Compose :: Melbourne is the sister-conference of the NY based Compose :: Conference. # Important Dates - CFP Extended Until - Monday 10th July, 2017 - Notify Presenters - July 20th, 2017 - Conference Day 1: Presentations - Monday, 28th August, 2017 - Conference Day 2: Unconference - Tuesday, 29th August, 2017 # Talk and Workshop Submission ## Day 1 - Presentations Submit a Presentation Proposal via Easy Chair: https://easychair.org/conferences/?conf=cmc20170 ## Day 2 - Unconference and Workshops Contact us (composemel-admin at googlegroups.com) with your workshop proposals, or talk-ideas. Although we don't require ahead-of-time talk information, if you tell us about your unconference talk, we will promote it! # Submission Guidelines Talk slots will be 30 minutes: 25 minute talk and 5 minutes for questions. Provide sufficient detail in your submission to enable the reviewers to understand your proposal and clearly identify what an attendee will gain from attending your session. You should include the following information in the submission system: - Authors - The details of each of the presenters - Title - Title of the presentation (please keep it brief and specific) - Abstract - A 300-500 word description of your presentation, ideally including... - Description of the content - Keywords - List any keywords that will help the program committee and attendees categorise your presentation. For example: proofs, Haskell, music. Please keep the content of your talk on-topic and do not use this speaking opportunity as a sales pitch. # Feel We want Compose Melbourne to be all about the community. We're aiming to help foster the growth of Functional Programming in Melbourne and unite all interested parties to spark a unified presence and a feeling of camaraderie amongst FP and Theory proponents in this wonderful city! Talks should help inspire and promote this goal. # Audience Functional-Programming and Programming-Language-Theory professionals and enthusiasts. Newcomers, experts, anyone from other disciplines of fields who is interested in what FP is or how it could help them with their work, or simply make life more enjoyable! # Diversity Just like Compose-Conference, we would also like to put an emphasis on soliciting a diverse set of speakers - anything you can do to distribute information about this CFP and encourage submissions from under-represented groups would be greatly appreciated. We welcome *all* (new and established) contributions and encourage you to apply! # Day One ## Keynote Day One will kick-off with a mind-blowing excursion into the realm of function live-coded music artistry by the living legend, Andrew Sorensen! Look him up on YouTube! ## Talks All topics for proposals for presentations are invited, but not limited to explore the following topics: ## New Languages The development of new and emerging Functional Languages, and the toolsets around them. ## Libraries and Tools Exploring the use and development of new and underrepresented tools and libraries. ## Production Systems 2017 continues the trend of many previously undeployed languages and systems breaking through into production. We're looking for war-stories, success-stories and sob-stories! ## Theory Theory is the cutting edge of new functional programming. Show the world what is rising over the horizon. ## Art and Music Exciting and innovative usage of functional programming language in the arts! # Day Two The second day will be dedicated to workshops and unconference. ## Workshops If you wish to run a workshop on the second day of the conference, then please let us know. Alternatively, if there is a workshop that would interest you as an attendee, then please also let us know. Last year, there were 5 workshops, including: * Intro to Haskell * FreeMonad FreeApplicative FreeWorkshop * Writing games for Android in Haskell * Intro to Purescript * Intro to the J language ## Unconference Got something random you want to talk about? The unconference will run the second day. There will be a whiteboard with spaces where anyone can write their name down to speak. There's no need to bring anything but yourself and your ideas and speaking voice. # Sponsors We are seeking sponsors to support us in putting on this conference. If you or your company would like to sponsor us, please get in contact via composemel-admin at googlegroups.com. You can find info on our sponsorship tiers here: https://github.com/composeconference/Compose-Melbourne-2017/wiki/Sponsorship-Tiers -- Compose Conference Melbourne Organising Committee http://www.composeconference.org/ ----- End forwarded message ----- -- Paul Bone http://paul.bone.id.au From paul at bone.id.au Thu Nov 23 21:41:47 2017 From: paul at bone.id.au (Paul Bone) Date: Thu, 23 Nov 2017 21:41:47 +1100 Subject: [m-ads] CFP: Real World Functional Programming Miniconf Message-ID: <20171123104147.GA4336@oxygen> Fraser Tweedale is running the Real World Functional Programming Miniconf at the next Linuxconf Australia. The CFP closes on the 11th of December. https://linux.conf.au/programme/miniconfs/functional-programming/ This is a good opportunity to connect with a FP and FP-curious audience. As other conference-goers will attend miniconfs before the main conference. -- Paul Bone http://paul.bone.id.au From lou.vaiano at ltx.com.au Mon Dec 11 10:15:44 2017 From: lou.vaiano at ltx.com.au (Lou Vaiano) Date: Mon, 11 Dec 2017 10:15:44 +1100 Subject: [m-ads] Mercury development work Message-ID: Hi, My name is Lou Vaiano. The company I work for, LTX, has a number of products in the home loan mortgage processing space. *Background* We have a Mercury application, referred to as darci, that receives input in the form of one or more HTML files and converts those into a single PDF file. This currently runs on Solaris 8, Ubuntu and Red Hat. We have a need to update darci and increase it's functionality. There is no major urgency but we could get started as soon as someone was available. *Requirements* At a high level we have the following mandatory requirements: - Update the Mercury compiler we are currently using from 11.07 to the current stable release Mercury 14.01.1. - Ability to recompile darci code into binaries for different platforms such as Linux, Solaris 10 and possibly Windows. - Ability to add new fonts without manually defining font metrics We also have a number of secondary requirements: - Ability to add new fonts without recompiling the darci code - Ability to add a blank page - Ability to insert a static PDF - Ability to merge multiple PDF files into one PDF file - Ability to display page numbers as Roman Numerals - Ability to format content as Multi column - Ability to (optionally) embed font information into PDF so font is not required locally to view PDF - Ability to support UTF-8 characters There are numerous other requirements which would greatly increase the functionality of darci but are likely to require significantly more work, such as support for CSS3 and HTML5. These can be discussed at a later date. Please contact me if you are interested in performing this work or require more information. Regards, Lou Vaiano LTX Pty Ltd PH: 0422 660 798 EM: lou.vaiano at ltx.com.au -------------- next part -------------- An HTML attachment was scrubbed... URL: