- Haskell - Haskell.org

[Call for Contributions] Haskell Communities and Activities Report, November 2018 edition (35th edition)
by Mihai Maruseac 06 Oct '18

06 Oct '18

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

1 0

Formal Methods 2019: First Call for Papers
by Renato Neves 05 Oct '18

05 Oct '18

================================================================================================== 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

1 0

[EDI40 2019] International Conference on Emerging Data and Industry 4.0. Leuven, Belgium, April 29 - May 2, 2019
by Wim Ectors 05 Oct '18

05 Oct '18

*************************************************************************** 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 <https://chrome.google.com/webstore/detail/mail-merge-with-attachmen/nifmcbj…>

1 0

[ANT2019] 10th International Conference on Ambient Systems, Networks and Technologies. Leuven, Belgium (April 29 - May 2, 2019)
by Davidekova Monika 05 Oct '18

05 Oct '18

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)

1 0

JELIA 2019 - First CfP - IJCAI, TPLP publications and Awards
by cfp＠mat.unical.it 02 Oct '18

02 Oct '18

[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(a)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)

1 0

Post-doc in programming languages and energy-, time- and security-aware parallel computing (Amsterdam)
by Clemens Grelck 27 Sep '18

27 Sep '18

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 1, 2018 All further information and a link to apply can be found here: http://www.uva.nl/en/content/vacancies/2018/09/18-525--postdoctoral-researc… Or contact us directly: Dr Clemens Grelck: c.grelck(a)uva.nl Dr Sebastian Altmeyer: altmeyer(a)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 ----------------------------------------------------------------------

1 0

SPLASH 2018: Call for Participation
by SPLASH Publicity 25 Sep '18

25 Sep '18

ACM SIGPLAN SPLASH 2018 November 4-9, 2018 Boston, MA, USA http://2018.splashcon.org https://twitter.com/splashcon https://www.facebook.com/SPLASHCon/ The ACM SIGPLAN Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software construction, to make it the premier conference at the intersection of programming, languages, and software engineering. # Registration * 1 October 2018 (Early Deadline) <-- very soon! * Contact: info(a)splashcon.org * Register: https://2018.splashcon.org/attending/registration * Venue: https://2018.splashcon.org/venue/splash-2018-venue # What's Happening at SPLASH? ## Keynotes * Daniel Jackson A new modularity for software * Chris Granger Against the Current: What we Learned from Eve * Jenny Quillien Beauty is the Promise of Happiness * Barbara Liskov Distributed Abstractions * Felienne Hermans Explicit Direct Instruction in Programming Education * Kathi Fisler Programming Language Semantics through a Pedagogic Lens * Byron Cook Reasoning about Security of Amazon Web Services * Guy L. Steele Jr. (PLMW) 50 Years of Programming and Language Design * Saman Amarasinghe (GPCE) How to Make Sparse Fast * Martin Rinard (SLE) A New Approach for Software Correctness and Reliability ## Conference Program * https://2018.splashcon.org/program/program-splash-2018 ## SPLASH-I SPLASH-I is a series of research and industry talks, demos, and panels that address topics relevant to the SPLASH community. The SPLASH-I series is held in the afternoons of SPLASH. Talks are open to all attendees. * https://2018.splashcon.org/track/splash-2018-SPLASH-I#program ## Research Tracks and Co-Located Conferences and Symposia * OOPSLA https://2018.splashcon.org/track/splash-2018-OOPSLA * Onward! Essays https://2018.onward-conference.org/track/onward-2018-Onward-Essays#program * Onward! Papers https://2018.onward-conference.org/track/onward-2018-papers#program * GPCE - Generative Programming: Concepts and Experience https://conf.researchr.org/track/gpce-2018/gpce-2018#program * SLE - Software Language Engineering https://conf.researchr.org/track/sle-2018/papers#program * DLS - Dynamic Languages Symposium https://conf.researchr.org/track/dls-2018/dls-2018#program * SPLASH-E https://2018.splashcon.org/track/splash-2018-SPLASH-E ## Workshops SPLASH 2018 is hosting 16 workshops this year. * AGERE! - Programming based on Actors, Agents, and Decentralized Control https://2018.splashcon.org/track/agere-2018-papers * AI-SEPS - Artificial Intelligence and Empirical Methods for Software Engineering and Parallel Computing Systems https://2018.splashcon.org/track/seps-2018-papers * BLOCKS+ https://2018.splashcon.org/track/blocks%2B-2018-papers * DSLDI - Domain-Specific Language Design and Implementation https://2018.splashcon.org/track/dsldi-2018-talks * GRACE https://2018.splashcon.org/track/grace-2018-papers * HILT - High Integrity Languages and Tools for Ensuring Cyber-Resilience in Critical Software-Intensive Systems https://2018.splashcon.org/track/hilt-2018-papers * LIVE https://2018.splashcon.org/track/live-2018-papers * META - Meta-Programming Techniques and Reflection https://2018.splashcon.org/track/meta-2018 * NJR - Normalized Java Resource https://2018.splashcon.org/track/njr-2018-papers * NOOL - New Object-Oriented Languages https://2018.splashcon.org/track/nool-2018-papers * OCAP - Object-Capability Languages, Systems, and Applications https://2018.splashcon.org/track/ocap-2018-papers * PLATEAU - Evaluation and Usability of Programming Languages and Tools https://2018.splashcon.org/track/plateau-2018-papers * REBLS - Reactive and Event-based Languages & Systems https://2018.splashcon.org/track/rebls-2018-papers * SLEBoK - Software Language Engineering Body of Knowledge https://2018.splashcon.org/track/slebok-2018 * TURBO - Tutorial on Language Runtimes Built With Eclipse OMR https://2018.splashcon.org/track/turbo-2018-tutorial * VMIL - Virtual Machines and Language Implementations https://2018.splashcon.org/track/vmil-2018 ## Other Events * Doctoral Symposium https://2018.splashcon.org/track/splash-2018-Doctoral-Symposium * PL Mentoring Workshop https://2018.splashcon.org/track/splash-2018-PLMW * Posters https://2018.splashcon.org/track/splash-2018-Posters * Student Research Competition https://2018.splashcon.org/track/splash-2018-Student-Research-Competition

