From mihai.maruseac at gmail.com Fri Oct 2 14:11:42 2015 From: mihai.maruseac at gmail.com (Mihai Maruseac) Date: Fri, 2 Oct 2015 10:11:42 -0400 Subject: [Haskell] Call for Contributions - Haskell Communities and Activities Report, November 2015 edition (29th edition) Message-ID: Dear all, We would like to collect contributions for the 28th edition of the ============================================================ Haskell Communities & Activities Report http://www.haskell.org/haskellwiki/Haskell_Communities_and_Activities_Report Submission deadline: 30 October 2015 (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. The final report might have an index with such projects, provided we get enough such submissions. * 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 and Alejandro Serrano Mena 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/05-2015/template.tex There is also a LaTeX style file at http://haskell.org/communities/05-2015/hcar.sty that you can use to preview your entry. If you do not know LaTeX, then use plain text. 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. _However_, if you don't want/have time to format the entry for LaTeX, you can submit it in any other format possible and we will be happy to convert it for the final report. 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 being preferred for simplicity. Q: Should I send files in .zip archives or similar? A: No, plain file attachements 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 From w.s.swierstra at uu.nl Mon Oct 5 07:54:52 2015 From: w.s.swierstra at uu.nl (Wouter Swierstra) Date: Mon, 5 Oct 2015 09:54:52 +0200 Subject: [Haskell] CFP: Special issue of JFP on dependently typed programming Message-ID: ----------------------------------------------------------------------------- CALL FOR PAPERS JFP Special Issue on Dependently typed Programming Submission Deadline: January 11th, 2016 Expected Publication Date: Late 2016 ----------------------------------------------------------------------------- # Scope Over the last years there has been sustained interest in functional programming languages with dependent types. The foundations of dependently typed programming can be traced back to work by Martin-L?f from the 1970s. More recently, the increased popularity of systems such as Agda, Coq, Idris, and many others, reflects the growing momentum in this research area. The Journal of Functional Programming will devote a special issue to programming with dependent types. The purpose of this special issue is to present the state of the art in dependently typed programming languages and their applications. We would like to invite authors to submit papers on all topics relating to programming languages with dependent types, including theory, applications, and language design and implementation. We encourage the submission of consolidated, condensed and extended work based on prior conference and workshop publications. # Submission Details Manuscripts should be submitted in PDF format through the Journal of Functional Programming's website: https://mc.manuscriptcentral.com/cup/jfp_submit Further submission and formatting details can be found on the JFP website. Please submit your paper under the 'DTP Special issue' category. Guest Editors --------------------------------------------------------------------------------- Peter Dybjer peterd at chalmers.se Chalmers University of Technology Sweden Wouter Swierstra w.s.swierstra at uu.nl Universiteit Utrecht The Netherlands --------------------------------------------------------------------------------- -------------- next part -------------- An HTML attachment was scrubbed... URL: From Graham.Hutton at nottingham.ac.uk Tue Oct 6 15:07:11 2015 From: Graham.Hutton at nottingham.ac.uk (Graham Hutton) Date: Tue, 6 Oct 2015 15:07:11 +0000 Subject: [Haskell] Journal of Functional Programming - Call for PhD Abstracts Message-ID: <9F43FEF0-86BD-432B-BD1B-657B48B517BD@exmail.nottingham.ac.uk> 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 2015. Many thanks, Graham Hutton ============================================================ CALL FOR PHD ABSTRACTS Journal of Functional Programming Deadline: 31st October 2015 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 by 31st October 2015. 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. From hjgtuyl at chello.nl Thu Oct 8 13:30:45 2015 From: hjgtuyl at chello.nl (Henk-Jan van Tuyl) Date: Thu, 08 Oct 2015 15:30:45 +0200 Subject: [Haskell] ANN: wxInstall Abriline and wxHaskell 0.92.1.0 Message-ID: L.S., I am happy to announce the installation packages for wxHaskell on Windows, and a new version of wxHaskell: 0.92.1.0 So far, the installation of wxHaskell on Windows has been difficult, but now it is just a matter of downloading an installation package[0][1], unzipping it to the directory where you want to have it installed, and clicking on Install.bat. A detailed description can be found at the wxHaskell-for-Windows homepage[2]. The current configuration of the installation packages (one package for 32 bit and one for 64 bit systems), is called Abriline and contains compiled wxWidgets 3.0.2 and all further necessary DLLs. The installation procedure automatically installs the latest version of wxHaskell and can be used for several of the most recent versions of GHC. In case you are wondering where the name Abriline comes from, it is generated by a girls name generator I wrote (in Haskell of course); I selected this name because a search on Internet seems to indicate that the name is brand new. The new version of wxHaskell is released because it solves a bug that could crash an application. What is wxHaskell? ------------------ wxHaskell[3] is a portable and native GUI library for Haskell. The goal of the project is to provide an industrial strength GUI library for Haskell, but without the burden of developing (and maintaining) one ourselves. wxHaskell is therefore built on top of wxWidgets ? a comprehensive C++ library that is portable across all major GUI platforms; including GTK, Windows, X11, and MacOS X. Furthermore, it is a mature library (in development since 1992) that supports a wide range of widgets with the native look-and-feel. Links ----- See the homepage of wxHaskell for more information: https://wiki.haskell.org/WxHaskell The packages are: - wxc https://hackage.haskell.org/package/wxc - wxdirect https://hackage.haskell.org/package/wxdirect - wxcore https://hackage.haskell.org/package/wxcore - wx https://hackage.haskell.org/package/wx Regards, Henk-Jan van Tuyl [0] http://sourceforge.net/projects/wxhaskell/files/wxInstall/wxInstall-Abriline-32-0.1.zip/download [1] http://sourceforge.net/projects/wxhaskell/files/wxInstall/wxInstall-Abriline-64-0.1.zip/download [2] https://wiki.haskell.org/WxHaskell/Windows#Installing_the_easy_way [3] https://wiki.haskell.org/WxHaskell -- Folding at home What if you could share your unused computer power to help find a cure? In just 5 minutes you can join the world's biggest networked computer and get us closer sooner. Watch the video. http://folding.stanford.edu/ http://Van.Tuyl.eu/ http://members.chello.nl/hjgtuyl/tourdemonad.html Haskell programming -- From chak at justtesting.org Fri Oct 9 00:21:42 2015 From: chak at justtesting.org (Manuel M T Chakravarty) Date: Fri, 9 Oct 2015 11:21:42 +1100 Subject: [Haskell] =?utf-8?q?Learning_Haskell_=E2=80=94_a_new_tutorial?= Message-ID: For those getting started with Haskell, you might like to have a look at our new Haskell tutorial ?Learning Haskell?: http://learn.hfm.io/ It features a mix of text and screencasts and will be extended over time. There is a bit on the background at http://blog.haskellformac.com/blog/learning-haskell Enjoy! Manuel From fennell at informatik.uni-freiburg.de Fri Oct 9 16:38:29 2015 From: fennell at informatik.uni-freiburg.de (Luminous Fennell) Date: Fri, 9 Oct 2015 18:38:29 +0200 Subject: [Haskell] [APLS2015] Call for Participation: Workshop on Advances in Programming Languages and Systems Message-ID: <5617ED85.8010403@informatik.uni-freiburg.de> === Call for Participation === Workshop: Advances in Programming Languages and Systems Date: December 15 - 16, 2015 Venue: Frankfurt, Germany Website: http://proglang.informatik.uni-freiburg.de/APLS2015/ Scope: ------ Advances in programming language research increasingly influence the world of software development and big software companies recognize the importance of research areas like functional programming, static program analysis, run-time verification, automated software engineering and debugging as well as automated verification techniques. This workshop is an opportunity to interact with leading international researchers in these areas, to receive crucial impulses, and to cultivate and maintain new and old collaborations and liaisons. The talks will be given by prominent members of the programming languages research community and cover a wide area of topics inside this field. The list of talks can be found below. For further information please visit http://proglang.informatik.uni-freiburg.de/APLS2015/ The workshop is sponsored by the DFG. List of talks: -------------- Andreas Abel: Coinductive programming with copatterns Arthur Chargueraud: Machine-checked verification of amortized complexity analyses Dominique Devriese: Reasoning about Object Capabilities with Logical Relations and Effect Parametricity Sophia Drossopoulou: Reasoning about programs in the presence of code of unknown provenance Joshua Dunfield: Evaluation-order Polymorphism Matthew Fluet: Type- and Control-Flow Analysis Christian Hammer: Declassification in the Browser Atsushi Igarashi: A Sound Type System for Layer Subtyping and Dynamically Activated First-Class Layers Ranjit Jhala: Bounded Refinement Types Ivan Lanese: Reversible Concurrent Systems Anders Moeller: Message Safety in Dart Keiko Nakata: Formal Verification of a Microkernel at FireEye James Noble: On Grace Klaus Ostermann: Automatic Refunctionalization Matthew Parkinson: The Push/Pull Model of Transactions Didier Remy: Ornaments in ML Francesco Ranzato: Abstract Interpretation of Supermodular Games Ilya Sergey: Verification of Fine-Grained Concurrent Programs Jeremy Siek: A Tracing JIT for a Functional Language Wouter Swierstra: Auto in Agda Peter Thiemann: Derivatives in Program Analysis Vasco Vasconcelos: Advances in Session Types Organizers: ----------- Luminous Fennell, University of Freiburg Peter Thiemann, University of Freiburg From johannes.waldmann at htwk-leipzig.de Fri Oct 9 17:56:10 2015 From: johannes.waldmann at htwk-leipzig.de (Johannes Waldmann) Date: Fri, 9 Oct 2015 19:56:10 +0200 Subject: [Haskell] CfP: Haskell in Leipzig (Germany), 4/5 December 2015 Message-ID: <5617FFBA.5040906@htwk-leipzig.de> "Haskell in Leipzig" (Germany) workshop http://nfa.imn.htwk-leipzig.de/HAL2015/ welcomes Your contribution. Now. Wir rechnen mit Vortr?gen und Tutorien und freuen uns ?ber weitere Vorschl?ge (Musik/live coding, mini-hackathon, R?tsel, ..) * bis 2. November: Einreichung von Beitr?gen * 5. November: Bekanntgabe des Programms * bis 27. November: Anmeldung * 4. und 5. Dezember: Workshop Herzliche Gr??e, Johannes Waldmann, Leipzig. From ivan.miljenovic at gmail.com Sat Oct 10 00:58:46 2015 From: ivan.miljenovic at gmail.com (Ivan Lazar Miljenovic) Date: Sat, 10 Oct 2015 11:58:46 +1100 Subject: [Haskell] ANNOUNCE: unordered-graphs Message-ID: I have a relatively hacked-together graph library that uses unordered-containers as a backend available if anyone finds it interesting/useful: http://hackage.haskell.org/package/unordered-graphs It's primarily developed just for my own needs and thus I'm not sure how much future work I'll be doing on it, but I'm willing to accept pull requests. This library was semi-experimental in that I also tried a few things out with it: * Polymorphic node type * Fixed auto-generated edge type: this is because (node,node, label) triples (ala fgl) do not provide sufficient information to be able to distinguish between multiple edges, etc. * Type parameter to determine whether the graph is directed or undirected. * Typeclass to allow you to determine the type/output of a a match (I didn't end up actually using this, as the one time I needed to do a match I found the extra polymorphism caused problems; it also isn't comprehensive as I didn't write all that many instances.) -- Ivan Lazar Miljenovic Ivan.Miljenovic at gmail.com http://IvanMiljenovic.wordpress.com From hvr at gnu.org Sun Oct 11 21:24:34 2015 From: hvr at gnu.org (Herbert Valerio Riedel) Date: Sun, 11 Oct 2015 23:24:34 +0200 Subject: [Haskell] Final Call for Haskell Prime language committee Nominations! In-Reply-To: <87wpvh8ksg.fsf@gmail.com> (Herbert Valerio Riedel's message of "Wed, 23 Sep 2015 12:58:07 +0200") References: <87wpvh8ksg.fsf@gmail.com> Message-ID: <87y4f9jdyl.fsf@gmail.com> The submission deadline (Wed, Oct 14 23:59:59 UTC 2015) for Haskell Prime self-nominations (see also original CfN at [1]) is near! If you have already submitted a self-nomination, please make sure (if it was sent to the haskell-prime list) that it shows up in the mailing list archives at - https://mail.haskell.org/pipermail/haskell-prime/2015-September/ or - https://mail.haskell.org/pipermail/haskell-prime/2015-October/ or (if you have only sent it to me directly) that I acknowledged receiving your submission by an email reply. Regards, Herbert Valerio Riedel [1]: https://mail.haskell.org/pipermail/haskell-prime/2015-September/003936.html From atze at uu.nl Mon Oct 19 07:52:30 2015 From: atze at uu.nl (Atze Dijkstra) Date: Mon, 19 Oct 2015 09:52:30 +0200 Subject: [Haskell] [NL-FP 2016] Announcement: Dutch Functional Programming Day 2016 Message-ID: [My apologies for multiple received copies of the same message] Dear all, The next Dutch Functional Programming day (NL-FP 2016) will be held on Friday, January 8, 2016 at the Utrecht University, The Netherlands. You are invited to participate and to give a presentation. At the end of the day we will have a joint dinner. On the web page http://foswiki.cs.uu.nl/foswiki/NlFpDay2016/WebHome for the day you?ll find preliminary information which will be further filled in due time. Registration is by letting me know via email (with a subject header that begins with [NL-FP 2016]) whether you want to (1) participate, (2) join dinner, (3) give a presentation (please include title + abstract), also see the webpage for additional details. If you intend to participate, please let me know as soon as possible because we like to know how many people we can expect. Hope to meet you all in Utrecht at the next FP Day! Best regards, - Atze - Atze Dijkstra, Department of Information and Computing Sciences. /|\ Utrecht University, PO Box 80089, 3508 TB Utrecht, Netherlands. / | \ Tel.: +31-30-2534118/1454 | WWW : http://www.cs.uu.nl/~atze . /--| \ Fax : +31-30-2513971 .... | Email: atze at uu.nl ............... / |___\ -------------- next part -------------- An HTML attachment was scrubbed... URL: From Rachid.Echahed at imag.fr Mon Oct 19 13:42:41 2015 From: Rachid.Echahed at imag.fr (Rachid Echahed) Date: Mon, 19 Oct 2015 15:42:41 +0200 Subject: [Haskell] [ICGT2016] CFP: Int.Conf. Graph Transformation, Vienna, July 2016 Message-ID: <5624F351.5020808@imag.fr> [Apologies if you receive multiple copies of this CFP] ========================================================================== Call for Papers ICGT 2016 9th International Conference on Graph Transformation www.graph-transformation.org Held as Part of STAF 2016 http://staf2016.conf.tuwien.ac.at/ July 5-6, 2016, Vienna, Austria ========================================================================== Important Dates: Abstract submission: 15 February 2016 Full paper submission: 29 February 2016 Notification of acceptance: 07 April 2016 Final version due: 21 April 2016 Conference: 5-6 July 2016 ========================================================================== Graphs are used almost everywhere when representing or modelling structures and systems, not only in applied and theoretical computer science, but also in, e.g., natural and engineering sciences. Graph transformation and graph grammars are the fundamental modelling paradigms for describing, formalizing, and analyzing graphs that change over time when modelling, e.g., dynamic data structures, systems, or models. The International Conference on Graph Transformation (ICGT) series aims to bring together researchers from different areas in this context and to provide a forum for presenting new results, discussing novel ideas and sharing experience. In order to foster a lively exchange of perspectives on the subject of the conference, the programme committee of the ninth edition of ICGT encourages all kinds of contributions related to graph transformation. Topics of interest include, BUT ARE NOT LIMITED TO the following subjects: - General models of graph transformation (e.g., high-level, adhesive, node, edge, and hyperedge replacement systems) - Analysis and verification of graph transformation systems - Graph theoretical properties of graph languages - Automata on graphs and parsing of graph languages - Logical aspects of graph transformation - Computational models based on graph transformation - Structuring and modularization concepts for graph transformation systems - Hierarchical graphs and decompositions of graphs - Parallel, concurrent, and distributed graph transformation - Modelling and analysis of dynamic data structures - Term graph rewriting - Graph transformation and Petri nets - Ontologies and ontology evolution - Graph databases - Modelling and realizing software architectures, refactoring, evolution, workflows, business processes, access control, security policies, service-oriented applications, semantic web, ... - Natural language processing, natural computing, bioinformatics, quantum computing, ubiquitous computing, visual computing, image generation, natural and engineering sciences, ... - Model-driven development and model transformation based on graph transformation - Model checking, program verification, simulation and animation - Syntax, semantics and implementation of programming languages, domain-specific languages, and visual languages - Graph transformation languages and tool support - Efficient algorithms (pattern matching, graph traversal etc.) The 9th International Conference on Graph Transformation (ICGT 2016) will be held in Vienna, Austria, as a STAF event (http://staf2016.conf.tuwien.ac.at/). The conference takes place under the auspices of EATCS (http://www.eatcs.org/), EASST (http://www.easst.org/), and IFIP (http://www.ifip.org/) WG 1.3. Program Committee ----------------- Rachid Echahed (Co-Chair, CNRS and University of Grenoble Alpes, France) Mark Minas (Co-Chair, Universit?t der Bundeswehr M?nchen, Germany) G?bor Bergmann (Budapest University of Technology and Economics, Hungary) Paolo Bottoni (Sapienza Univ. di Roma, Italy) Andrea Corradini (Universit? di Pisa, Italy) Juan de Lara (Universidad Autonoma de Madrid, Spain) Frank Drewes (Ume? University, Sweden) Claudia Ermel (Technische Universit?t Berlin, Germany) Holger Giese (Hasso Plattner Institute, University of Potsdam, Germany) Annegret Habel (Universit?t Oldenburg, Germany) Reiko Heckel (University of Leicester, UK) Berthold Hoffmann (Universit?t Bremen, Germany) Dirk Janssens (Universiteit Antwerpen, Belgium) Barbara K?nig (University of Duisburg-Essen, Germany) Christian Krause (SAP Innovation Centre Potsdam, Germany) Sabine Kuske (Universit?t Bremen, Germany) Leen Lambers (Hasso Plattner Institute, University of Potsdam, Germany) Yngve Lamo (Bergen University College, Norway) Tiham?r Levendovszky (Vanderbilt University, USA) Mohamed Mosbah (LaBRI , Universit? de Bordeaux, France) Fernando Orejas (Technical University of Catalonia, Spain) Francesco Parisi-Presicce (Sapienza Univ. di Roma, Italy) Detlef Plump (University of York, UK) Arend Rensink (University of Twente, The Netherlands) Leila Ribeiro (Universidade Federal do Rio Grande do Sul, Brazil) Andy Sch?rr (Technische Universit?t Darmstadt, Germany) Martin Strecker (Universit? de Toulouse, France) Gabriele Taentzer (Philipps-Universit?t Marburg, Germany) Matthias Tichy (University of Ulm, Germany) Pieter Van Gorp (Eindhoven University of Technology, The Netherlands) Hans Vangheluwe (Universiteit Antwerpen, Belgium) Bernhard Westfechtel (University of Bayreuth, Germany) Albert Z?ndorf (Kassel University, Germany) Paper Submission ---------------- Papers are solicited in three categories: * Research papers (limited to 16 pages in Springer LNCS format) describe innovative contributions and are evaluated with respect to their originality, significance, and technical soundness. Additional material intended for reviewers but not for publication in the final version may be included in a clearly marked appendix. * Case studies (limited to 12 pages in Springer LNCS format) describe applications of graph transformations in any application domain. * Tool presentation papers (limited to 12 pages in Springer LNCS format) demonstrate the main features and functionality of graph-based tools. A tool presentation paper may have an appendix with a detailed demo description (up to 5 pages), which will be reviewed but not included in the proceedings. Papers can be submitted at http://www.easychair.org/conferences/?conf=icgt2016. Submitted papers must use Springer's LNCS format (http://www.springer.com/lncs). Simultaneous submission to other conferences with proceedings or submission of material that has already been published elsewhere is not allowed. The page limits are strict and include references. Proceedings will be published by Springer in the Lecture Notes in Computer Science (http://www.springer.com/lncs) series. Important Dates --------------- Abstract submission: 15 February 2016 Full paper submission: 29 February 2016 Notification of acceptance: 07 April 2016 Final version due: 21 April 2016 Conference: 5-6 July 2016 Further Information ------------------- Web page: http://www.graph-transformation.org https://sites.google.com/site/icgt2016/ Contact: icgt2016 at gmail.com From dimitris at microsoft.com Mon Oct 19 14:28:04 2015 From: dimitris at microsoft.com (Dimitrios Vytiniotis) Date: Mon, 19 Oct 2015 14:28:04 +0000 Subject: [Haskell] Final Call for Scholarship Applications: Programming Languages Mentoring Workshop - a POPL workshop (Deadline: October 23!)~ Message-ID: <92a0ab6eb3c148e29eeb80606cedd7c5@AM3PR30MB033.064d.mgd.msft.net> (apologies for multiple copies) FINAL CALL FOR SCHOLARSHIP APPLICATIONS (Deadline this Friday: October 23!) ACM SIGPLAN Programming Languages Mentoring Workshop, St. Petersburg, Florida, USA Tuesday, January 19, 2016 Co-located with POPL 2016 PLMW web page: http://conf.researchr.org/home/PLMW-2016 After the resounding success of the first four Programming Languages Mentoring Workshops at POPL 2012, 2013, 2014, and 2015, we proudly announce the 5th SIGPLAN Programming Languages Mentoring Workshop (PLMW), co-located with POPL 2016 and organised by Isil Dillig, Derek Dreyer, Ross Tate, 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 and underrepresented minority students 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/home/PLMW-2016 The deadline for full consideration of funding is FRIDAY, OCTOBER 23. Selected participants will be notified by NOVEMBER 15 or earlier. SPONSORS: NSF ACM SIGPLAN Facebook Jane Street Capital Google Microsoft From m.kohlhase at jacobs-university.de Wed Oct 21 05:17:09 2015 From: m.kohlhase at jacobs-university.de (Michael Kohlhase) Date: Wed, 21 Oct 2015 07:17:09 +0200 Subject: [Haskell] PhD and Postdoc Positions - KWARC, Jacobs University Bremen Message-ID: <56271FD5.1000508@jacobs-university.de> The KWARC group [1] at Jacobs University Bremen [2] is looking for Ph.D. candidates and PostDocs in multiple projects, e.g. [3,4]. See also http://www.jacobs-university.de/jobs/phd-and-postdoc-positions-kwarc-group Jacobs University Bremen is a private, English-speaking research university in Germany. The KWARC group conducts research on the representation and management of formal and informal knowledge in the STEM disciplines (Science, Technology, Engineering, and Mathematics). Our interests cover the whole range from formal to informal knowledge and include - logics and foundations of mathematics - formalizing/verifying knowledge - informal and semi-formal documents (specifications, papers, web pages, etc.) - domain-specific applications (spreadsheets, CAD, etc.) - knowledge management (search, user interfaces, system integration, etc.) We build systems that cover these diverse areas uniformly and integrate across domains, languagues, and tools, always combinng logical correctness, wide-range applicability, and large-scale inter-operability. Interested candidates can introduce themselves or ask for further information by email to Prof. Michael Kohlhase Applications (including the usual documents) should be directed to the same email address. ------------------------------ We are generally flexible to develop PhD topics together with strong candidates. Some example PhD topics that could be assigned within these positions are given below. 1) A Universal Framework for Computation Our frameworks and infrastructure are already very strong for declarative, logical, and informal/narrative content, but lack deep support for computational content such as programming languages, algorithms, and libraries. Within this PhD thesis, we hope extend our OMDoc/MMT framework toward computational content. This would in particular include case studies in the OpenDreamKit project (e.g., programming languages like Scala or Python, computer algebra systems like SageMath or GAP, and their libraries). 2) Integrating Libraries and Databases of Mathematical Knowledge Recently computational mathematicians have built more and more libraries of mathematical objects and models. Examples are the Online Encyclopedia of Integer Sequences (OEIS), the FindStat library of combinatorial objects, the Library of L-Functions and Modular Forms (LMFDB), or the Math Geneology Project. In this PhD thesis, we want to extend our OMDoc/MMT framework with primitives for representing such libraries uniformly as theory graphs and extend our knowledge management algorithms to cope with these large data volumes. 3) Knowledge Management for Cognitive Enigineering Designing technical artifacts such as robots, cranes, or pens is a knowledge-based, document-centered process (see DIN 6221). In this PhD thesis, we want to apply formal and informal knowledge management (theory-graph) methods and active document technologies to the engineering process and the background knowledge. We want to build semantic sextensions to CAD systems and Office suites via our semantic alliance framework to allow Engineers to access the knowledge management solutions from their usual working environment. ------------------------------ [1] http://kwarc.info [2] http://www.jacobs-university.de [3] https://kwarc.info/projects/OAF The Open Archive of Formalizations will provide an open infrastructure to translate and share formalized mathematical knowledge such as theories, definitions, and proofs between mutually incompatible foundations (e.g., set theory, higher-order logic, constructive type theory, etc.), library formats, and library structures. The OAF system will be based on a uniform foundation-independent representation format for libraries, which allows formalizing the logical foundations alongside the libraries and thus acts as framework for aligning libraries. [4] http://opendreamkit.org/ The Open Digital Research Environment Toolkit for the Advancement of Mathematics will deliver a flexible toolkit enabling research groups to set up Virtual Research Environments, customised to meet the varied needs of research projects in pure mathematics and applications, and supporting the full research life-cycle from exploration, through proof and publication, to archival and sharing of data and code, including popular tools such as LinBox, MPIR, Sage(sagemath.org), GAP, PariGP, LMFDB, and Singular. -- ---------------------------------------------------------------------- Prof. Dr. Michael Kohlhase, Office: Research 1, Room 168 Professor of Computer Science Campus Ring 1, Jacobs University Bremen D-28759 Bremen, Germany tel/fax: +49 421 200-3140/-493140 skype: m.kohlhase m.kohlhase at jacobs-university.de http://kwarc.info/kohlhase ---------------------------------------------------------------------- -------------- next part -------------- An HTML attachment was scrubbed... URL: From icfp.publicity at googlemail.com Fri Oct 23 23:31:59 2015 From: icfp.publicity at googlemail.com (Lindsey Kuper) Date: Fri, 23 Oct 2015 23:31:59 +0000 Subject: [Haskell] ICFP 2016 Call for Workshop and Co-located Event Proposals Message-ID: <047d7b1117d99f8b460522ce04bf@google.com>          CALL FOR WORKSHOP AND CO-LOCATED EVENT PROPOSALS                             ICFP 2016  21st ACM SIGPLAN International Conference on Functional Programming                      September 18-24, 2016                           Nara, Japan                http://icfpconference.org/icfp2016/ The 21st ACM SIGPLAN International Conference on Functional Programming will be held in Nara, Japan on September 18-24, 2016. ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. Proposals are invited for workshops (and other co-located events, such as tutorials) to be affiliated with ICFP 2016 and sponsored by SIGPLAN. These events should be less formal and more focused than ICFP itself, include sessions that enable interaction among the attendees, and foster the exchange of new ideas. The preference is for one-day events, but other schedules can also be considered. The workshops are scheduled to occur on September 18 (the day before ICFP) and September 22-24 (the three days after ICFP). ---------------------------------------------------------------------- Submission details  Deadline for submission:     November 21, 2015  Notification of acceptance:  December 20, 2015 Prospective organizers of workshops or other co-located events are invited to submit a completed workshop proposal form in plain text format to the ICFP 2016 workshop co-chairs (Andres Loeh and Nicolas Wu), via email to     icfp2016-workshops at googlegroups.com by November 21, 2015. (For proposals of co-located events other than workshops, please fill in the workshop proposal form and just leave blank any sections that do not apply.) Please note that this is a firm deadline. Organizers will be notified if their event proposal is accepted by December 20, 2015, and if successful, depending on the event, they will be asked to produce a final report after the event has taken place that is suitable for publication in SIGPLAN Notices. The proposal form is available at: http://www.icfpconference.org/icfp2016-files/icfp16-workshops-form.txt Further information about SIGPLAN sponsorship is available at: http://www.sigplan.org/Resources/Proposals/Sponsored/ ---------------------------------------------------------------------- Selection committee The proposals will be evaluated by a committee comprising the following members of the ICFP 2016 organizing committee, together with the members of the SIGPLAN executive committee.  Workshop Co-Chair: Andres Loeh                        (Well-Typed LLP)  Workshop Co-Chair: Nicolas Wu                  (University of Bristol)  General Co-Chair : Jacques Garrigue                (Nagoya University)  General Co-Chair : Gabriele Keller     (University of New South Wales)  Program Chair:     Eijiro Sumii                    (Tohoku University) ---------------------------------------------------------------------- Further information Any queries should be addressed to the workshop co-chairs (Andres Loeh and Nicolas Wu), via email to icfp2016-workshops at googlegroups.com -------------- next part -------------- An HTML attachment was scrubbed... URL: From mail at stefanwehr.de Wed Oct 28 19:43:28 2015 From: mail at stefanwehr.de (Stefan Wehr) Date: Wed, 28 Oct 2015 19:43:28 +0000 Subject: [Haskell] Call for Contributions: BOB 2016 - Berlin, Feb 19, 2016 Message-ID: NOTE: Deadline is THIS Friday (October 30, 2015) BOB Conference 2016 "What happens when we use what's best for a change?" http://bobkonf.de/2016/en/cfp.html Berlin, February 19 Call for Contributions Deadline: October 30, 2015 You drive advanced software engineering methods, implement ambitious architectures and are open to cutting-edge innovation? Attend this conference, meet people that share your goals, and get to know the best software tools and technologies available today. We strive to offer a day full of new experiences and impressions that you can use to immediately improve your daily life as a software developer. If you share our vision and want to contribute, submit a proposal for a talk or tutorial! Topics ------ We are looking for talks about best-of-breed software technology, e.g.: - functional programming - reactive programming - persistent data structures and databases - types - formal methods for correctness and robustness - ... everything really that isn?t mainstream, but you think should be. Presenters should provide the audience with information that is practically useful for software developers. This could take the form of e.g.: - experience reports - introductory talks on technical background - demos and how-tos Requirements ------------ We accept proposals for presentations of 45 minutes (40 minutes talk + 5 minutes questions), as well as 90 minute tutorials for beginners. The language of presentation should be either English or German. Your proposal should include (in your presentation language of choice): - an abstract of max. 1500 characters. - a short bio/cv - contact information (including at least email address) - a list of 3-5 concrete ideas of how your work can be applied in a developer's daily life - additional material (websites, blogs, slides, videos of past presentations, ?) Submit here: https://docs.google.com/forms/d/1IrCa3ilxMrO2h1G1WC4ywoxdz8wohxaPW3dfiB0cq-8/viewform?usp=send_form Organisation ------------ - submit your proposal here: https://docs.google.com/forms/d/1IrCa3ilxMrO2h1G1WC4ywoxdz8wohxaPW3dfiB0cq-8/viewform?usp=send_form - direct questions to `bobkonf at active minus group dot de` - proposal deadline: **October 30, 2015** - notification: November 15, 2015 - program: December 1, 2015 NOTE: The conference fee will be waived for presenters, but travel expenses will not be covered. Program Committee ----------------- (more information here: http://bobkonf.de/2016/programmkomitee.html) - Matthias Fischmann, zerobuzz UG - Matthias Neubauer, SICK AG - Nicole Rauch, Softwareentwicklung und Entwicklungscoaching - Michael Sperber, Active Group - Stefan Wehr, factis research Scientific Advisory Board ------------------------- - Annette Bieniusa, TU Kaiserslautern - Peter Thiemann, Uni Freiburg -------------- next part -------------- An HTML attachment was scrubbed... URL: From tolmach at pdx.edu Thu Oct 29 00:42:03 2015 From: tolmach at pdx.edu (Andrew Tolmach) Date: Wed, 28 Oct 2015 17:42:03 -0700 Subject: [Haskell] Faculty Position in Secure and Trustworthy Cyberspace Message-ID: <38ABC029-525D-4844-A08E-CD8AA16BB68D@pdx.edu> The Computer Science Department at Portland State University (PSU) is seeking to hire faculty to work in the broad area of secure and trustworthy cyberspace?including researchers who are applying formal methods, theorem proving, or programming languages to security problems. We invite applications for multiple tenure-track assistant professor faculty positions to begin Fall 2016. Exceptional applicants at other ranks will also be considered. Other specific areas of computer science under consideration are: artificial intelligence; machine learning; data mining; data-intensive systems; and networks and systems of connected things. Our department currently has 24 tenure-track faculty members and offers BS, MS, and PhD degrees. Portland State is Oregon?s largest university, and is located in downtown Portland, Oregon, offering proximity to world-class restaurants, cultural venues, exceptional outdoor activities, and collaborations with Portland?s burgeoning software industry. For more information and instructions on how to apply, please visit http://www.pdx.edu/computer-science/open-faculty-positions . -------------- next part -------------- An HTML attachment was scrubbed... URL: From johannes.waldmann at htwk-leipzig.de Thu Oct 29 12:08:02 2015 From: johannes.waldmann at htwk-leipzig.de (Johannes Waldmann) Date: Thu, 29 Oct 2015 13:08:02 +0100 Subject: [Haskell] 2nd CfP: Haskell in Leipzig (Germany) 2015 Message-ID: <56320C22.4010306@htwk-leipzig.de> HaL-10 Haskell in Leipzig (December 4/5) http://nfa.imn.htwk-leipzig.de/HAL2015/ We are proud to present Joachim Breitner (nomeata) as our invited speaker. The submission deadline (November 2) is approaching! See you - Johannes Waldmann (PC chair) From cemartin at brookes.ac.uk Fri Oct 30 10:01:19 2015 From: cemartin at brookes.ac.uk (Clare Martin) Date: Fri, 30 Oct 2015 10:01:19 +0000 Subject: [Haskell] Phd position starting in April 2016 Message-ID: *Department of Computing and Communication Technologies* *3 year full-time funded PhD Scholarship* 3 years full-time fees will be paid by the University. Bursary: ?10,500 pa (without inflation increase). Start date: April 2016 Eligibility: Home/EU and International students *Deadline: 14 December 2015* *Interview date: *Interviews will be held in week beginning 11 January 2016 The Department of Computing and Communication Technologies at Oxford Brookes University is pleased to offer a three year full-time PhD Scholarship to a new student commencing in April of 2016 The successful applicant will receive an annual bursary of ?10,500 for three years (with no inflation increase) with fees paid by the University. Topic of Research:* Adaptive Technology for Healthcare* The topic of this Phd is the development of ontologies for healthcare that capture diverse protocols, terminologies and standards. The vocabulary associated with any branch of medicine is huge, including symptoms, scientific names and medication for example. The problem of managing such vast, growing terminologies in medicine is a core challenge for medical informatics. One way to address this problem is to translate the meaning of the terms into a language that can be processed by a computer, i.e. an ontology. The W3C standard language for ontology development is OWL 2, and important medical standards (e.g. Snomed CT, NCI Thesaurus) have been ported to OWL. This research will include the development and verification of an ontology that can be used for any medical application and that is compatible with such established standards. An application of the result will be to facilitate interoperability in exchanging medical information between computerized health systems. We are looking for enthusiastic candidates with: ? a solid background in Computer Science, evidenced by a good BSc: 2.1 or above and/or an MSc degree; ? a solid background in Mathematics; knowledge of software engineering methods; ? an appreciation of empirical techniques; ? good communication and collaboration skills. To request an application pack from Mrs Anna Guarnieri, email *tdestudentships at brookes.ac.uk* , quoting *Adaptive Technology for Healthcare* in the subject line. Fully completed applications must be sent to *tdestudentships at brookes.ac.uk* - by *Midday on Monday 14th December 2015.*If you have any queries about the project, please contact: Clare Martin cemartin at brookes.ac.uk -------------- next part -------------- An HTML attachment was scrubbed... URL: