From muhammad.adnan at uhasselt.be Tue Apr 2 13:38:44 2019 From: muhammad.adnan at uhasselt.be (Muhammad ADNAN) Date: Tue, 2 Apr 2019 15:38:44 +0200 Subject: [Haskell] EUSPN 2019: Call for Workshops Proposal Message-ID: ------- Call for Workshops Proposals ------------ The 10th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN) November 4-7, 2019 Coimbra, Portugal Conference Website: http://cs-conferences.acadiau.ca/euspn-19/ **************************************************** *Important Dates* =========== - Workshop Proposal Due: May 30, 2019 The EUSPN-2019 organizing committee invites proposals for workshops. The main objective of the workshops is to provide a forum for researchers and professionals to discuss a specific topic from the field of EUSPN-2019 and its related areas. All papers accepted for workshops will be included in the EUSPN-2019 proceedings, which will be published by Elsevier. The authors must follow Elsevier guidelines as given in EUSPN-2019 Website. The selective outstanding papers presented at the workshops, after further revision, will be considered for publication in journals special issues. *Pre-proposal Submission Inquiries* ====================== If you are interested to organize a workshop and you wish to discuss ideas for a workshop proposal, please feel free to contact the Workshops Chair. *Proposal Format* =========== - Title of the workshop - Workshop website: tentative address, or old address (if applicable) - Draft call for papers of the workshop - Tentative list of TPC members *Workshops Chair* ============== Dr. Muhammad Adnan, Hasselt University, Belgium (Email: muhammad.adnan at uhasselt.be) Dr. Haroon Malik, Marshall University, USA (Email: malikh at marshall.edu) Regards -- Dr. Muhammad Adnan Senior Navorser - Senior Researcher Instituut voor Mobiliteit (IMOB) - Transportation Research Institute T +32(0)11 26 91 47 - F +32(0)11 26 91 99 www.uhasselt.be\imob Universiteit Hasselt - Campus Diepenbeek Wetenschapspark 5 bus 6 - B-3590 Diepenbeek Kantoor WETP5-0.10 -- Dr. Muhammad Adnan Senior Navorser - Senior Researcher Instituut voor Mobiliteit (IMOB) - Transportation Research Institute T +32(0)11 26 91 47 - F +32(0)11 26 91 99 www.uhasselt.be\imob Universiteit Hasselt - Campus Diepenbeek Wetenschapspark 5 bus 6 - B-3590 Diepenbeek Kantoor WETP5-0.10 -- Dr. Muhammad Adnan Senior Navorser - Senior Researcher Instituut voor Mobiliteit (IMOB) - Transportation Research Institute T +32(0)11 26 91 47 - F +32(0)11 26 91 99 www.uhasselt.be\imob Universiteit Hasselt - Campus Diepenbeek Wetenschapspark 5 bus 6 - B-3590 Diepenbeek Kantoor WETP5-0.10 -- Dr. Muhammad Adnan Senior Navorser - Senior Researcher Instituut voor Mobiliteit (IMOB) - Transportation Research Institute T +32(0)11 26 91 47 - F +32(0)11 26 91 99 www.uhasselt.be\imob Universiteit Hasselt - Campus Diepenbeek Wetenschapspark 5 bus 6 - B-3590 Diepenbeek Kantoor WETP5-0.10 -------------- next part -------------- An HTML attachment was scrubbed... URL: From kuchen at uni-muenster.de Tue Apr 2 14:05:56 2019 From: kuchen at uni-muenster.de (Herbert Kuchen) Date: Tue, 2 Apr 2019 16:05:56 +0200 Subject: [Haskell] 2nd CFP WFLP Message-ID: =========================================================               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 and WLP) 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 QuaProL 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 the 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),     Brandenburg University of Technology, Cottbus, Germany -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 5502 bytes Desc: S/MIME Cryptographic Signature URL: From Graham.Hutton at nottingham.ac.uk Wed Apr 3 09:48:21 2019 From: Graham.Hutton at nottingham.ac.uk (Graham Hutton) Date: Wed, 3 Apr 2019 09:48:21 +0000 Subject: [Haskell] MPC 2019 final call for papers - submissions due 3rd May Message-ID: <10BD2A24-2FA9-440B-A545-A10E5A7281AA@exmail.nottingham.ac.uk> ====================================================================== *** FINAL CALL FOR PAPERS -- MPC 2019 *** 13th International Conference on Mathematics of Program Construction 7-9 October 2019, Porto, Portugal Co-located with Formal Methods 2019 https://tinyurl.com/MPC-Porto ====================================================================== TIMELINE: Abstract submission 26th April 2019 Paper submission 3rd May 2019 Author notification 14th June 2019 Camera ready copy 12th July 2019 Conference 7-9 October 2019 KEYNOTE SPEAKERS: Assia Mahboubi INRIA, France Annabelle McIver Macquarie University, Australia BACKGROUND: The International Conference on Mathematics of Program Construction (MPC) aims to promote the development of mathematical principles and techniques that are demonstrably practical and effective in the process of constructing computer programs. MPC 2019 will be held in Porto, Portugal from 7-9 October 2019, and is co-located with the International Symposium on Formal Methods, FM 2019. Previous conferences were held in Königswinter, Germany (2015); Madrid, Spain (2012); Québec City, Canada (2010); Marseille, France (2008); Kuressaare, Estonia (2006); Stirling, UK (2004); Dagstuhl, Germany (2002); Ponte de Lima, Portugal (2000); Marstrand, Sweden (1998); Kloster Irsee, Germany (1995); Oxford, UK (1992); Twente, The Netherlands (1989). SCOPE: MPC seeks original papers on mathematical methods and tools put to use in program construction. Topics of interest range from algorithmics to support for program construction in programming languages and systems. Typical areas include type systems, program analysis and transformation, programming language semantics, security, and program logics. The notion of a 'program' is interpreted broadly, ranging from algorithms to hardware. Theoretical contributions are welcome, provided that their relevance to program construction is clear. Reports on applications are welcome, provided that their mathematical basis is evident. We also encourage the submission of 'programming pearls' that present elegant and instructive examples of the mathematics of program construction. SUBMISSION: Submission is in two stages. Abstracts (plain text, maximum 250 words) must be submitted by 26th April 2019. Full papers (pdf, formatted using the llncs.sty style file for LaTex) must be submitted by 3rd May 2019. There is no prescribed page limit, but authors should strive for brevity. Both abstracts and papers will be submitted using EasyChair. Papers must present previously unpublished work, and not be submitted concurrently to any other publication venue. Submissions will be evaluated by the program committee 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. Accepted papers must be presented in person at the conference by one of the authors. The proceedings of MPC 2019 will be published in the Lecture Notes in Computer Science (LNCS) series, as with all previous instances of the conference. Authors of accepted papers will be expected to transfer copyright to Springer for this purpose. After the conference, authors of the best papers from MPC 2019 and MPC 2015 will be invited to submit revised versions to a special issue of Science of Computer Programming (SCP). For any queries about submission please contact the program chair, Graham Hutton . PROGRAM COMMITTEE: Patrick Bahr IT University of Copenhagen, Denmark Richard Bird University of Oxford, UK Corina Cîrstea University of Southampton, UK Brijesh Dongol University of Surrey, UK João F. Ferreira University of Lisbon, Portugal Jennifer Hackett University of Nottingham, UK William Harrison University of Missouri, USA Ralf Hinze University of Kaiserslautern, Germany Zhenjiang Hu National Institute of Informatics, Japan Graham Hutton (chair) University of Nottingham, UK Cezar Ionescu University of Oxford, UK Mauro Jaskelioff National University of Rosario, Argentina Ranjit Jhala University of California, USA Gabriele Keller Utrecht University, The Netherlands Ekaterina Komendantskaya Heriot-Watt University, UK Chris Martens North Carolina State University, USA Bernhard Möller University of Augsburg, Germany Shin-Cheng Mu Academia Sinica, Taiwan Mary Sheeran Chalmers University of Technology, Sweden Alexandra Silva University College London, UK Georg Struth University of Sheffield, UK CONFERENE VENUE: The conference will be held at the Alfândega Porto Congress Centre, a 150 year old former custom's house located in the historic centre of Porto on the bank of the river Douro. The venue was renovated by a Pritzer prize winning architect and has received many awards. LOCAL ORGANISERS: José Nuno Oliveira University of Minho, Portugal For any queries about local issues please contact the local organiser, José Nuno Oliveira . ====================================================================== 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 hofstedt at b-tu.de Wed Apr 3 11:41:22 2019 From: hofstedt at b-tu.de (Petra Hofstedt (BTU)) Date: Wed, 3 Apr 2019 13:41:22 +0200 Subject: [Haskell] 2nd CfP INAP 2019 Message-ID: <9770504D-7CD2-4134-84FC-F8294AA1BC8B@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: www.declare19.de) 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 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) 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 From saoussen.cheikhrouhou at redcad.org Wed Apr 3 15:58:19 2019 From: saoussen.cheikhrouhou at redcad.org (SAOUSSEN CHEIKHROUHOU) Date: Wed, 3 Apr 2019 16:58:19 +0100 Subject: [Haskell] =?utf-8?q?=E2=80=94Call_for_papers=3A_16th_Internationa?= =?utf-8?q?l_Colloquium_on_Theoretical_Aspects_of_Computing_=28ICTA?= =?utf-8?q?C_2019=29?= Message-ID: -------------- next part -------------- An HTML attachment was scrubbed... URL: From saoussen.cheikhrouhou at redcad.org Wed Apr 3 17:47:21 2019 From: saoussen.cheikhrouhou at redcad.org (SAOUSSEN CHEIKHROUHOU) Date: Wed, 3 Apr 2019 18:47:21 +0100 Subject: [Haskell] =?utf-8?q?=E2=80=94Call_for_papers=3A_16th_Internationa?= =?utf-8?q?l_Colloquium_on_Theoretical_Aspects_of_Computing_=28ICTA?= =?utf-8?q?C_2019=29=2E?= Message-ID: —Call for papers: 16th International Colloquium on Theoretical Aspects of Computing (ICTAC 2019). http://ictac2019.redcad.org (Apologies if you have received multiple copies of this call for papers) We are pleased to invite you to submit papers for the 16th International Colloquium on Theoretical Aspects of Computing (ICTAC 2019), which will be held from 30th October to 4th November 2019, in Hammamet, Tunisia. The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present research results, and exchange experience, ideas, and solutions for their problems in theoretical aspects of computing. ICTAC also aims to promote research cooperation between developing and industrial countries. The proceedings will be published as a volume of Springer's LNCS series. The important dates are: Abstracts 5 May 2019 Papers 12 May 2019 Notification 21 July 2019 Final version 11 August 2019 Conference 30 October to 4 November 2019 Special issue: Authors of the best contributions will be invited to submit a revised and extended version to a special issue, to be published in Elsevier's Theoretical Computer Science. Invited Speakers: Thomas A. Henzinger, Institute of Science and Technology, Austria Patrick Cousot, Courant Institute of Mathematical Sciences, New York University, USA Dominique MÈry, University of Lorraine, France Topics of interest include, but are not limited to, the following: Languages and automata Semantics of programming languages Logic in computer science Lambda calculus, type theory and category theory Domain-specific languages Theories of concurrency and mobility Theories of distributed, grid and cloud computing Models of objects and components Coordination models Models of software architectures Autonomous systems Timed, hybrid, embedded and cyber-physical systems Static analysis Software verification Software testing Program generation and transformation Model checking and automated theorem proving Interactive theorem proving Verified software, formalized programming theory We solicit the following types of papers: - Regular papers, with original research contributions; - Short papers, with original work in progress or with proposals of new ideas and emerging challenges; - Tool papers, on tools that support formal techniques for software modeling, system design, and verification. Submissions must adhere to the LNCS format. Regular papers should not exceed 18 pages (excluding bibliography of maximum 2 pages). Short and tool papers should not exceed 10 pages. Submissions must not have been published or be under consideration for publication elsewhere. All submissions will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. Each paper submission will be reviewed by at least three members of the Programme Committee. All contributions to ICTAC 2019 have to be submitted electronically in PDF format via Easy Chair (https://easychair.org/conferences/?conf=ictac2019)and have to follow the Springer LNCS paper format. One author of each accepted paper must attend the conference to present it, having paid the regular registration fee. The ICTAC committee will evaluate and select the best paper award winner. The winner will receive a cash award. Steering Committee: Ana Cavalcanti (University of York, UK) (chair) Martin Leucker (Universit‰t zu L¸beck, DE) Zhiming Liu (Southwest University, CN) Tobias Nipkow (Technische Universit‰t M¸nchen, DE) Augusto Sampaio (Universidade Federal de Pernambuco, BR) Natarajan Shankar (SRI International, US) General chairs: Mohamed Jmaiel, University of Sfax, Tunisia Walid Gaaloul, Paris-Saclay University, France Programme chairs: Robert M. Hierons, University of Sheffield, UK Mohamed Mosbah, LaBRI, Bordeaux INP, FR Programme Committee (provisional/draft) Eric Badouel (IRISA, FR) Kamel Barkaoui (CEDRIC - CNAM, FR) FrÈdÈric Blanqui (INRIA, FR) Eduardo Bonelli (Universidad Nacional de Quilmes, AR) Ana Cavalcanti (University of York, UK) Uli Fahrenberg (LIX, FR) Adrian Francalanza (University of Malta, MT) Ahmed Hadj Kacem (University of Sfax, TN) Edward Hermann Haeusler (PontifÌcia Universidade CatÛlica do Rio de Janeiro, BR) Ross Horne (Nanyang Technological University, SG) David Janin (University of Bordeaux, FR) Jan Kretinsky (Technische Universit‰t M¸nchen, DE) Martin Leucker (Universit‰t zu L¸beck, DE) Radu Mardare (Aalborg Universitet, DK) Dominique MÈry (LORIA, FR) Mohammadreza Mousavi (University of Leicester, UK) Tobias Nipkow (Technische Universit‰t M¸nchen, DE) Maciej PirÛg (Wroclaw University, PL) Sanjiva Prasad (IIT Delhi, IN) Riadh Robbana (University of Carthage, TN) Augusto Sampaio (Universidade Federal de Pernambuco, BR) Georg Struth (University of Sheffield, UK) Cong Tian (Xidian University, CN) Tarmo Uustalu (Reykjavik University, IS / Tallinn University of Technology, EE) -------------- next part -------------- An HTML attachment was scrubbed... URL: From Monika.Davidekova at fm.uniba.sk Wed Apr 3 20:07:28 2019 From: Monika.Davidekova at fm.uniba.sk (Davidekova Monika) Date: Wed, 3 Apr 2019 20:07:28 +0000 Subject: [Haskell] MobiSPC 2019 CfPs: The 16th Intrl. Conf. on Mobile Systems and Pervasive Computing: Extended Submission Date (April 18, 2019) In-Reply-To: References: <8F82770E-01D9-4197-B766-163F3841B422@acadiau.ca>, , , , , , Message-ID: CallforPapers The 16th International Conference on Mobile Systems and Pervasive Computing, (MobiSPC'19) August 19-21, 2019, Halifax, Canada http://cs-conferences.acadiau.ca/mobispc-19/ IMPORTANT DATES - Workshop Proposal Due: February 15, 2019 - Paper Submission Due: April 18, 2019 (Extended) - Acceptance Notification: May 25, 2019 - Final Manuscript Due: June 25, 2019 About Mobile Systems and Pervasive Computing (MobiSPC) have evolved into an active area of research and development. This is due to the tremendous advances in a broad spectrum of technologies and topics, including wireless networking, mobile and distributed computing, sensor systems, RFID technology, and the ubiquitous mobile phone. MobiSPC-2019 solicits papers that focus on the theory, systems, practices and challenges of providing users with a successful mobile or wireless experience. This includes how mobile computing changes how people pervasively use their computers, computing resources and applications, as well the systems, services and technologies enabling those applications. MobiSPC-2019 will provide a leading edge, scholarly forum for researchers, engineers, and students alike to share their state-of-the art research and developmental work in the broad areas of pervasive computing and mobile systems. Publication All MobiSPC 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 and on Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus (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) and Engineering Village (Ei) (www.engineeringvillage.com). This includes EI Compendex (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. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the following special issues: - 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) MobiSPC 2019 will be held in conjunction with The 14th International Conference on Future Networks and Communications (FNC'19). http://cs-conferences.acadiau.ca/fnc-19/ Venue MobiSPC 2019 is co-organized & co-hosted by Acadia and Dalhousie Universities. MobiSPC 2019 will be held in Halifax, Nova Scotia, Canada. Halifax is located on the east coast of Canada and is approximately 6-hour flight from London, UK and a 2-hour flight from Toronto, Ontario. Halifax is a vibrant and modern city which is home to multiple academic institutions and where visitors can enjoy a variety of activities and entertainment from whale watching to Jazz festivals to world-class cuisine. Halifax is also home to the Maritime Museum of the Atlantic which contains the world largest collection of Titanic artifacts. Nova Scotia is a picturesque province with many National and Provincial parks, and as stated in the Guinness Book of World Records, has the highest tides in the world. Conference Tracks Component-based IoT Enabling Technologies and Emerging Topics Internet of Things (IoT) Mobile Cloud Computing Mobile Data Management Mobile Social Networking Pervasive Computing Smart Cities and Ubiquitous Climate Change Management Smart Communities and Ubiquitous Systems Mobile Systems and Applications Committees General Chair Hossam Hassanein, Queen's University, Canada Program Chair Jamal Bentahar, Concordia University, Canada Elhadi Shakshuki, Acadia University, Canada Workshops Chair Stéphane Galland, Université de Technologie de Belfort-Montbéliard, France Local Chair Abdelouahed Gherbi, Quebec University, Canada Ahsan Habib, Dalhousie University, Canada Israat Haque, Dalhousie University, Canada Tracks Chairs Muhammad Adnan, Hasselt University, Belgium Longbiao Chen, Xiamen University, China Carmela Comito, National Research Council of Italy, Italy Danny Hughes, K. U. Leuven, Belgium Camille Kamga, The City College of New York, USA Prashant Kumar, University of Surrey, UK Hamid Mcheick, UQAC, Canada Yongrui (Louie) Qin, University of Huddersfield, UK Rahim Rahmani, Stockholm University, Sweden Michael Sheng, Macquarie University, Australia Qussai Yaseen, Jordan University of Science and Technology, Jordan International Journals Chair Atta Badii, Reading University, UK Publicity Chairs Monika Davidekova, Comenius University, Slovak Republic B. B. Gupta, National Institute of Technology Kurukshetra, India Advisory Committee Abdelfettah Belghith, University of Manouba, Tunisia Flavien Balbo, Ecole Nationale Supérieure des Mines de Saint Etienne, France Erol Gelenbe, Imperial College, UK Vincenzo Loia, University of Salerno, Italy Javier Sanchez Medina, University of Las Palmas de Gran Canaria, Spain Ralf Steinmetz, Technische Universitaet Darmstadt, Germany Mohamed Younis, University of Maryland Baltimore County, USA Technical Program Committee http://cs-conferences.acadiau.ca/mobispc-19/#programCommittees -------------- next part -------------- An HTML attachment was scrubbed... URL: From Monika.Davidekova at fm.uniba.sk Thu Apr 4 15:15:07 2019 From: Monika.Davidekova at fm.uniba.sk (Davidekova Monika) Date: Thu, 4 Apr 2019 15:15:07 +0000 Subject: [Haskell] MobiSPC 2019 CfPs: The 16th Intrl. Conf. on Mobile Systems and Pervasive Computing: Extended Submission Date (April 18, 2019) In-Reply-To: References: <8F82770E-01D9-4197-B766-163F3841B422@acadiau.ca>, , , , , , , , , , , , , , , , , , , , , , Message-ID: CallforPapers The 16th International Conference on Mobile Systems and Pervasive Computing, (MobiSPC'19) August 19-21, 2019, Halifax, Canada http://cs-conferences.acadiau.ca/mobispc-19/ IMPORTANT DATES - Workshop Proposal Due: February 15, 2019 - Paper Submission Due: April 18, 2019 (Extended) - Acceptance Notification: May 25, 2019 - Final Manuscript Due: June 25, 2019 About Mobile Systems and Pervasive Computing (MobiSPC) have evolved into an active area of research and development. This is due to the tremendous advances in a broad spectrum of technologies and topics, including wireless networking, mobile and distributed computing, sensor systems, RFID technology, and the ubiquitous mobile phone. MobiSPC-2019 solicits papers that focus on the theory, systems, practices and challenges of providing users with a successful mobile or wireless experience. This includes how mobile computing changes how people pervasively use their computers, computing resources and applications, as well the systems, services and technologies enabling those applications. MobiSPC-2019 will provide a leading edge, scholarly forum for researchers, engineers, and students alike to share their state-of-the art research and developmental work in the broad areas of pervasive computing and mobile systems. Publication All MobiSPC 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 and on Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus (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) and Engineering Village (Ei) (www.engineeringvillage.com). This includes EI Compendex (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. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the following special issues: - 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) MobiSPC 2019 will be held in conjunction with The 14th International Conference on Future Networks and Communications (FNC'19). http://cs-conferences.acadiau.ca/fnc-19/ Venue MobiSPC 2019 is co-organized & co-hosted by Acadia and Dalhousie Universities. MobiSPC 2019 will be held in Halifax, Nova Scotia, Canada. Halifax is located on the east coast of Canada and is approximately 6-hour flight from London, UK and a 2-hour flight from Toronto, Ontario. Halifax is a vibrant and modern city which is home to multiple academic institutions and where visitors can enjoy a variety of activities and entertainment from whale watching to Jazz festivals to world-class cuisine. Halifax is also home to the Maritime Museum of the Atlantic which contains the world largest collection of Titanic artifacts. Nova Scotia is a picturesque province with many National and Provincial parks, and as stated in the Guinness Book of World Records, has the highest tides in the world. Conference Tracks Component-based IoT Enabling Technologies and Emerging Topics Internet of Things (IoT) Mobile Cloud Computing Mobile Data Management Mobile Social Networking Pervasive Computing Smart Cities and Ubiquitous Climate Change Management Smart Communities and Ubiquitous Systems Mobile Systems and Applications Committees General Chair Hossam Hassanein, Queen's University, Canada Program Chair Jamal Bentahar, Concordia University, Canada Elhadi Shakshuki, Acadia University, Canada Workshops Chair Stéphane Galland, Université de Technologie de Belfort-Montbéliard, France Local Chair Abdelouahed Gherbi, Quebec University, Canada Ahsan Habib, Dalhousie University, Canada Israat Haque, Dalhousie University, Canada Tracks Chairs Muhammad Adnan, Hasselt University, Belgium Longbiao Chen, Xiamen University, China Carmela Comito, National Research Council of Italy, Italy Danny Hughes, K. U. Leuven, Belgium Camille Kamga, The City College of New York, USA Prashant Kumar, University of Surrey, UK Hamid Mcheick, UQAC, Canada Yongrui (Louie) Qin, University of Huddersfield, UK Rahim Rahmani, Stockholm University, Sweden Michael Sheng, Macquarie University, Australia Qussai Yaseen, Jordan University of Science and Technology, Jordan International Journals Chair Atta Badii, Reading University, UK Publicity Chairs Monika Davidekova, Comenius University, Slovak Republic B. B. Gupta, National Institute of Technology Kurukshetra, India Advisory Committee Abdelfettah Belghith, University of Manouba, Tunisia Flavien Balbo, Ecole Nationale Supérieure des Mines de Saint Etienne, France Erol Gelenbe, Imperial College, UK Vincenzo Loia, University of Salerno, Italy Javier Sanchez Medina, University of Las Palmas de Gran Canaria, Spain Ralf Steinmetz, Technische Universitaet Darmstadt, Germany Mohamed Younis, University of Maryland Baltimore County, USA Technical Program Committee http://cs-conferences.acadiau.ca/mobispc-19/#programCommittees -------------- next part -------------- An HTML attachment was scrubbed... URL: From Monika.Davidekova at fm.uniba.sk Fri Apr 5 15:16:39 2019 From: Monika.Davidekova at fm.uniba.sk (Davidekova Monika) Date: Fri, 5 Apr 2019 15:16:39 +0000 Subject: [Haskell] MobiSPC 2019 CfPs: The 16th Intrl. Conf. on Mobile Systems and Pervasive Computing: Extended Submission Date (April 18, 2019) In-Reply-To: References: <8F82770E-01D9-4197-B766-163F3841B422@acadiau.ca>, , , , , , , , , , , , ,, , , , , , , , , , , , , , , Message-ID: CallforPapers The 16th International Conference on Mobile Systems and Pervasive Computing, (MobiSPC'19) August 19-21, 2019, Halifax, Canada http://cs-conferences.acadiau.ca/mobispc-19/ IMPORTANT DATES - Workshop Proposal Due: February 15, 2019 - Paper Submission Due: April 18, 2019 (Extended) - Acceptance Notification: May 25, 2019 - Final Manuscript Due: June 25, 2019 About Mobile Systems and Pervasive Computing (MobiSPC) have evolved into an active area of research and development. This is due to the tremendous advances in a broad spectrum of technologies and topics, including wireless networking, mobile and distributed computing, sensor systems, RFID technology, and the ubiquitous mobile phone. MobiSPC-2019 solicits papers that focus on the theory, systems, practices and challenges of providing users with a successful mobile or wireless experience. This includes how mobile computing changes how people pervasively use their computers, computing resources and applications, as well the systems, services and technologies enabling those applications.. MobiSPC-2019 will provide a leading edge, scholarly forum for researchers, engineers, and students alike to share their state-of-the art research and developmental work in the broad areas of pervasive computing and mobile systems. Publication All MobiSPC 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 and on Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus (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) and Engineering Village (Ei) (www.engineeringvillage.com). This includes EI Compendex (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. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the following special issues: - 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) MobiSPC 2019 will be held in conjunction with The 14th International Conference on Future Networks and Communications (FNC'19). http://cs-conferences.acadiau.ca/fnc-19/ Venue MobiSPC 2019 is co-organized & co-hosted by Acadia and Dalhousie Universities. MobiSPC 2019 will be held in Halifax, Nova Scotia, Canada. Halifax is located on the east coast of Canada and is approximately 6-hour flight from London, UK and a 2-hour flight from Toronto, Ontario. Halifax is a vibrant and modern city which is home to multiple academic institutions and where visitors can enjoy a variety of activities and entertainment from whale watching to Jazz festivals to world-class cuisine. Halifax is also home to the Maritime Museum of the Atlantic which contains the world largest collection of Titanic artifacts. Nova Scotia is a picturesque province with many National and Provincial parks, and as stated in the Guinness Book of World Records, has the highest tides in the world. Conference Tracks Component-based IoT Enabling Technologies and Emerging Topics Internet of Things (IoT) Mobile Cloud Computing Mobile Data Management Mobile Social Networking Pervasive Computing Smart Cities and Ubiquitous Climate Change Management Smart Communities and Ubiquitous Systems Mobile Systems and Applications Committees General Chair Hossam Hassanein, Queen's University, Canada Program Chair Jamal Bentahar, Concordia University, Canada Elhadi Shakshuki, Acadia University, Canada Workshops Chair Stéphane Galland, Université de Technologie de Belfort-Montbéliard, France Local Chair Abdelouahed Gherbi, Quebec University, Canada Ahsan Habib, Dalhousie University, Canada Israat Haque, Dalhousie University, Canada Tracks Chairs Muhammad Adnan, Hasselt University, Belgium Longbiao Chen, Xiamen University, China Carmela Comito, National Research Council of Italy, Italy Danny Hughes, K. U. Leuven, Belgium Camille Kamga, The City College of New York, USA Prashant Kumar, University of Surrey, UK Hamid Mcheick, UQAC, Canada Yongrui (Louie) Qin, University of Huddersfield, UK Rahim Rahmani, Stockholm University, Sweden Michael Sheng, Macquarie University, Australia Qussai Yaseen, Jordan University of Science and Technology, Jordan International Journals Chair Atta Badii, Reading University, UK Publicity Chairs Monika Davidekova, Comenius University, Slovak Republic B. B. Gupta, National Institute of Technology Kurukshetra, India Advisory Committee Abdelfettah Belghith, University of Manouba, Tunisia Flavien Balbo, Ecole Nationale Supérieure des Mines de Saint Etienne, France Erol Gelenbe, Imperial College, UK Vincenzo Loia, University of Salerno, Italy Javier Sanchez Medina, University of Las Palmas de Gran Canaria, Spain Ralf Steinmetz, Technische Universitaet Darmstadt, Germany Mohamed Younis, University of Maryland Baltimore County, USA Technical Program Committee http://cs-conferences.acadiau.ca/mobispc-19/#programCommittees __._,_.___ ________________________________ Posted by: Davidekova Monika ________________________________ Reply via web post • Reply to sender • Reply to group • Start a New Topic • Messages in this topic (2) ________________________________ [https://s.yimg.com/ru/static/images/yg/img/megaphone/1464031581_phpFA8bON] Have you tried the highest rated email app? With 4.5 stars in iTunes, the Yahoo Mail app is the highest rated email app on the market. What are you waiting for? Now you can access all your inboxes (Gmail, Outlook, AOL and more) in one place. Never delete an email again with 1000GB of free cloud storage. ________________________________ Visit Your Group [Yahoo! Groups] • Privacy • Unsubscribe • Terms of Use SPONSORED LINKS . __,_._,___ -------------- next part -------------- An HTML attachment was scrubbed... URL: From stefan.wehr at gmail.com Sun Apr 7 07:08:57 2019 From: stefan.wehr at gmail.com (Stefan Wehr) Date: Sun, 7 Apr 2019 09:08:57 +0200 Subject: [Haskell] Call for Contributions: Summer BOB 2019 [Aug 21, Berlin, deadline May 17] Message-ID: [Online version of this email: https://bobkonf.de/2019-summer/cfc.html] Summer BOB Conference 2019 "What happens when we use what's best for a change?" http://bobkonf.de/2019-summer/cfc.html Berlin, August 21 co-located with ICFP 2019 Call for Contributions Deadline: May 17, 2019 You are engaged in software development or software architecture, and have an interesting story to tell about an advanced tools, technique, language or technology that you're using? Or a gnarly problems that these tools fail to address but should? Summer BOB is a one-time-only event, in the spirit of the spectacular Winter BOB. The International Conference on Functional Programming is coming to town, and Summer BOB will be right in the middle of it, on the last day of ICFP proper, prior to all the workshops. Summer BOB will feature two tracks: one from practitioners, and one from researchers, and foster communication and cross-pollination between these communities. If you share our vision and want to contribute, submit a proposal for a talk! NOTE: The conference fee will be waived for presenters. Travel expenses will not be covered (for exceptions see "Speaker Grants"). Topics ------ We are looking for talks about best-of-breed software technology, e.g.: - functional programming - persistent data structures and databases - types - formal methods for correctness and robustness - abstractions for concurrency and parallelism - metaprogramming - probabilistic programming - math and programming - controlled side effects - beyond REST and SOAP - effective abstractions for data analytics - … everything really that isn’t mainstream, but you think should be. Presenters should provide the audience with information that is practically useful for software developers. We're especially interested in experience reports. Other topics are also relevant, e.g.: - demos and how-tos - reports on problems that cutting-edge languages and tools should address but don't - overviews of a given field Requirements ------------ We accept proposals for presentations of 45 minutes (40 minutes talk + 5 minutes questions), as well as 90 minute tutorials for beginners. The language of presentation should be either English. Your proposal should include (in your presentation language of choice): - An abstract of max. 1500 characters. - A short bio/cv - Contact information (including at least email address) - A list of 3-5 concrete ideas of how your work can be applied in a developer's daily life - additional material (websites, blogs, slides, videos of past presentations, …) - Don't be confused: The system calls a submission event. Submit here ----------- https://bobcfc.active-group.de/bob2019-summer/cfp Speaker Grants -------------- BOB has Speaker Grants available to support speakers from groups under-represented in technology. We specifically seek women speakers and speakers who are not be able to attend the conference for financial reasons. Shepherding The program committee offers shepherding to all speakers. Shepherding provides speakers assistance with preparing their sessions, as well as a review of the talk slides. Organisation ------------ - Direct questions to contact at bobkonf dot de - Proposal deadline: May 17, 2019 - Notification: May 31, 2019 - Program: June 14, 2019 Program Committee ----------------- - Matthias Fischmann, zerobuzz UG - Matthias Neubauer, SICK AG - Nicole Rauch, Softwareentwicklung und Entwicklungscoaching - Michael Sperber, Active Group - Stefan Wehr, factis research Scientific Advisory Board - Annette Bieniusa, TU Kaiserslautern - Torsten Grust, Uni Tübingen - Peter Thiemann, Uni Freiburg More information here: http://bobkonf.de/2019-summer/programmkomitee.html -------------- next part -------------- An HTML attachment was scrubbed... URL: From Monika.Davidekova at fm.uniba.sk Mon Apr 8 07:21:04 2019 From: Monika.Davidekova at fm.uniba.sk (Davidekova Monika) Date: Mon, 8 Apr 2019 07:21:04 +0000 Subject: [Haskell] MobiSPC 2019 CfPs: The 16th Intrl. Conf. on Mobile Systems and Pervasive Computing: Extended Submission Date (April 18, 2019) In-Reply-To: References: <8F82770E-01D9-4197-B766-163F3841B422@acadiau.ca>, , , , , , , , , , , , ,, , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , Message-ID: CallforPapers The 16th International Conference on Mobile Systems and Pervasive Computing, (MobiSPC'19) August 19-21, 2019, Halifax, Canada http://cs-conferences.acadiau.ca/mobispc-19/ IMPORTANT DATES - Workshop Proposal Due: February 15, 2019 - Paper Submission Due: April 18, 2019 (Extended) - Acceptance Notification: May 25, 2019 - Final Manuscript Due: June 25, 2019 About Mobile Systems and Pervasive Computing (MobiSPC) have evolved into an active area of research and development. This is due to the tremendous advances in a broad spectrum of technologies and topics, including wireless networking, mobile and distributed computing, sensor systems, RFID technology, and the ubiquitous mobile phone. MobiSPC-2019 solicits papers that focus on the theory, systems, practices and challenges of providing users with a successful mobile or wireless experience. This includes how mobile computing changes how people pervasively use their computers, computing resources and applications, as well the systems, services and technologies enabling those applications.. MobiSPC-2019 will provide a leading edge, scholarly forum for researchers, engineers, and students alike to share their state-of-the art research and developmental work in the broad areas of pervasive computing and mobile systems. Publication All MobiSPC 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 and on Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus (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) and Engineering Village (Ei) (www.engineeringvillage.com). This includes EI Compendex (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. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the following special issues: - 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) MobiSPC 2019 will be held in conjunction with The 14th International Conference on Future Networks and Communications (FNC'19). http://cs-conferences.acadiau.ca/fnc-19/ Venue MobiSPC 2019 is co-organized & co-hosted by Acadia and Dalhousie Universities. MobiSPC 2019 will be held in Halifax, Nova Scotia, Canada. Halifax is located on the east coast of Canada and is approximately 6-hour flight from London, UK and a 2-hour flight from Toronto, Ontario. Halifax is a vibrant and modern city which is home to multiple academic institutions and where visitors can enjoy a variety of activities and entertainment from whale watching to Jazz festivals to world-class cuisine. Halifax is also home to the Maritime Museum of the Atlantic which contains the world largest collection of Titanic artifacts. Nova Scotia is a picturesque province with many National and Provincial parks, and as stated in the Guinness Book of World Records, has the highest tides in the world. Conference Tracks Component-based IoT Enabling Technologies and Emerging Topics Internet of Things (IoT) Mobile Cloud Computing Mobile Data Management Mobile Social Networking Pervasive Computing Smart Cities and Ubiquitous Climate Change Management Smart Communities and Ubiquitous Systems Mobile Systems and Applications Committees General Chair Hossam Hassanein, Queen's University, Canada Program Chair Jamal Bentahar, Concordia University, Canada Elhadi Shakshuki, Acadia University, Canada Workshops Chair Stéphane Galland, Université de Technologie de Belfort-Montbéliard, France Local Chair Abdelouahed Gherbi, Quebec University, Canada Ahsan Habib, Dalhousie University, Canada Israat Haque, Dalhousie University, Canada Tracks Chairs Muhammad Adnan, Hasselt University, Belgium Longbiao Chen, Xiamen University, China Carmela Comito, National Research Council of Italy, Italy Danny Hughes, K. U. Leuven, Belgium Camille Kamga, The City College of New York, USA Prashant Kumar, University of Surrey, UK Hamid Mcheick, UQAC, Canada Yongrui (Louie) Qin, University of Huddersfield, UK Rahim Rahmani, Stockholm University, Sweden Michael Sheng, Macquarie University, Australia Qussai Yaseen, Jordan University of Science and Technology, Jordan International Journals Chair Atta Badii, Reading University, UK Publicity Chairs Monika Davidekova, Comenius University, Slovak Republic B. B. Gupta, National Institute of Technology Kurukshetra, India Advisory Committee Abdelfettah Belghith, University of Manouba, Tunisia Flavien Balbo, Ecole Nationale Supérieure des Mines de Saint Etienne, France Erol Gelenbe, Imperial College, UK Vincenzo Loia, University of Salerno, Italy Javier Sanchez Medina, University of Las Palmas de Gran Canaria, Spain Ralf Steinmetz, Technische Universitaet Darmstadt, Germany Mohamed Younis, University of Maryland Baltimore County, USA Technical Program Committee http://cs-conferences.acadiau.ca/mobispc-19/#programCommittees __._,_.___ ________________________________ Posted by: Davidekova Monika ________________________________ Reply via web post • Reply to sender • Reply to group • Start a New Topic • Messages in this topic (2) ________________________________ [https://s.yimg.com/ru/static/images/yg/img/megaphone/1464031581_phpFA8bON] Have you tried the highest rated email app? With 4.5 stars in iTunes, the Yahoo Mail app is the highest rated email app on the market. What are you waiting for? Now you can access all your inboxes (Gmail, Outlook, AOL and more) in one place. Never delete an email again with 1000GB of free cloud storage. ________________________________ Visit Your Group [Yahoo! Groups] • Privacy • Unsubscribe • Terms of Use SPONSORED LINKS . __,_._,___ -------------- next part -------------- An HTML attachment was scrubbed... URL: From Monika.Davidekova at fm.uniba.sk Tue Apr 9 20:06:24 2019 From: Monika.Davidekova at fm.uniba.sk (Davidekova Monika) Date: Tue, 9 Apr 2019 20:06:24 +0000 Subject: [Haskell] MobiSPC 2019 CfPs: The 16th Intrl. Conf. on Mobile Systems and Pervasive Computing: Extended Submission Date (April 18, 2019) In-Reply-To: References: <8F82770E-01D9-4197-B766-163F3841B422@acadiau.ca>, , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , Message-ID: CallforPapers The 16th International Conference on Mobile Systems and Pervasive Computing, (MobiSPC'19) August 19-21, 2019, Halifax, Canada http://cs-conferences.acadiau.ca/mobispc-19/ IMPORTANT DATES - Workshop Proposal Due: February 15, 2019 - Paper Submission Due: April 18, 2019 (Extended) - Acceptance Notification: May 25, 2019 - Final Manuscript Due: June 25, 2019 About Mobile Systems and Pervasive Computing (MobiSPC) have evolved into an active area of research and development. This is due to the tremendous advances in a broad spectrum of technologies and topics, including wireless networking, mobile and distributed computing, sensor systems, RFID technology, and the ubiquitous mobile phone. MobiSPC-2019 solicits papers that focus on the theory, systems, practices and challenges of providing users with a successful mobile or wireless experience. This includes how mobile computing changes how people pervasively use their computers, computing resources and applications, as well the systems, services and technologies enabling those applications. MobiSPC-2019 will provide a leading edge, scholarly forum for researchers, engineers, and students alike to share their state-of-the art research and developmental work in the broad areas of pervasive computing and mobile systems. Publication All MobiSPC 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 and on Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus (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) and Engineering Village (Ei) (www.engineeringvillage.com). This includes EI Compendex (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. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the following special issues: - 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) MobiSPC 2019 will be held in conjunction with The 14th International Conference on Future Networks and Communications (FNC'19). http://cs-conferences.acadiau.ca/fnc-19/ Venue MobiSPC 2019 is co-organized & co-hosted by Acadia and Dalhousie Universities. MobiSPC 2019 will be held in Halifax, Nova Scotia, Canada. Halifax is located on the east coast of Canada and is approximately 6-hour flight from London, UK and a 2-hour flight from Toronto, Ontario. Halifax is a vibrant and modern city which is home to multiple academic institutions and where visitors can enjoy a variety of activities and entertainment from whale watching to Jazz festivals to world-class cuisine. Halifax is also home to the Maritime Museum of the Atlantic which contains the world largest collection of Titanic artifacts. Nova Scotia is a picturesque province with many National and Provincial parks, and as stated in the Guinness Book of World Records, has the highest tides in the world. Conference Tracks Component-based IoT Enabling Technologies and Emerging Topics Internet of Things (IoT) Mobile Cloud Computing Mobile Data Management Mobile Social Networking Pervasive Computing Smart Cities and Ubiquitous Climate Change Management Smart Communities and Ubiquitous Systems Mobile Systems and Applications Committees General Chair Hossam Hassanein, Queen's University, Canada Program Chair Jamal Bentahar, Concordia University, Canada Elhadi Shakshuki, Acadia University, Canada Workshops Chair Stéphane Galland, Université de Technologie de Belfort-Montbéliard, France Local Chair Abdelouahed Gherbi, Quebec University, Canada Ahsan Habib, Dalhousie University, Canada Israat Haque, Dalhousie University, Canada Tracks Chairs Muhammad Adnan, Hasselt University, Belgium Longbiao Chen, Xiamen University, China Carmela Comito, National Research Council of Italy, Italy Danny Hughes, K. U. Leuven, Belgium Camille Kamga, The City College of New York, USA Prashant Kumar, University of Surrey, UK Hamid Mcheick, UQAC, Canada Yongrui (Louie) Qin, University of Huddersfield, UK Rahim Rahmani, Stockholm University, Sweden Michael Sheng, Macquarie University, Australia Qussai Yaseen, Jordan University of Science and Technology, Jordan International Journals Chair Atta Badii, Reading University, UK Publicity Chairs Monika Davidekova, Comenius University, Slovak Republic B. B. Gupta, National Institute of Technology Kurukshetra, India Advisory Committee Abdelfettah Belghith, University of Manouba, Tunisia Flavien Balbo, Ecole Nationale Supérieure des Mines de Saint Etienne, France Erol Gelenbe, Imperial College, UK Vincenzo Loia, University of Salerno, Italy Javier Sanchez Medina, University of Las Palmas de Gran Canaria, Spain Ralf Steinmetz, Technische Universitaet Darmstadt, Germany Mohamed Younis, University of Maryland Baltimore County, USA Technical Program Committee http://cs-conferences.acadiau.ca/mobispc-19/#programCommittees -------------- next part -------------- An HTML attachment was scrubbed... URL: From aneta.poniszewska-maranda at p.lodz.pl Wed Apr 10 00:04:51 2019 From: aneta.poniszewska-maranda at p.lodz.pl (Aneta =?utf-8?Q?Poniszewska-Mara=C5=84da?=) Date: Wed, 10 Apr 2019 02:04:51 +0200 (CEST) Subject: [Haskell] KKIO 21st Software Engineering Conference September, 11-13, 2019, Bialystok, Poland In-Reply-To: <1568907432.2984.1552258438188.JavaMail.zimbra@p.lodz.pl> References: <1568907432.2984.1552258438188.JavaMail.zimbra@p.lodz.pl> Message-ID: <1405682205.13248.1554854691880.JavaMail.zimbra@p.lodz.pl> ================================== Call for Papers ============================== KKIO 21 st Software Engineering Conference September, 11-13, 2019, Bialystok, Poland Motto : Integrating Research and Practice in Software Engineering KKIO’19 web site: [ http://kkio.pti.org.pl/2019/ | http://kkio.pti.org.pl/2019/ ] KKIO is a prime software engineering conference organized annually by Polish Information Processing Society. The language of the conference is English. The aim of KKIO 2018 is to stimulate research, promote cooperation between science and industry, and facilitate a dialogue with governmental bodies. In particular, KKIO'19 will provide a forum for the presentation of research results, scientific challenges faced by the industry, scientific achievements that could address these problems. It will be also a platform to make contacts, initiate cooperation between researchers and engineers. This year KKIO coincides with 30 th anniversary of the Faculty of Computer Science, Bialystok University of Technology who also hosts KKIO. Bialystok is a quickly growing IT hub, surrounded by unspoiled nature, rivers, forests, with biggest population of European bisons living at large in wilderness. We invite papers covering a wide range of software engineering topics including software methods & tools, innovative applications in emerging domains, technology transfer success stories and failures, education, and other topics listed on the conference web site. We invite papers in two categories: Full Papers up to 15 pages, and Emerging Results papers up to 6 pages. Submission deadline : Abstract by 24 March 2019; Papers by 31 March 2019 Submission site : EasyChair [ https://easychair.org/conferences/?conf=kkio2019 | https://easychair.org/conferences/?conf=kkio2019 ] You will find all the submission details on the KKIO’19 web site (For Authors -> Submissions) We invite researchers, PhD students, engineers and business representatives to submit papers concerning research, research & development, case-studies, education in software engineering, and application of software systems in industry. In addition, we invite proposals for special sessions, workshops, discussion panels and tutorials. Papers and proposals should be written in English. Accepted papers will be published in a dedicated monograph of the prestigious series Studies in Computational Intelligence (Springer): Integrating Research and Practice in Software Engineering The books of this series are submitted by Springer to WoS, EI-Compendex, DBLP, SCOPUS, Google Scholar and Springerlink. Authors of the best papers will be invited to submit revised and extended versions of their submissions to high profile journals. The authors of all high-quality papers that will not be accepted for dedicated volume of Studies in Computational Intelligence will be invited to prepare the extended version of the papers that will be published in Special Issue of Lecture Notes on Data Engineering and Communications Technologies (LNDECT), Springer (https://www.springer.com/series/15362). The books of this series are submitted to ISI Proceedings, MetaPress, Springerlink and DBLP. Proceedings for the KKIO’16 and KKIO’17 are now indexed by Web of Science and Scopus. Call for Special Sessions The organizers of the conference are seeking Special Sessions / Workshop Proposals on topics complementary to those of the main conference and Panel, Training / Business Workshops, and Tutorial Proposals. The responsibility of the Special Session / Workshop Chair(s) would be to prepare a specific Call for Papers, organize the sessions program committee (reviewers) and advertise the event. The special session should include at least three papers (if more papers are submitted it could have a form of an independent workshop). The papers are accepted based on two reviews provided by the Special Session PC members and one by a member of the KKIO Program Committee. Please, submit a proposal using the web form: [ https://tinyurl.com/kkio-sessions-tutorials | https://tinyurl.com/kkio-sessions-tutorials ] , preferably before 15.02.2019 for special sessions and 15.05.2019 for tutorials. Important dates: Papers: Abstract submission (strongly recommended): 24.03.2019 Paper submission: 31.03.2019 15.04.2019 Notification of acceptance: 10.05.2019 Camera-ready papers submission: 26.05.2019 Special Sessions/Workshops Proposal submission: 15.02.2019 Notification of acceptance: 20.02.2019 Panels, Training Workshops, Tutorial Proposals Submission: 15.05.2019 Notification of acceptance: 30.05.2019 Registration & payment Early registration: 25.06.2019 Late registration: 20.08.2019 Program Committee Co-Chairs: Stanislaw Jarzabek, Bialystok University of Technology, Poland Aneta Poniszewska-Maranda, Lodz University of Technology, Poland Special Sessions, Panels, Training Workshops, Tutorials Chair : Miroslaw Ochodek, Poznan University of Technology, Poland Contacts: Conference program: [ mailto:kkio2019 at easychair.org | kkio2019 at easychair.org ] Special Sessions, Panels, Workshops, Tutorials: Miroslaw Ochodek, miroslaw.ochodek at cs.put.poznan.pl Conference organization: [ mailto:wi.kkio2019 at pb.edu.pl | wi.kkio2019 at pb.edu.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 -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: CfP KKIO 2019_final.pdf Type: application/pdf Size: 542219 bytes Desc: not available URL: From aneta.poniszewska-maranda at p.lodz.pl Wed Apr 10 00:28:55 2019 From: aneta.poniszewska-maranda at p.lodz.pl (Aneta =?utf-8?Q?Poniszewska-Mara=C5=84da?=) Date: Wed, 10 Apr 2019 02:28:55 +0200 (CEST) Subject: [Haskell] SEIT-19 CFPs: The 9th International Conference on Sustainable Energy Information Technology (August 19-21, 2019, Halifax, Canada) In-Reply-To: <232024244.6268.1552259667134.JavaMail.zimbra@p.lodz.pl> References: <668462891.56352.1548921830942.JavaMail.zimbra@p.lodz.pl> <232024244.6268.1552259667134.JavaMail.zimbra@p.lodz.pl> Message-ID: <1183158589.14736.1554856135093.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: 848053 bytes Desc: not available URL: From aneta.poniszewska-maranda at p.lodz.pl Wed Apr 10 00:31:07 2019 From: aneta.poniszewska-maranda at p.lodz.pl (Aneta =?utf-8?Q?Poniszewska-Mara=C5=84da?=) Date: Wed, 10 Apr 2019 02:31:07 +0200 (CEST) Subject: [Haskell] SEIT-19 CFPs: The 9th International Conference on Sustainable Energy Information Technology (August 19-21, 2019, Halifax, Canada) In-Reply-To: <584718506.21459.1553131439094.JavaMail.zimbra@p.lodz.pl> References: <668462891.56352.1548921830942.JavaMail.zimbra@p.lodz.pl> <232024244.6268.1552259667134.JavaMail.zimbra@p.lodz.pl> <584718506.21459.1553131439094.JavaMail.zimbra@p.lodz.pl> Message-ID: <205621435.14827.1554856267746.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: 848053 bytes Desc: not available URL: From nate.nystrom at usi.ch Wed Apr 10 12:57:51 2019 From: nate.nystrom at usi.ch (Nate Nystrom) Date: Wed, 10 Apr 2019 14:57:51 +0200 Subject: [Haskell] CFP: ACM Scala Symposium 2019 - Extended Deadline Message-ID: Tenth ACM Scala Symposium https://2019.ecoop.org/home/scala-2019 London, UK July 17, 2019 **NEW** Paper Submission Deadline - April 16, 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 (https://2019.ecoop.org/home/scala-2019) 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 ( https://2019.ecoop.org) 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 16, 2019 **EXTENDED** * 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) The Scala Symposium uses a lightweight double-blind reviewing process, so we ask that research papers, both full and short, be anonymized. Tools papers and talks proposals need not be anonymized. Authors should omit their names from their submissions, and should avoid revealing their identity through citation. Accepted papers (either full papers, short ones or tool papers, but not 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 Monika.Davidekova at fm.uniba.sk Thu Apr 11 10:15:29 2019 From: Monika.Davidekova at fm.uniba.sk (Davidekova Monika) Date: Thu, 11 Apr 2019 10:15:29 +0000 Subject: [Haskell] MobiSPC 2019 CfPs: The 16th Intrl. Conf. on Mobile Systems and Pervasive Computing: Extended Submission Date (April 18, 2019) In-Reply-To: References: <8F82770E-01D9-4197-B766-163F3841B422@acadiau.ca>, , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , Message-ID: CallforPapers The 16th International Conference on Mobile Systems and Pervasive Computing, (MobiSPC'19) August 19-21, 2019, Halifax, Canada http://cs-conferences.acadiau.ca/mobispc-19/ IMPORTANT DATES - Workshop Proposal Due: February 15, 2019 - Paper Submission Due: April 18, 2019 (Extended) - Acceptance Notification: May 25, 2019 - Final Manuscript Due: June 25, 2019 About Mobile Systems and Pervasive Computing (MobiSPC) have evolved into an active area of research and development. This is due to the tremendous advances in a broad spectrum of technologies and topics, including wireless networking, mobile and distributed computing, sensor systems, RFID technology, and the ubiquitous mobile phone. MobiSPC-2019 solicits papers that focus on the theory, systems, practices and challenges of providing users with a successful mobile or wireless experience. This includes how mobile computing changes how people pervasively use their computers, computing resources and applications, as well the systems, services and technologies enabling those applications. MobiSPC-2019 will provide a leading edge, scholarly forum for researchers, engineers, and students alike to share their state-of-the art research and developmental work in the broad areas of pervasive computing and mobile systems. Publication All MobiSPC 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 and on Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus (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) and Engineering Village (Ei) (www.engineeringvillage.com). This includes EI Compendex (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. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the following special issues: - 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) MobiSPC 2019 will be held in conjunction with The 14th International Conference on Future Networks and Communications (FNC'19). http://cs-conferences.acadiau.ca/fnc-19/ Venue MobiSPC 2019 is co-organized & co-hosted by Acadia and Dalhousie Universities. MobiSPC 2019 will be held in Halifax, Nova Scotia, Canada. Halifax is located on the east coast of Canada and is approximately 6-hour flight from London, UK and a 2-hour flight from Toronto, Ontario. Halifax is a vibrant and modern city which is home to multiple academic institutions and where visitors can enjoy a variety of activities and entertainment from whale watching to Jazz festivals to world-class cuisine. Halifax is also home to the Maritime Museum of the Atlantic which contains the world largest collection of Titanic artifacts. Nova Scotia is a picturesque province with many National and Provincial parks, and as stated in the Guinness Book of World Records, has the highest tides in the world. Conference Tracks Component-based IoT Enabling Technologies and Emerging Topics Internet of Things (IoT) Mobile Cloud Computing Mobile Data Management Mobile Social Networking Pervasive Computing Smart Cities and Ubiquitous Climate Change Management Smart Communities and Ubiquitous Systems Mobile Systems and Applications Committees General Chair Hossam Hassanein, Queen's University, Canada Program Chair Jamal Bentahar, Concordia University, Canada Elhadi Shakshuki, Acadia University, Canada Workshops Chair Stéphane Galland, Université de Technologie de Belfort-Montbéliard, France Local Chair Abdelouahed Gherbi, Quebec University, Canada Ahsan Habib, Dalhousie University, Canada Israat Haque, Dalhousie University, Canada Tracks Chairs Muhammad Adnan, Hasselt University, Belgium Longbiao Chen, Xiamen University, China Carmela Comito, National Research Council of Italy, Italy Danny Hughes, K. U. Leuven, Belgium Camille Kamga, The City College of New York, USA Prashant Kumar, University of Surrey, UK Hamid Mcheick, UQAC, Canada Yongrui (Louie) Qin, University of Huddersfield, UK Rahim Rahmani, Stockholm University, Sweden Michael Sheng, Macquarie University, Australia Qussai Yaseen, Jordan University of Science and Technology, Jordan International Journals Chair Atta Badii, Reading University, UK Publicity Chairs Monika Davidekova, Comenius University, Slovak Republic B. B. Gupta, National Institute of Technology Kurukshetra, India Advisory Committee Abdelfettah Belghith, University of Manouba, Tunisia Flavien Balbo, Ecole Nationale Supérieure des Mines de Saint Etienne, France Erol Gelenbe, Imperial College, UK Vincenzo Loia, University of Salerno, Italy Javier Sanchez Medina, University of Las Palmas de Gran Canaria, Spain Ralf Steinmetz, Technische Universitaet Darmstadt, Germany Mohamed Younis, University of Maryland Baltimore County, USA Technical Program Committee http://cs-conferences.acadiau.ca/mobispc-19/#programCommittees -------------- next part -------------- An HTML attachment was scrubbed... URL: From j.stutterheim at me.com Thu Apr 11 12:29:19 2019 From: j.stutterheim at me.com (J. Stutterheim) Date: Thu, 11 Apr 2019 20:29:19 +0800 Subject: [Haskell] First Call for Papers for IFL 2019 (Implementation and Application of Functional Languages) Message-ID: <1AA93BC8-AA03-4539-8566-FC1CCE7FEA43@me.com> Dear all, Please, find below the first 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, Jurriën Stutterheim --- ================================================================================ 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, The University of Tokyo - Pieter Koopman, Radboud University - Tamás Kozsik, Eötvös Loránd 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 República - Wei Ngan Chin, NUS - Jurriën Stutterheim, Standard Chartered Bank ### Venue The 30th IFL is organized by the University of Massachusetts Lowell. The City of Lowell is located at the heart of the Merrimack Valley just 30 miles northwest of Boston. Lowell can be easily reached by train or taxi. 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. From mightybyte at gmail.com Tue Apr 16 18:36:31 2019 From: mightybyte at gmail.com (MightyByte) Date: Tue, 16 Apr 2019 18:36:31 +0000 Subject: [Haskell] Compose Conference tickets are now available Message-ID: I'm pleased to announce that ticket sales are now open for both the New York Compose Conference and Unconference happening June 22 - 25. See our website for more details: http://www.composeconference.org/ There is one week left until the talk submission deadline. So, if you would like to submit a talk, make sure you get it in before April 23 at 11:59PM EDT. Part of our mission is to be as open and inclusive as possible. To support this, we have a limited number of volunteer tickets available if you would like to attend but the ticket price is an obstacle for you. Email us at nyc at composeconference.org with some information about you, your situation, and what you would like to get out of the conference and we will work with you. Sent via Superhuman ( https://sprh.mn/?vip=mightybyte at gmail.com ) -------------- next part -------------- An HTML attachment was scrubbed... URL: From aneta.poniszewska-maranda at p.lodz.pl Fri Apr 19 06:15:10 2019 From: aneta.poniszewska-maranda at p.lodz.pl (Aneta =?utf-8?Q?Poniszewska-Mara=C5=84da?=) Date: Fri, 19 Apr 2019 08:15:10 +0200 (CEST) Subject: [Haskell] KKIO 21st Software Engineering Conference September, 11-13, 2019, Bialystok, Poland Message-ID: <844955375.47111.1555654510290.JavaMail.zimbra@p.lodz.pl> ================================== Call for Papers ============================== KKIO 21 st Software Engineering Conference September, 11-13, 2019, Bialystok, Poland Motto : Integrating Research and Practice in Software Engineering KKIO’19 web site: [ http://kkio.pti.org.pl/2019/ | http://kkio.pti.org.pl/2019/ ] KKIO is a prime software engineering conference organized annually by Polish Information Processing Society. The language of the conference is English. The aim of KKIO 2018 is to stimulate research, promote cooperation between science and industry, and facilitate a dialogue with governmental bodies. In particular, KKIO'19 will provide a forum for the presentation of research results, scientific challenges faced by the industry, scientific achievements that could address these problems. It will be also a platform to make contacts, initiate cooperation between researchers and engineers. This year KKIO coincides with 30 th anniversary of the Faculty of Computer Science, Bialystok University of Technology who also hosts KKIO. Bialystok is a quickly growing IT hub, surrounded by unspoiled nature, rivers, forests, with biggest population of European bisons living at large in wilderness. We invite papers covering a wide range of software engineering topics including software methods & tools, innovative applications in emerging domains, technology transfer success stories and failures, education, and other topics listed on the conference web site. We invite papers in two categories: Full Papers up to 15 pages, and Emerging Results papers up to 6 pages. Submission site : EasyChair [ https://easychair.org/conferences/?conf=kkio2019 | https://easychair.org/conferences/?conf=kkio2019 ] You will find all the submission details on the KKIO’19 web site (For Authors -> Submissions) We invite researchers, PhD students, engineers and business representatives to submit papers concerning research, research & development, case-studies, education in software engineering, and application of software systems in industry. In addition, we invite proposals for special sessions, workshops, discussion panels and tutorials. Papers and proposals should be written in English. Accepted papers will be published in a dedicated monograph of the prestigious series Studies in Computational Intelligence (Springer): Integrating Research and Practice in Software Engineering The books of this series are submitted by Springer to WoS, EI-Compendex, DBLP, SCOPUS, Google Scholar and Springerlink. Authors of the best papers will be invited to submit revised and extended versions of their submissions to high profile journals. The authors of all high-quality papers that will not be accepted for dedicated volume of Studies in Computational Intelligence will be invited to prepare the extended version of the papers that will be published in Special Issue of Lecture Notes on Data Engineering and Communications Technologies (LNDECT), Springer (https://www.springer.com/series/15362). The books of this series are submitted to ISI Proceedings, MetaPress, Springerlink and DBLP. Proceedings for the KKIO’16 and KKIO’17 are now indexed by Web of Science and Scopus. Call for Special Sessions The organizers of the conference are seeking Special Sessions / Workshop Proposals on topics complementary to those of the main conference and Panel, Training / Business Workshops, and Tutorial Proposals. The responsibility of the Special Session / Workshop Chair(s) would be to prepare a specific Call for Papers, organize the sessions program committee (reviewers) and advertise the event. The special session should include at least three papers (if more papers are submitted it could have a form of an independent workshop). The papers are accepted based on two reviews provided by the Special Session PC members and one by a member of the KKIO Program Committee. Please, submit a proposal using the web form: [ https://tinyurl.com/kkio-sessions-tutorials | https://tinyurl.com/kkio-sessions-tutorials ] , preferably before 15.02.2019 for special sessions and 15.05.2019 for tutorials. Important dates: Papers: Paper submission: 15.04.2019 25.04.2019 Notification of acceptance: 10.05.2019 Camera-ready papers submission: 26.05.2019 Special Sessions/Workshops Proposal submission: 15.02.2019 Notification of acceptance: 20.02.2019 Panels, Training Workshops, Tutorial Proposals Submission: 15.05.2019 Notification of acceptance: 30.05.2019 Registration & payment Early registration: 25.06.2019 Late registration: 20.08.2019 Program Committee Co-Chairs: Stanislaw Jarzabek, Bialystok University of Technology, Poland Aneta Poniszewska-Maranda, Lodz University of Technology, Poland Special Sessions, Panels, Training Workshops, Tutorials Chair : Miroslaw Ochodek, Poznan University of Technology, Poland Contacts: Conference program: [ mailto:kkio2019 at easychair.org | kkio2019 at easychair.org ] Special Sessions, Panels, Workshops, Tutorials: Miroslaw Ochodek, miroslaw.ochodek at cs.put.poznan.pl Conference organization: [ mailto:wi.kkio2019 at pb.edu.pl | wi.kkio2019 at pb.edu.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 -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: CfP KKIO 2019_final-v1.pdf Type: application/pdf Size: 540225 bytes Desc: not available URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: CfP Doctoral stipends KKIO 2019.pdf Type: application/pdf Size: 526202 bytes Desc: not available URL: From Monika.Davidekova at fm.uniba.sk Fri Apr 19 08:18:03 2019 From: Monika.Davidekova at fm.uniba.sk (Davidekova Monika) Date: Fri, 19 Apr 2019 08:18:03 +0000 Subject: [Haskell] MobiSPC 2019 CfPs: The 16th Intl. Conf. on Mobile Systems and Pervasive Computing: FINAL Extension (April 30, 2019) In-Reply-To: References: <0FFDD0D1-F87A-441B-974C-CEBCBCB86750@acadiau.ca>, , Message-ID: CallforPapers The 16th International Conference on Mobile Systems and Pervasive Computing, (MobiSPC'19) August 19-21, 2019, Halifax, Canada http://cs-conferences.acadiau.ca/mobispc-19/ IMPORTANT DATES - Paper Submission Due: April 30, 2019 (FIRM) - Acceptance Notification: May 25, 2019 - Final Manuscript Due: June 25, 2019 About Mobile Systems and Pervasive Computing (MobiSPC) have evolved into an active area of research and development. This is due to the tremendous advances in a broad spectrum of technologies and topics, including wireless networking, mobile and distributed computing, sensor systems, RFID technology, and the ubiquitous mobile phone. MobiSPC-2019 solicits papers that focus on the theory, systems, practices and challenges of providing users with a successful mobile or wireless experience. This includes how mobile computing changes how people pervasively use their computers, computing resources and applications, as well the systems, services and technologies enabling those applications. MobiSPC-2019 will provide a leading edge, scholarly forum for researchers, engineers, and students alike to share their state-of-the art research and developmental work in the broad areas of pervasive computing and mobile systems. Publication All MobiSPC 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 and on Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus (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) and Engineering Village (Ei) (www.engineeringvillage.com). This includes EI Compendex (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. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the following special issues: - 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) MobiSPC 2019 will be held in conjunction with The 14th International Conference on Future Networks and Communications (FNC'19). http://cs-conferences.acadiau.ca/fnc-19/ Venue MobiSPC 2019 is co-organized & co-hosted by Acadia and Dalhousie Universities. MobiSPC 2019 will be held in Halifax, Nova Scotia, Canada. Halifax is located on the east coast of Canada and is approximately 6-hour flight from London, UK and a 2-hour flight from Toronto, Ontario. Halifax is a vibrant and modern city which is home to multiple academic institutions and where visitors can enjoy a variety of activities and entertainment from whale watching to Jazz festivals to world-class cuisine. Halifax is also home to the Maritime Museum of the Atlantic which contains the world largest collection of Titanic artifacts. Nova Scotia is a picturesque province with many National and Provincial parks, and as stated in the Guinness Book of World Records, has the highest tides in the world. Conference Tracks Component-based IoT Enabling Technologies and Emerging Topics Internet of Things (IoT) Mobile Cloud Computing Mobile Data Management Mobile Social Networking Pervasive Computing Smart Cities and Ubiquitous Climate Change Management Smart Communities and Ubiquitous Systems Mobile Systems and Applications Committees General Chair Hossam Hassanein, Queen's University, Canada Program Chair Jamal Bentahar, Concordia University, Canada Elhadi Shakshuki, Acadia University, Canada Workshops Chair Stéphane Galland, Université de Technologie de Belfort-Montbéliard, France Local Chair Abdelouahed Gherbi, Quebec University, Canada Ahsan Habib, Dalhousie University, Canada Israat Haque, Dalhousie University, Canada Tracks Chairs Muhammad Adnan, Hasselt University, Belgium Longbiao Chen, Xiamen University, China Carmela Comito, National Research Council of Italy, Italy Danny Hughes, K. U. Leuven, Belgium Camille Kamga, The City College of New York, USA Prashant Kumar, University of Surrey, UK Hamid Mcheick, UQAC, Canada Yongrui (Louie) Qin, University of Huddersfield, UK Rahim Rahmani, Stockholm University, Sweden Michael Sheng, Macquarie University, Australia Qussai Yaseen, Jordan University of Science and Technology, Jordan International Journals Chair Atta Badii, Reading University, UK Publicity Chairs Monika Davidekova, Comenius University, Slovak Republic B. B. Gupta, National Institute of Technology Kurukshetra, India Advisory Committee Abdelfettah Belghith, University of Manouba, Tunisia Flavien Balbo, Ecole Nationale Supérieure des Mines de Saint Etienne, France Erol Gelenbe, Imperial College, UK Vincenzo Loia, University of Salerno, Italy Javier Sanchez Medina, University of Las Palmas de Gran Canaria, Spain Ralf Steinmetz, Technische Universitaet Darmstadt, Germany Mohamed Younis, University of Maryland Baltimore County, USA Technical Program Committee http://cs-conferences.acadiau.ca/mobispc-19/#programCommittees -------------- next part -------------- An HTML attachment was scrubbed... URL: From Monika.Davidekova at fm.uniba.sk Sat Apr 20 08:28:40 2019 From: Monika.Davidekova at fm.uniba.sk (Davidekova Monika) Date: Sat, 20 Apr 2019 08:28:40 +0000 Subject: [Haskell] MobiSPC 2019 CfPs: The 16th Intl. Conf. on Mobile Systems and Pervasive Computing: FINAL Extension (April 30, 2019) In-Reply-To: References: <0FFDD0D1-F87A-441B-974C-CEBCBCB86750@acadiau.ca>, , , Message-ID: CallforPapers The 16th International Conference on Mobile Systems and Pervasive Computing, (MobiSPC'19) August 19-21, 2019, Halifax, Canada http://cs-conferences.acadiau.ca/mobispc-19/ IMPORTANT DATES - Paper Submission Due: April 30, 2019 (FIRM) - Acceptance Notification: May 25, 2019 - Final Manuscript Due: June 25, 2019 About Mobile Systems and Pervasive Computing (MobiSPC) have evolved into an active area of research and development. This is due to the tremendous advances in a broad spectrum of technologies and topics, including wireless networking, mobile and distributed computing, sensor systems, RFID technology, and the ubiquitous mobile phone. MobiSPC-2019 solicits papers that focus on the theory, systems, practices and challenges of providing users with a successful mobile or wireless experience. This includes how mobile computing changes how people pervasively use their computers, computing resources and applications, as well the systems, services and technologies enabling those applications. MobiSPC-2019 will provide a leading edge, scholarly forum for researchers, engineers, and students alike to share their state-of-the art research and developmental work in the broad areas of pervasive computing and mobile systems. Publication All MobiSPC 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 and on Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus (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) and Engineering Village (Ei) (www.engineeringvillage.com). This includes EI Compendex (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. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the following special issues: - 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) MobiSPC 2019 will be held in conjunction with The 14th International Conference on Future Networks and Communications (FNC'19). http://cs-conferences.acadiau.ca/fnc-19/ Venue MobiSPC 2019 is co-organized & co-hosted by Acadia and Dalhousie Universities. MobiSPC 2019 will be held in Halifax, Nova Scotia, Canada. Halifax is located on the east coast of Canada and is approximately 6-hour flight from London, UK and a 2-hour flight from Toronto, Ontario. Halifax is a vibrant and modern city which is home to multiple academic institutions and where visitors can enjoy a variety of activities and entertainment from whale watching to Jazz festivals to world-class cuisine. Halifax is also home to the Maritime Museum of the Atlantic which contains the world largest collection of Titanic artifacts. Nova Scotia is a picturesque province with many National and Provincial parks, and as stated in the Guinness Book of World Records, has the highest tides in the world. Conference Tracks Component-based IoT Enabling Technologies and Emerging Topics Internet of Things (IoT) Mobile Cloud Computing Mobile Data Management Mobile Social Networking Pervasive Computing Smart Cities and Ubiquitous Climate Change Management Smart Communities and Ubiquitous Systems Mobile Systems and Applications Committees General Chair Hossam Hassanein, Queen's University, Canada Program Chair Jamal Bentahar, Concordia University, Canada Elhadi Shakshuki, Acadia University, Canada Workshops Chair Stéphane Galland, Université de Technologie de Belfort-Montbéliard, France Local Chair Abdelouahed Gherbi, Quebec University, Canada Ahsan Habib, Dalhousie University, Canada Israat Haque, Dalhousie University, Canada Tracks Chairs Muhammad Adnan, Hasselt University, Belgium Longbiao Chen, Xiamen University, China Carmela Comito, National Research Council of Italy, Italy Danny Hughes, K. U. Leuven, Belgium Camille Kamga, The City College of New York, USA Prashant Kumar, University of Surrey, UK Hamid Mcheick, UQAC, Canada Yongrui (Louie) Qin, University of Huddersfield, UK Rahim Rahmani, Stockholm University, Sweden Michael Sheng, Macquarie University, Australia Qussai Yaseen, Jordan University of Science and Technology, Jordan International Journals Chair Atta Badii, Reading University, UK Publicity Chairs Monika Davidekova, Comenius University, Slovak Republic B. B. Gupta, National Institute of Technology Kurukshetra, India Advisory Committee Abdelfettah Belghith, University of Manouba, Tunisia Flavien Balbo, Ecole Nationale Supérieure des Mines de Saint Etienne, France Erol Gelenbe, Imperial College, UK Vincenzo Loia, University of Salerno, Italy Javier Sanchez Medina, University of Las Palmas de Gran Canaria, Spain Ralf Steinmetz, Technische Universitaet Darmstadt, Germany Mohamed Younis, University of Maryland Baltimore County, USA Technical Program Committee http://cs-conferences.acadiau.ca/mobispc-19/#programCommittees -------------- next part -------------- An HTML attachment was scrubbed... URL: From Monika.Davidekova at fm.uniba.sk Sun Apr 21 08:16:50 2019 From: Monika.Davidekova at fm.uniba.sk (Davidekova Monika) Date: Sun, 21 Apr 2019 08:16:50 +0000 Subject: [Haskell] MobiSPC 2019 CfPs: The 16th Intl. Conf. on Mobile Systems and Pervasive Computing: FINAL Extension (April 30, 2019) In-Reply-To: References: <0FFDD0D1-F87A-441B-974C-CEBCBCB86750@acadiau.ca>, , , , , , , Message-ID: CallforPapers The 16th International Conference on Mobile Systems and Pervasive Computing, (MobiSPC'19) August 19-21, 2019, Halifax, Canada http://cs-conferences.acadiau.ca/mobispc-19/ IMPORTANT DATES - Paper Submission Due: April 30, 2019 (FIRM) - Acceptance Notification: May 25, 2019 - Final Manuscript Due: June 25, 2019 About Mobile Systems and Pervasive Computing (MobiSPC) have evolved into an active area of research and development. This is due to the tremendous advances in a broad spectrum of technologies and topics, including wireless networking, mobile and distributed computing, sensor systems, RFID technology, and the ubiquitous mobile phone. MobiSPC-2019 solicits papers that focus on the theory, systems, practices and challenges of providing users with a successful mobile or wireless experience. This includes how mobile computing changes how people pervasively use their computers, computing resources and applications, as well the systems, services and technologies enabling those applications. MobiSPC-2019 will provide a leading edge, scholarly forum for researchers, engineers, and students alike to share their state-of-the art research and developmental work in the broad areas of pervasive computing and mobile systems. Publication All MobiSPC 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 and on Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus (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) and Engineering Village (Ei) (www.engineeringvillage.com). This includes EI Compendex (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. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the following special issues: - 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) MobiSPC 2019 will be held in conjunction with The 14th International Conference on Future Networks and Communications (FNC'19). http://cs-conferences.acadiau.ca/fnc-19/ Venue MobiSPC 2019 is co-organized & co-hosted by Acadia and Dalhousie Universities. MobiSPC 2019 will be held in Halifax, Nova Scotia, Canada. Halifax is located on the east coast of Canada and is approximately 6-hour flight from London, UK and a 2-hour flight from Toronto, Ontario. Halifax is a vibrant and modern city which is home to multiple academic institutions and where visitors can enjoy a variety of activities and entertainment from whale watching to Jazz festivals to world-class cuisine. Halifax is also home to the Maritime Museum of the Atlantic which contains the world largest collection of Titanic artifacts. Nova Scotia is a picturesque province with many National and Provincial parks, and as stated in the Guinness Book of World Records, has the highest tides in the world. Conference Tracks Component-based IoT Enabling Technologies and Emerging Topics Internet of Things (IoT) Mobile Cloud Computing Mobile Data Management Mobile Social Networking Pervasive Computing Smart Cities and Ubiquitous Climate Change Management Smart Communities and Ubiquitous Systems Mobile Systems and Applications Committees General Chair Hossam Hassanein, Queen's University, Canada Program Chair Jamal Bentahar, Concordia University, Canada Elhadi Shakshuki, Acadia University, Canada Workshops Chair Stéphane Galland, Université de Technologie de Belfort-Montbéliard, France Local Chair Abdelouahed Gherbi, Quebec University, Canada Ahsan Habib, Dalhousie University, Canada Israat Haque, Dalhousie University, Canada Tracks Chairs Muhammad Adnan, Hasselt University, Belgium Longbiao Chen, Xiamen University, China Carmela Comito, National Research Council of Italy, Italy Danny Hughes, K. U. Leuven, Belgium Camille Kamga, The City College of New York, USA Prashant Kumar, University of Surrey, UK Hamid Mcheick, UQAC, Canada Yongrui (Louie) Qin, University of Huddersfield, UK Rahim Rahmani, Stockholm University, Sweden Michael Sheng, Macquarie University, Australia Qussai Yaseen, Jordan University of Science and Technology, Jordan International Journals Chair Atta Badii, Reading University, UK Publicity Chairs Monika Davidekova, Comenius University, Slovak Republic B. B. Gupta, National Institute of Technology Kurukshetra, India Advisory Committee Abdelfettah Belghith, University of Manouba, Tunisia Flavien Balbo, Ecole Nationale Supérieure des Mines de Saint Etienne, France Erol Gelenbe, Imperial College, UK Vincenzo Loia, University of Salerno, Italy Javier Sanchez Medina, University of Las Palmas de Gran Canaria, Spain Ralf Steinmetz, Technische Universitaet Darmstadt, Germany Mohamed Younis, University of Maryland Baltimore County, USA Technical Program Committee http://cs-conferences.acadiau.ca/mobispc-19/#programCommittees -------------- next part -------------- An HTML attachment was scrubbed... URL: From Monika.Davidekova at fm.uniba.sk Mon Apr 22 08:21:36 2019 From: Monika.Davidekova at fm.uniba.sk (Davidekova Monika) Date: Mon, 22 Apr 2019 08:21:36 +0000 Subject: [Haskell] MobiSPC 2019 CfPs: The 16th Intl. Conf. on Mobile Systems and Pervasive Computing: FINAL Extension (April 30, 2019) In-Reply-To: References: <0FFDD0D1-F87A-441B-974C-CEBCBCB86750@acadiau.ca>, , , , , , , , , Message-ID: CallforPapers The 16th International Conference on Mobile Systems and Pervasive Computing, (MobiSPC'19) August 19-21, 2019, Halifax, Canada http://cs-conferences.acadiau.ca/mobispc-19/ IMPORTANT DATES - Paper Submission Due: April 30, 2019 (FIRM) - Acceptance Notification: May 25, 2019 - Final Manuscript Due: June 25, 2019 About Mobile Systems and Pervasive Computing (MobiSPC) have evolved into an active area of research and development. This is due to the tremendous advances in a broad spectrum of technologies and topics, including wireless networking, mobile and distributed computing, sensor systems, RFID technology, and the ubiquitous mobile phone. MobiSPC-2019 solicits papers that focus on the theory, systems, practices and challenges of providing users with a successful mobile or wireless experience. This includes how mobile computing changes how people pervasively use their computers, computing resources and applications, as well the systems, services and technologies enabling those applications. MobiSPC-2019 will provide a leading edge, scholarly forum for researchers, engineers, and students alike to share their state-of-the art research and developmental work in the broad areas of pervasive computing and mobile systems. Publication All MobiSPC 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 and on Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus (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) and Engineering Village (Ei) (www.engineeringvillage.com). This includes EI Compendex (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. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the following special issues: - 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) MobiSPC 2019 will be held in conjunction with The 14th International Conference on Future Networks and Communications (FNC'19). http://cs-conferences.acadiau.ca/fnc-19/ Venue MobiSPC 2019 is co-organized & co-hosted by Acadia and Dalhousie Universities. MobiSPC 2019 will be held in Halifax, Nova Scotia, Canada. Halifax is located on the east coast of Canada and is approximately 6-hour flight from London, UK and a 2-hour flight from Toronto, Ontario. Halifax is a vibrant and modern city which is home to multiple academic institutions and where visitors can enjoy a variety of activities and entertainment from whale watching to Jazz festivals to world-class cuisine. Halifax is also home to the Maritime Museum of the Atlantic which contains the world largest collection of Titanic artifacts. Nova Scotia is a picturesque province with many National and Provincial parks, and as stated in the Guinness Book of World Records, has the highest tides in the world. Conference Tracks Component-based IoT Enabling Technologies and Emerging Topics Internet of Things (IoT) Mobile Cloud Computing Mobile Data Management Mobile Social Networking Pervasive Computing Smart Cities and Ubiquitous Climate Change Management Smart Communities and Ubiquitous Systems Mobile Systems and Applications Committees General Chair Hossam Hassanein, Queen's University, Canada Program Chair Jamal Bentahar, Concordia University, Canada Elhadi Shakshuki, Acadia University, Canada Workshops Chair Stéphane Galland, Université de Technologie de Belfort-Montbéliard, France Local Chair Abdelouahed Gherbi, Quebec University, Canada Ahsan Habib, Dalhousie University, Canada Israat Haque, Dalhousie University, Canada Tracks Chairs Muhammad Adnan, Hasselt University, Belgium Longbiao Chen, Xiamen University, China Carmela Comito, National Research Council of Italy, Italy Danny Hughes, K. U. Leuven, Belgium Camille Kamga, The City College of New York, USA Prashant Kumar, University of Surrey, UK Hamid Mcheick, UQAC, Canada Yongrui (Louie) Qin, University of Huddersfield, UK Rahim Rahmani, Stockholm University, Sweden Michael Sheng, Macquarie University, Australia Qussai Yaseen, Jordan University of Science and Technology, Jordan International Journals Chair Atta Badii, Reading University, UK Publicity Chairs Monika Davidekova, Comenius University, Slovak Republic B. B. Gupta, National Institute of Technology Kurukshetra, India Advisory Committee Abdelfettah Belghith, University of Manouba, Tunisia Flavien Balbo, Ecole Nationale Supérieure des Mines de Saint Etienne, France Erol Gelenbe, Imperial College, UK Vincenzo Loia, University of Salerno, Italy Javier Sanchez Medina, University of Las Palmas de Gran Canaria, Spain Ralf Steinmetz, Technische Universitaet Darmstadt, Germany Mohamed Younis, University of Maryland Baltimore County, USA Technical Program Committee http://cs-conferences.acadiau.ca/mobispc-19/#programCommittees -------------- next part -------------- An HTML attachment was scrubbed... URL: From wim.ectors at uhasselt.be Mon Apr 22 18:45:25 2019 From: wim.ectors at uhasselt.be (Wim Ectors) Date: Mon, 22 Apr 2019 14:45:25 -0400 Subject: [Haskell] [ICTH-2019] Call for Workshop Proposals (May-30) Message-ID: Conference: The 9th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH) Date: November 4-7, 2019 Location: Coimbra, Portugal Website: http://cs-conferences.acadiau.ca/icth-19/ ********************************************************************************** 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 ICTH 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 and on Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus ( 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) and Engineering Village (Ei) (www.engineeringvillage.com). This includes EI Compendex (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) - International Journal of E-Health and Medical Communications, by IGI Global: ( http://www.igi-global.com/journal/international-journal-health-medical-communications/1158) ICTH 2019 will be held in conjunction with the 10th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN: http://cs-conferences.acadiau.ca/euspn-19/). Papers on either completed or ongoing research are invited in the following and related tracks: http://cs-conferences.acadiau.ca/icth-19/call-for-papers.html ICTH 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. Topics of interest include, but are not limited to: ------------------------------------------------------ - Ambient Assisted Living for Elderly Care - Ambient Intelligence and Intelligent Service Systems - Analysis and Evaluation of Healthcare Systems - Clinical Data and Knowledge Management - Cloud Computing for Healthcare - Collaboration Technologies for Healthcare - Context-aware Applications for Patient Monitoring and Care - Data mining Techniques and Data Warehouses in Healthcare - Data Visualization - Decision Support Systems in Healthcare - Design and Development Methodologies for Healthcare Systems - Diagnostic and Therapeutic Technologies in Healthcare - Digital Hospitals - Drug Information Systems - E-health & m-health - Electronic Health Records (EHR) & Personal Health Records (PHR) - Evidence Based Medicine (EBM) - Healthgrids - Health Portals - Information and Knowledge Processing in Healthcare Environments - Middleware Support for Smart Homes and Intelligent Applications - Quantified Self for Pervasive Healthcare - Privacy, Confidentiality and Security Issues in Healthcare Systems - Related Real World Experimentations and Case Studies in Healthcare - RFID Solutions for Healthcare - Smart Homes and Home Care Intelligent Environments - Telemedicine and Health Telematics - Ubiquitous and Pervasive Computing in Healthcare - Usability & Socio Technical studies - User Interface Design for Healthcare Applications - Virtual and Augmented Reality in Healthcare - Virtual Environments for Healthcare Committees ------------- General Chair Heiko Gewald, The Neu-Ulm University of Applied, Germany Joel J. P. C. Rodrigues, National Institute of Telecommunications (Inatel), Brazil Program Chairs Haroon Malik, Marshall University, USA Ansar Yasar, Hasselt University, Belgium Local Arrangements Chairs Adelio Manuel Rodrigues Gaspar, University of Coimbra, Portugal Nuno Varandas, F6S (Where Founders Grow Together), Portugal Workshops Chairs Sofiane Hamrioui, University of Nantes, France An Neven, Hasselt University, Belgium International Journals Chair Bin Guo, Northwestern Polytechnical University, China Publicity Chairs Wim Ectors, IMOB, Hasselt University, Belgium Al-Sakib Khan Pathan,Southeast University, Bangladesh Technical Program Committee http://cs-conferences.acadiau.ca/icth-19/program-committees.html Steering Committee Chair Elhadi Shakshuki, Acadia University, Canada Advisory Committee Abdullah Ali Al-Maniri, Oman Medical Specialty Board, Oman Sergio Camorlinga, Head eHealth Research, TRLabs, Canada Kevin Daimi, University of Detroit Mercy, USA Finn Kensing, University of Copenhagen, Denmark Francesco Princiroli, Politecnico di Milano, Italy Abdul Roudsari, University of Victoria, Canada Sent via Mail Merge -------------- next part -------------- An HTML attachment was scrubbed... URL: From wim.ectors at uhasselt.be Mon Apr 22 18:53:33 2019 From: wim.ectors at uhasselt.be (Wim Ectors) Date: Mon, 22 Apr 2019 14:53:33 -0400 Subject: [Haskell] [FNC-2019] CFP deadline (FINAL): Conference on Future Networks and Communications. Halifax, Canada (August 19-21, 2019) Message-ID: ------------------------------------------------------------------------ The 14th International Conference on Future Networks and Communications August 19-21, 2019 Halifax, Nova Scotia, Canada http://cs-conferences.acadiau.ca/fnc-19/ ------------------------------------------------------------------------ Future Networks and Communications (FNC) research effort will help achieving a major promise of the emerging technologies such as, ubiquitous access to broadband, supporting vital applications in our daily lives such as health, energy consumption, environment transport, entertainment or education. The scope of FNC is the development of energy-efficient future network infrastructures that support the convergence and interoperability of heterogeneous mobile, wired and wireless broadband network technologies as enablers of the future Internet. This includes but not limited to ubiquitous fast broadband access and ultra-high speed end-to-end optical connectivity, supporting open services and innovative ambient applications. Scope also embraces novel and evolutionary approaches to tackle network architectures, taking due consideration of users and societal needs for success. Important Dates ---------------- - Paper Submission Due: April 30, 2019 (FINAL) - Acceptance Notification: May 25, 2019 - Final Manuscript Due: June 25, 2019 Publication ------------ All FNC 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 and on Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus ( 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) and Engineering Village (Ei) (www.engineeringvillage.com). This includes EI Compendex (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. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the following special issues: - 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) FNC 2019 will be held in conjunction with the 15th International Conference on Mobile Systems and Pervasive Computing (MobiSPC http://cs-conferences.acadiau.ca/mobispc-19/). FNC 2019 is co-organized & co-hosted by Acadia and Dalhousie Universities. FNC 2019 will be held in Halifax, Nova Scotia, Canada. Halifax is located on the east coast of Canada and is approximately 6-hour flight from London, UK and a 2-hour flight from Toronto, Ontario. Halifax is a vibrant and modern city which is home to multiple academic institutions and where visitors can enjoy a variety of activities and entertainment from whale watching to Jazz festivals to world-class cuisine. Halifax is also home to the Maritime Museum of the Atlantic which contains the world largest collection of Titanic artifacts. Nova Scotia is a picturesque province with many National and Provincial parks, and as stated in the Guinness Book of World Records, has the highest tides in the world. COMMITTEES: ----------- General Chair Ladislav Hluchy, Institute of Informatics, Slovak Academy of Sciences, Slovakia Program Chairs Haroon Malik, Marshall University, USA Ansar Yasar, IMOB - Hasselt University, Belgium Local Chairs Maen Artimy, Dalhousie University, Canada Hassan Raza,, Dalhousie University, Canada Workshops Chair Stephane Galland, Universite de Technologie de Belfort-Montbeliard, France International Journals Chair Atta Badii, Reading University, UK Publicity Chairs Wim Ectors, Hasselt University, Belgium Mohammed Erritali, University Sultane Moulay Slimane, Morocco Advisory Committee Soumaya Cherkaoui, Sherbrooke University, Canada Erol Gelenbe, Imperial College, UK Roch Glitho, Concordia University, Canada Zygmunt J. Haas, Cornell University, USA Philippe Martins, Telecom Paris Tech, France Peter Sloot, Universiteit van Amsterdam, Netherlands David Taniar, Monash University, Australia Technical Program Committee http://cs-conferences.acadiau.ca/fnc-19/#programCommittees Sent via Mail Merge -------------- next part -------------- An HTML attachment was scrubbed... URL: From aneta.poniszewska-maranda at p.lodz.pl Mon Apr 22 23:25:48 2019 From: aneta.poniszewska-maranda at p.lodz.pl (Aneta =?utf-8?Q?Poniszewska-Mara=C5=84da?=) Date: Tue, 23 Apr 2019 01:25:48 +0200 (CEST) Subject: [Haskell] SEIT-19 CFPs: The 9th International Conference on Sustainable Energy Information Technology (August 19-21, 2019, Halifax, Canada) In-Reply-To: <1183158589.14736.1554856135093.JavaMail.zimbra@p.lodz.pl> References: <668462891.56352.1548921830942.JavaMail.zimbra@p.lodz.pl> <232024244.6268.1552259667134.JavaMail.zimbra@p.lodz.pl> <1183158589.14736.1554856135093.JavaMail.zimbra@p.lodz.pl> Message-ID: <1921795369.8115.1555975548083.JavaMail.zimbra@p.lodz.pl> Call for Papers The 9th International Conference on Sustainable Energy Information Technology (SEIT-19) [ http://cs-conferences.acadiau.ca/seit-19/ | http://cs-conferences.acadiau.ca/seit-19/ ] IMPORTANT DATES - Paper Submission Due: April 30 , 2019  ( FIRM ) - Acceptance Notification:      May 25, 2019 - Camera-Ready Submission: June 25, 2019 About SEIT 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 [ http://www.elsevier.com/ | www.Elsevier.com ] and on Elsevier content platform ScienceDirect ( [ http://www.sciencedirect.com/ | www.sciencedirect.com ] ), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus ( [ http://www.scopus.com/ | www.scopus.com ] ) and by Thomson Reuters' Conference Proceeding Citation Index ( [ http://thomsonreuters.com/conference-proceedings-citation-index/ | http://thomsonreuters.com/conference-proceedings-citation-index/ ] ). All papers in Procedia will also be indexed by Scopus ( [ http://www.scopus.com/ | www.scopus.com ] ) and Engineering Village (Ei) ( [ http://www.engineeringvillage.com/ | www.engineeringvillage.com ] ). This includes EI Compendex ( [ http://www.ei.org/compendex | www.ei.org/compendex ] ). Moreover, all accepted papers will be indexed in DBLP ( [ http://dblp.uni-trier.de/ | http://dblp.uni-trier.de/ ] ). The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication in journals special issues. SEIT 2019 will be held in Halifax Nova Scotia, Canada. Halifax is located on the east coast of Canada and is approximately a 6-hour flight from London, UK and a 2-hour flight from Toronto, Ontario. Halifax is a vibrant and modern city which is home to multiple academic institutions and where visitors can enjoy a variety of activities and entertainment from whale watching to Jazz festivals to world-class cuisine. Halifax is also home to the Maritime Museum of the Atlantic which contains the world largest collection of Titanic artifacts. Nova Scotia is a picturesque province with many National and Provincial parks, and as stated in the Guinness Book of World Records, has the highest tides in the world. Conference Main Tracks - Advanced Techniques for Energy Applications - Energy Efficiency - Energy Policy - Environmental - Green Sustainability - Power Quality, Power Electronics and Electric Machines - Power Systems - Renewable Energies - Sensing & Monitoring - Smart Systems Committees General Chairs Elhadi Shakshuki, Acadia University, Canada Bruce Spencer, University of New Brunswick, Canada Program Chairs Jesús Fraile Ardanuy, Universidad Politécnica de Madrid, Spain Eduardo Vaz, Eduardo Vaz, QRA Corp., Canada Local Chair Wayne Groszko, Dalhousie University, Canada Workshops Chairs Hui Hou, Wuhan University of Technology, China Haroon Malik, Marshall University, USA International Journals Chair Ansar-Ul-Haque Yasar, IMOB – Hasselt University, Belgium Publicity Chairs Hakan Ergun, ESAT - KULeuven, Belgium Aneta Poniszewska-Maranda, Lodz University of Technology, Poland Advisory Committee Bilal A. Akash, American University of Ras Al Khaimah, UAE Antonio J. Conejo, Universidad de Castilla - La Mancha, Spain Derek J Croome, University of Reading, UK Geert Deconinck, KU Leuven, Belgium Jatin Nathwani, University of Waterloo, Canada Saffa Riffat, University of Nottingham, UK Ali Sayigh,World Renewable Energy Congress / Network Technical Program Committee [ http://cs-conferences.acadiau.ca/seit-19/#programCommittees | http://cs-conferences.acadiau.ca/seit-19/#programCommittees ] --- 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 -------------- An HTML attachment was scrubbed... URL: From Monika.Davidekova at fm.uniba.sk Tue Apr 23 14:37:36 2019 From: Monika.Davidekova at fm.uniba.sk (Davidekova Monika) Date: Tue, 23 Apr 2019 14:37:36 +0000 Subject: [Haskell] MobiSPC 2019 CfPs: The 16th Intl. Conf. on Mobile Systems and Pervasive Computing: FINAL Extension (April 30, 2019) In-Reply-To: References: <0FFDD0D1-F87A-441B-974C-CEBCBCB86750@acadiau.ca>, , , , , , , , , , , , , Message-ID: CallforPapers The 16th International Conference on Mobile Systems and Pervasive Computing, (MobiSPC'19) August 19-21, 2019, Halifax, Canada http://cs-conferences.acadiau.ca/mobispc-19/ IMPORTANT DATES - Paper Submission Due: April 30, 2019 (FIRM) - Acceptance Notification: May 25, 2019 - Final Manuscript Due: June 25, 2019 About Mobile Systems and Pervasive Computing (MobiSPC) have evolved into an active area of research and development. This is due to the tremendous advances in a broad spectrum of technologies and topics, including wireless networking, mobile and distributed computing, sensor systems, RFID technology, and the ubiquitous mobile phone. MobiSPC-2019 solicits papers that focus on the theory, systems, practices and challenges of providing users with a successful mobile or wireless experience. This includes how mobile computing changes how people pervasively use their computers, computing resources and applications, as well the systems, services and technologies enabling those applications. MobiSPC-2019 will provide a leading edge, scholarly forum for researchers, engineers, and students alike to share their state-of-the art research and developmental work in the broad areas of pervasive computing and mobile systems. Publication All MobiSPC 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 and on Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus (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) and Engineering Village (Ei) (www.engineeringvillage.com). This includes EI Compendex (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. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the following special issues: - 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) MobiSPC 2019 will be held in conjunction with The 14th International Conference on Future Networks and Communications (FNC'19). http://cs-conferences.acadiau.ca/fnc-19/ Venue MobiSPC 2019 is co-organized & co-hosted by Acadia and Dalhousie Universities. MobiSPC 2019 will be held in Halifax, Nova Scotia, Canada. Halifax is located on the east coast of Canada and is approximately 6-hour flight from London, UK and a 2-hour flight from Toronto, Ontario. Halifax is a vibrant and modern city which is home to multiple academic institutions and where visitors can enjoy a variety of activities and entertainment from whale watching to Jazz festivals to world-class cuisine. Halifax is also home to the Maritime Museum of the Atlantic which contains the world largest collection of Titanic artifacts. Nova Scotia is a picturesque province with many National and Provincial parks, and as stated in the Guinness Book of World Records, has the highest tides in the world. Conference Tracks Component-based IoT Enabling Technologies and Emerging Topics Internet of Things (IoT) Mobile Cloud Computing Mobile Data Management Mobile Social Networking Pervasive Computing Smart Cities and Ubiquitous Climate Change Management Smart Communities and Ubiquitous Systems Mobile Systems and Applications Committees General Chair Hossam Hassanein, Queen's University, Canada Program Chair Jamal Bentahar, Concordia University, Canada Elhadi Shakshuki, Acadia University, Canada Workshops Chair Stéphane Galland, Université de Technologie de Belfort-Montbéliard, France Local Chair Abdelouahed Gherbi, Quebec University, Canada Ahsan Habib, Dalhousie University, Canada Israat Haque, Dalhousie University, Canada Tracks Chairs Muhammad Adnan, Hasselt University, Belgium Longbiao Chen, Xiamen University, China Carmela Comito, National Research Council of Italy, Italy Danny Hughes, K. U. Leuven, Belgium Camille Kamga, The City College of New York, USA Prashant Kumar, University of Surrey, UK Hamid Mcheick, UQAC, Canada Yongrui (Louie) Qin, University of Huddersfield, UK Rahim Rahmani, Stockholm University, Sweden Michael Sheng, Macquarie University, Australia Qussai Yaseen, Jordan University of Science and Technology, Jordan International Journals Chair Atta Badii, Reading University, UK Publicity Chairs Monika Davidekova, Comenius University, Slovak Republic B. B. Gupta, National Institute of Technology Kurukshetra, India Advisory Committee Abdelfettah Belghith, University of Manouba, Tunisia Flavien Balbo, Ecole Nationale Supérieure des Mines de Saint Etienne, France Erol Gelenbe, Imperial College, UK Vincenzo Loia, University of Salerno, Italy Javier Sanchez Medina, University of Las Palmas de Gran Canaria, Spain Ralf Steinmetz, Technische Universitaet Darmstadt, Germany Mohamed Younis, University of Maryland Baltimore County, USA Technical Program Committee http://cs-conferences.acadiau.ca/mobispc-19/#programCommittees -------------- next part -------------- An HTML attachment was scrubbed... URL: From erlangworkshop at gmail.com Wed Apr 24 08:59:33 2019 From: erlangworkshop at gmail.com (Erlang Workshop) Date: Wed, 24 Apr 2019 10:59:33 +0200 Subject: [Haskell] 3RD CALL FOR PAPERS: Erlang Workshop 2019 Message-ID: Technical, practice, and application papers related to Erlang, BEAM, Elixir, Scala/Akka, CloudHaskell, Lisp Flavoured Erlang, OCaml, and functional programming are welcome and encouraged. *3RD CALL FOR PAPERS* Eighteenth ACM SIGPLAN Erlang Workshop https://icfp19.sigplan.org/home/erlang-2019 Berlin, Germany, 18 August 2019 Satellite event of the 24th ACM SIGPLAN International Conference on Functional Programming (ICFP 2019) 18 - 23 August, 2019 The Erlang Workshop aims to bring together the open source, academic, and industrial communities of Erlang, to discuss technologies and languages related to Erlang. The Erlang model of concurrent programming has been widely emulated, for example by Akka in Scala, and even new programming languages were designed atop of the Erlang VM, such as Elixir. Therefore we would like to broaden the scope of the workshop to include systems like those mentioned above. The workshop will enable participants to familiarize themselves with recent developments on new techniques and tools, novel applications, draw lessons from users' experiences and identify research problems and common areas relevant to the practice of Erlang, Erlang-like languages, functional programming, distribution, concurrency etc. We invite two types of submissions. 1. Technical papers describing language extensions, critical discussions of the status quo, formal semantics of language constructs, program analysis and transformation, virtual machine extensions and compilation techniques, implementations and interfaces of Erlang in/with other languages, and new tools (profilers, tracers, debuggers, testing frameworks, etc.). Submission related to Erlang, Elixir, Scala/Akka, CloudHaskell, Lisp Flavoured Erlang, OCaml, and functional programming are welcome and encouraged. The maximum length for technical papers is restricted to 12 pages, but short papers (max. 6 pages) are welcomed as well. 2. Practice and application papers describing uses of Erlang in the "real-world", Erlang libraries for specific tasks, experiences from using Erlang in specific application domains, reusable programming idioms and elegant new ways of using Erlang to approach or solve a particular problem. The maximum length for the practice and application papers is restricted to 12 pages, but short papers (max. 6 pages) are welcomed as well. *Workshop Co-Chairs* Adrian Francalanza, University of Malta, Malta Viktória Fördős, Cisco Systems, Sweden *Program Committee* (Note: the Workshop Co-Chairs are also committee members) Annette Bieniusa, University of Kaiserslautern, Germany Christopher S. Meiklejohn, Carnegie Mellon University, USA Clara Benac Earle, Universidad Politecnica de Madrid, Spain Claudio Antares Mezzina, IMT Lucca, Italy Emilio Tuosto, University of Leicester, UK Felix Mulder, Klarna AB, Sweden Francesco Cesarini, Erlang Solutions Ltd, UK Julien Lange, University of Kent, UK Kenji Rikitake, KRPEO, Japan Melinda Tóth, ELTE Eötvös Loránd University, Hungary Natalia Chechina, Bournemouth University, UK Rumyana Neykova, Brunel University, UK Scott Lystig Fritchie, Wallaroo, USA Thomas Arts, Quviq AB, Sweden Torben Hoffmann, Alert Logic, Denmark *Important Dates* Submission deadline: Fri May 10, 2019 Author notification: Fri June 7, 2019 Final submission for the publisher: Sun June 30, 2019 Workshop date: Sun August 18, 2019 *Instructions to authors* Papers must be submitted online via HotCRP (via the "Erlang2019" event). The submission page is https://erlang19.hotcrp.com Submitted papers should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines. Each submission must adhere to SIGPLAN's republication policy. Violation risks summary rejection of the offending submission. Accepted papers will be published by the ACM and will appear in the ACM Digital Library. The proceedings will be freely available for download from the ACM Digital Library from one week before the start of the conference until two weeks after the conference. Paper submissions will be considered for poster submission in the case they are not accepted as full papers. *Venue & Registration Details* For registration, please see the ICFP 2019 web site at: http://icfp19.sigplan.org/ *Related Links* ICFP 2019 web site: http://icfp19.sigplan.org/ Past ACM SIGPLAN Erlang workshops: http://www.erlang.org/workshop/ Open Source Erlang: http://www.erlang.org/ HotCRP submission site: https://erlang19.hotcrp.com Author Information for SIGPLAN Conferences: http://www.sigplan.org/authorInformation.htm Attendee Information for SIGPLAN Events: http://www.sigplan.org/Resources/Policies/CodeOfConduct/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From Monika.Davidekova at fm.uniba.sk Wed Apr 24 19:24:58 2019 From: Monika.Davidekova at fm.uniba.sk (Davidekova Monika) Date: Wed, 24 Apr 2019 19:24:58 +0000 Subject: [Haskell] MobiSPC 2019 CfPs: The 16th Intl. Conf. on Mobile Systems and Pervasive Computing: FINAL Extension (April 30, 2019) In-Reply-To: References: <0FFDD0D1-F87A-441B-974C-CEBCBCB86750@acadiau.ca>, , , , , , , , , , , , , , , , , , , , , , , Message-ID: CallforPapers The 16th International Conference on Mobile Systems and Pervasive Computing, (MobiSPC'19) August 19-21, 2019, Halifax, Canada http://cs-conferences.acadiau.ca/mobispc-19/ IMPORTANT DATES - Paper Submission Due: April 30, 2019 (FIRM) - Acceptance Notification: May 25, 2019 - Final Manuscript Due: June 25, 2019 About Mobile Systems and Pervasive Computing (MobiSPC) have evolved into an active area of research and development. This is due to the tremendous advances in a broad spectrum of technologies and topics, including wireless networking, mobile and distributed computing, sensor systems, RFID technology, and the ubiquitous mobile phone. MobiSPC-2019 solicits papers that focus on the theory, systems, practices and challenges of providing users with a successful mobile or wireless experience. This includes how mobile computing changes how people pervasively use their computers, computing resources and applications, as well the systems, services and technologies enabling those applications. MobiSPC-2019 will provide a leading edge, scholarly forum for researchers, engineers, and students alike to share their state-of-the art research and developmental work in the broad areas of pervasive computing and mobile systems. Publication All MobiSPC 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 and on Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus (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) and Engineering Village (Ei) (www.engineeringvillage.com). This includes EI Compendex (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. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the following special issues: - 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) MobiSPC 2019 will be held in conjunction with The 14th International Conference on Future Networks and Communications (FNC'19). http://cs-conferences.acadiau.ca/fnc-19/ Venue MobiSPC 2019 is co-organized & co-hosted by Acadia and Dalhousie Universities. MobiSPC 2019 will be held in Halifax, Nova Scotia, Canada. Halifax is located on the east coast of Canada and is approximately 6-hour flight from London, UK and a 2-hour flight from Toronto, Ontario. Halifax is a vibrant and modern city which is home to multiple academic institutions and where visitors can enjoy a variety of activities and entertainment from whale watching to Jazz festivals to world-class cuisine. Halifax is also home to the Maritime Museum of the Atlantic which contains the world largest collection of Titanic artifacts. Nova Scotia is a picturesque province with many National and Provincial parks, and as stated in the Guinness Book of World Records, has the highest tides in the world. Conference Tracks Component-based IoT Enabling Technologies and Emerging Topics Internet of Things (IoT) Mobile Cloud Computing Mobile Data Management Mobile Social Networking Pervasive Computing Smart Cities and Ubiquitous Climate Change Management Smart Communities and Ubiquitous Systems Mobile Systems and Applications Committees General Chair Hossam Hassanein, Queen's University, Canada Program Chair Jamal Bentahar, Concordia University, Canada Elhadi Shakshuki, Acadia University, Canada Workshops Chair Stéphane Galland, Université de Technologie de Belfort-Montbéliard, France Local Chair Abdelouahed Gherbi, Quebec University, Canada Ahsan Habib, Dalhousie University, Canada Israat Haque, Dalhousie University, Canada Tracks Chairs Muhammad Adnan, Hasselt University, Belgium Longbiao Chen, Xiamen University, China Carmela Comito, National Research Council of Italy, Italy Danny Hughes, K. U. Leuven, Belgium Camille Kamga, The City College of New York, USA Prashant Kumar, University of Surrey, UK Hamid Mcheick, UQAC, Canada Yongrui (Louie) Qin, University of Huddersfield, UK Rahim Rahmani, Stockholm University, Sweden Michael Sheng, Macquarie University, Australia Qussai Yaseen, Jordan University of Science and Technology, Jordan International Journals Chair Atta Badii, Reading University, UK Publicity Chairs Monika Davidekova, Comenius University, Slovak Republic B. B. Gupta, National Institute of Technology Kurukshetra, India Advisory Committee Abdelfettah Belghith, University of Manouba, Tunisia Flavien Balbo, Ecole Nationale Supérieure des Mines de Saint Etienne, France Erol Gelenbe, Imperial College, UK Vincenzo Loia, University of Salerno, Italy Javier Sanchez Medina, University of Las Palmas de Gran Canaria, Spain Ralf Steinmetz, Technische Universitaet Darmstadt, Germany Mohamed Younis, University of Maryland Baltimore County, USA Technical Program Committee http://cs-conferences.acadiau.ca/mobispc-19/#programCommittees -------------- next part -------------- An HTML attachment was scrubbed... URL: From Monika.Davidekova at fm.uniba.sk Wed Apr 24 20:47:21 2019 From: Monika.Davidekova at fm.uniba.sk (Davidekova Monika) Date: Wed, 24 Apr 2019 20:47:21 +0000 Subject: [Haskell] INCoS-2019 Call for Papers, September 5-7, 2019, Japan, Submission Deadline May 20 In-Reply-To: References: , , , Message-ID: 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://voyager.ce.fit.ac.jp/conf/incos/2019/information.php IMPORTANT DATES - Submission Deadline: May 20, 2019 - 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 * Fuzzy Systems and Knowledge Management * Grid and P2P Distributed Infrastructure for Intelligent Networking and Collaborative Systems * Nature's Inspired Parallel Collaborative Systems * Security, Organization, Management and Autonomic Computing for Intelligent Networking and Collaborative Systems * Software Engineering, Semantics and Ontologies for Intelligent Networking and Collaborative Systems * Wireless and Sensor Systems for Intelligent Networking and Collaborative Systems * Service-based Systems for Enterprise Activities Planning and Management * Next Generation Secure Network Protocols and Components * Big Data Analytics for Learning, Networking and Collaborative Systems * Cloud Computing: Services, Storage, Security and Privacy * Intelligent Collaborative Systems for Work and Learning, Virtual Organization and Campuses * Social Networking and Collaborative Systems * Intelligent and Collaborative Systems for e-Health * Mobile Networking and Applications 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: CFP-INCoS-2019-V9.pdf Type: application/pdf Size: 355433 bytes Desc: CFP-INCoS-2019-V9.pdf URL: From rachid.echahed at imag.fr Thu Apr 25 04:52:38 2019 From: rachid.echahed at imag.fr (RACHID ECHAHED) Date: Thu, 25 Apr 2019 06:52:38 +0200 (CEST) Subject: [Haskell] Graph Computation Models/ last CFP: GCM 2019 In-Reply-To: <1846073738.878747.1556162429419.JavaMail.zimbra@univ-grenoble-alpes.fr> References: <542484375.878473.1556162140056.JavaMail.zimbra@univ-grenoble-alpes.fr> <1846073738.878747.1556162429419.JavaMail.zimbra@univ-grenoble-alpes.fr> Message-ID: <2109122649.883267.1556167958048.JavaMail.zimbra@univ-grenoble-alpes.fr> ----------------------------------------------------------------------- FINAL CALL FOR PAPERS GCM 2019 Tenth International Workshop on Graph Computation Models Eindhoven, The Netherlands, July 17th, 2019 [ http://gcm2019.imag.fr/ | http://gcm2019.imag.fr/ ] Part of STAF 2019 [ https://staf2019.win.tue.nl/ | https://staf2019.win.tue.nl/ ] ----------------------------------------------------------------------- Aims The aim of the International Workshop GCM 2019 is to bring together researchers interested in all aspects of computation models based on graphs and graph transformation. It promotes the cross-fertilizing exchange of ideas and experiences among senior and young researchers from different communities interested in the foundations, applications, and implementations of graph computation models and related areas. Previous editions of GCM series were held in Natal, Brazil (GCM 2006), in Leicester, UK (GCM 2008), in Enschede, The Netherlands (GCM 2010), in Bremen, Germany (GCM 2012), in York, UK (GCM 2014), in L'Aquila, Italy (GCM 2015), in Wien, Austria (GCM 2016), in Marburg, Germany (GCM 2017) and in Toulouse, France (GCM 2018). ----------------------------------------------------------------------- Topics of Interest GCM 2019 solicits papers on all aspects of graph computation models. This includes but is not limited to the following topics: Foundations: Models of graph transformation; Analysis and verification of graph transformation systems; Parallel, concurrent, and distributed graph transformation; Term graph rewriting; Formal graph languages; Applications: Graph-based programming models and visual programming; Model-driven engineering; Evolutionary computation; Software architectures, validation and evolution; Databases; Graph-based security models; Workflow and business processes; Social network analysis; Bioinformatics and computational chemistry; Quantum computing; Case-studies ----------------------------------------------------------------------- Important Dates Abstract Submission : 2 May 2019 Paper Submission : 7 May 2019 Notification : 25 May 2019 Final version due: 5 June 2019 Workshop : 17 July 2019 Should you have problems to meet the deadlines, please contact the organizers. ----------------------------------------------------------------------- Submissions and Publication Authors are invited to submit papers in three possible categories: (1) Regular papers of at most 16 pages describing innovative contributions. (2) Position papers, system descriptions or work in progress of 6 to 12 pages. (3) Abstracts limited to 2 pages, introducing recently published papers in a peer-reviewed venue different from the ICGT conference. Papers in PDF format should be submitted electronically via the EasyChair system site [ https://easychair.org/conferences/?conf=gcm2019 | https://easychair.org/conferences/?conf=gcm2019 ] Submissions must use Lecture Notes in Computer Science (LNCS) style. For regular and tool demonstration papers, simultaneous submission to other conferences with proceedings as well as submission of material that has already been published elsewhere is not allowed. The page limits include references. An optional appendix can be added if useful for the reviewing process. All submissions will be reviewed by the programme committee. Electronic proceedings will be available at the time of the workshop. Selected authors will be invited to contribute to post-proceedings to be published online by Electronic Proceedings in Theoretical Computer Science (EPTCS, [ http://www.eptcs.org/ | http://www.eptcs.org/ ] ). ----------------------------------------------------------------------- Program Committee * Anthony Anjorin , University of Paderborn, Germany * Andrea Corradini , University of Pisa, Italy * Juan de Lara , Universidad Autónoma de Madrid, Spain * Rachid Echahed (co-chair), CNRS and Univ. Grenoble Alpes, France * Maribel Fernández , King's College London, UK * Annegret Habel, University of Oldenburg, Germany * Hans-Joerg Kreowski, University of Bremen, Germany * Leen Lambers , University of Potsdam, Germany * Detlef Plump (co-chair), University of York, UK * Christopher M. Poskitt, Singapore Univ. of Technology and Design, Singapore * Leila Ribeiro , Universidade Federal do Rio Grande do Sul, Brazil ----------------------------------------------------------------------- Organizers and contact * Rachid Echahed, CNRS and University Grenoble Alpes, France * Detlef Plump, University of York, UK You can contact the organizers via: [ mailto:gcm2019 at easychair.org | gcm2019 at easychair.org ] -------------- next part -------------- An HTML attachment was scrubbed... URL: From Monika.Davidekova at fm.uniba.sk Thu Apr 25 18:58:30 2019 From: Monika.Davidekova at fm.uniba.sk (Davidekova Monika) Date: Thu, 25 Apr 2019 18:58:30 +0000 Subject: [Haskell] MobiSPC 2019 CfPs: The 16th Intl. Conf. on Mobile Systems and Pervasive Computing: FINAL Extension (April 30, 2019) In-Reply-To: References: <0FFDD0D1-F87A-441B-974C-CEBCBCB86750@acadiau.ca>, , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , Message-ID: CallforPapers The 16th International Conference on Mobile Systems and Pervasive Computing, (MobiSPC'19) August 19-21, 2019, Halifax, Canada http://cs-conferences.acadiau.ca/mobispc-19/ IMPORTANT DATES - Paper Submission Due: April 30, 2019 (FIRM) - Acceptance Notification: May 25, 2019 - Final Manuscript Due: June 25, 2019 About Mobile Systems and Pervasive Computing (MobiSPC) have evolved into an active area of research and development. This is due to the tremendous advances in a broad spectrum of technologies and topics, including wireless networking, mobile and distributed computing, sensor systems, RFID technology, and the ubiquitous mobile phone. MobiSPC-2019 solicits papers that focus on the theory, systems, practices and challenges of providing users with a successful mobile or wireless experience. This includes how mobile computing changes how people pervasively use their computers, computing resources and applications, as well the systems, services and technologies enabling those applications. MobiSPC-2019 will provide a leading edge, scholarly forum for researchers, engineers, and students alike to share their state-of-the art research and developmental work in the broad areas of pervasive computing and mobile systems. Publication All MobiSPC 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 and on Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus (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) and Engineering Village (Ei) (www.engineeringvillage.com). This includes EI Compendex (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. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the following special issues: - 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) MobiSPC 2019 will be held in conjunction with The 14th International Conference on Future Networks and Communications (FNC'19). http://cs-conferences.acadiau.ca/fnc-19/ Venue MobiSPC 2019 is co-organized & co-hosted by Acadia and Dalhousie Universities. MobiSPC 2019 will be held in Halifax, Nova Scotia, Canada. Halifax is located on the east coast of Canada and is approximately 6-hour flight from London, UK and a 2-hour flight from Toronto, Ontario. Halifax is a vibrant and modern city which is home to multiple academic institutions and where visitors can enjoy a variety of activities and entertainment from whale watching to Jazz festivals to world-class cuisine. Halifax is also home to the Maritime Museum of the Atlantic which contains the world largest collection of Titanic artifacts. Nova Scotia is a picturesque province with many National and Provincial parks, and as stated in the Guinness Book of World Records, has the highest tides in the world. Conference Tracks Component-based IoT Enabling Technologies and Emerging Topics Internet of Things (IoT) Mobile Cloud Computing Mobile Data Management Mobile Social Networking Pervasive Computing Smart Cities and Ubiquitous Climate Change Management Smart Communities and Ubiquitous Systems Mobile Systems and Applications Committees General Chair Hossam Hassanein, Queen's University, Canada Program Chair Jamal Bentahar, Concordia University, Canada Elhadi Shakshuki, Acadia University, Canada Workshops Chair Stéphane Galland, Université de Technologie de Belfort-Montbéliard, France Local Chair Abdelouahed Gherbi, Quebec University, Canada Ahsan Habib, Dalhousie University, Canada Israat Haque, Dalhousie University, Canada Tracks Chairs Muhammad Adnan, Hasselt University, Belgium Longbiao Chen, Xiamen University, China Carmela Comito, National Research Council of Italy, Italy Danny Hughes, K. U. Leuven, Belgium Camille Kamga, The City College of New York, USA Prashant Kumar, University of Surrey, UK Hamid Mcheick, UQAC, Canada Yongrui (Louie) Qin, University of Huddersfield, UK Rahim Rahmani, Stockholm University, Sweden Michael Sheng, Macquarie University, Australia Qussai Yaseen, Jordan University of Science and Technology, Jordan International Journals Chair Atta Badii, Reading University, UK Publicity Chairs Monika Davidekova, Comenius University, Slovak Republic B. B. Gupta, National Institute of Technology Kurukshetra, India Advisory Committee Abdelfettah Belghith, University of Manouba, Tunisia Flavien Balbo, Ecole Nationale Supérieure des Mines de Saint Etienne, France Erol Gelenbe, Imperial College, UK Vincenzo Loia, University of Salerno, Italy Javier Sanchez Medina, University of Las Palmas de Gran Canaria, Spain Ralf Steinmetz, Technische Universitaet Darmstadt, Germany Mohamed Younis, University of Maryland Baltimore County, USA Technical Program Committee http://cs-conferences.acadiau.ca/mobispc-19/#programCommittees -------------- next part -------------- An HTML attachment was scrubbed... URL: From james.cheney at gmail.com Sat Apr 27 09:25:09 2019 From: james.cheney at gmail.com (James Cheney) Date: Sat, 27 Apr 2019 10:25:09 +0100 Subject: [Haskell] Bx 2019 Call for Participation (Workshop on Bidirectional Transformations) Message-ID: Bx 2019 Call for Participation ============================== Highlights ---------- * Invited speaker: Zack Ives on Views, Update Propagation, and Provenance * Registration information (early deadline: May 4) * List of accepted papers and talks General Information ------------------- * 8th International Workshop on Bidirectional Transformations * http://bx-community.wikidot.com/bx2019:home * June 4, 2019, Saint Joseph’s University, Philadelphia, PA, USA * as part of the Philadelphia Logic Week (PLW) 2019: https://sites.sju.edu/plw/ 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. Registration ------------ * https://sites.sju.edu/plw/plw-2019-registration/ * Early registration deadline: May 4 * Passes available for attending multiple co-located events, including LPNMR (Logic Programming and Nonmonotonic Reasoning) and workshops, Datalog 2.0 (Resurgence of Datalog in Academia and Industry), and TaPP (Theory and Practice of Provenance) * Opportunities for students to receive financial support from the LPNMR Doctoral Consortium Invited Talk ------------ * Views, Update Propagation, and Provenance Zachary Ives (University of Pennsylvania) http://www.cis.upenn.edu/~zives/ Accepted Papers and Talks ------------------------- The abstracts can be found at http://bx-community.wikidot.com/bx2019:accepted . * ASN.1 Encoding Schemes Done Right Using CMPCT Mark Tullsen (Galois, Inc.) * Lenses and Learners Brendan Fong (Massachusetts Institute of Technology) and Michael Johnson (Macquarie University) * Multicategories of Multiary Lenses Michael Johnson (Macquarie University) and Robert Rosebrugh (Mount Allison University) * Incremental Bidirectional Model Transformation with eMoflon::IBeX (Tool Paper) Nils Weidmann (Paderborn University), Anthony Anjorin (Paderborn University), Lars Fritsche (TU Darmstadt), Gergely Varró, Andy Schürr (TU Darmstadt), and Erhan Leblebici (TU Darmstadt) * A Bidirectional Krivine Machine (Short Paper) Mikael Mayer (University of Chicago) and Ravi Chugh (University of Chicago) * Consistent Runtime Adaptation of User Interfaces (Short Paper) Anthony Anjorin (Paderborn University), Enes Yigitbas (Paderborn University), and Hermann Kaindl (Vienna University of Technology) * Symmetric d-Lenses and Symmetric c-Lenses are not Coextensive (Short Paper) Michael Johnson (Macquarie University) and François Renaud (Université Catholique de Louvain) * A Toolbox of Lenses: Dimensions of the Lens Design Space (Talk) Zinovy Diskin (McMaster University) * Expanding the Power of Lens Synthesis (Talk) Anders Miltner (Princeton University), Solomon Maina (University of Pennsylvania), Kathleen Fisher (Tufts University), Benjamin Pierce (University of Pennsylvania), David Walker (Princeton University), and Steve Zdancewic (University of Pennsylvania) * Optics and Type Equivalences (Talk) Jacques Carette (McMaster University) and Amr Sabry (Indiana University Bloomington) * Reified Correspondences: A New Component of the Multiary Delta Lenses Framework (Talk) Zinovy Diskin (McMaster University) -------------- next part -------------- An HTML attachment was scrubbed... URL: From aneta.poniszewska-maranda at p.lodz.pl Sun Apr 28 21:59:34 2019 From: aneta.poniszewska-maranda at p.lodz.pl (Aneta =?utf-8?Q?Poniszewska-Mara=C5=84da?=) Date: Sun, 28 Apr 2019 23:59:34 +0200 (CEST) Subject: [Haskell] SEIT-19 CFPs: The 9th International Conference on Sustainable Energy Information Technology (August 19-21, 2019, Halifax, Canada) In-Reply-To: <1921795369.8115.1555975548083.JavaMail.zimbra@p.lodz.pl> References: <668462891.56352.1548921830942.JavaMail.zimbra@p.lodz.pl> <232024244.6268.1552259667134.JavaMail.zimbra@p.lodz.pl> <1183158589.14736.1554856135093.JavaMail.zimbra@p.lodz.pl> <1921795369.8115.1555975548083.JavaMail.zimbra@p.lodz.pl> Message-ID: <585959964.3762.1556488774967.JavaMail.zimbra@p.lodz.pl> Call for Papers The 9th International Conference on Sustainable Energy Information Technology (SEIT-19) [ http://cs-conferences.acadiau.ca/seit-19/ | http://cs-conferences.acadiau.ca/seit-19/ ] IMPORTANT DATES - Paper Submission Due: April 30, 2019 ( FIRM ) - Acceptance Notification:      May 25, 2019 - Camera-Ready Submission: June 25, 2019 About SEIT 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 [ http://www.elsevier.com/ | www.Elsevier.com ] and on Elsevier content platform ScienceDirect ( [ http://www.sciencedirect.com/ | www.sciencedirect.com ] ), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus ( [ http://www.scopus.com/ | www.scopus.com ] ) and by Thomson Reuters' Conference Proceeding Citation Index ( [ http://thomsonreuters.com/conference-proceedings-citation-index/ | http://thomsonreuters.com/conference-proceedings-citation-index/ ] ). All papers in Procedia will also be indexed by Scopus ( [ http://www.scopus.com/ | www.scopus.com ] ) and Engineering Village (Ei) ( [ http://www.engineeringvillage.com/ | www.engineeringvillage.com ] ). This includes EI Compendex ( [ http://www.ei.org/compendex | www.ei.org/compendex ] ). Moreover, all accepted papers will be indexed in DBLP ( [ http://dblp.uni-trier.de/ | http://dblp.uni-trier.de/ ] ). The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication in journals special issues. SEIT 2019 will be held in Halifax Nova Scotia, Canada. Halifax is located on the east coast of Canada and is approximately a 6-hour flight from London, UK and a 2-hour flight from Toronto, Ontario. Halifax is a vibrant and modern city which is home to multiple academic institutions and where visitors can enjoy a variety of activities and entertainment from whale watching to Jazz festivals to world-class cuisine. Halifax is also home to the Maritime Museum of the Atlantic which contains the world largest collection of Titanic artifacts. Nova Scotia is a picturesque province with many National and Provincial parks, and as stated in the Guinness Book of World Records, has the highest tides in the world. Conference Main Tracks - Advanced Techniques for Energy Applications - Energy Efficiency - Energy Policy - Environmental - Green Sustainability - Power Quality, Power Electronics and Electric Machines - Power Systems - Renewable Energies - Sensing & Monitoring - Smart Systems Committees General Chairs Elhadi Shakshuki, Acadia University, Canada Bruce Spencer, University of New Brunswick, Canada Program Chairs Jesús Fraile Ardanuy, Universidad Politécnica de Madrid, Spain Eduardo Vaz, Eduardo Vaz, QRA Corp., Canada Local Chair Wayne Groszko, Dalhousie University, Canada Workshops Chairs Hui Hou, Wuhan University of Technology, China Haroon Malik, Marshall University, USA International Journals Chair Ansar-Ul-Haque Yasar, IMOB – Hasselt University, Belgium Publicity Chairs Hakan Ergun, ESAT - KULeuven, Belgium Aneta Poniszewska-Maranda, Lodz University of Technology, Poland Advisory Committee Bilal A. Akash, American University of Ras Al Khaimah, UAE Antonio J. Conejo, Universidad de Castilla - La Mancha, Spain Derek J Croome, University of Reading, UK Geert Deconinck, KU Leuven, Belgium Jatin Nathwani, University of Waterloo, Canada Saffa Riffat, University of Nottingham, UK Ali Sayigh,World Renewable Energy Congress / Network Technical Program Committee [ http://cs-conferences.acadiau.ca/seit-19/#programCommittees | http://cs-conferences.acadiau.ca/seit-19/#programCommittees ] --- 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 -------------- An HTML attachment was scrubbed... URL: From Monika.Davidekova at fm.uniba.sk Mon Apr 29 19:24:04 2019 From: Monika.Davidekova at fm.uniba.sk (Davidekova Monika) Date: Mon, 29 Apr 2019 19:24:04 +0000 Subject: [Haskell] MobiSPC 2019 CfPs: The 16th Intl. Conf. on Mobile Systems and Pervasive Computing: FINAL Extension (April 30, 2019) In-Reply-To: References: <0FFDD0D1-F87A-441B-974C-CEBCBCB86750@acadiau.ca>, , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , Message-ID: CallforPapers The 16th International Conference on Mobile Systems and Pervasive Computing, (MobiSPC'19) August 19-21, 2019, Halifax, Canada http://cs-conferences.acadiau.ca/mobispc-19/ IMPORTANT DATES - Paper Submission Due: April 30, 2019 (FIRM) - Acceptance Notification: May 25, 2019 - Final Manuscript Due: June 25, 2019 About Mobile Systems and Pervasive Computing (MobiSPC) have evolved into an active area of research and development. This is due to the tremendous advances in a broad spectrum of technologies and topics, including wireless networking, mobile and distributed computing, sensor systems, RFID technology, and the ubiquitous mobile phone. MobiSPC-2019 solicits papers that focus on the theory, systems, practices and challenges of providing users with a successful mobile or wireless experience. This includes how mobile computing changes how people pervasively use their computers, computing resources and applications, as well the systems, services and technologies enabling those applications. MobiSPC-2019 will provide a leading edge, scholarly forum for researchers, engineers, and students alike to share their state-of-the art research and developmental work in the broad areas of pervasive computing and mobile systems. Publication All MobiSPC 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 and on Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus (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) and Engineering Village (Ei) (www.engineeringvillage.com). This includes EI Compendex (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. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the following special issues: - 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) MobiSPC 2019 will be held in conjunction with The 14th International Conference on Future Networks and Communications (FNC'19). http://cs-conferences.acadiau.ca/fnc-19/ Venue MobiSPC 2019 is co-organized & co-hosted by Acadia and Dalhousie Universities. MobiSPC 2019 will be held in Halifax, Nova Scotia, Canada. Halifax is located on the east coast of Canada and is approximately 6-hour flight from London, UK and a 2-hour flight from Toronto, Ontario. Halifax is a vibrant and modern city which is home to multiple academic institutions and where visitors can enjoy a variety of activities and entertainment from whale watching to Jazz festivals to world-class cuisine. Halifax is also home to the Maritime Museum of the Atlantic which contains the world largest collection of Titanic artifacts. Nova Scotia is a picturesque province with many National and Provincial parks, and as stated in the Guinness Book of World Records, has the highest tides in the world. Conference Tracks Component-based IoT Enabling Technologies and Emerging Topics Internet of Things (IoT) Mobile Cloud Computing Mobile Data Management Mobile Social Networking Pervasive Computing Smart Cities and Ubiquitous Climate Change Management Smart Communities and Ubiquitous Systems Mobile Systems and Applications Committees General Chair Hossam Hassanein, Queen's University, Canada Program Chair Jamal Bentahar, Concordia University, Canada Elhadi Shakshuki, Acadia University, Canada Workshops Chair Stéphane Galland, Université de Technologie de Belfort-Montbéliard, France Local Chair Abdelouahed Gherbi, Quebec University, Canada Ahsan Habib, Dalhousie University, Canada Israat Haque, Dalhousie University, Canada Tracks Chairs Muhammad Adnan, Hasselt University, Belgium Longbiao Chen, Xiamen University, China Carmela Comito, National Research Council of Italy, Italy Danny Hughes, K. U. Leuven, Belgium Camille Kamga, The City College of New York, USA Prashant Kumar, University of Surrey, UK Hamid Mcheick, UQAC, Canada Yongrui (Louie) Qin, University of Huddersfield, UK Rahim Rahmani, Stockholm University, Sweden Michael Sheng, Macquarie University, Australia Qussai Yaseen, Jordan University of Science and Technology, Jordan International Journals Chair Atta Badii, Reading University, UK Publicity Chairs Monika Davidekova, Comenius University, Slovak Republic B. B. Gupta, National Institute of Technology Kurukshetra, India Advisory Committee Abdelfettah Belghith, University of Manouba, Tunisia Flavien Balbo, Ecole Nationale Supérieure des Mines de Saint Etienne, France Erol Gelenbe, Imperial College, UK Vincenzo Loia, University of Salerno, Italy Javier Sanchez Medina, University of Las Palmas de Gran Canaria, Spain Ralf Steinmetz, Technische Universitaet Darmstadt, Germany Mohamed Younis, University of Maryland Baltimore County, USA Technical Program Committee http://cs-conferences.acadiau.ca/mobispc-19/#programCommittees -------------- next part -------------- An HTML attachment was scrubbed... URL: From nevrenato at gmail.com Tue Apr 30 08:27:36 2019 From: nevrenato at gmail.com (nevrenato at gmail.com) Date: Tue, 30 Apr 2019 09:27:36 +0100 Subject: [Haskell] OpenCert'19 - Formal Methods'19 (first call for papers) Message-ID: [Apologies for cross-posting] ----------------------------------------------------------------------- First Call for Papers =============== OpenCERT 2019 =============== ======================================================================= 9th International Workshop on Open Community approaches to Education, Research and Technology - towards "Open community approaches" CERTification processes - ======================================================================= https://opencert.github.io Porto, Portugal, October 8, 2019 Satellite event of the 3rd World Congress on Formal Methods (FM 2019) http://formalmethods2019.inesctec.pt ----------------------------------------------------------------------- Submission link https://easychair.org/conferences/?conf=opencert2019 Submission deadline: June 24, 2019 ----------------------------------------------------------------------- Open Community is a generalisation of the concept of Open Source to other collaborative efforts. It includes Open Content, that is, some form of non restrictive license, and Open Knowledge, that is, the freedom to use, reuse, and redistribute knowledge without legal, social or technological restriction. The 9th International Workshop on Open Community approaches to Education, Research and Technology expands the scope of the International Workshop on Foundations and Techniques for Open Source Software Certification, whose 8 editions run from 2007 to 2014. The new scope of the workshop aims to promote the use of the Open Community approaches in Education and Research while also exploiting them to achieve wide diffusion and proper assessment of new, innovative Technology. The workshop general focus is on 1. EDUCATION, by exploring forms of open learning and collaborative learning in both formal and informal education contexts, as well as the use of peer reviewing and strategies and methods to ensure (and aiming at certifying) that such use guarantees a proper and fair assessment; 2. RESEARCH, by aiming at * establishing open research projects as “cauldrons” of open data, open knowledge and collaborative development, as well as devising methodologies and tools for the management and assessment of such projects; * defining open peer-review methodologies for the assessment of research outputs and appropriate bibliometrics based on the community open feedback rather than on a questionable analysis of citations; * defining, more specifically, quality metrics and a formal process to certify open source software (OSS) products and the outcomes of other peer-production efforts. 3. TECHNOLOGY, on the one hand by fostering and exploiting open communities to make new technologies globally available and accepted and, on the other hand, to support such communities in the production process and to certify the information and data produced or made publicly available by such communities, especially in the case of advices provided by thematic communities and user/consumer support/review communities. In the context of FM, OpenCERT 2019 will propose thematic aspects related to the area of Formal Methods 1. EDUCATION: open and collaborative approaches in Formal Methods education; 2. RESEARCH: open community research in Formal Methods, formal modelling of learning and collaboration 3. TECHNOLOGY, integrating Formal Methods technologies and tools within OSS projects as a means for Formal Methods acceptance and diffusion; but still accepting submissions outside these aspects. ----------------------------------------------------------------------- SUBMISSION GUIDELINES ----------------------------------------------------------------------- Authors are invited to submit, via Easychair, research contributions or experience reports. All papers should be written in English and prepared using the specific LNCS templates available at http://www.springer.de/comp/lncs/authors.html. There are nine categories of submissions RESEARCH PAPERS to present original research and the analysis, interpretation and validation of the research findings. POSITION PAPERS to present innovative, arguable ideas, opinions or frameworks which are likely to foster discussion at the workshop. PROJECT PAPERS to describe a new open community project (e.g. on a hosting provider or a dedicated portal) or a new research project, or the status of an ongoing project or the outcomes of a recently completed project. SURVEY PAPERS to collect previously published studies on topics related to the workshop and analyse them in the context of open communities. CASES STUDY PAPERS to report on case studies, preferably in a real-world setting. TOOL PAPERS to present a new tool, a new tool component or novel extensions to an existing tool aiming at supporting open community approaches, or the use/customisation of an existing tool in the context of open communities. TOOL DEMONSTRATION PAPERS to demonstrate the tool workflow(s) and human interaction aspects, and evaluate the overall role of the tool in supporting open community approaches. TEACHING EXPERIENCE PEPERS to report on teaching experiences using an open community approach in a formal education context (e.g. by university students) or in informal education. LEARNING EXPERIENCE PAPERS to report on a learning experience within an open community in a formal education context (e.g. by university students) or in informal education. Contributions will be in the form of * FULL PAPERS between 12 and 15 pages for submission (and between 12 and 16 pages for post-proceedings camera-ready). * SHORT PAPERS between 6 and 8 pages for submission. * PRESENTATIONS extended abstract up to 4 pages, which will be included in the pre-proceeding but not published in the post-proceedings. "Short papers" and "Presentations" can discuss new ideas which are at an early stage of development and which have not yet been thoroughly evaluated. The program committee may reject papers that are outside these lengths on the grounds of length alone. Submitted papers will be refereed for quality, correctness, originality and relevance. All submitted papers will be posted on GitHub at https://github.com/opencert/workshop-2019/ and the review process will be carried out as an interactive, open discussion between the authors and the reviewers. Final decisions about acceptance/rejection of papers will be made through a closed discussion among the PC members. Notification and reviews will be communicated via email. Accepted papers will be included in the workshop programme and will appear in the workshop pre-proceedings. Pre-proceedings will be available online before the Workshop. ----------------------------------------------------------------------- LIST OF TOPICS ----------------------------------------------------------------------- EDUCATION * open education; * open learning communities and environments; * open learning in formal and informal education; * learning processes in open communities; * collaborative learning; * methodologies and tool to support collaboration; * social constructivism; * peer assessment; * student experience in open communities; * open community approaches to teaching; * teaching software engineering through OSS project participation; * peer-review in students' assessment; * validation and certification of open education approaches; * validation and certification of peer assessment approaches. RESEARCH * peer-production process; * open communities as peer-production models; * analytical models for peer-production processes; * business models for peer-production; * open community management and organisation; * knowledge management in open communities; * management and analysis of open data repositories; * management and analysis open source software repositories; * data mining and process mining of (software, communication, etc.) repositories; * community evolution; * community assessment; * peer review in OSS and other peer-production efforts; * quality assessment of OSS and other peer-production efforts; * certification of OSS and other peer-production processes; * peer-assessment of research outputs, citations analysis controversies, open-feedback-based bibliometrics; * legal implications in peer-production, OSS and peer-production licenses; * copyright and copyleft in OSS and peer-production, action research; * empirical studies. TECHNOLOGY * technological innovation in open communities; * open communities and technology diffusion; * information trustworthiness in thematic communities; * privacy in open communities; * recommender systems, reputation systems; * machine learning; deep learning architectures; * user/consumer reviews and quality assessment; * methodologies and tools for analysis, verification, validation, decision support, quality * assessment and certification. FORMAL METHODS * open and collaborative approaches in formal methods, logics and mathematics education; * open community research in formal methods and software engineering; * formal modelling of learning and collaboration; * integrating formal methods technologies and tools within OSS projects as a means for formal methods acceptance and diffusion; * reverse engineering of OSS; * static analysis, testing and inspection of OSS; * safety, security and usability analysis in OSS; * automated source code analyses in OSS; * software evolution and reconfigurability in OSS. ----------------------------------------------------------------------- PROGRAM CO-CHAIRS ----------------------------------------------------------------------- * Luis Barbosa, UNU-EGOV, United Nations University, UN, and Department of Computer Science, University of Minho, Portugal * Antonio Cerone, Department of Computer Science, Nazarbayev University, Kazakhstan ----------------------------------------------------------------------- PROGRAM COMMITTEE (provisional) ----------------------------------------------------------------------- * Roberto Bagnara, BUGSENG and Department of Mathematical, Physical and Computer Sciences, University of Parma, Italy * Luis Barbosa, UNU-EGOV, United Nations University, UN, and Department of Computer Science, University of Minho, Portugal (Program Co-chair) * Marco C. Barbosa, Department of Computing Engineering, Universidad Federal de Tecnologia do Paraná, Brazil * Leonor Barroca, School of Computing and Communication, Open University, UK * Peter T. Breuer, Hecusys LLC, USA * Daniel Burgos, Universidad Internacional de La Rioja (UNIR), Spain * F. Heron Carvalho Júnior, Department of Computing, Universidad Federal do Ceará, Brazil * Antonio Cerone, Department of Computer Science, Nazarbayev University, Kazakhstan (Program Co-chair) * Soumaya ben Dhaou, UNU-EGOV, United Nations University, UN * Yannis Dimitriadis, School of Telecommunications Engineering, University of Valladolid, Spain * Elsa Estevez, Department of Science and Computer Engineering, Universidad Nacional del Sur, Argentina * João F. Ferreira, IST, Department of Electrotechnical and Computer Engineering, University of Lisboa, Portugal * Michela Fazzolari, Institute for Informatics and Telematics (CNR-IIT), Italy * Roberta Gori, Department of Computer Science, University of Pisa, Italy * Padmanabhan Krishnan, Oracle Labs, Australia * Andreas Meiszner, Scio, Portugal, and School of Management, University of Liverpool, UK * Paolo Milazzo, Department of Computer Science, University of Pisa, Italy * Renato Neves, Department of Computer Science, University of Minho, Portugal * Donatella Persico, Institute for Educational Technologies (CNR-ITD), Italy * Alexander K. Petrenko, Institute for System Programming, Russian Academy of Sciences (ISP RAS), Russia * Marinella Petrocchi, Institute for Informatics and Telematics (CNR-IIT), Italy * Maria Helena Martinho, School of Education, University of Minho, Portugal * Lucia Rapanotti, School of Computing and Communication, Open University, UK * Steve Reeves Department of Computing and Mathematical Sciences, University of Waikato, New Zealand * Mona Rizvi, Department of Computer Science, Nazarbayev University, Kazakhstan * Markus Roggenbach, Department of Computer Science, Swansea University, UK * Marcus Specht, Welten Institute, Research Centre for Learning, Teaching and Technology, Open University of The Netherlands, The Netherlands * Ioannis Stamelos, School of Informatics, Aristotle University of Thessaloniki, Greece * Sulayman Sowe, Department of Informatics, Carl von Ossietzky University of Oldenburg, Germany * Anthony Wasserman, Integrated Innovation Institutre, Carnegie Mellon University Silicon Valley, USA ----------------------------------------------------------------------- KEYNOTE SPEAKER ----------------------------------------------------------------------- Andreas Meiszner Scio, Portugal, and School of Management, University of Liverpool, UK ----------------------------------------------------------------------- PUBLICATION ----------------------------------------------------------------------- Accepted regular and short papers will be published after the Workshop by Springer in a volume of Lecture Notes in Computer Science (http://www.springer.com/lncs), which will collect contributions to some workshops and symposia co-located with FM 2019. Condition for inclusion in the post-proceedings is that at least one of the co-authors has presented the paper at the Workshop. One or more journal special issue(s) with selected papers may be planned, depending on the number and quality of submissions. ----------------------------------------------------------------------- CONTACT ----------------------------------------------------------------------- All inquiries concerning submissions should be sent to opencert2019 AT easychair AT org From Graham.Hutton at nottingham.ac.uk Tue Apr 30 09:54:23 2019 From: Graham.Hutton at nottingham.ac.uk (Graham Hutton) Date: Tue, 30 Apr 2019 09:54:23 +0000 Subject: [Haskell] MPC 2019 deadline extension Message-ID: <3F4870D2-A63F-4E8A-9B86-3F4D981B4859@exmail.nottingham.ac.uk> ====================================================================== DEADLINE EXTENSION TO *10 MAY* -- MPC 2019 13th International Conference on Mathematics of Program Construction 7-9 October 2019, Porto, Portugal Co-located with Formal Methods 2019 https://tinyurl.com/MPC-Porto ====================================================================== TIMELINE: Abstract submission 7th May 2019 (AoE) (extended) Paper submission 10th May 2019 (AoE) (extended) Author notification 14th June 2019 Camera ready copy 12th July 2019 (AoE) Conference 7-9 October 2019 KEYNOTE SPEAKERS: Assia Mahboubi INRIA, France Annabelle McIver Macquarie University, Australia BACKGROUND: The International Conference on Mathematics of Program Construction (MPC) aims to promote the development of mathematical principles and techniques that are demonstrably practical and effective in the process of constructing computer programs. MPC 2019 will be held in Porto, Portugal from 7-9 October 2019, and is co-located with the International Symposium on Formal Methods, FM 2019. Previous conferences were held in Königswinter, Germany (2015); Madrid, Spain (2012); Québec City, Canada (2010); Marseille, France (2008); Kuressaare, Estonia (2006); Stirling, UK (2004); Dagstuhl, Germany (2002); Ponte de Lima, Portugal (2000); Marstrand, Sweden (1998); Kloster Irsee, Germany (1995); Oxford, UK (1992); Twente, The Netherlands (1989). SCOPE: MPC seeks original papers on mathematical methods and tools put to use in program construction. Topics of interest range from algorithmics to support for program construction in programming languages and systems. Typical areas include type systems, program analysis and transformation, programming language semantics, security, and program logics. The notion of a 'program' is interpreted broadly, ranging from algorithms to hardware. Theoretical contributions are welcome, provided that their relevance to program construction is clear. Reports on applications are welcome, provided that their mathematical basis is evident. We also encourage the submission of 'programming pearls' that present elegant and instructive examples of the mathematics of program construction. SUBMISSION: Submission is in two stages. Abstracts (plain text, maximum 250 words) must be submitted by 7th May 2019. Full papers (pdf, formatted using the llncs.sty style file for LaTex) must be submitted by 10th May 2019. There is no prescribed page limit, but authors should strive for brevity. Both abstracts and papers will be submitted using EasyChair. Papers must present previously unpublished work, and not be submitted concurrently to any other publication venue. Submissions will be evaluated by the program committee 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. Accepted papers must be presented in person at the conference by one of the authors. The proceedings of MPC 2019 will be published in the Lecture Notes in Computer Science (LNCS) series, as with all previous instances of the conference. Authors of accepted papers will be expected to transfer copyright to Springer for this purpose. After the conference, authors of the best papers from MPC 2019 and MPC 2015 will be invited to submit revised versions to a special issue of Science of Computer Programming (SCP). For any queries about submission please contact the program chair, Graham Hutton . PROGRAM COMMITTEE: Patrick Bahr IT University of Copenhagen, Denmark Richard Bird University of Oxford, UK Corina Cîrstea University of Southampton, UK Brijesh Dongol University of Surrey, UK João F. Ferreira University of Lisbon, Portugal Jennifer Hackett University of Nottingham, UK William Harrison University of Missouri, USA Ralf Hinze University of Kaiserslautern, Germany Zhenjiang Hu National Institute of Informatics, Japan Graham Hutton (chair) University of Nottingham, UK Cezar Ionescu University of Oxford, UK Mauro Jaskelioff National University of Rosario, Argentina Ranjit Jhala University of California, USA Gabriele Keller Utrecht University, The Netherlands Ekaterina Komendantskaya Heriot-Watt University, UK Chris Martens North Carolina State University, USA Bernhard Möller University of Augsburg, Germany Shin-Cheng Mu Academia Sinica, Taiwan Mary Sheeran Chalmers University of Technology, Sweden Alexandra Silva University College London, UK Georg Struth University of Sheffield, UK CONFERENE VENUE: The conference will be held at the Alfândega Porto Congress Centre, a 150 year old former custom's house located in the historic centre of Porto on the bank of the river Douro. The venue was renovated by a Pritzer prize winning architect and has received many awards. LOCAL ORGANISERS: José Nuno Oliveira University of Minho, Portugal For any queries about local issues please contact the local organiser, José Nuno Oliveira . ====================================================================== 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.