From icfp.publicity at googlemail.com Tue Nov 1 01:59:30 2016 From: icfp.publicity at googlemail.com (Lindsey Kuper) Date: Mon, 31 Oct 2016 18:59:30 -0700 Subject: [Haskell] Call for Workshop Proposals: ICFP 2017 Message-ID: <5817f702e2c50_54a3fd6a9465be46782c@landin.local.mail> CALL FOR WORKSHOP AND CO-LOCATED EVENT PROPOSALS ICFP 2017 22nd ACM SIGPLAN International Conference on Functional Programming September 3-9, 2017 Oxford, United Kingdom http://conf.researchr.org/home/icfp-2017 The 22nd ACM SIGPLAN International Conference on Functional Programming will be held in Oxford, United Kingdom on September 3-9, 2017. ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. Proposals are invited for workshops (and other co-located events, such as tutorials) to be affiliated with ICFP 2017 and sponsored by SIGPLAN. These events should be less formal and more focused than ICFP itself, include sessions that enable interaction among the attendees, and foster the exchange of new ideas. The preference is for one-day events, but other schedules can also be considered. The workshops are scheduled to occur on September 3 (the day before ICFP) and September 7-9 (the three days after ICFP). ---------------------------------------------------------------------- Submission details Deadline for submission: November 19, 2016 Notification of acceptance: December 18, 2016 Prospective organizers of workshops or other co-located events are invited to submit a completed workshop proposal form in plain text format to the ICFP 2017 workshop co-chairs (David Christiansen and Andres Loeh), via email to icfp2017-workshops at googlegroups.com by November 19, 2016. (For proposals of co-located events other than workshops, please fill in the workshop proposal form and just leave blank any sections that do not apply.) Please note that this is a firm deadline. Organizers will be notified if their event proposal is accepted by December 18, 2016, and if successful, depending on the event, they will be asked to produce a final report after the event has taken place that is suitable for publication in SIGPLAN Notices. The proposal form is available at: http://www.icfpconference.org/icfp2017-files/icfp17-workshops-form.txt Further information about SIGPLAN sponsorship is available at: http://www.sigplan.org/Resources/Proposals/Sponsored/ ---------------------------------------------------------------------- Selection committee The proposals will be evaluated by a committee comprising the following members of the ICFP 2017 organizing committee, together with the members of the SIGPLAN executive committee. Workshop Co-Chair: David Christiansen (Indiana University) Workshop Co-Chair: Andres Loeh (Well-Typed LLP) General Chair: Jeremy Gibbons (University of Oxford) Program Chair: Mark Jones (Portland State University) ---------------------------------------------------------------------- Further information Any queries should be addressed to the workshop co-chairs (David Christiansen and Andres Loeh), via email to icfp2017-workshops at googlegroups.com From t.astarte at newcastle.ac.uk Wed Nov 2 15:00:30 2016 From: t.astarte at newcastle.ac.uk (Troy Astarte (PGR)) Date: Wed, 2 Nov 2016 15:00:30 +0000 Subject: [Haskell] Strachey 100 conference Message-ID: Dear all, A final reminder for the conference below. This November marks 100 years since the birth of Christopher Strachey. We are holding a symposium to celebrate his life and research in Oxford on Saturday 19th November. There will also be an exhibition of material from the Strachey archive on Friday 18th November, followed by a banquet dinner at Hertford College on the evening of Friday 18th November. For more information and to register for attendance, please go to http://www.cs.ox.ac.uk/strachey100/. ------------------------------- Christopher Strachey (1916–1975) was a pioneering computer scientist and the founder of the Programming Research Group, now part of the Department of Computer Science at Oxford University. Although Strachey was keenly interested in the practical aspects of computing, it is in the theoretical side that he most indelibly left his mark, notably by creating with Dana Scott the denotational (or as he called it, ‘mathematical’) approach to defining the semantics of programming languages. Strachey also spent time writing complex programs and puzzles for various computers, such as a draughts playing program for the Pilot ACE in 1951. He developed some fundamental concepts of machine-independent operating systems, including an early suggestion for time-sharing, and was a prime mover in the influential CPL programming language. Strachey came from a notable family of intellectuals and artists, perhaps most famous for Christopher’s uncle Lytton, a writer and member of the Bloomsbury group. We will be marking the occasion of 100 years since Christopher Strachey's birth on Saturday 19th November 2016, three days after his birthday, with a symposium of invited speakers. The morning will look back at Strachey’s life and works from a historical and technical perspective, and the afternoon will concern the future of Strachey-inspired theoretical computer science at Oxford University. There will also be a display of related archival material on Friday 18th November for anyone interested, and a banquet dinner at Hertford College on the evening of Friday 18th November. Hope to see many of you there. Best, Troy Astarte -------------- next part -------------- An HTML attachment was scrubbed... URL: From compscience.announcement at gmail.com Thu Nov 3 23:34:22 2016 From: compscience.announcement at gmail.com (Klaus Havelund) Date: Thu, 3 Nov 2016 16:34:22 -0700 Subject: [Haskell] SPIN 2017 - Call for papers Message-ID: SPIN 2017 24th International Symposium on Model Checking of Software Santa Barbara, CA, USA, July 13-14, 2017 http://conf.researchr.org/home/spin-2017 Collocated with ISSTA ------------------------------ The SPIN symposium aims at bringing together researchers and practitioners interested in automated tool-based techniques for the analysis of software as well as models of software, for the purpose of verification and validation. The symposium specifically focuses on concurrent software, but does not exclude analysis of sequential software. Submissions are solicited on theoretical results, novel algorithms, tool development, and empirical evaluation. History: The SPIN symposium originated as a workshop focusing on explicit state model checking, specifically as related to the Spin model checker. However, over the years it has evolved to a broadly scoped symposium for software analysis using any automated techniques, including model checking, automated theorem proving, symbolic execution, etc. SPIN 2017 will be arranged as a ACM SIGSOFT event, collocated with the International Symposium on Software Testing and Analysis (ISSTA 2017): http://conf.researchr.org/home/issta-2017. An overview of the previous SPIN symposia (and early workshops) can be found at: http://spinroot.com/spin/symposia. Topics of interest include, but are not limited to: - Formal verification techniques for automated analysis of software - Formal analysis for modeling languages, such as UML/state charts - Formal specification languages, temporal logic, design-by-contract - Model checking - Automated theorem proving, including SAT and SMT - Verifying compilers - Abstraction and symbolic execution techniques - Static analysis and abstract interpretation - Combination of verification techniques - Modular and compositional verification techniques - Verification of timed and probabilistic systems - Automated testing using advanced analysis techniques - Combination of static and dynamic analyses - Derivation of specifications, test cases, or other useful material via formal analysis - Case studies of interesting systems or with interesting results - Engineering and implementation of software verification and analysis tools - Benchmark and comparative studies for formal verification and analysis tools - Formal methods education and training - Insightful surveys or historical accounts on topics of relevance to the symposium ------------------------------ Submission Guidelines ------------------------------ The contributions to SPIN 2017 will be published as ACM Proceedings, and should be submitted in the ACM Conference Format: https://www.acm.org/publications/proceedings-template. With the exception of survey and history papers, submissions must be original and should not have been published previously or be under consideration for publication while being evaluated for this symposium. We are soliciting two categories of papers: - *Full Research Papers* describing fully developed work and complete results (10 pages); - *Short Papers* presenting tools, technology, experiences with lessons learned, new ideas, work in progress with preliminary results, and novel contributions to formal methods education (4 pages). Papers should be submitted via the EasyChair SPIN 2017 submission website: https://easychair.org/conferences/?conf=spin2017. *Best Paper* awards will be given and announced at the conference. A selection of papers will be invited to a special issue of the *International Journal on Software Tools for Technology Transfer* (STTT). ------------------------------ Important Dates ------------------------------ - Paper Submission: February 10, 2017 (23:59:59 Anywhere on Earth) - Author Notification : April 15, 2017 - Camera-Ready Paper: May 20, 2017 - Symposium : July 13-14, 2017 ------------------------------ Program Chairs ------------------------------ - Hakan Erdogmus, Carnegie Mellon University, USA - Klaus Havelund, NASA/Caltech Jet Propulsion Laboratory, USA ------------------------------ Awards Chair ------------------------------ - Corina Pasareanu, NASA Ames Research Center, USA ------------------------------ Program Committee ------------------------------ - Erika Abraham, RWTH Aachen University, Germany - Christel Baier, Technical University of Dresden, Germany - Tom Ball, Microsoft Research, USA - Ezio Bartocci, Vienna University of Technology, Austria - Dirk Beyer, Ludwig-Maximilians-Universität München (LMU Munich), Germany - Armin Biere, Johannes Kepler University, Austria - Dragan Bosnacki, Eindhoven University of Technology, Netherlands - Zmago Brezocnik, University of Maribor, Slovenia - Sagar Chaki, Software Engineering Institute CMU, USA - Alessandro Cimatti, Fondazione Bruno Kessler, Italy - Lucas Cordeiro, University of Oxford, UK - Patrice Godefroid, Microsoft Research, USA - Susanne Graf, VERIMAG Laboratory, France - Radu Grosu, Vienna University of Technology, Austria - Arie Gurfinkel, University of Waterloo, USA - Gerard Holzmann, NASA/Caltech Jet Propulsion Laboratory, USA - Sarfraz Khurshid, The University of Texas at Austin, USA - Kim Larsen, Aalborg University, Denmark - Stefan Leue, University of Konstanz, Germany - Alice Miller, University of Glasgow, Scotland - Corina Pasareanu, NASA Ames Research Center, USA - Doron Peled, Bar Ilan University, Israel - Neha Rungta, NASA Ames Research Center, USA - Theo Ruys, RUwise, Netherlands - Scott Smolka, Stony Brook University, USA - Scott Stoller, Stony Brook University, United States - Jun Sun, Singapore University of Technology and Design, Singapore - Oksana Tkachuk, NASA Ames Research Center, USA - Stavros Tripakis, University of California, Berkeley, USA - Willem Visser, Stellenbosch University, South Africa - Farn Wang, National Taiwan University, Taiwan - Michael Whalen, University of Minnesota, USA - Anton Wijs, Eindhoven University of Technology, Netherlands -------------- next part -------------- An HTML attachment was scrubbed... URL: From fa-ml at ariis.it Fri Nov 4 14:21:28 2016 From: fa-ml at ariis.it (Francesco Ariis) Date: Fri, 4 Nov 2016 15:21:28 +0100 Subject: [Haskell] [ANN] Haskell ITA meetup in Bologna, Italy (2016-11-19) Message-ID: <20161104142128.GB4326@casa.casa> Hello -cafe, the Italian Haskell Community (http://haskell-ita.it/) is happy to announce its autumn Haskell meetup! The event is going to be hosted in Bologna, on November 19th. The meeting will be in italian; we are going to form small groups/projects, to see Haskell in action and to share knowledge and opinions on functional programming. Everyone, experienced or not, is welcome, just make sure to have a laptop and a working Haskell environment! For a more detailed description of the event and to register, check: https://www.metooo.io/e/haskell-day-bologna (further information in italian follows) ----- - Dove: Bologna, Giardini Margherita, nella struttura "La Gabbia del Leone" (http://leserre.kilowatt.bo.it/gabbia-del-leone/), presso "Le Serre dei Giardini". - Quando: Sabato 19 Novembre, dalle 10:00 alle 18:00. - Chi: chiunque sia interessato alla programmazione funzionale, indipendentemente dal suo livello di esperienza. - Cosa faremo: lavoreremo in gruppi (2-6 persone circa) su diversi progetti. Ogni persona può scegliere il progetto che vuole, saranno date delle indicazioni sul livelo di conoscienza richiesto per contribuire. Lo scopo è provare a utilizzare Haskell per un progetto concreto, "toccare con mano" il modo che hanno altri di lavorare e di condividere le esperienze nelle numerose pause di gruppo. Lo scopo è puramente didattico, quindi nessuna ansia. - Cosa portare: un computer portatile e un ambiente Haskell configurato. - Come arrivare: dalla Stazione Centrale dei Treni di Bologna, prendere l'autobus 33 (frequenza 15 minuti) e scendere alla fermata "Giardini Margherita" e/o "Porta Santo Stefano" (circa 20 minuti di viaggio). Entrare nei Giardini Margherita, dall'ingresso di Via Castiglione 136 o Via Polischi 9, e recarsi presso "Le Serre dei Giardini", alla struttura "La Gabbia del Leone" (http://leserre.kilowatt.bo.it/gabbia-del-leone/). - Grazie a chi: all'associazione [Kilowatt](http://kilowatt.bo.it/about) che ha messo a disposizione gratuitamente la sala. - Per iscriversi: https://www.metooo.io/e/haskell-day-bologna From polmone83 at gmail.com Mon Nov 7 10:58:59 2016 From: polmone83 at gmail.com (Giovanni Bacci) Date: Mon, 7 Nov 2016 11:58:59 +0100 Subject: [Haskell] Call for MFCS'17 Workshop Proposals - Deadline December 20th, 2017 Message-ID: (Apologies if you receive multiple copies of this email. Please distribute to interested parties.) Call for MFCS'17 Workshop Proposals - Deadline December 20th, 2017 The 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017) invites proposals for a one- or two-days workshops. MFCS2017 is organized in the period August 21-25, 2017 in Aalborg, Denmark. The workshops can be organized either in the weekend before the conference (19-20 August) or on Saturday 26 August. Workshops are expected to focus on new research directions and the topic should be broadly connected with the topics of MFCS. Arrangements for workshops: The organizers of an MFCS2017 workshop are expected to: * create and maintain a website for the event, * produce a call for papers for the event (if appropriate), * advertise the event through specialist mailing lists etc. * review the submissions (if appropriate) and make acceptance decisions, * prepare an informal (pre)proceedings for the event (if appropriate), * prepare the event's program, and * prepare and organize the publication of a formal (post-)proceedings (if desired). The MFCS2017 organizing committee will: * promote the event on the website and in the publicity material of MFCS'17, * integrate the event's program into the overall program of the conference, * arrange registration for the event as a component of registration for MFCS and collect a participation fee from the registrants, * provide the event with a meeting room of an appropriate size including A/V equipment, and * provide two coffee breaks and lunch per day (see the financial details below). Financial details: The basic fee for a one-day workshop is 70 Euro, for a two-days workshop is 110 Euro, to be payed also by the workshop organizers and invited speakers. The registration fee includes the rent of the room including A/V equipment, two coffee-breaks and one lunch per day. The organizers can add more to the basic price an amount to cover their invited speakers and/or their registration fee. A 25% of VAT will be deducted from the extra payment before they can get it. So, e.g., for a one-day workshop, if the organizers will ask for 30 Euro extra, the price of the workshop for the participant will be 100 Euro and the organizers will get 24 Euro at their disposal. The MFCS organizing committee will not contribute toward the travel or accommodation costs of invited speakers or the organizers of satellite events. -- SUBMISSION OF SATELLITE EVENT PROPOSALS -- Researchers and practitioners wishing to organize satellite events are invited to submit proposals for the workshops. The proposals should be submitted by email to the general workshops chair Radu Mardare at mardare at cs.aau.dk. Deadline for submitting the workshop proposals is: December 20th, 2016. A proposal should not exceed two pages and should include: * the name and acronym of the satellite event, * the names and contact information of the organizers, * the duration of the event: one or two days, * the preferred period 19-20 August or 26 August, * the expected number of participants, * a brief description (120 words approximately) of the event topic * the plans for formal publication (no formal publication, formal proceedings ready by the event, formal post-proceedings, publication venue). ------------------------------- Radu Mardare, Dr.Scient. Associate Professor Aalborg University Department of Computer Science office 1.2.38, Selma Lagerlöfs Vej 300 DK-9220 Aalborg, Denmark Tel: +45 9940 8913 Fax: +45 9940 9798 Email: mardare at cs.aau.dk Web: www.cs.aau.dk/~mardare/ ------------------------------- -------------- next part -------------- An HTML attachment was scrubbed... URL: From torsten.grust at uni-tuebingen.de Mon Nov 7 12:58:48 2016 From: torsten.grust at uni-tuebingen.de (Torsten Grust) Date: Mon, 07 Nov 2016 13:58:48 +0100 Subject: [Haskell] =?utf-8?q?PhD/Postdoc_Position_at_U_T=C3=BCbingen_=28Ge?= =?utf-8?q?rmany=29?= Message-ID: [ Dear Haskell folks, while the job posting below may sound somewhat ``databasey'', our group performs most of its research in the trenches between the PL and DB worlds. We largely perceive query formulation, translation, and optimization as functional programming activities. We collaborate with PLers, among them Klaus Ostermann whose office is just below mine (he could hear me stomping on the floor right now, I guess). Haskell definitely is our research vehicle of choice. Database-Supported Haskell (Hackage: DSH) and our work on bringing back monad comprehensions into GHC are testament to this. Please consider joining us! Cheers, Torsten ] Starting Januar 2017, the DATABASE SYSTEMS Chair (Prof. Dr. Torsten Grust) at the Wilhelm-Schickard-Institute for Computer Science of University of Tuebingen (Germany), has a vacant position for a RESEARCH ASSISTANT. We encourage both, university graduates and Postdocs, to apply. = RESEARCH & TEACHING = Our team currently performs research in the following areas: - the interplay of database technology and various aspects of programming languages, - the compilation and optimization of (new) database languages, - the derivation of data provenance for (very) complex queries, and - the design and implementation of debuggers for declarative query languages. It is a principle of our work to construct systems (see db.inf.uni- tuebingen.de/research.html) that make our ideas tangible and assessable. The chair's research contributions are recognized internationally and more often than not are the fruit of collaboration with associated research groups. Our teaching activities embrace the classical topics of database technology as well as Computer Science, both at undergraduate and graduate levels. Whenever possible, we try to intertwine our research and teaching activities. = REQUIREMENTS = We are looking forward to grow our team and welcome applications of highly motivated candidates with an excellent university degree (in Computer Science or a closely related field) who are willing to support our research and teaching efforts. We are open to proposals for new research directions and hope that you like systems building as much as we do. Good knowledge of German (teaching) as well as very good knowledge of English (research and publication) are a requirement. = JOB DETAILS AND APPLICATION = Successful candidates will sign a contract with the University of Tuebingen under the current regulations applicable to employees in Public Service (TVoeD). You will be working in Tuebingen, the traditional university town in the Neckar valley (Stutgart region). Tuebingen is a beautiful and lively medieval town with a large university population. Located in southern Germany, at the edge of the Swabian Jura and Blackwood Forest, the surrounding country is characterized by rolling hills, forests, river valleys, historic towns, and extensive walking and biking trails. The quality of life is excellent. University of Tuebingen aims at increasing the number of female employees and thus especially welcomes applications of female candidates. Applications of disabled candidates will be given priority, depending on their suitability. Please send your complete application in PDF format via e-mail to Prof. Dr. Torsten Grust (torsten.grust at uni-tuebingen.de). The deadline for applications is December 9, 2016. Inquiries with respect to this position may be directed to Prof. Dr. Torsten Grust torsten.grust at uni-tuebingen.de db.inf.uni-tuebingen.de/TorstenGrust.html -- | Prof. Dr. Torsten Grust | Database Systems — Universität Tübingen (Germany) | ✉︎ torsten.grust at uni-tuebingen.de | db.inf.uni-tuebingen.de From tmoldere at vub.ac.be Thu Nov 10 13:08:19 2016 From: tmoldere at vub.ac.be (Tim Molderez) Date: Thu, 10 Nov 2016 14:08:19 +0100 Subject: [Haskell] 2nd Call for papers - 2017 Message-ID: <5da40088-7c1a-f0e0-cef7-a5a00aa7b998@vub.ac.be> 2017 : The Art, Science, and Engineering of Programming April 3-6, 2017, Brussels, Belgium http://2017.programming-conference.org We started a new conference and journal focused on everything to do with programming, including the experience of programming. We call the conference for short. Paper submissions and publications are handled by the journal. Accepted papers must be presented at the conference. ******************************************************** CALL FOR PAPERS ******************************************************** 2017 accept scholarly papers including essays that advance the knowledge of programming. Almost anything about programming is in scope, but in each case there should be a clear relevance to the act and experience of programming. **PAPER SUBMISSIONS**: December 1, 2016 We accept submissions covering several areas of expertise. These areas include, but are not limited to: • General-purpose programming • Distributed systems programming • Parallel and multi-core programming • Graphics and GPU programming • Security programming • User interface programming • Database programming • Visual and live programming • Data mining and machine learning programming • Interpreters, virtual machines and compilers • Modularity and separation of concerns • Model-based development • Metaprogramming and reflection • Testing and debugging • Program verification • Programming education • Programming environments • Social coding ******************************************************** IMPORTANT DATES ******************************************************** • Research paper submissions: December 1, 2016 • Research paper first notifications: February 1, 2017 • Research paper final notifications: March 7, 2017 • Workshop proposals: November 15, 2016 • European Lisp Symposium submissions: January 30, 2017 **new** • Salon des Refusés workshop submissions: February 1, 2017 **new** • LASSY 2017 workshop submissions: January 13, 2017 **new** • PX 2017 workshop submissions: February 4, 2017 • Poster abstract submissions: January 16, 2017 ******************************************************** ORGANIZATION ******************************************************** General Chair: Theo D'Hondt, Vrije Universiteit Brussel Local Organizing Chair: Wolfgang De Meuter, Vrije Universiteit Brussel Program Chair: Crista V. Lopes, University of California, Irvine Organizing Committee: Jörg Kienzle (workshops), McGill University Hidehiko Masuhara (demos), Tokyo Institute of Technology Ralf Lämmel (contest), University of Koblenz-Landau Jennifer Sartor (posters), Vrije Universiteit Brussel Tobias Pape (web technology), HPI - University of Potsdam Tim Molderez (publicity), Vrije Universiteit Brussel Program Committee: Andrew Black, Portland State University Shigeru Chiba, University of Tokyo Yvonne Coady, University of Victoria Robby Findler, Northwestern University Lidia Fuentes, Universidad de Málaga Richard Gabriel, IBM Research Elisa Gonzalez Boix, Vrije Universiteit Brussel Jeff Gray, University of Alabama Robert Hirschfeld, HPI - University of Potsdam Roberto Ierusalimschy, Pontifícia Universidade Católica do Rio de Janeiro Jörg Kienzle, McGill University Hidehiko Masuhara, Tokyo Institute of Technology Sasa Misailovic, University of Illinois at Urbana-Champaign Guido Salvaneschi, Technische Universität Darmstadt Mario Südholt, Ecole des mines de Nantes Jurgen Vinju, Centrum Wiskunde & Informatica Tijs van der Storm, Centrum Wiskunde & Informatica ******************************************************** 2017 is kindly supported by: ACM in-cooperation ACM SIGPLAN in-cooperation ACM SIGSOFT in-cooperation AOSA Vrije Universiteit Brussel ******************************************************** For more information, visit http://2017.programming-conference.org From bob.atkey at gmail.com Thu Nov 10 14:31:15 2016 From: bob.atkey at gmail.com (Robert Atkey) Date: Thu, 10 Nov 2016 14:31:15 +0000 Subject: [Haskell] Off the Beaten Track 2017: Final Call for Talk Proposals; deadline extended Message-ID: # Call for Talk Proposals: Off the Beaten Track 2017 http://conf.researchr.org/track/POPL-2017/OBT-2017 *** DEADLINE EXTENDED TO 15th November *** 21st January 2017 (co-located with POPL 2017, Paris, France) ## Invited Speakers We an invited speaker for OBT: - Moa Johansson, Chalmers, Sweden with another invited speaker TBC. ## Background Programming language researchers have the principles, tools, algorithms and abstractions to solve all kinds of problems, in all areas of computer science. However, identifying and evaluating new problems, particularly those that lie outside the typical core PL problems we all know and love, can be a significant challenge. This workshop’s goal is to identify and discuss problems that do not often show up in our top conferences, but where programming language research can make a substantial impact. We hope fora like this will increase the diversity of problems that are studied by PL researchers and thus increase our community’s impact on the world. While many workshops associated with POPL have become more like mini-conferences themselves, this is an anti-goal for OBT. The workshop will be informal and structured to encourage discussion. We are at least as interested in problems as in solutions. ## Scope A good submission is one that outlines a new problem or an interesting, underrepresented problem domain. Good submissions may also remind the PL community of problems that were once in vogue but have not recently been seen in top PL conferences. Good submissions do not need to propose complete or even partial solutions, though there should be some reason to believe that programming languages researchers have the tools necessary to search for solutions in the area at hand. Submissions that seem likely to stimulate discussion about the direction of programming language research are encouraged. Use your imagination. It's hard to imagine how a paper that discusses programming languages could be considered out of scope. If in doubt, ask the program chair. ## Previous OBTs 2017 marks the sixth year of OBT and its co-location with POPL. The previous five workshops were: - OBT 2016, St. Petersburg, USA - OBT 2015, Mumbai, India - OBT 2014, San Diego, USA - OBT 2013, Rome, Italy - OBT 2012, Philadelphia, USA ## Important Dates ** EXTENDED DEADLINE ** * 15th November 2016: Submission deadline * 8th December 2016: Notification * (18th December 2016: POPL early registration) * 21st January 2017: Workshop ## Submission Please submit your talk proposal via EasyChair: https://easychair.org/conferences/?conf=obt2017 All submissions should be in PDF format, two pages or less, in at least 10pt font, printable on A4 and on US Letter paper. Authors are welcome to include links to multimedia content such as YouTube videos or online demos. Reviewers may or may not view linked documents; it is up to authors to convince the reviewers to do so. For each accepted submission, one of the authors will give a talk at the workshop. The length of the talk will depend on the submissions received and how the program committee decides to assemble the program. Reviewing of submissions will be very light. Authors should not expect a detailed analysis of their submission by the program committee. Accepted submissions will be posted as is on this web site. By submitting a document, you agree that if it is accepted, it may be posted and you agree that one of the co-authors will attend the workshop and give a talk there. There will be no revision process and no formal publication. ## Organisers General chair: - Lindsey Kuper, Intel Labs, USA Programme chair: - Robert Atkey, University of Strathclyde, UK Programme committee: - Ekaterina Komendantskaya, Heriot-Watt University, UK - Chris Martens, North Carolina State University, USA - Tomas Petricek, University of Cambridge, UK - Wren Romano, Google Inc., USA - Mary Sheeran, Chalmers University of Technology, Sweden - KC Sivaramakrishnan, University of Cambridge, UK - Wouter Swierstra, Utrecht University, Netherlands From rdgrande at site.uottawa.ca Fri Nov 11 20:30:58 2016 From: rdgrande at site.uottawa.ca (Robson De Grande) Date: Fri, 11 Nov 2016 15:30:58 -0500 Subject: [Haskell] CFP: DCOSS 2017 - Ottawa, Canada Message-ID: =================================================== Call-For-Papers: 13th IEEE DCOSS 2017 Ottawa, Canada, June 5 - 7, 2017 http://paradise.site.uottawa.ca/DCOSS/ ==================================================== IMPORTANT: Paper registration through EDAS: January 6th, 2016 Paper Submission: January 12th, 2017 =================================================== ------ IEEE DCOSS 2017 is the 13th International Conference on Distributed Computing in Sensor Systems to be hosted in Ottawa, Canada in June 5-7, 2017. Due to their potential of impacting an entire host of application areas, distributed sensor systems have become a highly visible research area. The focus of DCOSS series of conferences is on distributed computing issues in large scale networked sensor systems, including, but not limited to, algorithms and applications, systems design techniques and tools, and in-network signal and information processing. DCOSS puts together a highly selective program where it primes for quality and innovation on works. Potential authors are invited to submit original unpublished manuscripts that demonstrate current research on computational aspects of distributed sensor systems. Topics of interest include but are not limited to: Social networks and applications Sensors for smart grid systems, green networks and sustainability Computation and programming models Energy models, minimization, awareness Distributed collaborative information processing Detection and tracking Theoretical performance analysis: complexity, correctness, scalability Abstractions for modular design Fault tolerance and security Task allocation, reprogramming and reconfiguration Dynamic resource management Scalable, heterogeneous architectures (node and system-level) Middleware interfaces, communication and processing primitives Design, simulation and optimization tools for deployment and operation Design automation and application synthesis techniques Closed-loop control for sensing and actuation Case studies: lessons from real world deployments Network coding and compression Paper Submission and Publication: High-quality original papers are solicited. Papers must be unpublished and must not be submitted for publication elsewhere. All papers will be reviewed by Technical Program Committee members and other experts active in the field to ensure high quality and relevance to the conference. Please submit your paper through EDAS link (https://edas.info/N23046). More detailed instructions about paper submissions can be fount at the link below. Conference content will be submitted for inclusion into IEEE Xplore as well as other Abstracting and Indexing (A&I) databases. - http://paradise.site.uottawa.ca/DCOSS/ Important Dates: Paper Registration Deadline: 6th January, 2017 Paper Submission Deadline: 12th January, 2017 Organizing Committee: GENERAL CHAIR Azzedine Boukerche, University of Ottawa, Canada PROGRAM CO-CHAIRS Salil Kanhere, University of New South Wales, Australia Soumaya Charkaoui, University of Sherbrooke, Canada -------------- next part -------------- An HTML attachment was scrubbed... URL: From gershomb at gmail.com Fri Nov 11 22:29:19 2016 From: gershomb at gmail.com (Gershom B) Date: Fri, 11 Nov 2016 17:29:19 -0500 Subject: [Haskell] Call for Haskell.org Committee Nominations Message-ID: Dear Haskellers, It is time to put out a call for new nominations (typically but not necessarily self-nominations) to the haskell.org committee. We have four members of our committee due for retirement -- Adam Foltzer, Nicolas Wu, Andres Loeh, and Edward Kmett (who is stepping down early). As per our bylaws, three of the slots will be for regular three year terms, and one will be a short one year term to fill out the remainder of Edward's. To nominate yourself, please send an email to committee at haskell.org by December 2, 2016. The retiring members are eligible to re-nominate themselves. Please feel free to include any information about yourself that you think will help us to make a decision. The Haskell.org committee serves as a board of directors for Haskell.org, a 501(c)3 nonprofit which oversees technical and financial resources related to Haskell community infrastructure. Being a member of the committee does not necessarily require a significant amount of time, but committee members should aim to be responsive during discussions when the committee is called upon to make a decision. Strong leadership, communication, and judgement are very important characteristics for committee members. The role is about setting policy, providing direction/guidance for Haskell.org infrastructure, planning for the long term, and being fiscally responsible with the Haskell.org funds (and donations). As overseers for policy regarding the open source side of Haskell, committee members must also be able to set aside personal or business related bias and make decisions with the good of the open source Haskell community in mind. We seek a broad representation from different segments of the Haskell world -- including but not limited to those focused on education, those focused on industrial applications, those with background in organizing users-groups, and those focused directly on our technical infrastructure. More details about the committee's roles and responsibilities are on https://wiki.haskell.org/Haskell.org_committee If you have any questions about the process, please feel free to e-mail us at committee at haskell.org, or contact one of us individually. Best, Gershom Bazerman From meneguette at ifsp.edu.br Sat Nov 12 16:28:20 2016 From: meneguette at ifsp.edu.br (RODOLFO IPOLITO MENEGUETTE) Date: Sat, 12 Nov 2016 14:28:20 -0200 (BRST) Subject: [Haskell] CFP: DCOSS 2017 - Ottawa, Canada - Jun 5-7, 2016 In-Reply-To: <2106022024.2789061.1478968087882.JavaMail.zimbra@ifsp.edu.br> Message-ID: <605060497.2789097.1478968100035.JavaMail.zimbra@ifsp.edu.br> ==================================================== Call-For-Papers: 13th IEEE DCOSS 2017 Ottawa, Canada, June 5 - 7, 2017 http://paradise.site.uottawa.ca/DCOSS/ ==================================================== IMPORTANT: Paper registration through EDAS: January 6th, 2016 Paper Submission: January 12th, 2017 =================================================== ------ IEEE DCOSS 2017 is the 13th International Conference on Distributed Computing in Sensor Systems to be hosted in Ottawa, Canada in June 5-7, 2017. Due to their potential of impacting an entire host of application areas, distributed sensor systems have become a highly visible research area. The focus of DCOSS series of conferences is on distributed computing issues in large scale networked sensor systems, including, but not limited to, algorithms and applications, systems design techniques and tools, and in-network signal and information processing. DCOSS puts together a highly selective program where it primes for quality and innovation on works. Potential authors are invited to submit original unpublished manuscripts that demonstrate current research on computational aspects of distributed sensor systems. Topics of interest include but are not limited to: Social networks and applications Sensors for smart grid systems, green networks and sustainability Computation and programming models Energy models, minimization, awareness Distributed collaborative information processing Detection and tracking Theoretical performance analysis: complexity, correctness, scalability Abstractions for modular design Fault tolerance and security Task allocation, reprogramming and reconfiguration Dynamic resource management Scalable, heterogeneous architectures (node and system-level) Middleware interfaces, communication and processing primitives Design, simulation and optimization tools for deployment and operation Design automation and application synthesis techniques Closed-loop control for sensing and actuation Case studies: lessons from real world deployments Network coding and compression Paper Submission and Publication: High-quality original papers are solicited. Papers must be unpublished and must not be submitted for publication elsewhere. All papers will be reviewed by Technical Program Committee members and other experts active in the field to ensure high quality and relevance to the conference. Please submit your paper through EDAS link ( https://edas.info/N23046 ). More detailed instructions about paper submissions can be fount at the link below. Conference content will be submitted for inclusion into IEEE Xplore as well as other Abstracting and Indexing (A&I) databases. - http://paradise.site.uottawa.ca/DCOSS/ Important Dates: Paper Registration Deadline: 6th January, 2017 Paper Submission Deadline: 12th January, 2017 Organizing Committee: GENERAL CHAIR Azzedine Boukerche, University of Ottawa, Canada PROGRAM CO-CHAIRS Salil Kanhere, University of New South Wales, Australia Soumaya Charkaoui, University of Sherbrooke, Canada -------------- next part -------------- An HTML attachment was scrubbed... URL: From wim.ectors at uhasselt.be Tue Nov 15 07:59:24 2016 From: wim.ectors at uhasselt.be (Wim Ectors) Date: Tue, 15 Nov 2016 02:59:24 -0500 Subject: [Haskell] [FNC-Conf] FNC 2017 CFPs: The 12th International Conference on Future Networks and Communications (July 24-26, 2017, Leuven, Belgium) Message-ID: ------------------------------------------------------------------------ The 12th International Conference on Future Networks and Communications (FNC) July 24-26, 2017 Leuven, Belgium http://cs-conferences.acadiau.ca/fnc-17/ ------------------------------------------------------------------------ Future Networks and Communications (FNC) research effort will help achieving a major promise of the emerging technologies such as, ubiquitous access to broadband, supporting vital applications in our daily lives such as health, energy consumption, environment transport, entertainment or education. The scope of FNC is the development of energy-efficient future network infrastructures that support the convergence and interoperability of heterogeneous mobile, wired and wireless broadband network technologies as enablers of the future Internet. This includes but not limited to ubiquitous fast broadband access and ultra-high speed end-to-end optical connectivity, supporting open services and innovative ambient applications. Scope also embraces novel and evolutionary approaches to tackle network architectures, taking due consideration of users and societal needs for success. Important Dates ---------------- - Workshop Proposal Due: January 20, 2017 - Paper Submission Due: March 8, 2017 - Acceptance Notification: April 28, 2017 - Final Manuscript Due: May 28, 2017 Publication ------------ All FNC 2017 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus ( www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/). All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com). This includes EI Compendex (www.ei.org/compendex). Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/). The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the special issues of: - Journal of Ambient Intelligence and Humanized Computing (IF: 0.835), by Springer (http://www.springer.com/engineering/journal/12652) - Journal of Future Generation Computer Systems (IF: 2.430), by Elsevier ( http://www.journals.elsevier.com/future-generation-computer-systems/) FNC 2017 will be held in conjunction with the 14th International Conference on Mobile Systems and Pervasive Computing (MobiSPC http://cs-conferences.acadiau.ca/mobispc-17/). FNC 2017 will be gel in the city of Leuven. Leuven is the capital of the province of Flemish Brabant in Belgium. It is located about 25 kilometres (16 miles) east of Brussels. It is the 10th largest municipality in Belgium and the fourth in Flanders. Leuven is home to the Katholieke Universiteit Leuven, the largest and oldest university of the Low Countries and the oldest Catholic university still in existence. The related university hospital of UZ Leuven, is one of the largest hospitals of Europe. The city is also known for being the headquarters of Anheuser-Busch InBev, the world's largest brewer and one of the five largest consumer-goods companies in the world. COMMITTEES: ----------- General Chairs Atta Badii, University of Reading, UK Soumaya Cherkaoui, Sherbrooke University, Canada Program Chairs Ansar-Ul-Haque Yasar, IMOB Ð Hasselt University, Belgium Haroon Malik, Marshall University, USA Advisory Committee Erol Gelenbe, Imperial College, UK Roch Glitho, Concordia University, Canada Zygmunt J. Haas, Cornell University, USA Philippe Martins, Telecom Paris Tech, France Peter Sloot, Universiteit van Amsterdam, Netherlands Ralf Steinmetz, Technische Universitaet Darmstadt, Germany David Taniar, Monash University, Australia Mohamed Younis, University of Maryland Baltimore County, USA Workshops Chairs Zahoor Khan, Higher Colleges of Technology, UAE International Journals Chair Bin Guo, Northwestern Polytechnical University, China Publicity Chairs Wim Ectors, Hasselt University, Belgium Yaser Jararweh, Jordan University of Science and Technology, Jordan Bjšrn A. Johnsson, Lund University, Sweden Technical Program Committee http://cs-conferences.acadiau.ca/fnc-17/#programCommittees Steering Committee Chair Elhadi Shakshuki, Acadia University, Canada -------------- next part -------------- An HTML attachment was scrubbed... URL: From jobs at besport.com Tue Nov 22 14:04:24 2016 From: jobs at besport.com (Be Sport) Date: Tue, 22 Nov 2016 14:04:24 +0000 Subject: [Haskell] Be Sport is hiring Message-ID: Be Sport is looking for programmers familiar with functional languages, for a development and research work in Paris. As we already sucessfully hired Haskellers, we thought these positions would interest the people reading this mailing-list. Send an e-mail to jobs at besport.com to apply. The company: Be Sport is a young tech company currently building its developers team. We have a very ambitious development program and we believe in the use of modern technologies coming from research to build strong basis for our apps. We work in close relationship with research laboratories (CNRS, Inria, univ. Paris Diderot ...). Our main focus at the moment are languages and typing for Web and mobile apps, recommendation algorithms for social networks, classification algorithms. Our first app is a social network dedicated to sport. Be Sport premises are located in the center of Paris. Work: We are looking for developers to take part in the development of some features of our apps. Good general developers, knowing OCaml or other functional languages (or willing to learn) are welcome. Other skills related to the implementation of a social network are also welcome: machine learning, database, search engines, etc. The developers will be integrated in the programming team: participation in the writing of specifications, implementation (client / server), stylesheets, testing … They will initially work on improving existing features, before progressively taking the lead on some components. Skills: Candidates must have some expertise on some of the following technologies: * Typed functional languages, especially OCaml (and Ocsigen Js_of_ocaml/Eliom) * Databases * Machine learning * Web programming (CSS, Javascript…) -------------- next part -------------- An HTML attachment was scrubbed... URL: From wim.ectors at uhasselt.be Wed Nov 23 08:21:32 2016 From: wim.ectors at uhasselt.be (Wim Ectors) Date: Wed, 23 Nov 2016 03:21:32 -0500 Subject: [Haskell] [ANT 2017] ANT 2017 CFPs: The 8th International Conference on Ambient Systems, Networks and Technologies (May 16-19, 2017, Madeira, Portugal) Message-ID: The 8th International Conference on Ambient Systems, Networks and Technologies (ANT-2017) (Track on Modeling and Simulation in Transportation Science) http://cs-conferences.acadiau.ca/ant-17/ Madeira, Portugal (16 - 19 May 2017) ANT-2017 is a leading international conference for researchers and industry practitioners to share their new ideas, original research results and practical development experiences from all Ambient Systems, Networks and Technologies related areas. The ANT-2017 will be held in conjunction with the International Conference on Sustainable Energy Information Technology (SEIT)). SCOPE The goal of the ANT-2017 conference is to provide an international forum for scientists, engineers, and managers in academia, industry, and government to address recent research results and to present and discuss their ideas, theories, technologies, systems, tools, applications, work in progress and experiences on all theoretical and practical issues arising in the ambient systems paradigm, infrastructures, models, and technologies that have significant contributions to the advancement of ambient systems theory, practices and their applications. At ANT-2017, there is a dedicated track on Modeling and Simulation in Transportation Sciences (MSTS) organized by the Transportation Research Institute (IMOB), Hasselt University, Belgium. This aim of this track is to bring together communities interested in the computation, knowledge discovery and technology policy aspects of transportation systems. The organizers of ANT-2015 (MSTS track) welcomes papers from researchers in the domains of transportation sciences and engineering, computer science, urban and regional planning, civil engineering, geography, geo-informatics and related disciplines to submit papers for consideration for presentation and for publication in the conference proceedings. Topics of interest in the MSTS track include (but are not limited to): · Collaborative transport, including collaborative multi-modal transport · Data mining and statistical learning for travel information · Human factors including adaptive driving, travel behavior, persuasive technology · Human-computer interfaces in intelligent transportation applications · Logistics and transportation management · Mathematical optimization in traffic engineering · Novel applications targeted to health, mobility, liveability and sustainability · Renewable energy sources in transportation · Simulation of traffic, passenger flows, assisted driving or collaborative transport · Social and institutional information related to travel · Traffic flow and transportation model · Travel information, including recommender systems and user feedback systems · Uncertain information in collaborative transport and assisted traveling SUBMISSION AND PROCEEDINGS All ANT-2017 accepted papers will be printed in the conference proceedings published by Elsevier Science in the open-access Procedia Computer Science series (on-line). Procedia Computer Sciences is hosted on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) ( www.engineeringvillage.com). This includes EI Compendex ( www.ei.org/compendex). The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. All accepted papers will also be indexed in DBLP ( http://dblp.uni-trier.de/). Submitted technical papers must be no longer than 8 pages for full papers and 5 pages for short papers including all figures, tables and references. Authors are requested to submit their papers electronically using the online conference management system in PDF format before the deadline (see Important Dates). The submission processes will be managed by easychair.org. If you have used this system before, you can use the same username and password. If this is your first time using EasyChair, you will need to register for an account by clicking "I have no EasyChair account" button. Upon completion of registration, you will get a notification email from the system and you are ready for submitting your paper. You can upload and re-upload the paper to the system by the submission due date. IMPORTANT DATES - Paper Submission Due: December 22, 2016 - Acceptance Notification: February 13, 2017 - Camera-Ready Submission: March 13, 2017 PROGRAM COMMITTEE (MSTS Track) Tom Bellemans, IMOB - Hasselt University, Belgium Itzhak Benenson, Tel Aviv University, Israel Eran Ben Elia, Ben-Gurion University of the Negev, Israel Stephane Galland, UTBM, France Irith Hartman, Haifa University, Israel Johan Holmgren, Blekinge Institute of Technology, Sweden Luk Knapen, Hasselt University, Belgium Bruno Kochan, IMOB - Hasselt University, Belgium Paul Koster, VU Amsterdam, The Netherlands Marco Lutzenberger, TU Berlin, Germany Kai Nagel, TU Berlin, Germany Luca Pappalardo, University of Pisa, Italy Davy Preuveneers, Katholieke Universiteit Leuven, Belgium Nicole Ronald, University of Melbourne, Australia Josep Maria Salanova, Centre for Research and Technology Hellas, Greece Harry Timmermans, Technische Universiteit Eindhoven, The Netherlands Ansar-Ul-Haque Yasar, Hasselt University, Belgium REGISTRATION Please visit: http://cs-conferences.acadiau.ca/ant-17/#registration for more information. VENUE, ACCOMMODATION & VISA REQUIREMENTS Please visit: http://cs-conferences.acadiau.ca/ant-17/#conferenceVenue for more information. PROGRAM VICE-CHAIRS Dr.Luk Knapen Transportation Research Institute Hasselt University, Belgium luk.knapen at uhasselt.be If you have any further questions please contact one of the program vice-chairs. You may also visit our website (http://cs-conferences.acadiau.ca/ant-17/) for more details. -------------- next part -------------- An HTML attachment was scrubbed... URL: