May 2015 - Haskell - Haskell.org

Haskell-related PhD Studentship at Kent
by Meng Wang 22 Mar '16

22 Mar '16

Dear Haskellers, I am seeking a PhD student on a Haskell-related project: http://www.cs.kent.ac.uk/research/studyingforaphd/phd-wang.html This would be a good opportunity for someone who is interested in applying Haskell ideas to real problems. The funding covers maintenance, EU student fees and research related expenses. But non-EU students are welcome to apply too. For Sep 2015 starting, the application deadline is 17 April 2015. If you are interested, please contact me at m.w.wang(a)kent.ac.uk<mailto:m.w.wang@kent.ac.uk>. Best wishes, Meng — Dr Meng Wang School of Computing University of Kent http://www.cs.kent.ac.uk/people/staff/mw516/

1 1

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

CF STUDENT POSTERS for Innovations'15 (No registration fees), Dubai, November 01-03, 2015
by Nabeel Al-Qirim 22 Jun '15

22 Jun '15

CF STUDENT POSTERS for Innovations'15 (No registration fees), Dubai, November 01-03, 2015 IIT’15: The 11th International Conference on Innovations in Information Technology 2015 URL: http://www.it-innovations.ae/iit2015/posters.html The IIT’15 Student Poster and Demos Committee invites all undergraduate and graduate students to submit an extended (2 pages max.) abstract and to display it as a poster during the IIT’15. The poster topic should fall within the conference’s theme and tracks. SUBMISSION Extended abstracts should be sent to Dr. Nabeel Al-Qirim at nalqirim(a)uaeu.ac.ae. All students are encouraged to review their abstracts with their faculty advisers prior to submission. All accepted abstracts will be published by the IIT’15 proceedings. IMPORTANT DATES -Student Poster (Extended Paper) Submission May 30, 2015 -Notification of Student Poster acceptance July 15, 2015 -Camera ready Extended Paper and Poster material September 01, 2015 -Conference November 01-03, 2015 BEST STUDENT POSTER AWARDS There will be a competition for best student poster award at the IIT’15. This award will be given to recognize student excellence in research and presentation. CONTACT Queries should be directed to: Dr. Nabeel Al-Qirim at nalqirim(a)uaeu.ac.ae Thanks, Dr. Nabeel Al-Qirim IIT’15 Student Poster and Demos Chair College of Information Technology United Arab Emirates University P.O Box 15551 - Al Ain United Arab Emirates Tel: +971-3-7135531 Mobile: +971-507308705 Fax: +971-3-7672018 Email: nalqirim(a)uaeu.ac.ae Website: http://nalqirim.wix.com/nabeel-al-qirim Disclaimer:"The content of this email together with any attachments, statements and opinions expressed herein contains information that is confidential in nature and intended for the named addressee(s) only. If you are not the addressee of this email or you have received this message in error please notify the sender and delete the message and any associated files from your system, you have no right to copy, print, distribute or use this email or any of its attachments, or permit or disclose its contents to any other party in any way, except with the prior approval of the sender. In case of breach of what has been explained above, you will be held legally accountable." تنبيه: "إن محتوى هذا البريد الإلكتروني مع أي مرفقات والبيانات والآراء الواردة في هذه الوثيقة يحتوي على معلومات تعتبر سرية بطبيعتها وتستهدف المرسل اسمه (ق) فقط إذا لم تكن المرسل إليه من هذه الرسالة أو كنت قد تلقيت هذا. في رسالة الخطأ، الرجاء إبلاغ المرسل وحذف الرسالة وأية ملفات مرتبطة من النظام الخاص بك، ليس لديك الحق في نسخ أو طباعتها أو توزيعها أو استخدام هذا البريد الالكتروني أو أي من ملحقاته، أو السماح أو الكشف عن محتوياته إلى أي طرف آخر في بأي حال من الأحوال، إلا بموافقة مسبقة من المرسل، وفي حالة خرق ما سبق بيانه أعلاه، سوف تعقد لك مساءلة قانونيا" . www.uaeu.ac.ae<http://www.uaeu.ac.ae>