1 0

Re: [Haskell] [ANNOUNCE] GHC 8.6.1 released
by Ben Gamari 24 Sep '18

24 Sep '18

On September 24, 2018 2:09:13 AM CDT, Jens Petersen <juhpetersen(a)gmail.com> wrote: >I have built 8.6.1 for Fedora 27, 28, 29, Rawhide, and EPEL7 in: > >https://copr.fedorainfracloud.org/coprs/petersen/ghc-8.6.1/ > >The repo also includes latest cabal-install. > Thanks Jens! This is a very helpful service. Cheers, - Ben -- Sent from my Android device with K-9 Mail. Please excuse my brevity.

1 0

[ANNOUNCE] GHC 8.6.1 released
by Ben Gamari 22 Sep '18

22 Sep '18

Hello everyone, The GHC team is pleased to announce the availability of GHC 8.6.1, the fourth major release in the GHC 8 series. The source distribution, binary distributions, and documentation for this release are available at https://downloads.haskell.org/~ghc/8.6.1 The 8.6 release fixes over 400 bugs from the 8.4 series and introduces a number of exciting features. These most notably include: * A new deriving mechanism, `deriving via`, providing a convenient way for users to extend Haskell's typeclass deriving mechanism * Quantified constraints, allowing forall quantification in constraint contexts * An early version of the GHCi `:doc` command * The `ghc-heap-view` package, allowing introspection into the structure of GHC's heap * Valid hole fit hints, helping the user to find terms to fill typed holes in their programs * The BlockArguments extension, allowing the `$` operator to be omitted in some unambiguous contexts * An exciting new plugin mechanism, source plugins, allowing plugins to inspect and modify a wide variety of compiler representations. * Improved recompilation checking when plugins are used * Significantly better handling of macOS linker command size limits, avoiding linker errors while linking large projects * The next phase of the MonadFail proposal, enabling -XMonadFailDesugaring by default A full list of the changes in this release can be found in the release notes: https://downloads.haskell.org/~ghc/8.6.1/docs/html/users_guide/8.6.1-notes.… Perhaps of equal importance, GHC 8.6 is the second major release made under GHC's accelerated six-month release schedule and the first set of binary distributions built primarily using our new continuous integration scheme. While the final 8.6 release is around three weeks later than initially scheduled due to late-breaking bug reports, we expect that the 8.8 release schedule shouldn't be affected. 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: https://www.haskell.org/ghc/reportabug

2 1

CPP 2019: Final Call for Papers
by Magnus Myreen 17 Sep '18

17 Sep '18

Certified Programs and Proofs (CPP) is an international forum on theoretical and practical topics in all areas, including computer science, mathematics, and education, that consider certification as an essential paradigm for their work. Certification here means formal, mechanized verification of some sort, preferably with production of independently checkable certificates. In 2019, CPP will be co-located with Principles of Programming Languages (POPL) in Cascais/Lisbon, Portugal. Important Dates (AoE, UTC-12h) Abstract Deadline: 11 October 2018 Paper Submission Deadline: 18 October 2018 Author Notification: 22 November 2018 Camera-ready deadline: 27 November 2018 Conference dates: 14 January - 15 January 2019 Topics of interest We welcome submissions in research areas related to formal certification of programs and proofs. The following is a suggested list of topics of interests to CPP. This is a non-exhaustive list and should be read as a guideline rather than a requirement. - certified or certifying programming, compilation, linking, OS kernels, runtime systems, and security monitors; - program logics, type systems, and semantics for certified code; - certified decision procedures, mathematical libraries, and mathematical theorems; - proof assistants and proof theory; - new languages and tools for certified programming; - program analysis, program verification, and proof-carrying code; - certified secure protocols and transactions; - certificates for decision procedures, including linear algebra, polynomial systems, SAT, SMT, and unification in algebras of interest; - certificates for semi-decision procedures, including equality, first-order logic, and higher-order unification; - certificates for program termination; - logics for certifying concurrent and distributed programs; - higher-order logics, logical systems, separation logics, and logics for security; - teaching mathematics and computer science with proof assistants. Submission Guidelines Papers should be submitted in PDF format through the EasyChair submission page at https://easychair.org/conferences/?conf=cpp2019 Submitted papers must be formatted following the ACM SIGPLAN Proceedings format using the acmart format with the sigplan option, using 10 point font for the main text, and a header for single blind review submission, e.g., \documentclass[sigplan,10pt,review]{acmart}\settopmatter{printfolios=true,printccs=false,printacmref=false} Submitted papers should not exceed 12 pages, including tables and figures, but excluding bibliography. Shorter papers are welcome and will be given equal consideration. Submissions must be written in English and provide sufficient detail to allow the program committee to assess the merits of the paper. They should begin with a succinct statement of the issues, a summary of the main results, and a brief explanation of their significance and relevance to the conference, all phrased for the non-specialist. Technical and formal developments directed to the specialist should follow. References and comparisons with related work should be included. Submitted papers are not allowed to have an appendix. Papers not conforming to the above requirements concerning format and length may be rejected without further consideration. Whenever appropriate, the submission should come along with a formal development, using whatever prover, e.g., Agda, Coq, Dafny, Elf, HOL, HOL-Light, Isabelle, Lean, Matita, Mizar, NQTHM, PVS, Vampire, etc. Such formal developments must be submitted together with the paper as auxiliary material, and will be taken into account during the reviewing process. Please do so by including a link to your files in the text of your paper, or by sending a zip or tar file to the PC chairs at cpp2019(a)easychair.org with your paper number included in the subject of your email. The results must be unpublished and not submitted for publication elsewhere, including the proceedings of other published conferences or workshops. The PC chairs should be informed of closely related work submitted to a conference or journal in advance of submission. Original formal proofs of known results in mathematics or computer science are welcome. One author of each accepted paper is expected to present it at the conference. For any questions about the formatting or submission of papers, please consult the PC chairs (cpp2019(a)easychair.org) Conference webpage: https://popl19.sigplan.org/track/CPP-2019

1 0