July 2015 - Haskell - Haskell.org

(no subject)
by lel416＠aol.com 24 Jul '15

24 Jul '15

Can u still purchase general admission tkts Sent from my iPhone

1 0

[LPNMR 2015] EARLY REGISTRATION CLOSING SOON - Call for Participation (student support grants: NEWS)
by Francesco Calimeri 23 Jul '15

23 Jul '15

[apologies for possible multiple copies] Call for Participation *** EARLY REGISTRATION CLOSES SOON *** *** NEW INFORMATION ABOUT STUDENT SUPPORT GRANTS *** --------------------------------------------------------------------------- 13th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2015 http://lpnmr2015.mat.unical.it/ Lexington, KY, USA September 27-30, 2015 (Collocated with the 4th Conference on Algorithmic Decision Theory 2015) --------------------------------------------------------------------------- REGISTRATION Registration procedure is available via http://www.cs.uky.edu/lpnmr2015/. Early registration closes before the end of July. AIMS AND SCOPE LPNMR 2015 is the thirteenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to the construction of systems for declarative programming and knowledge representation, as well as their use in practical applications. LPNMR 2015 The program will include three invited talks: - Stable Models for Temporal Theories - By Pedro Cabalar, University of Corunna, Spain - Algorithmic decision theory meets logic - By Jérôme Lang, Université Paris-Dauphine, France (Plenary session with ADT 2015). - Relational and Semantic Data Mining - By Nada Lavrač, Jožef Stefan Institute and University of Nova Gorica, Slovenia This edition of LPNMR will also feature several workshops, a special session dedicated to the 6th ASP Systems Competition, and will be collocated with the 4th Algorithmic Decision Theory Conference, ADT 2015. Joint LPNMR-ADT Doctoral Consortium will be a part of the program. Some details follow; full info are available via the official conference website http://lpnmr2015.mat.unical.it/. ASSOCIATED EVENTS WORKSHOPS - LPNMR 2015 will include specialized workshops to be held on September 27 prior to the main conference. Currently planned workshops include: - Grounding, Transforming, and Modularizing Theories with Variables Organizers: Marc Denecker, Tomi Janhunen Website: https://sites.google.com/site/gttv2015/ - Action Languages, Process Modeling, and Policy Reasoning Organizer: Joohyung Lee, Gail-Joon Ahn Website: https://sites.google.com/site/alpp2015/ - Natural Language Processing and Automated Reasoning Organizers: Marcello Balduccini, Ekaterina Ovchinnikova, Peter Schueller Website: https://sites.google.com/site/nlpar2015/ - Learning and Nonmonotonic Reasoning Organizers: Alessandra Russo and Alessandra Mileo Website: http://lnmr2015.insight-centre.org/ ASP COMPETITION - A special session dedicated to a discussion of the 6th ASP System Competition, including the methodology of the competition, benchmarks used, lessons learned and, most importantly, the results and the announcement of the winners. ALGORITHMIC DECISION THEORY (ADT) 2015 (collocated - same time and place) Algorithmic Decision Theory is a vibrant and growing area of research concerned with algorithmic aspects of problems arising in social choice and economics that involve optimal ways to aggregate preferences. The area abounds in hard computational problems and may be an axciting area of applications for ASP. The two conferences will seek ways to identify and promote synergies between their respective areas of focus. JOINT LPNMR-ADT DOCTORAL CONSORTIUM: co-Chairs: - Esra Erdem (LPNMR), Sabanci University, Turkey - Nick Mattei (ADT), NICTA, Australia More info: http://lpnmr2015.mat.unical.it/associated-events/adt-lpnmr-2015-doctoral-co… STUDENT SUPPORT GRANTS The organizing committee has limited funds to partially support students attending LPNMR, with priority to authors of accepted papers that are not funded by the doctoral consortium and have no other funding available. The funding will cover registration and partially cover stay in the conference hotel or some other hotel located nearby (the exact number of free nights to be determined). Applicants should submit their requests to lpnmr2015(a)mat.unical.it. A proof of student status is requested. NOTE: Students planning to request financial aid should directly contact Miroslaw Truszczynski <mirek(a)cs.uky.edu> before they register. COMPLIMENTARY MEMBERSHIP OFFER FOR CONFERENCE REGISTRANTS NEW TO AAAI LPNMR 2015 is pleased to acknowledge its cooperation with the Association for the Advancement of Artificial Intelligence (AAAI) [http://www.aaai.org] which will be publicizing the conference to its membership. Of special interest to conference attendees is an introductory membership offer from AAAI, which provides a complimentary 1-year online membership to conference participants who are new to AAAI. Please send a message to membership15(a)aaai.org for further details. VENUE Lexington is a medium size, pleasant and quiet university town. It is located in the heart of the so-called Bluegrass Region in Central Kentucky. The city is surrounded by beautiful horse farms on green pastures dotted with ponds and traditional architecture stables, and small race tracks, and bordered by white or black fences. The Horse Museum is as beautifully located as it is interesting. Overall, the city has a nice feel that mixes well old and new. The conference will be held in the Hilton Lexington Downtown hotel. COMMITTEES GENERAL CHAIR Victor Marek, University of Kentucky, KY, USA PROGRAM CHAIRS Giovambattista Ianni, University of Calabria, Italy Mirek Truszczynski, University of Kentucky, KY, USA WORKSHOPS CHAIR Yuliya Lierler, University of Nebrska at Omaha, NE, USA PUBLICITY CHAIR Francesco Calimeri, University of Calabria, Italy PROGRAM COMMITTEE Agostino Dovier, Università di Udine, Italy Agustín Valverde, Universidad de Màlaga, Spain Alessandra Mileo, National University of Ireland, Galway, INSIGHT Centre for Data Analytics, Ireland Andrea Formisano, Dip. di Matematica e Informatica, Università di Perugia, Italy Axel Polleres, Vienna University of Economics and Business, Austria Bart Bogaerts, Department of Computer Science, KU Leuven, Belgium Chiaki Sakama, Wakayama University, Japan Chitta Baral, Arizona State University, USA Christoph Redl, Vienna University of Technology, Austria Daniela Inclezan, Miami University, USA David Pearce, Universidad Politécnica de Madrid, Spain Emilia Oikarinen, Aalto University, Finland Enrico Pontelli, New Mexico State University, USA Esra Erdem, Sabanci University, Istanbul, Turkey Eugenia Ternovska, Simon Fraser University, Canada Fangkai Yang, Schlumberger Ltd Fangzhen Lin, Hong Kong University of Science and Technology, Hong Kong Francesco Calimeri, Università della Calabria, Italy Gerhard Brewka, Leipzig University, Germany Giovanni Grasso, Oxford University, UK Hannes Strass, Leipzig University, Germany Hans Tompits, Vienna University of Technology, Austria James Delgrande, Simon Fraser University, Canada Jia-Huai You, University of Alberta, Canada Joohyung Lee, Arizona State University, USA Jose Julio Alferes, Universidade Nova de Lisboa, Portugal Kewen Wang, Griffith University, Australia Marc Denecker, K.U.Leuven, Belgium Marcello Balduccini, Drexel University, USA Marina De Vos, University of Bath, UK Martin Gebser, Aalto University, Finland Matthias Knorr, NOVA-LINCS, Universidade Nova de Lisboa, Portugal Mauricio Osorio, Fundacion de la Universidad de las Americas, Puebla, Mexico Michael Fink, Vienna University of Technology, Austria Michael Gelfond, Texas Tech University, USA Orkunt Sabuncu, University of Potsdam, Germany Paul Fodor, Stony Brook University, USA Pedro Cabalar, University of Corunna, Spain Saadat Anwar, Arizona State University, USA Stefan Woltran, Vienna University of Technology Stefania Costantini, Dipartimento di Ingegneria e Scienze dell'Informazione, e Matematica, Univ. di L'Aquila, Italy Terrance Swift, CENTRIA, Universidade Nova de Lisboa, Portugal Thomas Eiter, Vienna University of Technology, Austria Tomi Janhunen, Aalto University, Finland Torsten Schaub, University of Potsdam, Germany Tran Cao Son, New Mexico State University, USA Vladimir Lifschitz, University of Texas at Austin, USA Wolfgang Faber, University of Huddersfield, UK Yi Zhou, University of Western Sydney, Australia Yisong Wang, Guizhou University, China Yuliya Lierler, University of Nebraska at Omaha, USA CONTACT lpnmr2015(a)mat.unical.it

