- Haskell - Haskell.org

2nd Call for Papers: ICECCS 2014, Tianjin, China, 4-7 Aug 2014
by Liu Yang (Asst Prof) 25 Jan '14

25 Jan '14

[We apologize for multiple copies.] ============================================================ Call for Papers ICECCS 2014 (The 19th IEEE International Conference on Engineering of Complex Computer Systems) 4-7 August 2014 School of Computer Science and Technology Tianjin University, China http://cs.tju.edu.cn/iceccs/2014 ============================================================ IMPORTANT DATES --------------------------- * Abstract submission: February 14, 2014 * Paper submission deadline: February 28, 2014 * Workshop proposal submission: February 28, 2014 * Notification of acceptance: April 22, 2014 * Camera-ready material for publication: May 4, 2014 * Checking for Production: May 14, 2014 * Conference date: August 4-7, 2014 Complex computer systems are common in many sectors, such as manufacturing, communications, defense, transportation, aerospace, hazardous environments, energy, and health care. These systems are frequently distributed over heterogeneous networks, and are driven by many diverse requirements on performance, real-time behavior, fault tolerance, security, adaptability, development time and cost, long life concerns, and other areas. Such requirements frequently conflict, and their satisfaction therefore requires managing the trade-off among them during system development and throughout the entire system life. The goal of this conference is to bring together industrial, academic, and government experts, from a variety of user domains and software disciplines, to determine how the disciplines' problems and solution techniques interact within the whole system. Researchers, practitioners, tool developers and users, and technology transition experts are all welcome. The scope of interest includes long-term research issues, near-term complex system requirements and promising tools, existing complex systems, and commercially available tools. SCOPE AND TOPICS --------------------------- Authors are invited to submit papers describing original, unpublished research results, case studies and toolsed research results, case studies and tools. Papers are solicited in all areas related to complex computer-based systems, including the causes of complexity and means of avoiding, controlling, or coping with complexity. Topic areas include, but are not limited to: * Requirement specification and analysis * Verification and validation * Security and privacy of complex systems * Model-driven development * Reverse engineering and refactoring * Architecture software * Big Data Management * Ambient intelligence, pervasive computing * Ubiquitous computing, context awareness, sensor networks * Design by contract * Agile methods * Safety-critical & fault-tolerant architectures * Adaptive, self-managing and multi-agent systems * Real-time, hybrid and embedded systems * Systems of systems * Tools and tool integration * Industrial case studies SUBMISSION --------------------------- Different kinds of contributions are sought, including novel research, lessons learned, experience reports, and discussions of practical problems faced by industry and user domains. The ultimate goal is to build a rich and comprehensive conference program that can fit the interests and needs of different classes of attendees: professionals, researchers, managers, and students. A program goal is to organize several sessions that include both academic and industrial papers on a given topic and culminate panels to discuss relationships between industrial and academic research. Papers are divided into two categories: * Technical Papers and * Experience Reports. The papers submitted to both categories will be reviewed by program committee members, and papers accepted in either category will be published in the conference proceedings. Technical papers should describe original research, and industrial experience reports should describe practical projects carried out in industry, and reflect on the lessons learnt from them. FULL PAPERS Full papers are divided into two categories: Technical Papers and Experience Reports. The papers submitted to both categories will be reviewed by program committee members, and papers accepted in either category will be published in the conference proceedings. Technical papers should describe original research, and experience reports should present practical projects carried out in industry, and reflect on the lessons learnt from them. POSTER PAPERS Poster paper submissions should specify in their abstract whether they describe ongoing or PhD research. Both types of poster papers will be reviewed by program committee members, and accepted posters will be published in the conference proceedings. PAPER SUBMISSION Submitted manuscripts should be in English and formatted in the style of the Conference Publishing Services (CPS) Proceedings Format. Papers should not exceed 10 pages for full papers and 2 pages for poster papers, including figures, references, and appendices. All submissions should be in PDF format. Submissions not adhering to the specified format and length may be rejected immediately, without review. All submissions should be made through the Easychair Website: https://www.easychair.org/account/signin.cgi?conf=iceccs2014 ORGANIZING COMMITTEES --------------------------- General Co-Chairs * JinSong Dong, National University of Singapore, Singapore * Zhiyong Feng, Tianjin University, China. Program Committee Co-Chairs * Etienne Andre, Universite Paris 13, France * Lei Zhang, Tianjin University, China Workshop Chairs * Zhenhua Duan, Xidian University, Xi'an * YuanFang Li, Monash University, Australia Publicity Chair * Yang Liu, Nanyang Technological University, Singapore Tutorial Chair * Jun Sun, Singapore University of Technology and Design, Singapore Local Chairs * Xiaohong Li, Tianjin University, China * Guangquan Xu, Tianjin University, China Doctoral Symposium Chair * Xin Peng, Fudan University, China Registration Chair * Jing Hu, Tianjin University, China Web Chairs * Xiaofei Xie, Tianjin University, China * Gang Shen, Tianjin University, China PROGRAMME COMMITTEE --------------------------- * Aiguier Marc, Ecole Centrale Paris, France * Ait Ameur Yamine, IRIT/ENSEEIHT, France * Almeida Luis, Fac de Eng da Universidade do Porto, Portugal * Andre Etienne, Universite Paris 13, France (co-chair) * Artho Cyrille, AIST, Japan * Baresi Luciano, DEI - Politecnico di Milano, Italy * Brooke Phillip J, Teesside University, UK * Calinescu Radu, University of York, UK * Chen Yixiang,School of Software,East China Normal University,China * Cirstea Corina, University of Southampton, UK * Di Giandomenico Felicita, ISTI-CNR, Italy * Dowek Gilles, INRIA, France * Eder Kerstin, University of Bristol, Department of Computer Science, UK * Furia Carlo Alberto, ETH Zurich, Switzerland * Gerard Sebastien, CEA, LIST, France * Grechanik Mark, University of Illinois at Chicago, United States * Groves Lindsay, Victoria University of Wellington, New Zealand * Guerra Esther, Universidad Autonoma de Madrid, Spain * He Fei, School of Software, Tsinghua University, China * Kim Moonzoo, KAIST, South Korea * Kroening Daniel, Computer Science Department, Oxford University, UK * Laleau Regine, Universite Paris-Est Creteil, France * Laplante Phillip, Penn State, United States * Lau Kung-Kiu, UK * Li Bing,State Key Lab of Software Engineering, Wuhan University, China * Li Xiaohong, Tianjin University, China * Li Yuan-Fang, Monash University, Australia * Lindsay Peter, The University of Queensland, Australia * Liu Ling,School of Software,Tsinghua University,China * Liu Yang, Nanyang Technological University, Singapore * Lo David, Singapore Management University, Singapore * Luettgen Gerald, University of Bamberg, Germany * Mao Xiaoguang, School of Computer Science,cNational University of Defense Technology, China * Margaria Tiziana, University of Potsdam, Germany * Martin Andrew, Department of Computer Science, University of Oxford, UK * Mccann Julie, Imperial College, UK * Mery Dominique, Universite de Lorraine, LORIA, France * Miao HuaiKou,Shanghai University,China * Mirandola Raffaela, Politecnico di Milano, Italy * Nesi Paolo, University of Florence, Italy * Pang Jun, University of Luxembourg, Luxembourg * Perseil Isabelle, Inserm, France * Pettit Robert, United States * Prehofer Christian, Munich, Germany * Rumpe Bernhard, RWTH Aachen University, Germany * Seceleanu Cristina, Malardalen University, Vasteras, Sweden * Stolz Volker, University of Oslo, Norway * Sun Jing, The University of Auckland, New Zealand * Sun Jun, Singapore University of Technology and Design, Singapore * Taguchi Kenji, AIST, Japan * Tamzalit Dalila, LINA Laboratory, University of Nantes, France * Tian Cong, Xidian University, China * Vardanega Tullio, University of Padua, Italy * Van Hoorn Andre, University of Stuttgart, Germany * Wang Farn, National Taiwan University, Taiwan * Wang Hai H, University of Aston, UK * Wang Qianxiang, Software Engineering Insisute, Peking University, China * Wang Xinyu, Computer College of Zhejiang University, China * Wehrheim Heike, Universitaet Paderborn, Germany * Xu Baowen, Nanjin University, China * Xu Guangquan, Tianjin University, China * Xu Jing, Nankai University, China * Yuan Ling, Huazhong University of Science and Technology, China * Zalila Bechir, ReDCAD Laboratory, University of Sfax, Tunisia * Zhan Naijun, Lab of Computer Science, Institute of Software, Chinese Academy of Sciences, China * Zhang Lei, Tianjin University, China (co-chair) * Zhao JianJun, Shanghai Jiao Tong University, China * Zhao Wenyun, Fudan University, China * Zhu Huibiao, Software Engineering Institute, East China Normal University, China * Zschaler Steffen, King's College London, UK ________________________________ CONFIDENTIALITY:This email is intended solely for the person(s) named and may be confidential and/or privileged.If you are not the intended recipient,please delete it,notify us and do not copy,use,or disclose its contents. Towards a sustainable earth:Print only when necessary.Thank you.

