- Haskell - Haskell.org

[ANN] HyperHaskell -- the strongly hyped Haskell interpreter
by Heinrich Apfelmus 17 Oct '16

17 Oct '16

Dear all, it is my pleasure to announce the first release of HyperHaskell the strongly hyped Haskell interpreter version 0.1.0.0 ! It is open source and available on Github, where you can also find screenshots and further information about installation: https://github.com/HeinrichApfelmus/hyper-haskell HyperHaskell is a graphical Haskell interpreter (REPL), not unlike GHCi, but hopefully more awesome. You use worksheets to enter expressions and evaluate them. Results are displayed using HTML. HyperHaskell is cross-platform and should run on Linux, Mac and Windows. That said, the binary distribution is currently only built for Mac. Help is appreciated! This is a very first release. Basic features are working, but there is plenty of room to grow. Please send me any feedback, suggestions, bug reports, contributions ... that you might have! The long term goal of HyperHaskell is to break the boundaries between textual programming ("verbal language") and visual input ("nonverbal language"). This includes graphical output, but also editing code while it's running ("live coding", planned) and interactive output (e.g. "tangible values", planned). This territory is still largely uncharted from a purely functional perspective, probably due to a lack of easily installed graphical facilities. It is my hope that HyperHaskell may provide a common ground for exploration and experimentation in this direction. Related projects that I know of: * IHaskell - https://github.com/gibiansky/IHaskell * Haskell for Mac - http://haskellformac.com/ Unfortunately, the first has a reputation for being difficult to install, and the second is partially proprietary and Mac only. Hence this new effort. Best regards, Heinrich Apfelmus -- http://apfelmus.nfshost.com

1 0

<Programming> 2017: Call for papers
by Tim Molderez 17 Oct '16

17 Oct '16

<Programming> 2017 : The Art, Science, and Engineering of Programming April 3-6, 2017, Brussels, Belgium http://2017.programming-conference.org We started a new conference and journal focused on everything to do with programming, including the experience of programming. We call the conference <Programming> for short. Paper submissions and publications are handled by the journal. Accepted papers must be presented at the conference. ******************************************************** CALL FOR PAPERS ******************************************************** <Programming> 2017 accept scholarly papers including essays that advance the knowledge of programming. Almost anything about programming is in scope, but in each case there should be a clear relevance to the act and experience of programming. PAPER SUBMISSIONS: December 1, 2016 We accept submissions covering several areas of expertise. These areas include, but are not limited to: • General-purpose programming • Distributed systems programming • Parallel and multi-core programming • Graphics and GPU programming • Security programming • User interface programming • Database programming • Visual and live programming • Data mining and machine learning programming • Interpreters, virtual machines and compilers • Modularity and separation of concerns • Model-based development • Metaprogramming and reflection • Testing and debugging • Program verification • Programming education • Programming environments • Social coding ******************************************************** CALL FOR WORKSHOP PROPOSALS ******************************************************** To build a community and to foster an environment where participants can exchange ideas and experiences related to practical software development, ‹Programming› will host a number of workshops, during the days before the main conference. The workshops will provide a collaborative forum to exchange recent and/or preliminary results, to conduct intensive discussions on a particular topic, or to coordinate efforts between representatives of a technical community. They are intended as a forum for lively discussion of innovative ideas, recent progress, or practical experience on programming and applied software development in general for specific aspects, specific problems, or domain-specific needs. We also encourage practical, hands-on workshops in which participants actually experience one or several aspects of practical software development. WORKSHOP PROPOSAL SUBMISSIONS: November 15, 2016 The duration of workshops is in general one day, but we encourage the submission of half-day workshop proposals on focused topics as well. In exceptional situations, e.g., for workshops that involve actual practice of programming-related activities, workshop organizers can request a 2 day workshop slot. If desired, the workshop proceedings can be published in the ACM Digital Library. ******************************************************** IMPORTANT DATES ******************************************************** Research paper submissions: December 1, 2016 Research paper first notifications: February 1, 2017 Research paper final notifications: March 7, 2017 Workshop proposals: November 15, 2016 PX 2017 workshop submissions: January 15, 2017 Poster abstract submissions: January 16, 2017 ******************************************************** ORGANIZATION ******************************************************** General Chair: Theo D'Hondt, Vrije Universiteit Brussel Local Organizing Chair: Wolfgang De Meuter, Vrije Universiteit Brussel Program Chair: Crista V. Lopes, University of California, Irvine Organizing Committee: Jörg Kienzle (workshops), McGill University Hidehiko Masuhara (demos), Tokyo Institute of Technology Ralf Lämmel (contest), University of Koblenz-Landau Jennifer Sartor (posters), Vrije Universiteit Brussel Tobias Pape (web technology), HPI - University of Potsdam Tim Molderez (publicity), Vrije Universiteit Brussel Program Committee: Andrew Black, Portland State University Shigeru Chiba, University of Tokyo Yvonne Coady, University of Victoria Robby Findler, Northwestern University Lidia Fuentes, Universidad de Málaga Richard Gabriel, IBM Research Elisa Gonzalez Boix, Vrije Universiteit Brussel Jeff Gray, University of Alabama Robert Hirschfeld, HPI - University of Potsdam Roberto Ierusalimschy, Pontifícia Universidade Católica do Rio de Janeiro Jörg Kienzle, McGill University Hidehiko Masuhara, Tokyo Institute of Technology Sasa Misailovic, University of Illinois at Urbana-Champaign Guido Salvaneschi, Technische Universität Darmstadt Mario Südholt, Ecole des mines de Nantes Jurgen Vinju, Centrum Wiskunde & Informatica Tijs van der Storm, Centrum Wiskunde & Informatica ******************************************************** <Programming> 2017 is kindly supported by: ACM in-cooperation ACM SIGPLAN in-cooperation ACM SIGSOFT in-cooperation AOSA Vrije Universiteit Brussel ******************************************************** For more information, visit http://2017.programming-conference.org

1 0

[ANN] xls-0.1.0 Parse MS Excel spreadsheets
by Harendra Kumar 17 Oct '16

17 Oct '16

I have uploaded the xls package [1] on Hackage [2]. It works pretty well for the basic use case of parsing all sheets in a single stream of rows composed of cells. The cell values are presented as plain strings i.e. no data type based interpretation. Such stuff can be added if required, it is supported by the underlying C library (libxls). One thing that I would like to have added to the API is a way to list all sheets and select sheets to parse in a workbook. It should be pretty easy to do if anyone wants to do it. 1. https://github.com/harendra-kumar/xls 2. https://hackage.haskell.org/package/xls -harendra

1 0

Call for Scholarship Applications: PLMW at POPL 2017 - Deadline October 23
by Dimitrios Vytiniotis 14 Oct '16

14 Oct '16

[Apologies for multiple copies, scholarship application deadline in less than 10 days] >>>>>>>>>> CALL FOR SCHOLARSHIP APPLICATIONS (Deadline: October 23!) ACM SIGPLAN Programming Languages Mentoring Workshop, Paris, France Tuesday, January 17, 2017 Co-located with POPL 2017 PLMW web page: http://conf.researchr.org/track/POPL-2017/PLMW-2017 After the resounding success of the first five Programming Languages Mentoring Workshops at POPL 2012-2016 we proudly announce the 2017 SIGPLAN Programming Languages Mentoring Workshop (PLMW), co-located with POPL 2017 and organised by Loris D'Antoni, Eva Darulova, Alexandra Silva, and Dimitrios Vytiniotis. The purpose of this mentoring workshop is to encourage graduate students and senior undergraduate students to pursue careers in programming language research. This workshop will bring together world leaders in programming languages research and teaching from academia and industry to provide (a) technical sessions on cutting-edge PL research and (b) mentoring sessions on how to prepare for a research career. The workshop will engage students in a process of imagining how they might contribute to our research community. We especially encourage women, underrepresented minority students, and people with disabilities to attend PLMW. This workshop is part of the activities surrounding POPL, the Symposium on Principles of Programming Languages, and takes place the day before the main conference. One goal of the workshop is to make the POPL conference more accessible to newcomers. We hope that participants will stay through the entire conference. A number of sponsors (listed below) have generously donated scholarship funds for qualified students to attend PLMW. These scholarships should cover reasonable expenses (airfare, hotel, and registration fees) for attendance at both the workshop and the POPL conference. Students attending this year will get one year free student membership of SIGPLAN, unless they prefer to opt out during their application. The workshop registration is open to all. Students with alternative sources of funding are welcome as well. APPLICATION for PLMW scholarship: The scholarship application can be accessed from the workshop web site. http://conf.researchr.org/track/POPL-2017/PLMW-2017#Scholarship-applications The deadline for full consideration of funding is SUNDAY, OCTOBER 23. Selected participants will be notified by NOVEMBER 20 or earlier. Confirmed sponsors so far: NSF ACM SIGPLAN Amazon An Anonymous Donor Jane Street Capital Microsoft

1 0

[ANN] [Eurocast 2017] Call for papers
by Laura M. Castro 11 Oct '16

11 Oct '16

Hello all, This year's edition of the EUROCAST International Conference, held biennially in Las Palmas de Gran Canaria (Spain), features a new workshop on "Functional concurrency and distribution". If you or someone you know are working on a project that could show the EUROCAST attendance the power of functional programming, please consider submitting a 2-page abstract before OCTOBER 31st. If there's a local user group in your area that wouldn't mind receiving a copy of this call for papers, I would be grateful if you would forward this announcement. Details about the CFP and submission are to be found at: http://eurocast2017.fulp.ulpgc.es, and the description of the workshop is as follows: "The prominence of concurrent implementations and distributed deployments of software systems in all business areas is undeniable, and with the formulation of the 'Internet of Things' it is reaching massive dimensions. At the same time, the functional paradigm is gaining specific weight, and languages such as Erlang, Haskell, Elixir, Scala/Akka, Clojure... are increasing their popularity enormously. This situation provides new opportunities to evaluate the implementation of concurrent and distributed systems at a very large scale, and suggest new problems for the research community to solve. We encourage submissions related to actor-model concurrency, coming from any member of the functional programming community. We encourage submissions with academic significance and research relevance, but also with an industrial background, such as experience reports. We aim attendees to engage in presentations and discussions that will expose them to recent developments on research problems, new techniques and tools, novel applications, and lessons from users' experiences, as well as common areas relevant to the practice of functional concurrent and distributed programming." Thanks for your time and apologies if you receive this more than once! -- Laura M. Castro Universidade da Coruña http://www.madsgroup.org/staff/laura

1 0

Off the Beaten Track 2017: Call for Talk Proposals
by Robert Atkey 10 Oct '16

10 Oct '16

# Call for Talk Proposals: Off the Beaten Track 2017 http://conf.researchr.org/track/POPL-2017/OBT-2017 21st January 2017 (co-located with POPL 2017, Paris, France) ## Background Programming language researchers have the principles, tools, algorithms and abstractions to solve all kinds of problems, in all areas of computer science. However, identifying and evaluating new problems, particularly those that lie outside the typical core PL problems we all know and love, can be a significant challenge. This workshop’s goal is to identify and discuss problems that do not often show up in our top conferences, but where programming language research can make a substantial impact. We hope fora like this will increase the diversity of problems that are studied by PL researchers and thus increase our community’s impact on the world. While many workshops associated with POPL have become more like mini-conferences themselves, this is an anti-goal for OBT. The workshop will be informal and structured to encourage discussion. We are at least as interested in problems as in solutions. ## Scope A good submission is one that outlines a new problem or an interesting, underrepresented problem domain. Good submissions may also remind the PL community of problems that were once in vogue but have not recently been seen in top PL conferences. Good submissions do not need to propose complete or even partial solutions, though there should be some reason to believe that programming languages researchers have the tools necessary to search for solutions in the area at hand. Submissions that seem likely to stimulate discussion about the direction of programming language research are encouraged. Use your imagination. It's hard to imagine how a paper that discusses programming languages could be considered out of scope. If in doubt, ask the program chair. ## Previous OBTs 2017 marks the sixth year of OBT and its co-location with POPL. The previous five workshops were: - OBT 2016, St. Petersburg, USA - OBT 2015, Mumbai, India - OBT 2014, San Diego, USA - OBT 2013, Rome, Italy - OBT 2012, Philadelphia, USA ## Important Dates * 10th November 2016: Submission deadline * 8th December 2016: Notification * (18th December 2016: POPL early registration) * 21st January 2017: Workshop ## Submission Please submit your talk proposal via EasyChair: https://easychair.org/conferences/?conf=obt2017 All submissions should be in PDF format, two pages or less, in at least 10pt font, printable on A4 and on US Letter paper. Authors are welcome to include links to multimedia content such as YouTube videos or online demos. Reviewers may or may not view linked documents; it is up to authors to convince the reviewers to do so. For each accepted submission, one of the authors will give a talk at the workshop. The length of the talk will depend on the submissions received and how the program committee decides to assemble the program. Reviewing of submissions will be very light. Authors should not expect a detailed analysis of their submission by the program committee. Accepted submissions will be posted as is on this web site. By submitting a document, you agree that if it is accepted, it may be posted and you agree that one of the co-authors will attend the workshop and give a talk there. There will be no revision process and no formal publication. ## Organisers General chair: - Lindsey Kuper, Intel Labs, USA Programme chair: - Robert Atkey, University of Strathclyde, UK Programme committee: - Ekaterina Komendantskaya, Heriot-Watt University, UK - Chris Martens, North Carolina State University, USA - Tomas Petricek, University of Cambridge, UK - Wren Romano, Google Inc., USA - Mary Sheeran, Chalmers University of Technology, Sweden - KC Sivaramakrishnan, University of Cambridge, UK - Wouter Swierstra, Utrecht University, Netherlands

