February 2014 - Haskell

ANNOUNCE: ioctl 0.0.1
by Maciej Piechotka 13 Sep '15

13 Sep '15

A package for type-safe I/O control. Currently only ioctl is supported. Currently simply a extract from my tuntap fork TODO: - Return the integer as well as structure (will break the API) - Port for Windows Network.Socket.IOCtl (as soon as I manage to setup some sane environment on this platform) - Wrapping around DeviceIoControl Example (in hsc): data NotRead = NotRead instance NotRead Int where ioctlReq _ = #const FIONREAD notRead s = ioctlsocket' s NotRead Regards

2 1

[ANN] Rasterific & FontyFruity
by Vincent Berthoux 28 Feb '14

28 Feb '14

Hello Haskellers, I'm pleased to announce two new packages, whom work hand in hand: FontyFruity, a truetype file parser, and Rasterific a vector drawing engine. This two libraries enable us to generate pictures without the need of an external C library, and saving them to a file or directly send them over the network. FontyFruity: * hackage : http://hackage.haskell.org/package/FontyFruity * Github : https://github.com/Twinside/FontyFruity Rasterific: * hackage : http://hackage.haskell.org/package/Rasterific * Github : https://github.com/Twinside/Rasterific Regards Vincent

1 0

CFP: FARM 2014: Functional Art, Music, Modelling and Design
by Henrik Nilsson 27 Feb '14

27 Feb '14

Dear all, If you are using Haskell or any mostly functional language in any kind of musical, artistic, or design endeavour, please consider contributing to FARM 2014, the 2nd ACM SIGPLAN International Workshop of Functional Art, Music, Modelling and Design, co-located with ICFP 2014. Call-for-papers enclosed. Best regards, /Henrik -------------------------------------------------------------- FARM 2014 2nd ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design Gothenburg, Sweden; 6 September, 2014 The functional programming community is largely interested in writing beautiful programs. The ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design (FARM) is intended to gather researchers and practitioners interested in writing beautiful programs which generate beautiful artifacts or experiences, or perhaps even challenge notions of beauty. FARM encourages submissions from across art, craft and design, including textiles, visual art, music, 3D sculpture, animation, GUIs, video games, physical models, architectural models, choreographies for dance, poetry, and even VLSI layouts, GPU configurations, or mechanical engineering designs. The language used need not be purely functional ("mostly functional" is fine); may be based on abstractions such as higher-order functions, monads, arrows, or streams; and may be manifested as a domain specific language or tool. Theoretical foundations, language design, implementation issues, and applications in industry or the arts are all within the scope of the workshop. Submissions are invited in two categories: * Full papers 5 to 12 pages using the ACM SIGPLAN template. FARM 2014 is an interdisciplinary conference, so a wide range of approaches are encouraged and we recognize that the appropriate length of a paper may vary considerably depending on the approach. However, all submissions must propose an original contribution to the FARM theme, cite relevant previous work, and apply appropriate research methods. * Demo abstracts Demo abstracts should describe the demonstration and its context, connecting it with the themes of FARM. A demo could be in the form of a short (10-20 minute) tutorial, presentation of work-in-progress, an exhibition of some work, or even a performance. Abstracts should be no longer than 2 pages, using the ACM SIGPLAN template and will be subject to a light-touch peer review. If you have any questions about what type of contributions that might be suitable, or anything else regarding submission or the workshop itself, please contact the organisers at: workshop2014(a)functional-art.org KEY DATES: Abstract (for Full Papers) submission deadline: 7 May Full Paper and Demo Abstract submission Deadline: 11 May Author Notification: 30 May Camera Ready: 18 June Workshop: 6 September SUBMISSION All papers and demo abstracts must be in portable document format (PDF), using the ACM SIGPLAN style guidelines. The text should be in a 9-point font in two columns. The submission itself will be via EasyChair. See the FARM website for further details: http://functional-art.org PUBLICATION Accepted papers will be included in the formal proceedings published by ACM Press and will also be made available through the the ACM Digital Library; see http://authors.acm.org/main.cfm for information on the options available to authors. Authors are encouraged to submit auxiliary material for publication along with their paper (source code, data, videos, images, etc.); authors retain all rights to the auxiliary material. WORKSHOP ORGANISATION Workshop Chair: Alex McLean, University of Leeds Program Chair: Henrik Nilsson, University of Nottingham Publicity Chair: Michael Sperber, Active Group GmbH Program Committee: Sam Aaron, Cambridge University David Duke, University of Leeds Kathleen Fisher, Tufts University Julie Greensmith, University of Nottingham Bas de Haas, Universiteit Utrecht Paul Hudak, Yale University David Janin, Université de Bordeaux Richard Lewis, Goldsmiths, University of London Louis Mandel, Collège de France Alex McLean, University of Leeds Carin Meier, Neo Innovation Inc Rob Myers, Furtherfield Henrik Nilsson, University of Nottingham (chair) Dan Piponi, Google Inc Andrew Sorensen, Queensland University of Technology Michael Sperber, Active Group GmbH For further details, see the FARM website: http://functional-art.org -- Henrik Nilsson School of Computer Science The University of Nottingham nhn(a)cs.nott.ac.uk This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please send it back to me, and immediately delete it. Please do not use, copy or disclose the information contained in this message or in any attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. This message has been checked for viruses but the contents of an attachment may still contain software viruses which could damage your computer system, you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation.

1 0

ANNOUNCE: Idris developers' meeting in Gothenburg, April 29-May 2, 2014
by David Raymond Christiansen 27 Feb '14

27 Feb '14

Idris is a fairly new dependently-typed functional programming language that aims at being a tool for writing practical programs. It is a close cousin of Agda. Idris adheres to Haskell's syntactic conventions where possible, and the compiler is written in Haskell. An Idris Developers' Meeting will be held, from Tuesday, April 29 to Friday, May 2, 2014, graciously hosted by Chalmers University of Technology in Gothenburg, Sweden. There is a Wiki page for coordinating participation and events: https://github.com/idris-lang/Idris-dev/wiki/Idris-Developers-Meeting,-Apri… The current plan is to spend Tuesday the 29th on introductions to Idris in general, and possibly to dependent types, in an attempt to get as many local people as possible up to speed on the project. Wednesday-Friday will primarily consist of focused hacking sessions and talks, interrupted by the local Walpurgis Night festivities on Wednesday evening. If you are interested in attending, please send a mail to David Christiansen (drc(a)itu.dk) with which days you will attend, whether it's OK for your name to appear on the public participant list, and whether you will need access to Internet. Participation is at no cost, but no food or rooms are provided. As room booking can be a bit tight, registrations are appreciated as soon as possible, but 13 April at the latest.

1 0

[LOPSTR 2014] First Call for Papers
by German Vidal 27 Feb '14

27 Feb '14