1 0

Call for Papers: ICFEM 2014, Luxembourg, 3-7 November 2014
by Liu Yang (Asst Prof) 25 Jan '14

25 Jan '14

[We apologize for multiple copies.] ============================================================ Call for Papers ICFEM 2014 16th International Conference on Formal Engineering Methods Luxembourg, 3-7 November 2014 http://icfem2014.uni.lu ============================================================ The 16th International Conference on Formal Engineering Methods (ICFEM 2014) will be held at the Melia Hotel in Luxembourg, Luxembourg from 3rd November to 7 November 2014. Since 1997, ICFEM has been serving as an international forum for researchers and practitioners who have been seriously applying formal methods to practical applications. Researchers and practitioners, from industry, academia, and government, are encouraged to attend, present their research, and help advance the state of the art. We are interested in work that has been incorporated into real production systems, and in theoretical work that promises to bring practical and tangible benefit. ICFEM 2014 is organised and sponsored by The University of Luxembourg. The city of Luxembourg itself is on the UNESCO World Heritage List, on account of the historical importance of its fortifications. Luxembourg was the first city to be named European Capital of Culture twice. SCOPE AND TOPICS ---------------------------------------- Submissions related to the following principal themes are encouraged, but any topics relevant to the field of formal methods and their practical applications will also be considered. + Abstraction and refinement + Formal specification and modelling + Program analysis + Software verification + Software model checking + Formal approaches to software testing + Formal methods for self-adaptive systems + Formal methods for object and component systems + Formal methods for concurrent and real-time systems + Formal methods for cloud computing and cyber-physical systems + Formal methods for software safety, security, reliability and dependability + Tool development, integration and experiments involving verified systems + Formal methods used in certifying products under international standards + Formal model-based development and code generation This year, ICFEM will have special tracks on application of formal methods in three areas: + Computer Security + Biology + Healthcare Submissions in these topics are especially encouraged. Papers in these areas will be subject to the same rigorous review process as other papers. Accepted special track papers will be organised into special sessions. SUBMISSION AND PUBLICATION ---------------------------------------- Submissions to the conference must not have been published or be concurrently considered for publication elsewhere. All submissions will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. The proceedings will be published in the Springer Lecture Notes in Computer Science series. Papers should be written in English and not exceed 16 pages in LNCS format (see http://www.springer.de/comp/lncs/authors.html for details). Submission should be made through the ICFEM 2014 submission page (https://www.easychair.org/conferences/?conf=icfem2014) handled by the EasyChair conference management system. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to appear in a special issue of the Formal Aspect Computing journal. WORKSHOP AND TUTORIAL ---------------------------------------- The last two days of the conference (6th and 7th November 2014) will be dedicated to workshops, tutorials and other satellite events. The organising committee of ICFEM 2014 therefore cordially invites proposals for one-day workshops and one-day or half-day tutorials in any area related to formal methods or software engineering, but particularly in new or emerging fields of application of formal methods. Proposals for workshops/tutorial should contain: + a title and brief description of the topic and the history of the workshop/tutorial, if applicable; + the names and contact details of the potential organisers; + a brief justification of the topic and estimated size of audience; + a description of any special technical requirements. Proposals should be sent to ICFEM2014 Workshops Chair, Jun Sun, at <sunjun(a)sutd.edu.sg<mailto:sunjun@sutd.edu.sg>> no later than 22nd March 2014. SUMMER SCHOOL VTSA 2014 ---------------------------------------- The summer school on verification technology, systems & applications takes place at University of Luxembourg from October 27-31, 2014. It is a co-located event with ICFEM 2014 and is organized by the Montefiore Institute, University of Luxembourg, INRIA Nancy, and the Max Planck Insitute for Informatics Saarbrücken. More detailed information will be provided at the summer school's website. IMPORTANT DATES ---------------------------------------- Abstract Submissions due: 11 April 2014 Full Paper Submissions due: 18 April 2014 Workshop/Tutorial Proposals: 22 March 2014 Acceptance Notification: 20 June 2014 Camera-ready Papers Due: 13 July 2014 ORGANISING COMMITTEE ---------------------------------------- General Co-Chairs Michael Butler, University of Southampton, United Kingdom Sjouke Mauw, University of Luxembourg, Luxembourg Program Committee Co-Chairs Stephan Merz, INRIA, France Jun Pang, University of Luxembourg, Luxembourg Workshop and Tutorial Co-Chairs Jun Sun, Singapore University of Technology and Design, Singapore Local Organisation Chair Andrzej Mizera, University of Luxembourg, Luxembourg Publicity Chair Yang Liu, Nanyang Technological University, Singapore Web Chair: Piotr Kordy, University of Luxembourg, Luxembourg PROGRAM COMMITTEE ---------------------------------------- Frank de Boer, CWI, The Netherlands Jonathan Bowen, Birmingham City University, United Kingdom Michael Butler, University of Southampton, United Kingdom Kostas Chatzikokolakis, CNRS and École Polytechnique, France Zhenhua Duan, Xidian University, China Colin Fidge, Queensland University of Technology, Australia Stefania Gnesi, ISTI-CNR, Italy Radu Grosu, Vienna University of Technology, Austria Ian Hayes, University of Queensland, Australia Michaela Huhn, Technische Universität Clausthal, Germany Pierre Kelsen, University of Luxembourg, Luxembourg Steve Kremer, INRIA Nancy, France Jean Krivine, CNRS and Université Paris Diderot, France Peter Gorm Larsen, Engineering College of Aarhus, Denmark Xuandong Li, Nanjing University, China Shang-Wei Lin, National University of Singapore, Singapore Shaoying Liu, Hosei University, Japan Yang Liu, Nanyang Technological University, Singapore Sjouke Mauw, University of Luxembourg, Luxembourg Dominique Mery, Université de Lorraine, France Stephan Merz, INRIA Nancy, France Mohammad Reza Mousavi, Halmstad University, Sweden Peter Mueller, ETH Zurich, Switzerland Shin Nakajima, National Institute of Informatics, Japan Jun Pang, University of Luxembourg, Luxembourg Ion Petre, Åbo Akademi University, Finland Jaco van de Pol, University of Twente, The Netherlands Shengchao Qin, Teesside University, United Kingdom Zongyan Qiu, Peking University, China Jing Sun, University of Auckland, New Zealand Jun Sun, Singapore University of Technology and Design, Singapore Kenji Taguchi, AIST, Japan Viktor Vafeiadis, MPI-SWS, Germany Hai H. Wang, Aston University, United Kingdom Wang Yi, Uppsala University, Sweden Huibiao Zhu, East China Normal University, China STEERING COMMITTEE ---------------------------------------- Keijiro Araki, Kyushu University, Japan Michael Butler, University of Southampton, United Kingdom Jin Song Dong, National University of Singapore, Singapore Jifeng He, East China Normal University, China Shaoying Liu (Chair), Hosei University, Japan Jeff Offutt, George Mason University, United States Shengchao Qin, University of Teesside, United Kingdom ________________________________ CONFIDENTIALITY:This email is intended solely for the person(s) named and may be confidential and/or privileged.If you are not the intended recipient,please delete it,notify us and do not copy,use,or disclose its contents. Towards a sustainable earth:Print only when necessary.Thank you.

1 0

ARRAY'14 Call for Papers
by Mary Sheeran 23 Jan '14

23 Jan '14

ARRAY 14: ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming Co-located with PLDI 2014, Edinburgh, UK. A full-day workshop on Friday June 13th, following the main conference. http://www.sable.mcgill.ca/array/ A new workshop on Libraries, Languages and Compilers for Array Programming will have its first instance with PLDI this year (on June 13 in Edinburgh). The workshop aims to bring together the various groups (including functional programmers) that work on array programming. Papers from readers of this mailing list would be very welcome. The deadline for submission of four to six-page research or tool papers is April 2nd 2014, with notification on April 18th. Note the SIGPLAN sponsorship and the fact that students can apply for SIGPLAN PAC funding. It will be a fun workshop! For more information see http://www.sable.mcgill.ca/array/ and think about submitting! Mary Sheeran (with Laurie Hendren (Chair), Alex Rubinsteyn and Jan Vitek)

1 0

HASKELL CAREER OPPORTUNITIES!
by Katy Ovens 23 Jan '14

23 Jan '14

Urgently seeking Software Engineers with Haskell interest / skills to join a leading technology organisation, focused on a revolutionary new HPC project. Candidates can work from home / remotely part-time but MUST be willing to be based in Cambridge at least 2-3 days a week. Flexible packages on offer to suit a range of experience levels. Get in touch for discussion with Katy Ovens on kovens(a)strgroup.co.uk http://www.strgroup.co.uk/ Katy Ovens , CertRP Lead Account Manager - Engineering 023 9232 2308 07511 011 918 kovens(a)strgroup.co.uk 1 Quay Point, Northarbour Road, Portsmouth, PO6 3TD, UK - http://www.strgroup.co.uk/ Join our social networks: http://www.linkedin.com/company/str-group http://www.facebook.com/pages/STR-Group/157182227861 http://twitter.com/#!/STR_Group All detailed pricing models will exclude local taxation charges unless otherwise stated, for a copy of our terms and conditions please http://www.strgroup.co.uk/terms-and-conditions.cms.asp STR Ltd is a limited company registered in England and Wales. Registered number: 04064332. Registered office: 1 Quay Point, Northarbour Road, Portsmouth, PO6 3TD. Please note that STR Ltd may monitor email traffic data and also the content of email for the purposes of security and staff training. IMPORTANT: This message is private and confidential. If you have received this message in error, please notify us and remove it from your system. E-mail transmission cannot be guaranteed to be secure or error-free as information could be intercepted, corrupted, lost, destroyed, arrive late or incomplete, or contain viruses. STR Limited therefore does not accept liability for any errors or omissions in the contents of this message, which arise as a result of e-mail transmission. If verification is required please request a hard-copy version. -- This message has been scanned for viruses and dangerous content and is believed to be clean.