1 1

ANN: nonce package
by Felipe Lessa 07 Jun '15

07 Jun '15

(Please forgive me if you received multiple copies of this e-mail.) Hello, The nonce package [1] contains functions to easily generate cryptographic nonces for many situations. Some places where these generated nonces can be used include: - Password recovery e-mail tokens. - XSRF protection tokens. - Session IDs sent on cookies. - Initialization vectors. It uses an AES CPRNG periodically reseeded from /dev/urandom (or equivalent). It has no frills, no knobs, so it's hard to misuse. It's been available for an year but I just realized I've never properly announced it. Regrettably, I've seen many uses of the random package (System.Random) when generating nonces. It's a bad choice: it is not a cryptographically secure PRNG, contains low entropy (64-bit state), and its default usage is seeded predictably (using a constant seed). Please avoid using the random package for generating nonces at all costs. In its stead, use the nonce package or something similar. Cheers, [1] http://hackage.haskell.org/package/nonce -- Felipe.

3 3

ANNOUNCE: Haskell Communities and Activities Report (28th ed., May 2015)
by Mihai Maruseac 29 May '15

29 May '15

On behalf of all the contributors, we are pleased to announce that the Haskell Communities and Activities Report (28th edition, May 2014) is now available, in PDF and HTML formats: http://haskell.org/communities/05-2015/report.pdf http://haskell.org/communities/05-2015/html/report.html Many thanks go to all the people that contributed to this report, both directly, by sending in descriptions, and indirectly, by doing all the interesting things that are reported. We hope you will find it as interesting a read as we did. If you have not encountered the Haskell Communities and Activities Reports before, you may like to know that the first of these reports was published in November 2001. Their goal is to improve the communication between the increasingly diverse groups, projects, and individuals working on, with, or inspired by Haskell. The idea behind these reports is simple: Every six months, a call goes out to all of you enjoying Haskell to contribute brief summaries of your own area of work. Many of you respond (eagerly, unprompted, and sometimes in time for the actual deadline) to the call. The editors collect all the contributions into a single report and feed that back to the community. When we try for the next update, six months from now, you might want to report on your own work, project, research area or group as well. So, please put the following into your diaries now: ======================================== End of September 2015: target deadline for contributions to the November 2015 edition of the HC&A Report ======================================== Unfortunately, many Haskellers working on interesting projects are so busy with their work that they seem to have lost the time to follow the Haskell related mailing lists and newsgroups, and have trouble even finding time to report on their work. If you are a member, user or friend of a project so burdened, please find someone willing to make time to report and ask them to "register" with the editors for a simple e-mail reminder in October (you could point us to them as well, and we can then politely ask if they want to contribute, but it might work better if you do the initial asking). Of course, they will still have to find the ten to fifteen minutes to draw up their report, but maybe we can increase our coverage of all that is going on in the community. Feel free to circulate this announcement further in order to reach people who might otherwise not see it. Enjoy! Mihai Maruseac and Alejandro Serrano Mena <hcar at haskell.org> -- Mihai Maruseac (MM) "If you can't solve a problem, then there's an easier problem you can solve: find it." -- George Polya

1 0

Haskell Weekly News
by Kim-Ee Yeoh 29 May '15

29 May '15

*Top Picks:* - Tony Day, Brisbane-based investment strategist and high-frequency-trading hacker, rides 100% idiomatic Haskell <http://tonyday567.github.io/blog/mvc-todo/> into the Single Page (web)-App <http://en.wikipedia.org/wiki/Single-page_application> space. How? He spins the GHCJS transpiler on Gabriel Gonzalez's Model-View-Controller library to obtain his own TodoMVC benchmark demo <http://tonyday567.github.io/static/index-auto.html>. Per GHCJS, the production spans multi-megabytes of javascript. Not to be missed: auto-run, i.e. click the QuickCheck-powered checkbox labeled "Let haskell do the work." Github repo <https://github.com/tonyday567/mvc-todo>. Along the way, he discovers how crippled Javascript is without sum types. As noted on HN <https://news.ycombinator.com/item?id=9591868#up_9601842>, "Typos and missing cases represent a very large set of trivial bugs." He believes superior FP features such as sum types makes it "much harder for haskell to avoid success." Woe is us. /r/haskell <http://www.reddit.com/r/haskell/comments/36y9jc/haskell_as_an_mvc_framework/> - Michael Walker, a Ph.D. student at York, reveals <http://www.reddit.com/r/haskell/comments/37dv8y/what_side_projects_have_you…> his personal book-collection management web-app <http://www.barrucadu.co.uk/bookdb/> that runs on top of persistent <https://hackage.haskell.org/package/persistent>, WAI <https://hackage.haskell.org/package/wai>, and web-routes <https://hackage.haskell.org/package/web-routes>. Public domain. <https://github.com/barrucadu/bookdb> - David Christiansen announces on /r/haskell <http://www.reddit.com/r/haskell/comments/36az3n/idris_0918_released_with_fa…> Idris 0.9.18 <http://www.idris-lang.org/idris-0-9-18-released/> with fancier records. Top comment says Idris is more type-friendly than Haskell despite the "esoteric academics behind dependent type theory." Why? Because Idris, helpfully offers suggestions that turn ill- into well-typed code. Haskell doesn't. - Remember JP Moresmau dropping EclipseFP <http://haskell.1045720.n5.nabble.com/Haskell-Weekly-News-tp5809360.html>? Can Leksah take its place? Hamish Mackenzie announces a 7.10-ready Leksah 0.15.0 <https://github.com/leksah/leksah/wiki/Leksah-0.15.0> on /r/haskell <http://www.reddit.com/r/haskell/comments/37emp2/leksah_0150/>. Top new feature? Support for GHCJS, which excites Phil Freeman of PureScript fame. Here's a 2min video clip on How to make a ghcjs-dom application in Leksah <https://www.youtube.com/watch?v=zQnExdDL63c>. - Roman Cheplyaka writes a short 'n sweet tutorial <https://ro-che.info/articles/2015-05-28-force-list> on how a list may be variously forced. He summarizes the similarities and differences in a table that goes from the shallowestly evaluated seq () to forceSpine to forceElements to the deepest rnf. /r/haskell <http://www.reddit.com/r/haskell/comments/37ky62/how_to_force_a_list/> - Justin Leitgeb, Rails developer and Co-Founder / CTO of Stack Builders, a Haskell-enabled software consultancy, deprioritizes learning Clojure, Go, Erlang, and Scala in favor of Agda, Coq, Idris, Elm, and Liquid Haskell <http://www.stackbuilders.com/news/another-personal-programming-language-roa…>. He will invest a couple of weeks at the Oregon PL Summer School starting June 15 <https://www.cs.uoregon.edu/research/summerschool/summer15/>. - Tony Morris announces a three-day Haskell-based Intro to FP course in Melbourne, July 21-23 this year. Pitched at beginners, it features learning by coding. Free; application deadline: July 10 <https://groups.google.com/forum/#!topic/nicta-fp/Dnq-oh4nJbg>. - By popular request <http://haskell.1045720.n5.nabble.com/Workshop-on-Type-Inference-and-Automat…>, František Farka and his team recorded all of a workshop on type inference in Dundee, Scotland <http://staff.computing.dundee.ac.uk/frantisekfarka/tiap/> held a couple of weeks ago. Highly-viewed talks <https://www.youtube.com/user/qmbevents/videos> include Edwin Brady <http://staff.computing.dundee.ac.uk/frantisekfarka/tiap/#edwin> on implementing dependent types in Idris and Conor McBride <http://staff.computing.dundee.ac.uk/frantisekfarka/tiap/#conor> on "Type Inference Needs Revolution." /r/haskell <http://www.reddit.com/r/haskell/comments/36dfcx/workshop_on_type_inference_…> - Michael Hicks at UMD, PC chair of POPL 2012, writes a PL research apologia <http://www.pl-enthusiast.net/2015/05/27/what-is-pl-research-and-how-is-it-u…> cum pitch for new grad students. An informal poll he did shows PL Ph.D.s get good jobs. He explains that "The ethos of PL research is to not just find solutions to important problems, but to find the *best expression of those solutions.*" As ethos specimens, he gives three: probabilistic programming, incremental computation a.k.a. self-adaptive computation, and authenticated data structures (see LambdaAuth <http://amiller.github.io/lambda-auth/>). HN-worthy <https://news.ycombinator.com/item?id=9614178>. - Jan Stolarek gives a glimpse <http://lambda.jstolarek.com/2015/05/injective-type-families-for-haskell/> of GHC's new injective type families feature, which is joint research with SPJ and Richard Eisenberg. It brings Haskell one step closer to having a notion of type functions as opposed to mere 'constructors.' The feature is useful in type-level hacking. It allows the arguments of a type family to be inferred solely by result type. But Lennart Augustsson on /r/haskell <http://www.reddit.com/r/haskell/comments/37bvh0/injective_type_families_for…> gives a trivial example where even when a type family isn't injective, its argument can still be inferred knowing a particular result type. He regrets that GHC doesn't do this. - Joe Nelson uploads the video and a summary <http://begriffs.com/posts/2015-05-24-safe-haskell.html> of Kristen Kozak introducing the Safe Haskell extension to the SF Bay Area Haskell Users Group <http://www.meetup.com/Bay-Area-Haskell-Users-Group/events/220312001/> on May 12. Slides here <http://wordroute.com/grayjay/safe-haskell.pdf>. Redditor beerdude26 <http://www.reddit.com/r/haskell/comments/37a1cq/using_the_safe_haskell_lang…> adds the link to and tidies up the Safe Haskell wiki <https://wiki.haskell.org/Safe_Haskell> entry. - Out of frustration with existing Windows GUI FFIs, Luka Horvat <http://lukahorvat.github.io/programming/2015/05/24/haskellforms/> creates bindings for WinForms <https://github.com/LukaHorvat/HaskellForms>, Microsoft's .NET menus-and-widgets library. He binds to F# instead of lower-level C++/C# because it's easier. /r/haskell <http://www.reddit.com/r/haskell/comments/37464x/haskellforms_winforms_bindi…> - Gabriel Gonzalez <http://www.haskellforall.com/2015/05/the-internet-of-code.html> demoes another piece of Morte, what he describes as his "pandoc for programming languages." He prototypes "distributing typed code over the internet where the unit of compilation is individual expressions." /r/haskell <http://www.reddit.com/r/haskell/comments/36d12v/haskell_for_all_the_interne…> - Taylor Fausak forsakes TagSoup <https://hackage.haskell.org/package/tagsoup> and scrapes websites <http://taylor.fausak.me/2015/05/21/scraping-websites-with-haskell/> the hard way using xml-conduit. He concludes that it's "tougher than doing the same thing in scripting languages, but hopefully easier than [his blog readers] expected." - Stuart Popejoy writes a monad tutorial <http://slpopejoy.github.io/posts/Effectful01.html>. A redditor finds it an "entertaining explanation of monads." Another asks the OOP-ish question: are monads "basically wrappers that contain 'impure' data and actions with some common functions?" See /r/haskell <http://www.reddit.com/r/haskell/comments/374c3o/effectful_haskell_io_monads…> *Announcement:* Semen Trygubenko has stepped down from publishing his edition of HWN. Losing him means there will be no issue next week. *Quotes of the Week:* - UnoOuzo <https://twitter.com/UnoOuzo/status/601658244201848832>: "The type of my love is parametrically polymorphic. It is unbounded." Looking into ways to cite this in my thesis. - Conor McBride <http://www.reddit.com/r/haskell/comments/36y9jc/haskell_as_an_mvc_framework…>: Algebra is a posh way of saying "construction kit". - Michael Hicks <http://www.pl-enthusiast.net/2015/05/27/what-is-pl-research-and-how-is-it-u…>: The ethos of PL research is to not just find solutions to important problems, but to find the *best expression of those solutions. * - There is a fountain of youth: it is your mind, your talents, the creativity you bring to your life and the lives of people you love. When you learn to tap this source, you will truly have defeated age. -- Sophia Loren -- Kim-Ee

1 0

LPMR 2015 - Associated events - DEADLINES
by Francesco Calimeri 29 May '15

29 May '15

[apologies for multiple or cross- posting] The LPNMR 2015 Program Committee is evaluating the submitted papers, and notifications of acceptance are expected soon. However, we would like to remember that this year's edition comes along with a very rich set of associated events: 4 Workshops, the ADT 2015 conference, the joint ADT/LPNMR Doctoral Consortium, not to mention the 6th Answer Set Programming Competition. Quite a rich menu, right? Deadlines are approaching for such events, and this is intended as a gentle reminder: * GTTV'15: June 22, 2015 * ALPP 2015: July 15, 2015 * NLPAR 2015: June 22, 2015 * LNMR'15: June 22, 2015 * ADT 2015: time over * Joint LPNMR-ADT Doctoral Consortium: June 1, 2015 * Answer Set Programming Competition ASPCOMP: June 1, 2015 More details can be found here: http://lpnmr2015.mat.unical.it/associated-events

1 0

Two years R&D engineer position available in Computer Science & Arts, Bordeaux, France
by David Janin 29 May '15

29 May '15

Inria Bordeaux opens a R&D engineer position in the PoSET research project, located at LaBRI, Bordeaux, France Object: research and development on new modeling and programing methods for realtime computerized artistic systems. Duration: two years from Autumn 2015. Where : Inria Bordeaux/CNRS LaBRI, within the research project PoSET. Salary: from 2000 to 2500 Euros monthly netto (including health insurance) depending on candidate qualification. Keywords: functional programing (Haskell or Ocaml), reactive programming, real-time system, graphical modeling, computational music, science and arts. More details below. To apply, send CV and motivation letter to David Janin, david.janin(a)labri.fr ********************* ** Research Context The Inria research project PoSET is a new research team in Bordeaux with four permanent researchers and at least as many PhD students. It aims at developing a new approach to the design, implementation and execution of complex interactive media systems such as augmented musical pieces or interactive museographic installations. It aims in particular at developing the notion of tiled temporal media, a mathematically well-defined and rich model of temporal media, with a clean and efficient implementation of this model in the functional programming language Haskell. The resulting software platform should offer uniform, robust and easy-to-use tools for the homogeneous capture, transformation and production of heterogeneous temporal media: music, video, animation, etc. ** Mission Within the PoSET research and development team, the engineer will be the main developer of the project. His task will consists in developing consolidated versions of the existing programming modules and the current on-the-fly rendering kernel. Further developments, to be designed in collaboration with researchers and artists, will include interactive extensions of the rendering kernel, graphic modeling extensions based on higher dimensional tiles, and various domain-specific libraries (audio, music, video, control). His task will also include technical assistance to artists in residence creating artistic systems. ** Profile Master degree / engineering diploma in Computer Science - Creative and highly motivated - Solid programming skills in functional programming (Haskell, Ocaml) - Prior exposure to Human-Machine Interface and Computational Music would be a bonus - Language requirements: fluent spoken English or French and fluent written English ** Environment Hired by Inria Bordeaux Sud-Ouest, the engineer will be located within CNRS LaBRI in the lively city of Bordeaux which hosts many foreign students and researchers. Located in the heart of one of the most famous wine region of France, the direct surrounding of Bordeaux offers great outdoor recreation including surfing, sailing and cycling. The Pyrenees mountains (hiking, climbing and skiing) can be reached from Bordeaux in 3h by car. Paris can be reached from Bordeaux in 3h by train. ** About Inria: « Established in 1967, Inria is the only public research body fully dedicated to computational sciences. Combining computer sciences with mathematics, Inria’s 3,500 researchers strive to invent the digital technologies of the future. Educated at leading international universities, they creatively integrate basic research with applied research and dedicate themselves to solving real problems, collaborating with the main players in public and private research in France and abroad and transferring the fruits of their work to innovative companies. The researchers at Inria published over 4,500 articles in 2013. They are behind over 300 active patents and 120 start-ups. The 172 project teams are distributed in eight research centers located throughout France. » ** Some related links: * Inria Bordeaux Sud-Ouest: http://www.inria.fr/en/centre/bordeaux * UMR CNRS LaBRI laboratory http://www.labri.fr/index.php?n=Main.HomePage?userlang=en * PoSET research project http://www.labri.fr/perso/janin/poset.html * SCRIME (Studio de Création et de Recherche en Informatique et Musique Electroaccoustique) https://scrime.labri.fr/le-scrime/ * PoSET team leader http://www.labri.fr/perso/janin/ * Some publications in link with the project http://www.labri.fr/perso/janin/music.html

