- Haskell - Haskell.org

Final call for regular papers for IFL 2019 (Implementation and Application of Functional Languages)
by Jurriaan Hage 07 Jun '19

07 Jun '19

Hello, Please, find below the call for papers for IFL 2019. With respect to the previous call, the deadline for submitting regular papers has been changed to June 15th. Please forward these to anyone you think may be interested. Apologies for any duplicates you may receive. best regards, Jurriaan Hage Publicity Chair of IFL --- ================================================================================ IFL 2019 31st Symposium on Implementation and Application of Functional Languages National University of Singapore September 25th-27th, 2019 http://2019.iflconference.org ================================================================================ ### Scope The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. IFL 2019 will be a venue for researchers to present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the implementation and application of functional languages and function-based programming. Topics of interest to IFL include, but are not limited to: - language concepts - type systems, type checking, type inferencing - compilation techniques - staged compilation - run-time function specialization - run-time code generation - partial evaluation - (abstract) interpretation - metaprogramming - generic programming - automatic program generation - array processing - concurrent/parallel programming - concurrent/parallel program execution - embedded systems - web applications - (embedded) domain specific languages - security - novel memory management techniques - run-time profiling performance measurements - debugging and tracing - virtual/abstract machine architectures - validation, verification of functional programs - tools and programming techniques - (industrial) applications ### Keynote Speaker * Olivier Danvy, Yale-NUS College ### Submissions and peer-review Differently from previous editions of IFL, IFL 2019 solicits two kinds of submissions: * Regular papers (12 pages including references) * Draft papers for presentations ('weak' limit between 8 and 15 pages) Regular papers will undergo a rigorous review by the program committee, and will be evaluated according to their correctness, novelty, originality, relevance, significance, and clarity. A set of regular papers will be conditionally accepted for publication. Authors of conditionally accepted papers will be provided with committee reviews along with a set of mandatory revisions. Regular papers not accepted for publication will be considered as draft papers, at the request of the author. Draft papers will be screened to make sure that they are within the scope of IFL, and will be accepted for presentation or rejected accordingly. Prior to the symposium: Authors of conditionally accepted papers and accepted presentations will submit a pre-proceedings version of their work that will appear in the draft proceedings distributed at the symposium. The draft proceedings does not constitute a formal publication. We require that at least one of the authors present the work at IFL 2019. After the symposium: Authors of conditionally accepted papers will submit a revised versions of their paper for the formal post-proceedings. The program committee will assess whether the mandatory revisions have been adequately addressed by the authors and thereby determines the final accept/reject status of the paper. Our interest is to ultimately accept all conditionally accepted papers. If you are an author of a conditionally accepted paper, please make sure that you address all the concerns of the reviewers. Authors of accepted presentations will be given the opportunity to incorporate the feedback from discussions at the symposium and will be invited to submit a revised full article for the formal post-proceedings. The program committee will evaluate these submissions according to their correctness, novelty, originality, relevance, significance, and clarity, and will thereby determine whether the paper is accepted or rejected. ### Publication The formal proceedings will appear in the International Conference Proceedings Series of the ACM Digital Library. At no time may work submitted to IFL be simultaneously submitted to other venues; submissions must adhere to ACM SIGPLAN's republication policy: http://www.sigplan.org/Resources/Policies/Republication ### Important dates Submission of regular papers: June 15, 2019 Submission of draft papers: July 15, 2019 Regular and draft papers notification: August 1, 2019 Deadline for early registration: August 15, 2019 Submission of pre-proceedings version: September 15, 2019 IFL Symposium: September 25-27, 2019 Submission of papers for post-proceedings: November 30, 2019 Notification of acceptance: January 31, 2020 Camera-ready version: February 29, 2020 ### Submission details All contributions must be written in English. Papers must use the ACM two columns conference format, which can be found at: http://www.acm.org/publications/proceedings-template Authors submit through EasyChair: https://easychair.org/conferences/?conf=ifl2019 ### Peter Landin Prize The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honored article is selected by the program committee based on the submissions received for the formal review process. The prize carries a cash award equivalent to 150 Euros. ### Organization and Program committee Chairs: Jurrien Stutterheim (Standard Chartered Bank Singapore), Wei Ngan Chin (National University of Singapore) Program Committee: - Olaf Chitil, University of Kent - Clemens Grelck, University of Amsterdam - Daisuke Kimura, Toho University - Pieter Koopman, Radboud University - Tamas Kozsik, Eotvos Lorand University - Roman Leschinskiy, Facebook - Ben Lippmeier, The University of New South Wales - Marco T. Morazan, Seton Hall University - Sven-Bodo Scholz, Heriot-Watt University - Tom Schrijvers, Katholieke Universiteit Leuven - Alejandro Serrano, Utrecht University - Tony Sloane, Macquarie University - Simon Thompson, University of Kent - Marcos Viera, Universidad de la Republica - Wei Ngan Chin, NUS - Jurrien Stutterheim, Standard Chartered Bank ### Venue The 31st IFL is organized by the National University of Singapore. Singapore is located in the heart of South-East Asia, and the city itself is extremely well connected by trains and taxis. See the website for more information on the venue. ### Acknowledgments This call-for-papers is an adaptation and evolution of content from previous instances of IFL. We are grateful to prior organizers for their work, which is reused here. A part of IFL 2019 format and CFP language that describes conditionally accepted papers has been adapted from call-for-papers of OOPSLA conferences.

1 0

GPCE 2019: 2nd Call for Papers - Athens, Greece; October 21-22
by Rodin Aarssen 06 Jun '19

06 Jun '19

CALL FOR PAPERS 18th International Conference on Generative Programming: Concepts & Experiences (GPCE 2019) October 21-22, 2019 Athens, Greece (co-located with SPLASH 2019) https://conf.researchr.org/home/gpce-2019 http://twitter.com/GPCECONF http://www.facebook.com/GPCEConference IMPORTANT DATES * Submission of abstracts: June 14, 2019 * Submission of papers: June 21, 2019 * Paper notification: August 9, 2019 Submission site: https://gpce19.hotcrp.com/ -------------------------------------------------------------------------- SCOPE GPCE is a venue for researchers and practitioners interested in techniques and tools for code generation, language implementation, and metaprogramming. GPCE seeks conceptual, theoretical, empirical, and technical contributions to its topics of interest, which include but are not limited to: * program transformation, staging, macro systems, preprocessors, program synthesis, and code-recommendation systems, * domain-specific languages, language embedding, language design, and language workbenches, * feature-oriented programming, domain engineering, and feature interactions, * applications and properties of code generation, language implementation, and product-line development. Authors are welcome to check with the program co-chairs whether their planned papers are in scope. PAPER SELECTION The GPCE program committee will evaluate each submission according to the following selection criteria: * Novelty. Papers must present new ideas or evidence and place them appropriately within the context established by previous research in the field. * Significance. The results in the paper must have the potential to add to the state of the art or practice in significant ways. * Evidence. The paper must present evidence supporting its claims. Examples of evidence include formalizations and proofs, implemented systems, experimental results, statistical analyses, and case studies. * Clarity. The paper must present its contributions and results clearly. PAPER CATEGORIES GPCE solicits three kinds of submissions. * Full Papers reporting original and unpublished results of research that contribute to scientific knowledge in any GPCE topic listed above. Full paper submissions must not exceed 12 pages excluding bibliography. * Short Papers presenting unconventional ideas or visions about any GPCE topic listed above. Short papers do not always require complete results as in the case of a full paper. In this way, authors can introduce new ideas to the community and get early feedback. Please note that short papers are not intended to be position statements. Short papers are included in the proceedings and will be presented at the conference. Short paper submissions must not exceed 6 pages excluding bibliography. * Tool Demonstrations presenting tools for any GPCE topic listed above. Tools must be available for use and must not be purely commercial. Submissions must provide a tool description not exceeding 6 pages excluding bibliography and a separate demonstration outline including screenshots also not exceeding 6 pages. Tool demonstrations must have the keywords "Tool Demo" or "Tool Demonstration" in their title. If the submission is accepted, the tool description will be published in the proceedings. The demonstration outline will only be used by the program committee for evaluating the submission. PAPER SUBMISSION All submissions must use the ACM SIGPLAN Conference Format "acmart", using the "sigplan" sub-format, and 10 point font. Additional details and links to templates and the LaTeX class file can be found on the conference web site: https://conf.researchr.org/home/gpce-2019. To increase fairness in reviewing, a double-blind review process has become standard across SIGPLAN conferences. GPCE will follow a very lightweight model, where author identities are revealed to reviewers after submitting their initial reviews. Hence, the purpose is not to conceal author identities at all cost, but merely to provide reviewers with an unbiased first look at a submission. Author names and institutions should be omitted from submitted papers, and references to the authors' own related work should be in the third person. No other changes are necessary, and authors will not be penalized if reviewers are able to infer their identities in implicit ways. Papers must be submitted using HotCRP: https://gpce19.hotcrp.com/ For additional information, clarification, or answers to questions please contact the program co-chairs. ORGANIZATION Chairs * General chair: Ina Schaefer (TU Braunschweig) * Program co-chair: Christoph Reichenbach (Lund University) * Program co-chair: Tijs van der Storm (CWI / University of Groningen) Program Committee * Jonathan Aldrich (CMU) * Juliana Alves Pereira (University of Rennes, INRIA) * Marsha Chechik (University of Toronto) * Shigeru Chiba (University of Tokyo) * Thomas Degueule (CWI) * Sebastian Erdweg (TU Delft) * Matthew Flatt (University of Utah) * Robert Glück (University of Copenhagen) * Elisa Gonzalez Boix (VUB) * Geoffrey Mainland (Drexel University) * Chris Martens (NCSU) * Maryam Mehri Dehnavi (University of Toronto) * Peter Mosses (Swansea University / TU Delft) * David Pearce (Victoria University of Wellington) * Alex Potanin (Victoria University of Wellington) * Larissa Rocha Soares (Federal University of Bahia) * Ulrik Schultz (University of Southern Denmark) * Sandro Schulze (University of Magdeburg) * Christoph Seidl (TU Braunschweig) * Michel Steuwer (University of Glasgow) * Sam Tobin Hochstadt (Indiana University) * Kanae Tsushima (National Institute of Informatics) * Philip Wadler (University of Edinburgh) * Eric Walkingshaw (Oregon State University) * Adam Welc (Uber) * Peng Wu (Huawei)

1 0

INAP 2019 - Deadline extension
by Petra Hofstedt (BTU) 05 Jun '19

05 Jun '19

================================================================== INAP 2019: Call for Papers -- Submission Deadline extended -- ================================================================== 22nd International Conference on Applications of Declarative Programming and Knowledge Management Cottbus, Germany, September 9-13, 2019 (part of Declare 2019: www.declare19.de) Important Dates --- EXTENDED DEADLINES --- Paper submission: June 24, 2019 Notification of acceptance: July 15, 2019 Camera-ready papers: August 5, 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 Submission is via Springer-OCS submission website for INAP 2019: https://ocs.springer.com/ocs/de/conference/submitpaperto/INAP2019 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) Agostino Dovier (Università degli Studi di Udine) 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 Janhunen (Tampere 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/

1 0

WFLP 2019 - Submission Deadline extended
by Herbert Kuchen 04 Jun '19

04 Jun '19

WFLP 2019 - Submission Deadline extended 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: www.declare19.de) Important Dates --- EXTENDED DEADLINES --- Paper submission: June 24, 2019 Notification of acceptance: July 15, 2019 Camera-ready papers: August 5, 2019 Early registration: August 12, 2019 Online Registration: September 2, 2019 Workshop: September 9-13, 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

1 0

Second Call for Submissions: ICFP Student Research Competition
by Sam Tobin-Hochstadt 03 Jun '19

03 Jun '19

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)

1 0

INCoS-2019 Call for Papers, September 5-7, 2019, Japan, Submission Final Extension May 31
by Davidekova Monika 31 May '19

31 May '19

Call for Papers The 11-th International Conference on Intelligent Networking and Collaborative Systems (INCoS-2019) Oita University, Oita, Japan September 5 - 7, 2019 <http://cs-conferences.acadiau.ca/mobispc-19/> http://voyager.ce.fit.ac.jp/conf/incos/2019/information.php IMPORTANT DATES - Submission Deadline: May 31, 2019 FINAL EXTENSION - Authors Notification: June 15, 2019 - Author Registration: June 25, 2019 - Final Manuscript: June 25, 2019 - Conference Dates: September 5 - 7, 2019 CONFERENCE SCOPE AND OBJECTIVES With the fast development of the Internet, we are experiencing a shift from the traditional sharing of information and applications as the main purpose of the Web to an emergent paradigm, which locates people at the very center of networks and exploits the value of people's connections and relations. Web 2.0 has come to play a major role in this context by enabling a new generation of social networks and web-based communities and dramatically changing the way we use and interact with the Web. Social network analysis is also a rapidly growing field to investigate the dynamics and structure of intelligent Web-based networking and collaborative systems. Virtual campuses and organizations strongly leverage intelligent networking and collaborative systems by a great variety of formal and informal electronic relations, such as business-to-business, peer-to-peer and many types of online collaborative learning interactions. This has resulted in entangled systems that need to be managed efficiently and in an autonomous way. In addition, latest and powerful technologies based on Grid and Wireless infrastructure as well as Cloud computing are currently enhancing collaborative and networking applications a great deal but also facing new issues and challenges. Well-known social networks lack of knowledge management and adaptive solutions and the information shared among peers is rather static. Virtual communities of practice also provide poorly interactive solutions and lack of full support for organization, management, mobility and security. This conference covers the latest advances in intelligent social networks and collaborative systems that lead to gain competitive advantages in business and academia scenarios. The ultimate aim is to stimulate research that will lead to the creation of responsive environments for networking and, at longer-term, the development of adaptive, secure, mobile, and intuitive intelligent systems for collaborative work and learning. Industry and academic researchers, professionals and practitioners are invited to exchange their experiences and present their ideas in this field. PUBLICATION Conference Proceedings All accepted papers of the conference and of workshops will be included in the conference proceedings of Lecture Notes in the Advances in Intelligent Systems and Computing book series published by Springer. Proceedings will be sent by Springer for indexing in EI and SCOPUS, ISI Proceedings, MetaPress, Springerlink. VENUE Oita University, Oita, Japan. MAIN TOPICS AND TRACKS The main topics of interest of INCoS-2019 include but are not limited to the following: * Data Mining, Machine Learning and Collective Intelligence <http://voyager.ce.fit.ac.jp/conf/incos/2019/information.php#data> * Fuzzy Systems and Knowledge Management <http://voyager.ce.fit.ac.jp/conf/incos/2019/information.php#fuzzy> * Grid and P2P Distributed Infrastructure for Intelligent Networking and Collaborative Systems <http://voyager.ce.fit.ac.jp/conf/incos/2019/information.php#grid> * Nature's Inspired Parallel Collaborative Systems <http://voyager.ce.fit.ac.jp/conf/incos/2019/information.php#nature> * Security, Organization, Management and Autonomic Computing for Intelligent Networking and Collaborative Systems <http://voyager.ce.fit.ac.jp/conf/incos/2019/information.php#security> * Software Engineering, Semantics and Ontologies for Intelligent Networking and Collaborative Systems <http://voyager.ce.fit.ac.jp/conf/incos/2019/information.php#semantics> * Wireless and Sensor Systems for Intelligent Networking and Collaborative Systems <http://voyager.ce.fit.ac.jp/conf/incos/2019/information.php#wireless> * Service-based Systems for Enterprise Activities Planning and Management <http://voyager.ce.fit.ac.jp/conf/incos/2019/information.php#service> * Next Generation Secure Network Protocols and Components <http://voyager.ce.fit.ac.jp/conf/incos/2019/information.php#nextgen> * Big Data Analytics for Learning, Networking and Collaborative Systems <http://voyager.ce.fit.ac.jp/conf/incos/2019/information.php#bigdata> * Cloud Computing: Services, Storage, Security and Privacy <http://voyager.ce.fit.ac.jp/conf/incos/2019/information.php#cloudcom> * Intelligent Collaborative Systems for Work and Learning, Virtual Organization and Campuses <http://voyager.ce.fit.ac.jp/conf/incos/2019/information.php#intelli> * Social Networking and Collaborative Systems <http://voyager.ce.fit.ac.jp/conf/incos/2019/information.php#social> * Intelligent and Collaborative Systems for e-Health <http://voyager.ce.fit.ac.jp/conf/incos/2019/information.php#e-health> * Mobile Networking and Applications <http://voyager.ce.fit.ac.jp/conf/incos/2019/information.php#mobile> INCoS-2019 CONFERENCE OFFICERS Honorary Chairs Seigo Kitano, Oita University, Japan Makoto Takizawa, Hosei University, Japan General Co-Chairs Hiroaki Nishino, Oita University, Japan Leonard Barolli, Fukuoka Institute of Technology, Japan Program Co-Chairs Hiroyoshi Miwa, Kwansei Gakuin University, Japan Flora Amato, University of Naples, Italy Workshops Co-Chairs Masato Tsuru, Kyushu Institute of Technology, Japan Jakub Nalepa, Silesian University of Technology, Poland International Advisory Committee Vincenzo Loia, University of Salerno, Italy Amélia Ferreira da Silva, CEOS. PP, Politécnico do Porto, Portugal Christine Strauss, University of Vienna, Austria Fang-Yie Leu, Tunghai University, Taiwan Albert Zomaya, University of Sydney, Australia International Liaison Co-Chairs Pavel Kromer, Technical Univ. of Ostrava, Czech Republic Kin Fun Li, University of Victoria, Canada Ana Azevedo, CEOS.PP, Politécnico do Porto, Portugal Joseph Tan, McMaster University, Canada Award Co-Chairs Marek Ogiela, AGH Univ. of Science and Technology, Poland Vaclav Snasel, Technical Univ. of Ostrava, Czech Republic Web Administrators Miralda Cuka, Fukuoka Institute of Technology, Japan Kevin Bylykbashi, Fukuoka Institute of Technology, Japan Donald Elmazi, Fukuoka Institute of Technology, Japan Local Arrangement Co-Chairs Ken’ichi Furuya, Oita University, Japan Makoto Nakashima, Oita University, Japan Finance Chair Makoto Ikeda, Fukuoka Institute of Technology, Japan Steering Committee Leonard Barolli, Fukuoka Institute of Technology, Japan TRACK CHAIRS Track 1: Data Mining, Machine Learning and Collective Intelligence Track Co-Chairs: Carson K Leung, University of Manitoba, Canada Thomas Lenhard, Comenius University in Bratislava, Slovakia TPC members: Alfredo Cuzzocrea, University of Trieste, Italy Fan Jiang, University of Northern British Columbia, Canada Wookey Lee, Inha University, Korea Oluwafemi A. Sarumi, Federal University of Technology - Akure, Nigeria Syed K. Tanbeer, University of Manitoba, Canada Tomas Vinar, Comenius University in Bratislava, Slovakia Kin Fun Li, University of Victoria, Canada Track 2: Fuzzy Systems and Knowledge Management Track Co-Chairs: Marek Ogiela, AGH University of Science and Technology, Poland Morteza Saberi, UNSW Canberra, Australia Chang Choi, Chosun University, Korea TPC members: Hsing-Chung (Jack) Chen, Asia University, Taiwan Been-Chian Chien, National University, Taiwan Junho Choi, Chosun University, Korea Farookh Khadeer Hussain, Technology Sydney University, Australia Hae-Duck Joshua Jeong, Korean Bible University, Korea Hoon Ko, Sungkyunkwan University, Korea Natalia Krzyworzeka, AGH University of Science and Technology, Poland Libor Mesicek, J. E. Purkinje University, Czech Republic Lidia Ogiela, Pedagogical University of Cracow, Poland Su Xi, Hohai University, China Ali Azadeh, Tehran University, Iran Jin Hee Yoon, Sejong University, South Korea Hamed Shakouri, Tehran University, Iran Jee-Hyong Lee, Sungkyunkwan University, South Korea Jung Sik Jeon, Mokpo National Maritime University, South Korea Track 3: Grid and P2P Distributed Infrastructure for Intelligent Networking and Collaborative Systems Track Co-Chairs: Aneta Poniszewska-Maranda, Lodz University of Technology, Poland Michal Gregus, Comenius University in Bratislava, Slovakia Takuya Asaka, Tokyo Metropolitan University, Japan TPC members: Jordi Mongay Batalla, National Institute of Telecommunications, Poland Nik Bessis, University of Derby, UK Aniello Castiglione, Dipartimento di Informatica University of Salerno, Italy Naveen Chilamkurti, La Trobe University, Australia Radu-Ioan Ciobanu, University Politehnica of Bucharest, Romania Alexandru Costan, IRISA / INSA Rennes, France Vladimir-Ioan Cretu, University Politehnica of Timisoara, Romania Valentin Cristea, University Politehnica of Bucharest, Romania Marc Frincu, West University of Timisoara, Romania Rossitza Ivanova, Goleva Technical University of Sofia, Bulgaria Dorian Gorgan, Technical University of Cluj-Napoca, Romania Mauro Iacono, Seconda Universita' degli Studi di Napoli, Italy George Mastorakis, Technological Educational Institute of Crete, Greece Constandinos X. Mavromoustakis, University of Nicosia, Cyprus Gabriel Neagu, National Institute for Research and Development in Informatics, Romania Rodica Potolea, Technical University of Cluj-Napoca, Romania Radu Prodan, University of Innsbruck, Austria Ioan Salomie, Technical University of Cluj-Napoca, Romania George Suciu, BEIA International, Romania Nicolae Tapus, University Politehnica of Bucharest, Romania Sergio L. Toral Marín, University of Seville, Spain Radu Tudoran, European Research Center, Germany Lucian Vintan, Lucian Blaga University, Romania Mohammad Younas, Oxford Brookes University, UK Track 4: Nature's Inspired Parallel Collaborative Systems Track Co-Chairs: Mohammad Shojafar, University of Rome, Italy Zahra Pooranian, University of Padua, Padua, Italy Daichi Kominami, Osaka University, Japan TPC members: Francisco Luna, University of Málaga, Spain Sergio Nesmachnow, University La Republica, Uruguay Nouredine Melab, University of Lille 1, France Julio Ortega, University of Granada, Spain Domingo Giménez, University of Murcia, Spain Gregoire Danoy, University of Luxembourg, Luxembourg Carolina Salto, University of La Pampa, AR Stefka Fidanova, IICT-BAS, Bulgaria Michael Affenzeller, Upper Austria University, Austria Hernan Aguirre, Shinshu University, Japan Francisco Chicano, University of Malaga, Spain Javid Tahery, Karlstad University, Sweden Enrique Domínguez, University of Málaga, Spain Guillermo Leguizamón, Universidad Nacional de San Luis, AR Konstantinos Parsopoulos, University of Ioannina, Greece Carlos Segura, CIMAT, Mexico Eduardo Segredo, Edinburgh Napier University, UK Javier Arellano, University of Málaga, Spain Track 5: Security, Organization, Management and Autonomic Computing for Intelligent Networking and Collaborative Systems Track Co-Chairs: Jungwoo Ryoo, Pennsylvania State University, USA Simon Tjoa, St. Poelten University of Applied Sciences, Austria TPC members: Nikolaj Goranin, Vilnius Gediminas Technical University, Lituania Kenneth Karlsson, Lapland University of Applied Sciences, Finland Peter Kieseberg, SBA Research, Austria Hyoungshick Kim, Sungkyunkwan University, Korea Hae Young Lee, DuDu IT, Korea Moussa Ouedraogo, Wavestone, Luxembourg Sebastian Schrittwieser, St. Pölten University of Applied Sciences, Austria Syed Rizvi, Pennsylvania State University, USA Track 6: Software Engineering, Semantics and Ontologies for Intelligent Networking and Collaborative Systems Track Co-Chairs: Kai Jander, University of Hamburg, Germany Giovanni Cozzolino, University of Naples "Federico II", Italy TPC members: Tsutomu Kinoshita, Fukui University of Technology, Japan Kouji Kozaki, Osaka University, Japan Hiroyoshi Miwa, Kwansei Gakuin University, Japan Burin Rujjanapan, Nation University, Thailand Hiroshi Kanasugi, Tokyo University, Japan Takayuki Shimotomai, Advanced Simulation Technology Of Mechanics R&D, Japan Jinattaporn Khumsri, Fukui University of Technology, Japan Rene Witte, Concordia University, Canada Amal Zouaq, University of Ottawa, Canada Jelena Jovanovic, University of Belgrade, RS Zeinab Noorian, Ryerson University, Canada Faezeh Ensan, Ferdowsi University of Mashhad, IR Alireza Vazifedoost, Sun Life Financial, Canada Morteza Mashayekhi, Royal Bank of Canada, Canada Track 7: Wireless and Sensor Systems for Intelligent Networking and Collaborative Systems Track Co-Chairs: Do van Thanh, Telenor & Oslo Metropolitan University, Norway Salem Lepaja, University of Prishtina @ AAB College in Prishtina, Kosovo Shigeru Kashihara, Nara Institute of Science and Technology, Japan TPC members: Dhananjay Singh, HUFS, Korea Shirshu Varma, IIIT-Allahabad, India B. BALAJI Naik, NIT-Sikkim, India Sayed Chhattan Shah, HUFS, Korea, US Madhusudan Singh, Yonsei University, Korea Irish Singh, Ajou University, Korea Gaurav Tripathi, Bharat Electronics Limited, India Jun Kawahara, Kyoto University, Japan Muhammad Niswar, Hasanuddin University, Indonesia Vasaka Visoottiviseth, Mahidol University, Thailand Jane Louie F. Zamora, Weathernews Inc., Japan Track 8: Service-based Systems for Enterprise Activities Planning and Management Track Co-Chairs: Corinna Engelhardt-Nowitzki, University of Applied Sciences, Austria Natalia Kryvinska, Comenius University in Bratislava, Slovakia TPC members: Maria Bohdalova, Comenius University in Bratislava, Slovakia Ivan Demydov, Lviv Polytechnic National University, Ukraine Jozef Juhar, Technical University of Košice, Slovakia Nor Shahniza Kamal Bashah, Universiti Teknologi MARA, Malaysia Eric Pardede, La Trobe University, Australia Francesco Moscato, University of Campania, Italy Tomoya Enokido, Rissho University, Japan Track 9: Next Generation Secure Network Protocols and Components Track Co-Chairs: Xu An Wang, Engineering University of CAPF, China Mingwu Zhang, Hubei Univerisity of Technology, China TPC members: Fushan Wei, The PLA Information Engineering University, China He Xu, Nangjing University of Posts and Telecommunications, China Yining Liu, Guilin University of Electronic Technology, China Yuechuan Wei, Engineering Unviersity of CAPF, China Weiwei Kong, Xi`an University of Posts&Telecommunications, China Dianhua Tang, CETC 30, China Hui Tian, Huaqiao University, China Track 10: Big Data Analytics for Learning, Networking and Collaborative Systems Track Co-Chairs: Santi Caballe, Universitat Oberta de Catalunya Spain Francesco Orciuoli, University of Salerno, Italy Shigeo Matsubara, Kyoto University, Japan TPC members: Santi Caballe, Open University of Catalonia, Spain Jordi Conesa, Open University of Catalonia, Spain Soumya Barnejee, Institut national des sciences appliquées, France David Bañeres, Open University of Catalonia, Spain Nicola Capuano, University of Salerno, Italy Nestor Mora, Open University of Catalonia, Spain Jorge Moneo, University of San Jorge, Spain David Gañán, Open University of Catalonia, Spain Isabel Guitart, Open University of Catalonia, Spain Elis Kulla, Okayama University of Science, Japan Evjola Spaho, Polytechnic University of Tirana, Albania Florin Pop, University Politehnica of Bucharest, Romania Kin Fun Li, University of Victoria, Canada Miguel Bote, University of Valladolid, Spain Pedro Muñoz, University of Carlos III, Spain Track 11: Cloud Computing: Services, Storage, Security and Privacy Track Co-Chairs: Javid Taheri, Karlstad University, Sweden Shuiguang Deng, Zhejiang University, China TPC members: Ejaz Ahmed, National Institute of Standards and Technology, US Asad Malik, National University of Science and Technology, Pakistan Usman Shahid, Comsats Institute of Information Technology, Pakistan Assad Abbas, North Dakota State University, US Nikolaos Tziritas, Chinese Academy of Sciences, China Osman Khalid, Comsats Institute of Information Technology, Pakistan Kashif Bilal, Qatar University, Qatar Javid Taheri, Karlstad University, Sweden Saif Rehman, Comsats Institute of Information Technology, Pakistan Inayat Babar, University of Engineering and Technology, Pakistan Thanasis Loukopoulos, Technological Educational Institute of Athens, Greece Mazhar Ali, Comsats Institute of Information Technology, Pakistan Tariq Umer, Comsats Institute of Information Technology, Pakistan Track 12: Intelligent Collaborative Systems for Work and Learning, Virtual Organization and Campuses Track Co-Chairs: Nikolay Kazantsev, National Research University Higher School of Economics, Russia Monika Davidekova, Comenius University in Bratislava, Slovakia TPC members: Luis Alberto Casillas, University of Guadalajara, Mexico Nestor Mora, University of Cadiz, Spain Michalis Feidakis, University of Aegean, Greece Sandra Isabel Enciso, Fundación Universitaria Juan N. Corpas, Colombia Nicola Capuano, University of Salerno, Italy Rafael Del Hoyo, Technological Center of Aragon, Spain George Caridakis, University of Aegean, Greece Kazunori Mizuno, Takushoku University, Japan Satoshi Ono, Kagoshima University, Japan Yoshiro Imai, Kagawa University, Japan Takashi Mitsuishi, Tohoku University, Japan Hiroyuki Mitsuhara, Tokushima University, Japan Track 13: Social Networking and Collaborative Systems Track Co-Chairs: Nicola Capuano, University of Salerno, Italy Dusan Soltes, Comenius University in Bratislava, Slovakia Yusuke Sakumoto, Kwansei Gakuin University, Japan TPC members: Santi Caballé, Open University of Catalonia, Spain Thanasis Daradoumis, University of the Aegean, Greece Angelo Gaeta, University of Salerno, Italy Christian Guetl, Graz University of Technology, Austria Miltiadis Lytras, American College of Greece Agathe Merceron, Beuth University of Applied Sciences Berlin, Germany Francis Palma, Screaming Power, Canada Krassen Stefanov, Sofia University “St. Kliment Ohridski”, Bulgaria Daniele Toti, Roma Tre Universy, Italy Jian Wang, Wuhan University, China Jing Xiao, South China Normal University, China Jian Yu, Auckland University of Technology, Australia Aida Masaki, Tokyo Metropolitan University, Japan Takano Chisa, Hiroshima City University, Japan Sho Tsugawa, Tsukuba University, Japan Track 14: Intelligent and Collaborative Systems for e-Health Track Co-Chairs: Massimo Esposito, Institute for High Performance Computing and Networking - National Research Council of Italy, Italy Mario Ciampi, Institute for High Performance Computing and Networking - National Research Council of Italy, Italy Giovanni Luca Masala, University of Plymouth, UK TPC members: Tim Brown, Australian National University, Australia Mario Marcos do Espirito Santo, Universidad Stadual de Montes Claros, Brazil Jana Heckenbergerova, University Pardubice, Czech Republic Zdenek Matej, Masaryk University, Czech Republic Michal Musilek, University Hradec Kralove, Czech Republic Michal Prauzek, VSB-TU OStrava, Czech Republic Vaclav Prenosil, Masaryk University, Czech Republic Alvin C. Valera, Singapore Management University, Singapore Nasem Badr El Din, University of Manitoba, Canada Emil, Pelikan, Academy of Sciences, Czech Republic Joanne Nightingale, National Physical Laboratory, UK Tomas Barton, University of Alberta, Canada Track 15: Mobile Networking and Applications Track Co-Chairs: Miroslav Voznak, VSB-Technical University of Ostrava, Czech Republic Akihiro Fujihara, Chiba Institute of Technology, Japan Lukas Vojtech, Czech Technical University in Prague, Czech Republic TPC members: Nobuyuki Tsuchimura, Kwansei Gakuin University, Japan Masanori Nakamichi, Fukui University of Technology, Japan Masahiro Shibata, Kyushu Institute of Technology, Japan Yusuke Ide, Kanazawa Institute of Technology, Japan Takayuki Shimotomai, Advanced Simulation Technology Of Mechanics R&D, Japan Dinh-Thuan Do, Ton Duc Thang University, Vietnam Floriano De Rango, University of Calabria, Italy Homero Toral-Cruz, University of Quintana Roo, Mexico Remigiusz Baran, Kielce University of Technology, Poland Mindaugas Kurmis, Klaipeda State University of Applied Sciences, Lituania Radek Martinek, VSB-Technical University of Ostrava, Czech Republic Mauro Tropea, University of Calabria, Italy Gokhan Ilk, Ankara University, Turkey Shino Iwami, Microsoft, Japan

1 0

Announce: comfort-array, lapack
by Henning Thielemann 29 May '19

29 May '19

I like two announce two of my packages: 1. comfort-array http://hackage.haskell.org/package/comfort-array It provides Boxed and Storable arrays with very liberal shape definitions. You may use ranges of indices like in 'array' or zero-based indexing like in 'repa', but you can also use arbitrary index Sets, enumerations, concatenation of arrays and more. E.g. an array with (Shape.Enumeration Ordering) has three elements with indices LT, EQ, GT. 2. lapack http://hackage.haskell.org/package/lapack A high-level interface to the numerical Linear Algebra package LAPACK. It is based on comfort-array, which means that a vector can have a rich structure. E.g. matrix vector multiplication has the signature: (#*|) :: Matrix.General height width a -> Vector width a -> Vector height a Thus, a 'Matrix.General (Shape.Enumeration Ordering) (h,w) a' would map a rectangular array with dimensions h and w to a three-element vector with indices LT, EQ, GT. The LAPACK interface provides solvers for simultaneous linear equations, linear least-squares problems, eigenvalue and singular value problems for square, triangular, symmetric, Hermitian, banded and banded Hermitian matrices, as LAPACK supports them. For a motivating example refer to: http://code.henning-thielemann.de/bob2019/main.pdf