1 0

Journal of Functional Programming - Call for PhD Abstracts
by Graham Hutton 10 Oct '16

10 Oct '16

If you or one of your students recently completed a PhD in the area of functional programming, please submit the dissertation abstract for publication in JFP: simple process, no refereeing, deadline 31st October 2016. Many thanks, Graham ============================================================ CALL FOR PHD ABSTRACTS Journal of Functional Programming Deadline: 31st October 2016 http://tinyurl.com/jfp-phd-abstracts ============================================================ PREAMBLE: Many students complete PhDs in functional programming each year. As a service to the community, the Journal of Functional Programming publishes the abstracts from PhD dissertations completed during the previous year. The abstracts are made freely available on the JFP website, i.e. not behind any paywall. They do not require any transfer of copyright, merely a license from the author. A dissertation is eligible for inclusion if parts of it have or could have appeared in JFP, that is, if it is in the general area of functional programming. The abstracts are not reviewed. Please submit dissertation abstracts according to the instructions below. We welcome submissions from both the PhD student and PhD advisor/supervisor although we encourage them to coordinate. ============================================================ SUBMISSION: Please submit the following information to Graham Hutton <graham.hutton(a)nottingham.ac.uk> by 31st October 2016. o Dissertation title: (including any subtitle) o Student: (full name) o Awarding institution: (full name and country) o Date of PhD award: (month and year; depending on the institution, this may be the date of the viva, corrections being approved, graduation ceremony, or otherwise) o Advisor/supervisor: (full names) o Dissertation URL: (please provide a permanently accessible link to the dissertation if you have one, such as to an institutional repository or other public archive; links to personal web pages should be considered a last resort) o Dissertation abstract: (plain text, maximum 1000 words; you may use \emph{...} for emphasis, but we prefer no other markup or formatting in the abstract, but do get in touch if this causes significant problems) Please do not submit a copy of the dissertation itself, as this is not required. JFP reserves the right to decline to publish abstracts that are not deemed appropriate. ============================================================ PHD ABSTRACT EDITOR: Graham Hutton School of Computer Science University of Nottingham Nottingham NG8 1BB United Kingdom ============================================================ 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

Call for Contributions - Haskell Communities and Activities Report, November 2016 edition (31th edition)
by Mihai Maruseac 09 Oct '16

09 Oct '16

Dear all, We would like to collect contributions for the 31th edition of the ============================================================ Haskell Communities & Activities Report http://www.haskell.org/haskellwiki/Haskell_Communities_and_Activities_Report Submission deadline: 30 October 2016 (please send your contributions to hcar at haskell.org, in plain text or LaTeX format, both are equally accepted) ============================================================ This is the short story: * If you are working on any project that is in some way related to Haskell, please write a short entry and submit it. Even if the project is very small or unfinished or you think it is not important enough --- please reconsider and submit an entry anyway! * If you are interested in an existing project related to Haskell that has not previously been mentioned in the HCAR, please tell us, so that we can contact the project leaders and ask them to submit an entry. * If you are working on a project that is looking for contributors, please write a short entry and submit it, mentioning that your are looking for contributors. * Feel free to pass on this call for contributions to others that might be interested. More detailed information: The Haskell Communities & Activities Report is a bi-annual overview of the state of Haskell as well as Haskell-related projects over the last, and possibly the upcoming six months. If you have only recently been exposed to Haskell, it might be a good idea to browse the previous edition --- you will find interesting projects described as well as several starting points and links that may provide answers to many questions. Contributions will be collected until the submission deadline. They will then be compiled into a coherent report that is published online as soon as it is ready. As always, this is a great opportunity to update your webpages, make new releases, announce or even start new projects, or to talk about developments you want every Haskeller to know about! Looking forward to your contributions, Mihai Maruseac FAQ: Q: What format should I write in? A: The usual format is a LaTeX source file, adhering to the template that is available at: http://haskell.org/communities/11-2016/template.tex There is also a LaTeX style file at http://haskell.org/communities/11-2016/hcar.sty that you can use to preview your entry. If you do not know LaTeX or don't want to use it or don't have time to translate your entry into it, then please use plain text, it is better to have an entry in plain-text which we will translate than not have it at all. If you modify an old entry that you have written for an earlier edition of the report, you should soon receive your old entry as a template (provided we have your valid email address). Please modify that template, rather than using your own version of the old entry as a template. Q: Can I include Haskell code? A: Yes. Please use lhs2tex syntax (http://www.andres-loeh.de/lhs2tex/) The report is compiled in mode polycode.fmt. Q: Can I include images? A: Yes, you are even encouraged to do so. Please use .jpg or .png format, then. PNG is preferred for simplicity. Q: Should I send files in .zip archives or similar? A: No, plain file attachments are the way. Q: How much should I write? A: Authors are asked to limit entries to about one column of text. A general introduction is helpful. Apart from that, you should focus on recent or upcoming developments. Pointers to online content can be given for more comprehensive or "historic" overviews of a project. Images do not count towards the length limit, so you may want to use this opportunity to pep up entries. There is no minimum length of an entry! The report aims for being as complete as possible, so please consider writing an entry, even if it is only a few lines long. Q: Which topics are relevant? A: All topics which are related to Haskell in some way are relevant. We usually had reports from users of Haskell (private, academic, or commercial), from authors or contributors to projects related to Haskell, from people working on the Haskell language, libraries, on language extensions or variants. We also like reports about distributions of Haskell software, Haskell infrastructure, books and tutorials on Haskell. Reports on past and upcoming events related to Haskell are also relevant. Finally, there might be new topics we do not even think about. As a rule of thumb: if in doubt, then it probably is relevant and has a place in the HCAR. You can also simply ask us. Q: Is unfinished work relevant? Are ideas for projects relevant? A: Yes! You can use the HCAR to talk about projects you are currently working on. You can use it to look for other developers that might help you. You can use HCAR to ask for more contributors to your project, it is a good way to gain visibility and traction. Q: If I do not update my entry, but want to keep it in the report, what should I do? A: Tell us that there are no changes. The old entry will typically be reused in this case, but it might be dropped if it is older than a year, to give more room and more attention to projects that change a lot. Do not resend complete entries if you have not changed them. Q: Will I get confirmation if I send an entry? How do I know whether my email has even reached its destination, and not ended up in a spam folder? A: Prior to publication of the final report, we will send a draft to all contributors, for possible corrections. So if you do not hear from us within two weeks after the deadline, it is safer to send another mail and check whether your first one was received. -- 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

ETAPS 2017 final call for papers
by Tarmo Uustalu 07 Oct '16

07 Oct '16

****************************************************************** JOINT CALL FOR PAPERS 20th European Joint Conferences on Theory And Practice of Software ETAPS 2017 Uppsala, Sweden, 22-29 April 2017 http://www.etaps.org/2017 ****************************************************************** -- ABOUT ETAPS -- ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of five main annual conferences, accompanied by satellite workshops. ETAPS 2017 is the twentieth event in the series. -- MAIN CONFERENCES (24-28 April) -- * ESOP: European Symposium on Programming (PC chair Hongseok Yang, University of Oxford, UK) * FASE: Fundamental Approaches to Software Engineering (PC chairs Marieke Huisman, Universiteit Twente, The Netherlands, and Julia Rubin, University of British Columbia, Canada) * FoSSaCS: Foundations of Software Science and Computation Structures (PC chairs Javier Esparza, Technische Universität München, Germany, Andrzej Murawski, University of Warwick, UK) * POST: Principles of Security and Trust (PC chairs Matteo Maffei, Universität des Saarlandes, Germany, Mark D. Ryan, University of Birmingham, UK) * TACAS: Tools and Algorithms for the Construction and Analysis of Systems (PC chairs Axel Legay, INRIA Rennes, France, and Tiziana Margaria, LERO, Ireland) TACAS '17 hosts the 6th Competition on Software Verification (SV-COMP). -- INVITED SPEAKERS -- * Unifying speakers: Michael Ernst (University of Washington, USA) Kim G. Larsen (Aalborg University, DK) * FoSSaCS invited speaker: Joel Ouaknine (University of Oxford, UK) * TACAS invited speaker: Dino Distefano (Facebook and Queen Mary University of London, UK) -- IMPORTANT DATES -- * Abstracts due (ESOP, FASE, FoSSaCS, TACAS): 14 October 2016 * Papers due: 21 October 2016 * Rebuttal (ESOP and FoSSaCS only): 7-9 December 2016 * Notification: 22 December 2016 * Camera-ready versions due: 20 January 2017 -- SUBMISSION INSTRUCTIONS -- ETAPS conferences accept two types of contributions: research papers and tool demonstration papers. Both types will appear in the proceedings and have presentations during the conference. ESOP and FoSSaCS accept only research papers. A condition of submission is that, if the submission is accepted, one of the authors attends the conference to give the presentation. Submitted papers must be in English presenting original research. They must be unpublished and not submitted for publication elsewhere (this does not apply to abstracts). In particular, simultaneous submission of the same contribution to multiple ETAPS conferences is forbidden. The proceedings will be published in the Advanced Research in Computing and Software Science (ARCoSS) subline of Springer's Lecture Notes in Computer Science series. Papers must follow the formatting guidelines specified by Springer at the URL http://www.springer.de/comp/lncs/authors.html and be submitted electronically in pdf through the EasyChair author interface of the respective conference. Submissions not adhering to the specified format and length may be rejected immediately. FASE will use a light-weight double-blind review process (see http://www.etaps.org/2017/fase) - Research papers FASE, FoSSaCS and TACAS have a page limit of 15 pp (excluding bibliography of max 2 pp) for research papers, whereas POST allows at most 20 pp (excluding bibliography of max 2 pp) and ESOP 25 pp (excluding bibliography of max 2 pp). Additional material intended for the referees but not for publication in the final version - for example, details of proofs - may be placed in a clearly marked appendix that is not included in the page limit. ETAPS referees are at liberty to ignore appendices and papers must be understandable without them. In addition to regular research papers, TACAS solicits also case study papers (at most 15 pp, excluding bibliography of max 2 pp). Both TACAS and FASE solicit also regular tool papers (at most 15 pp, excluding bibliography of max 2 pp). The rationale of a separate page limit for the bibliography is to remove the possibility to win space for the body of a paper by cutting the bibliography, a practise that has a negative effect on our competitiveness as a community. - Tool demonstration papers Submissions should consist of two parts: * The first part, at most 4 pages, should describe the tool presented. Please include the URL of the tool (if available) and provide information that illustrates the maturity and robustness of the tool. (This part will be included in the proceedings.) * The second part, at most 6 pages, should explain how the demonstration will be carried out and what it will show, including screen dumps and examples. (This part will be not be included in the proceedings, but will be evaluated. ESOP and FoSSaCS do not accept tool demonstration papers. TACAS has a page limit of 6 pages for tool demonstrations. -- SATELLITE EVENTS (22-23 April, 29 April) -- The following satellite workshops will take place before and after the main conferences: BX, CREST, DICE-FOPARA, FESCA, GALOP, GaM, HotSpot, LiVe, MARS, MBT, PLACES, QAPL, SannellaFest, SNR, SynCoP-PV, VerifyThis, VPT. -- HOST CITY -- Uppsala city holds a rich history, having for long periods been the political, religious and academic centre of Sweden. Uppsala University is over 500 years old and ranked among the top 100 in the World and has hosted many great scientists over the years, for instance Carl von Linné, Anders Celsius and Anders Jonas Ångström. The proximity to the capital of Sweden, Stockholm, provides additional benefits as a potential site for arranging both pre- and post congress tours, as well as for excursions or tourism. -- HOST INSTITUTION -- ETAPS 2017 is hosted by the Department of Information Technology, Uppsala University. -- ORGANIZERS Parosh Abdulla (General chair), Mohamed Faouzi Atig, Andreina Francisco, Kaj Lampka, Philipp Rümmer, Konstantinos Sagonas, Björn Victor, Wang Yi, Tjark Weber, Yunyun Zhu -- FURTHER INFORMATION -- Please do not hesitate to contact the organizers at parosh.abdulla(a)it.uu.se, mohamed_faouzi.atig(a)it.uu.se