1 0

CoPro 2015 - Mini-Symposium on Coordination Programming
by Clemens Grelck 27 May '15

27 May '15

*************************************************************************** CALL FOR PAPERS CoPro 2015 Mini-Symposium on Coordination Programming http://www.parco2015.org/coordination-programming Edinburgh, UK September 1, 2015 Submission deadline: July 3, 2015 *************************************************************************** PART OF ParCo 2015 17th International Conference on Parallel Computing http://www.parco2015.org/ Edinburgh, UK September 1-4, 2015 *************************************************************************** Coordination programming is a term that everybody seems to have a vague idea about, but only a few have a definite view on. And among those there is a great deal of divergence in understanding what coordination is all about. In this mini-symposium we intend to look at various interpretations of, and approaches to, coordination: from the conventional tuple-space, Linda-inspired constructions, such as CnC, to behavioural models such as Reo, to more recent attempts to see a coordination program as a projection of the full semantics of a distributed application that can be more or less accurately inferred at compile time and which affects resource- and performance-critical parameters. The mini-symposium will serve as a forum for building bridges between the various directions of research and will help us to share experiences and build a community geared towards practical applications of coordination programming. *************************************************************************** SCOPE: The mini-symposium will address, but is not limited to, the following issues through contributed papers and a panel-style discussion session included in the programme: * Why does coordination require a coordination language? Is there a kind of analysis that is impeded by the lack of specific coordination-language constructs? * Inference vs adaptation. What can be inferred and how should the coordination program adapt to the resource situation in parallel and distributed systems? * What kind of tuning or self-tuning facilities should/can coordination programming approaches require/possess? * What is the relationship between control-coordination and data-coordination? * How can coordination programming address the challenges of cloud computing, big data processing/analysis and mixed-criticality cyberphysical systems? * What are recent success stories in applying coordination programming to real-life applications? *************************************************************************** PROCEEDINGS: CoPro 2015 solicits original research papers written in English. Being a mini-symposium our focus is on bringing together researchers interested in all aspects of coordination programming. We explicitly encourage all sorts of contributions from mature research to position papers, work in progress and crazy ideas. For the initial submission extended abstracts of at least 2 pages are equally fine. Titles, authors and abstracts of all papers accepted by the mini-symposium will appear in the ParCo book of abstracts, which will distributed at the conference. All papers presented during the mini-symposium will be included in the proceedings of the 17th International Conference on Parallel Computing (ParCo 2015) and published as a volume of the series Advances of Parallel Computing after the ParCo conference. *************************************************************************** PAPER PREPARATION GUIDELINES: For CoPro 2015 the same formatting guidelines apply as for the main ParCo conference. Thus, papers must be formatted in ParCo style and not exceed 10 pages. For style files and all further details see http://www.parco2015.org/information-authors *************************************************************************** SUBMISSION GUIDELINES: CoPro 2015 makes use of the EasyChair conference management system to process all submissions and to organise the reviewing process. Please, use the following link: https://easychair.org/conferences/?conf=copro2015 to submit your paper. *************************************************************************** IMPORTANT DATES: July 3, 2015: submission deadline July 20, 2015: notification of acceptance July 31, 2015: early registration deadline ParCo conference September 1, 2015: mini-symposium September 4, 2015: end of ParCo conference October 31, 2015: submission of camera-ready papers for ParCo proceedings *************************************************************************** PROGRAMME COMMITTEE: tba *************************************************************************** MINI-SYMPOSIUM CHAIRS Clemens Grelck University of Amsterdam Informatics Institute Science Park 904 1098XH Amsterdam Netherlands c.grelck(a)uva.nl http://staff.fnwi.uva.nl/c.u.grelck Alex Shafarenko University of Hertfordshire School of Computer Science College Lane Hatfield, AL10 9AB United Kingdom a.shafarenko(a)herts.ac.uk http://homepages.herts.ac.uk/~comqas/ *************************************************************************** -- ---------------------------------------------------------------------- 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 staff.fnwi.uva.nl/c.u.grelck ----------------------------------------------------------------------