[Apologies for multiple copies] ================FIRST CALL FOR PAPERS====================== 24th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2014 http://www.iasi.cnr.it/events/lopstr14/ University of Kent, Canterbury, UK, September 10-11, 2014 DEADLINES Abstract submission: May 30, 2014 Paper/Extended abstract submission: June 6, 2014 =========================================================== The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers. The 24th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2014) will be held at the University of Kent, Canterbury, United Kingdom; previous symposia were held in Madrid, Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve, and Manchester. LOPSTR 2014 will be co-located with PPDP 2014 (International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming). Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. Both full papers and extended abstracts describing applications in these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to: * synthesis * transformation * specialization * composition * optimization * inversion * specification * analysis and verification * testing and certification * program and model manipulation * transformational techniques in SE * applications and tools Survey papers that present some aspects of the above topics from a new perspective, and application papers that describe experience with industrial applications are also welcome. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC co-chairs in case of questions). Important Dates Abstract submission: May 30, 2014 Paper/Extended abstract submission: June 6, 2014 Notification: July 18, 2014 Camera-ready (for electronic pre-proceedings): August 25, 2014 Symposium: September 10-11, 2014 Submission Guidelines Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in the Lecture Notes in Computer Science style. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords which will be used to assist the PC in selecting appropriate reviewers for the paper. Page numbers should appear on the manuscript to help the reviewers in writing their report. Submissions cannot exceed 15 pages including references but excluding well-marked appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. Paper should be submitted via the Easychair submission website for LOPSTR 2014. If electronic submission is impossible, please contact the program co-chairs for information on how to submit hard copies. Proceedings The formal post-conference proceedings will be published by Springer in the Lecture Notes in Computer Science series. Full papers can be directly accepted for publication in the formal proceedings, or accepted only for presentation at the symposium and inclusion in informal proceedings. After the symposium, all authors of extended abstracts and full papers accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the symposium. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. Program Committee Slim Abdennadher German University of Cairo, Egypt Étienne André Université Paris 13, France Martin Brain University of Oxford, UK Wei-Ngan Chin National University of Singapore, Singapore Marco Comini University of Udine, Italy Wlodzimierz Drabent IPIPAN, Poland and Linköping University, Sweden Fabio Fioravanti University of Chieti-Pescara, Italy Jürgen Giesl RWTH Aachen University, Germany Miguel Gómez-Zamalloa Complutense University of Madrid, Spain Arnaud Gotlieb SIMULA Research Laboratory, Norway Gopal Gupta University of Texas at Dallas, USA Jacob Howe City University London, UK Zhenjiang Hu National Institute of Informatics, Japan Alexei Lisitsa University of Liverpool, UK Jorge Navas NASA, USA Naoki Nishida Nagoya University, Japan Corneliu Popeea Technische Universität München, Germany Maurizio Proietti IASI-CNR, Italy (Program Co-Chair) Tom Schrijvers Ghent University, Belgium Hirohisa Seki Nagoya Institute of Technology, Japan (Program Co-Chair) Jon Sneyers K.U. Leuven, Belgium Fausto Spoto University of Verona, Italy Wim Vanhoof University of Namur, Belgium German Vidal Universitat Politecnica de Valencia, Spain Annie-Liu Yanhong Stony Brook University, USA Program Co-Chairs: Maurizio Proietti, IASI-CNR, Italy (maurizio.proietti(a)iasi.cnr.it) Hirohisa Seki, Nagoya Institute of Technology, Japan (seki(a)nitech.ac.jp) Symposium Co-Chairs Olaf Chitil and Andy King School of Computing University of Kent CT2 7NF Kent, UK Organizing Committee Emanuele De Angelis Fabrizio Smith

1 0

Call For Papers: Erlang Workshop 2014
by Laura M. Castro 26 Feb '14

26 Feb '14