3 2

EUSPN 2019 CfP in Coimbra, Portugal, November 4-7 2019 (Conference with ISI Special Issues)
by Davidekova Monika 29 May '19

29 May '19

CfP ********************************************************************************** The 10th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2019) Date: November 4-7, 2019 Location: Coimbra, Portugal Website: http://cs-conferences.acadiau.ca/euspn-19/ ********************************************************************************** The 10th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN) is a premier venue for bringing together multi-disciplinary researchers, professionals and practitioners from both academia and industry, who are engaged in different facets of ubiquitous systems and pervasive networks. The conference encourages innovative research contributions providing the recent significant developments and promising future trends of EUSPN based applications, systems, tools, environments and infrastructures in the fields of EUSPN and related areas. Important Dates: -------------------- - Workshop Proposals: May 30, 2019 - Paper Submission Due: Jun 17, 2019 - Author Notification: August 6, 2019 - Final Manuscript Due: September 6, 2019 Publication ------------- All EUSPN 2019 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com<http://www.Elsevier.com> and on Elsevier content platform ScienceDirect (www.sciencedirect.com<http://www.sciencedirect.com>), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus (www.scopus.com<http://www.scopus.com>) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/) All papers in Procedia will also be indexed by Scopus (www.scopus.com<http://www.scopus.com>) and Engineering Village (Ei) (www.engineeringvillage.com<http://www.engineeringvillage.com>). This includes EI Compendex (www.ei.org/compendex<http://www.ei.org/compendex>). Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/) The papers will contain linked references, XML versions and citable DOI numbers. Selected papers will be invited for publication, in the special issues of: - International Journal of Ambient Intelligence and Humanized Computing (IF: 1.588), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics (IF: 0.504), (http://www.cai.sk/ojs/index.php/cai/index) - IEEE Intelligent Transportation Systems Magazine (IF: 3.654), by IEEE (http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5117645) EUSPN 2019 will be held in conjunction with the 9th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH: http://cs-conferences.acadiau.ca/icth-19/) Papers on either completed or ongoing research are invited in the following and related tracks: http://cs-conferences.acadiau.ca/euspn-19/call-for-papers.html EUSPN 2019 will be held in the city of Coimbra. Coimbra is a historical city and a municipality in Portugal. Among the many archaeological structures dating back to the Roman era, when Coimbra was the settlement of Aeminium, are its well-preserved aqueduct and cryptoporticus. Similarly, buildings from the period when Coimbra was the capital of Portugal (from 1131 to 1255) still remain. During the late Middle Ages, with its decline as the political centre of the Kingdom of Portugal, Coimbra began to evolve into a major cultural centre. This was in large part helped by the establishment of the University of Coimbra in 1290, the oldest academic institution in the Portuguese-speaking world. Apart from attracting many European and international students, the university is visited by many tourists for its monuments and history. Its historical buildings were classified as a World Heritage site by UNESCO in 2013: "Coimbra offers an outstanding example of an integrated university city with a specific urban typology as well as its own ceremonial and cultural traditions that have been kept alive through the ages." Its atmospheric, beautiful historic core cascades down a hillside in a lovely setting on the east bank of the Rio Mondego: it's a multicoloured collage of buildings spanning nearly a millennium. The conference take place in the environment of technology startups and laboratories within the installations of Instituto Pedro Nunes (IPN). IPN is created in 1991 through a University of Coimbra initiative, Instituto Pedro Nunes (IPN)2 is a private non-profit organization which promotes innovation and the transfer of technology, establishing the connection between the scientific and technological environment and the production sector. IPN mission is to leverage a strong university - enterprise relationship for the promotion of innovation, rigor, quality and entrepreneurship in private and public sector organizations by acting in three complementary areas: Research and technological development, consultancy and specialized services; Incubation and acceleration of businesses and ideas; Highly specialized training and promotion of science and technology. In the year of 2010, the Instituto Pedro Nunes incubator3 has been awarded as the Best Science-based Incubator in the world. Conference Tracks ============ - Ad hoc and Pervasive Networks - Adaptive Systems, Intelligent Computing and Applications - Big Data and Big Data Science - Cloud, Cluster, Grid and Social Computing - Emerging Pervasive/Ubiquitous Technologies - Intelligent Traffic and Transportation Systems - Internet of Things - Mobile Computing and Wireless Communications - Security, Privacy, and Trust - Semantic Web Technologies Committees ======== General Chair Atta Badii, University of Reading, UK Program Chairs Stephane Galland, Université de Technologie de Belfort-Montbéliard, France Elhadi Shakshuki, Acadia University, Canada Local Arrangements Chairs Adelio Manuel Rodrigues Gaspar, University of Coimbra, Portugal Nuno Varandas, F6S (Where Founders Grow Together), Portugal Workshops Chairs Muhammad Adnan, Hasselt University, Belgium Haroon Malik, Marshall University, USA Publicity Chair Monika Davidekova, Comenius University in Bratislava, Slovakia Program Vice Chairs Sajid Anwar, Institute of Management Sciences Peshawar, Pakistan Nik Bessis, Edge Hill University, United Kingdom Kechar Bouabdellah, University Of Oran 1 Ahmed Benbella, Algeria Samia Bouzefrane, CEDRIC Lab Conservatoire National des Arts et Métiers, France Alfredo Cuzzocrea, University of Trieste, Italy Stephane Galland, Université de Technologie de Belfort-Montbéliard, France Flavio Lombardi, Universita Roma Tre, Italy Faouzi Kammoun, Ecole Supérieure Privée d'Ingénierie et de Technologies, Tunis Yannis Korkontzelos, Edge Hill University, UK Fernando Moreira, Universidade Portucalense, Porto, Portugal Euripides Petrakis, Technical University of Crete, Greece Evangelos Pournaras, ETH, Switzerland Tarek Sheltami, KFUPM, Saudi Arabia Michael Sheng, Macquarie University, Australia Wei Zhang, Macquarie University, Australia Advisory Committee Ali Ghorbani, University of New Brunswick, Canada Zygmunt J. Haas, Cornell University, USA Vincenzo Loia, University of Salerno, Italy Zakaria Maamar, Zayed University, UAE Peter Sloot, Universiteit van Amsterdam, Netherlands Peter Thomas, Manifesto Research, Australia Technical Program Committee http://cs-conferences.acadiau.ca/euspn-19/organizing-commitee.html9

1 0

Open Position: 2 year postdoc in Functional Programming at Chalmers
by Mary Sheeran 27 May '19

27 May '19

Because I am spending quite a lot of energy on gender equality work at Chalmers, I have been given the opportunity to hire a postdoc to support my research. Thus, I would like to hire an outstanding functional programmer with an interest in embedded domain specific languages, parallel functional programming, verification of machine learning algorithms, secure programming for the Internet of Things, or hardware design and verification. You will join Chalmers' strong and well-resourced Functional Programming Group. You will be free to pursue your own research ideas, but we hope for someone with an interest in collaboration, and in strengthening the group. You may be asked to perform teaching or other departmental duties up to 20%. The position is for two years. Start date is negotiable, preferably in 2019. Our group has too few female researchers and we welcome female applicants. The deadline for applications is June 8 2019. Please use the "Apply" button at the bottom right of this job advertisement to submit your application: https://www.chalmers.se/en/about-chalmers/Working-at-Chalmers/Vacancies/Pag… I can assure you that Gothenburg is a great place to live! Do not hesitate to contact me if you have questions. Mary Sheeran

1 0

Call for papers for IFL 2019 (Implementation and Application of Functional Languages)
by Jurriaan Hage 27 May '19

27 May '19

Hello, Please, find below the call for papers for IFL 2019. Please forward these to anyone you think may be interested. Apologies for any duplicates you may receive. best regards, Jurriaan Hage Publicity Chair of IFL --- ================================================================================ IFL 2019 31st Symposium on Implementation and Application of Functional Languages National University of Singapore September 25th-27th, 2019 http://2019.iflconference.org ================================================================================ ### Scope The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. IFL 2019 will be a venue for researchers to present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the implementation and application of functional languages and function-based programming. Topics of interest to IFL include, but are not limited to: - language concepts - type systems, type checking, type inferencing - compilation techniques - staged compilation - run-time function specialization - run-time code generation - partial evaluation - (abstract) interpretation - metaprogramming - generic programming - automatic program generation - array processing - concurrent/parallel programming - concurrent/parallel program execution - embedded systems - web applications - (embedded) domain specific languages - security - novel memory management techniques - run-time profiling performance measurements - debugging and tracing - virtual/abstract machine architectures - validation, verification of functional programs - tools and programming techniques - (industrial) applications ### Keynote Speaker * Olivier Danvy, Yale-NUS College ### Submissions and peer-review Differently from previous editions of IFL, IFL 2019 solicits two kinds of submissions: * Regular papers (12 pages including references) * Draft papers for presentations ('weak' limit between 8 and 15 pages) Regular papers will undergo a rigorous review by the program committee, and will be evaluated according to their correctness, novelty, originality, relevance, significance, and clarity. A set of regular papers will be conditionally accepted for publication. Authors of conditionally accepted papers will be provided with committee reviews along with a set of mandatory revisions. Regular papers not accepted for publication will be considered as draft papers, at the request of the author. Draft papers will be screened to make sure that they are within the scope of IFL, and will be accepted for presentation or rejected accordingly. Prior to the symposium: Authors of conditionally accepted papers and accepted presentations will submit a pre-proceedings version of their work that will appear in the draft proceedings distributed at the symposium. The draft proceedings does not constitute a formal publication. We require that at least one of the authors present the work at IFL 2019. After the symposium: Authors of conditionally accepted papers will submit a revised versions of their paper for the formal post-proceedings. The program committee will assess whether the mandatory revisions have been adequately addressed by the authors and thereby determines the final accept/reject status of the paper. Our interest is to ultimately accept all conditionally accepted papers. If you are an author of a conditionally accepted paper, please make sure that you address all the concerns of the reviewers. Authors of accepted presentations will be given the opportunity to incorporate the feedback from discussions at the symposium and will be invited to submit a revised full article for the formal post-proceedings. The program committee will evaluate these submissions according to their correctness, novelty, originality, relevance, significance, and clarity, and will thereby determine whether the paper is accepted or rejected. ### Publication The formal proceedings will appear in the International Conference Proceedings Series of the ACM Digital Library. At no time may work submitted to IFL be simultaneously submitted to other venues; submissions must adhere to ACM SIGPLAN's republication policy: http://www.sigplan.org/Resources/Policies/Republication ### Important dates Submission of regular papers: May 31, 2019 Submission of draft papers: July 15, 2019 Regular and draft papers notification: August 1, 2019 Deadline for early registration: August 15, 2019 Submission of pre-proceedings version: September 15, 2019 IFL Symposium: September 25-27, 2019 Submission of papers for post-proceedings: November 30, 2019 Notification of acceptance: January 31, 2020 Camera-ready version: February 29, 2020 ### Submission details All contributions must be written in English. Papers must use the ACM two columns conference format, which can be found at: http://www.acm.org/publications/proceedings-template Authors submit through EasyChair: https://easychair.org/conferences/?conf=ifl2019 ### Peter Landin Prize The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honored article is selected by the program committee based on the submissions received for the formal review process. The prize carries a cash award equivalent to 150 Euros. ### Organization and Program committee Chairs: Jurrien Stutterheim (Standard Chartered Bank Singapore), Wei Ngan Chin (National University of Singapore) Program Committee: - Olaf Chitil, University of Kent - Clemens Grelck, University of Amsterdam - Daisuke Kimura, Toho University - Pieter Koopman, Radboud University - Tamas Kozsik, Eotvos Lorand University - Roman Leschinskiy, Facebook - Ben Lippmeier, The University of New South Wales - Marco T. Morazan, Seton Hall University - Sven-Bodo Scholz, Heriot-Watt University - Tom Schrijvers, Katholieke Universiteit Leuven - Alejandro Serrano, Utrecht University - Tony Sloane, Macquarie University - Simon Thompson, University of Kent - Marcos Viera, Universidad de la Republica - Wei Ngan Chin, NUS - Jurrien Stutterheim, Standard Chartered Bank ### Venue The 31st IFL is organized by the National University of Singapore. Singapore is located in the heart of South-East Asia, and the city itself is extremely well connected by trains and taxis. See the website for more information on the venue. ### Acknowledgments This call-for-papers is an adaptation and evolution of content from previous instances of IFL. We are grateful to prior organizers for their work, which is reused here. A part of IFL 2019 format and CFP language that describes conditionally accepted papers has been adapted from call-for-papers of OOPSLA conferences.

1 0