1 0

Reminder: Workshop on Coalgebra, Horn Clause Logic, and Types
by František Farka 06 Oct '16

06 Oct '16

Reminder: Call for Papers, Presentations and Participation Workshop on Coalgebra, Horn Clause Logic Programming and Types 28-29 November 2016, Edinburgh, UK https://ff32.host.cs.st-andrews.ac.uk/coalpty16/ Abstract submission: 15 October, 2016 Registration deadline: 1 November, 2016 ==================================================== Objectives and scope ------------------- The workshop marks the end of the EPSRC Grant Coalgebraic Logic Programming for Type Inference, by K. Komendantskaya and J. Power and will consist of two parts: Part 1 - Semantics: Lawvere theories and Coalgebra in Logic and Functional Programming Part 2 - Programming languages: Horn Clause Logic for Type Inference in Functional Languages and Beyond We invite all colleagues working in related areas to present and share their results. We envisage a friendly meeting with many stimulating discussions, and therefore welcome presentations of already published research as well as novel results. Authors of original contributions will be invited to submit their papers to EPTCS post-proceedings. We especially encourage early career researchers to present and participate. Venue ----- The workshop will be held at the International Center for Mathematical Sciences, in Edinburgh city center, just 2 minutes walk from the Informatics Forum. Invited speakers and tutorials ------------------------------ Theory: * Logic programming: laxness and saturation John Power, University of Bath, UK * Comodels and interaction Tarmo Uustalu, Tallinn University of Technology, Estonia. * Refinement Types and Higher-Order Constrained Horn Clauses Steven Ramsay and Luke Ong, University of Oxford, UK Applications and Implementations: * Abstract compilation for type analysis of OO languages Davide Ancona, University of Genoa, Italy * Classes for the masses Claudio Russo, Microsoft Research Cambridge, UK * Relational specification of type systems using Logic Programming Ki Yung Ahn, Nanyang Technological University, Singapore Proceedings publication ----------------------- Presentations: We invite submission of 2-page extended abstracts via Easychair, by the 15th October 2016. These will be subject to light review process. Preliminary proceedings will be made available at the conference in electronic form. Post-proceedings: Authors presenting original work will be invited to submit full papers to the post-proceedings of the workshop. The post-proceedings volume will be published in Electronic Proceedings in Theoretical Computer Science and peer-reviewed according to EPTCS standards by the PC members. Important dates --------------- Extended Abstract Submission: 15 October, 2016 Author notification: 25 October, 2016 Workshop registration: 1 November, 2016 Workshop: 28–29 November, 2016 EPTCS proceedings invitations: 15 December, 2016 EPTCS final version submission: 30 January, 2017 Programme committee ------------------- Ki Yung Ahn, Nanyang Technological University, Singapore Davide Ancona, University of Genoa, Italy Filippo Bonchi, CNRS, ENS de Lyon, France Iavor Diatchki, Galois, Inc, USA Peng Fu, Heriot-Watt University, Edinburgh, UK Neil Ghani, University of Strathclyde, UK Patricia Johann, Appalachian State University, USA Ekaterina Komendantskaya, Heriot-Watt University, Edinburgh, UK Clemens Kupke, University of Strathclyde, UK J. Garrett Morris, University of Edinburgh, UK Fredrik Nordvall Forsberg, University of Strathclyde, UK John Power, University of Bath, UK Claudio Russo, Microsoft Research Cambridge, UK Martin Schmidt, DHBW Stuttgart and Osnabrück University , Germany Stephan Schulz, DHBW Stuttgart, Germany Aaron Stump, The University of Iowa, USA Niki Vazou, University of California, San Diego, USA Joe Wells, Heriot-Watt University, Edinburgh, UK Fabio Zanasi, Radboud University of Nijmegen, The Netherlands Workshop chairs -------- Ekaterina Komendantskaya, Heriot-Watt University, UK John Power, University of Bath, UK Publicity chair --------------- František Farka, University of Dundee, UK and University of St Andrews, UK -- František Farka

1 0