1 0

ANN: ZuriHac 2014
by Bas van Dijk 22 Jan '14

22 Jan '14

Dear Haskellers, After a very successful ZuriHac 2013 we are delighted to announce ZuriHac 2014! When: Friday 6 June 2014 - Sunday 8 June 2014 Where: Erudify offices, Zurich, Switzerland ZuriHac is an international Haskell hackathon: a grassroots, collaborative coding festival with a simple focus, to build and improve Haskell libraries, tools, and infrastructure. This is a great opportunity to meet your fellow Haskellers in real life, find new contributors for your project, improve existing libraries and tools, or even start new ones! Registration ------------ If you wish to attend, please register by filling in this form: http://bit.ly/ZuriHac2014 Please note that we have a limited number of places -- first come, first served. Full details can be found on the wiki page: http://www.haskell.org/haskellwiki/ZuriHac2014 We look forward to seeing you there! -- The organisers of ZuriHac 2014 ZuriHac 2014 is sponsored by Erudify & Google

1 0

Just started working with Haskell. Need some help
by Pyro Crane 18 Jan '14

18 Jan '14

Hi, I just started working with Haskell Running it on a RHEL linux operating system I was able to download and install it, along with libraries and packages (or, at least, what I thought were the libraries and packages) But, when I try to run a simple script, I keep getting the error : "Could not find module XXXXXX".............. I understand what this error means ---- there is a package/library missing. I tried using the "Cabal Update" command, but this did not solve the problem. So, I am now fixing this problem the primitive way, as follows : (a) I use Google to first find out what the missing module is (b) then, based on what google says, I am able to determine the name of the actual package that needs to be installed (c) I use "Cabal Install" to install the package (d) I try to run the script again (e) I get the same error, but this time, it cannot find a different module (f) I go back to Google to locate the missing module etc, etc, etc, etc Obviously, this is as slow as it is ridiculous............... especially when one considers that there are probably hundreds of these modules/packages And, now, I've come up against a module/package, which I am unable to locate in Google. It's missing from my installation, and Google does not know what it is, or where I can find it Is there any way to simply install ALL required packages??? I thought I already did this, but obviously I missed something Thanks

1 0

ANNOUNCE: Diagrams 1.0
by Brent Yorgey 17 Jan '14

17 Jan '14

The diagrams team is very pleased to announce the 1.0 release of diagrams [1], a framework and embedded domain-specific language for declarative drawing in Haskell. Check out the gallery [2] for some examples of what it can do. Diagrams can be used for a wide range of purposes, from data visualization [3] to illustration [4] to art [5], and diagrams code can be seamlessly embedded in blog posts [6], LaTeX documents [7], and Haddock documentation [8], making it easy to incorporate diagrams into your documents with minimal extra work. [1] http://projects.haskell.org/diagrams [2] http://projects.haskell.org/diagrams/gallery.html [3] http://idontgetoutmuch.wordpress.com/2013/10/23/parking-in-westminster-an-a… [4] https://www.fpcomplete.com/user/edwardk/cellular-automata/part-1 [5] http://mathlesstraveled.com/2013/04/06/stars-of-the-minds-sky-with-diagrams/ [6] http://byorgey.wordpress.com/2012/08/28/creating-documents-with-embedded-di… [7] http://projects.haskell.org/diagrams/doc/latex.html [8] http://byorgey.wordpress.com/2013/03/23/introducing-diagrams-haddock/ What's new ---------- Brent recently gave a talk at the New York Haskell Users' Group [12] presenting the new release. You can find videos of the talk on vimeo: part 1 presents a basic introduction to the library [13], and part 2 talks about mathematical abstraction and DSL design [14]. The slides are also available [15]. [12] http://www.meetup.com/NY-Haskell/ [13] http://vimeo.com/84104226 [14] http://vimeo.com/84249042 [15] http://www.cis.upenn.edu/~byorgey/pub/13-11-25-nyhaskell-diagrams.pdf This release includes a number of significant new features and improvements. Highlights include: - Support for drawing arrows between given points or between diagrams, with many options for customization (tutorial [16], documentation [17], API [18]). [16] http://projects.haskell.org/diagrams/doc/arrow.html [17] http://projects.haskell.org/diagrams/doc/manual.html#arrows [18] http://projects.haskell.org/diagrams/haddock/Diagrams-TwoD-Arrow.html - A new framework for creating custom command-line-driven executables for diagram generation (tutorial [19], API [20]). [19] http://projects.haskell.org/diagrams/doc/cmdline.html [20] http://projects.haskell.org/diagrams/haddock/Diagrams-Backend-CmdLine.html - Offsets of trails and paths, i.e. compute the trail or path lying a constant distance from the given one (documentation [21], API [22]). [21] http://projects.haskell.org/diagrams/doc/manual.html#offsets-of-segments-tr… [22] http://projects.haskell.org/diagrams/haddock/Diagrams-TwoD-Offset.html - A new API, based on Metafont, for constructing cubic splines with control over things like tangents and "tension" (tutorial [23], API [24]). [23] http://projects.haskell.org/diagrams/doc/metafont.html [24] http://projects.haskell.org/diagrams/haddock/Diagrams-TwoD-Path-Metafont.ht… - Tangent and normal vectors of segments and trails (API [25]). [25] http://projects.haskell.org/diagrams/haddock/Diagrams-Tangent.html - Alignment can now be done by trace in addition to envelope (API [26]). [26] http://projects.haskell.org/diagrams/haddock/Diagrams-TwoD-Align.html - The lens [27] package is now used consistently for record fields throughout the library (documentation [28]). [27] http://hackage.haskell.org/package/lens [28] http://projects.haskell.org/diagrams/doc/manual.html#faking-optional-named-… - Across-the-board improvements in performance and size of generated files. See the release notes [29] for full details, and the migration guide [30] for help porting your diagrams 0.7 code to work with diagrams 1.0. [29] http://projects.haskell.org/diagrams/releases.html [30] http://www.haskell.org/haskellwiki/Diagrams/Dev/Migrate1.0 Try it out ---------- For the truly impatient: cabal install diagrams Diagrams is supported under GHC 7.4 and 7.6. To get started, read the quick start tutorial [31], which will introduce you to the fundamentals of the framework and provide links for further reading. For those who are less impatient and want to really dig in and use the power features, read the extensive user manual [32]. There is also a growing collection of tutorials [33] on specific topics. [31] http://projects.haskell.org/diagrams/doc/quickstart.html [32] http://projects.haskell.org/diagrams/doc/manual.html [33] http://projects.haskell.org/diagrams/documentation.html Get involved ------------ Diagrams has a friendly and growing community of users and developers. To connect with the community, subscribe to the project mailing list [34], and/or come hang out in the #diagrams IRC channel on freenode.org for help and discussion. Development continues stronger than ever, and there are a wide range of projects available for new contributors of all levels of Haskell skill. Make some diagrams. Fix some bugs [35]. Submit your cool examples for inclusion in the gallery [36] or your cool code for inclusion in the diagrams-contrib [37] package. [34] http://groups.google.com/group/diagrams-discuss [35] http://github.com/diagrams/ [36] http://projects.haskell.org/diagrams/gallery.html [37] http://hackage.haskell.org/package/diagrams%2Dcontrib Happy diagramming! Brought to you by the diagrams team: - Daniel Bergey - Jeff Rosenbluth - Ryan Yates - Brent Yorgey with contributions from: - Jan Bracker - Conal Elliott - Daniil Frumin - Sam Griffin - Niklas Haas - Peter Hall - Claude Heiland-Allen - Deepak Jois - John Lato - Felipe Lessa - Chris Mears - Ian Ross - Carlos Scheidegger - Vilhelm Sjöberg - Michael Sloan - Jim Snavely - Luite Stegeman - Kanchalai Suveepattananont - Michael Thompson - Scott Walck

1 0

Call for Papers: TASE 2014
by Huibiao Zhu 16 Jan '14

16 Jan '14

TASE 2014 - CALL FOR PAPERS ****************************************************************** The 8th International Symposium on Theoretical Aspects of Software Engineering (TASE 2014) 1-3 September 2014, Changsha, China http://www.nudt.edu.cn/tase2014 For more information email: TASE2014(a)nudt.edu.cn ****************************************************************** OVERVIEW The 8th Theoretical Aspects of Software Engineering Symposium (TASE 2014), will be held in Changsha, China in September, 2014. Modern society is increasingly dependent on software systems that are becoming larger and more complex. This poses new challenges to the various aspects of software engineering, for instance, software dependability in trusted computing, interaction with physical components in cyber physical systems, distribution in cloud computing applications, etc. Hence, new concepts and methodologies are required to enhance the development of software engineering from theoretical aspects. TASE 2014 aims to provide a forum for people from academia and industry to communicate their latest results on theoretical advances in software engineering. TASE 2014 is the 8th in the TASE series. The past TASE symposiums were successfully held in Shanghai ('07), Nanjing ('08), Tianjin ('09), Taipei ('10), Xi'an ('11), Beijing ('12), Birmingham ('13). The proceedings of the TASE symposia were all published by the IEEE Computer Society Press. TOPICS The symposium is devoted to theoretical aspects of software engineering. Topics of interest include, but are not limited to: * Requirements Engineering * Specification and Verification * Program Analysis * Software Testing * Model-Driven Engineering * Software Architectures and Design * Aspect and Object Orientation * Embedded and Real-Time Systems * Software Processes and Workflows * Component-Based Software Engineering * Software Safety, Security and Reliability * Reverse Engineering and Software Maintenance * Service-Oriented and Cloud Computing * Semantic Web and Web Services * Type System and Theory * Program Logics and Calculus * Probability in Software Engineering SUBMISSION Submission should be done through the TASE 2014 submission page, handled by the EasyChair conference system: https://www.easychair.org/conferences/?conf=tase2014 As in previous years, the proceedings of the conference are planned to be published by the IEEE Computer Society Press. Papers must be written in English and not exceed 8 pages in Two-Column IEEE format. IMPORTANT DATES Abstract submission: 28 February 2014 (23h59 GMT) Paper submission: 07 March 2014 (23h59 GMT) Notification: 28 April 2014 Camera-ready: 19 May 2014 Conference: 1-3 September 2014 GENERAL CHAIR Jifeng He (East China Normal University, China) PROGRAM CO-CHAIRS Ji Wang (National University of Defense Technology, China) Martin Leucker (University of Lubeck, Germany) STEERING COMMITTE Keijiro Araki (Kyushu University, Japan) Shengchao Qin (Teesside University, UK) Jifeng He (East China Normal University, China) Huibiao Zhu (East China Normal University, China) Michael Hinchey (Lero, Ireland) PROGRAM COMMITTEE Earl Barr (University College London, UK) Nikolaj Bjorner (Microsoft Research, USA) Zhenhua Duan (Xidian University, China) Xinyu Feng (University of Science and Technology of China, China) Peter Habermehl (Liafa, Paris 7, France) Dang Van Hung (Vietnam National University, Vietnam) Lingxiao Jiang (Singapore Management University, Singapore) Xiaoshan Li (University of Macau, Macau) Xuandong Li (Nanjing University, China) Shaoyin Liu (Hosei University, Japan) Xiaoqing(Frank) Liu (Missouri University of Science and Technology, USA) Michael Lyu (Chinese University of Hong Kong, China) Xiaoguang Mao (National University of Defense Technology, China) Huaikou Miao (Shanghai University, China) Antoine Mine (Ecole Normale Superieure Paris, France) Paritosh K. Pandya (Tata Institute of Fundamental Research, India) Jun Pang (University of Luxembourg, Luxembourg) Sungwoo Park (Pohang University of Science and Technology, Korea) Geguang Pu (East China Normal University, China) Shengchao Qin (Teesside University, UK) Zongyan Qiu (Peking University, China) Cesar Sanchez (IMDEA Software Institute, Spain) Axel Simon (Technical University of Munich, Germany) Volker Stolz (University of Oslo, Norway) Yih-Kuen Tsay (National Taiwan University, Taiwan) Tomas Vojnar (Brno University of Technology, Czech Republic) Hai Wang (Aston University, UK) Yi Wang (Uppsala University, Sweden) Eric Wong (UT-Dallas, USA) Yingfei Xiong (Peking University, China) Hongli Yang (Beijing University of Technology, China) Naijun Zhan (Chinese Academy of Sciences, China) Hongyu Zhang (Tsinghua University, China) Jianjun Zhao (Shanghai Jiao Tong University, China) Hong Zhu (Oxford Brookes University, UK) Huibiao Zhu (East China Normal University, China) ORGANIZING CHAIR Wei Dong (National University of Defense Technology, China) PUBLICITY CHAIR Yanjun Wen (National University of Defense Technology, China)