1 0

APLAS 2015: Final Call for Papers
by Xinyu Feng 27 May '15

27 May '15

********************************************************************* APLAS 2015, Call for Papers 13th Asian Symposium on Programming Languages and Systems Pohang, Korea, November 30 - December 2, 2015 < http://pl.postech.ac.kr/aplas2015/> ********************************************************************* *IMPORTANT DATES* Submission deadline: June 5, 2015 Author notification: August 17, 2015 Final version: September 7, 2015 Conference: November 30 - December 2, 2015 *INVITED SPEAKERS* Peter O'Hearn, Facebook Sukyoung Ryu, KAIST Eran Yahav, Technion Hongseok Yang, University of Oxford *ABOUT* 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 Singapore ('14), 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 program chair prior to submission. *SUBMISSION* We solicit submissions in two categories: a) 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. b) 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://easychair.org/conferences/?conf=aplas2015> using EasyChair. 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. *ORGANIZERS* General Chair: Sungwoo Park (Pohang Univ. of Science and Technology (POSTECH), Korea) Program Chair: Xinyu Feng (Univ. of Science and Technology of China, China) Program Committee: James Brotherston (Univ. College London, UK) James Cheney (Univ. of Edinburgh, UK) Huimin Cui (Institute of Computing Technology, CAS, China) Mike Dodds (Univ. of York, UK) Xinyu Feng (Univ. of Science and Technology of China, China) Nate Foster (Cornell Univ., USA) Alexey Gotsman (IMDEA Software Institute, Spain) Aquinas Hobor (School of Computing, National Univ. of Singapore / Yale-NUS College) Chung-Kil Hur (Seoul National Univ., Korea) Radha Jagadeesan (DePaul Univ., USA) Annie Liu (Stony Brook Univ., USA) Andreas Lochbihler (ETH Zurich, Switzerland) Santosh Nagarakatte (Rutgers Univ., USA) David A. Naumann (Stevens Inst. of Tech., USA) Michael Norrish (NICTA, Australia) Hakjoo Oh (Korea Univ., Korea) Murali Krishna Ramanathan (Indian Institute of Science, India) Xavier Rival (CNRS / ENS / INRIA, France) Kohei Suenaga (Kyoto Univ., Japan) Gang Tan (Lehigh Univ., USA) Alwen Tiu (Nanyang Technological University, Singapore) Martin Vechev (ETH Zurich, Switzerland) Bow-Yaw Wang (Academia Sinica, Taiwan) Nobuko Yoshida (Imperial College London, UK) Lijun Zhang (Institute of Software, CAS, China)

1 0