1 0

ANNOUNCE: fgl-5.5.2.0 and fgl-arbitrary-0.2.0.0
by Ivan Lazar Miljenovic 22 Jul '15

22 Jul '15

I'm pleased to announce that I've (finally!) just released version 5.5.2.0 of [fgl]. Major changes in this release include a test suite, refactorings, code clean-ups and the following potentially breaking changes (in that they were previously unspecified or incorrect): - `nodeRange` and `nodeRangeM` for the various graph data structures erroneously returned `(0,0)` for empty graphs (making them indistinguishable from graphs containing the single node `0`). They now match the default implementation of throwing an error. - The behaviour of `delLEdge` when dealing with multiple edges was unspecified; it now deletes only a single edge and the new function `delAllLEdge` deletes all edges matching the one provided. All changes can be found in the changelog. [fgl]: https://hackage.haskell.org/package/fgl Along with this I'm releasing version 0.2.0.0 of [fgl-arbitrary] (i.e. the "I finally build against the version on Hackage" release). [fgl-arbitrary]: https://hackage.haskell.org/package/fgl-arbitrary -- Ivan Lazar Miljenovic Ivan.Miljenovic(a)gmail.com http://IvanMiljenovic.wordpress.com

1 0

Haskell developer position in research group
by Ward C Wheeler 22 Jul '15

22 Jul '15

(Apologies if this this list is inappropriate for such an announcement) My research group at the American Museum of Natural History in New York City is recruiting a developer (ideally with Haskell experience, but functional programming experience a must) for a research grant funded project in evolutionary bioinformatics. If you are interested, please contact me directly at wheeler(a)amnh.org with a CV and contact information for 3 references. Ward Wheeler Division of Invertebrate Zoology American Museum of Natural History Central Park West at 79th Street New York, NY 10024-5192 USA http://www.amnh.org/our-research/staff-directory/ward-wheeler http://www.amnh.org/our-research/computational-sciences/research/projects/s…

1 0

ICFP 2015 Call for Participation
by David Van Horn 18 Jul '15

18 Jul '15

[ Early registration ends 3 August. ] ===================================================================== Call for Participation ICFP 2015 20th ACM SIGPLAN International Conference on Functional Programming and affiliated events August 30 - September 5, 2015 Vancouver, British Columbia, Canada http://icfpconference.org/icfp2015/ ===================================================================== ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. The conference covers the entire spectrum of work, from practice to theory, including its peripheries. A full week dedicated to functional programming: 1 conference, 1 symposium, 11 workshops, tutorials, programming contest results, student research competition, and mentoring workshop * Program: http://icfpconference.org/icfp2015/program.html * Accepted Papers: http://icfpconference.org/icfp2015/accepted.html * Affiliated Events: http://icfpconference.org/icfp2015/affiliated.html * Local arrangements (including travel and accommodation): http://icfpconference.org/icfp2015/local.html * Registration is available via: https://regmaster4.com/2015conf/ICFP15/register.php Early registration is due 3 August, 2015. * Programming contest, 7-10 August, 2015: http://icfpcontest.org/ * Follow @icfp_conference on twitter for the latest news: http://twitter.com/icfp_conference There are several events affiliated with ICFP: Sunday, August 30 Haskell Implementors Workshop Workshop on Higher-order Programming with Effects Workshop on Generic Programming Programming Languages Mentoring Workshop Ally Skills Tutorial Monday, August 31 – Wednesday, September 2 ICFP Thursday, September 3 Workshop on Functional High-Performance Computing Haskell Symposium – Day 1 ML Family Workshop Commercial Users of Functional Programming – Day 1 Friday, September 4 Erlang Workshop Haskell Symposium – Day 2 OCaml Workshop Commercial Users of Functional Programming – Day 2 Scheme and Functional Programming Workshop Saturday, September 5 Functional Art, Music, Modeling and Design Commercial Users of Functional Programming – Day 3 Conference Organizers General Chair: Kathleen Fisher, Tufts University Program Chair: John Reppy, University of Chicago Local Arrangements Chair: Ronald Garcia, University of British Columbia Industrial Relations Chair: Anil Madhavapeddy, University of Cambridge Workshop Co-Chairs: Tom Schrijvers, KU Leuven Nicolas Wu, University of Bristol Programming Contest Chair: Joe Kiniry, Galois Student Research Competition Chair: Andrew Kennedy, Microsoft Research Mentoring Workshop Co-Chairs: Ronald Garcia, University of British Columbia Stephanie Weirich, University of Pennsylvania Publicity Chair: David Van Horn, University of Maryland Video Chair: Iavor Diatchki, Galois Student Volunteer Co-Chairs: Felipe Bañados Schwerter, University of British Columbia Gabriel Scherer, INRIA Mobile App Chair: Reid Holmes, University of Waterloo Industrial partners: Platinum partners Jane Street Capital Gold partners Anonymous donor Ahrefs Google Mozilla Research Oracle Labs Silver partners Bloomberg Tsuru Capital Galois The University of Chicago Bronze partners Erlang Solutions FireEye IntelliFactory PivotCloud Systor Vest =====================================================================

1 0

SPLASH 2015 - Workshops Combined Call for Papers
by Craig Anslow 17 Jul '15

17 Jul '15

/************************************************************************************/ ACM Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH'15) Pittsburgh, Pennsylvania, USA 25th-30th October, 2015 http://www.splashcon.org Sponsored by ACM SIGPLAN /************************************************************************************/ CALL FOR WORKSHOP PAPERS AND PARTICIPATION Submissions Deadline: August 7, 2015 /************************************************************************************/ SPLASH'15 workshops address a rich variety of well-known and newly emerging research areas and provide a creative and collaborative environment to discuss and solve challenge problems with attendees from industry and research organizations from all over the world. Submission deadlines vary from workshop to workshop. Some workshops will be published in the ACM Digital Library. The current SPLASH'15 workshops program is listed below and the abstracts at the end. ************************************************************** CURRENT WORKSHOP PROGRAM AGERE! - Workshop on Programming based on Actors, Agents, and Decentralized Control http://2015.splashcon.org/track/agere2015 Abstracts: August 1, 2015, Submissions: August 7, 2015, Position/work-in-progress Papers and Demos: September 7, 2015 DSM - Workshop on Domain-Specific Modeling http://2015.splashcon.org/track/dsm2015 Submissions: August 7, 2015 ETX - Eclipse Technology eXchange Workshop http://2015.splashcon.org/track/etx2015 Paper Registration: July 31, 2015 Submissions: August 7, 2015 FPW - Future Programming Workshop http://2015.splashcon.org/track/fpw2015 Submissions: August 7, 2015 MobileDeLi - Workshop on Mobile Development Lifecycle http://2015.splashcon.org/track/mobiledeli2015 Submissions: August 7, 2015 PLATEAU – Workshop on Evaluation and Usability of Programming Languages and Tools http://2015.splashcon.org/track/plateau2015 Submissions: August 7, 2015 PROMOTO – Workshop on Programming for Mobile and Touch http://2015.splashcon.org/track/promoto2015 Submissions: August 7, 2015 Parsing@SLE - Workshop on Parsing Programming Languages http://2015.splashcon.org/track/ParsingAtSLE2015 Submissions: August 7, 2015 REBLS - Workshop on Reactive and Event-based Languages & Systems http://2015.splashcon.org/track/rebls2015 Submissions: August 7, 2015 SEPS - Workshop on Software Engineering for Parallel Systems http://2015.splashcon.org/track/seps2015 Submissions: August 7, 2015 SMART - Smart Software Strategies http://conf.researchr.org/track/SmartSoftwareStrategies2015/SmartSoftwareSt… Submissions: October 2, 2015 WODA - Workshop on Dynamic Analysis http://2015.splashcon.org/track/woda2015 Submissions: August 7, 2015 For additional information, clarification, early feedback, or answers to questions, please contact the Workshop Organizers of your favorite workshops, or the Workshops Chairs, Jan S. Rellermeyer and Du Li, at workshopsplash2015(a)easychair.org ************************************************************** ANNEX: WORKSHOP ABSTRACTS AND DATES ************************************************************** AGERE! 5th International Workshop on Programming based on Actors, Agents, and Decentralized Control http://2015.splashcon.org/track/agere2015 -Deadlines: Abstracts: August 1, 2015 Submissions: August 7, 2015 Position/work-in-progress Papers and Demos: September 7, 2015 - Organizers: Elisa Gonzalez Boix, Vrije Universiteit Brussel, Belgium Philipp Haller, KTH Royal Institute of Technology, Sweden Alessandro Ricci, University of Bologna, Italy Carlos Varela, Rensselaer Polytechnic Institute - Abstract: The AGERE! workshop is aimed at focusing on programming systems, languages and applications based on actors, active/concurrent objects, agents and – more generally – high-level programming paradigms promoting a mindset of decentralized control in solving problems and developing software. The workshop is designed to cover both the theory and the practice of design and programming, bringing together researchers working on models, languages and technologies, and practitioners developing real-world systems and applications. ************************************************************** DSM - Domain-Specific Modeling workshop http://2015.splashcon.org/track/dsm2015 - Deadlines: Submissions: August 7, 2015 - Organizers: Jeff Gray, University of Alabama, USA Jonathan Sprinkle, University of Arizona, USA Juha-Pekka Tolvanen, MetaCase, Finland Matti Rossi, Aalto University School of Economics, Finland - Abstract: Domain-specific languages provide a viable and time-tested solution for continuing to raise the level of abstraction, and thus productivity, beyond coding, making systems development faster and easier. When accompanied with suitable automated modeling tools and generators it delivers to the promises of continuous delivery and devops. In Domain-Specific Modeling (DSM) the models are constructed using concepts that represent things in the application domain, not concepts of a given programming language. The modeling language follows the domain abstractions and semantics, allowing developers to perceive themselves as working directly with domain concepts. Together with frameworks and platforms, DSM can automate a large portion of software production. This automation is possible because of domain-specificity: both the modeling language and code generators fit to the requirements of a narrowly defined domain, often inside one organization only. ************************************************************** ETX - Eclipse Technology eXchange Workshop http://2015.splashcon.org/track/etx2015 - Deadlines: Abstracts: July 31, 2015 Submissions: August 7, 2015 - Organizers: Tim Verbelen, Ghent University - iMinds, Belgium Michael Burke, Rice University, USA - Abstract: The Eclipse platform (http://www.eclipse.org) was originally designed for building integrated development environments for object-oriented applications. Over the years it has developed into a vibrant ecosystem of platforms, toolkits, libraries, modeling frameworks, and tools that support various languages and programming styles. The goal of the ETX workshop is to bring together researchers and practitioners to exchange ideas about potential new uses of Eclipse and how Eclipse technology can be leveraged, improved, and/or extended for research and education. After succesful editions of the ETX workshop in 2003-2007, we revived the ETX workshop in 2014 and are now up for another edition. ETX 2015 invites original and unpublished contributions about potential new uses of Eclipse and how Eclipse technology can be leveraged, improved, and/or extended for research and education. ************************************************************** FPW - Future Programming Workshop http://2015.splashcon.org/track/fpw2015 - Deadlines: Submissions: August 7, 2015 - Organizers: Jonathan Edwards, MIT CSAIL, USA Richard Gabriel, IBM Research, USA Alex Payne, Emerging Languages Camp, USA - Abstract: The Future Programming Workshop (FPW) invites ambitious visions, new approaches, and early-stage work of all kinds seeking to improve software development. Participants will present their work at SPLASH in Pittsburgh and optionally at Strange Loop in St. Louis, culminating in a writers’ workshop at SPLASH. FPW fosters a supportive and inspirational community of researchers and practitioners working at the frontiers of software. We are looking for transformative ideas outside the academic and industrial mainstream - ideas with potentially large impacts on how we will build software in the future. We embrace early-stage work, when it is most in need of constructive criticism, and offer a safe and effective environment in which to receive such criticism. ************************************************************** MobileDeLi - Workshop on Mobile Development Lifecycle http://2015.splashcon.org/track/mobiledeli2015 - Deadlines: Submissions: August 7, 2015 - Organizers: Aharon Abadi, IBM Haifa Research Lab, Israel Lori Flynn, CERT, USA Jeff Gray, University of Alabama, USA - Abstract: Mobile application usage and development is experiencing exponential growth. According to Gartner, by 2016 more than 200 billion total apps will have been downloaded. The mobile domain presents new challenges to software engineering. Mobile platforms are rapidly changing, including diverse capabilities as GPS, sensors, and input modes. Applications must be omni-channel and work on all platforms. Activated on mobile platforms, modern applications must be elastic and scale on demand according to the hardware abilities. Applications often need to support and use third-party services. Therefore, during development, security and authorization processes for the dataflow must be applied. Bring your own device (BYOD) policies bring new security data leaks challenges. Developing such applications requires suitable practices and tools e.g., architecture techniques that relate to the complexity at hand; improved refactoring tools for hybrid applications using dynamic languages and polyglot development and applications; and testing techniques for applications that run on different devices. This workshop aims at establishing a community of researchers and practitioners to share their work and lead further research in the mobile development area. ************************************************************** PLATEAU – 6th Workshop on Evaluation and Usability of Programming Languages and Tools http://2015.splashcon.org/track/plateau2015 - Deadlines: Submissions: August 7, 2015 - Organizers: Thomas LaToza, UC Irvine, USA Joshua Sunshine, Carnegie Mellon University, USA Craig Anslow, Middlesex University, UK - Abstract: Programming languages exist to enable programmers to develop software effectively. But how efficiently programmers can write software depends on the usability of the languages and tools that they develop with. The aim of this workshop is to discuss methods, metrics and techniques for evaluating the usability of languages and language tools. The supposed benefits of such languages and tools cover a large space, including making programs easier to read, write, and maintain; allowing programmers to write more flexible and powerful programs; and restricting programs to make them more safe and secure. PLATEAU gathers the intersection of researchers in the programming language, programming tool, and human-computer interaction communities to share their research and discuss the future of evaluation and usability of programming languages and tools. ************************************************************** Parsing - Parsing@SLE 2015 http://2015.splashcon.org/track/ParsingAtSLE2015 - Deadlines: Submissions: August 7, 2015 - Organizers: Ali Afroozeh, Loek Cleophas, Umea University, Sweden - Abstract: Parsing@SLE is a workshop on parsing programming languages, now in its third edition. The intended participants are the authors of parser generation tools and parsers for programming languages and other software languages. For the purpose of this workshop ``parsing’’ is a computation that takes a sequence of characters as input and produces a syntax tree or graph as output. This possibly includes tokenization using regular expressions, deriving trees using context- free grammars, and mapping to abstract syntax trees. The goal is to bring together today’s experts in the field of parsing, in order to explore open questions and possibly forge new collaborations. The topics may include algorithms, implementation and generation techniques, syntax and semantics of meta formalisms (BNF), etc. ************************************************************** PROMOTO – 3rd Workshop on Programming for Mobile and Touch http://2015.splashcon.org/track/promoto2015 - Deadlines: Submissions: August 7, 2015 - Organizers: Steven D. Fraser, Innoxec, USA Alberto Sillitti, Center for Applied Software Engineering Bolzano, Italy - Abstract: Today, easy-to-use mobile devices like smartphones and tablets are becoming more prevalent than traditional PCs and laptops. New programming languages are emerging to enable programmers to develop software easily—leveraging the exciting advances in existing hardware, and providing abstractions that fit the capabilities of target platforms with multiple sensors, touch and cloud capabilities. PROMOTO brings together researchers who have been exploring new programming paradigms, embracing the new realities of always connected, touch-enabled mobile devices. PROMOTO 2015 would like to invite contributions covering technical aspects of cross-platform computing, cloud computing, social applications and security. Submissions for this event are invited in the general area of mobile and touch-oriented programming languages and programming environments, and teaching of programming for mobile devices. ************************************************************** REBLS - Workshop on Reactive and Event-based Languages & Systems http://2015.splashcon.org/track/rebls2015 - Deadlines: Submissions: August 7, 2015 - Organizers: Guido Salvaneschi, TU Darmstadt, Germany Wolfgang De Meuter, Vrije Universiteit, Belgium Patrick Eugster, Purdue University, USA Lukasz Ziarek, State University of New York (SUNY) Buffalo, USA Reactive programming and event-based programming are two closely related programming styles that are becoming ever more important with the advent of advanced HPC technology and the ever increasing requirement for our applications to run on the web or on collaborating mobile devices. A number of publications on middleware and language design — so-called reactive and event-based languages and systems (REBLS) — have already seen the light, but the field still raises several questions. For example, the interaction with mainstream language concepts is poorly understood, implementation technology is in its infancy and modularity mechanisms are almost totally lacking. Moreover, large applications are still to be developed and patterns and tools for developing reactive applications is an area that is vastly unexplored. ************************************************************** SEPS - 2nd Workshop on Software Engineering for Parallel Systems http://2015.splashcon.org/track/seps2015 - Deadlines: Papers: August 7, 2015 - Organizers: Ali Jannesari, Technical University of Darmstadt, Germany Siegfried Benkner, University of Vienna, Austria Xinghui Zhao, Washington State University, USA Ehsan Atoofian, Lakehead University, Canada Yukionri Sato, Tokyo Institute of Technology, Japan - Abstract: The increased complexity of parallel applications on modern parallel platforms (e.g. multicore/manycore, distributed or hybrid) requires more insight into development processes, and necessitates the use of advanced methods and techniques supporting developers in creating parallel applications or parallelizing and reengineering sequential legacy applications. We aim to advance the state of the art in different phases of parallel software development, covering software engineering aspects such as requirements engineering and software specification; design and implementation; program analysis, profiling and tuning; testing and debugging. ************************************************************** SMART - Workshop on Smart Software Strategies http://conf.researchr.org/track/SmartSoftwareStrategies2015/SmartSoftwareSt… - Deadlines: Papers: October 2, 2015 - Organizers: Steven D. Fraser, Independent Consultant, USA Dennis Mancl, Alcatel-Lucent, USA Bill Opdyke, JP Morgan Chase & Co, USA - Abstract: We should learn from the past – to use what we learn for the next problem. What can we learn from the experiences of Y2K? There are some lessons about software design and software maintenance that we might apply to the next wave of software and technology: Y2K bugs: In the late 1990s, software developers and managers were furiously working to analyze and fix potential “Y2K bugs.” We all knew that there were software applications that might fail on January 1, 2000, but no one was sure how we would manage to fix all of these defects in time. Today’s “smart” technologies: Fifteen years later, we are at the threshold of a new era of software – smart phones, wearable technology, digital currency, smart automobiles, smart power grids, smart appliances. How should we prepare for this wave? Should we be thinking ahead, should we be anticipating some of the potential risks and latent defects in our smart applications and smart support software for a software-driven future world? What advances in software analysis, design, coding, and testing will we need to do reduce our exposure to defects, unintended side effects, and malicious mischief? We might look to the past – to the biggest concentrated effort to clean up and modernize software on a worldwide scale. Are there some lessons we can learn from “Y2K remediation activities” of the 1990s? ************************************************************** WODA - 13th International Workshop on Dynamic Analysis http://2015.splashcon.org/track/woda2015 - Deadlines: Papers: August 7, 2015 - Organizers: Harry Xu, University of California, Irvine, USA Walter Binder, University of Lugano, Switzerland Yudi Zheng, University of Lugano, Switzerland - Abstract: Dynamic analysis is widely used in software development to understand various run-time properties of a program. Dynamic analysis includes both offline techniques, which operate on some captured representation of the program's behavior (e.g., a trace), and run-time techniques, which analyze the behavior on the fly, while the system is executing. Although inherently incomplete, dynamic analyses can be more precise than their static counterparts and show promise in aiding the understanding, development, and maintenance of robust and reliable large scale systems. Moreover, the data they provide enable statistical inferences to be made about program behavior. Dynamic analysis is playing a central role in the understanding of applications and systems as we grapple with emerging challenges such as systemic runtime bloat, high energy consumption, and the explosion of Big Data. The overall goal of WODA is to bring together researchers and practitioners working in all areas of dynamic analysis to discuss new issues, share results and ongoing work, and foster collaborations. This workshop is a forum for researchers and practitioners interested in the intersection of compilers, programming languages, architecture, software engineering, systems, high-performance computing, performance engineering, machine learning, and data mining for addressing software and system performance. The workshop focuses on developing and studying analytic technologies (e.g., program analysis, statistical analysis, machine learning, data mining, visualization) applied on various software or system artifacts (e.g., production systems, tests, program traces, system logs) to address issues in software and system reliability, dependability, performance, and scalability. /************************************************************************************/

1 0

OCL 2015: ** Deadline Extension ** Submit Your Paper Until July 26, 2015
by Achim D. Brucker 17 Jul '15

17 Jul '15

(Apologies for duplicates) If you are working on the foundations, methods, or tools for OCL or textual modelling, you should now finalise your submission for the OCL workshop! *** The submission deadline has been extended to July 26th, 2015! *** CALL FOR PAPERS 15th International Workshop on OCL and Textual Modeling Tools and Textual Model Transformations Co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015) September 28th, 2015, Ottawa, Canada http://ocl2015.lri.fr Modeling started out with UML and its precursors as a graphical notation. Such visual representations enable direct intuitive capturing of reality, but some of their features are difficult to formalize and lack the level of precision required to create complete and unambiguous specifications. Limitations of the graphical notations encouraged the development of text-based modeling languages that either integrate with or replace graphical notations for modeling. Typical examples of such languages are OCL, textual MOF, Epsilon, and Alloy. Textual modeling languages have their roots in formal language paradigms like logic, programming and databases. The goal of this workshop is to create a forum where researchers and practitioners interested in building models using OCL or other kinds of textual languages can directly interact, report advances, share results, identify tools for language development, and discuss appropriate standards. In particular, the workshop will encourage discussions for achieving synergy from different modeling language concepts and modeling language use. The close interaction will enable researchers and practitioners to identify common interests and options for potential cooperation. Topics of interest include (but are not limited to) =================================================== - Mappings between textual modeling languages and other languages/formalisms - Algorithms, evaluation strategies and optimizations in the context of textual modeling languages for -- validation, verification, and testing, -- model transformation and code generation, -- meta-modeling and DSLs, and -- query and constraint specifications - Alternative graphical/textual notations for textual modeling languages - Evolution, transformation and simplification of textual modeling expressions - Libraries, templates and patterns for textual modeling languages - Tools that support textual modeling languages (e.g., verification of OCL formulae, runtime monitoring of invariants) - Complexity results for textual modeling languages - Quality models and benchmarks for comparing and evaluating textual modeling tools and algorithms - Successful applications of textual modeling languages - Case studies on industrial applications of textual modeling languages - Experience reports -- usage of textual modeling languages and tools in complex domains, -- usability of textual modeling languages and tools for end-users - Empirical studies about the benefits and drawbacks of textual modeling languages - Innovative textual modeling tools - Comparison, evaluation and integration of modeling languages - Correlation between modeling languages and modeling tasks This year, we particularly encourage submissions describing tools that support - in a very broad sense - textual modeling languages (if you have implemented OCL.js to run OCL in a web browser, this is the right workshop to present your work) as well as textual model transformations. Venue ===== The workshop will be organized as a part of MODELS 2015 Conference in Ottawa, Canada. It continues the series of OCL workshops held at UML/MODELS conferences: York (2000), Toronto (2001), San Francisco (2003), Lisbon (2004), Montego Bay (2005), Genova (2006), Nashville (2007), Toulouse (2008), Denver (2009), Oslo (2010), Zurich (2011, at the TOOLs conference), 2012 in Innsbruck, 2013 in Miami, and 2014 in Valencia, Spain. Similar to its predecessors, the workshop addresses both people from academia and industry. The aim is to provide a forum for addressing integration of OCL and other textual modeling languages, as well as tools for textual modeling, and for disseminating good practice and discussing the new requirements for textual modeling. Workshop Format =============== The workshop will include short (about 15 min) presentations, parallel sessions of working groups, and sum-up discussions. Submissions =========== Three types of papers will be considered: * short papers (between 6 and 8 pages) describing ideas, * tool papers (between 6 and 8 pages), and * full papers (between 12 and 16 pages) in LNCS format. Submissions should be uploaded to EasyChair (https://easychair.org/conferences/?conf=ocl20150) The program committee will review the submissions (minimum 2 reviews per paper, usually 3 reviews) and select papers according to their relevance and interest for discussions that will take place at the workshop. Accepted papers will be published online in a pre-conference edition of CEUR (http://www.ceur-ws.org) Important Dates =============== Submission of papers: July 26, 2015 (extended) Notification: August 21, 2015 Workshop date: September 28, 2015 Organizers ========== Achim D. Brucker, SAP SE, Germany Marina Egea, Indra Sistemas S.A., Spain Martin Gogolla, University of Bremen, Germany Frederic Tuong, Univ. Paris-Sud - IRT SystemX - LRI, France Programme Committee =================== Mira Balaban, Ben-Gurion University of the Negev, Israel Tricia Balfe, Nomos Software, Ireland Achim D. Brucker, SAP SE, Germany Fabian Buettner, Inria - Ecole des Mines de Nantes, France Jordi Cabot, Inria - Ecole des Mines de Nantes, France Dan Chiorean, Babes-Bolyai University, Romania Robert Clariso, Universitat Oberta de Catalunya, Spain Tony Clark, Middlesex University, UK Manuel Clavel, IMDEA Software Institute, Spain Carolina Dania, IMDEA Software Institute, Spain Birgit Demuth, Technische Universitat Dresden, Germany Marina Egea, Indra Sistemas S.A., Spain Geri Georg, Colorado State University, USA Martin Gogolla, University of Bremen, Germany Shahar Maoz, Tel Aviv University, Israel Istvan Rath, Budapest University of Technology and Economics, Hungary Bernhard Rumpe, RWTH Aachen, Germany Frederic Tuong, Univ. Paris-Sud - IRT SystemX - LRI, France Claas Wilke, Technische Universitat Dresden, Germany Edward Willink, Willink Transformations Ltd., UK Burkhart Wolff, Univ. Paris-Sud - LRI, France Steffen Zschaler, King's College, UK -- Dr. Achim D. Brucker, SAP SE, Vincenz-Priessnitz-Str. 1, D-76131 Karlsruhe Phone: +49 6227 7-52595, http://www.brucker.ch/

1 0

AVoCS 2015: Joint Call for Research Idea Papers & Participation
by Lin, Yuhui 17 Jul '15

17 Jul '15

======================================================================= |** AVoCS 2015: Joint Call for Research Idea Papers & Participation **| ======================================================================= The 15th International Workshop on Automated Verification of Critical Systems 1-4 September 2015, Edinburgh, UK https://sites.google.com/site/avocs15/ avocs2015(a)easychair.org -----------------------|*** HIGHLIGHTS ***|---------------------------- + *NEW* Registration is now open! + *NEW* Special research ideas session: short papers due 10th August + *NEW* Several student grants available: application due 10th August + Invited talks by Colin O'Halloran (D-RisQ/Oxford) Don Sannella (Contemplate/Edinburgh) + AI4FM workshop including invited talk by J Strother Moore (Univerity of Texas at Austin) + Proceedings to be published by EASST + Special issues of Science of Computer Programming ======================================================================= REGISTRATION Registration for AVoCS is available from https://sites.google.com/site/avocs15/registration Early registration ends 18 August. SPONSORS Altran D-RisQ Software Systems Formal Methods Europe (FME) The Scottish Informatics & Computer Science Alliance (SICSA) BACKGROUND The aim of Automated Verification of Critical Systems (AVoCS) 2015 is to contribute to the interaction and exchange of ideas among members of the international research community on tools and techniques for the verification of critical systems. SCOPE We encourage the submissions of research ideas in order to stimulate discussions at the workshop. Reports on ongoing work or surveys on work published elsewhere are welcome. The Programme Committee will select research ideas on the basis of submitted abstracts according to significance and general interest. The subject of the ideas is to be interpreted broadly and inclusively. It covers all aspects of automated verification, including model checking, theorem proving, SAT/SMT constraint solving, abstract interpretation, and refinement pertaining to various types of critical systems which need to meet stringent dependability requirements (safety-critical, business-critical, performance-critical, etc.). Contributions that describe different techniques, or industrial case studies are encouraged. Topics include (but are not limited to): - Model Checking - Automatic and Interactive Theorem Proving - SAT, SMT or Constraint Solving for Verification - Abstract Interpretation - Specification and Refinement - Requirements Capture and Analysis - Verification of Software and Hardware - Specification and Verification of Fault Tolerance and Resilience - Probabilistic and Real-Time Systems - Dependable Systems - Verified System Development - Industrial Applications IMPORTANT DATES Submission of research idea papers: 10th August 2015 Submission of student grant application: 10th August 2015 Notification (research idea): 14th August 2015 Early registration: 18th August 2015 Submissions of final versions: 21st August 2015 INVITED SPEAKERS Colin O'Halloran (D-RisQ & the University of Oxford) Don Sannella (Contemplate & the University of Edinburgh) WORKSHOPS AI4FM 2015: 1 September 2015 -- www.ai4fm.org/ai4fm-2015/ including invited talk by J Strother Moore (Univerity of Texas at Austin) VENUE The event will be held in the International Centre for Mathematical Sciences (ICMS) in the centre of the historic old town of Edinburgh - an UNESCO world heritage site. SUBMISSION DETAILS Research ideas must be written in English and not exceed 2 pages using the dedicated AVoCS 2015 EASST template available from the the following link (for LaTeX and Word): http://journal.ub.tu-berlin.de/public/template/ The presentation of these ideas will be organised around discussions, where the presenter should also prepare a set of question in which the audience will discuss. Submissions are handled via Easychair: https://easychair.org/conferences/?conf=avocs2015 The research ideas will be included in the pre-proceedings, which will be available in the form of a Heriot-Watt University Technical Report and will be available at the workhsop. STUDENT GRANTS Thanks to sponsorships from Altran, FME and SICSA we can offer financial support for a limited number of students registering for AVoCS in the form of a registration fee waiver (full or partial). As this is limited, we ask the students that would like to take the advantage of this support to submit a short application. The details on how to apply is available from AVoCS webpage. SPECIAL SCP JOURNAL ISSUE Authors of a selection of the best papers presented at the workshop will be invited to submit extended versions of their work for publication in a special issue of Elsevier's journal Science of Computer Programming. PROGRAM COMMITTEE Ernie Cohen, University of Pennsylvania, USA Ewen Denney, NASA Ames, USA Jean-Christophe Filliatre, CNRS, France Michael Goldsmith, University of Oxford, UK Gudmund Grov, Heriot-Watt University, UK (co-chair) Keijo Heljanko, Aalto University, Finland Mike Hinchey, University of Limerick, Ireland Marieke Huisman, University of Twente, Netherlands Andrew Ireland, Heriot-Watt University, UK (co-chair) Gerwin Klein, NICTA/UNSW, Australia Thierry Lecomte, ClearSy, France Yuhui Lin, Heriot-Watt University, UK Peter Gorm Larsen, Aarhus University, Denmark Panagiotis (Pete) Manolios, Northeastern University, USA Stephan Merz, INRIA Nancy & LORIA, France Jaco van de Pol, University of Twente, Netherlands Markus Roggenbach, Swansea University, UK Marco Roveri, FBK, Italy Thomas Santen, Microsoft Research, Germany Bernard Steffen, Technical University Dortmund, Germany Jan Strejček, Masaryk University, Czech Republic Jun Sun, Singapore University of Technology and Design, Singapore Tayssir Touili, LIAFA, CNRS & University Paris Diderot, France Helen Treharne, University of Surrey, UK Laurent Voisin, Systerel, France Angela Wallenburg, Altran, UK John Wickerson, Imperial College London, UK Peter Ölveczky, University of Oslo, Norway ORGANISERS Gudmund Grov, Heriot-Watt University, UK Andrew Ireland, Heriot-Watt University, UK Yuhui Lin, Heriot-Watt University, UK (local arrangements and publicity chair) STEERING COMMITTEE Michael Goldsmith, University of Oxford, UK Stephan Merz, INRIA Nancy & LORIA, France Markus Roggenbach, Swansea University, UK ----- We invite research leaders and ambitious early career researchers to join us in leading and driving research in key inter-disciplinary themes. Please see www.hw.ac.uk/researchleaders for further information and how to apply. Heriot-Watt University is a Scottish charity registered under charity number SC000278.