1 0

UTP-2014 Unifying Theories of Programming - call for papers
by Jeremy Gibbons 12 Jan '14

12 Jan '14

********************************************************************** 5th International Symposium on Unifying Theories of Programming co-located with FM2014 May 12 - 13, 2014 Singapore http://www.comp.nus.edu.sg/~pat/UTP2014/index.html ********************************************************************** CALL FOR PAPERS Interest in the fundamental problem of the combination of formal notations and theories of programming has grown consistently in recent years. The theories define, in various different ways, many common notions, such as abstraction, refinement, choice, termination, feasibility, locality, concurrency and communication. Despite these differences, such theories may be unified in a way which greatly facilitates their study and comparison. Moreover, such a unification offers a means of combining different languages describing various facets and artifacts of software development in a seamless, logically consistent way. Hoare and He's Unifying Theories of Programming (UTP) is widely acknowledged as one of the most significant such unification approaches. Based on their pioneering work, the aims of the UTP Symposium series are to reaffirm the significance of the ongoing UTP project and to stimulate efforts to advance. The Symposium provides a focus for the sharing of results by those already actively contributing, and raises awareness of the benefits of such unifying theoretical frameworks among the wider computer science and software engineering communities. To this end the Symposium welcomes contributions on all the themes that can be related to the Unifying Theories of Programming. SUBMISSIONS Papers may be up to 20 pages in length and should be prepared using LaTeX in Springer LNCS paper format. Submissions should be made through the UTP 2014 EasyChair site; instructions are athttp://www.comp.nus.edu.sg/~pat/UTP2014 PUBLICATION Symposium post-proceedings will appear in Springer's Lectures Notes in Computer Science, as in past editions of the Symposium. (To be confirmed.) DATES Abstract due: January 17, 2014 Full paper due: January 24, 2014 Notification: March 7, 2014 Camera-ready for pre-proceedings: April 11, 2014 Symposium: May 12-13, 2014 CHAIR David Naumann (Stevens Institute of Technology) ORGANISATION CHAIR Jin Song DONG (National University of Singapore) PROGRAMME COMMITTEE Bernhard K. Aichernig (Graz University of Technology) Hugh Anderson (National University of Singapore) Jonathan P. Bowen (Birmingham City University) Ana Cavalcanti (University of York) Andrew Butterfield (Trinity College Dublin) Leo Freitas (Newcastle University) Jeremy Gibbons (University of Oxford) Lindsay Groves (Victoria University of Wellington) Walter Guttmann (University of Canterbury) Ian Hayes (University of Queensland) Jeremy Jacob (University of York) Zhiming Liu (Birmingham City University) David Naumann, chair (Stevens Institute of Technology) Marcel Oliveira (Universidade Federal do Rio Grande do Norte) Geguang Pu (East China Normal University) Shengchao Qin (Teesside University) Georg Struth (University of Sheffield) Jun Sun (Singapore University of Technology and Design) Meng Sun (Peking University) Burkhart Wolff (University of Paris-Sud) Naijun Zhan (Chinese Academy of Sciences) Huibiao Zhu (East China Normal University) JOINT EVENT FM 2014, the 19th International Symposium on Formal Methods http://www.comp.nus.edu.sg/~pat/FM2014/ Jeremy.Gibbons(a)cs.ox.ac.uk Oxford University Department of Computer Science, Wolfson Building, Parks Road, Oxford OX1 3QD, UK. +44 1865 283521 http://www.cs.ox.ac.uk/people/jeremy.gibbons/