Hello all, Please find below the First Call for Papers for the Thirteenth ACM SIGPLAN Erlang Workshop. Apologies for any duplicates you may receive. CALL FOR PAPERS =============== Thirteenth ACM SIGPLAN Erlang Workshop ----------------------------------------------------------- Göteborg, Sweden, September 5, 2014 Satellite event of the 19th ACM SIGPLAN International Conference on Functional Programming (ICFP 2014) September 1-3, 2014 http://www.erlang.org/workshop/2014 Erlang is a concurrent, distributed functional programming language aimed at systems with requirements of massive concurrency, soft real time response, fault tolerance, and high availability. It has been available as open source for 15 years, creating a community that actively contributes to its already existing rich set of libraries and applications. Originally created for telecom applications, its usage has spread to other domains including e-commerce, banking, databases, and computer telephony and messaging. Erlang programs are today among the largest applications written in any functional programming language. These applications offer new opportunities to evaluate functional programming and functional programming methods on a very large scale and suggest new problems for the research community to solve. This workshop will bring together the open source, academic, and industrial programming communities of Erlang. It will enable participants to familiarize themselves with recent developments on new techniques and tools tailored to Erlang, novel applications, draw lessons from users' experiences and identify research problems and common areas relevant to the practice of Erlang and functional programming. We invite three types of submissions. 1. Technical papers describing language extensions, critical discussions of the status quo, formal semantics of language constructs, program analysis and transformation, virtual machine extensions and compilation techniques, implementations and interfaces of Erlang in/with other languages, and new tools (profilers, tracers, debuggers, testing frameworks, etc.). The maximum length for technical papers is restricted to 12 pages. 2. Practice and application papers describing uses of Erlang in the "real-world", Erlang libraries for specific tasks, experiences from using Erlang in specific application domains, reusable programming idioms and elegant new ways of using Erlang to approach or solve a particular problem. The maximum length for the practice and application papers is restricted to 12 pages. Note that this is a maximum length; we welcome shorter papers also, and the program committee will evaluate all papers on an equal basis independent of their lengths. 3. Poster presentations describing topics related to the workshop goals. Each includes a maximum of 2 pages of the abstract and summary. Presentations in this category will be given an hour of shared simultaneous demonstration time. Workshop Co-Chairs ------------------ Laura M. Castro, University of A Coruña, Spain Hans Svensson, QuviQ AB, Sweden Program Committee ----------------------------- (Note: the Workshop Co-Chairs are also committee members) Jesper L. Andersen, Erlang Solutions Ltd., UK Richard Carlsson, Klarna AB, Sweden Lars-Åke Fredlund, Universidad Politécnica de Madrid, Spain Fréd Hébert, Heroku, USA Kostis Sagonas, Uppsala University, Sweden & NTUA, Greece Simon Thompson, University of Kent, UK Steve Vinoski, Basho Technologies, USA Philip Wadler, University of Edinburgh, UK Important Dates ----------------------- Submissions due: Sunday, 11 May, 2014 Author notification: Friday, 6 June, 2014 Final copy due: Sunday, 22 June, 2014 Workshop date: September 5, 2014 Instructions to authors -------------------------------- Papers must be submitted online via EasyChair (via the "Erlang2014" event). The submission page is https://www.easychair.org/conferences/?conf=erlang2014 Submitted papers should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines. Each submission must adhere to SIGPLAN's republication policy. Violation risks summary rejection of the offending submission. Accepted papers will be published by the ACM and will appear in the ACM Digital Library. Paper submissions will be considered for poster submission in the case they are not accepted as full papers. Venue & Registration Details ------------------------------------------ For registration, please see the ICFP 2014 web site at: http://icfpconference.org/icfp2014/ Related Links -------------------- ICFP 2014 web site: http://www.icfpconference.org/icfp2014/ Past ACM SIGPLAN Erlang workshops: http://www.erlang.org/workshop/ Open Source Erlang: http://www.erlang.org/ EasyChair submission site: https://www.easychair.org/conferences/?conf=erlang2014 Author Information for SIGPLAN Conferences: http://www.sigplan.org/authorInformation.htm Atendee Information for SIGPLAN Events: http://www.sigplan.org/Resources/Policies/Anti-harassment -- Laura M. Castro Department of Computer Science Universidade da Coruña (Spain) http://www.madsgroup.org/staff/laura

1 0

*Deadline extended* Final call for contributions AI4FM 2014
by Iain Whiteside 25 Feb '14

25 Feb '14

