October 2017 - Haskell

[ANN] Haskell ITA meetup in Rome, Italy (2017-11-18)
by Francesco Ariis 23 Oct '17

23 Oct '17

Dear -cafe, the Italian Haskell Community (http://haskell-ita.it/) is happy to announce its autumn Haskell meetup! The event is going to be hosted in Rome, on November 18th. The meeting will be in Italian; we are going to form small groups/projects, to see Haskell in action and to share knowledge and opinions on functional programming. Everyone, experienced or not, is welcome, just make sure to have a laptop and a working Haskell environment! For a more detailed description of the event and to register, check: https://www.eventbrite.it/e/biglietti-haskell-day-roma-aperitech-38962491862

1 0

CfP <Programming> 2018: Research Papers Third Submission Deadline
by Sylvia Grewe 20 Oct '17

20 Oct '17

<Programming> 2018 : The Art, Science, and Engineering of Programming Mon 9 - Thu 12 April 2018 Nice, France http://2018.programming-conference.org/ In 2017, we started a new conference and journal focused on everything to do with programming, including the experience of programming, called <Programming> for short. The first edition of <Programming> was a great success (see http://twitter.com/programmingconf for testimonies). Paper submissions and publications are handled by the affiliated journal (http://programming-journal.org/) Accepted papers must be presented at the conference. ******************************************************** CALL FOR PAPERS ******************************************************** <Programming> 2018 accepts papers that advance 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. UPCOMING SUBMISSION DEADLINES: December 1 2017 (Research Papers Third Submission Deadline, for journal Vol. 2, Issue 3) 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 ******************************************************** IMPORTANT UPCOMING DATES ******************************************************** Research paper submissions: December 1 2017 (Research Papers Third Submission Deadline, for journal Vol. 2, Issue 3) Research paper first notification (for third submission deadline): February 1 2018 Research paper revised submission (for third submission deadline): March 1 2018 Research paper final notification (for third submission deadline): March 7 2018 Camera-ready copy (for third submission deadline): March 15 2018 Student Research Competition Abstracts Submission: January 22 2018 All important dates of the journal throughout the year can also be found at http://programming-journal.org/timeline/ ******************************************************** ORGANIZATION ******************************************************** General Chair: Manuel Serrano, INRIA France Local Organizing Chair: Tamara Rezk, INRIA France Organizing Committee: Stefan Marr (workshops co-chair), University of Kent, United Kingdom Jennifer B. Sartor (workshops co-chair), Software Languages Lab, Vrije Universiteit Brussel Belgium Philipp Haller (student research competition chair), KTH Royal Institute of Technology, Sweden Tobias Pape (web technology), HPI - University of Potsdam Sylvia Grewe (publicity), Technische Universität Darmstadt Germany Minh Ngo (volunteers chair), INRIA France Etienne Lozes (grants committee chair), Université de Nice Sophia-Antipolis, France Yves Roudier (poster chair), Université de Nice Sophia-Antipolis, France Program Committee: Guido Salvaneschi (program chair), Technische Universität Darmstadt, Germany Davide Ancona, University of Genova, Italy Alberto Bacchelli, Delft University of Technology, Netherlands Shigeru Chiba, University of Tokyo, Japan Yvonne Coady, University of Victoria, Canada Susan Eisenbach, Imperial College London, UK Patrick Eugster, TU Darmstadt, Germany & Purdue University, United States Antonio Filieri, Imperial College London, UK Matthew Flatt, University of Utah, United States Lidia Fuentes, Universidad de Málaga, Spain Richard P. Gabriel, Dream Songs, Inc. & HPI, California Jeremy Gibbons, University of Oxford, UK Yossi Gil, Israel Institute of Technology Elisa Gonzalez Boix, Vrije Universiteit Brussel, Belgium Phlipp Haller, KTH Royal Institute of Technology, Sweden Matthew Hammer, University of Colorado, Boulder, United States Felienne Hermans, Delft University of Technology, Netherlands Robert Hirschfeld, Hasso Plattner Institute (HPI), Germany Roberto Ierusalimschy, Pontifical Catholic University of Rio de Janeiro, Brazil Jun Kato, National Institute of Advanced Industrial Science and Technology, Japan Jörg Kienzle, McGill University, Canada Neelakantan R. Krishnaswami, University of Cambridge, UK Ralf Lämmel, University of Koblenz-Landau, Germany Hidehiko Masuhara, Tokyo Institute of Technology, Japan Mira Mezini, Technische Universität Darmstadt, Germany Emerson Murphy-Hill, North Carolina State University, United States Mario Südholt, IMT Atlantique, Nantes, France Sam Tobin-Hochstadt, Indiana University, United States Eelco Visser, Delft University of Technology, Netherlands Tijs van der Storm, CWI & University of Groningen, Netherlands ******************************************************** <Programming> 2018 is kindly supported by: ACM In-Cooperation SIGPLAN (In-cooperation) SIGSOFT (In-cooperation) INRIA France AOSA ********************************************************

1 0

TYPES 2017 post-proceedings DEADLINE EXTENDED
by Andreas Abel 20 Oct '17

20 Oct '17

DEADLINES EXTENDED by 2 weeks: * abstract deadline: 30 October * paper deadline: 6 November -------------------------------- Open call for papers Post-proceedings of the 23rd International Conference on Types for Proofs and Programs TYPES 2017 TYPES is a major forum for the presentation of research on all aspects of type theory and its applications. TYPES 2017 was held between 29 May and 1 June in Budapest, Hungary. The post-proceedings volume will be published in LIPIcs, Leibniz International Proceedings in Informatics, an open-access series of conference proceedings (http://www.dagstuhl.de/en/publications/lipics) Submission to this post-proceedings volume is open to everyone, also to those who did not participate in the conference. We would like to invite all researchers that study and apply type systems to share their results. In particular, we welcome submissions on the following topics: * Foundations of type theory and constructive mathematics; * Homotopy type theory; * Applications of type theory; * Dependently typed programming; * Industrial uses of type theory technology; * Meta-theoretic studies of type systems; * Proof assistants and proof technology; * Automation in computer-assisted reasoning; * Links between type theory and functional programming; * Formalizing mathematics using type theory; * Type theory in linguistics. IMPORTANT DATES * Abstract submission: 30 October 2017 (was: 16 Oct) * Paper submission: 6 November (was: 23 Oct) * Author notification: 26 March 2018 DETAILS * Papers have to be formatted with lipics.cls and adhere to the style requirements of LIPIcs. http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/ * The recommended length of a paper is 15-25 pages. Submissions significantly longer than 25 pages will not be considered. * Papers have to be submitted in pdf through EasyChair: https://easychair.org/conferences/?conf=types2017postproceed * Authors have the option to attach to their submission a zip or tgz file containing code (formalized proofs or programs), but reviewers are not obliged to take those attachments into account and they will not be published. * More information is available on http://types2017.elte.hu/#postproc * In case of questions, please contact one of the editors. EDITORS Andreas Abel andreas.abel(a)gu.se Gothenburg University, Sweden Fredrik Nordvall Forsberg fredrik.nordvall-forsberg(a)strath.ac.uk University of Strathclyde, United Kingdom Ambrus Kaposi akaposi(a)inf.elte.hu Eötvös Loránd University, Hungary _______________________________________________ Eutypes mailing list Eutypes(a)cs.ru.nl https://mailman.science.ru.nl/mailman/listinfo/eutypes

1 0

TYPES 2017 post-proceedings DEADLINE EXTENDED
by Ambrus Kaposi 20 Oct '17

20 Oct '17

DEADLINES EXTENDED by 2 weeks: * abstract deadline: 30 October * paper deadline: 6 November --------------------------------------- Open call for papers Post-proceedings of the 23rd International Conference on Types for Proofs and Programs TYPES 2017 TYPES is a major forum for the presentation of research on all aspects of type theory and its applications. TYPES 2017 was held between 29 May and 1 June in Budapest, Hungary. The post-proceedings volume will be published in LIPIcs, Leibniz International Proceedings in Informatics, an open-access series of conference proceedings (http://www.dagstuhl.de/en/publications/lipics) Submission to this post-proceedings volume is open to everyone, also to those who did not participate in the conference. We would like to invite all researchers that study and apply type systems to share their results. In particular, we welcome submissions on the following topics: * Foundations of type theory and constructive mathematics; * Homotopy type theory; * Applications of type theory; * Dependently typed programming; * Industrial uses of type theory technology; * Meta-theoretic studies of type systems; * Proof assistants and proof technology; * Automation in computer-assisted reasoning; * Links between type theory and functional programming; * Formalizing mathematics using type theory; * Type theory in linguistics. IMPORTANT DATES * Abstract submission: 30 October 2017 (was: 16 Oct) * Paper submission: 6 November (was: 23 Oct) * Author notification: 26 March 2018 DETAILS * Papers have to be formatted with lipics.cls and adhere to the style requirements of LIPIcs. http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/ * The recommended length of a paper is 15-25 pages. Submissions significantly longer than 25 pages will not be considered. * Papers have to be submitted in pdf through EasyChair: https://easychair.org/conferences/?conf=types2017postproceed * Authors have the option to attach to their submission a zip or tgz file containing code (formalized proofs or programs), but reviewers are not obliged to take those attachments into account and they will not be published. * More information is available on http://types2017.elte.hu/#postproc * In case of questions, please contact one of the editors. EDITORS Andreas Abel andreas.abel(a)gu.se Gothenburg University, Sweden Fredrik Nordvall Forsberg fredrik.nordvall-forsberg(a)strath.ac.uk University of Strathclyde, United Kingdom Ambrus Kaposi akaposi(a)inf.elte.hu Eötvös Loránd University, Hungary

1 0

PriSC'18 deadline extended by 1 week
by Dominique Devriese 20 Oct '17

20 Oct '17

======================================================================= Call for Presentations on Secure Compilation (PriSC Workshop @ POPL'18) ======================================================================= Secure compilation is an emerging field that puts together advances in programming languages, security, verification, systems, compilers, and hardware architectures in order to devise secure compiler chains that eliminate many of today's low-level vulnerabilities. Secure compilation aims to protect high-level language abstractions in compiled code, even against adversarial low-level contexts, and to allow sound reasoning about security in the source language. The emerging secure compilation community aims to achieve this by: identifying and formalizing properties that secure compilers must possess; devising efficient enforcement mechanisms; and developing effective verification and proof techniques. ====================================================================== 2nd Workshop on Principles of Secure Compilation (PriSC 2018) ====================================================================== The Workshop on Principles of Secure Compilation (PriSC) is a new informal 1-day workshop without any proceedings. The goal is to identify interesting research directions and open challenges and to bring together researchers interested in secure compilation. The 2nd PriSC edition will be held on Saturday, 13 January 2018, in Los Angeles, together with the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL). More information at http://popl18.sigplan.org/track/prisc-2018 ====================================================================== Important Dates ====================================================================== Presentation proposal submission deadline: 25 October 2017, AoE Presentation proposal notification: 15 November 2017 PriSC Workshop takes place: 13 January 2018 ====================================================================== Scope of the Workshop ====================================================================== Anyone interested in presenting at the workshop should submit an extended abstract (up to 2 pages, details below). This can cover past, ongoing, or future work. Any topic that could be of interest to the emerging secure compilation community is in scope. Talks that provide a useful outside view or challenge the community are also welcome. Topics of interest include but are **not** limited to: - attacker models for secure compiler chains - secure compilation properties: full abstraction, memory safety, control-flow integrity, preserving non-interference or (hyper-)properties against adversarial contexts, secure multi-language interoperability - enforcement mechanisms: static checking, program verification, reference monitoring, program rewriting, software fault isolation, system-level protection, secure hardware, crypto, randomization - experimental evaluation and applications of secure compilation - proof methods: (bi)simulation, logical relations, game semantics, multi-language semantics, embedded interpreters - formal verification of secure compilation chain (protection mechanisms, compilers, linkers, loaders), machine-checked proofs, translation validation, property-based testing ====================================================================== Guidelines for Submitting Extended Abstracts ====================================================================== Extended abstracts should be submitted in PDF format and not exceed 2 pages. They should be formatted in two-column layout, 10pt font, and be printable on A4 and US Letter sized paper. We recommend using the new `acmart` LaTeX style in `sigplan` mode: http://www.sigplan.org/sites/default/files/acmart/current/acmart-sigplanpro… Submissions are not anonymous and should provide sufficient detail to be assessed by the program committee. Presentation at the workshop does not preclude publication elsewhere. Please submit your extended abstracts at https://prisc18.hotcrp.com/ ====================================================================== Short Talks Session ====================================================================== We will also run a short talks session, where participants get five minutes to present intriguing ideas, advertise ongoing work, etc. You can expect a call for short talks closer to the event. ====================================================================== Program Committee ====================================================================== Program Chair Catalin Hritcu Inria Paris Members Amal Ahmed Inria Paris and Northeastern University Lars Birkedal Aarhus University Dominique Devriese KU Leuven Cédric Fournet Microsoft Research Deepak Garg MPI-SWS Xavier Leroy Inria Paris David Naumann Stevens Institute of Technology Marco Patrignani MPI-SWS Frank Piessens KU Leuven Tamara Rezk Inria Sophia Antipolis Nikhil Swamy Microsoft Research ====================================================================== Organizing Committee ====================================================================== Amal Ahmed Inria Paris and Northeastern University Dominique Devriese KU Leuven Deepak Garg MPI-SWS Catalin Hritcu Inria Paris Marco Patrignani MPI-SWS Tamara Rezk Inria Sophia Antipolis ====================================================================== Contact and More Information ===================================================================== More information about PriSC 2018 can be found on the website: http://popl18.sigplan.org/track/prisc-2018 For questions please contact Catalin Hritcu (Program Chair). To make sure you receive such announcements in the future please subscribe to the following low-traffic mailing list: https://lists.gforge.inria.fr/mailman/listinfo/prisc-announce

1 0

Hack “Importify” by Serokell During #Hacktoberfest!
by Gints Dreimanis 18 Oct '17

18 Oct '17

All of us love to read explicit import lists (especially in an unknown module), but we all hate to write and maintain them. >From our point of view, it is obligatory for any code that goes into production to have only explicit imports. That way, the code is easier to comprehend – no one is confused about the location of a stray type or identifier, even when reading from GitHub or a simple editor. There are, however, usability and maintainability issues with explicit imports, which make enforcing explicit imports in style guides a topic for discussion. To enjoy the benefits of explicit imports while keeping the drawbacks in check, we have implemented *Importify*. *Importify* is a tool developed by Serokell tooling team led by Dmitry Kovalnikov. It is a refactoring tool that helps import management in Haskell code. We’re getting close to releasing it on Hackage, but it requires some polishing. You can contribute to Importify <https://github.com/serokell/importify/issues?q=is%3Aissue+is%3Aopen+label%3…> and Serokell’s own custom Prelude Universum <https://github.com/serokell/universum/issues?q=is%3Aissue+is%3Aopen+label%3…> during Hacktoberfest <https://github.com/blog/2433-celebrate-open-source-this-october-with-hackto…> . *Importify* is all about decluttering the import blocks. It can remove: - unused symbols in explicit import lists - unused qualified imports - unused implicit imports - unnecessarily hidden symbols Highlights of the functionality of *Importify* are that it works deeply with explicit import lists (it can, for instance, remove unused constructors), and it works with hiding imports. The latter feature isn’t present in any open-source refactoring tool that is known to us. It is also compatible with autoexporter <https://hackage.haskell.org/package/autoexporter>. *Importify *works extremely well with large Haskell projects — we use it to great success to clean up Cardano SL <https://github.com/input-output-hk/cardano-sl/>. Importify only parses source code instead of building projects. For a project of the size of Cardano SL it takes only two minutes to build Importify cache while building it would take forty minutes on the same machine. In the future, we plan for *Importify *to be able to add used symbols to imports automatically. To speed up *Importify *runs, we will implement a cache server that caches each Hackage package. You will be able to upload caches for your projects there as well. Next on the roadmap is functionality to convert imports between *implicit* and *explicit*, and between *qualified* and *unqualified* forms. Finally, we will be adding functionality to resolve merge conflicts in import section automatically. If you notice that managing imports becomes a slog, feel free to try this tool out yourself. Spotted a bug? Contact us. <bugs(a)serokell.io> To those, who are in the mood for some hacking this Autumn, we’re looking forward to your #Hacktoberfest contributions!

1 0

[Announce] ZuriHac 2018 - 8-10 June in Zurich, Switzerland
by Jasper Van der Jeugt 17 Oct '17

17 Oct '17

It is our pleasure to announce that, like in previous years, ZuriHac will also take place in 2018 -- from Friday June 8th to Sunday the 10th. It will be hosted at the Hochschule Rapperswil right besides the beautiful lake Zurich, like last year. The Zurich Haskell Hackathon is a free (as in beer), international, grassroots collaborative coding festival whose goal is to expand the community and to build and improve Haskell libraries, tools, and infrastructure. This is already the 7th Haskell Hackathon in Zurich! This year, we will enjoy keynotes from: - Niki Vazou - Edward Kmett - Stephen Diehl More keynote speakers will be announced. This event is open to any experience level, from beginners to gurus. This year, Julie Moronuki, co-author of Haskell Programming from first principles [1], has kindly agreed to teach a beginners course in one of the classrooms we have available. Additionally, there will be mentors on site whom you can directly approach during the whole event with any Haskell-related question you have. This is a great opportunity to meet your fellow Haskellers in real life, find new contributors for your project, improve existing libraries and tools or even start new ones! We will have space for 300 attendees. Registration will open on 6th of December. You can find more information on our website [2]. We would also like to thank our sponsors Digital Asset [3] and HSR [4] for supporting this great event! Looking forward to see you there, the Zurich HaskellerZ meetup group [1]: https://www.goodreads.com/book/show/25587599-haskell-programming [2]: https://zurihac.info/ [3]: https://digitalasset.com/careers.html [4]: https://www.hsr.ch/

1 0

Final call for Secure Compilation presentations (PriSC Workshop @ POPL'18)
by Dominique Devriese 16 Oct '17

16 Oct '17

======================================================================= Call for Presentations on Secure Compilation (PriSC Workshop @ POPL'18) ======================================================================= Secure compilation is an emerging field that puts together advances in programming languages, security, verification, systems, compilers, and hardware architectures in order to devise secure compiler chains that eliminate many of today's low-level vulnerabilities. Secure compilation aims to protect high-level language abstractions in compiled code, even against adversarial low-level contexts, and to allow sound reasoning about security in the source language. The emerging secure compilation community aims to achieve this by: identifying and formalizing properties that secure compilers must possess; devising efficient enforcement mechanisms; and developing effective verification and proof techniques. ====================================================================== 2nd Workshop on Principles of Secure Compilation (PriSC 2018) ====================================================================== The Workshop on Principles of Secure Compilation (PriSC) is a new informal 1-day workshop without any proceedings. The goal is to identify interesting research directions and open challenges and to bring together researchers interested in secure compilation. The 2nd PriSC edition will be held on Saturday, 13 January 2018, in Los Angeles, together with the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL). More information at http://popl18.sigplan.org/track/prisc-2018 ====================================================================== Important Dates ====================================================================== Presentation proposal submission deadline: 18 October 2017, AoE Presentation proposal notification: 8 November 2017 PriSC Workshop takes place: 13 January 2018 ====================================================================== Scope of the Workshop ====================================================================== Anyone interested in presenting at the workshop should submit an extended abstract (up to 2 pages, details below). This can cover past, ongoing, or future work. Any topic that could be of interest to the emerging secure compilation community is in scope. Talks that provide a useful outside view or challenge the community are also welcome. Topics of interest include but are **not** limited to: - attacker models for secure compiler chains - secure compilation properties: full abstraction, memory safety, control-flow integrity, preserving non-interference or (hyper-)properties against adversarial contexts, secure multi-language interoperability - enforcement mechanisms: static checking, program verification, reference monitoring, program rewriting, software fault isolation, system-level protection, secure hardware, crypto, randomization - experimental evaluation and applications of secure compilation - proof methods: (bi)simulation, logical relations, game semantics, multi-language semantics, embedded interpreters - formal verification of secure compilation chain (protection mechanisms, compilers, linkers, loaders), machine-checked proofs, translation validation, property-based testing ====================================================================== Guidelines for Submitting Extended Abstracts ====================================================================== Extended abstracts should be submitted in PDF format and not exceed 2 pages. They should be formatted in two-column layout, 10pt font, and be printable on A4 and US Letter sized paper. We recommend using the new `acmart` LaTeX style in `sigplan` mode: http://www.sigplan.org/sites/default/files/acmart/current/acmart-sigplanpro… Submissions are not anonymous and should provide sufficient detail to be assessed by the program committee. Presentation at the workshop does not preclude publication elsewhere. Please submit your extended abstracts at https://prisc18.hotcrp.com/ ====================================================================== Short Talks Session ====================================================================== We will also run a short talks session, where participants get five minutes to present intriguing ideas, advertise ongoing work, etc. You can expect a call for short talks closer to the event. ====================================================================== Program Committee ====================================================================== Program Chair Catalin Hritcu Inria Paris Members Amal Ahmed Inria Paris and Northeastern University Lars Birkedal Aarhus University Dominique Devriese KU Leuven Cédric Fournet Microsoft Research Deepak Garg MPI-SWS Xavier Leroy Inria Paris David Naumann Stevens Institute of Technology Marco Patrignani MPI-SWS Frank Piessens KU Leuven Tamara Rezk Inria Sophia Antipolis Nikhil Swamy Microsoft Research ====================================================================== Organizing Committee ====================================================================== Amal Ahmed Inria Paris and Northeastern University Dominique Devriese KU Leuven Deepak Garg MPI-SWS Catalin Hritcu Inria Paris Marco Patrignani MPI-SWS Tamara Rezk Inria Sophia Antipolis ====================================================================== Contact and More Information ===================================================================== More information about PriSC 2018 can be found on the website: http://popl18.sigplan.org/track/prisc-2018 For questions please contact Catalin Hritcu (Program Chair). To make sure you receive such announcements in the future please subscribe to the following low-traffic mailing list: https://lists.gforge.inria.fr/mailman/listinfo/prisc-announce

1 0

TYPES 2017 post-proceedings call for papers
by Ambrus Kaposi 10 Oct '17

10 Oct '17

Abstract deadline in 6 days! Open call for papers Post-proceedings of the 23rd International Conference on Types for Proofs and Programs TYPES 2017 TYPES is a major forum for the presentation of research on all aspects of type theory and its applications. TYPES 2017 was held between 29 May and 1 June in Budapest, Hungary. The post-proceedings volume will be published in LIPIcs, Leibniz International Proceedings in Informatics, an open-access series of conference proceedings (http://www.dagstuhl.de/en/publications/lipics) Submission to this post-proceedings volume is open to everyone, also to those who did not participate in the conference. We would like to invite all researchers that study and apply type systems to share their results. In particular, we welcome submissions on the following topics: * Foundations of type theory and constructive mathematics; * Homotopy type theory; * Applications of type theory; * Dependently typed programming; * Industrial uses of type theory technology; * Meta-theoretic studies of type systems; * Proof assistants and proof technology; * Automation in computer-assisted reasoning; * Links between type theory and functional programming; * Formalizing mathematics using type theory; * Type theory in linguistics. IMPORTANT DATES * Abstract submission: 16 October 2017 * Paper submission: 23 October 2017 * Author notification: 26 March 2018 DETAILS * Papers have to be formatted with lipics.cls and adhere to the style requirements of LIPIcs. http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/ * The recommended length of a paper is 15-25 pages. Submissions significantly longer than 25 pages will not be considered. * Papers have to be submitted in pdf through EasyChair: https://easychair.org/conferences/?conf=types2017postproceed * Authors have the option to attach to their submission a zip or tgz file containing code (formalized proofs or programs), but reviewers are not obliged to take those attachments into account and they will not be published. * More information is available on http://types2017.elte.hu/#postproc * In case of questions, please contact one of the editors. EDITORS Andreas Abel andreas.abel(a)gu.se Gothenburg University, Sweden Fredrik Nordvall Forsberg fredrik.nordvall-forsberg(a)strath.ac.uk University of Strathclyde, United Kingdom Ambrus Kaposi akaposi(a)inf.elte.hu Eötvös Loránd University, Hungary

1 0

Journal of Functional Programming - Call for PhD Abstracts
by Graham Hutton 09 Oct '17

09 Oct '17

Dear all, 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, open access, deadline 31st October 2017. Please share! Best wishes, Graham ============================================================ CALL FOR PHD ABSTRACTS Journal of Functional Programming Deadline: 31st October 2017 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 2017. 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