From cfp at mat.unical.it Tue Oct 2 08:37:47 2018 From: cfp at mat.unical.it (cfp at mat.unical.it) Date: Tue, 2 Oct 2018 10:37:47 +0200 Subject: [Haskell] JELIA 2019 - First CfP - IJCAI, TPLP publications and Awards Message-ID: <148f4a87f1e94b5a5a55793673c2f30b.squirrel@www.mat.unical.it> [apologies for multiple postings] == CALL FOR PAPERS == The Program Committee of the 16th European Conference on Logics in Artificial Intelligence (JELIA 2019) invites the submission of technical papers for the conference that will be held in Rende, Italy, from May 8th to May 10th, 2019. The aim of JELIA 2019 is to bring together active researchers interested in all aspects concerning the use of logics in Artificial Intelligence to discuss current research, results, problems, and applications of both theoretical and practical nature. JELIA strives to foster links and facilitate cross-fertilization of ideas among researchers from various disciplines, among researchers from academia and industry, and between theoreticians and practitioners. == RELEVANT TOPICS == Conference topics include, but are not limited to: * Abductive and inductive reasoning * Answer set programming * Applications of logic-based AI systems * Argumentation systems * Automated reasoning including satisfiability checking and its extensions * Computational complexity and expressiveness * Deep learning for rules and ontologies * Deontic logic and normative systems * Description logics and other logical approaches to Semantic Web and ontologies * Explanation finding * Knowledge representation, reasoning, and compilation * Logic programming, answer set programming, constraint logic programming * Logic-based data access and integration * Logical interpretation of machine learning models * Logics for uncertain and probabilistic reasoning * Logics in machine learning * Logics in multi-agent systems, games, and social choice * Neural networks and logic rules * Non-classical logics, such as modal, temporal, epistemic, dynamic, spatial, paraconsistent, and hybrid logics * Nonmonotonic logics, default logics, conditional logics * Ontology formalisms and models * Ontology-based query answering * Ontology-based reasoning * Planning and diagnosis based on logic * Preferences * Reasoning about actions and causality * Updates, belief revision and nonmonotonic reasoning == AWARDS AND PRIZES == The Best Paper and the Best Student Paper of the conference will receive a cash prize of EUR 500 each, offered by Springer. The authors of both best papers will be invited to submit abridged versions of their work to the IJCAI 2019 Sister Conference Best Paper Track. The authors of the top-notch contributions (from 3 to 6 papers, including both best papers) will be invited to submit long and more elaborate versions of their work for a special issue of Theory and Practice of Logic Programming (TPLP). == IMPORTANT DATES == Abstract submission deadline 26 November 2018 (23:59 UTC-12) Paper submission 03 December 2018 (23:59 UTC-12) Notification of acceptance 16 January 2019 Best paper notification 31 January 2019 Camera-ready due 28 February 2019 Online registration opens 01 March 2019 Conference start 08 May 2019 == SUBMISSION DETAILS == Submission Site: https://easychair.org/conferences/?conf=jelia2019 For formatting guidelines, see more information on https://jelia2019.mat.unical.it/submission JELIA 2019 welcomes submissions of long or short papers in the following categories: Regular papers. Submissions should contain original research, and sufficient detail to assess the merits and relevance of the contribution. Submissions must not have been previously published or be simultaneously submitted for publication elsewhere. System/Application descriptions. Submissions should describe an implemented system/application and its application area(s). A demonstration should accompany a system/application presentation. Papers describing systems or applications that have already been presented in JELIA before will be accepted only if significant and clear enhancements have been implemented and are properly reported. All submissions should not exceed 13 (resp., 6) pages for long (resp., short) papers, including figures etc., but excluding references, and should be written in English. Submissions must be formatted according to the standard Springer LNCS style, and are not anonymous. The conference proceedings of JELIA 2019 will be published by Springer-Verlag in the Lecture Notes in Artificial Intelligence, a sub-series of Lecture Notes in Computer Science (Important note: Springer will require all the LaTeX source files of all accepted submissions). == POLICY ON MULTIPLE SUBMISSIONS == JELIA 2019 will not accept any paper that, at the time of submission, is under review or has already been published or accepted for publication in a journal or another conference. Authors are also required not to submit their papers elsewhere during JELIA's review period. However, these restrictions do not apply to previous workshops with a limited audience and without archival proceedings. == ENQUIRIES == Please send all enquiries at the email address jelia2019 at mat.unical.it == COMMITTEES == General Chair * Nicola Leone (University of Calabria) Program Chairs * Francesco Calimeri (University of Calabria) * Marco Manna (University of Calabria) Organization Chairs * Carmine Dodaro (University of Genova) * Valeria Fionda (University of Calabria) Publicity Chair * Simona Perri (University of Calabria) Program Committee * Mario Alviano (University of Calabria) * Carlos Areces (Universidad Nacional de Córdoba) * Franz Baader (Technische Universität Dresden) * Peter Baumgartner (CSIRO) * Salem Benferhat (CNRS, Université d'Artois) * Meghyn Bienvenu (CNRS, University of Bordeaux) * Alexander Bochman (Holon Institute of Technology) * Gerhard Brewka (Universität Leipzig) * Pedro Cabalar (Universidade da Coruña) * David Carral (Technische Universität Dresden) * Giovanni Casini (Université du Luxembourg) * Cristina Civili (Samsung R&D Institute United Kingdom) * Mehdi Dastani (Utrecht University) * James Delgrande (Simon Fraser University) * Ulle Endriss (Universiteit van Amsterdam) * Wolfgang Faber (Alpen-Adria-Universität Klagenfurt) * Luis Farinas Del Cerro (CNRS) * Eduardo Fermé (Universidade da Madeira) * Michael Fisher (University of Liverpool) * Michael Gelfond (Texas Tech University) * Laura Giordano (Università del Piemonte Orientale) * Lluis Godo (IIIA-CSIC) * Tomi Janhunen (Aalto University) * Gabriele Kern-Isberner (Technische Universitaet Dortmund) * Roman Kontchakov (University of London) * Jérôme Lang (CNRS, Université Paris-Dauphine) * Joohyung Lee (Arizona State University) * Joao Leite (Universidade NOVA de Lisboa) * Vladimir Lifschitz (University of Texas at Austin) * Thomas Lukasiewicz (University of Oxford) * Marco Maratea (University of Genova) * Jerzy Marcinkowski (Uniwersytet Wrocławski) * Pierre Marquis (CNRS, Université d'Artois) * Thomas Meyer (CAIR, University of Cape Town) * Angelo Montanari (University of Udine) * Michael Morak (Technische Universität Wien) * Manuel Ojeda-Aciego (University of Malaga) * Magdalena Ortiz (Technische Universität Wien) * David Pearce (Universidad Politécnica de Madrid) * Rafael Peñaloza (Free University of Bozen) * Luís Moniz Pereira (Universidade Nova de Lisboa) * Andreas Pieris (University of Edinburgh) * Henri Prade (CNRS, Université Paul Sabatier) * Francesco Ricca (University of Calabria) * Fabrizio Riguzzi (University of Ferrara) * Jussi Rintanen (Aalto University) * Uli Sattler (University of Manchester) * Mirek Truszczynski (University of Kentucky) * Toby Walsh (University of New South Wales) * Frank Wolter (University of Liverpool) * Stefan Woltran (Technische Universität Wien) From Monika.Davidekova at fm.uniba.sk Fri Oct 5 07:37:59 2018 From: Monika.Davidekova at fm.uniba.sk (Davidekova Monika) Date: Fri, 5 Oct 2018 07:37:59 +0000 Subject: [Haskell] [ANT2019] 10th International Conference on Ambient Systems, Networks and Technologies. Leuven, Belgium (April 29 - May 2, 2019) In-Reply-To: References: , , , , , , , , , , , , , , , Message-ID: Call for Papers The 10th International Conference on Ambient Systems, Networks and Technologies (ANT) Leuven, Belgium April 29 - May 2, 2019 Conference Website: http://cs-conferences.acadiau.ca/ant-19/ Workshops: http://cs-conferences.acadiau.ca/ant-19/#workshop Tutorials: http://cs-conferences.acadiau.ca/ant-19/#tutorial Important Dates - Workshops Proposals Due: October 30, 2018 - Paper Submission Due: December 6, 2018 - Acceptance Notification: February 4, 2019 - Camera-Ready Submission: March 1, 2019 ANT 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 special issues of: - Journal of Ambient Intelligence and Humanized Computing (IF: 1.588), by Springer (http://www.springer.com/engineering/journal/12652) - IEEE Intelligent Transportation Systems Magazine (IF: 3.654), by IEEE (http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5117645) - IEEE Transactions on Intelligent Transportation Systems (IF: 3.724), by IEEE (http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=6979) ANT 2019 will be held in Leuven, Belgium. Leuven is the capital of the province of Flemish Brabant in Belgium. It is located about 25 kilometres (16 miles) east of Brussels. It is the 10th largest municipality in Belgium and the fourth in Flanders. Leuven is home to the Katholieke Universiteit Leuven, the largest and oldest university of the Low Countries and the oldest Catholic university still in existence. The related university hospital of UZ Leuven, is one of the largest hospitals of Europe. The city is also known for being the headquarters of Anheuser-Busch InBev, the world's largest brewer and one of the five largest consumer-goods companies in the world. Leuven's Town Hall is one of the best-known Gothic town halls worldwide and Leuven's pride and joy. It took three architects and thirty years to build it. Leuven's 'Hall of Fame' features 236 statues, which were only added to the façade after 1850. There are 220 men and 16 women in total. On the bottom floor are famous Leuven scientists, artists and historical figures, dressed in Burgundian garb. The first floor is reserved for the patron saints of the various parishes of Leuven. Above them the façade is adorned by the counts and dukes of Brabant while the towers primarily feature biblical figures. ANT 2019 will be held in conjunction with the 2nd International Conference on Emerging Data and Industry 4.0 (EDI40, http://cs-conferences.acadiau.ca/edi40-19/). Conference Tracks - Agent Systems, Intelligent Computing and Applications - Big Data and Analytics - Cloud Computing - Context-awareness and Multimodal Interfaces - Emerging Networking, Tracking and Sensing Technologies - Human Computer Interaction - Internet of Things - Mobile Networks, Protocols and Applications - Modeling and Simulation in Transportation Sciences - Multimedia and Social Computing - Service Oriented Computing for Systems & Applications - Smart, Sustainable Cities and Climate Change Management - Smart Environments and Applications - Systems Security and Privacy - Systems Software Engineering - Vehicular Networks and Applications - General Track: Distributed systems, networks and applications General Chairs Atta Badii, University of Reading, UK Albert Zomaya, The University of Sydney, Australia Program Chairs Hossam Hassanein, Queen's University, Canada Ansar-Ul-Haque Yasar, IMOB – Hasselt University, Belgium Local Chair An Nevns, Hasselt University, Belgium Workshops Chair Stéphane Galland, UTBM, France Advisory Committee Reda Alhajj, University of Calgary, Canada Sajal K. Das, The University of Texas at Arlington, USA Erol Gelenbe, Imperial College, UK Vincenzo Loia, University of Salerno, Italy Peter Sloot, Universiteit van Amsterdam, Netherlands Ralf Steinmetz, Technische Universitaet Darmstadt, Germany Katia Sycara, Carnegie Mellon University, USA Peter Thomas, Manifesto Research, Australia International Journals Chair Michael Sheng, Macquarie University, Australia Program Vice Chairs Imene Lahyani Abdennadher, University of Sfax, Tunisia Boulmakoul Azedine, Hassan II University, Morocco Marcel Baunach, Graz University of Technology, Austria Tom Bellemans, Hasselt University, Belgium Nik Bessis, Edge Hill University, UK Kechar Bouabdellah, Oran 1 Ahmed BenBella University, Algeria Samia Bouzefrane,CEDRIC Lab Conservatoire National des Arts et Métiers, France Roberto Di Pietro, Hamad Bin Khalifa University, Qatar Khalil Drira, LAAS-CNRS, France Wael El-Medany, University of Bahrain, Bahrain John Gallagher, Trinity College Dublin, Ireland Jason Jaskolka, Carleton University, Canada Flavio Lombardi, Roma Tre University of Rome, Italy Haroon Malik, Marshall University, USA Ahmed Nait Sidi Moh, University of Picardie Jules Verne, France Manuele Kirsch Pinheiro, University of Paris 1, France Cristina Seceleanu, Mälardalen University, Västerås, Sweden Khaled Shaaban, Qatar University, Qatar Ridha Soua, Luxembourg University, Luxembourg Yves Vanrompay, Hasselt University, Belgium Yun Zhou, Shaanxi Normal University, China Publicity Chairs Wim Ectors, Hasselt University, Belgium Davidekova Monika, Comenius University, Slovak Republic International Liaison Chairs Soumaya Cherkaoui, Sherbrooke University, Canada Paul Davidsson, Malmo University, Sweden David Taniar, Monash University, Australia Steering Committee Elhadi Shakshuki, Acadia University, Canada (Chair and ANT Founder) -------------- next part -------------- An HTML attachment was scrubbed... URL: From wim.ectors at uhasselt.be Fri Oct 5 07:56:14 2018 From: wim.ectors at uhasselt.be (Wim Ectors) Date: Fri, 5 Oct 2018 00:56:14 -0700 Subject: [Haskell] [EDI40 2019] International Conference on Emerging Data and Industry 4.0. Leuven, Belgium, April 29 - May 2, 2019 Message-ID: *************************************************************************** The 2nd International Conference on Emerging Data and Industry 4.0 (EDI40) Leuven, Belgium April 29 - May 2, 2019 *************************************************************************** Conference Website: http://cs-conferences.acadiau.ca/EDI40-19/ Workshops: http://cs-conferences.acadiau.ca/EDI40-19/#workshop Important Dates - Workshops Proposals Due: October 30, 2018 - Paper Submission Due: December 6, 2018 - Acceptance Notification: February 4, 2019 - Camera-Ready Submission: March 1, 2019 EDI40 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 special issues of: - International Journal of Ambient Intelligence and Humanized Computing (IF: 1.588), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics (IF: 0.504), ( http://www.cai.sk/ojs/index.php/cai/index) - IEEE Intelligent Transportation Systems Magazine (IF: 3.654), by IEEE ( http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5117645) EDI40 2019 will be held in Leuven, Belgium. Leuven is the capital of the province of Flemish Brabant in Belgium. It is located about 25 kilometers (16 miles) east of Brussels. It is the 10th largest municipality in Belgium and the fourth in Flanders. Leuven is home to the Katholieke Universiteit Leuven, the largest and oldest university of the Low Countries and the oldest Catholic university still in existence. The related university hospital of UZ Leuven, is one of the largest hospitals of Europe. The city is also known for being the headquarters of Anheuser-Busch InBev, the world's largest brewer and one of the five largest consumer-goods companies in the world. Leuven's Town Hall is one of the best-known Gothic town halls worldwide and Leuven's pride and joy. It took three architects and thirty years to build it. Leuven's 'Hall of Fame' features 236 statues, which were only added to the façade after 1850. There are 220 men and 16 women in total. On the bottom floor are famous Leuven scientists, artists and historical figures, dressed in Burgundian garb. The first floor is reserved for the patron saints of the various parishes of Leuven. Above them the façade is adorned by the counts and dukes of Brabant while the towers primarily feature biblical figures. EDI40 2019 will be held in conjunction with the 10th International Conference on Ambient Systems, Networks and Technologies (ANT, http://cs-conferences.acadiau.ca/ant-19/). Conference Tracks - Benefits of Industry 4.0 - Big Data and Analytics - Cloud Computing - Cognitive Computing - Computational Intelligence - Cyber-Physical Systems (CPS) - Fog Computing and Edge Computing - Internet of Everything (IoE) - Standards for IoT Application Integration - The New Business Models in Industry 4.0 - General Track: Digitalization Startegies Committees General Chairs Danny Hughes, CTO VeraSense NV, Belgium Program Chairs Haroon Malik, Marshall University, USA Yves Vanrompay, Hasselt University, Belgium Local Chair An Nevns, Hasselt University, Belgium Workshops Chair Stephane Galland, UTBM, France Program Advisory Committee Reda Alhajj, University of Calgary, Canada Ladislav Hluchy, Institute of Informatics, Slovak Academy of Sciences, Slovakia Vincenzo Loia, University of Salerno, Italy Peter Sloot, Universiteit van Amsterdam, Netherlands Peter Thomas, Manifesto Research, Australia Mohamed Younis, University of Maryland Baltimore County, USA International Journals Chair Michael Sheng, Macquarie University, Australia Publicity Chairs Wim Ectors, Hasselt University, Belgium Yousef Farhaoui, Moulay Ismail University, Morocco Faouzi Kammoun, Ecole SupŽrieure PrivŽe d'IngŽnierie et de Technologies, Tunis Technical Program Committee http://cs-conferences.acadiau.ca/EDI40-19/#programCommittees Steering Committee Chair Elhadi Shakshuki, Acadia University, Canada Sent via Mail Merge -------------- next part -------------- An HTML attachment was scrubbed... URL: From nevrenato at gmail.com Fri Oct 5 17:53:06 2018 From: nevrenato at gmail.com (Renato Neves) Date: Fri, 5 Oct 2018 18:53:06 +0100 Subject: [Haskell] Formal Methods 2019: First Call for Papers Message-ID: <20181005175306.GA5237@localhost.localdomain> ================================================================================================== FM 2019 - 23rd International Symposium on Formal Methods - 3rd World Congress on Formal Methods Porto, Portugal, October 7-11, 2019 http://formalmethods2019.inesctec.pt/ ================================================================================================== FM 2019 is the 23rd international symposium in a series organised by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. Every 10 years the symposium is organised as a World Congress. Twenty years after FM 1999 in Toulouse, and 10 years after FM 2009 in Eindhoven, FM 2019 is the 3rd World Congress on Formal Methods. This is reflected in a PC with members from over 40 countries. Thus, FM 2019 will be both an occasion to celebrate and a platform for enthusiastic researchers and practitioners from a diversity of backgrounds to exchange their ideas and share their experience. FORMAL METHODS: THE NEXT 30 YEARS It is now more than 30 years since the first VDM symposium in 1987 brought together researchers with the common goal of creating methods to produce high quality software based on rigour and reason. Since then the diversity and complexity of computer technology has changed enormously and the formal methods community has stepped up to the challenges those changes brought by adapting, generalising and improving the models and analysis techniques that were the focus of that first symposium. The theme for FM 2019 is a reflection on how far the community has come and the lessons we can learn for understanding and developing the best software for future technologies. Important Dates ================ Abstract submission: 28 March, 2019 Full paper submission: 11 April, 2019, 23:59 AoE Notification: 11 June, 2019 Camera ready: 9 July, 2019 Conference: 7-11 October, 2019 Topics of Interest ====================== FM 2019 encourages submissions on formal methods in a wide range of domains including software, computer-based systems, systems-of-systems, cyber-physical systems, human-computer interaction, manufacturing, sustainability, energy, transport, smart cities, and healthcare. We particularly welcome papers on techniques, tools and experiences in interdisciplinary settings. We also welcome papers on experiences of formal methods in industry, and on the design and validation of formal methods tools. The broad topics of interest for FM 2019 include, but are not limited to: - Interdisciplinary formal methods: Techniques, tools and experiences demonstrating the use of formal methods in interdisciplinary settings. - Formal methods in practice: Industrial applications of formal methods, experience with formal methods in industry, tool usage reports, experiments with challenge problems. The authors are encouraged to explain how formal methods overcame problems, led to improved designs, or provided new insights. - Tools for formal methods: Advances in automated verification, model checking, and testing with formal methods, tools integration, environments for formal methods, and experimental validation of tools. The authors are encouraged to demonstrate empirically that the new tool or environment advances the state of the art. - Formal methods in software and systems engineering: Development processes with formal methods, usage guidelines for formal methods, and method integration. The authors are encouraged to evaluate process innovations with respect to qualitative or quantitative improvements. Empirical studies and evaluations are also solicited. - Theoretical foundations of formal methods: All aspects of theory related to specification, verification, refinement, and static and dynamic analysis. The authors are encouraged to explain how their results contribute to the solution of practical problems with formal methods or tools. Submission Guidelines ======================= Papers should be original work, not published or submitted elsewhere, in Springer LNCS format, written in English, submitted through EasyChair: https://easychair.org/conferences/?conf=fm2019 Each paper will be evaluated by at least three members of the Programme Committee. Authors of papers reporting experimental work are strongly encouraged to make their experimental results available for use by the reviewers. Similarly, case study papers should describe significant case studies, and the complete development should be made available at the time of review. The usual criteria for novelty, reproducibility, correctness and the ability for others to build upon the described work apply. Tool papers should explain enhancements made compared to previously published work. A tool paper need not present the theory behind the tool but should focus on the tool's features, how it is used, its evaluation, and examples and screen shots illustrating the tool's use. Authors of tool papers should make their tool available for use by the reviewers. We solicit two categories of papers: - Regular Papers should not exceed 15 pages, not counting references and appendices. - Short papers, including tool papers, should not exceed 6 pages, not counting references and appendices. Besides tool papers, short papers are encouraged for any topic that can be described within the page limit, and in particular for novel ideas without an extensive experimental evaluation. Short papers will be accompanied by short presentations. For regular and tool papers, an appendix can provide additional material such as details on proofs or experiments. The appendix is not part of the page count and not guaranteed to be read or taken into account by the reviewers. It should not contain information necessary to the understanding and the evaluation of the presented work. Papers will be accepted or rejected in the category in which they were submitted. At least one author of an accepted paper is expected to present the paper at the conference as a registered participant. Best Paper Award ================= At the conference, the PC Chairs will present an award to the authors of the submission selected as the FM 2019 Best Paper. Publication ============ Accepted papers will be published in the Symposium Proceedings to appear in Springer's Lecture Notes in Computer Science in the subline on Formal Methods. Traditionally, extended versions of selected papers will be invited for publication in a special issue of one or more journals. General Chair ============== José Nuno Oliveira, INESC TEC & University of Minho, PT Program Committee Chairs ========================= Maurice ter Beek, ISTI-CNR, Pisa, IT Annabelle McIver, Macquarie University, AU Program Committee ================== Bernhard Aichernig, TU Graz, AT Elvira Albert, Complutense University of Madrid, ES María Alpuente, Polytechnic University of Valencia, ES Dalal Alrajeh, Imperial College, UK Mário S. Alvim, Federal University of Minas Gerais, BR June Andronick, CSIRO/Data61, AU Christel Baier, TU Dresden, DE Luís Barbosa, University of Minho and UN University, PT Gilles Barthe, IMDEA Software Institute, ES Marcello Bersani, Polytechnic University of Milan, IT Gustavo Betarte, Tilsor SA and University of the Republic, UY Nikolaj Bjørner, Microsoft Research, US Frank de Boer, CWI, NL Sergiy Bogomolov, Australian National University, AU Julien Brunel, ONERA, FR Néstor Cataño, Pontifical Xavierian University of Cali, CO Ana Cavalcanti, University of York,UK Antonio Cerone, Nazarbayev University, KZ Marsha Chechik, University of Toronto, CA David Chemouil, ONERA, FR Alessandro Cimatti, FBK-IRST, IT Alcino Cunha, University of Minho, PT Michael Dierkes, Rockwell Collins, FR Alessandro Fantechi, University of Florence, IT Carla Ferreira, New University of Lisbon, PT João Ferreira, Teesside University, UK José Fiadeiro, Royal Holloway University of London, UK Marcelo Frias, Buenos Aires Institute of Technology, AR Fatemeh Ghassemi, University of Tehran, IR Silvia Ghilezan, University of Novi Sad, RS Stefania Gnesi, ISTI-CNR, IT Reiner Hähnle, TU Darmstadt, DE Osman Hasan, National University of Sciences and Technology, PK Klaus Havelund, NASA Jet Propulsion Laboratory, US Anne Haxthausen, TU Denmark, DK Ian Hayes, University of Queensland, AU Constance Heitmeyer, Naval Research Laboratory, US Jane Hillston, University of Edinburgh, UK Thai Son Hoang, University of Southampton, UK Zhenjiang Hu, National Institute of Informatics, JP Dang Van Hung, Vietnam National University, VN Atsushi Igarashi, Kyoto University, JP Suman Jana, Columbia University, US Ali Jaoua, Qatar University, QA Einar Broch Johnson, University of Oslo, NO Joost-Pieter Katoen, RWTH Aachen University, DE Laura Kovács, TU Vienna, AT Axel Legay, KU Leuven, BE Alberto Lluch Lafuente, TU Denmark, DK Malte Lochau, TU Darmstadt, DE Michele Loreti, University of Camerino, IT Gabriele Lenzini, University of Luxembourg, LU Yang Liu, Nanyang Technical University, SG Anastasia Mavridou, NASA Ames, US Hernán Melgratti, University of Buenos Aires, AR Sun Meng, Peking University, CN Dominique Méry, LORIA and University of Lorraine, FR Rosemary Monahan, Maynooth University, IE Olfa Mosbahi, University of Carthage, TN Mohammad Mousavi, University of Leicester, UK César Muñoz, NASA Langley, US Tim Nelson, Brown University, US Gethin Norman, University of Glasgow, UK Colin O'Halloran, D-RisQ Software Systems, UK Federico Olmedo, University of Chile, CL Gordon Pace, University of Malta, MT Jan Peleska, University of Bremen, DE Marielle Petit-Doche, Systerel, FR Alexandre Petrenko, Computer Research Institute of Montréal, CA Anna Philippou, University of Cyprus, CY Jorge Sousa Pinto, University of Minho, PT André Platzer, Carnegie Mellon University, US Jaco van de Pol, Aarhus University, DK Tahiry Rabehaja, Macquarie University, AU Steve Reeves, University of Waikato, NZ Matteo Rossi, Polytechnic University of Milan, IT Augusto Sampaio, Federal University of Pernambuco, BR Gerardo Schneider, Chalmers University of Gothenburg, SE Daniel Schwartz-Narbonne, Amazon Web Services, US Natasha Sharygina, University of Lugano, CH Nikolay Shilov, Innopolis University, RU Ana Sokolova, University of Salzburg, AT Marielle Stoelinga, University of Twente, NL Jun Sun, Singapore University of Technology and Design, SG Helen Treharne, University of Surrey, UK Elena Troubitsyna, Åbo Akademi University, FI Tarmo Uustalu, Reykjavik University, IS Andrea Vandin, TU Denmark, DK R. Venkatesh, TCS Research, IN Erik de Vink, TU Eindhoven and CWI, NL Willem Visser, Stellenbosch University, ZA Farn Wang, National Taiwan University, TW Bruce Watson, Stellenbosch University, ZA Tim Willemse, TU Eindhoven, NL Kirsten Winter, University of Queensland, AU Jim Woodcock, University of York, UK Lijun Zhang, Chinese Academy of Sciences, CN Publicity Chair ================ Luís Soares Barbosa, INESC TEC & University of Minho, PT Organizing Committee ===================== José Creissac Campos, INESC TEC & University of Minho, PT João Pascoal Faria, INESC TEC and University of Porto, PT Sara Fernandes, University of Minho & INESC TEC, PT Luís Neves, Critical Software, PT Local Arrangements =================== Catarina Fernandes, INESC TEC & University of Minho, PT Paula Rodrigues, INESC TEC, PT Web Team ========= Francisco Neves, INESC TEC & University of Minho, PT Rogério Pontes, INESC TEC & University of Minho, PT Paula Rodrigues, INESC TEC, PT From mihai.maruseac at gmail.com Sat Oct 6 16:18:06 2018 From: mihai.maruseac at gmail.com (Mihai Maruseac) Date: Sat, 6 Oct 2018 09:18:06 -0700 Subject: [Haskell] [Call for Contributions] Haskell Communities and Activities Report, November 2018 edition (35th edition) Message-ID: Dear all, We would like to collect contributions for the 35th edition of the ============================================================ Haskell Communities & Activities Report http://www.haskell.org/haskellwiki/Haskell_Communities_and_Activities_Report Submission deadline: 4 November 2018 (please send your contributions to hcar at haskell.org, in plain text or LaTeX format, both are equally accepted) ============================================================ This is the short story: * If you are working on any project that is in some way related to Haskell, please write a short entry and submit it. Even if the project is very small or unfinished or you think it is not important enough --- please reconsider and submit an entry anyway! * If you are interested in an existing project related to Haskell that has not previously been mentioned in the HCAR, please tell us, so that we can contact the project leaders and ask them to submit an entry. * If you are working on a project that is looking for contributors, please write a short entry and submit it, mentioning that your are looking for contributors. * Feel free to pass on this call for contributions to others that might be interested. More detailed information: The Haskell Communities & Activities Report is a bi-annual overview of the state of Haskell as well as Haskell-related projects over the last, and possibly the upcoming six months. If you have only recently been exposed to Haskell, it might be a good idea to browse the previous edition --- you will find interesting projects described as well as several starting points and links that may provide answers to many questions. Contributions will be collected until the submission deadline. They will then be compiled into a coherent report that is published online as soon as it is ready. As always, this is a great opportunity to update your webpages, make new releases, announce or even start new projects, or to talk about developments you want every Haskeller to know about! Looking forward to your contributions, Mihai Maruseac FAQ: Q: What format should I write in? A: Any format is ok, I will transpose the submission to the format in use at the time of publication. Previous editions have used a LaTeX format, with the template that is available at: http://haskell.org/communities/11-2018/template.tex And the associated LaTeX style file at http://haskell.org/communities/11-2018/hcar.sty You can use those to edit and preview your entry, but it is very likely that by the time of publication the entire HCAR pipeline would be changed to a more modern one. You will receive a copy of the draft, prior to publication, to ensure that everything looks ok. If you modify an old entry that you have written for an earlier edition of the report, you should soon receive your old entry as a template (provided we have your valid email address). Please modify that template, rather than using your own version of the old entry as a template. Q: Can I include Haskell code? A: Yes. If using LaTeX, you can use lhs2tex syntax (http://www.andres-loeh.de/lhs2tex/). The report is compiled in mode polycode.fmt. Q: Can I include images? A: Yes, you are even encouraged to do so. Please use .jpg or .png format, then. PNG is preferred for simplicity. Q: Should I send files in .zip archives or similar? A: No, plain file attachments are the way. Q: How much should I write? A: Authors are asked to limit entries to about one column of text. A general introduction is helpful. Apart from that, you should focus on recent or upcoming developments. Pointers to online content can be given for more comprehensive or "historic" overviews of a project. Images do not count towards the length limit, so you may want to use this opportunity to pep up entries. There is no minimum length of an entry! The report aims for being as complete as possible, so please consider writing an entry, even if it is only a few lines long. Q: Which topics are relevant? A: All topics which are related to Haskell in some way are relevant. We usually had reports from users of Haskell (private, academic, or commercial), from authors or contributors to projects related to Haskell, from people working on the Haskell language, libraries, on language extensions or variants. We also like reports about distributions of Haskell software, Haskell infrastructure, books and tutorials on Haskell. Reports on past and upcoming events related to Haskell are also relevant. Finally, there might be new topics we do not even think about. As a rule of thumb: if in doubt, then it probably is relevant and has a place in the HCAR. You can also simply ask us. Q: Is unfinished work relevant? Are ideas for projects relevant? A: Yes! You can use the HCAR to talk about projects you are currently working on. You can use it to look for other developers that might help you. You can use HCAR to ask for more contributors to your project, it is a good way to gain visibility and traction. Q: If I do not update my entry, but want to keep it in the report, what should I do? A: Tell us that there are no changes. The old entry will typically be reused in this case, but it might be dropped if it is older than a year, to give more room and more attention to projects that change a lot. Do not resend complete entries if you have not changed them. Q: Will I get confirmation if I send an entry? How do I know whether my email has even reached its destination, and not ended up in a spam folder? A: Prior to publication of the final report, we will send a draft to all contributors, for possible corrections. So if you do not hear from us within two weeks after the deadline, it is safer to send another mail and check whether your first one was received. -- Mihai Maruseac (MM) "If you can't solve a problem, then there's an easier problem you can solve: find it." -- George Polya From ben at well-typed.com Sun Oct 14 22:17:12 2018 From: ben at well-typed.com (Ben Gamari) Date: Sun, 14 Oct 2018 18:17:12 -0400 Subject: [Haskell] [ANNOUNCE] GHC 8.4.4 released Message-ID: <878t30npgc.fsf@smart-cactus.org> Hello everyone, The GHC team is pleased to announce the availability of GHC 8.4.4, a patch-level release in the 8.4 series. The source distribution, binary distributions, and documentation for this release are available at https://downloads.haskell.org/~ghc/8.4.4 This release fixes several bugs present in 8.4.3 These include, - A bug which could result in memory unsafety with certain uses of `touch#` has been resolved. (#14346) - A compiler panic triggered by some GADT record updates has been fixed (#15499) - The `text` library has been updated, fixing several serious bugs in the version shipped with GHC 8.4.3 (see `text` issues #227, #221, and #197. - A serious code generation bug in the LLVM code generation, potentially resulting in incorrect evaluation of floating point expressions, has been fixed (#14251) As always, the full release notes can be found in the users guide, https://downloads.haskell.org/~ghc/8.4.4/docs/html/users_guide/8.4.4-notes.html Thanks to everyone who has contributed to developing, documenting, and testing this release! As always, let us know if you encounter trouble. How to get it ~~~~~~~~~~~~~ The easy way is to go to the web page, which should be self-explanatory: https://www.haskell.org/ghc/ We supply binary builds in the native package format for many platforms, and the source distribution is available from the same place. Packages will appear as they are built - if the package for your system isn't available yet, please try again later. Background ~~~~~~~~~~ Haskell is a standard lazy functional programming language. GHC is a state-of-the-art programming suite for Haskell. Included is an optimising compiler generating efficient code for a variety of platforms, together with an interactive system for convenient, quick development. The distribution includes space and time profiling facilities, a large collection of libraries, and support for various language extensions, including concurrency, exceptions, and foreign language interfaces. GHC is distributed under a BSD-style open source license. A wide variety of Haskell related resources (tutorials, libraries, specifications, documentation, compilers, interpreters, references, contact information, links to research groups) are available from the Haskell home page (see below). On-line GHC-related resources ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Relevant URLs on the World-Wide Web: GHC home page https://www.haskell.org/ghc/ GHC developers' home page https://ghc.haskell.org/trac/ghc/ Haskell home page https://www.haskell.org/ Supported Platforms ~~~~~~~~~~~~~~~~~~~ The list of platforms we support, and the people responsible for them, is here: https://ghc.haskell.org/trac/ghc/wiki/Contributors Ports to other platforms are possible with varying degrees of difficulty. The Building Guide describes how to go about porting to a new platform: https://ghc.haskell.org/trac/ghc/wiki/Building Developers ~~~~~~~~~~ We welcome new contributors. Instructions on accessing our source code repository, and getting started with hacking on GHC, are available from the GHC's developer's site run by Trac: https://ghc.haskell.org/trac/ghc/ Mailing lists ~~~~~~~~~~~~~ We run mailing lists for GHC users and bug reports; to subscribe, use the web interfaces at https://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-tickets There are several other haskell and ghc-related mailing lists on www.haskell.org; for the full list, see https://mail.haskell.org/cgi-bin/mailman/listinfo Some GHC developers hang out on #haskell on IRC, too: https://www.haskell.org/haskellwiki/IRC_channel Please report bugs using our bug tracking system. Instructions on reporting bugs can be found here: -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 487 bytes Desc: not available URL: From c.grelck at uva.nl Mon Oct 15 07:25:29 2018 From: c.grelck at uva.nl (Clemens Grelck) Date: Mon, 15 Oct 2018 09:25:29 +0200 Subject: [Haskell] Post-doc (Amsterdam) in programming languages and energy-, time- and security-aware parallel computing Message-ID: The Systems and Networking Lab (SNE) in the Informatics Institute of the University of Amsterdam invites applications for a 2-year post-doctoral researcher position in the area of programming languages for energy-, time- and security-aware parallel computing. The successful candidate will primarily work with Dr Clemens Grelck and Dr Sebastian Altmeyer in the EU Horizon-2020 research project TeamPlay (Time, Energy and security Analysis for Multi/Many-core heterogeneous PLAtforms, http://teamplay-h2020.eu/). The appointment will be full-time (38 hours per week) for a period of 2 years. The salary is in accordance with the Dutch university regulations for academic personnel and will range from €2,640 up to a maximum of €4,852 before tax per month (scale 10/11) based on a full-time appointment. Additional benefits such as the 8% holiday allowance and the 8.3% end of year allowance effectively lead to roughly 14 salaries per year. This is a paid position as a staff member of the Informatics Institute with all advantages and privileges of the Dutch higher education sector! The University of Amsterdam is one of the top research universities in Europe, and the Informatics Institute has consistently been ranked among the top 100 computer science departments in the world. Come to work in one of Europe’s top universities and live in one of Europe's most beautiful and cosmopolitan cities. Closing date: October 28, 2018 (with possible extension, but better act swiftly) All further information and a link to apply can be found here: https://www.uva.nl/shared-content/uva/en/vacancies/2018/10/18-601--postdoctoral-researcher-in-programming-languages-and-energy-aware-parallel-computing.html Or contact us directly: Dr Clemens Grelck: c.grelck at uva.nl Dr Sebastian Altmeyer: altmeyer at uva.nl -- ---------------------------------------------------------------------- Dr Clemens Grelck Science Park 904 University Lecturer 1098XH Amsterdam Programme Director Software Engineering Netherlands University of Amsterdam Institute for Informatics T +31 (0) 20 525 8683 System and Network Engineering Lab F +31 (0) 20 525 7490 Office C3.109 staff.fnwi.uva.nl/c.u.grelck ---------------------------------------------------------------------- From nikoshaskell at gmail.com Mon Oct 15 08:49:27 2018 From: nikoshaskell at gmail.com (Nikos Karagiannidis) Date: Mon, 15 Oct 2018 11:49:27 +0300 Subject: [Haskell] =?utf-8?q?ANN=3A_DBFunctor_=E2=80=93_Functional_Data_Ma?= =?utf-8?q?nagement_/_ETL_Data_Processing_in_Haskell?= In-Reply-To: References: Message-ID: Dear all, I am pleased to announce the release on Hackage of a new Haskell ETL Library, namely DBFunctor-0.1.0.0. (“ETL” stands for Extract Transform and Load and is the standard technology for accomplishing data management tasks in Data Warehouses / Data Marts and in general for data migrations, or for preparing data for any analytic purpose (Ad hoc queries, data exploration/data analysis, Reporting and Business Intelligence, feeding Machine Learning algorithms, etc.)) Version 0.1.0.0 can be used for *in-memory data processing* without the need of some external database. It is just a Haskell library linked in your Haskell program that enables full SQL functionality over tabular data (e.g., CSV files) but also the ability to write a full ETL data processing flow. Key features of this release are: 1. *Julius DSL*: A Type-Level Embedded Domain Specific Language (EDSL) for ETL 2. Supports all known relational algebra operations 3. Implements the ETL Mapping and other typical ETL constructs and operations 4. Applicable to all kinds of tabular data 5. In-memory, database-less data processing For more information please check out the project homepage: https://github.com/nkarag/haskell-DBFunctor Also there is a tutorial that can help you to easily get started with Julius DSL: https://github.com/nkarag/haskell-DBFunctor/blob/master/doc/JULIUS-TUTORIAL.md * Learn how to implement your ETL flows with Julius DSL * Learn how to implement common ETL operations (append a delta to some target table, or create a surrogate key column etc.) * Build your own aggregate or analytic functions (string_agg, or a montlhy running total) * Express complex queries with Julius (equivalent to the WITH-clause in SQL) * and many more ... For any issues/problems with the DBFunctor package please open an issue on github. Happy data processing! Thank you. Best Regards, Nikos -------------- next part -------------- An HTML attachment was scrubbed... URL: From nikoshaskell at gmail.com Tue Oct 16 10:23:13 2018 From: nikoshaskell at gmail.com (Nikos Karagiannidis) Date: Tue, 16 Oct 2018 13:23:13 +0300 Subject: [Haskell] =?utf-8?q?ANN=3A_DBFunctor_=E2=80=93_Functional_Data_Ma?= =?utf-8?q?nagement_/_ETL_Data_Processing_in_Haskell?= Message-ID: Dear all, I am pleased to announce the release on Hackage of a new Haskell ETL Library, namely DBFunctor-0.1.0.0. (“ETL” stands for Extract Transform and Load and is the standard technology for accomplishing data management tasks in Data Warehouses / Data Marts and in general for data migrations, or for preparing data for any analytic purpose (Ad hoc queries, data exploration/data analysis, Reporting and Business Intelligence, feeding Machine Learning algorithms, etc.)) Version 0.1.0.0 can be used for **in-memory** data processing without the need of some external database. It is just a Haskell library linked in your Haskell program that enables full SQL functionality over tabular data (e.g., CSV files) but also the ability to write a full ETL data processing flow. Key features of this release are: 1. ** Julius DSL ** : A Type-Level Embedded Domain Specific Language (EDSL) for ETL 2. Supports all known relational algebra operations 3. Implements the ETL Mapping and other typical ETL constructs and operations 4. Applicable to all kinds of tabular data 5. In-memory, database-less data processing For more information please check out the project homepage: https://github.com/nkarag/haskell-DBFunctor Also there is a tutorial that can help you to easily get started with Julius DSL: https://github.com/nkarag/haskell-DBFunctor/blob/master/doc/JULIUS-TUTORIAL.md * Learn how to implement your ETL flows with Julius DSL * Learn how to implement common ETL operations (e.g., append a delta to some target table, or create a surrogate key column etc.) * Build your own aggregate or analytic functions (e.g., string_agg, or a montlhy running total) * Express complex queries with Julius (equivalent to the WITH-clause in SQL) * and many more ... For any issues/problems with the DBFunctor package please open an issue on github. Happy data processing! Thank you. Best Regards, Nikos -------------- next part -------------- An HTML attachment was scrubbed... URL: From yazan.mualla at utbm.fr Tue Oct 16 12:27:47 2018 From: yazan.mualla at utbm.fr (Yazan Mualla) Date: Tue, 16 Oct 2018 14:27:47 +0200 (CEST) Subject: [Haskell] Call for Workshops Proposals in conjunction with ANT-2019 Message-ID: <750070488.48535338.1539692867867.JavaMail.zimbra@utbm.fr> ========================================================================================== The 10th International Conference on Ambient Systems, Networks and Technologies (ANT-2019) Leuven, Belgium April 29 - May 2, 2019 http://cs-conferences.acadiau.ca/ant-19/ ========================================================================================== Important Date - Workshops Proposals Due: October 30, 2018 ANT-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 ANT-2019 and its related areas. ------------ Proceedings All papers accepted for workshops will be included in the ANT-2019 proceedings, which will be published by Elsevier. The authors must follow Elsevier guidelines as given in ANT-2019 Website. The number of pages for workshop papers is limited to 6 pages. ------------ Proposal Format - Title of the workshop - Workshop Website: tentative address, or old address (if applicable) - Draft call for paper of the workshop - Tentative list of TPC members ------------ Workshops Chair - Dr.habil. Stéphane Galland, Université Bourgogne-Franche-Comté, Université de Technologie de Belfort-Montbéliard, France (Email: stephane.galland at utbm.fr) -------------- next part -------------- An HTML attachment was scrubbed... URL: From ben at smart-cactus.org Tue Oct 16 17:51:20 2018 From: ben at smart-cactus.org (Ben Gamari) Date: Tue, 16 Oct 2018 13:51:20 -0400 Subject: [Haskell] Treatment of unknown pragmas Message-ID: <8736t5n5kc.fsf@smart-cactus.org> Hi everyone, Recently Neil Mitchell opened a pull request [1] proposing a single-line change: Adding `{-# HLINT ... #-}` to the list of pragmas ignored by the lexer. I'm a bit skeptical of this idea. Afterall, adding cases to the lexer for every tool that wants a pragma seems quite unsustainable. On the other hand, a reasonable counter-argument could be made on the basis of the Haskell Report, which specifically says that implementations should ignore unrecognized pragmas. If GHC did this (instead of warning, as it now does) then this wouldn't be a problem. Of course, silently ignoring mis-typed pragmas sounds terrible from a usability perspective. For this reason I proposed that the following happen: * The `{-# ... #-}` syntax be reserved in particular for compilers (it largely already is; the Report defines it as "compiler pragma" syntax). The next Report should also allow implementations to warn in the case of unrecognized pragmas. * We introduce a "tool pragma" convention (perhaps even standardized in the next Report). For this we can follow the model of Liquid Haskell: `{-@ $TOOL_NAME ... @-}`. Does this sound sensible? Cheers, - Ben [1] https://github.com/ghc/ghc/pull/204 -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 487 bytes Desc: not available URL: From simonpj at microsoft.com Tue Oct 16 18:35:01 2018 From: simonpj at microsoft.com (Simon Peyton Jones) Date: Tue, 16 Oct 2018 18:35:01 +0000 Subject: [Haskell] Treatment of unknown pragmas In-Reply-To: <8736t5n5kc.fsf@smart-cactus.org> References: <8736t5n5kc.fsf@smart-cactus.org> Message-ID: I rather agree. We don't even need a convention do we? /Any/ comment in {- -} is ignored by GHC /except/ {-# ... #-}. So tool users are free to pick whatever convention they like to identify the stuff for their tool. Simon | -----Original Message----- | From: ghc-devs On Behalf Of Ben Gamari | Sent: 16 October 2018 18:51 | To: GHC developers ; haskell at haskell.org | Subject: Treatment of unknown pragmas | Hi everyone, | | Recently Neil Mitchell opened a pull request [1] proposing a single-line | change: Adding `{-# HLINT ... #-}` to the list of pragmas ignored by the | lexer. I'm a bit skeptical of this idea. Afterall, adding cases to the | lexer for every tool that wants a pragma seems quite unsustainable. | | On the other hand, a reasonable counter-argument could be made on the | basis of the Haskell Report, which specifically says that | implementations should ignore unrecognized pragmas. If GHC did this | (instead of warning, as it now does) then this wouldn't be a problem. | | Of course, silently ignoring mis-typed pragmas sounds terrible from a | usability perspective. For this reason I proposed that the following | happen: | | * The `{-# ... #-}` syntax be reserved in particular for compilers (it | largely already is; the Report defines it as "compiler pragma" | syntax). The next Report should also allow implementations to warn in | the case of unrecognized pragmas. | | * We introduce a "tool pragma" convention (perhaps even standardized in | the next Report). For this we can follow the model of Liquid Haskell: | `{-@ $TOOL_NAME ... @-}`. | | Does this sound sensible? | | Cheers, | | - Ben | | | [1] https://github.com/ghc/ghc/pull/204 From matthewtpickering at gmail.com Tue Oct 16 19:00:30 2018 From: matthewtpickering at gmail.com (Matthew Pickering) Date: Tue, 16 Oct 2018 20:00:30 +0100 Subject: [Haskell] Treatment of unknown pragmas In-Reply-To: References: <8736t5n5kc.fsf@smart-cactus.org> Message-ID: I like the suggestion of a flag. For any realistic compilation you have to pass a large number of flags to GHC anyway. `stack`, `cabal` or so on can choose to pass the additional flag by default if they wish or make it more ergonomic to do so. On Tue, Oct 16, 2018 at 7:58 PM Jared Weakly wrote: > > The main problem I see with this is now N tools need to implement support for that flag and it will need to be configured for every tool separately. If we standardize on a tool pragma in the compiler, all that stays automatic as it is now (a huge plus for tooling, which should as beginner friendly as possible). It also, in my eyes, helps enforce a cleaner distinction between pragmas as a feature-gate and pragmas as a compiler/tooling directive > > On Tue, Oct 16, 2018, 11:13 AM Vladislav Zavialov wrote: >> >> What about introducing -fno-warn-pragma=XXX? People who use HLint will add -fno-warn-pragma=HLINT to their build configuration. >> >> On Tue, Oct 16, 2018, 20:51 Ben Gamari wrote: >>> >>> Hi everyone, >>> >>> Recently Neil Mitchell opened a pull request [1] proposing a single-line >>> change: Adding `{-# HLINT ... #-}` to the list of pragmas ignored by the >>> lexer. I'm a bit skeptical of this idea. Afterall, adding cases to the >>> lexer for every tool that wants a pragma seems quite unsustainable. >>> >>> On the other hand, a reasonable counter-argument could be made on the >>> basis of the Haskell Report, which specifically says that >>> implementations should ignore unrecognized pragmas. If GHC did this >>> (instead of warning, as it now does) then this wouldn't be a problem. >>> >>> Of course, silently ignoring mis-typed pragmas sounds terrible from a >>> usability perspective. For this reason I proposed that the following >>> happen: >>> >>> * The `{-# ... #-}` syntax be reserved in particular for compilers (it >>> largely already is; the Report defines it as "compiler pragma" >>> syntax). The next Report should also allow implementations to warn in >>> the case of unrecognized pragmas. >>> >>> * We introduce a "tool pragma" convention (perhaps even standardized in >>> the next Report). For this we can follow the model of Liquid Haskell: >>> `{-@ $TOOL_NAME ... @-}`. >>> >>> Does this sound sensible? >>> >>> Cheers, >>> >>> - Ben >>> >>> >>> [1] https://github.com/ghc/ghc/pull/204 >>> _______________________________________________ >>> ghc-devs mailing list >>> ghc-devs at haskell.org >>> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs >> >> _______________________________________________ >> ghc-devs mailing list >> ghc-devs at haskell.org >> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs > > _______________________________________________ > ghc-devs mailing list > ghc-devs at haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs From ben at smart-cactus.org Tue Oct 16 19:14:26 2018 From: ben at smart-cactus.org (Ben Gamari) Date: Tue, 16 Oct 2018 15:14:26 -0400 Subject: [Haskell] Treatment of unknown pragmas In-Reply-To: References: <8736t5n5kc.fsf@smart-cactus.org> Message-ID: <87zhvdln5l.fsf@smart-cactus.org> Vladislav Zavialov writes: > What about introducing -fno-warn-pragma=XXX? People who use HLint will > add -fno-warn-pragma=HLINT to their build configuration. > A warning flag is an interesting way to deal with the issue. On the other hand, it's not great from an ergonomic perspective; afterall, this would mean that all users of HLint (and any other tool requiring special pragmas) include this flag in their build configuration. A typical Haskell project already needs too much such boilerplate, in my opinion. I think it makes a lot of sense to have a standard way for third-parties to attach string-y information to Haskell source constructs. While it's not strictly speaking necessary to standardize the syntax, doing so minimizes the chance that tools overlap and hopefully reduces the language ecosystem learning curve. Cheers, - Ben -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 487 bytes Desc: not available URL: From yazan.mualla at utbm.fr Wed Oct 17 09:10:36 2018 From: yazan.mualla at utbm.fr (Yazan Mualla) Date: Wed, 17 Oct 2018 11:10:36 +0200 (CEST) Subject: [Haskell] Call for Workshops Proposals in conjunction with EDI40-2019 Message-ID: <992989085.50797589.1539767436118.JavaMail.zimbra@utbm.fr> -------------------------------------------------------------------------- The 2nd International Conference on Emerging Data and Industry 4.0 (EDI40) Leuven, Belgium April 29 - May 2, 2019 http://cs-conferences.acadiau.ca/EDI40-19/ -------------------------------------------------------------------------- Important Date - Workshops Proposals Due: October 30, 2018 EDI40 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 EDI40 and its related areas. ----------- Proceedings All papers accepted for workshops will be included in the EDI40 2019 proceedings, which will be published by Elsevier. The authors must follow Elsevier guidelines as given in EDI40 Website. The number of pages for workshop papers is limited to 6 pages. ----------- Proposal Format - Title of the workshop - Workshop Website: tentative address, or old address (if applicable) - Draft call for paper of the workshop - Tentative list of TPC members ----------- Workshops Chair - Dr.habil. Stéphane Galland, Université Bourgogne-Franche-Comté, Université de Technologie de Belfort-Montbéliard, France (Email: stephane.galland at utbm.fr) -------------- next part -------------- An HTML attachment was scrubbed... URL: From nevrenato at gmail.com Wed Oct 17 16:03:10 2018 From: nevrenato at gmail.com (Renato Neves) Date: Wed, 17 Oct 2018 17:03:10 +0100 Subject: [Haskell] FM'19: Call for Workshop & Tutorial Proposals Message-ID: <20181017160310.GA14906@endpub240.eduroam-visitantes.uminho.pt> FM'19 - 3rd WORLD CONGRESS ON FORMAL METHODS PORTO, PORTUGAL, OCTOBER 7-11, 2019 formalmethods2019.inesctec.pt ---------------- CALL FOR WORKSHOP & TUTORIAL PROPOSALS --------------- ------------------------------------------------------------------------- Deadline for workshop & tutorial proposals: November 16, 2018 Notification of decision on workshops and tutorials: November 23, 2018 ------------------------------------------------------------------------- 1 ABOUT FM'19 ============= FM 2019 is the 23rd international symposium in a series organised by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. Every ten years the symposium is organised as a World Congress. Twenty years after FM’99 in Toulouse, and ten years after FM’09 in Eindhoven, FM’19 is the 3rd World Congress on Formal Methods. Thus, FM’19 will be both an occasion to celebrate and a platform for enthusiastic researchers and practitioners from a diversity of backgrounds to exchange their ideas and share their experience. 2 PROPOSALS =========== For this major event, we are now inviting proposals for workshops, tutorials, or other satellite events that will complement the main FM Symposium and co-located conferences. The purpose of the satellite events is to provide an informal setting for participants to discuss technical issues, exchange research ideas, and to discuss and/or demonstrate applications. These may be driven by fundamental academic interests or by needs from specific application domains. We encourage a diversity of events relating to different varieties of formal models. Satellite events will take place on 7-8 October 2019. Satellite events would typically run for 1/2 or 1 day, but 2 day events will also be considered. The FM'19 organising committee aim to support one invited speaker per workshop. 3 SUBMISSION INFORMATION ======================== Researchers and practitioners wishing to organise a workshop or tutorial are invited to submit proposals by e-mail to the Workshops & Tutorials Chairs, Nelma Moreira (nam at dcc.fc.up.pt) and Emil Sekerinski (emil at mcmaster.ca). A proposal should not exceed three pages and should include the following information: * Title and brief technical description of the event, specifying the goals and the technical issues that will be its focus. * The names and contact information (web page, email address) of the organisers. In case of a workshop those will be the Programme Committee (PC) chairs and in this case a prospective list of international PC members is welcome. * Pointers to information about past editions of the event, if applicable. In case of a workshop, if it has taken place before; how often it has been colocated with FM? Which (other) conference(s) has the workshop been colocated with so far? Number of participants in the last instalment. * A discussion of the proposed format and agenda (for example paper presentations, tutorials, demo sessions, etc). * The proposed duration: half or one day. Exceptionally, two days events may be considered. * Potential invited speaker(s). * Procedures for selecting papers and participants and plans for the publication of proceedings, if any. * Tentative schedule for paper submission and notification of acceptance. The organisers of satellite events are expected to create and maintain a website for the event; handle paper selection, reviewing and acceptance; draw up a programme of talks; advertise their event though specialist mailing lists; prepare the informal pre-proceedings (if applicable) in a timely fashion; and arrange any post-proceedings. 4 IMPORTANT DATES ================= Submission of proposals: November 16, 2018 Notification of success of proposals: November 23, 2018 Notification of paper acceptance (if applicable): June 14, 2019 (limit date) FM'19 World Congress: October 7-11, 2019 Workshop/Tutorial dates: October 7-8, 2019 (also October 9-11 if space is an issue) Best Wishes, Nelma Moreira & Emil Sekerinski From russo at chalmers.se Thu Oct 18 14:24:01 2018 From: russo at chalmers.se (Alejandro Russo) Date: Thu, 18 Oct 2018 16:24:01 +0200 Subject: [Haskell] Postdoc position on side-channel analysis and avoidance in Hardware (Chalmers University of Technology) Message-ID: <1eb61a5b-d144-2ce5-9b4b-ebcf3ddaa6a1@chalmers.se> ** Apologies for multiple copies ** --------------------------------------------------------------------------------- Postdoctoral position (up to two years) on side-channel analysis and avoidance in Hardware at Chalmers University of Technology, Sweden --------------------------------------------------------------------------------- * Important dates:   October  30 - Deadline for applications   November 5  - Tentative date for interviews * Expected starting date: January 2019. For details, including employment conditions and how to apply, see: This position is funded by a grant from Intel Corp and will get supervised by Prof. Carl-Johan Seger () and Prof. Alejandro Russo (). Prof. Seger has, after 21 years at Intel corporation, a wealth of experience in verifying Intel's microprocessors and is intimately familiar with the constraints and scale of modern processors. He also has extensive experience in building formal verification tools, and symbolic simulators in particular, for modern microprocessors. Prof. Russo has vast expertise on protecting privacy in modern software systems and his work has impacted different research communities and appeared in prestigious conferences on programming languages, operating systems, and security. The project is dedicated to contribute and further research on (i) utilizing some notion of dependent types to verify security and the presence/absence of side-channels in multi-cycle circuits, (ii) apply symbolic execution techniques to boost accuracy when needed, (iii) implement a tool that combines these techniques, and (iv) perform evaluations on state-of-the-art public domain microprocessor designs. The position is to be carried out within both the Information Security (iSec) and Functional Programming (FP) research groups. Both groups combine world-class researchers in language-based security and functional programming. In addition, there is a strong type-theory research group that can be used as a source of knowledge in dependent types. Competitive candidates will have a strong computer science background, both theoretical and practical, with emphasis on programming languages techniques; expertise in some of the areas of interests for this position; a passion for high-quality software research and development; and excellent analytical and communication skills. Prior publications are meritorious. English is the working language for research in Chalmers's Department of Computer Science and Engineering. For a popular science description of the project, please refer to the following link: https://www.chalmers.se/en/departments/cse/news/Pages/Intel.aspx From ben at well-typed.com Thu Oct 18 19:45:17 2018 From: ben at well-typed.com (Ben Gamari) Date: Thu, 18 Oct 2018 15:45:17 -0400 Subject: [Haskell] Help inform GHC's development priorities Message-ID: <87va5zjayf.fsf@smart-cactus.org> tl;dr. Please a take a minute to express your thoughts on GHC's development priorities via this survey [1]. Hello everyone, The GHC developers want to ensure that we are working on problems that of most importance to you, the Haskell community. To this end we are surveying the community [1], asking how our users interact with GHC and which problems need to be addressed most urgently. We hope you will take a few minutes to give us your thoughts [1]. Thanks in advance for your time and, finally, thanks to the financial supporters that make our work GHC possible. Cheers, - Ben and the rest of the GHC developers [1] https://docs.google.com/forms/d/e/1FAIpQLSdh7sf2MqHoEmjt38r1cxCF-tV76OFCJqU6VabGzlOUKYqo-w/viewform -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 487 bytes Desc: not available URL: From ms at chalmers.se Fri Oct 19 08:16:06 2018 From: ms at chalmers.se (Mary Sheeran) Date: Fri, 19 Oct 2018 10:16:06 +0200 Subject: [Haskell] PhD student positions in the Functional Programming group at Chalmers Message-ID: Two PhD student positions in Functional Programming for guaranteed security in the Internet of Things The Octopi Project is led by Alejandro Russo, with Koen Claessen, John Hughes, Carl-Johan Seger and Mary Sheeran as PIs. We will develop new ways to program securely for the Internet of Things, working on everything from the programming model to hardware design. We have already appointed three doctoral students, and now we want to appoint two more, with emphasis on ways to express locality in computations and also on designing hardware for executing functional languages directly and efficiently. Carl-Johan Seger and Mary Sheeran will supervise the two new students, and they will join an amazing team. This is a real job with a decent salary for five years, and Gothenburg is a great place to live. The following link gives more details and it is through the link that you apply by pressing the button labelled Ansök. The deadline is October 31. http://www.chalmers.se/sv/om-chalmers/Arbeta-pa-Chalmers/lediga-tjanster/Sidor/default.aspx?rmpage=job&rmjob=6691&rmlang=SE Please consider applying, or advising your best students to apply. Mary Sheeran, Carl-Johan Seger and the Octopi team -------------- next part -------------- An HTML attachment was scrubbed... URL: From simonpj at microsoft.com Mon Oct 22 11:22:46 2018 From: simonpj at microsoft.com (Simon Peyton Jones) Date: Mon, 22 Oct 2018 11:22:46 +0000 Subject: [Haskell] Postdoc and internship opportunities at Microsoft Research Cambridge Message-ID: Microsoft Research Cambridge seeks * Up to two post docs * At least one intern to do research in the general area of spreadsheet technology and usability. We work in deep collaboration with the Excel team in Microsoft Office on Project Yellow, bringing new data types and other features to Excel. Please see https://aka.ms/CalcIntel for details. Applications deadline for the postdoc position is 1st of December 2018. Informal enquiries to Andy Gordon adg at microsoft.com or Simon Peyton Jones simonpj at microsoft.com -------------- next part -------------- An HTML attachment was scrubbed... URL: From yazan.mualla at utbm.fr Tue Oct 23 10:03:31 2018 From: yazan.mualla at utbm.fr (Yazan Mualla) Date: Tue, 23 Oct 2018 12:03:31 +0200 (CEST) Subject: [Haskell] Invitation to the 1st European Forum of the SARL Users and Developers (EuSarlCon19) Message-ID: <404399138.63152740.1540289011490.JavaMail.zimbra@utbm.fr> INVITATION FOR PAPERS AND TALKS The 1st European Forum for the SARL Users and Developers (EuSarlCon-19) ------------------------------------------------------------------- In conjunction with: * the 9th International Conference on Ambient Systems, Networks, and Technologies (ANT 2019); * the 8th International Workshop on Agent-based Mobility, Traffic and Transportation Models, Methodologies and Applications (ABMTRANS-19); * the 3rd International Workshop on Agent-based Modeling and Applications with SARL (SARL-19). May 2, 2019, Leuven, Belgium. http://www.multiagent.fr/Conferences:EuSarlCon19 ------------------------------------------------------------------- Description =========== The 2019 European SarlCon is the SARL user meeting that is organized in Europe in order to provide a place where SARL users and developers could exchange their experiences. It will be held on May 2, 2019, in Leuven, Belgium. That is the last day of the ANT-2019 conference, the ABMTRANS-19 and the SARL-19 workshops. Abstracts and/or short papers are due on December 1, 2018. The papers are expected to be very short (< 2500 equivalent words). ABMTRANS-19 and SARL-19 are providing an alternative for publishing longer papers. Abstracts and papers can be submitted to ABMTRANS-19, to SARL-19, to SarlCon19, or all. We will coordinate with the main conference so that papers are not presented twice. Submissions directly for the SarlCon should take the form of an abstract (< 1000 words), and are to be submitted before December 1, 2018, through EasyChair. SARL-related submissions to the main conference will as well be considered for inclusion in the SarlCon program. Important Dates =============== * Submission deadline: December 1, 2018; * Notification: January 4, 2019; * Forum: May 2, 2019. Submission ========== You are invited to submit the abstract in PDF format on EasyChair (https://easychair.org/conferences/?conf=eusarlcon2019), not exceeding 1000 words in length. Organizer ========= Stéphane GALLAND (Univ. de Technologie de Belfort-Montbeliard, France). Registration ============ Registration to the European SarlCon 2019 is free. -------------- next part -------------- An HTML attachment was scrubbed... URL: From mihaela.rozman at tuwien.ac.at Tue Oct 23 12:30:12 2018 From: mihaela.rozman at tuwien.ac.at (Mihaela Rozman) Date: Tue, 23 Oct 2018 14:30:12 +0200 Subject: [Haskell] =?iso-8859-1?q?Scholarship=3A_Helmut_Veith_Stipend_for_?= =?iso-8859-1?q?Female_Master=B4s_Students_in_Computer_Science=2C_D?= =?iso-8859-1?q?eadline_November_30=2C_2018_for_the_enrollment_in_2?= =?iso-8859-1?q?018/2019?= Message-ID: <039101d46acc$24b102c0$6e130840$@tuwien.ac.at> [Apologies if you receive multiple copies of this email. Please distribute to interested parties.] Female students in the field of computer science (CS) who plan to pursue (or are currently pursuing) one of the master‘s programs in Computer Science at the Vienna University of Technology – TU Wien taught in English are invited to apply for the annually awarded Helmut Veith Stipend. The annually awarded Helmut Veith Stipend for female master students is dedicated to the memory of an outstanding computer scientist who worked in the fields of logic in computer science, computer-aided verification, software engineering, and computer security. – Professor Helmut Veith (1971-2016). The Helmut Veith Stipend has been established with generous support of TU Wien, Wolfgang Pauli Institute and with contributions by family and friends of the late Helmut Veith. BENEFITS -EUR 6000 per year -Waiver of tuition fees at TU Wien LOCATION OF MASTER STUDY For study in Austria, at Vienna University of Technology – TU Wien FOR FIELD OF STUDY Applicants must be eligible for admission to one of the master’s programs in computer science at Vienna University of technology - TU Wien that are taught in English. Link: http://www.informatik.tuwien.ac.at/teaching/master • Master in Logic and Computation • Master in Business Informatics • European Master in Computational Logic • Master in Computer Engineering (Technische Informatik) • Master in Data Science • Master in Media and Human-Centered Computing APPLICATION Applications for Helmut Veith Stipend can be filed after, before or in parallel with the admissions process (if the start of the master´s program is in the Summer of 2019). The applications must be submitted electronically to master at logic-cs.at as a single PDF document, by November 30, 2018. DEADLINE November 30, 2018. INQUIRES Electronically to master at logic-cs.at WEBSITE http://www.vcla.at/2018/05/call-for-applications-helmut-veith-stipend-for-fe male-masters-students-in-computer-science DOWNLOAD THE FLYER http://forsyte.at/helmut-veith-stipend/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From wim.ectors at uhasselt.be Wed Oct 24 07:51:11 2018 From: wim.ectors at uhasselt.be (Wim Ectors) Date: Wed, 24 Oct 2018 10:51:11 +0300 Subject: [Haskell] [ANT2019] 10th International Conference on Ambient Systems, Networks and Technologies. Leuven, Belgium (April 29 - May 2, 2019) Message-ID: The 10th International Conference on Ambient Systems, Networks and Technologies (ANT) Leuven, Belgium April 29 - May 2, 2019 Conference Website: http://cs-conferences.acadiau.ca/ant-19/ Workshops: http://cs-conferences.acadiau.ca/ant-19/#workshop Tutorials: http://cs-conferences.acadiau.ca/ant-19/#tutorial *Important Dates* - Workshops Proposals Due: October 30, 2018 - Paper Submission Due: December 6, 2018 - Acceptance Notification: February 4, 2019 - Camera-Ready Submission: March 1, 2019 ANT 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

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 special issues of: - Journal of Ambient Intelligence and Humanized Computing (IF: 1.588), by Springer (http://www.springer.com/engineering/journal/12652) - Journal of Personal and Ubiquitous Computing (IF: 2.395), by Springer - IEEE Intelligent Transportation Systems Magazine (IF: 3.654), by IEEE (http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5117645) - IEEE Transactions on Intelligent Transportation Systems (IF: 3.724), by IEEE (http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=6979) - International Journal of Computing and Informatics (IF: 0.504), by Computing and Informatics (http://www.cai.sk/ojs/index.php/cai/index) ANT 2019 will be held in Leuven, Belgium. Leuven is the capital of the province of Flemish Brabant in Belgium. It is located about 25 kilometres (16 miles) east of Brussels. It is the 10th largest municipality in Belgium and the fourth in Flanders. Leuven is home to the Katholieke Universiteit Leuven, the largest and oldest university of the Low Countries and the oldest Catholic university still in existence. The related university hospital of UZ Leuven, is one of the largest hospitals of Europe. The city is also known for being the headquarters of Anheuser-Busch InBev, the world's largest brewer and one of the five largest consumer-goods companies in the world. Leuven's Town Hall is one of the best-known Gothic town halls worldwide and Leuven's pride and joy. It took three architects and thirty years to build it. Leuven's 'Hall of Fame' features 236 statues, which were only added to the façade after 1850. There are 220 men and 16 women in total. On the bottom floor are famous Leuven scientists, artists and historical figures, dressed in Burgundian garb. The first floor is reserved for the patron saints of the various parishes of Leuven. Above them the façade is adorned by the counts and dukes of Brabant while the towers primarily feature biblical figures. ANT 2019 will be held in conjunction with the 2nd International Conference on Emerging Data and Industry 4.0 (EDI40, http://cs-conferences.acadiau.ca/edi40-19/). *Conference Tracks* - Agent Systems, Intelligent Computing and Applications - Big Data and Analytics - Cloud Computing - Context-awareness and Multimodal Interfaces - Emerging Networking, Tracking and Sensing Technologies - Human Computer Interaction - Internet of Things - Mobile Networks, Protocols and Applications - Modeling and Simulation in Transportation Sciences - Multimedia and Social Computing - Service Oriented Computing for Systems & Applications - Smart, Sustainable Cities and Climate Change Management - Smart Environments and Applications - Systems Security and Privacy - Systems Software Engineering - Vehicular Networks and Applications - General Track *Committees* *General Chairs* Atta Badii, University of Reading, UK Albert Zomaya, The University of Sydney, Australia *Program Chairs* Hossam Hassanein, Queen's University, Canada Ansar-Ul-Haque Yasar, IMOB – Hasselt University, Belgium *Local Chair* Yves Vanrompay, Hasselt University, Belgium *Workshops Chair* Stephane Galland, UTBM, France Program *Advisory Committee* Reda Alhajj, University of Calgary, Canada Abdelfettah Belghith, University of Manouba, Tunisia Sajal K. Das, The University of Texas at Arlington, USA Erol Gelenbe, Imperial College, UK Vincenzo Loia, University of Salerno, Italy Peter Sloot, Universiteit van Amsterdam, Netherlands Ralf Steinmetz, Technische Universitaet Darmstadt, Germany Katia Sycara, Carnegie Mellon University, USA Peter Thomas, Manifesto Research, Australia *International Journals Chair* Michael Sheng, Macquarie University, Australia *Vice Chairs* Imene Lahyani Abdennadher, University of Sfax, Tunisia Boulmakoul Azedine, Hassan II University, Morocco Marcel Baunach, Graz University of Technology, Austria Tom Bellemans, Hasselt University, Belgium Nik Bessis, Edge Hill University, UK Kechar Bouabdellah, Oran 1 Ahmed BenBella University, Algeria Samia Bouzefrane,CEDRIC Lab Conservatoire National des Arts et Métiers, France Roberto Di Pietro, Hamad Bin Khalifa University, Qatar Khalil Drira, LAAS-CNRS, France Wael El-Medany, University of Bahrain, Bahrain John Gallagher, Trinity College Dublin, Ireland Jason Jaskolka, Carleton University, Canada Flavio Lombardi, Roma Tre University of Rome, Italy Haroon Malik, Marshall University, USA Ahmed Nait Sidi Moh, University of Picardie Jules Verne, France Manuele Kirsch Pinheiro, University of Paris 1, France Cristina Seceleanu, Mälardalen University, Västerås, Sweden Khaled Shaaban, Qatar University, Qatar Ridha Soua, Luxembourg University, Luxembourg Yves Vanrompay, Hasselt University, Belgium Yun Zhou, Shaanxi Normal University, China *Publicity Chairs* Wim Ectors, Hasselt University, Belgium Davidekova Monika, Comenius University, Slovak Republic *International Liaison Chairs* Soumaya Cherkaoui, Sherbrooke University, Canada Paul Davidsson, Malmo University, Sweden David Taniar, Monash University, Australia *Technical Program Committee* http://cs-conferences.acadiau.ca/ant-19/#programCommittees *Steering Committee Chair and Founder of ANT* Elhadi Shakshuki, Acadia University, Canada Sent via Mail Merge -------------- next part -------------- An HTML attachment was scrubbed... URL: From wim.ectors at uhasselt.be Wed Oct 24 07:56:51 2018 From: wim.ectors at uhasselt.be (Wim Ectors) Date: Wed, 24 Oct 2018 10:56:51 +0300 Subject: [Haskell] [EDI40 2019] International Conference on Emerging Data and Industry 4.0. Leuven, Belgium, April 29 - May 2, 2019 Message-ID: *************************************************************************** The 2nd International Conference on Emerging Data and Industry 4.0 (EDI40) Leuven, Belgium April 29 - May 2, 2019 *************************************************************************** Conference Website: http://cs-conferences.acadiau.ca/EDI40-19/ Workshops:

Workshops:> http://cs-conferences.acadiau.ca/EDI40-19/#workshop Important


Important> Dates - Workshops Proposals Due: October 30, 2018 - Paper Submission Due: December 6, 2018 - Acceptance Notification: February 4, 2019 - Camera-Ready Submission: March 1, 2019 EDI40 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 special issues of: - International Journal of Ambient Intelligence and Humanized Computing (IF: 1.588), by Springer (http://www.springer.com/engineering/journal/12652) - Journal of Personal and Ubiquitous Computing (IF: 2.395), by Springer ( http://www.springer.com/computer/hci/journal/779) - IEEE Intelligent Transportation Systems Magazine (IF: 3.654), by IEEE ( http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5117645) - IEEE Transactions on Intelligent Transportation Systems (IF: 3.724), by IEEE (http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=6979) - International Journal of Computing and Informatics (IF: 0.504), by Computing and Informatics (http://www.cai.sk/ojs/index.php/cai/index) EDI40 2019 will be held in Leuven, Belgium. Leuven is the capital of the province of Flemish Brabant in Belgium. It is located about 25 kilometers (16 miles) east of Brussels. It is the 10th largest municipality in Belgium and the fourth in Flanders. Leuven is home to the Katholieke Universiteit Leuven, the largest and oldest university of the Low Countries and the oldest Catholic university still in existence. The related university hospital of UZ Leuven, is one of the largest hospitals of Europe. The city is also known for being the headquarters of Anheuser-Busch InBev, the world's largest brewer and one of the five largest consumer-goods companies in the world. Leuven's Town Hall is one of the best-known Gothic town halls worldwide and Leuven's pride and joy. It took three architects and thirty years to build it. Leuven's 'Hall of Fame' features 236 statues, which were only added to the facade after 1850. There are 220 men and 16 women in total. On the bottom floor are famous Leuven scientists, artists and historical figures, dressed in Burgundian garb. The first floor is reserved for the patron saints of the various parishes of Leuven. Above them the facade is adorned by the counts and dukes of Brabant while the towers primarily feature biblical figures. EDI40 2019 will be held in conjunction with the 10th International Conference on Ambient Systems, Networks and Technologies (ANT, http://cs-conferences.acadiau.ca/ant-19/). Conference


Conference> Tracks - Benefits of Industry 4.0 - Big Data and Analytics - Cloud Computing - Cognitive Computing - Computational Intelligence - Cyber-Physical Systems (CPS) - Fog Computing and Edge Computing - Internet of Everything (IoE) - Standards for IoT Application Integration - The New Business Models in Industry 4.0 - General Track: Digitalization Startegies Committees General Chairs Danny Hughes, CTO VeraSense NV, Belgium Program Chairs Haroon Malik, Marshall University, USA Yves Vanrompay, Hasselt University, Belgium Local Chair An Nevns, Hasselt University, Belgium Workshops Chair Stephane Galland, UTBM, France Program Advisory Committee Reda Alhajj, University of Calgary, Canada Ladislav Hluchy, Institute of Informatics, Slovak Academy of Sciences, Slovakia Vincenzo Loia, University of Salerno, Italy Peter Sloot, Universiteit van Amsterdam, Netherlands Peter Thomas, Manifesto Research, Australia Mohamed Younis, University of Maryland Baltimore County, USA International Journals Chair Ansar Yasar, Hasselt University, Belgium Publicity Chairs Wim Ectors, Hasselt University, Belgium Yousef Farhaoui, Moulay Ismail University, Morocco Faouzi Kammoun, Ecole SupŽrieure PrivŽe d'IngŽnierie et de Technologies, Tunis Technical Program Committee http://cs-conferences.acadiau.ca/EDI40-19/#programCommittees Steering


Steering> Committee Chair Elhadi Shakshuki, Acadia University, Canada Sent via Mail Merge -------------- next part -------------- An HTML attachment was scrubbed... URL: From Muhammad.Arslan at u-bourgogne.fr Wed Oct 24 08:41:45 2018 From: Muhammad.Arslan at u-bourgogne.fr (Muhammad Arslan) Date: Wed, 24 Oct 2018 10:41:45 +0200 (CEST) Subject: [Haskell] Call for Papers - The 11th International Conference on Advanced Geographic Information Systems, Applications, and Services In-Reply-To: <1328821851.4575992.1539161003942.JavaMail.zimbra@u-bourgogne.fr> References: <1384560101.4506552.1539158861467.JavaMail.zimbra@u-bourgogne.fr> <1850124785.4517780.1539159240014.JavaMail.zimbra@u-bourgogne.fr> <992182042.4522080.1539159331154.JavaMail.zimbra@u-bourgogne.fr> <931784907.4570331.1539160840318.JavaMail.zimbra@u-bourgogne.fr> <1328821851.4575992.1539161003942.JavaMail.zimbra@u-bourgogne.fr> Message-ID: <1063373114.19921473.1540370505939.JavaMail.zimbra@u-bourgogne.fr> Hello everyone, I would like to inform you that we are managing a special session on ' Spatio-temporal data processing ' at the ' 11th International Conference on Advanced Geographic Information Systems, Applications, and Services ', February 24 - 28, 2019, Athens, Greece. I invite you to submit papers for this session on the topics that encompass but not limited to; * Preparation of spatio-temporal data using pre-processing techniques * Data modeling, mining and data warehousing methods for spatio-temporal data * Behaviors and knowledge extraction using spatio-temporal data * Techniques for enriching spatio-temporal data with information extracts using approaches such as Web of Things, Semantic Web, data mining, NLP, etc. * Visual analytics for spatio-temporal data * Applications and case studies related to usability of spatio-temporal data for urban traffic systems, trajectory analysis, safety management, etc. Updated SPD Call: https://www.iaria.org/conferences2019/filesGEOProcessing19/SDP.pdf SPD online submissions site: https://www.iariasubmit.org/conferences/submit/newcontribution.php?event=GEOProcessing+2019+Special The deadlines are mentioned below; * Submission: Jan 08, 2019 * Notification: Jan 23, 2019 * Registration: Feb 03, 2019 * Camera-ready paper: Feb 03, 2019 Publication of the papers; * Print proceedings will be available via Curran Associates, Inc.: http://www.proceedings.com/9769.html * Articles will be archived in the free access ThinkMind Digital Library: http://www.thinkmind.org * Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org More details about the program are in the attachment. Looking forward to seeing you in Athens! Best, Muhammad Arslan Laboratoire LE2I - FRE CNRS 2005 - Arts & Métiers - Université de Bourgogne Franche-Comté Institut Marey - Maison de la Métallurgie (I3M), 64 rue de Sully, 21000 Dijon, France Mobile : (+33) 06.28.43.08.01 -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: SDP Updated.pdf Type: application/pdf Size: 32779 bytes Desc: not available URL: From dmwit at dmwit.com Sun Oct 28 02:11:21 2018 From: dmwit at dmwit.com (Daniel Wagner) Date: Sat, 27 Oct 2018 22:11:21 -0400 Subject: [Haskell] Treatment of unknown pragmas In-Reply-To: <87zhvdln5l.fsf@smart-cactus.org> References: <8736t5n5kc.fsf@smart-cactus.org> <87zhvdln5l.fsf@smart-cactus.org> Message-ID: I don't have a really strong opinion, but... isn't this (attaching string-y data to source constructs) pretty much exactly what GHC's annotation pragma is for? ~d On Tue, Oct 16, 2018 at 3:14 PM Ben Gamari wrote: > Vladislav Zavialov writes: > > > What about introducing -fno-warn-pragma=XXX? People who use HLint will > > add -fno-warn-pragma=HLINT to their build configuration. > > > A warning flag is an interesting way to deal with the issue. On the > other hand, it's not great from an ergonomic perspective; afterall, this > would mean that all users of HLint (and any other tool requiring special > pragmas) include this flag in their build configuration. A typical > Haskell project already needs too much such boilerplate, in my opinion. > > I think it makes a lot of sense to have a standard way for third-parties > to attach string-y information to Haskell source constructs. While it's > not strictly speaking necessary to standardize the syntax, doing > so minimizes the chance that tools overlap and hopefully reduces > the language ecosystem learning curve. > > Cheers, > > - Ben > _______________________________________________ > Haskell mailing list > Haskell at haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell > -------------- next part -------------- An HTML attachment was scrubbed... URL: From a.pelenitsyn at gmail.com Sun Oct 28 15:04:21 2018 From: a.pelenitsyn at gmail.com (Artem Pelenitsyn) Date: Sun, 28 Oct 2018 11:04:21 -0400 Subject: [Haskell] Treatment of unknown pragmas In-Reply-To: References: <8736t5n5kc.fsf@smart-cactus.org> <87zhvdln5l.fsf@smart-cactus.org> Message-ID: Hello Daniel, Annotations API was discussed earlier in this thread. Main points against are: Neil: Significant compilation performance penalty and extra recompilation. ANN pragmas is what HLint currently uses. Brandon: The problem with ANN is it's part of the plugins API, and as such does things like compiling the expression into the program in case a plugin generates code using its value, plus things like recompilation checking end up assuming plugins are in use and doing extra checking. Using it as a compile-time pragma is actually fairly weird from that standpoint. -- Best, Artem On Sat, 27 Oct 2018 at 22:12 Daniel Wagner wrote: > I don't have a really strong opinion, but... isn't this (attaching > string-y data to source constructs) pretty much exactly what GHC's > annotation pragma is for? > ~d > > On Tue, Oct 16, 2018 at 3:14 PM Ben Gamari wrote: > >> Vladislav Zavialov writes: >> >> > What about introducing -fno-warn-pragma=XXX? People who use HLint will >> > add -fno-warn-pragma=HLINT to their build configuration. >> > >> A warning flag is an interesting way to deal with the issue. On the >> other hand, it's not great from an ergonomic perspective; afterall, this >> would mean that all users of HLint (and any other tool requiring special >> pragmas) include this flag in their build configuration. A typical >> Haskell project already needs too much such boilerplate, in my opinion. >> >> I think it makes a lot of sense to have a standard way for third-parties >> to attach string-y information to Haskell source constructs. While it's >> not strictly speaking necessary to standardize the syntax, doing >> so minimizes the chance that tools overlap and hopefully reduces >> the language ecosystem learning curve. >> >> Cheers, >> >> - Ben >> _______________________________________________ >> > Haskell mailing list >> Haskell at haskell.org >> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell >> > _______________________________________________ > Haskell mailing list > Haskell at haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell > -------------- next part -------------- An HTML attachment was scrubbed... URL: From Monika.Davidekova at fm.uniba.sk Mon Oct 29 07:51:53 2018 From: Monika.Davidekova at fm.uniba.sk (Davidekova Monika) Date: Mon, 29 Oct 2018 07:51:53 +0000 Subject: [Haskell] [ANT2019] 10th International Conference on Ambient Systems, Networks and Technologies. Leuven, Belgium (April 29 - May 2, 2019) In-Reply-To: References: , , , , , , , , , , , , , , , , , , , , , , Message-ID: Call for Papers The 10th International Conference on Ambient Systems, Networks and Technologies (ANT) Leuven, Belgium April 29 - May 2, 2019 Conference Website: http://cs-conferences.acadiau.ca/ant-19/ Workshops: http://cs-conferences.acadiau.ca/ant-19/#workshop Tutorials: http://cs-conferences.acadiau.ca/ant-19/#tutorial Important Dates - Workshops Proposals Due: October 30, 2018 - Paper Submission Due: December 6, 2018 - Acceptance Notification: February 4, 2019 - Camera-Ready Submission: March 1, 2019 ANT 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 special issues of: - Journal of Ambient Intelligence and Humanized Computing (IF: 1.588), by Springer (http://www.springer.com/engineering/journal/12652) - IEEE Intelligent Transportation Systems Magazine (IF: 3.654), by IEEE (http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5117645) - IEEE Transactions on Intelligent Transportation Systems (IF: 3.724), by IEEE (http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=6979) ANT 2019 will be held in Leuven, Belgium. Leuven is the capital of the province of Flemish Brabant in Belgium. It is located about 25 kilometres (16 miles) east of Brussels. It is the 10th largest municipality in Belgium and the fourth in Flanders. Leuven is home to the Katholieke Universiteit Leuven, the largest and oldest university of the Low Countries and the oldest Catholic university still in existence. The related university hospital of UZ Leuven, is one of the largest hospitals of Europe. The city is also known for being the headquarters of Anheuser-Busch InBev, the world's largest brewer and one of the five largest consumer-goods companies in the world. Leuven's Town Hall is one of the best-known Gothic town halls worldwide and Leuven's pride and joy. It took three architects and thirty years to build it. Leuven's 'Hall of Fame' features 236 statues, which were only added to the façade after 1850. There are 220 men and 16 women in total. On the bottom floor are famous Leuven scientists, artists and historical figures, dressed in Burgundian garb. The first floor is reserved for the patron saints of the various parishes of Leuven. Above them the façade is adorned by the counts and dukes of Brabant while the towers primarily feature biblical figures. ANT 2019 will be held in conjunction with the 2nd International Conference on Emerging Data and Industry 4.0 (EDI40, http://cs-conferences.acadiau.ca/edi40-19/). Conference Tracks - Agent Systems, Intelligent Computing and Applications - Big Data and Analytics - Cloud Computing - Context-awareness and Multimodal Interfaces - Emerging Networking, Tracking and Sensing Technologies - Human Computer Interaction - Internet of Things - Mobile Networks, Protocols and Applications - Modeling and Simulation in Transportation Sciences - Multimedia and Social Computing - Service Oriented Computing for Systems & Applications - Smart, Sustainable Cities and Climate Change Management - Smart Environments and Applications - Systems Security and Privacy - Systems Software Engineering - Vehicular Networks and Applications - General Track: Distributed systems, networks and applications General Chairs Atta Badii, University of Reading, UK Albert Zomaya, The University of Sydney, Australia Program Chairs Hossam Hassanein, Queen's University, Canada Ansar-Ul-Haque Yasar, IMOB – Hasselt University, Belgium Local Chair An Nevns, Hasselt University, Belgium Workshops Chair Stéphane Galland, UTBM, France Advisory Committee Reda Alhajj, University of Calgary, Canada Sajal K. Das, The University of Texas at Arlington, USA Erol Gelenbe, Imperial College, UK Vincenzo Loia, University of Salerno, Italy Peter Sloot, Universiteit van Amsterdam, Netherlands Ralf Steinmetz, Technische Universitaet Darmstadt, Germany Katia Sycara, Carnegie Mellon University, USA Peter Thomas, Manifesto Research, Australia International Journals Chair Michael Sheng, Macquarie University, Australia Program Vice Chairs Imene Lahyani Abdennadher, University of Sfax, Tunisia Boulmakoul Azedine, Hassan II University, Morocco Marcel Baunach, Graz University of Technology, Austria Tom Bellemans, Hasselt University, Belgium Nik Bessis, Edge Hill University, UK Kechar Bouabdellah, Oran 1 Ahmed BenBella University, Algeria Samia Bouzefrane,CEDRIC Lab Conservatoire National des Arts et Métiers, France Roberto Di Pietro, Hamad Bin Khalifa University, Qatar Khalil Drira, LAAS-CNRS, France Wael El-Medany, University of Bahrain, Bahrain John Gallagher, Trinity College Dublin, Ireland Jason Jaskolka, Carleton University, Canada Flavio Lombardi, Roma Tre University of Rome, Italy Haroon Malik, Marshall University, USA Ahmed Nait Sidi Moh, University of Picardie Jules Verne, France Manuele Kirsch Pinheiro, University of Paris 1, France Cristina Seceleanu, Mälardalen University, Västerås, Sweden Khaled Shaaban, Qatar University, Qatar Ridha Soua, Luxembourg University, Luxembourg Yves Vanrompay, Hasselt University, Belgium Yun Zhou, Shaanxi Normal University, China Publicity Chairs Wim Ectors, Hasselt University, Belgium Davidekova Monika, Comenius University, Slovak Republic International Liaison Chairs Soumaya Cherkaoui, Sherbrooke University, Canada Paul Davidsson, Malmo University, Sweden David Taniar, Monash University, Australia Steering Committee Elhadi Shakshuki, Acadia University, Canada (Chair and ANT Founder) -------------- next part -------------- An HTML attachment was scrubbed... URL: From icfp.publicity at googlemail.com Tue Oct 30 01:56:13 2018 From: icfp.publicity at googlemail.com (Sam Tobin-Hochstadt) Date: Mon, 29 Oct 2018 21:56:13 -0400 Subject: [Haskell] Call For Workshop Proposals Message-ID: <5bd7ba3d63832_407e12270d06283f@hermes.mail> CALL FOR WORKSHOP AND CO-LOCATED EVENT PROPOSALS ICFP 2019 24th ACM SIGPLAN International Conference on Functional Programming August 18 - 23, 2019 Berlin, Germany https://icfp19.sigplan.org/ The 24th ACM SIGPLAN International Conference on Functional Programming will be held in Berlin, Germany on August 18-23, 2019. ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. Proposals are invited for workshops (and other co-located events, such as symposiums) to be affiliated with ICFP 2019 and sponsored by SIGPLAN. These events should be less formal and more focused than ICFP itself, include sessions that enable interaction among the attendees, and foster the exchange of new ideas. The preference is for one-day events, but other schedules can also be considered. The workshops are scheduled to occur on August 18th (the day before ICFP) and 22-23th of August (the two days after ICFP). ---------------------------------------------------------------------- Submission details Deadline for submission: November 25, 2018 Notification of acceptance: December 23, 2018 Prospective organizers of workshops or other co-located events are invited to submit a completed workshop proposal form in plain text format to the ICFP 2019 workshop co-chairs (Jennifer Hackett and Christophe Scholliers), via email to icfp-workshops-2019 at googlegroups.com by November 25, 2018. (For proposals of co-located events other than workshops, please fill in the workshop proposal form and just leave blank any sections that do not apply.) Please note that this is a firm deadline. Organizers will be notified if their event proposal is accepted by December 23, 2018, and if successful, depending on the event, they will be asked to produce a final report after the event has taken place that is suitable for publication in SIGPLAN Notices. The proposal form is available at: http://www.icfpconference.org/icfp2019-files/icfp19-workshops-form.txt Further information about SIGPLAN sponsorship is available at: http://www.sigplan.org/Resources/Proposals/Sponsored/ ---------------------------------------------------------------------- Selection committee The proposals will be evaluated by a committee comprising the following members of the ICFP 2019 organizing committee, together with the members of the SIGPLAN executive committee. Workshop Co-Chair: Jennifer Hackett (University of Nottingham) Workshop Co-Chair: Christophe Scholliers (University of Ghent) General Chair: Derek Dreyer (MPI-SWS) Program Chair: François Potier (Inria) ---------------------------------------------------------------------- Further information Any queries should be addressed to the workshop co-chairs (Jennifer Hackett and Christophe Scholliers), via email to icfp-workshops-2019 at googlegroups.com