------------------------------------------------- AI4FM 2014 - the 5th International Workshop on the use of AI in Formal Methods http://www.ai4fm.org/ai4fm-2014/ Singapore, 13th May, 2014 In association with FM 2014 ------------------------------------------------- --- Final Call for Contributions --- Confirmed Speakers --------------- Rustan Leino, Microsoft Research Chin Wei Ngan, National University of Singapore Dominique Méry, LORIA and Université de Lorraine Important Dates --------------- Submission deadline: *March 15, 2014* Notification of acceptance: March 22, 2014 Final version due: April 22, 2014 Workshop: May 13th, 2014 General --------------- This workshop will bring together researchers from formal methods, automated reasoning and AI; it will address the issue of how AI can be used to support the formal software development process, including requirement analysis, modelling and proof. Previous AI4FM workshops have included a mix of industrial and academic participants and we anticipate attracting a similarly diverse audience. Rigorous software development using formal methods allows the construction of an accurate characterisation of a problem domain that is firmly based on mathematics; by applying standard mathematical analyses, these methods can be used to prove that systems satisfy formal specifications. Research has shown that with tools backed by mature theory, formal methods are becoming cost effective and their use is easier to justify, not as an academic exercise, legal requirement or niche markets -- but as part of a business case. However, while industrial use of formal methods is increasing, in order to make it more mainstream, the cost of applying formal methods, in terms of mathematical skill level and development time, must still be reduced. We believe that AI can help with these issues. Scope --------------- We encourage submissions presenting work in progress, tools under development, and PhD projects, in order that the workshop can become a forum for active dialogue between the groups involved in automated reasoning, formal methods and artificial intelligence. Particular areas of interest include, but are not limited to: - The use of AI and automated reasoning to support and guide the formal modelling process. - The use of AI and automated reasoning in the requirement capture process. - The use of AI to reuse formal models, programs and proofs. - The use of machine learning to support interactive theorem proving. - The use of machine learning to enhance automated theorem proving. - The development of search heuristics. - The use of AI for term synthesis, invariant generation, lemma discovery and concept invention. - The use of AI for counter-example generation. - The use of constraint solvers in formal methods. - The role of AI planning for formal systems developments, from requirements to the end product (including software and hardware). - The interplay between reasoning and modelling and the role of AI in this framework. - Ontologies in the formal engineering process. History --------------- This will be the fifth workshop in the series. Previous workshops were held at: - Rennes, France, July 2013 @ ITP (www.ai4fm.org/ai4fm-2013/) - Schloss Dagstuhl, Germany, July 2012 (www.dagstuhl.de/12271) - Edinburgh, UK, April 2011 (www.ai4fm.org/ai4fm-2011.php) - Newcastle, UK, May 2010 (www.ai4fm.org/ko-meeting.php) Submission --------------- The main aim for the workshop is discussion, thus submissions do not need to be original. Extended versions of submissions may have been published previously, or submitted concurrently with or after AI4FM 2014 to another workshop, conference or a journal. Submission is by email to: ai4fm2014(a)ai4fm.org Please submit an abstract up to 3 pages in a PDF format. The extended abstracts will be handed out to all participants, and will be made into a technical report prior to the workshop. Acceptance for presentation at the workshop will be made by the organisers based on relevance to the workshop. Organisers --------------- * Leo Freitas (Newcastle University, UK) * Gudmund Grov (Heriot-Watt University, UK) * Iain Whiteside (Newcastle University, UK) Contact Details ---------------- If you have any queries, please email the organisers at the following email address: ai4fm2014(a)ai4fm.org

1 0

Call for Papers: TASE 2014
by Huibiao Zhu 25 Feb '14

25 Feb '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) Vidroha Debroy (Hudson Alley Software, 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

APLAS 2014: Call for papers
by Jacques Garrigue 21 Feb '14

21 Feb '14