1 0

5th Answer Set Programming Competition 2014 - FIRST CALL FOR PARTICIPANTS
by Francesco Calimeri 10 Jan '14

10 Jan '14

[apologies for any cross-posting] ======================================================================== ================================================================== 5th Answer Set Programming Competition 2014 Call for Participant Systems Aalto University, University of Calabria, University of Genova Spring/Summer 2014 http://aspcomp2014.mat.unical.it/ aspcomp2014(a)mat.unical.it ================================================================== Special edition of the ASP competition series -system track- part of the Olympic Games of the Vienna Summer of Logic 2014 == Important Dates == * March 1st, 2014 : Participant registration opens * March 31st, 2014: The competition starts * July 22nd, 2014 : Awards are presented at FLoC ======================================================================== Answer Set Programming (ASP) is a well-established paradigm of declarative programming with close relationship to other declarative modeling paradigms and languages, such as SAT Modulo Theories, Constraint Handling Rules, FO(.), PDDL, CASC, and many others. The ASP Competition is usually a biannual event for evaluating declarative knowledge representation systems on hard and demanding AI problems. Past ASP Competition editions were held at the University of Potsdam (Germany) in 2007, the University of Leuven (Belgium) in 2009, the University of Calabria (Italy) in 2011 and the Vienna University of Technology (Austria) in 2013. In order to join the Vienna Summer of Logic, which is expected to be the largest event in the history of logic, we this year depart from the "usual" timeline, and the 5th ASP Competition will be run in the first half of 2014 jointly at Aalto University (Finland), the University of Calabria (Italy) and the University of Genova (Italy). Another reason for having an event only one year after the 4th ASP Competition is that in 2013 the new ASP-Core-2 language was introduced, but at that time it was not fully supported by most participant solvers, and/or the submitters did not have sufficient time to support new language features in a completely satisfactory way. Thus, an early event can be an opportunity to push the usage of the new standard, and draw a more complete picture about the approaches that can efficiently solve problems with various features. == Call for Participant Systems == Participants of the Answer Set Programming Competition will compete on a selected collection of benchmark problems, taken from a variety of benchmark problem domains as well as real-world applications. These include, but are not limited to: * Classic and application-oriented graph problems * Scheduling, Timetabling, and other resource allocation problems * Sequential and Temporal Planning * Combinatorial Optimization problems * Deductive Database tasks on large data-sets * Puzzles and Combinatorics * Ontology reasoning * Automated Theorem Proving and Model Checking * Constraint Programming problems * Other AI problems The competition consists of a System Track (as called in past competitions), which compares dedicated solvers on ASP benchmarks. Participants compete with solving systems for the ASP-Core-2 language. Some more details are given in the following: - The benchmark domains are taken from past editions. - Systems of the 2013 edition will be considered. (Developers will have the chance of submitting up-to-date versions of their solvers.) - Submissions of new solvers are encouraged. The competition will include sub-tracks not only based on "complexity" of problems (as in past events), but also considering language features. Our aim is to clearly indicate what (combinations of) techniques work for a particular (set of) feature(s), and also widening the participation to teams that cannot (yet) support the full standard. We welcome the submission of parallel and portfolio systems exploiting multiple cores or multiple algorithms for solving the given instances. These solvers will have dedicated tracks, assuming a sufficient number of submissions in each track. Of course, we also welcome the submission of any kind of solvers, e.g., SAT solvers, SMT solvers, CP systems, FOL theorem provers, Description Logics reasoners, Planning reasoners, or any other that can be adapted/applied to the evaluation of logic programs encoded in ASP-Core-2. == Important Dates == * March 1st, 2014 : Participant registration opens * March 31st, 2014: The competition starts * July 22nd, 2014 : Awards are presented at FLoC For further information and submission instructions please visit the competition web site http://aspcomp2014.mat.unical.it/ or contact us by email: aspcomp2014(a)mat.unical.it

1 0