August 2015 - Haskell

ANNOUNCE: brick 0.2 released
by Jonathan Daugherty 24 Aug '15

24 Aug '15

Hi, I'm happy to announce brick version 0.2, a declarative terminal UI library. This version includes many API changes, some bugfixes, and some performance improvements. I would really like to thank Simon Michael for considerable tire-kicking that resulted in a lot of improvements, and Sebastian Reuße for fixing some nasty space leaks! You can read the full change log at https://github.com/jtdaugherty/brick/blob/master/CHANGELOG.md#02 and get it from Hackage at http://hackage.haskell.org/package/brick-0.2 Enjoy! -- Jonathan Daugherty

2 2

LPNMR 2015: Call for participation - Hotel Special rate DEADLINE Sep. 2nd, 2015
by Francesco Calimeri 24 Aug '15

24 Aug '15

[apologies for possible multiple copies] Call for Participation ***Hotel Special rate DEADLINE Sep. 2nd*** --------------------------------------------------------------------------- 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/. Hotel Special rate DEADLINE has been postponed to Sep. 2nd, 2015, and is available via http://lpnmr2015.mat.unical.it/hotel-reservations. 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

CFP: 25th International Conference on Compiler Construction (CC)
by Manuel Hermenegildo 24 Aug '15

24 Aug '15

[ Please forward. Apologies for any duplicates. ] ******************************************************************************** CALL FOR PAPERS 25th International Conference on Compiler Construction (CC 2016) March 17-18 2016, Barcelona, Spain Co-located with CGO, HPCA, PPoPP, and EuroLLVM ******************************************************************************** Important dates --------------- Abstracts due: 13 November 2015 Papers due: 20 November 2015 Author notification: 27 January 2016 Camera ready versions: 10 February 2016 Conference: 17-18 March 2016 Information ----------- The International Conference on Compiler Construction (CC) is interested in work on processing programs in the most general sense: analyzing, transforming or executing input that describes how a system operates, including traditional compiler construction as a special case. Original contributions are solicited on the topics of interest which include, but are not limited to: - Compilation and interpretation techniques, including program representation, analysis, and transformation; code generation and optimization; - Run-time techniques, including memory management, virtual machines, and dynamic and just-in-time compilation; - Programming tools, including refactoring editors, checkers, verifiers, compilers, debuggers, and profilers; - Techniques for specific domains, such as secure, parallel, distributed, embedded or mobile environments; - Design and implementation of novel language constructs and programming models. CC 2016 is the 25th edition of the conference. It will be co-located with CGO, HPCA, PPoPP, and EuroLLVM on March 17-18 2016, in Barcelona, Spain. Submission ---------- Papers should be submitted electronically via EasyChair at https://easychair.org/conferences/?conf=cc2016. Papers must be written in English and be submitted in pdf in ACM SIGPLAN proceedings format (http://www.sigplan.org/Resources/Author/) The proceedings will be published in the ACM Digital Library and will be made available freely for the period around the conference. Both regular papers (up to 11 pages) and tool papers (up to 2 + 3 pages), are invited. In tool papers the first part (2 pages) should describe the tool and the second (3 pages) explain the contents of the demo that will be presented with examples and screenshots. Submissions must adhere strictly to the page limits, including bibliography, figures, or appendices. Submissions that are clearly too long may be rejected immediately. Additional material intended for reviewers but not for publication in the final version ( listings, data, proofs) may be included in a clearly marked appendix. Submitted papers must be unpublished and not be submitted for publication elsewhere. A condition of submission is that, if the submission is accepted, one of the authors attends the conference to give the presentation. Organizers ---------- General Chair Ayal Zaks Intel and Technion, Israel Program Committee Chair Manuel Hermenegildo IMDEA SW Institute and Technical U. of Madrid, Spain Program Committee Raj Barik, Intel Labs, Santa Clara, CA Uday Bondhugula, IIS Bangalore Maria Garzaran, U. of Illinois UC and Intel Laurie Hendren, McGill U. Manuel Hermenegildo, IMDEA and T.U. Madrid Xavier Leroy, INRIA Ondrej Lhotak, U of Waterloo Francesco Logozzo, Facebook Antoine Miné, Ecole Normale Supérieure, Paris Jose Morales, IMDEA SW Diego Novillo, Google Dorit Nuzman, Intel Haifa Jens Palsberg, UCLA Xipeng Shen, North Carolina State University Walid Taha, Rice U. Zheng Wang, Lancaster U. Steering Committee Koen De Bosschere, Ghent U. Björn Franke, U. of Edinburgh Michael O'Boyle, U. of Edinburgh Albert Cohen, INRIA Web site http://cc2016.eew.technion.ac.il/ --