=============================================================== APLAS 2014 12th Asian Symposium on Programming Languages and Systems http://www.math.nagoya-u.ac.jp/~garrigue/APLAS2014/ 17-19 November 2014, Singapore CALL FOR PAPERS =============================================================== ========== BACKGROUND ========== APLAS aims to stimulate programming language research by providing a forum for the presentation of latest results and the exchange of ideas in programming languages and systems. APLAS is based in Asia, but is an international forum that serves the worldwide programming language community. APLAS is sponsored by the Asian Association for Foundation of Software (AAFS) founded by Asian researchers in cooperation with many researchers from Europe and the USA. Past APLAS symposiums were successfully held in Melbourne ('13), Kyoto ('12), Kenting ('11), Shanghai ('10), Seoul ('09), Bangalore ('08), Singapore ('07), Sydney ('06), Tsukuba ('05), Taipei ('04) and Beijing ('03) after three informal workshops. Proceedings of the past symposiums were published in Springer's LNCS. ====== TOPICS ====== The symposium is devoted to foundational and practical issues in programming languages and systems. Papers are solicited on topics such as * semantics, logics, foundational theory; * design of languages, type systems and foundational calculi; * domain-specific languages; * compilers, interpreters, abstract machines; * program derivation, synthesis and transformation; * program analysis, verification, model-checking; * logic, constraint, probabilistic and quantum programming; * software security; * concurrency and parallelism; * tools and environments for programming and implementation. Topics are not limited to those discussed in previous symposiums. Papers identifying future directions of programming and those addressing the rapid changes of the underlying computing platforms are especially welcome. Demonstration of systems and tools in the scope of APLAS are welcome to the System and Tool presentations category. Authors concerned about the appropriateness of a topic are welcome to consult with the program chair prior to submission. ========== SUBMISSION ========== We solicit submissions in two categories: *Regular research papers* describing original scientific research results, including tool development and case studies. Regular research papers should not exceed 18 pages in the Springer LNCS format, including bibliography and figures. They should clearly identify what has been accomplished and why it is significant. Submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity. In case of lack of space, proofs, experimental results, or any information supporting the technical results of the paper could be provided as an appendix or a link to a web page, but reviewers are not obliged to read them. *System and Tool presentations* describing systems or tools that support theory, program construction, reasoning, or program execution in the scope of APLAS. System and Tool presentations are expected to be centered around a demonstration. The paper and the demonstration should identify the novelties of the tools and use motivating examples. System and Tool papers should not exceed 8 pages in the Springer LNCS format, including bibliography and figures. Submissions will be judged based on both the papers and the described systems or tools. It is highly desirable that the tools are available on the web. Papers should be submitted electronically via the submission web page: https://www.easychair.org/conferences/?conf=aplas2014 Acceptable formats are PostScript or PDF. Submitted papers must be unpublished and not submitted for publication elsewhere. Papers must be written in English. The proceedings will be published as a volume in Springer's LNCS series. Accepted papers must be presented at the conference. ===== DATES ===== Abstracts due: May 26, 2014 (Monday) Submission due: June 2, 2014 (Monday) Notification: August 6, 2014 (Wednesday) Final paper due: September 1, 2014 (Monday) Conference: November 17-19, 2014 (Monday-Wednesday) ========== ORGANIZERS ========== General chair: Wei-Ngan Chin (National University of Singapore) Program chair: Jacques Garrigue (Nagoya University) Program committee: Xiaojuan Cai (Shanghai Jiao Tong University, China) James Chapman (Institute of Cybernetics, Estonia) Cristian Gherghina (Singapore University of Technology and Design) Eric Goubault (CEA LIST and Ecole Polytechnique, France) Fei He (Tsinghua University, China) Gerwin Klein (NICTA and UNSW, Australia) Raghavan Komondoor (Indian Institute of Science, Bangalore) Paddy Krishnan (Oracle, Australia) Daan Leijen (Microsoft Research, USA) Yasuhiko Minamide (University of Tsukuba, Japan) Shin-Cheng Mu (Academia Sinica, Taiwan) Sungwoo Park (Pohang University of Science and Technology, Korea) Julian Rathke (University of Southampton, UK) Sukyoung Ryu (KAIST, Korea) Alexandra Silva (Radboud University Nijmegen, Netherlands) Martin Sulzmann (Karlsruhe University of Applied Sciences, Germany) Munehiro Takimoto (Tokyo University of Science, Japan) Jan Vitek (Purdue University, USA) Hongwei Xi (Boston University, USA) ======= CONTACT ======= aplas2014 at easychair.org

1 0

Call for papers: HLPP 2014 - 7th Symposium on High-Level Parallel Programming and Applications
by Clemens Grelck 19 Feb '14

19 Feb '14

=========================================================================== CALL FOR PAPERS HLPP 2014 7th International Symposium on High-level Parallel Programming and Applications Amsterdam, Netherlands July 3-4, 2014 https://sites.google.com/site/hlpp2014amsterdam/ =========================================================================== Aims and scope: As processor and system manufacturers increase the amount of both inter- and intra-chip parallelism it becomes crucial to provide the software industry with high-level, clean and efficient tools for parallel programming. Parallel and distributed programming methodologies are currently dominated by low-level techniques such as send/receive message passing, or equivalently unstructured shared memory mechanisms. Higher-level, structured approaches offer many possible advantages and have a key role to play in the scalable exploitation of ubiquitous parallelism. Since 2001 the HLPP series of workshops/symposia has been a forum for researchers developing state-of-the-art concepts, tools and applications for high-level parallel programming. The general emphasis is on software quality, programming productivity and high-level performance models. The 7th Symposium on High-Level Parallel Programming and Applications will be held July 3-4 in the historic center of Amsterdam. =========================================================================== Proceedings: Accepted papers will be distributed as informal draft proceedings during the symposium. All accepted papers will be published by Springer in a special issue of the International Journal of Parallel Programming (IJPP). =========================================================================== Important dates: Submission deadline: April 4 (anywhere on earth) Author notification: May 1 Camera-ready paper due: June 16 =========================================================================== Topics: HLPP 2014 invites papers on all topics in high-level parallel programming, its tools and applications including, but not limited to, the following aspects: + High-level programming and performance models (BSP, CGM, LogP, MPM, etc.) and their tools + Declarative parallel programming methodologies + Algorithmic skeletons and constructive methods + Declarative parallel programming languages and libraries: semantics and implementation + Verification of declarative parallel and distributed programs + Software synthesis, automatic code generation for parallel programming + Model-driven software engineering with parallel programs + High-level programming models for heterogeneous/hierarchical platforms + High-level parallel methods for large datasets + Applications of parallel systems using high-level languages and tools + Teaching experience with high-level tools and methods =========================================================================== Paper preparation and submission: Papers submitted to HLPP2014 must describe original research results and must not have been published or simultaneously submitted anywhere else. Manuscripts must be prepared with the Springer IJSS latex macro package and submitted via the EasyChair Conference Management System. Each paper will receive a minimum of three reviews by members of the international technical programme committee (see below). Papers will be selected based on their originality, relevance, technical clarity and quality of presentation. At least one author of each accepted paper must register for the HLPP 2014 symposium and present the paper. =========================================================================== HLPP Organizer and programme chair: Clemens Grelck Informatics Institute University of Amsterdam Science Park 904 1098XH Amsterdam Netherlands c.grelck(a)uva.nl =========================================================================== HLPP steering committee: Clemens Grelck (Universiteit van Amsterdam, Netherlands) Gaétan Hains (Université Paris-Est, France) Kiminori Matsuzaki (Kochi University of Technology, Japan) Frédéric Loulergue (Université d'Orléans, France) Quentin Miller (Somerville College Oxford, United Kingdom) Alexander Tiskin (University of Warwick, United Kingdom) =========================================================================== Previous HLPP symposia and workshops: HLPP 2013, Paris, France HLPP 2011, Tokyo, Japan HLPP 2010, Baltimore, USA HLPP 2005, Coventry, United Kingdom HLPP 2003, Paris, France HLPP 2001, Orléans, France =========================================================================== -- ---------------------------------------------------------------------- Dr Clemens Grelck Science Park 904 University Lecturer 1098XH Amsterdam Netherlands University of Amsterdam Institute for Informatics T +31 (0) 20 525 8683 Computer Systems Architecture Group F +31 (0) 20 525 7490 Office C3.105 www.science.uva.nl/~grelck ----------------------------------------------------------------------

1 0