1 0

IAG is hiring Haskell programmers
by Patryk Zadarnowski 17 Jul '15

17 Jul '15

We are looking for two Haskell programmers to join the existing team of two at IAG, Australia's largest insurance group. The positions are within a newly-formed engineering group within the Information & Analytics department. We are currently working on some very cool algorithmic projects, and are looking for people who can demonstrate ability to work with complex data structures and algorithms (both design and implementation.) You should also have a good working knowledge of Haskell (since this is our language of choice for all development), but we also value breadth of experience with a variety of technologies (since we don’t work in a vacuum.) Most importantly, however, we are looking for people who are passionate about programming, have a github account to prove it, and who prefer to seek out challenging problems rather than tick off requirement lists. The positions are located in Sydney, Australia, so, to apply, you must have the right to work in Australia. Unfortunately, at this stage IAG is unable offer visa sponsorship, but, for the right candidate, we may be able to help with relocation costs. We are looking to hire immediately, so if this sounds like you, please sent your CV to me by reply email. -- Patryk Zadarnowski

1 0

Call for Contributions: Haskell Implementors' Workshop 2015
by Josef Svenningsson 17 Jul '15

17 Jul '15

Call for Contributions ACM SIGPLAN Haskell Implementors' Workshop http://haskell.org/haskellwiki/HaskellImplementorsWorkshop/2015 Vancouver, Canada, 30 August, 2015 Co-located with ICFP 2015 http://www.icfpconference.org/icfp2015/ Important dates --------------- Proposal Deadline: Monday, 3 August, 2015 (midnight, anywhere on earth) Notification: Monday, 10 August, 2015 Workshop: Sunday, 30 August, 2015 The 7th Haskell Implementors' Workshop is to be held alongside ICFP 2015 this year in Vancouver. It is a forum for people involved in the design and development of Haskell implementations, tools, libraries, and supporting infrastructure, to share their work and discuss future directions and collaborations with others. Talks and/or demos are proposed by submitting an abstract, and selected by a small program committee. There will be no published proceedings; the workshop will be informal and interactive, with a flexible timetable and plenty of room for ad-hoc discussion, demos, and impromptu short talks. Attendance figures clearly reflect the growth of the Haskell user community and a constant interest in implementation aspects. Scope and target audience ------------------------- It is important to distinguish the Haskell Implementors' Workshop from the Haskell Symposium which is also co-located with ICFP 2015. The Haskell Symposium is for the publication of Haskell-related research. In contrast, the Haskell Implementors' Workshop will have no proceedings -- although we will aim to make talk videos, slides and presented data available with the consent of the speakers. In the Haskell Implementors' Workshop, we hope to study the underlying technology. We want to bring together anyone interested in the nitty-gritty details behind turning plain-text source code into a deployed product. Having said that, members of the wider Haskell community are more than welcome to attend the workshop -- we need your feedback to keep the Haskell ecosystem thriving. The scope covers any of the following topics. There may be some topics that people feel we've missed, so by all means submit a proposal even if it doesn't fit exactly into one of these buckets: * Compilation techniques * Language features and extensions * Type system implementation * Concurrency and parallelism: language design and implementation * Performance, optimisation and benchmarking * Virtual machines and run-time systems * Libraries and tools for development or deployment Talks ----- At this stage we would like to invite proposals from potential speakers for talks and demonstrations. We are aiming for 20 minute talks with 10 minutes for questions and changeovers. We want to hear from people writing compilers, tools, or libraries, people with cool ideas for directions in which we should take the platform, proposals for new features to be implemented, and half-baked crazy ideas. Please submit a talk title and abstract of no more than 300 words. Submissions should be made via HotCRP. The website is: https://icfp-hiw15.hotcrp.com/ We will also have a lightning talks session which will be organised on the day. These talks will be 5-10 minutes, depending on available time. Suggested topics for lightning talks are to present a single idea, a work-in-progress project, a problem to intrigue and perplex Haskell implementors, or simply to ask for feedback and collaborators. Organisers ---------- * Richard Eisenberg (University of Pennsylvania) * Edward Kmett (S&P Capital IQ) * Hans-Wolfgang Loidl (Heriot-Watt University) * Trevor L. McDonell (Indiana University) * Deian Stefan (Stanford University) * Josef Svenningsson - chair (Chalmers University of Technology) Contact ------- * Josef Svenningsson <josef.svenningsson at chalmers.se>

1 0