1 0

Haskell Weekly News
by Kim-Ee Yeoh 21 Aug '15

21 Aug '15

*Top picks:* - Gabriel Gonzalez evaluates Haskell <https://github.com/Gabriel439/post-rfc/blob/master/sotu.md> in the style of a State-of-the-Union address. He rates Haskell from Immature to Mature to Best-in-class under 28 headings, the first four being *Compilers,* *Server-side web programming,* *Scripting / Command-line applications,* and *Numerical programming.* He also recommends libraries and tutorials under each heading. Reverberations on Hacker News <https://news.ycombinator.com/item?id=10071535> and /r/haskell <https://www.reddit.com/r/haskell/comments/3haulk/state_of_the_haskell_ecosy…> . - Challenged over claims of FP productivity improvement, Douglas M. Auclair rattles off success stories from his previous work <http://logicaltypes.blogspot.com/2015/08/pure-functional-programming-claims…> at various subsidiaries of the US Federal Gov fending for the taxpayer to the tune of billions of dollars. Nibbles of interest on Hacker News <https://news.ycombinator.com/item?id=10057661>. - Aaron Wolf goes from zero programming directly to Haskell and writes of his experience. <https://snowdrift.coop/p/snowdrift/blog/technical-history> His favorite learning resource is the Haskell Wikibook <https://en.wikibooks.org/wiki/Haskell>, which he can improve as he reads. He is co-founder of Snowdrift.coop, a crowdfunding platform for freely-licensed works <https://snowdrift.coop/p/snowdrift/w/en/about>. The Haskell Reddit <https://www.reddit.com/r/haskell/comments/3hbrom/learning_haskell_from_noth…> finds Aaron's testimony a change from the "Haskell is too hard for me" meme. - The season of introspection continues. On the heels of Hu, Hughes, and Wang on "How Functional Programming Mattered" (see previous HWN <http://haskell.1045720.n5.nabble.com/Fwd-Haskell-Weekly-News-tp5815292.html>); Michael Green, Kathleen Fisher, and David Walker <http://tmpl.weaselhat.com/> track the ebb and flow of research topics in the conference proceedings of the Big Four: Principles of PL (POPL), PL Design and Implementation (PLDI), International Conference on FP (ICFP); and OOP, Systems, Languages, Apps (OOPSLA). No mention of Haskell but if you're looking for a brief history of PL research -- the slides are even more succinct <http://www.cs.ox.ac.uk/ralf.hinze/WG2.8/33/slides/Kathleen.pdf> -- this is the only data-driven survey you'll find. - Doug Beardsley <http://softwaresimply.blogspot.com/2015/08/why-version-bounds-cannot-be-inf…> reminds us that date-based version inference cannot replace the role of explicit version upper bounds. The reason? The package developer might not be using the latest version of its dependencies on the day they publish the work. Also, among the 72 comments of the /r/haskell convo <https://www.reddit.com/r/haskell/comments/3h83jl/why_version_bounds_cannot_…>, Doug observes that Stackage over-conservatively locks to a single version, whereas community-wide adherence to the Package Versioning Policy (PVP) of original hackage <https://wiki.haskell.org/Package_versioning_policy> yields seamless delivery of bugfixes and improvements. - In less than a week, Xmonad will lose its issue tracking system. On Aug 24, Google Code goes read-only <http://google-opensource.blogspot.sg/2015/03/farewell-to-google-code.html>. Community heroes Brandon Allbery and Daniel Wagner <http://haskell.1045720.n5.nabble.com/google-code-issues-td5815183.html> work at grabbing a backup of the issues. Still no consensus over what and where to migrate to. - Mark Dominus <http://blog.plover.com/aliens/dd/> delves into the bits and bytes of the 1999 Cosmic Call <http://en.wikipedia.org/wiki/Cosmic_Call> attempt by astrophysicists to contact aliens. He shows the visual bitmaps transmitted into space. Brent Yorgey <http://mathlesstraveled.com/2015/08/19/cosmic-call-at-the-universe-of-disco…> writes to say he enjoys the 23-part series interspersed with little puzzles. *Quotes of the Week:* - Doug McIlroy <http://ircbrowse.net/browse/haskell?id=20962286&timestamp=1435683815#t14356…>: Conditional compilation is admitting defeat. - /u/kamatsu <https://www.reddit.com/r/haskell/comments/3h5og6/i_now_tend_to_think_that_t…>: I feel like the reason people find Haskell an eye-opening experience is because their CS education was deficient. - @wfaler <https://twitter.com/wfaler/status/631815511949615104>: Is there a club to join when you silently sob at having to give your Monad Transformers Monad Transformers? Sounds a lot like #EnterpriseFP -- Kim-Ee

1 0

LPNMR 2015 - Call for participation
by Francesco Calimeri 17 Aug '15

17 Aug '15

[apologies for possible multiple copies] Call for Participation --------------------------------------------------------------------------- 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

ETAPS 2016 call for papers
by Tarmo Uustalu 17 Aug '15

17 Aug '15

****************************************************************** CALL FOR PAPERS: ETAPS 2016 19th European Joint Conferences on Theory And Practice of Software Eindhoven, The Netherlands, 2-8 April 2016 http://www.etaps.org/2016 ****************************************************************** -- ABOUT ETAPS -- ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of five main annual conferences, accompanied by satellite workshops. ETAPS 2016 is the nineteenth event in the series. -- MAIN CONFERENCES (4-7 April) -- * ESOP: European Symposium on Programming (PC chair Peter Thiemann, Universität Freiburg, Germany) * FASE: Fundamental Approaches to Software Engineering (PC chairs Perdita Stevens, University of Edinburgh, UK, and Andrzej Wasowski, IT University of Copenhagen, Denmark) * FOSSACS: Foundations of Software Science and Computation Structures (PC chairs Bart Jacobs, Radboud Universiteit Nijmegen, The Netherlands, and Christof Löding, RWTH Aachen, Germany) * POST: Principles of Security and Trust (PC chairs Frank Piessens, Katholieke Universiteit Leuven, Belgium, and Luca Viganò, King's College London, UK) * TACAS: Tools and Algorithms for the Construction and Analysis of Systems (PC chairs Marsha Chechik, University of Toronto, Canada, and Jean-François Raskin (Université Libre de Bruxelles, Belgium) TACAS '16 hosts the 5th Competition on Software Verification (SV-COMP). -- INVITED SPEAKERS -- * Unifying speakers: Andrew D. Gordon (MSR Cambridge and University of Edinburgh, UK) Rupak Majumdar (MPI Kaiserslautern, Germany) * ESOP invited speaker: Cristina Lopes (University of California at Irvine, USA) * FASE invited speaker: Oscar Nierstrasz (Universität Bern, Switzerland) * POST invited speaker: Vitaly Shmatikov (University of Texas at Austin, USA) -- IMPORTANT DATES -- * 9 October 2015: Submission deadline for abstracts * 16 October 2015: Submission deadline for full papers * 2-4 December 2015: Author response period (ESOP and FoSSaCS only) * 18 December 2015: Notification of acceptance * 8 January 2016: Camera-ready versions due -- SUBMISSION INSTRUCTIONS -- ETAPS conferences accept two types of contributions: research papers and tool demonstration papers. Both types will appear in the proceedings and have presentations during the conference. ESOP and FoSSaCS accept only research papers. A condition of submission is that, if the submission is accepted, one of the authors attends the conference to give the presentation. Submitted papers must be in English presenting original research. They must be unpublished and not submitted for publication elsewhere. In particular, simultaneous submission of the same contribution to multiple ETAPS conferences is forbidden. The proceedings will be published in the Advanced Research in Computing and Software Science (ARCoSS) subline of Springer's Lecture Notes in Computer Science series. Papers must follow the formatting guidelines specified by Springer at the URL http://www.springer.de/comp/lncs/authors.html and be submitted electronically in pdf through the EasyChair author interface of the respective conference. Submissions not adhering to the specified format and length may be rejected immediately. FASE will try a light-weight double-blind review process (see http://www.etaps.org/2016/fase) - Research papers FASE, FOSSACS and TACAS have a page limit of 15 pp (excluding bibliography of max 2 pp) for research papers, whereas POST allows at most 20 pp (excluding bibliography of max 2 pp) and ESOP 25 pp (excluding bibliography of max 2 pp). Additional material intended for the referees but not for publication in the final version - for example, details of proofs - may be placed in a clearly marked appendix that is not included in the page limit. ETAPS referees are at liberty to ignore appendices and papers must be understandable without them. In addition to regular research papers, TACAS solicits also case study papers (at most 15 pp, excluding bibliography of max 2 pp). Both TACAS and FASE solicit also regular tool papers (at most 15 pp, excluding bibliography of max 2 pp). - Tool demonstration papers Submissions should consist of two parts: * The first part, at most 4 pages, should describe the tool presented. Please include the URL of the tool (if available) and provide information that illustrates the maturity and robustness of the tool. (This part will be included in the proceedings.) * The second part, at most 6 pages, should explain how the demonstration will be carried out and what it will show, including screen dumps and examples. (This part will be not be included in the proceedings, but will be evaluated. ESOP and FOSSACS do not accept tool demonstration papers. TACAS has a page limit of 6 pages for tool demonstrations. -- SATELLITE EVENTS (2-3 April, 8 April) -- Around 20 satellite workshops will take place before and after the main conferences. -- HOST CITY -- Eindhoven is located in the province of North Brabant in the south of the Netherlands. It is the fifth-largest city of the Netherlands. The city is well known for modern art, design and technology. The main airport of the Netherlands is the Amsterdam Airport, Schiphol. All major airlines fly to Schiphol, and Schiphol has a direct and very frequent train connection to Eindhoven. Eindhoven also has a small international airport, Eindhoven Airport, with direct connections to more than thirty destinations in Europe. -- HOST INSTITUTION -- ETAPS 2016 is hosted by Faculteit Wiskunde en Informatica, Technische Universiteit Eindhoven. -- ORGANIZERS * General chair: Jan Friso Groote * Workshops chair: Erik de Vink and Julien Schmaltz * Publicity chair: Anton Wijs -- FURTHER INFORMATION -- Please do not hesitate to contact the organizers at j.f.groote(a)tue.nl, a.j.wijs(a)tue.nl.

1 0

ANNOUNCE: broker-haskell v0.1
by David Banas 16 Aug '15

16 Aug '15

The initial release of broker-haskell, a Haskell binding to Broker (libbroker), the messaging library for Bro, a network security tool. Provides: - Language.Broker After downloading/extracting compressed tarball: davids-air-2:broker-haskell-0.1.0.0 dbanas$ cabal configure --prefix=$HOME --user --enable-tests Resolving dependencies... Configuring broker-haskell-0.1.0.0... davids-air-2:broker-haskell-0.1.0.0 dbanas$ cabal build Building broker-haskell-0.1.0.0... Preprocessing library broker-haskell-0.1.0.0... [1 of 1] Compiling Language.Broker ( dist/build/Language/Broker.hs, dist/build/Language/Broker.o ) {Some warnings omitted.} In-place registering broker-haskell-0.1.0.0... Preprocessing test suite 'tests' for broker-haskell-0.1.0.0... [1 of 1] Compiling Main ( test.hs, dist/build/tests/tests-tmp/Main.o ) {Some warnings omitted.} Linking dist/build/tests/tests ... davids-air-2:broker-haskell-0.1.0.0 dbanas$ cabal test Preprocessing library broker-haskell-0.1.0.0... In-place registering broker-haskell-0.1.0.0... Preprocessing test suite 'tests' for broker-haskell-0.1.0.0... Running 1 test suites... Test suite tests: RUNNING... Test suite tests: PASS Test suite logged to: dist/test/broker-haskell-0.1.0.0-tests.log 1 of 1 test suites (1 of 1 test cases) passed.

1 0

libiconv trouble?
by David Banas 15 Aug '15

15 Aug '15

Anyone else hit this, after updating to the new Haskell Platform? Davids-MacBook-Air-2:tmp dbanas$ ghci GHCi, version 7.10.2: http://www.haskell.org/ghc/ :? for help <command line>: can't load .so/.DLL for: libiconv.dylib (dlopen(libiconv.dylib, 5): image not found) Thanks, -db

2 2

Redundant entries in .cabal file?
by David Banas 15 Aug '15

15 Aug '15

Hi all, Does anyone know why I’m getting redundant entries in my ‘cabal init’ generated .cabal file: library exposed-modules: Language.Broker, Language.Broker ? Is it because I’m using a *.hsc file, as my source, and cabal is finding both files: Broker.hsc, and Broker.hs in the Language directory? Thanks, -db

2 1

ANNOUNCE: brick 0.1 released (deprecates vty-ui)
by Jonathan Daugherty 12 Aug '15

12 Aug '15

Hi, I'm very excited to announce the first public release of brick, a new high-level library for making terminal user interfaces based on vty. This library deprecates vty-ui. Folks depending heavily on vty-ui should contact me! brick exposes a declarative interface for specifying terminal user interfaces. If you have used gloss, you know what to expect: you can specify your UI in a purely-functional style by defining a drawing function and an event handler and you're off and running! A feature overview can be found at https://github.com/jtdaugherty/brick#feature-overview Check out the (many) demonstration programs and user guide at https://github.com/jtdaugherty/brick or see the Haddock at http://hackage.haskell.org/package/brick Enjoy! -- Jonathan Daugherty

2 1