From hofstedt at b-tu.de Fri Feb 1 14:24:02 2019 From: hofstedt at b-tu.de (Petra Hofstedt (BTU)) Date: Fri, 1 Feb 2019 15:24:02 +0100 Subject: [Haskell] CfP: INAP - 22nd International Conference on Applications of Declarative Programming and Knowledge Management Message-ID: <29BD6052-BF16-4F01-81D3-E6B7A557908A@b-tu.de> ========================================================= INAP 2019: Call for Papers ========================================================= 22nd International Conference on Applications of Declarative Programming and Knowledge Management Cottbus, Germany, September 9-13, 2019 (part of Declare 2019; co-located with WFLP, WLP, and QPLogic) Important Dates Paper registration: May 27, 2019 Paper submission: June 3, 2019 Notification of acceptance: July 1, 2019 Camera-ready papers: July 29, 2019 Early registration: August 12, 2019 Online Registration: September 2, 2019 Conference: September 9-13, 2019 INAP 2019 INAP is a forum for intensive discussion of applications of important technologies around declarative programming, constraint problem solving, and related computing paradigms. It comprehensively covers the impact of data and knowledge engineering, programmable logic solvers in the internet society, its underlying technologies, and leading edge applications in industry, commerce, government, and societal services. Previous INAP conferences have been held in Japan, Germany, Portugal, and Austria. We invite high quality contributions on the described topics, especially, but not exclusively, on different aspects of declarative programming, constraint processing, data and knowledge management, as well as their use for distributed systems and the web: * data and knowledge engineering / management: deductive databases, rule bases, decision support, expert systems, knowledge discovery; * declarative programming: logic programming, nonmonotonic reasoning, knowledge representation, domain-specific languages; * constraints: constraint systems, (extensions of) constraint (logic) programming, constraint-based modeling and applications; * distributed systems and the web: agents and concurrent engineering, ontologies, semantic web, internet of things; * practical systems: tools for academic and industrial use, knowledge-based web services, logic solvers and applications; * multi-paradigm programming. INAP 2019 will be part of DECLARE 2019 and hence be co-located with WFLP 2019 (International Workshop on Functional and Logic Programming), WLP 2019 (Workshop on (Constraint) Logic Programming), and QPLogic 2019 (Quantum and Probability Logic). Submission Guidelines Authors are invited to submit long papers (no longer than 15 pages) or short papers (no longer than 6 pages) in the following categories: + Regular research papers + Application papers + System descriptions We also encourage submissions on ongoing work of PhD students (no longer than 6 pages). Submissions must be unpublished original work and not submitted for publication elsewhere. However, work that already appeared in informally published workshop proceedings may be submitted too. All papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. All submissions must be formatted in the Lecture Notes in Computer Science style. For further information on the submission procedure, please, visit the conference web site: declare19.de Proceedings All papers accepted for presentation at the conference will be published in informal proceedings publicly available at the Computing Research Repository. According to the program committee reviews, submissions can be directly accepted for publication in the formal post-conference proceedings. The formal post-conference proceedings will be published in both electronic and paper formats by Springer in the Lecture Notes in Computer Science series. After the conference, all authors accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the conference. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. All accepted papers will be presented during the conference. At least one author of an accepted contribution is expected to register for the conference and present the paper. Program Committee Salvador Abreu (Universidade de Évora, Portugal) Christoph Beierle (FernUniversität in Hagen, Germany) François Bry (Ludwig-Maximilian-University of Munich, Germany) Vitor Santos Costa (University of Porto, Portugal) Thom Frühwirth (University of Ulm, Germany) Ulrich Geske (University of Potsdam, Germany) Gopal Gupta (UT Dallas, USA) Michael Hanus (University of Kiel, Germany) Petra Hofstedt (BTU Cottbus - Senftenberg, Germany) (Chair) Tomi Jahunen (Aalto University, Finland) Gabriele Kern-Isberner (TU Dortmund University, Germany) Herbert Kuchen (University of Münster, Germany) Sven Löffler (BTU Cottbus - Senftenberg, Germany) Vitor Beires Nogueira (Universidade de Évora, Portugal) Ricardo Rocha (University of Porto, Portugal) Dietmar Seipel (University of Würzburg, Germany) Helmut Simonis (University College Cork, Ireland) Theresa Swift (Universidade Nova de Lisboa, Portugal) Hans Tompits (Vienna University of Technology, Austria) Masanobu Umeda (Kyushu Institute of Technology, Japan) Armin Wolf (Fraunhofer FOKUS Berlin, Germany) Track Chairs Salvador Abreu (Universidade de Évora) - Logic Programming and Extensions Dietmar Seipel (University of Würzburg) - (Deductive) Databases, Rule Bases, Decision Support, Expert Systems, Knowledge Discovery Petra Hofstedt (BTU Cottbus - Senftenberg) - Constraints, Constraint Solvers and Systems Organizing Committee Petra Hofstedt (General Chair), Sven Löffler, Katrin Ebert, Brandenburg University of Technology, Cottbus, Germany -- Prof. Dr. Petra Hofstedt BTU Cottbus-Senftenberg Tel: +49-355-69-3886 Programming Languages and Fax: +49-355-69-3830 Compiler Construction Group WWW: http://www.b-tu.de/fg-programmiersprachen-compilerbau/ From hofstedt at b-tu.de Mon Feb 4 08:08:16 2019 From: hofstedt at b-tu.de (Petra Hofstedt (BTU)) Date: Mon, 4 Feb 2019 09:08:16 +0100 Subject: [Haskell] CfP: WFLP 2019 - 27th International Workshop on Functional and (Constraint) Logic Programming Message-ID: <429DF2E1-6E79-4117-97D8-D3254FDF054A@b-tu.de> ========================================================= WFLP 2019: Call for Papers ========================================================= 27th International Workshop on Functional and (Constraint) Logic Programming Cottbus, Germany, September 9-13, 2019 (part of Declare 2019; co-located with INAP, WLP, and QPLogic) Important Dates Abstract submission: May 27, 2019 Paper submission: June 3, 2019 Notification of acceptance: July 1, 2019 Camera-ready papers: July 29, 2019 Early registration: August 12, 2019 Online Registration: September 2, 2019 Workshop: September 9-13, 2019 WFLP 2019 The international Workshop on Functional and (constraint) Logic Programming (WFLP) aims at bringing together researchers, students, and practitioners interested in functional programming, logic programming, and their integration. WFLP has a reputation for being a lively and friendly forum, and it is open for presenting and discussing work in progress, technical contributions, experience reports, experiments, reviews, and system descriptions. The 27th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2019) will be held at the Brandenburgische Technische Universität Cottbus Germany. Previous WFLP editions were WFLP 2018 (Frankfurt am Main, Germany), WFLP 2017 (Würzburg, Germany), WFLP 2016 (Leipzig, Germany), WFLP 2014 (Wittenberg, Germany), WFLP 2013 (Kiel, Germany), WFLP 2012 (Nagoya, Japan), WFLP 2011 (Odense, Denmark), WFLP 2010 (Madrid, Spain), WFLP 2009 (Brasilia, Brazil), WFLP 2008 (Siena, Italy), WFLP 2007 (Paris, France), WFLP 2006 (Madrid, Spain), WCFLP 2005 (Tallinn, Estonia), WFLP 2004 (Aachen, Germany), WFLP 2003 (Valencia, Spain), WFLP 2002 (Grado, Italy), WFLP 2001 (Kiel, Germany), WFLP 2000 (Benicassim, Spain), WFLP'99 (Grenoble, France), WFLP'98 (Bad Honnef, Germany), WFLP'97 (Schwarzenberg, Germany), WFLP'96 (Marburg, Germany), WFLP'95 (Schwarzenberg, Germany), WFLP'94 (Schwarzenberg, Germany), WFLP'93 (Rattenberg, Germany), and WFLP'92 (Karlsruhe, Germany). WFLP 2019 will be part of DECLARE 2019 and hence be co-located with INAP 2019 (International Conference on Applications of Declarative Programming and Knowledge Management), WLP 2019 (Workshop on (Constraint) Logic Programming), and QPLogic 2019 (Quantum and Probability Logic). Topics The topics of interest cover all aspects of functional and logic programming. They include (but are not limited to): * Functional programming * Logic programming * Constraint programming * Deductive databases, data mining * Extensions of declarative languages, objects * Multi-paradigm declarative programming * Foundations, semantics, non-monotonic reasoning, dynamics * Parallelism, concurrency * Program analysis, abstract interpretation * Program and model manipulation * Program transformation, partial evaluation, meta-programming * Specification, * Verification * Debugging * Testing * Knowledge representation, machine learning * Interaction of declarative programming with other formalisms * Implementation of declarative languages * Advanced programming environments and tools * Software techniques for declarative programming * Applications The primary focus is on new and original research results, but submissions describing innovative products, prototypes under development, application systems, or interesting experiments (e.g., benchmarks) are also encouraged. Survey papers that present some aspects of the above topics from a new perspective, and experience reports are also welcome. Papers must be written and presented in English. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Submission Guidelines Submission is via Easychair submission website for WFLP 2019: https://easychair.org/conferences/?conf=wflp2019 Authors are invited to submit papers in the following categories: + Regular research paper + Work-in-progress report + System description Regular research papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been formally published or that are simultaneously submitted to a journal, conference, or workshop with formal proceedings. They will be judged on the basis of significance, relevance, correctness, originality, and clarity. For work-in-progress reports and system descriptions, less formal rules apply, and presentation-only submissions (talk and discussion, but no paper in the formal proceedings) are possible. Please contact the PC chair with any questions. All submissions must be formatted in the Lecture Notes in Computer Science style. Submissions cannot exceed 15 pages including references but excluding well-marked appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. However, all submissions (especially work-in-progress reports and system descriptions) may be considerably shorter than 15 pages. Proceedings All papers accepted for presentation at the conference will be published in informal proceedings publicly available at the Computing Research Repository. According to the program committee reviews, submissions can be directly accepted for publication in the formal post-conference proceedings. The formal post-conference proceedings will be published in both electronic and paper formats by Springer in the Lecture Notes in Computer Science series. After the conference, all authors accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the conference. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. Therefore, all accepted papers will be published in open-access, and the authors can also decide to publish their work in the Springer LNCS formal proceedings. Program Committee Maria Alpuente Frasnedo, Universitat Politècnica de València, Spain Sergio Antoy, Portland State University, USA Olaf Chitil, University of Kent, UK Sandra Dylus, University of Kiel, Germany Moreno Falaschi, U. Siena, Italy Michael Hanus, University of Kiel, Germany Herbert Kuchen, University of Münster, Germany (Chair) Julio Mariño Carballo, Universidad Politécnica de Madrid, Spain Manuel Montenegro Montes, Universidad Complutense de Madrid, Spain Kostis Sagonas, Uppsala University, Sweden Sibylle Schwarz, HTWK Leipzig, Germany Dietmar Seipel, University of Würzburg, Germany Josep Silva Galiana, Universitat Politècnica de València, Spain Johannes Waldmann, HTWK Leipzig, Germany Organizing Committee Petra Hofstedt (General Chair), Sven Löffler, Katrin Ebert, Brandenburg University of Technology, Cottbus, Germany From yazan.mualla at utbm.fr Mon Feb 4 08:18:29 2019 From: yazan.mualla at utbm.fr (Yazan Mualla) Date: Mon, 4 Feb 2019 09:18:29 +0100 (CET) Subject: [Haskell] Invitation to the 1st European Forum of the SARL Users and Developers (EuSarlCon19) Message-ID: <1766969654.389526323.1549268309390.JavaMail.zimbra@utbm.fr> INVITATION FOR PAPERS AND TALKS (extended) The 1st European Forum for the SARL Users and Developers (EuSarlCon-19) ----------------------------------------------------------------------- In conjunction with: * the 10th International Conference on Ambient Systems, Networks, and Technologies (ANT 2019); * the 8th International Workshop on Agent-based Mobility, Traffic and Transportation Models, Methodologies and Applications (ABMTRANS-19); * the 3rd International Workshop on Agent-based Modeling and Applications with SARL (SARL-19). May 2, 2019, Leuven, Belgium. http://www.multiagent.fr/Conferences:EuSarlCon19 ------------------------------------------------------------------- Description =========== The 2019 European SarlCon is the SARL user meeting that is organized in Europe in order to provide a place where SARL users and developers could exchange their experiences. It will be held on May 2, 2019, in Leuven, Belgium. That is the last day of the ANT-2019 conference, the ABMTRANS-19 and the SARL-19 workshops. Abstracts and/or short papers are due on February 15, 2019. The papers are expected to be very short (< 2500 equivalent words). ABMTRANS-19 and SARL-19 are providing an alternative for publishing longer papers. Abstracts and papers can be submitted to ABMTRANS-19, to SARL-19, to SarlCon19, or all. We will coordinate with the main conference so that papers are not presented twice. Submissions directly for the SarlCon should take the form of an abstract (< 1000 words), and are to be submitted before February 15, 2019, through EasyChair. SARL-related submissions to the main conference will as well be considered for inclusion in the SarlCon program. Submission ========== You are invited to submit the abstract in PDF format on EasyChair (https://easychair.org/conferences/?conf=eusarlcon2019), not exceeding 1000 words in length. Organizer ========= -Stéphane GALLAND (Univ. de Technologie de Belfort-Montbeliard, France) -Yazan MUALLA (Univ. de Technologie de Belfort-Montbeliard, France) Registration ============ Registration to the European SarlCon 2019 is free. Please notify the organizers if you want to come in order to organize the meeting. -------------- next part -------------- An HTML attachment was scrubbed... URL: From hofstedt at b-tu.de Mon Feb 4 10:33:46 2019 From: hofstedt at b-tu.de (Petra Hofstedt (BTU)) Date: Mon, 4 Feb 2019 11:33:46 +0100 Subject: [Haskell] CfP: WLP 2019 - 33rd Workshop on (Constraint) Logic Programming Message-ID: <66277318-9640-4F66-BBF7-DFDD0DAB888C@b-tu.de> ========================================================= WLP 2019: Call for Papers ========================================================= 33rd Workshop on (Constraint) Logic Programming Cottbus, Germany, September 9-13, 2019 (part of Declare 2019; co-located with INAP, WFLP, and QPLogic) Important Dates Abstract submission: May 27, 2019 Paper submission: June 3, 2019 Notification of acceptance: July 1, 2019 Camera-ready papers: July 29, 2019 Early registration: August 12, 2019 Online Registration: September 2, 2019 Workshop: September 9-13, 2019 WLP 2019 The workshops on (constraint) logic programming serve as the scientific forum of the annual meeting of the Society of Logic Programming (GLP, Gesellschaft fuer Logische Programmierung e.V.). They bring together researchers (not only from Germany) interested in logic programming, constraint programming, and related areas like databases, artificial intelligence, and operations research. Previous workshops have been held in Germany, Austria, Switzerland, Egypt, Japan, Denmark, Spain, Brazil, Italy, and France. Contributions are welcome on all theoretical, experimental, and application aspects of logic and constraint logic programming. The topics include, but are not limited to the following areas: + Logic and Constraint Logic Programming Languages and Extensions + Knowledge Representation and Non-monotonic Reasoning + Applications and Application Areas of (C)LP + Implementations WLP 2019 will be part of DECLARE 2019 and hence be co-located with INAP 2019 (International Conference on Applications of Declarative Programming and Knowledge Management), WFLP 2019 (International Workshop on Functional and Logic Programming), and QPLogic 2019 (Quantum and Probability Logic). Submission Guidelines Authors are invited to submit long papers (no longer than 15 pages) or short papers (no longer than 6 pages) in the following categories: + Regular research papers + Application papers + System descriptions We also encourage submissions on ongoing work of PhD students (no longer than 6 pages). Submissions must be unpublished original work and not submitted for publication elsewhere. However, work that already appeared in informally published workshop proceedings may be submitted too. All papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. All submissions must be formatted in the Lecture Notes in Computer Science style. For further information on the submission procedure, please, visit the conference web site: declare19.de Proceedings All papers accepted for presentation at the conference will be published in informal proceedings publicly available at the Computing Research Repository. According to the program committee reviews, submissions can be directly accepted for publication in the formal post-conference proceedings. The formal post-conference proceedings will be published in both electronic and paper formats by Springer in the Lecture Notes in Computer Science series. After the conference, all authors accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the conference. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. All accepted papers will be presented during the conference. At least one author of an accepted contribution is expected to register for the conference and present the paper. Program Committee Slim Abdennadher (German University in Cairo, Egypt) Christoph Beierle (FernUniversität in Hagen, Germany) Thomas Eiter (Vienna University of Technology, Austria) Daniel Gall (University of Ulm, Germany) Ulrich Geske (University of Potsdam, Germany) Michael Hanus (University of Kiel, Germany) Petra Hofstedt (BTU Cottbus - Senftenberg, Germany) (co-Chair) Steffen Hölldobler (TU Dresden, Germany) Tomi Jahunen (Aalto University, Finland) Ulrich John (hwtk Berlin) (co-Chair) Ke Liu (BTU Cottbus - Senftenberg, Germany) Sven Löffler (BTU Cottbus - Senftenberg, Germany) Falco Nogatz (University of Würzburg, Germany) Torsten Schaub (University of Potsdam, Germany) Sibylle Schwarz (HTWK Leipzig, Germany) Dietmar Seipel (University of Würzburg, Germany) Hans Tompits (Vienna University of Technology, Austria) Janis Voigtländer (Universität Duisburg-Essen, Germany) Armin Wolf (Fraunhofer FOKUS Berlin, Germany) Organizing Committee Petra Hofstedt (General Chair), Sven Löffler, Katrin Ebert, Brandenburg University of Technology, Cottbus, Germany From james.cheney at gmail.com Mon Feb 4 13:15:37 2019 From: james.cheney at gmail.com (James Cheney) Date: Mon, 4 Feb 2019 13:15:37 +0000 Subject: [Haskell] Bx 2019 Second Call for Papers (Workshop on Bidirectional Transformations) Message-ID: Bx 2019: 8th International Workshop on Bidirectional Transformations ==================================================================== Highlights: - workshop date set on June 4, 2019 - Zachary Ives confirmed as invited speaker - abstract submission Tuesday, Feb 12, AoE - links to CEUR-WS.org style and template files updated * http://bx-community.wikidot.com/bx2019:home * June 4, 2019, Saint Joseph’s University, Philadelphia, PA, USA * as part of Philadelphia Logic Week (PLW) 2019: https://sites.sju.edu/plw/ * Invited speaker: Zachary Ives (University of Pennsylvania) Bidirectional transformations (bx) are a mechanism for maintaining the consistency of at least two related sources of information. Such sources can be relational databases, software models and code, or any other document following standard or ad-hoc formats. Bx are an emerging topic in a wide range of research areas, with prominent presence at top conferences in several different fields (namely databases, programming languages, software engineering, and graph transformation), but with results in one field often getting limited exposure in the others. Bx 2019 is a dedicated venue for bx in all relevant fields, and is part of a workshop series that was created in order to promote cross-disciplinary research and awareness in the area. As such, since its beginning in 2012, the workshop has rotated between venues in different fields. Bx 2019 will be a part of Philadelphia Logic Week (PLW) 2019, which also includes conference and workshops on logic, provenance, and databases, topics that we hope will complement Bx and help build engagement with these communities. Important Dates =============== - Abstract submission: Feb 12 (AoE) - Paper submission: Feb 19 (AoE) - Author notification: Apr 8 - Camera-ready: around May 1 - Workshop: Jun 4, 2019 Aims and Topics =============== The aim of the workshop is to bring together researchers and practitioners, established and new, interested in bx from different perspectives, including but not limited to: - bidirectional programming languages and frameworks - data and model synchronization - view updating - inter-model consistency analysis and repair - data/schema (or model/metamodel) co-evolution - coupled software/model transformations - inversion of transformations and data exchange mappings - domain-specific languages for bx - analysis and classification of requirements for bx - bridging the gap between formal concepts and application scenarios - analysis of efficiency of transformation algorithms and benchmarks - survey and comparison of bx technologies - case studies and tool support Submission Guidelines ===================== Papers must follow the CEUR-WS.org one-column style (with page numbers) available at - http://ceur-ws.org/Vol-XXX/samplestyles/onecolpceurws.sty and must be submitted via EasyChair: - https://www.easychair.org/conferences/?conf=bx2019 A sample LaTeX file using the above style (along with an included sample image) can be downloaded at - http://ceur-ws.org/Vol-XXX/samplestyles/paper1p.tex - http://ceur-ws.org/Vol-XXX/samplestyles/fig1.eps Five categories of submissions are considered: * Full Research Papers (up to 15 pages) - in-depth presentations of novel concepts and results - applications of bx to new domains - survey papers providing novel comparisons between existing bx technologies and approaches case studies * Tool Papers (up to 8 pages) - guideline papers presenting best practices for employing a specific bx approach (with a specific tool) - presentation of new tools or substantial improvements to existing ones - qualitative and/or quantitative comparisons of applying different bx approaches and tools * Experience Report (up to 8 pages) - sharing experiences and lessons learned with bx tools/frameworks/languages - how bx is used in (research/industrial/educational) projects * Extended Abstracts and Short Papers (up to 4 pages) - work in progress - small focused contributions - position papers and research perspectives - critical questions and challenges for bx * Talk Proposals (up to 2 pages) - proposed lectures about topics of interest for bx - existing work representing relevant contributions for bx - promising contributions that are not mature enough to be proposed as papers of the other categories If your submission is not a Full Research Paper, please include the intended submission category in the Title field of EasyChair’s submission form. The bibliography is excluded from the page limits. All papers are expected to be self-contained and well-written. Tool papers are not expected to present novel scientific results, but to document artifacts of interest and share bx experience/best practices with the community. Experience papers are expected to report on lessons learnt from applying bx approaches, languages, tools, and theories to practical application case studies. Extended abstracts should primarily provoke interesting discussion at the workshop and will not be held to the same standard of maturity as regular papers; short papers contain focused results, positions or perspectives that can be presented in full in just a few pages, and that correspondingly contain fewer results and that therefore might not be competitive in the full paper category. Talk proposals are expected to present work that is of particular interest to the community and worth a talk slot at the workshop. We strongly encourage authors to ensure that any (variants of) examples are present in the bx example repository at the time of submission, and for tool papers, to allow for reproducibility with minimal effort, either via a virtual machine (e.g., via Share - http://share20.eu) or a dedicated website with relevant artifacts and tool access. All papers will be peer-reviewed by at least three members of the program committee. If a paper is accepted, one author of the paper is expected to participate in the workshop to present it. Authors of accepted tool papers are also expected to be available to demonstrate their tool at the event. Proceedings and Special Issue ============================= The workshop proceedings, including all accepted papers (except talk proposals), will be published electronically by CEUR-WS.org. A special issue open to all authors of papers in BX workshops over the past few years is planned. Program committee ================= * Co-chairs - James Cheney, University of Edinburgh, UK - Hsiang-Shang ‘Josh’ Ko, National Institute of Informatics, Japan * Members - Leopoldo Bertossi, Carleton University, Canada - Ravi Chugh, University of Chicago, US - Zinovy Diskin, McMaster University, Canada - Paolo Guagliardo, University of Edinburgh, UK - Jules Hedges, University of Oxford, UK - Michael Johnson, Macquarie University, Australia - Leen Lambers, Hasso Plattner Institute, University of Potsdam, Germany - Kazutaka Matsuda, Tohoku University, Japan - Anders Miltner, Princeton University, US - Alfonso Pierantonio, University of L'Aquila, Italy - Perdita Stevens, University of Edinburgh, UK - Daniel Strüber, University of Koblenz and Landau, Germany - Manuel Wimmer, Vienna University of Technology, Austria - Nicolas Wu, University of Bristol, UK -------------- next part -------------- An HTML attachment was scrubbed... URL: From Graham.Hutton at nottingham.ac.uk Tue Feb 5 08:54:58 2019 From: Graham.Hutton at nottingham.ac.uk (Graham Hutton) Date: Tue, 5 Feb 2019 08:54:58 +0000 Subject: [Haskell] Call for Participation: Midlands Graduate School, 14-18 April, Birmingham UK Message-ID: <3BECCE0A-6ABB-407E-ACC1-876BD5624A6F@exmail.nottingham.ac.uk> Dear all, Midlands Graduate School (MGS) registration is now open! Eight courses on property based testing, category theory, univalent type theory, lambda calculus, and more. 14-18 April 2019, Birmingham, UK. Spaces are limited, so register early. Please share! http://events.cs.bham.ac.uk/mgs2019/ Best wishes, Graham Hutton ============================================================ Midlands Graduate School 2019 14-18 April 2019, Birmingham, UK http://events.cs.bham.ac.uk/mgs2019/ BACKGROUND: The Midlands Graduate School (MGS) in the Foundations of Computing Science provides an intensive course of lectures on the mathematical foundations of computing. The MGS has been running since 1999, and is aimed at PhD students in their first or second year of study, but the school is open to everyone, and has increasingly seen participation from industry. We welcome participants from all over the world! COURSES: Eight courses will be given. Participants usually take all the introductory courses and choose additional options from the advanced courses depending on their interests. Invited course - Adventures in Property Based Testing, John Hughes Introductory courses - Lambda Calculus, Venanzio Capretta - Category Theory, Thorsten Altenkirch - Univalent Type Theory in Agda, Martn Escard Advanced courses - Calculating programs, Jennifer Hackett - Type Refinement Systems, Noam Zeilberger - Synthesis of Reactive Systems, Rayna Dimitrova - Monoidal Categories, Higher Categories, Jamie Vicary REGISTRATION: Registration is 220 for student, academic and independent participants, and 420 for industry participants. Accommodation is not included; please see the conference webpage for advice. The registration deadline is ** Sunday, 31 March **. Spaces are limited, so please register early to secure your place. SPONSORSHIP: We offer a range of sponsorship opportunities for industry (bronze, silver, gold and platinum), each with specific benefits. Please see the website for further details. ============================================================ 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 contact the sender and delete the email and attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. Email communications with the University of Nottingham may be monitored where permitted by law. From P.Achten at cs.ru.nl Tue Feb 5 10:11:03 2019 From: P.Achten at cs.ru.nl (Peter Achten) Date: Tue, 5 Feb 2019 11:11:03 +0100 Subject: [Haskell] [TFP'19] first call for papers: Trends in Functional Programming 2019, 12-14 June 2019, Vancouver, BC, CA Message-ID:                  -------------------------------                    C A L L  F O R  P A P E R S                  -------------------------------                       ====== TFP 2019 ======           20th Symposium on Trends in Functional Programming                            12-14 June, 2019                           Vancouver, BC, CA                   https://www.tfp2019.org/index.html == Important Dates == Submission Deadline            Thursday, March 28, 2019 Paper Notification             Thursday, May 2, 2019 TFPIE                          Tuesday, June 11, 2019 Symposium                      Wednesday, June 12, 2019 – Friday, June 14, 2019 Student Paper Feedback         Friday June 21, 2019 Submission for Formal Review   Thursday, August 1, 2019 Notification of Acceptance     Thursday, October 24, 2019 Camera Ready                   Friday, November 29, 2019 The symposium on Trends in Functional Programming (TFP) is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions (see below at scope). Please be aware that TFP uses two distinct rounds of submissions (see below at submission details). TFP 2019 will be the main event of a pair of functional programming events. TFP 2019 will be accompanied by the International Workshop on Trends in Functional Programming in Education (TFPIE), which will take place on June 11. == Scope == The symposium recognizes that new trends may arise through various routes. As part of the Symposium's focus on trends we therefore identify the following five article categories. High-quality articles are solicited in any of these categories:     Research Articles:         Leading-edge, previously unpublished research work     Position Articles:         On what new trends should or should not be     Project Articles:         Descriptions of recently started new projects     Evaluation Articles:         What lessons can be drawn from a finished project     Overview Articles:         Summarizing work with respect to a trendy subject Articles must be original and not simultaneously submitted for publication to any other forum. They may consider any aspect of functional programming: theoretical, implementation-oriented, or experience-oriented. Applications of functional programming techniques to other languages are also within the scope of the symposium. Topics suitable for the symposium include, but are not limited to:     Functional programming and multicore/manycore computing     Functional programming in the cloud     High performance functional computing     Extra-functional (behavioural) properties of functional programs     Dependently typed functional programming     Validation and verification of functional programs     Debugging and profiling for functional languages     Functional programming in different application areas:     security, mobility, telecommunications applications, embedded     systems, global computing, grids, etc.     Interoperability with imperative programming languages     Novel memory management techniques     Program analysis and transformation techniques     Empirical performance studies     Abstract/virtual machines and compilers for functional languages     (Embedded) domain specific languages     New implementation strategies     Any new emerging trend in the functional programming area If you are in doubt on whether your article is within the scope of TFP, please contact the TFP 2019 program chairs, William J. Bowman and Ron Garcia. == Best Paper Awards == To reward excellent contributions, TFP awards a prize for the best paper accepted for the formal proceedings. TFP traditionally pays special attention to research students, acknowledging that students are almost by definition part of new subject trends. A student paper is one for which the authors state that the paper is mainly the work of students, the students are listed as first authors, and a student would present the paper. A prize for the best student paper is awarded each year. In both cases, it is the PC of TFP that awards the prize. In case the best paper happens to be a student paper, that paper will then receive both prizes. == Instructions to Author == Papers must be submitted at:     https://easychair.org/conferences/?conf=tfp2019 Authors of papers have the choice of having their contributions formally reviewed either before or after the Symposium. == Pre-symposium formal review == Papers to be formally reviewed before the symposium should be submitted before an early deadline and receive their reviews and notification of acceptance for both presentation and publication before the symposium. A paper that has been rejected in this process may still be accepted for presentation at the symposium, but will not be considered for the post-symposium formal review. == Post-symposium formal review == Draft papers will receive minimal reviews and notification of acceptance for presentation at the symposium. Authors of draft papers will be invited to submit revised papers based on the feedback receive at the symposium. A post-symposium refereeing process will then select a subset of these articles for formal publication. == Paper categories == Draft papers and papers submitted for formal review are submitted as extended abstracts (4 to 10 pages in length) or full papers (20 pages). The submission must clearly indicate which category it belongs to: research, position, project, evaluation, or overview paper. It should also indicate which authors are research students, and whether the main author(s) are students. A draft paper for which all authors are students will receive additional feedback by one of the PC members shortly after the symposium has taken place. == Format == Papers must be written in English, and written using the LNCS style. For more information about formatting please consult the Springer LNCS web site. == Program Committee == Program Co-chairs William J. Bowman          University of British Columbia Ronald Garcia              University of British Columbia Matteo Cimini              University of Massachusetts Lowell Ryan Culpepper             Czech Technical Institute Joshua Dunfield            Queen's University Sam Lindley                University of Edinburgh Assia Mahboubi             INRI Nantes Christine Rizkallah        University of New South Wales Satnam Singh Marco T. Morazán           Seton Hall University John Hughes                Chalmers University and Quviq Nicolas Wu                 University of Bristol Tom Schrijvers             KU Leuven Scott Smith                Johns Hopkins University Stephanie Balzer           Carnegie Mellon University Viktória Zsók              Eötvös Loránd University From ms at chalmers.se Tue Feb 5 12:09:22 2019 From: ms at chalmers.se (Mary Sheeran) Date: Tue, 5 Feb 2019 13:09:22 +0100 Subject: [Haskell] postdoc position in the Functional Programming Group at Chalmers Message-ID: In the Functional Programming group at Chalmers, we are recruiting a postdoc for two years to work on verification of machine learning algorithms. March 15th 2019 is the deadline for applications, which should be submitted through the Chalmers portal (see the ad below). http://www.chalmers.se/en/about-chalmers/Working-at-Chalmers/Vacancies/Pages/default.aspx?rmpage=job&rmjob=7203 If you have any questions, do not hesitate to get in touch. Please spread the ad far and wide to your contacts. with best wishes Mary Sheeran (ms at chalmers.se) -------------- next part -------------- An HTML attachment was scrubbed... URL: From meng.wang at bristol.ac.uk Thu Feb 7 23:20:10 2019 From: meng.wang at bristol.ac.uk (Meng Wang) Date: Thu, 7 Feb 2019 23:20:10 +0000 Subject: [Haskell] PhD studentships in FP at Bristol Message-ID: Hi list, The programming language group at the University of Bristol is looking for up to three more PhD students in the broad area of functional programming, verification, and testing to join a very dynamic group of FP researchers. http://www.bristol.ac.uk/engineering/departments/computerscience/people/meng-wang/overview.html http://www.bristol.ac.uk/engineering/departments/computerscience/people/steven-j-ramsay/overview.html http://www.bristol.ac.uk/engineering/departments/computerscience/people/nicolas-wu/overview.html The positions are fully funded, and with additional bursaries for attending conferences. The ideal candidates will have a strong background in functional programming, especially Haskell, and an appetite for cutting-edge research. For enquiries, please email meng.wang at bristol.ac.uk before February 22nd. Best regards, Meng -------------- next part -------------- An HTML attachment was scrubbed... URL: From P.Achten at cs.ru.nl Fri Feb 8 08:38:12 2019 From: P.Achten at cs.ru.nl (Peter Achten) Date: Fri, 8 Feb 2019 09:38:12 +0100 Subject: [Haskell] [TFP'19] first call for papers: Trends in Functional Programming 2019, 12-14 June 2019, Vancouver, BC, CA (corrected dates and instructions) Message-ID: <893850ad-2601-ea08-338a-672bc274a17e@cs.ru.nl>                  -------------------------------                    C A L L  F O R  P A P E R S                  -------------------------------                       ====== TFP 2019 ======           20th Symposium on Trends in Functional Programming                            12-14 June, 2019                           Vancouver, BC, CA                   https://www.tfp2019.org/index.html == Important Dates == Submission Deadline for pre-symposium formal review    Thursday, March 28, 2019 Sumbission Deadline for Draft Papers                   Thursday, May 9, 2019 Notification for pre-symposium submissions             Thursday, May 2, 2019 Notification for Draft Papers                          Tuesday, May 14, 1029 TFPIE                                                  Tuesday, June 11, 2019 Symposium Wednesday, June 12, 2019 – Friday, June 14, 2019 Notification of Student Paper Feedback                 Friday June 21, 2019 Submission Deadline for revised Draft Papers (post-symposium formal review)                                                        Thursday, August 1, 2019 Notification for post-symposium submissions            Thursday, October 24, 2019 Camera Ready Deadline (both pre- and post-symposium)   Friday, November 29, 2019 The symposium on Trends in Functional Programming (TFP) is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions (see below at scope). Please be aware that TFP uses two distinct rounds of submissions (see below at submission details). TFP 2019 will be the main event of a pair of functional programming events. TFP 2019 will be accompanied by the International Workshop on Trends in Functional Programming in Education (TFPIE), which will take place on June 11. == Scope == The symposium recognizes that new trends may arise through various routes. As part of the Symposium's focus on trends we therefore identify the following five article categories. High-quality articles are solicited in any of these categories:     Research Articles:         Leading-edge, previously unpublished research work     Position Articles:         On what new trends should or should not be     Project Articles:         Descriptions of recently started new projects     Evaluation Articles:         What lessons can be drawn from a finished project     Overview Articles:         Summarizing work with respect to a trendy subject Articles must be original and not simultaneously submitted for publication to any other forum. They may consider any aspect of functional programming: theoretical, implementation-oriented, or experience-oriented. Applications of functional programming techniques to other languages are also within the scope of the symposium. Topics suitable for the symposium include, but are not limited to:     Functional programming and multicore/manycore computing     Functional programming in the cloud     High performance functional computing     Extra-functional (behavioural) properties of functional programs     Dependently typed functional programming     Validation and verification of functional programs     Debugging and profiling for functional languages     Functional programming in different application areas:     security, mobility, telecommunications applications, embedded     systems, global computing, grids, etc.     Interoperability with imperative programming languages     Novel memory management techniques     Program analysis and transformation techniques     Empirical performance studies     Abstract/virtual machines and compilers for functional languages     (Embedded) domain specific languages     New implementation strategies     Any new emerging trend in the functional programming area If you are in doubt on whether your article is within the scope of TFP, please contact the TFP 2019 program chairs, William J. Bowman and Ron Garcia. == Best Paper Awards == To reward excellent contributions, TFP awards a prize for the best paper accepted for the formal proceedings. TFP traditionally pays special attention to research students, acknowledging that students are almost by definition part of new subject trends. A student paper is one for which the authors state that the paper is mainly the work of students, the students are listed as first authors, and a student would present the paper. A prize for the best student paper is awarded each year. In both cases, it is the PC of TFP that awards the prize. In case the best paper happens to be a student paper, that paper will then receive both prizes. == Instructions to Author == Papers must be submitted at:     https://easychair.org/conferences/?conf=tfp2019 Authors of papers have the choice of having their contributions formally reviewed either before or after the Symposium. == Pre-symposium formal review == Papers to be formally reviewed before the symposium should be submitted before an early deadline and receive their reviews and notification of acceptance for both presentation and publication before the symposium. A paper that has been rejected in this process may still be accepted for presentation at the symposium, but will not be considered for the post-symposium formal review. == Post-symposium formal review == Papers submitted for post-symposium review (draft papers) will receive minimal reviews and notification of acceptance for presentation at the symposium. Authors of draft papers will be invited to submit revised papers based on the feedback received at the symposium. A post-symposium refereeing process will then select a subset of these articles for formal publication. == Paper categories == There are two types of submission, each of which can be submitted either for pre-symposium or post-symposium review:     Extended abstracts. Extended abstracts are 4 to 10 pages in length.     Full papers.        Full papers are up to 20 pages in length. Each submission also belongs to a category:     research     position     project     evaluation     overview paper Each submission should clearly indicate to which category it belongs. Additionally, a draft paper submission—of either type (extended abstract or full paper) and any category—can be considered a student paper. A student paper is one for which primary authors are research students and the majority of the work described was carried out by the students. The submission should indicate that it is a student paper. Student papers will receive additional feedback from the PC shortly after the symposium has taken place and before the post-symposium submission deadline. Feedback is only provided for accepted student papers, i.e., papers submitted for presentation and post-symposium formal review that are accepted for presentation. If a student paper is rejected for presentation, then it receives no further feedback and cannot be submitted for post-symposium review. == Format == Papers must be written in English, and written using the LNCS style. For more information about formatting please consult the Springer LNCS web site (http://www.springer.com/lncs). == Program Committee == Program Co-chairs William J. Bowman          University of British Columbia Ronald Garcia              University of British Columbia Matteo Cimini              University of Massachusetts Lowell Ryan Culpepper             Czech Technical Institute Joshua Dunfield            Queen's University Sam Lindley                University of Edinburgh Assia Mahboubi             INRIA Nantes Christine Rizkallah        University of New South Wales Satnam Singh Marco T. Morazán           Seton Hall University John Hughes                Chalmers University and Quviq Nicolas Wu                 University of Bristol Tom Schrijvers             KU Leuven Scott Smith                Johns Hopkins University Stephanie Balzer           Carnegie Mellon University Viktória Zsók              Eötvös Loránd University From nikoshaskell at gmail.com Sun Feb 10 19:27:18 2019 From: nikoshaskell at gmail.com (Nikos Karagiannidis) Date: Sun, 10 Feb 2019 21:27:18 +0200 Subject: [Haskell] ANN:DBFunctor-0.1.1.0 - Functional Data Management / ETL Data Processing in Haskell Message-ID: Dear all, I am pleased to announce the release of *DBFunctor 0.1.1.0* https://hackage.haskell.org/package/DBFunctor-0.1.1.0 DBFunctor is a Haskell library for ETL (Extract Transform and Load) data processing. It comes with an embedded type-level DSL called *Julius* that enables full SQL functionality over tabular data (e.g., CSV files) but also the ability to write a full ETL data processing flow. Currently, DBFunctor can be used for *in-memory data processing* in Haskell, without the need for some external database. The most notable change in this new release is the full support of *DML (Data Manipulation Language) operations*. I.e., Insert (single tuple), Insert-Into-Select, Delete, Update, *Upsert *(Merge) operations have been implemented along with the corresponding Julius clauses. Other changes includes: - Implemented string aggregate function string_agg (listagg in Oracle) and the corresponding Julius clause - Implemented Julius Aggregate clauses: CountDist and CountStar (count(distinct col) clause and count(*)) - Implemented semi-join operation and corresponding Julius clause - Implemented anti-join operation and corresponding Julius clause - Added support for UTCTime values - Solved CSV orphan instances problem - Various other fixes For any issues/problems with the DBFunctor package please open an issue on github. Happy data processing! Thank you. Best Regards, Nikos -------------- next part -------------- An HTML attachment was scrubbed... URL: From yazan.mualla at utbm.fr Mon Feb 11 13:14:14 2019 From: yazan.mualla at utbm.fr (Yazan Mualla) Date: Mon, 11 Feb 2019 14:14:14 +0100 (CET) Subject: [Haskell] CFP The 1st International Workshop on EXplainable, TRansparent, Autonomous Agents and Multi-Agent Systems (EXTRAAMAS-19) In-Reply-To: <2105961674.365762608.1548691436566.JavaMail.zimbra@utbm.fr> References: <1110125971.315891852.1547391192718.JavaMail.zimbra@utbm.fr> <2105961674.365762608.1548691436566.JavaMail.zimbra@utbm.fr> Message-ID: <870611931.414999880.1549890854691.JavaMail.zimbra@utbm.fr> CALL FOR PAPERS The 1st International Workshop on EXplainable, TRansparent, Autonomous Agents and Multi-Agent Systems (EXTRAAMAS-19) In conjunction with the International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2019) 13th and 14th of May 2019 in Montreal, Canada. https://extraamas.ehealth.hevs.ch ------------------------------------------------------------------------------------------- Description ========== The aim of the EXTRAAMAS-19 workshop is to: - Establish a common ground for the study and development of explainable and understandable autonomous agents, robots and multi-agent systems, - Investigate the potential of agent-based systems in the development of personalized user-aware explainable AI, - Assess the impact of transparent and explained solutions on user/agents behaviors, and - Discuss motivating examples and concrete applications in which the lack of explainability leads to problems that can be resolved by explainability. ---------------------------------------------- Topics ====== The main topics of the EXTRAAMAS-19 workshop are (but not restricted to): - Explainable agent architectures - Adaptive and personalized explainable agents - Explainable human-robot interaction - Expressive robots - Explainable planning - Explanation visualization - Explainable agents’ applications: (e-health, smart environment, driving companion, recommender systems, coaching agents, etc.) - Explainable agents’ applications: (e-health, smart environment, driving companion, recommender systems, coaching agents, etc.) - Reinforcement learning agents - Cognitive and social sciences perspectives on explanations - Legal aspects of explainable agents ---------------------------------------------- Important Dates ============== - Deadline for Submissions: February 20, 2019 - Notification of acceptance: March 10, 2019 - Camera-ready: April 1, 2019 - Workshop: May 13-14, 2019 ---------------------------------------------- Submission ========= Submissions will be reviewed by at least three members of the programme committee, who are experts in the field. The acceptance of the submitted papers will depend on their quality, relevance, and originality. To conduct this process, the chairs will rely on easychair to make the reviewing procedure traceable, transparent and accessible. In the case of accepted papers characterized by relevant demands (e.g., clarifications, changes, corrections) set by the reviewers, the final acceptance will be subject to their accomplishment. Accepted papers will be published in the Springer proceedings Lecture Notes in Artificial Intelligence (LNAI). Participants are therefore invited to submit papers up to 16 pages in length, addressing the topics of the workshop. Papers must be edited using the LNCS format (applying the LNCS proceedings template), and have to be submitted electronically as PDF files via the EasyChair submission page. The top papers will be published in Special Issue of a journal with a relevant impact factor (to be announced). ---------------------------------------------- Program Chairs ============= - Kary Främling (Umeå University, Sweden / Aalto University, Finland) - Davide Calvaresi (University of Applied Sciences Western Switzerland (HES-SO), Switzerland) - Amro Najjar (Umeå University, Sweden) - Michael Schumacher (University of Applied Sciences Western Switzerland (HES-SO), Switzerland) ---------------------------------------------- Advisory Board ============= - Virginia Dignum (Umeå University, Sweden) - Tim Miller (University of Melbourne, Australia) - Catholijn M. Jonker (TU Delft / LIACS Leiden University, The Netherlands) ---------------------------------------------- Publicity Chairs ============== - Yazan Mualla (Univ. de Technologie de Belfort-Montbeliard, France) - Timotheus Kampik (Umeå University, Sweden) ---------------------------------------------- Program Committee ================= To be announced. -------------- next part -------------- An HTML attachment was scrubbed... URL: From aneta.poniszewska-maranda at p.lodz.pl Tue Feb 12 18:19:29 2019 From: aneta.poniszewska-maranda at p.lodz.pl (Aneta =?utf-8?Q?Poniszewska-Mara=C5=84da?=) Date: Tue, 12 Feb 2019 19:19:29 +0100 (CET) Subject: [Haskell] SEIT-19 CFPs: The 9th International Conference on Sustainable Energy Information Technology (August 19-21, 2019, Halifax, Canada) In-Reply-To: <668462891.56352.1548921830942.JavaMail.zimbra@p.lodz.pl> References: <668462891.56352.1548921830942.JavaMail.zimbra@p.lodz.pl> Message-ID: <504325199.380959.1549995569649.JavaMail.zimbra@p.lodz.pl> --- Politechnika Łódzka Lodz University of Technology Treść tej wiadomości zawiera informacje przeznaczone tylko dla adresata. Jeżeli nie jesteście Państwo jej adresatem, bądź otrzymaliście ją przez pomyłkę prosimy o powiadomienie o tym nadawcy oraz trwałe jej usunięcie. This email contains information intended solely for the use of the individual to whom it is addressed. If you are not the intended recipient or if you have received this message in error, please notify the sender and delete it from your system. -------------- next part -------------- A non-text attachment was scrubbed... Name: SEIT19_Flyer.pdf Type: application/pdf Size: 790763 bytes Desc: not available URL: From icfp.publicity at googlemail.com Wed Feb 13 18:15:01 2019 From: icfp.publicity at googlemail.com (Sam Tobin-Hochstadt) Date: Wed, 13 Feb 2019 13:15:01 -0500 Subject: [Haskell] Third Call for Papers: PACMPL issue ICFP 2019 Message-ID: <5c645ea5d562d_1b92abe6f8c25b43454d@hermes.mail> PACMPL Volume 3, Issue ICFP 2019 Call for Papers accepted papers to be invited for presentation at The 24th ACM SIGPLAN International Conference on Functional Programming Berlin, Germany http://icfp19.sigplan.org/ ### Important dates Submissions due: 1 March 2019 (Friday) Anywhere on Earth https://icfp19.hotcrp.com Author response: 16 April (Tuesday) - 18 Apri (Friday) 14:00 UTC Notification: 3 May (Friday) Final copy due: 22 June (Saturday) Conference: 18 August (Sunday) - 23 August (Friday) ### About PACMPL Proceedings of the ACM on Programming Languages (PACMPL ) is a Gold Open Access journal publishing research on all aspects of programming languages, from design to implementation and from mathematical formalisms to empirical studies. Each issue of the journal is devoted to a particular subject area within programming languages and will be announced through publicized Calls for Papers, like this one. ### Scope [PACMPL](https://pacmpl.acm.org/) issue ICFP 2019 seeks original papers on the art and science of functional programming. Submissions are invited on all topics from principles to practice, from foundations to features, and from abstraction to application. The scope includes all languages that encourage functional programming, including both purely applicative and imperative languages, as well as languages with objects, concurrency, or parallelism. Topics of interest include (but are not limited to): * *Language Design*: concurrency, parallelism, and distribution; modules; components and composition; metaprogramming; type systems; interoperability; domain-specific languages; and relations to imperative, object-oriented, or logic programming. * *Implementation*: abstract machines; virtual machines; interpretation; compilation; compile-time and run-time optimization; garbage collection and memory management; multi-threading; exploiting parallel hardware; interfaces to foreign functions, services, components, or low-level machine resources. * *Software-Development Techniques*: algorithms and data structures; design patterns; specification; verification; validation; proof assistants; debugging; testing; tracing; profiling. * *Foundations*: formal semantics; lambda calculus; rewriting; type theory; monads; continuations; control; state; effects; program verification; dependent types. * *Analysis and Transformation*: control-flow; data-flow; abstract interpretation; partial evaluation; program calculation. * *Applications*: symbolic computing; formal-methods tools; artificial intelligence; systems programming; distributed-systems and web programming; hardware design; databases; XML processing; scientific and numerical computing; graphical user interfaces; multimedia and 3D graphics programming; scripting; system administration; security. * *Education*: teaching introductory programming; parallel programming; mathematical proof; algebra. Submissions will be evaluated according to their relevance, correctness, significance, originality, and clarity. Each submission should explain its contributions in both general and technical terms, clearly identifying what has been accomplished, explaining why it is significant, and comparing it with previous work. The technical content should be accessible to a broad audience. PACMPL issue ICFP 2019 also welcomes submissions in two separate categories — Functional Pearls and Experience Reports — that must be marked as such at the time of submission and that need not report original research results. Detailed guidelines on both categories are given at the end of this call. Please contact the principal editor if you have questions or are concerned about the appropriateness of a topic. ### Preparation of submissions **Deadline**: The deadline for submissions is **Friday, March 1, 2019**, Anywhere on Earth (). This deadline will be strictly enforced. **Formatting**: Submissions must be in PDF format, printable in black and white on US Letter sized paper, and interpretable by common PDF tools. All submissions must adhere to the "ACM Small" template that is available (in both LaTeX and Word formats) from . For authors using LaTeX, a lighter-weight package, including only the essential files, is available from . There is a limit of **25 pages for a full paper or Functional Pearl** and **12 pages for an Experience Report**; in either case, the bibliography will not be counted against these limits. Submissions that exceed the page limits or, for other reasons, do not meet the requirements for formatting, will be summarily rejected. Supplementary material can and should be **separately** submitted (see below). See also PACMPL's Information and Guidelines for Authors at . **Submission**: Submissions will be accepted at Improved versions of a paper may be submitted at any point before the submission deadline using the same web interface. **Author Response Period**: Authors will have a 72-hour period, starting at 14:00 UTC on **Tuesday, April 16, 2019**, to read reviews and respond to them. **Supplementary Material**: Authors have the option to attach supplementary material to a submission, on the understanding that reviewers may choose not to look at it. This supplementary material should **not** be submitted as part of the main document; instead, it should be uploaded as a **separate** PDF document or tarball. Supplementary material should be uploaded **at submission time**, not by providing a URL in the paper that points to an external repository. Authors are free to upload both anonymized and non-anonymized supplementary material. Anonymized supplementary material will be visible to reviewers immediately; non-anonymized supplementary material will be revealed to reviewers only after they have submitted their review of the paper and learned the identity of the author(s). **Authorship Policies**: All submissions are expected to comply with the ACM Policies for Authorship that are detailed at . **Republication Policies**: Each submission must adhere to SIGPLAN's republication policy, as explained on the web at . **Resubmitted Papers**: Authors who submit a revised version of a paper that has previously been rejected by another conference have the option to attach an annotated copy of the reviews of their previous submission(s), explaining how they have addressed these previous reviews in the present submission. If a reviewer identifies him/herself as a reviewer of this previous submission and wishes to see how his/her comments have been addressed, the principal editor will communicate to this reviewer the annotated copy of his/her previous review. Otherwise, no reviewer will read the annotated copies of the previous reviews. ### Review Process This section outlines the two-stage process with lightweight double-blind reviewing that will be used to select papers for PACMPL issue ICFP 2019. We anticipate that there will be a need to clarify and expand on this process, and we will maintain a list of frequently asked questions and answers on the conference website to address common concerns. **PACMPL issue ICFP 2019 will employ a two-stage review process.** The first stage in the review process will assess submitted papers using the criteria stated above and will allow for feedback and input on initial reviews through the author response period mentioned previously. At the review meeting, a set of papers will be conditionally accepted and all other papers will be rejected. Authors will be notified of these decisions on **May 3, 2019**. Authors of conditionally accepted papers will be provided with committee reviews (just as in previous conferences) along with a set of mandatory revisions. After four weeks (May 31, 2019), the authors will provide a second submission. The second and final reviewing phase assesses whether the mandatory revisions have been adequately addressed by the authors and thereby determines the final accept/reject status of the paper. The intent and expectation is that the mandatory revisions can be addressed within four weeks and hence that conditionally accepted papers will in general be accepted in the second phase. The second submission should clearly identify how the mandatory revisions were addressed. To that end, the second submission must be accompanied by a cover letter mapping each mandatory revision request to specific parts of the paper. The cover letter will facilitate a quick second review, allowing for confirmation of final acceptance within two weeks. Conversely, the absence of a cover letter will be grounds for the paper’s rejection. **PACMPL issue ICFP 2019 will employ a lightweight double-blind reviewing process.** To facilitate this, submitted papers must adhere to two rules: 1. **author names and institutions must be omitted**, and 2. **references to authors' own related work should be in the third person** (e.g., not "We build on our previous work ..." but rather "We build on the work of ..."). The purpose of this process is to help the reviewers come to an initial judgement about the paper without bias, not to make it impossible for them to discover the authors if they were to try. Nothing should be done in the name of anonymity that weakens the submission or makes the job of reviewing the paper more difficult (e.g., important background references should not be omitted or anonymized). In addition, authors should feel free to disseminate their ideas or draft versions of their paper as they normally would. For instance, authors may post drafts of their papers on the web or give talks on their research ideas. ### Information for Authors of Accepted Papers * As a condition of acceptance, final versions of all papers must adhere to the new ACM Small format. The page limit for the final versions of papers will be increased by two pages to help authors respond to reviewer comments and mandatory revisions: **27 pages plus bibliography for a regular paper or Functional Pearl, 14 pages plus bibliography for an Experience Report**. * Authors of accepted submissions will be required to agree to one of the three ACM licensing options: open access on payment of a fee (**recommended**, and SIGPLAN can cover the cost as described next); copyright transfer to ACM; or retaining copyright but granting ACM exclusive publication rights. Further information about ACM author rights is available from . * PACMPL is a Gold Open Access journal. It will be archived in ACM’s Digital Library, but no membership or fee is required for access. Gold Open Access has been made possible by generous funding through ACM SIGPLAN, which will cover all open access costs in the event authors cannot. Authors who can cover the costs may do so by paying an Article Processing Charge (APC). PACMPL, SIGPLAN, and ACM Headquarters are committed to exploring routes to making Gold Open Access publication both affordable and sustainable. * ACM offers authors a range of copyright options, one of which is Creative Commons CC-BY publication; this is the option recommended by the PACMPL editorial board. A reasoned argument in favour of this option can be found in the article [Why CC-BY?](https://oaspa.org/why-cc-by/) published by OASPA, the Open Access Scholarly Publishers Association. * We intend that the papers will be freely available for download from the ACM Digital Library in perpetuity via the OpenTOC mechanism. * ACM Author-Izer is a unique service that enables ACM authors to generate and post links on either their home page or institutional repository for visitors to download the definitive version of their articles from the ACM Digital Library at no charge. Downloads through Author-Izer links are captured in official ACM statistics, improving the accuracy of usage and impact measurements. Consistently linking to the definitive version of an ACM article should reduce user confusion over article versioning. After an article has been published and assigned to the appropriate ACM Author Profile pages, authors should visit to learn how to create links for free downloads from the ACM DL. * At least one author of each accepted submissions will be expected to attend and present their paper at the conference. The schedule for presentations will be determined and shared with authors after the full program has been selected. Presentations will be videotaped and released online if the presenter consents. * The official publication date is the date the papers are made available in the ACM Digital Library. This date may be up to *two weeks prior* to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work. ### Artifact Evaluation Authors of papers that are conditionally accepted in the first phase of the review process will be encouraged (but not required) to submit supporting materials for Artifact Evaluation. These items will then be reviewed by an Artifact Evaluation Committee, separate from the paper Review Committee, whose task is to assess how the artifacts support the work described in the associated paper. Papers that go through the Artifact Evaluation process successfully will receive a seal of approval printed on the papers themselves. Authors of accepted papers will be encouraged to make the supporting materials publicly available upon publication of the papers, for example, by including them as "source materials" in the ACM Digital Library. An additional seal will mark papers whose artifacts are made available, as outlined in the ACM guidelines for artifact badging. Participation in Artifact Evaluation is voluntary and will not influence the final decision regarding paper acceptance. ### Special categories of papers In addition to research papers, PACMPL issue ICFP solicits two kinds of papers that do not require original research contributions: Functional Pearls, which are full papers, and Experience Reports, which are limited to half the length of a full paper. Authors submitting such papers should consider the following guidelines. #### Functional Pearls A Functional Pearl is an elegant essay about something related to functional programming. Examples include, but are not limited to: * a new and thought-provoking way of looking at an old idea * an instructive example of program calculation or proof * a nifty presentation of an old or new data structure * an interesting application of functional programming techniques * a novel use or exposition of functional programming in the classroom While pearls often demonstrate an idea through the development of a short program, there is no requirement or expectation that they do so. Thus, they encompass the notions of theoretical and educational pearls. Functional Pearls are valued as highly and judged as rigorously as ordinary papers, but using somewhat different criteria. In particular, a pearl is not required to report original research, but, it should be concise, instructive, and entertaining. A pearl is likely to be rejected if its readers get bored, if the material gets too complicated, if too much specialized knowledge is needed, or if the writing is inelegant. The key to writing a good pearl is polishing. A submission that is intended to be treated as a pearl must be marked as such on the submission web page, and should contain the words "Functional Pearl" somewhere in its title or subtitle. These steps will alert reviewers to use the appropriate evaluation criteria. Pearls will be combined with ordinary papers, however, for the purpose of computing the conference's acceptance rate. #### Experience Reports The purpose of an Experience Report is to help create a body of published, refereed, citable evidence that functional programming really works — or to describe what obstacles prevent it from working. Possible topics for an Experience Report include, but are not limited to: * insights gained from real-world projects using functional programming * comparison of functional programming with conventional programming in the context of an industrial project or a university curriculum * project-management, business, or legal issues encountered when using functional programming in a real-world project * curricular issues encountered when using functional programming in education * real-world constraints that created special challenges for an implementation of a functional language or for functional programming in general An Experience Report is distinguished from a normal PACMPL issue ICFP paper by its title, by its length, and by the criteria used to evaluate it. * Both in the papers and in any citations, the title of each accepted Experience Report must end with the words "(Experience Report)" in parentheses. The acceptance rate for Experience Reports will be computed and reported separately from the rate for ordinary papers. * Experience Report submissions can be at most 12 pages long, excluding bibliography. * Each accepted Experience Report will be presented at the conference, but depending on the number of Experience Reports and regular papers accepted, authors of Experience reports may be asked to give shorter talks. * Because the purpose of Experience Reports is to enable our community to accumulate a body of evidence about the efficacy of functional programming, an acceptable Experience Report need not add to the body of knowledge of the functional-programming community by presenting novel results or conclusions. It is sufficient if the Report states a clear thesis and provides supporting evidence. The thesis must be relevant to ICFP, but it need not be novel. The review committee will accept or reject Experience Reports based on whether they judge the evidence to be convincing. Anecdotal evidence will be acceptable provided it is well argued and the author explains what efforts were made to gather as much evidence as possible. Typically, more convincing evidence is obtained from papers which show how functional programming was used than from papers which only say that functional programming was used. The most convincing evidence often includes comparisons of situations before and after the introduction or discontinuation of functional programming. Evidence drawn from a single person's experience may be sufficient, but more weight will be given to evidence drawn from the experience of groups of people. An Experience Report should be short and to the point: it should make a claim about how well functional programming worked on a particular project and why, and produce evidence to substantiate this claim. If functional programming worked in this case in the same ways it has worked for others, the paper need only summarize the results — the main part of the paper should discuss how well it worked and in what context. Most readers will not want to know all the details of the project and its implementation, but the paper should characterize the project and its context well enough so that readers can judge to what degree this experience is relevant to their own projects. The paper should take care to highlight any unusual aspects of the project. Specifics about the project are more valuable than generalities about functional programming; for example, it is more valuable to say that the team delivered its software a month ahead of schedule than it is to say that functional programming made the team more productive. If the paper not only describes experience but also presents new technical results, or if the experience refutes cherished beliefs of the functional-programming community, it may be better to submit it as a full paper, which will be judged by the usual criteria of novelty, originality, and relevance. The principal editor will be happy to advise on any concerns about which category to submit to. ### ICFP Organizers General Chair: Derek Dreyer (MPI-SWS, Germany) Artifact Evaluation Co-Chairs: Simon Marlow (Facebook, UK) Industrial Relations Chair: Alan Jeffrey (Mozilla Research, USA) Programming Contest Organiser: Ilya Sergey (Yale-NUS College, Singapore) Publicity and Web Chair: Sam Tobin-Hochstadt (Indiana University, USA) Student Research Competition Chair: William J. Bowman (University of British Columbia, Canada) Workshops Co-Chair: Christophe Scholliers (Universiteit Gent, Belgium) Jennifer Hackett (University of Nottingham, UK) Conference Manager: Annabel Satin (P.C.K.) ### PACMPL Volume 3, Issue ICFP 2019 Principal Editor: François Pottier (Inria, France) Review Committee: Lennart Beringer (Princeton University, United States) Joachim Breitner (DFINITY Foundation, Germany) Laura M. Castro (University of A Coruña, Spain) Ezgi Çiçek (Facebook London, United Kingdom) Pierre-Evariste Dagand (LIP6/CNRS, France) Christos Dimoulas (Northwestern University, United States) Jacques-Henri Jourdan (CNRS, LRI, Université Paris-Sud, France) Andrew Kennedy (Facebook London, United Kingdom) Daan Leijen (Microsoft Research, United States) Kazutaka Matsuda (Tohoku University, Japan) Bruno C. d. S. Oliveira (University of Hong Kong, China) Klaus Ostermann (University of Tübingen, Germany) Jennifer Paykin (Galois, United States) Frank Pfenning (Carnegie Mellon University, USA) Mike Rainey (Indiana University, USA) Chung-chieh Shan (Indiana University, USA) Sam Staton (University of Oxford, UK) Pierre-Yves Strub (Ecole Polytechnique, France) German Vidal (Universitat Politecnica de Valencia, Spain) External Review Committee: Michael D. Adams (University of Utah, USA) Robert Atkey (University of Strathclyde, IK) Sheng Chen (University of Louisiana at Lafayette, USA) James Cheney (University of Edinburgh, UK) Adam Chlipala (Massachusetts Institute of Technology, USA) Evelyne Contejean (LRI, Université Paris-Sud, France) Germán Andrés Delbianco (IRIF, Université Paris Diderot, France) Dominique Devriese (Vrije Universiteit Brussel, Belgium) Richard A. Eisenberg (Bryn Mawr College, USA) Conal Elliott (Target, USA) Sebastian Erdweg (Delft University of Technology, Netherlands) Michael Greenberg (Pomona College, USA) Adrien Guatto (IRIF, Université Paris Diderot, France) Jennifer Hackett (University of Nottingham, UK) Troels Henriksen (University of Copenhagen, Denmark) Chung-Kil Hur (Seoul National University, Republic of Korea) Roberto Ierusalimschy (PUC-Rio, Brazil) Ranjit Jhala (University of California, San Diego, USA) Ralf Jung (MPI-SWS, Germany) Ohad Kammar (University of Oxford, UK) Oleg Kiselyov (Tohoku University, Japan) Hsiang-Shang ‘Josh’ Ko (National Institute of Informatics, Japan) Ondřej Lhoták (University of Waterloo, Canada) Dan Licata (Wesleyan University, USA) Geoffrey Mainland (Drexel University, USA) Simon Marlow (Facebook, UK) Akimasa Morihata (University of Tokyo, Japan) Shin-Cheng Mu (Academia Sinica, Taiwan) Guillaume Munch-Maccagnoni (Inria, France) Kim Nguyễn (University of Paris-Sud, France) Ulf Norell (Gothenburg University, Sweden) Atsushi Ohori (Tohoku University, Japan) Rex Page (University of Oklahoma, USA) Zoe Paraskevopoulou (Princeton University, USA) Nadia Polikarpova (University of California, San Diego, USA) Jonathan Protzenko (Microsoft Research, USA) Tiark Rompf (Purdue University, USA) Andreas Rossberg (Dfinity, Germany) KC Sivaramakrishnan (University of Cambridge, UI) Nicholas Smallbone (Chalmers University of Technology, Sweden) Matthieu Sozeau (Inria, France) Sandro Stucki (Chalmers | University of Gothenburg, Sweden) Don Syme (Microsoft, UK) Zachary Tatlock (University of Washington, USA) Sam Tobin-Hochstadt (Indiana University, USA) Takeshi Tsukada (University of Tokyo, Japan) Tarmo Uustalu (Reykjavik University, Iceland) Benoit Valiron (LRI, CentraleSupelec, Univ. Paris Saclay, France) Daniel Winograd-Cort (University of Pennsylvania, USA) Nicolas Wu (University of Bristol, UK) From icfp.publicity at googlemail.com Wed Feb 13 18:29:22 2019 From: icfp.publicity at googlemail.com (Sam Tobin-Hochstadt) Date: Wed, 13 Feb 2019 13:29:22 -0500 Subject: [Haskell] Call for Submissions: ICFP Student Research Competition Message-ID: <5c646202b8478_77d2b0585e545c41005dd@hermes.mail> ICFP 2019 Student Research Competition Call for Submissions ICFP invites students to participate in the Student Research Competition in order to present their research and get feedback from prominent members of the programming language research community. Please submit your extended abstracts through the submission website. ### Important dates Submissions due: 14 Jun 2019 (Friday) https://icfp19src.hotcrp.com Notification: 28 Jun 2019 (Friday) Conference: 18 August (Sunday) - 23 August (Friday) Each submission (referred to as "abstract" below) should include the student author’s name and e-mail address; institutional affiliation; research advisor’s name; ACM student member number; category (undergraduate or graduate); research title; and an extended abstract addressing the following: * Problem and Motivation: Clearly state the problem being addressed and explain the reasons for seeking a solution to this problem. * Background and Related Work: Describe the specialized (but pertinent) background necessary to appreciate the work in the context of ICFP areas of interest. Include references to the literature where appropriate, and briefly explain where your work departs from that done by others. * Approach and Uniqueness: Describe your approach in addressing the problem and clearly state how your approach is novel. * Results and Contributions: Clearly show how the results of your work contribute to programming language design and implementation in particular and to computer science in general; explain the significance of those results. * Submissions must be original research that is not already published at ICFP or another conference or journal. One of the goals of the SRC is to give students feedback on ongoing, unpublished work. Furthermore, the abstract must be authored solely by the student. If the work is collaborative with others and*or part of a larger group project, the abstract should make clear what the student’s role was and should focus on that portion of the work. * Formatting: Submissions must be in PDF format, printable in black and white on US Letter sized paper, and interpretable by common PDF tools. All submissions must adhere to the "ACM Small" template that is available (in both LaTeX and Word formats) from https://www.acm.org/publications/authors/submissions. For authors using LaTeX, a lighter-weight package, including only the essential files, is available from http://sigplan.org/Resources/Author/#acmart-format. The submission must not exceed 3 pages in PDF format. Reference lists do not count towards the 3-page limit. Further information is available at the ICFP SRC website: https://icfp19.sigplan.org/track/icfp-2019-Student-Research-Competition ICFP Student Research Competition Chair: William J. Bowman (University of British Columbia) From rae at cs.brynmawr.edu Thu Feb 14 18:24:20 2019 From: rae at cs.brynmawr.edu (Richard Eisenberg) Date: Thu, 14 Feb 2019 13:24:20 -0500 Subject: [Haskell] CFP: Haskell Symposium 2019 Message-ID: <011CC638-EA99-4A74-8BF7-5C53DCD3DBDB@cs.brynmawr.edu> ================================================================================ ACM SIGPLAN CALL FOR SUBMISSIONS Haskell Symposium 2019 Berlin, Germany 22--23 August, 2019 http://www.haskell.org/haskell-symposium/2019/ ================================================================================ The ACM SIGPLAN Haskell Symposium 2019 will be co-located with the 2019 International Conference on Functional Programming (ICFP). **NEW THIS YEAR**: We will be using a lightweight double-blind reviewing process. See further information below. The Haskell Symposium presents original research on Haskell, discusses practical experience and future development of the language, and promotes other forms of declarative programming. Topics of interest include: * Language design, with a focus on possible extensions and modifications of Haskell as well as critical discussions of the status quo; * Theory, such as formal semantics of the present language or future extensions, type systems, effects, metatheory, and foundations for program analysis and transformation; * Implementations, including program analysis and transformation, static and dynamic compilation for sequential, parallel, and distributed architectures, memory management, as well as foreign function and component interfaces; * Libraries, that demonstrate new ideas or techniques for functional programming in Haskell; * Tools, such as profilers, tracers, debuggers, preprocessors, and testing tools; * Applications, to scientific and symbolic computing, databases, multimedia, telecommunication, the web, and so forth; * Functional Pearls, being elegant and instructive programming examples; * Experience Reports, to document general practice and experience in education, industry, or other contexts; * System Demonstrations, based on running software rather than novel research results. Regular papers should explain their research contributions in both general and technical terms, identifying what has been accomplished, explaining why it is significant, and relating it to previous work, and to other languages where appropriate. Experience reports and functional pearls need not necessarily report original academic research results. For example, they may instead report reusable programming idioms, elegant ways to approach a problem, or practical experience that will be useful to other users, implementers, or researchers. The key criterion for such a paper is that it makes a contribution from which other Haskellers can benefit. It is not enough simply to describe a standard solution to a standard programming problem, or report on experience where you used Haskell in the standard way and achieved the result you were expecting. System demonstrations should summarize the system capabilities that would be demonstrated. The proposals will be judged on whether the ensuing session is likely to be important and interesting to the Haskell community at large, whether on grounds academic or industrial, theoretical or practical, technical, social or artistic. Please contact the program chair with any questions about the relevance of a proposal. Submission Details ================== Early and Regular Track ----------------------- The Haskell Symposium uses a two-track submission process so that some papers can gain early feedback. Strong papers submitted to the early track are accepted outright, and the others will be given their reviews and invited to resubmit to the regular track. Papers accepted via the early and regular tracks are considered of equal value and will not be distinguished in the proceedings. Although all papers may be submitted to the early track, authors of functional pearls and experience reports are particularly encouraged to use this mechanism. The success of these papers depends heavily on the way they are presented, and submitting early will give the program committee a chance to provide feedback and help draw out the key ideas. Formatting ---------- Submitted papers should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines. Authors should use the `acmart` format, with the `sigplan` sub-format for ACM proceedings. For details, see: http://www.sigplan.org/Resources/Author/#acmart-format It is recommended to use the `review` option when submitting a paper; this option enables line numbers for easy reference in reviews. Functional pearls, experience reports, and demo proposals should be labelled clearly as such. Lightweight Double-blind Reviewing ---------------------------------- Haskell Symposium 2019 will use a lightweight double-blind reviewing process. To facilitate this, submitted papers must adhere to two rules: 1. Author names and institutions must be omitted, and 2. References to authors’ own related work should be in the third person (e.g., not “We build on our previous work …” but rather “We build on the work of …”). The purpose of this process is to help the reviewers come to an initial judgment about the paper without bias, not to make it impossible for them to discover the authors if they were to try. Nothing should be done in the name of anonymity that weakens the submission or makes the job of reviewing the paper more difficult (e.g., important background references should not be omitted or anonymized). In addition, authors should feel free to disseminate their ideas or draft versions of their paper as they normally would. For instance, authors may post drafts of their papers on the web or give talks on their research ideas. A reviewer will learn the identity of the author(s) of a paper after a review is submitted. Page Limits ----------- The length of submissions should not exceed the following limits: Regular paper: 12 pages Functional pearl: 12 pages Experience report: 6 pages Demo proposal: 2 pages There is no requirement that all pages are used. For example, a functional pearl may be much shorter than 12 pages. In all cases, the list of references is not counted against these page limits. Deadlines --------- Early track: Submission deadline: 15 March 2019 (Fri) Notification: 19 April 2019 (Fri) Regular track and demos: Submission deadline: 10 May 2019 (Fri) Notification: 21 June 2019 (Fri) Camera-ready deadline for accepted papers: 30 June 2019 (Thu) Deadlines are valid anywhere on Earth. Submission ---------- Submissions must adhere to SIGPLAN's republication policy (http://sigplan.org/Resources/Policies/Republication/), and authors should be aware of ACM's policies on plagiarism (https://www.acm.org/publications/policies/plagiarism). The paper submission deadline and length limitations are firm. There will be no extensions, and papers violating the length limitations will be summarily rejected. Papers should be submitted through HotCRP at: https://haskell19.hotcrp.com/ Improved versions of a paper may be submitted at any point before the submission deadline using the same web interface. Supplementary material: Authors have the option to attach supplementary material to a submission, on the understanding that reviewers may choose not to look at it. This supplementary material should not be submitted as part of the main document; instead, it should be uploaded as a separate PDF document or tarball. Supplementary material should be uploaded at submission time, not by providing a URL in the paper that points to an external repository. Authors are free to upload both anonymized and non-anonymized supplementary material. Anonymized supplementary material will be visible to reviewers immediately; non-anonymized supplementary material will be revealed to reviewers only after they have submitted their review of the paper and learned the identity of the author(s). Resubmitted Papers: Authors who submit a revised version of a paper that has previously been rejected by another conference have the option to attach an annotated copy of the reviews of their previous submission(s), explaining how they have addressed these previous reviews in the present submission. If a reviewer identifies him/herself as a reviewer of this previous submission and wishes to see how his/her comments have been addressed, the principal editor will communicate to this reviewer the annotated copy of his/her previous review. Otherwise, no reviewer will read the annotated copies of the previous reviews. Travel Support ============== Student attendees with accepted papers can apply for a SIGPLAN PAC grant to help cover travel expenses. PAC also offers other support, such as for child-care expenses during the meeting or for travel costs for companions of SIGPLAN members with physical disabilities, as well as for travel from locations outside of North America and Europe. For details on the PAC program, see its web page (http://pac.sigplan.org). Proceedings =========== Accepted papers will be included in the ACM Digital Library. Authors must grant ACM publication rights upon acceptance (http://authors.acm.org/main.html). Authors are encouraged to publish auxiliary material with their paper (source code, test data, etc.); they retain copyright of auxiliary material. Accepted proposals for system demonstrations will be posted on the symposium website but not formally published in the proceedings. All accepted papers and proposals will be posted on the conference website one week before the meeting. Publication date: The official publication date of accepted papers is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work. Program Committee ================= Ki-Yung Ahn Hannam University Christiaan Baaij QBayLogic B.V. José Manuel Calderón Trilla Galois, Inc Benjamin Delaware Purdue University Richard Eisenberg (chair) Bryn Mawr College Jennifer Hackett University of Nottingham Kazutaka Matsuda Tohoku University Trevor McDonnell Utrecht University Ivan Perez NIA / NASA Formal Methods Nadia Polikarpova University of California, San Diego Norman Ramsey Tufts University Christine Rizkallah University of New South Wales Eric Seidel Bloomberg LP Alejandro Serrano Mena Utrecht University John Wiegley Dfinity Foundation Thomas Winant Well-Typed LLP Ningning Xie University of Hong Kong If you have questions, please contact the chair at: rae at cs.brynmawr.edu ================================================================================ From tarmo at cs.ioc.ee Sat Feb 16 16:23:30 2019 From: tarmo at cs.ioc.ee (Tarmo Uustalu) Date: Sat, 16 Feb 2019 16:23:30 +0000 Subject: [Haskell] Call for Applications: ETAPS Mentoring Workshop, 7 April 2019 Message-ID: <20190216162330.4bdb420e@cs.ioc.ee> ==================================================================== Call for Applications: ETAPS Mentoring Workshop, 7 April 2019 ==================================================================== *NEW* - ETAPS 2019 is running a mentoring workshop to encourage students to pursue graduate studies. The workshop is held on Sunday April 7 in conjunction with ETAPS in Prague. In addition to the workshop on Sunday, attendees are invited to mentoring breakfasts and evening lectures. The ETAPS Mentoring Workshop is organised with the intention of helping students early in a program with advice on research, career, and (academic) life in the fields of Computing that are covered by the ETAPS conference. Students will attend lectures that describe key ideas in the field but also how the researchers came up with those ideas, what obstacles they had to overcome and other helpful advice. Students will work together during the workshop to meet a common goal, and will present their results for the mentoring researchers and get feedback. During mentoring breakfasts, students will get to interact one-on-one with researchers at. Prospective Ph.D. students (undergraduates and Masters) will be assigned mentors who will help them navigate the conference. This is a closed workshop: an application is required to attend. It is possible to be both a Student Volunteer and an mentoring workshop attendee. *** Application deadline: March 1st. *** Excerpts of the programme on the 7th of April: From Shape Analysis to Smart Contract Verification: A journey in proof automation Mooly Sagiv, Tel Aviv University How to Give an Effective Talk Ajitha Rajan, University of Edinburgh Navigating through the academic jungle: tips, tricks & traps Marielle Stoelinga, University of Twente Advice on your adviser Marsha Chechik, University of Toronto How to survive being a woman in computer science Marieke Huisman A few lessons from the PhD I just finished Juliana Franco, Microsoft Research, Cambridge Gentle introduction to language design research: Why get involved, open problems, and what it means to get involved Mira Mezini, TU Darmstadt Science and Sanity: how to do the former while retaining the later (Panel) Stephanie Balzer, Carnegie Mellon University Barbora Buhnova, Masaryk University Juliana Franco, Microsoft Research, Cambridge For additional details see https://conf.researchr.org/track/etaps-2019/etaps-2019-ETAPS-Mentoring-Workshop A purpose of the workshop is to promote diversity and increase the participation of students who are members of underrepresented groups in graduate studies in the fields of the conferences and workshops under the ETAPS umbrella. We therefore especially encourage applications from women, Aboriginal peoples, persons with disabilities, and other groups underrepresented in computing. This workshop provides these students with valuable opportunities for mentorship and networking. Very limited funding may be available for students who would not be able to attend otherwise (these funds depend on our ability to raise industrial sponsorships). Students may also apply to be Student Volunteer to be able to attend the rest of the conference, There are also 10 ETAPS Student Scholarships which give 500 Euros to students coming to Prague. Organisers Jan Vitek, Northeastern University and Czech Technical University Tobias Wrigstad, Uppsala University From mightybyte at gmail.com Sun Feb 17 15:08:01 2019 From: mightybyte at gmail.com (MightyByte) Date: Sun, 17 Feb 2019 15:08:01 +0000 Subject: [Haskell] Call For Presentations: Compose NYC, June 24-25, 2019 Message-ID: Compose is a conference focused specifically on strongly typed functional programming languages. It will be held in New York on Monday and Tuesday, June 24 -25, 2019. Registration will be open shortly. http://www.composeconference.org/201 ( http://www.composeconference.org/2017 ) 9 To get a sense of Compose, you can check out the great talks from past conferences: https://www.youtube.com/channel/UC0pEknZxL7Q1j0Ok8qImWdQ ( https://www.youtube.com/channel/UC0pEknZxL7Q1j0Ok8qImWdQ ) Below is our call for presentations. http://www.composeconference.org/2019/cfp/ ( http://www.composeconference.org/2016/cfp/ ) In past years, we have also hosted an unconference over the weekend adjacent to the conference.  The unconference details this year have not been finalized yet, but if you’re interested you may want to keep that in mind when making travel plans. *** Compose Conference NYC 2019 Call for Presentations June 24 -25, 2019 New York City The audience for Compose is people using Haskell, PureScript, OCaml, F#, SML, and other strongly typed functional programming languages who are looking to increase their skills or learn new technologies and libraries. Presentations should be aimed at teaching or introducing new ideas or tools. We are also interested in presentations aiming at taking complex concepts, such as program derivation, and putting them into productive use. However presentations on anything that you suspect our audience may find interesting are welcome. The following are some of the types of talks we would welcome: *Library/Tool Talks* — Exploring the uses of a powerful toolkit or library, be it for parsing, testing, data access and analysis, or anything else. *Production Systems* — Experience reports on deploying functional techniques in real systems; insights revealed, mistakes made, lessons learned. *Theory made Practical* — Just because it’s locked away in papers doesn’t mean it’s hard! Accessible lectures on classic results and why they matter to us today. Such talks can include simply introducing the principles of a field of research so as to help the audience read up on it in the future; from abstract machines to program derivation to branch-and-bound algorithms, the sky’s the limit. Check out the Compose YouTube channel ( https://www.youtube.com/playlist?list=PLNoHgLVTxtaoolkQo4hLy4ZsA1prUJ51m ) to see videos of talks we've had previously and get an idea of the kinds of topics we usually feature. We also welcome presentations for more formal tutorials. Tutorials should be aimed at a smaller audience of beginner-to-novice understanding, and ideally include hands-on exercises. The due date for submissions is *April 23, 2019*. We will send out notice of acceptance by *April 30th*. We prefer that submissions be via the EasyChair website ( https://easychair.org/conferences/?conf=compose2019 ( https://easychair.org/conferences/?conf=compose2019 ) ). Please suggest a title, and describe the topic you intend to speak on. Talks can be either 30 or 45 minutes, please indicate how much time you would prefer to take. You may submit multiple talks if you have several ideas and are unsure which would be the most likely to be accepted. Accepted talks will be asked to submit slides for review prior to the conference. Feel free to include any additional information on both your expertise and interesting elements of your topic that would be appropriate for inclusion in the public abstract. Furthermore, if your abstract doesn't feel "final"—don't worry! We'll work with you to polish it up. If you want to discuss your presentation(s) before submitting, or to further nail down what you intend to speak on, please feel free to contact us at nyc at composeconference.org ( nyc at composeconference.org ). We're happy to work with you, even if you are a new or inexperienced speaker, to help your talk be great. Diversity We would like to put an emphasis on soliciting a diverse set of speakers - anything you can do to distribute information about this CFP and encourage submissions from under-represented groups would be greatly appreciated. We welcome your contributions and encourage you to apply! Best, Doug Sent via Superhuman ( https://sprh.mn/?vip=mightybyte at gmail.com ) -------------- next part -------------- An HTML attachment was scrubbed... URL: From tarmo at cs.ioc.ee Mon Feb 18 23:40:43 2019 From: tarmo at cs.ioc.ee (Tarmo Uustalu) Date: Mon, 18 Feb 2019 23:40:43 +0000 Subject: [Haskell] ETAPS 2019 call for participation Message-ID: <20190218234043.5005af75@cs.ioc.ee> ****************************************************************** CALL FOR PARTICIPATION 22nd European Joint Conferences on Theory And Practice of Software ETAPS 2019 Prague, Czech Republic, 6-11 April 2019 http://www.etaps.org/2019 https://conf.researchr.org/home/etaps-2019 ****************************************************************** -- 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 2019 is the twenty-second event in the series. -- MAIN CONFERENCES (8-11 April) -- * ESOP: European Symposium on Programming (PC chair Luís Caires, Universidade Nova de Lisboa, Portugal) * FASE: Fundamental Approaches to Software Engineering (PC chairs Reiner Hähnle, Technische Univ Darmstadt, Germany, and Wil van der Aalst, RWTH Aachen University, Germany) * FoSSaCS: Foundations of Software Science and Computation Structures (PC chairs Mikolaj Bojanczyk, University of Warsaw, Poland, and Alex Simpson, University of Ljubljana, Slovenia) * POST: Principles of Security and Trust (PC chairs Flemming Nielson, Danmarks Tekniske Univ, Denmark, and David Sands, Chalmers Tekniska Högskola, Sweden) * TACAS: Tools and Algorithms for the Construction and Analysis of Systems (PC chairs Tomás Vojnar, Brno Univ of Technology, Czech Rep, and Lijun Zhang, Chinese Academy of Sciences, China) TACAS '19 hosts the 8th Competition on Software Verification (SV-COMP) and TOOLympics, an event to celebrate the achievements of the various competitions or comparative evaluations. -- INVITED TALKS AND TUTORIALS -- * Unifying speakers: Marscha Chechik (University of Toronto, Canada) Kathleen Fisher (Tufts University, USA) * FoSSaCS invited speaker: Thomas Colcombet (IRIF, France) * TACAS invited speaker: Cormac Flanagan (University of California at Santa Cruz, USA) * Tutorial speakers: Dirk Beyer (LMU München, Germany) Cesare Tinelli (University of Iowa, USA) -- CONTRIBUTED PAPERS -- See the accepted paper lists at webpages of the individual conferences. For the 2nd year, the proceedings of the ETAPS main conferences in LNCS/ARCoSS will appear in Gold Open Access. -- PROGRAM -- See the full program here: https://conf.researchr.org/program/etaps-2019/program-etaps-2019 -- SATELLITE EVENTS (6-7 April) -- 18 satellite workshops and other events will take place before ETAPS 2019. DICE-FOPARA, GaLoP, HSB, QAPL, SynCoP, VerifyThis, TOOLympics (6-7 April) BEHAPI, InterAVT, LiVe, MeTRiD, PERR (6 April) CREST, HCVS, PLACES, SPIoT, SYNTCOMP Camp, Mentoring Workshop (7 April) -- REGISTRATION -- Early registration is until Sunday, 11 March 2019, https://regmaster4.com/2019conf/ETAPS19/register.php -- HOST CITY AND VENUE -- ETAPS 2019 will take place in the centre of Prague, the beautiful capital of the Czech Republic. The main conferences will be held at Orea Hotel Pyramida, while the workshops will take place at the School of Computer Science, Faculty of Mathematics and Physics, Charles University. Both are close to the Prague Castle. For the special deal for accommodation at the conference hotel, see the conference website. -- HOST INSTITUTION -- ETAPS 2019 is hosted by the School of Computer Science of the Charles University. -- ORGANIZERS Jan Kofron and Jan Vitek (general chairs), Barbora Buhnova, Milan Ceska, Ryan Culpepper, Vojtech Horky, Paley Li, Petr Maj, Artem Pelenitsyn, David Safranek -- FURTHER INFORMATION -- Please do not hesitate to contact the organizers at jan.kofron at d3s.mff.cuni.cz and j.vitek at neu.edu. From yazan.mualla at utbm.fr Tue Feb 19 20:04:43 2019 From: yazan.mualla at utbm.fr (Yazan Mualla) Date: Tue, 19 Feb 2019 21:04:43 +0100 (CET) Subject: [Haskell] Extended CFP The 1st International Workshop on EXplainable, TRansparent, Autonomous Agents and Multi-Agent Systems (EXTRAAMAS-19) In-Reply-To: <870611931.414999880.1549890854691.JavaMail.zimbra@utbm.fr> References: <1110125971.315891852.1547391192718.JavaMail.zimbra@utbm.fr> <2105961674.365762608.1548691436566.JavaMail.zimbra@utbm.fr> <870611931.414999880.1549890854691.JavaMail.zimbra@utbm.fr> Message-ID: <1791941833.453686985.1550606683983.JavaMail.zimbra@utbm.fr> EXTENDED CALL FOR PAPERS The 1st International Workshop on EXplainable, TRansparent, Autonomous Agents and Multi-Agent Systems (EXTRAAMAS-19) In conjunction with the International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2019) 13th and 14th of May 2019 in Montreal, Canada. https://extraamas.ehealth.hevs.ch ------------------------------------------------------------------------------------------- Description ========== The aim of the EXTRAAMAS-19 workshop is to: - Establish a common ground for the study and development of explainable and understandable autonomous agents, robots and multi-agent systems, - Investigate the potential of agent-based systems in the development of personalized user-aware explainable AI, - Assess the impact of transparent and explained solutions on user/agents behaviors, and - Discuss motivating examples and concrete applications in which the lack of explainability leads to problems that can be resolved by explainability. ---------------------------------------------- Topics ====== The main topics of the EXTRAAMAS-19 workshop are (but not restricted to): - Explainable agent architectures - Adaptive and personalized explainable agents - Explainable human-robot interaction - Expressive robots - Explainable planning - Explanation visualization - Explainable agents’ applications: (e-health, smart environment, driving companion, recommender systems, coaching agents, etc.) - Explainable agents’ applications: (e-health, smart environment, driving companion, recommender systems, coaching agents, etc.) - Reinforcement learning agents - Cognitive and social sciences perspectives on explanations - Legal aspects of explainable agents ---------------------------------------------- Important Dates ============== - Deadline for Submissions: February 26, 2019 (Extended) - Notification of acceptance: March 10, 2019 - Camera-ready: April 1, 2019 - Workshop: May 13-14, 2019 ---------------------------------------------- Submission ========= Submissions will be reviewed by at least three members of the programme committee, who are experts in the field. The acceptance of the submitted papers will depend on their quality, relevance, and originality. To conduct this process, the chairs will rely on easychair to make the reviewing procedure traceable, transparent and accessible. In the case of accepted papers characterized by relevant demands (e.g., clarifications, changes, corrections) set by the reviewers, the final acceptance will be subject to their accomplishment. Accepted papers will be published in the Springer proceedings Lecture Notes in Artificial Intelligence (LNAI). Participants are therefore invited to submit papers up to 16 pages in length, addressing the topics of the workshop. Papers must be edited using the LNCS format (applying the LNCS proceedings template), and have to be submitted electronically as PDF files via the EasyChair submission page. The top papers will be published in Special Issue of a journal with a relevant impact factor (to be announced). ---------------------------------------------- Program Chairs ============= - Kary Främling (Umeå University, Sweden / Aalto University, Finland) - Davide Calvaresi (University of Applied Sciences Western Switzerland (HES-SO), Switzerland) - Amro Najjar (Umeå University, Sweden) - Michael Schumacher (University of Applied Sciences Western Switzerland (HES-SO), Switzerland) ---------------------------------------------- Advisory Board ============= - Virginia Dignum (Umeå University, Sweden) - Tim Miller (University of Melbourne, Australia) - Catholijn M. Jonker (TU Delft / LIACS Leiden University, The Netherlands) ---------------------------------------------- Publicity Chairs ============== - Yazan Mualla (Univ. de Technologie de Belfort-Montbeliard, France) - Timotheus Kampik (Umeå University, Sweden) ---------------------------------------------- Program Committee ================= To be announced. -------------- next part -------------- An HTML attachment was scrubbed... URL: From c.grelck at uva.nl Thu Feb 21 08:51:07 2019 From: c.grelck at uva.nl (Clemens Grelck) Date: Thu, 21 Feb 2019 09:51:07 +0100 Subject: [Haskell] CfP: HLPP 2019 - 12th International Symposium on High-Level Parallel Programming and Applications Message-ID: CALL FOR PAPERS: 12th International Symposium on High-Level Parallel Programming and Applications (HLPP-2019) July 3-5, 2019, Linköping, Sweden https://www.ida.liu.se/conferences/hlpp2019/ Aims and scope of HLPP: As processor and system manufacturers increase the amount of both inter- and intra-chip parallelism it becomes crucial to provide the software industry with high-level, clean and efficient tools for parallel programming. Parallel and distributed programming methodologies are currently dominated by low-level techniques such as send/receive message passing, or equivalently unstructured shared memory mechanisms. Higher-level, structured approaches offer many possible advantages and have a key role to play in the scalable exploitation of ubiquitous parallelism. Since 2001 the HLPP series of workshops/symposia has been a forum for researchers developing state-of-the-art concepts, tools and applications for high-level parallel programming. The general emphasis is on software quality, programming productivity and high-level performance models. The 12th Symposium on High-Level Parallel Programming and Applications will be held in Linköping, Sweden. HLPP 2019 invites papers on all topics in high-level parallel programming, its tools and applications including, but not limited to, the following aspects: High-level parallel programming and performance models (e.g. BSP, CGM, LogP, MPM, etc.) and tools Declarative parallel programming methodologies based on functional, logical, data-flow, actor, and other paradigms Algorithmic skeletons, patterns, etc. and constructive methods High-level parallelism in programming languages and libraries (e.g, Haskell, Scala, C++, etc.): semantics and implementation Verification of declarative parallel and distributed programs Efficient code generation, auto-tuning and optimization for parallel programs Model-driven software engineering for parallel systems Domain-specific languages: design, implementation and applications High-level programming models for heterogeneous/hierarchical platforms with accelerators, e.g., GPU, Many-core, DSP, VPU, FPGA, etc. High-level parallel methods for large structured and semi-structured datasets Applications of parallel systems using high-level languages and tools Teaching experience with high-level tools and methods Papers submitted to HLPP-2019 must describe original research results and must not have been published or simultaneously submitted anywhere else. For formatting and submission see https://www.ida.liu.se/conferences/hlpp2019/submission.shtml Each paper will receive a minimum of three reviews by members of the program committee. Papers will be selected based on their originality, relevance, technical clarity, and quality of presentation. At least one author of each accepted paper must register for the HLPP 2019 symposium and present the paper. Informal proceedings with the camera-ready versions of accepted papers will be available at the symposium. After the symposium, there will be ample time to revise the paper incorporating reviewer comments. Authors of accepted and presented papers will be invited to submit a revised version of their paper for publication in a special issue of the International Journal of Parallel Programming (Springer). HLPP-2019 will also include tutorials and an open poster session for current (esp., European) research projects related to the scope of the symposium. For details see the HLPP-2019 web page. Important dates: Paper submission: 5 April 2019 Notification: 24 May 2019 Poster abstracts: 1 June 2019 Tutorial(s): 3 July 2019 (afternoon) Symposium: 4-5 July 2019 at Linköping University, Linköping, Sweden Post-symposium special issue submission: 9 October 2019 Organization Christoph Kessler, Linköping University, Sweden (program chair) Suejb Memeti, Linköping University, Sweden Program Committee Marco Aldinucci, University of Torino, Italy Ioana Banicescu, Mississippi State University, USA Jost Berthold, Digital Asset, Australia Murray Cole, University of Edinburgh, UK Frederic Dabrowski, LIFO/Univ. Orleans, France Rudolf Eigenmann, University of Delaware, USA Franz Franchetti, Carnegie Mellon University, USA Jose Daniel Garcia, Univ. Carlos III Madrid, Spain Frederic Gava, Univ. Paris-East, France Alex Gerbessiotis, New Jersey Inst. Techn., USA Arturo Gonzalez-Escribano, Univ. Valladolid, Spain Sergei Gorlatch, Univ. of Münster, Germany Clemens Grelck, Univ. of Amsterdam, Netherlands Dalvan Griebler, PUCRS/SETREM, Brasil Gaetan Hains, Huawei Paris Research Center, France Ludovic Henrio, CNRS Lyon, France Peter Kilpatrick, Queen's Univ. Belfast, UK Herbert Kuchen, Univ. of Münster, Germany Frederic Loulergue, Northern Arizona University, USA Kiminori Matsuzaki, Kochi Univ. of Technology, Japan Aleksandar Prokopec, EPFL Lausanne, Switzerland Kostis Sagonas, Uppsala University, Sweden Michel Steuwer, Univ. of Glasgow, UK Massimo Torquati, Univ. of Pisa, Italy Jesper Larsson Träff, Vienna Univ. of Technology, Austria Ana Lucia Varbanescu, Univ. of Amsterdam, Netherlands Steering Committee Clemens Grelck (University of Amsterdam, Netherlands) Gaetan Hains (Huawei Technologies Paris, France) Kiminori Matsuzaki (Kochi University of Technology, Japan) Frederic Loulergue (Northern Arizona University, USA) Quentin Miller (Somerville College Oxford, United Kingdom) Alexander Tiskin (University of Warwick, United Kingdom) https://www.ida.liu.se/conferences/hlpp2019 -- ---------------------------------------------------------------------- Dr Clemens Grelck Science Park 904 University Lecturer 1098XH Amsterdam Programme Director Software Engineering Netherlands University of Amsterdam Institute for Informatics T +31 (0) 20 525 8683 System and Network Engineering Lab F +31 (0) 20 525 7490 Office C3.109 staff.fnwi.uva.nl/c.u.grelck ---------------------------------------------------------------------- From jaspervdj at gmail.com Fri Feb 22 13:23:51 2019 From: jaspervdj at gmail.com (Jasper Van der Jeugt) Date: Fri, 22 Feb 2019 14:23:51 +0100 Subject: [Haskell] [ANN] Haskell.Org Discourse Instance Message-ID: <20190222132351.GA1812@kakigori> Hello all, We would like to announce a new discourse-based forum for the Haskell community, at: https://discourse.haskell.org/ This is inspired by the Rust, Nix and Elm discourse instances, where these forums have had a strong positive effect on the community. We will run this as a "beta" for 6 months and then evaluate its usefulness. It is meant as an extra alternative to Haskell-cafe, reddit and Haskell IRC, but it does not replace any of those. Discourse is completely open source and easily accessible using an email client. We would like to thank the Haskell.Org admin team for provisioning a server and Matthew Pickering for suggesting this and doing the hard work setting up the instance. Warm regards, Jasper Van der Jeugt on behalf of the Haskell.Org Committee From jaspervdj at gmail.com Tue Feb 26 20:17:32 2019 From: jaspervdj at gmail.com (Jasper Van der Jeugt) Date: Tue, 26 Feb 2019 15:17:32 -0500 Subject: [Haskell] Haskell.Org accepted for GSoC 2019 Message-ID: <20190226201732.GB2005@kakigori> Hi all, We're very excited to announce that Haskell.Org has been accepted [1] into the Google Summer of Code 2019 program [2]. We hope that, like last year, it will lead to a whole range of improvements to the Haskell ecosystem, and to new faces joining our community! We would like to thank everyone who submitted ideas -- this is a key part of being accepted into GSoC. Now, here's the near term timeline: - Today - March 25: Potential student participants discuss application ideas with mentors - March 25 - April 9: Students can submit applications - May 6: Accepted student proposals announced At this point, we're looking for both students and extra mentors. We would like to assign at least two mentors to each project if possible, so the students get the support they deserve. Additional ideas for projects are still welcome! There's a lot of information on our Summer of Haskell page [3]. If there are any students who are not sure where to begin, feel free to reach out to us directly [4]! [1]: https://summerofcode.withgoogle.com/organizations/5556388114202624/ [2]: https://summerofcode.withgoogle.com/ [3]: https://summer.haskell.org/ [4]: https://summer.haskell.org/contact.html Warm regards Jasper Van der Jeugt on behalf of the Haskell.Org Committee From nate.nystrom at usi.ch Thu Feb 28 17:31:23 2019 From: nate.nystrom at usi.ch (Nate Nystrom) Date: Thu, 28 Feb 2019 18:31:23 +0100 Subject: [Haskell] CFP: ACM SIGPLAN Scala Symposium 2019 Message-ID: Tenth ACM SIGPLAN Scala Symposium https://2019.ecoop.org/home/scala-2019 London, UK July 17, 2019 Scala is a general purpose programming language designed to express common programming patterns in a concise, elegant, and type-safe way. It smoothly integrates features of object-oriented and functional languages. The Scala Symposium is the leading forum for researchers and practitioners related to the Scala programming language. We welcome a broad spectrum of research topics and support many submission formats for industry and academia alike. This year’s Scala Symposium is co-located with ECOOP 2019 in London, UK. # Topics of Interest # We seek submissions on all topics related to Scala, including (but not limited to): * Language design and implementation – language extensions, optimization, and performance evaluation. * Library design and implementation patterns for extending Scala – stand-alone Scala libraries, embedded domain-specific languages, combining language features, generic and meta-programming. * Formal techniques for Scala-like programs – formalizations of the language, type system, and semantics, formalizing proposed language extensions and variants, dependent object types, type and effect systems. * Concurrent and distributed programming – libraries, frameworks, language extensions, programming models, performance evaluation, experimental results. * Big data and machine learning libraries and applications using the Scala programming language. * Safety and reliability – pluggable type systems, contracts, static analysis and verification, runtime monitoring. * Interoperability with other languages and runtimes, such as JavaScript, Java 8 (lambdas), Graal and others. * Tools – development environments, debuggers, refactoring tools, testing frameworks. * Case studies, experience reports, and pearls. Do not hesitate to contact the Program Chair (nate.nystrom at usi.ch) if you are unsure whether a particular topic falls within the scope of Scala 2019. # Important dates # * Paper submission: April 9, 2019 * Paper notification: May 24, 2019 * Student talk submission: May 31, 2019 * Student talk notification: June 14, 2019 * Camera ready: June 7, 2019 * Scala Symposium 2019: July 17, 2019 All deadlines are at the end of the day, “Anywhere on Earth” (AoE). # Submission Format # To accommodate the needs of researchers and practitioners, as well as beginners and experts alike, we seek several kinds of submissions. * Full papers (at most 10 pages, excluding bibliography) * Short papers (at most 4 pages, excluding bibliography) * Tool papers (at most 4 pages, excluding bibliography) * Student talks (short abstract only, in plain text) * Open-source talks (short abstract only, in plain text) Accepted papers (either full papers, short ones or tool papers, but not student talks) will be published in the ACM Digital Library. Detailed information for each kind of submission is given below. Submissions should be in acmart/sigplan style, 10pt font. Formatting requirements are detailed on the SIGPLAN Author Information page ( https://www.sigplan.org/Resources/Author). Scala 2019 submissions must conform to the ACM Policy on Prior Publication and Simultaneous Submissions and to the SIGPLAN Republication Policy. Please note that at least one author of each accepted contribution must attend the symposium and present the work. In the case of tool demonstration papers, a live demonstration of the described tool is expected. # Full and Short Papers # Full and short papers should describe novel ideas, experimental results, or projects related to the Scala language. In order to encourage lively discussion, submitted papers may describe work in progress. Additionally, short papers may present problems and raise research questions interesting for the Scala language community. All papers will be judged on a combination of correctness, significance, novelty, clarity, and interest to the community. In general, papers should explain their original contributions, identifying what has been accomplished, explaining why it is significant, and relating it to previous work (also for other languages where appropriate). # Tool Papers # Tool papers need not necessarily report original research results; they may describe a tool of interest, report practical experience that will be useful to others, new Scala idioms, or programming pearls. In all cases, such a paper must make a contribution which is of interest to the Scala community, or from which other members of the Scala community can benefit. Where appropriate, authors are encouraged to include a link to the tool’s website. For inspiration, you might consider advice in https://conf.researchr.org/track/POPL-2016/pepm-2016-main#Tool-Paper-Advice, which we however treat as non-binding. In case of doubts, please contact the program chair. # Student Talks # In addition to regular papers and tool demos, we also solicit short student talks by bachelor/master/PhD students. A student talk is not accompanied by paper (it is sufficient to submit a short abstract of the talk in plain text). Student talks are about 5-10 minutes long, presenting ongoing or completed research related to Scala. In previous years, each student with an accepted student talk received a grant (donated by our sponsors) covering registration and/or travel costs. # Open-Source Talks # We will also accept a limited number of short talks about open-source projects using Scala presented by contributors. An open-source talk is not accompanied by a paper (it is sufficient to submit a short abstract of the talk in plain text). Open-source talks are about 10 minutes long and should be about topics relevant to the symposium. They may, for instance, present or announce an open-source project that would be of interest to the Scala community. # Organizing Committee # * (General Chair) Sukyoung Ryu (KAIST, South Korea) * (PC Chair) Nathaniel Nystrom (USI, Switzerland) * (Sponsorship Chair) Jonathan Immanuel Brachthäuser (University of Tübingen, Germany) # Program Committee # - Aggelos Biboudis - EPFL, Switzerland - Edwin Brady - University of St. Andrews, UK - Franck Cassez - Macquarie University, Australia - Wolfgang De Meuter - Vrije Universiteit Brussel, Belgium - Sebastien Doeraene - EPFL, Switzerland - Edward Kmett - Machine Intelligence Research Institute, USA - Doug Lea - SUNY Oswego, USA - Ana Milanova - Rensselaer Polytechnic Institute, USA - Ulf Norell - University of Gothenburg, Sweden - Nate Nystrom - Università della Svizzera italiana, Switzerland (chair) - Miles Sabin - Underscore.io, UK - Guido Salvaneschi - Technische Universität Darmstadt, Germany - Marco Servetto - Victoria University of Wellington, New Zealand - Daniel Spiewak - SlamData, USA - Mirko Viroli - University of Bologna, Italy # Submission Website # The submission will be managed through HotCRP: https://scala19.hotcrp.com. For questions and additional clarifications, please contact the conference organizers. -------------- next part -------------- An HTML attachment was scrubbed... URL: From meneguette at ifsp.edu.br Thu Feb 28 21:33:10 2019 From: meneguette at ifsp.edu.br (Rodolfo I. Meneguette) Date: Thu, 28 Feb 2019 18:33:10 -0300 (BRT) Subject: [Haskell] Cfp: Special Section: Advances in Intelligent Transportation Systems in Smart Cities In-Reply-To: <292445867.64200168.1551389579263.JavaMail.zimbra@ifsp.edu.br> Message-ID: <2004004799.64200507.1551389590801.JavaMail.zimbra@ifsp.edu.br> Special Section: Advances in Intelligent Transportation Systems in Smart Cities International Journal of Distributed Sensor Network 2017 Impact Factor : 1.787 Deadline for manuscript submissions: June 30, 2019 Intelligent Transport Systems (ITS) comprise the union of several technologies with the aim of providing comprehensive optimization of the urban mobility of a city and bringing greater safety to drivers, as well as comfort and entertainment for passengers. As a result, ITS employ data, communication, and computing to provide services and applications for tackling and possibly solving a wide range of transportation problems in modern large cities. These applications rely on the collaboration between elements that integrate urban and transportation systems, such as sensors, mobile devices, and vehicles, for introducing real-time awareness of the environment. The appropriate junction of all these factors considerably contributes to the sensing and gathering of data for evaluation and later implementation of due responses by a control system. Due to the dynamic nature of entities in ITS, it offers a diverse set of challenges including, but not limited to, interoperability, high mobility, decentralization, anonymity, security, privacy, trust management, uncertainty, and pervasiveness. Besides these challenges, several issues like scalability, reliability, adaptability, and validity of available solutions are still unexplored. This Special Collection is expected to provide a platform for academics and industrial researchers to identify and debate technical problems and recent accomplishments associated with ITS. Specific topics include, but are not limited to: * Architecture, resource management and applications * Leveraging Fog Computing (Edge Computing) * Design challenges for protocol development in ITS * ITS security and privacy * Smart-cities-based Machine Learning; * Intelligent data mining and forecasting; * Multi-agent systems applications; * Inteligent structural engineering; * Computer graphics and performability; * Blockchain and remote sensing; * Ubiquitous computing; * Fuzzy logic and emerging applications in smart IoT/Cloud paradigms; * Designing energy efficient Road Side Units (RSUs) * Quality of Service (QoS) in ITS * Smart and connected vehicles: V2V; V2I V2X * Cloud based VANETs * Vehicular Cloud * Demand responsive smart vehicles * Detection, recognition, and classification of traffic * Vehicle location and event prediction * Autonomous vehicle technologies * Context-aware computing and Internet of Things Services in ITS * Artificial intelligent in ITS * Protocols and infrastructure and standards for ITS Guest Editors: Rodolfo Ipolito Meneguette, Federal Institute of São Paulo, Brazi, Luis Hideo Vasconcelos Nakamura, Federal Institute of São Paulo, Brazil Thiago Augusto Lopes Genez, University of Bern, Switzerland Stephan Reiff-Marganiec, University of Leicester, UK Manuscript Preparation and Submission Follow the guidelines in the International Journal of Distributed Sensor Networks https://us.sagepub.com/en-us/sam/manuscript-submission-guidelines. Please submit your manuscript in electronic form through Manuscript Central web site: https://mc.manuscriptcentral.com/tii . Submissions to this Special Section must represent original material that has been neither submitted to, nor published in, any other journal. Open access article processing charge (APC) information The APC for this journal is currently 2000 USD. The article processing charge (APC) is payable only if your article is accepted after peer review, before it is published. The APC is subject to taxes where applicable. Tax-exempt status can be indicated by providing appropriate registration numbers when payment is requested. -------------- next part -------------- An HTML attachment was scrubbed... URL: From meneguette at ifsp.edu.br Thu Feb 28 21:33:41 2019 From: meneguette at ifsp.edu.br (Rodolfo I. Meneguette) Date: Thu, 28 Feb 2019 18:33:41 -0300 (BRT) Subject: [Haskell] Cfp: Special Section: Advances in Intelligent Transportation Systems in Smart Cities In-Reply-To: <1642859884.64200833.1551389609159.JavaMail.zimbra@ifsp.edu.br> Message-ID: <1026819505.64201045.1551389621516.JavaMail.zimbra@ifsp.edu.br> Special Section: Advances in Intelligent Transportation Systems in Smart Cities International Journal of Distributed Sensor Network 2017 Impact Factor : 1.787 Deadline for manuscript submissions: June 30, 2019 Intelligent Transport Systems (ITS) comprise the union of several technologies with the aim of providing comprehensive optimization of the urban mobility of a city and bringing greater safety to drivers, as well as comfort and entertainment for passengers. As a result, ITS employ data, communication, and computing to provide services and applications for tackling and possibly solving a wide range of transportation problems in modern large cities. These applications rely on the collaboration between elements that integrate urban and transportation systems, such as sensors, mobile devices, and vehicles, for introducing real-time awareness of the environment. The appropriate junction of all these factors considerably contributes to the sensing and gathering of data for evaluation and later implementation of due responses by a control system. Due to the dynamic nature of entities in ITS, it offers a diverse set of challenges including, but not limited to, interoperability, high mobility, decentralization, anonymity, security, privacy, trust management, uncertainty, and pervasiveness. Besides these challenges, several issues like scalability, reliability, adaptability, and validity of available solutions are still unexplored. This Special Collection is expected to provide a platform for academics and industrial researchers to identify and debate technical problems and recent accomplishments associated with ITS. Specific topics include, but are not limited to: * Architecture, resource management and applications * Leveraging Fog Computing (Edge Computing) * Design challenges for protocol development in ITS * ITS security and privacy * Smart-cities-based Machine Learning; * Intelligent data mining and forecasting; * Multi-agent systems applications; * Inteligent structural engineering; * Computer graphics and performability; * Blockchain and remote sensing; * Ubiquitous computing; * Fuzzy logic and emerging applications in smart IoT/Cloud paradigms; * Designing energy efficient Road Side Units (RSUs) * Quality of Service (QoS) in ITS * Smart and connected vehicles: V2V; V2I V2X * Cloud based VANETs * Vehicular Cloud * Demand responsive smart vehicles * Detection, recognition, and classification of traffic * Vehicle location and event prediction * Autonomous vehicle technologies * Context-aware computing and Internet of Things Services in ITS * Artificial intelligent in ITS * Protocols and infrastructure and standards for ITS Guest Editors: Rodolfo Ipolito Meneguette, Federal Institute of São Paulo, Brazi, Luis Hideo Vasconcelos Nakamura, Federal Institute of São Paulo, Brazil Thiago Augusto Lopes Genez, University of Bern, Switzerland Stephan Reiff-Marganiec, University of Leicester, UK Manuscript Preparation and Submission Follow the guidelines in the International Journal of Distributed Sensor Networks https://us.sagepub.com/en-us/sam/manuscript-submission-guidelines. Please submit your manuscript in electronic form through Manuscript Central web site: https://mc.manuscriptcentral.com/tii . Submissions to this Special Section must represent original material that has been neither submitted to, nor published in, any other journal. Open access article processing charge (APC) information The APC for this journal is currently 2000 USD. The article processing charge (APC) is payable only if your article is accepted after peer review, before it is published. The APC is subject to taxes where applicable. Tax-exempt status can be indicated by providing appropriate registration numbers when payment is requested. -------------- next part -------------- An HTML attachment was scrubbed... URL: