From cfp at mat.unical.it Mon Sep 3 16:48:05 2018 From: cfp at mat.unical.it (Simona Perri) Date: Mon, 3 Sep 2018 18:48:05 +0200 Subject: [Haskell] JELIA 2019 - Preliminary Call for Papers Message-ID: [apologies for multiple postings] = PRELIMINARY Call for Papers = 16th European Conference on Logics in Artificial Intelligence (JELIA 2019) May 8-10, 2019, Rende, Italy == Aim and Scope == 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. Authors are invited to submit papers presenting original and unpublished research in all areas related to the use of logics in Artificial Intelligence. 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 == Submissions == JELIA 2019 welcomes submissions of long or short papers in the following categories: A. 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. B. 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 Submission: JELIA 2019 will not accept any paper which, 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. JELIA 2019 (abstract and paper) submissions are handled through the EasyChair conference management system: https://easychair.org/conferences/?conf=jelia2019. == Important Dates == (tentative) November 26th, 2018, 23:59 UTC-12: Abstract submission December 3rd, 2018, 23:59 UTC-12: Paper submission January 16th, 2019: Notification of acceptance February 28th, 2019: Camera-ready due March 1st, 2019: Online registration opens == Venue == University of Calabria, Rende, Italy == Further Information == WWW: https://jelia2019.mat.unical.it/ Email: jelia2019 at mat.unical.it == Committees == === General Chair === Nicola Leone – University of Calabria, Italy === Program Chairs === Francesco Calimeri – University of Calabria, Italy Marco Manna – University of Calabria, Italy === Organization Chairs === Carmine Dodaro – University of Genova, Italy Valeria Fionda – University of Calabria, Italy === Publicity Chair === Simona Perri - University of Calabria, Italy === Finance Chair === TBA === Program Committee === TBA From travis at anduril.com Tue Sep 4 16:38:38 2018 From: travis at anduril.com (Travis Whitaker) Date: Tue, 4 Sep 2018 09:38:38 -0700 Subject: [Haskell] [Haskell, FP] Anduril Industries is Hiring Message-ID: Anduril Industries (https://www.anduril.com/careers) is hiring. Come write Haskell, Nix, and a bit of C++ to solve problems in detection, tracking, hardware interfaces, sensor fusion, and computer vision. Here are just a few of the things we're hacking on in Haskell: - Nix workflow tools for cross-compilation, CI, deployment, and upgrades over heterogeneous, unreliable infrastructure. - Radar signal processing (with CUDA via *Accelerate*), target detection, and real-time visualization. - sUAS controls and mission planning. - Comprehensively tested (i.e. thoroughly QuickCheck'd/SmallCheck'd) implementations of industrial hardware interface protocols like CAN, CANopen, MAVLink, etc., as well as internally developed protocols. - High-reliability systems for performing health checks and over-the-air firmware upgrades of embedded systems deployed in remote environments. - A library of low-latency, high-throughput video processing components, used for performing image stabilization, object detection, and transcoding in real time on streaming video. - TUI debugging tools built with *brick*. We're looking for junior and senior devs who are able to relocate to our lab in Orange County, California, USA. If this sounds interesting, shoot me an email at travis at anduril.com Thanks for reading! Travis Whitaker -------------- next part -------------- An HTML attachment was scrubbed... URL: From 78emil at gmail.com Wed Sep 5 08:33:15 2018 From: 78emil at gmail.com (Emil Axelsson) Date: Wed, 5 Sep 2018 10:33:15 +0200 Subject: [Haskell] Senior Haskell Developer opening at Mpowered Message-ID: <88da981e-8802-77a2-52db-f64fe64ea9c1@gmail.com> We are looking for a Haskeller to help us move our application forward using Haskell. We're a remote-only team based in South Africa and Sweden. Bonus if you've used some Nix or Ruby before! https://mpowered.co.za/jobs/ / Emil From Graham.Hutton at nottingham.ac.uk Mon Sep 10 12:51:14 2018 From: Graham.Hutton at nottingham.ac.uk (Graham Hutton) Date: Mon, 10 Sep 2018 12:51:14 +0000 Subject: [Haskell] Mathematics of Program Construction (MPC), Portugal, 2019 Message-ID: Dear all, The next Mathematics of Program Construction (MPC) conference will be held in the historic city of Porto, Portugal in October 2019, co-located with the Symposium on Formal Methods (FM). Please share, and submit your best papers! Best wishes, Graham Hutton Program Chair, MPC 2019 ====================================================================== 13th International Conference on Mathematics of Program Construction 7-9 October 2019, Porto, Portugal Co-located with Formal Methods 2019 https://tinyurl.com/MPC-Porto ====================================================================== BACKGROUND: The International Conference on Mathematics of Program Construction (MPC) aims to promote the development of mathematical principles and techniques that are demonstrably practical and effective in the process of constructing computer programs. MPC 2019 will be held in Porto, Portugal from 7-9 October 2019, and is co-located with the International Symposium on Formal Methods, FM 2019. Previous conferences were held in Königswinter, Germany (2015); Madrid, Spain (2012); Québec City, Canada (2010); Marseille, France (2008); Kuressaare, Estonia (2006); Stirling, UK (2004); Dagstuhl, Germany (2002); Ponte de Lima, Portugal (2000); Marstrand, Sweden (1998); Kloster Irsee, Germany (1995); Oxford, UK (1992); Twente, The Netherlands (1989). SCOPE: MPC seeks original papers on mathematical methods and tools put to use in program construction. Topics of interest range from algorithmics to support for program construction in programming languages and systems. Typical areas include type systems, program analysis and transformation, programming language semantics, security, and program logics. The notion of a 'program' is interpreted broadly, ranging from algorithms to hardware. Theoretical contributions are welcome, provided that their relevance to program construction is clear. Reports on applications are welcome, provided that their mathematical basis is evident. We also encourage the submission of 'programming pearls' that present elegant and instructive examples of the mathematics of program construction. IMPORTANT DATES: Abstract submission 26th April 2019 Paper submission 3rd May 2019 Author notification 14th June 2019 Camera ready copy 12th July 2019 Conference 7-9 October 2019 SUBMISSION: Submission is in two stages. Abstracts (plain text, maximum 250 words) must be submitted by 26th April 2019. Full papers (pdf, formatted using the llncs.sty style file for LaTex) must be submitted by 3rd May 2019. There is no prescribed page limit, but authors should strive for brevity. Both abstracts and papers will be submitted using EasyChair. Papers must present previously unpublished work, and not be submitted concurrently to any other publication venue. Submissions will be evaluated by the program committee according to their relevance, correctness, significance, originality, and clarity. Each submission should explain its contributions in both general and technical terms, clearly identifying what has been accomplished, explaining why it is significant, and comparing it with previous work. Accepted papers must be presented in person at the conference by one of the authors. The proceedings of MPC 2019 will be published in the Lecture Notes in Computer Science (LNCS) series, as with all previous instances of the conference. Authors of accepted papers will be expected to transfer copyright to Springer for this purpose. After the conference, authors of the best papers from MPC 2019 and MPC 2015 will be invited to submit revised versions to a special issue of Science of Computer Programming (SCP). For any queries about submission please contact the program chair, Graham Hutton . PROGRAM COMMITTEE: Patrick Bahr IT University of Copenhagen, Denmark Richard Bird University of Oxford, UK Corina Cîrstea University of Southampton, UK Brijesh Dongol University of Surrey, UK João F. Ferreira University of Lisbon, Portugal Jennifer Hackett University of Nottingham, UK William Harrison University of Missouri, USA Ralf Hinze University of Kaiserslautern, Germany Zhenjiang Hu National Institute of Informatics, Japan Graham Hutton (chair) University of Nottingham, UK Cezar Ionescu University of Oxford, UK Mauro Jaskelioff National University of Rosario, Argentina Ranjit Jhala University of California, San Diego, USA Ekaterina Komendantskaya Heriot-Watt University, UK Bernhard Möller University of Augsburg, Germany Shin-Cheng Mu Academia Sinica, Taiwan Mary Sheeran Chalmers University of Technology, Sweden Alexandra Silva University College London, UK Georg Struth University of Sheffield, UK VENUE: The conference will be held at the Alfândega Porto Congress Centre, a 150 year old former custom's house located in the historic centre of Porto on the bank of the river Douro. The venue was renovated by a Pritzer prize winning architect and has received many awards. LOCAL ORGANISERS José Nuno Oliveira University of Minho, Portugal For any queries about local issues please contact the local organiser, José Nuno Oliveira . ====================================================================== This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please contact the sender and delete the email and attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. Email communications with the University of Nottingham may be monitored where permitted by law. From brucker at spamfence.net Tue Sep 11 09:15:32 2018 From: brucker at spamfence.net (Achim D. Brucker) Date: Tue, 11 Sep 2018 10:15:32 +0100 Subject: [Haskell] Call for Papers: Postproceedings for ThEdu'18 by EPTCS Message-ID: <20180911091532.amw3lkverwo45gff@kandagawa.home.brucker.ch> (Apologies for duplicates) Open Call for Papers ************************************************************************** Postproceedings for ThEdu'18 by EPTCS Theorem proving components for Educational software http://www.uc.pt/en/congressos/thedu/thedu18 ************************************************************************** Workshop ThEdu at FLoC Federated Logic Conference 2018 http://www.floc2018.org/ ************************************************************************** THedu'18 Postproceedings: ThEdu's programme comprised seven contributions, presented also in the webpages. Now postproceedings are planned to collect the contributions upgraded to full papers. The contributions' topics are diverse according to ThEdu's scope, and this is a call open for everyone, also those who did not participate in the workshop. All papers will undergo review according to EPTCS standards. THedu'18 Scope: Computer Theorem Proving is becoming a paradigm as well as a technological base for a new generation of educational software in science, technology, engineering and mathematics. The workshop brings together experts in automated deduction with experts in education in order to further clarify the shape of the new software generation and to discuss existing systems. Topics of interest include: * methods of automated deduction applied to checking students' input; * methods of automated deduction applied to prove post-conditions for particular problem solutions; * combinations of deduction and computation enabling systems to propose next steps; * automated provers specific for dynamic geometry systems; * proof and proving in mathematics education. Important Dates * 2nd call for papers: 10 Sep 2018 * Submission (full papers): 18 Nov 2018 * Notification of acceptance: 17 Dec 2018 * Revised papers due: 21 Jan 2019 Submission We welcome submission of papers presenting original unpublished work which is not been submitted for publication elsewhere. The authors should comply with the "instructions for authors", LaTeX style files and accept the "Non-exclusive license to distribute" of EPTCS: Instructions for authors (http://info.eptcs.org/) LaTeX style file and formatting instructions (http://style.eptcs.org/) Copyright (http://copyright.eptcs.org/) Papers should be submitted via easychair, https://easychair.org/conferences/?conf=thedu18. In case the contributions finally do not reach the standards of EPTCS in number, there will be an alternative to publish as a techreport at CISUC https://www.cisuc.uc.pt/publications. Program Committee Francisco Botana, University of Vigo at Pontevedra, Spain Roman Hašek, University of South Bohemia, Czech Republic Filip Maric, University of Belgrade, Serbia Walther Neuper, Graz University of Technology, Austria (co-chair) Pavel Pech, University of South Bohemia, Czech Republic Pedro Quaresma, University of Coimbra, Portugal (co-chair) Vanda Santos, CISUC, Portugal Wolfgang Schreiner, Johannes Kepler University, Austria -- Dr. Achim D. Brucker | Software Assurance & Security | University of Sheffield https://www.brucker.ch | https://logicalhacking.com/blog @adbrucker | @logicalhacking From tarmo at cs.ioc.ee Tue Sep 11 12:44:03 2018 From: tarmo at cs.ioc.ee (Tarmo Uustalu) Date: Tue, 11 Sep 2018 12:44:03 +0000 Subject: [Haskell] ETAPS 2019 1st joint call for papers Message-ID: <20180911124403.25bd3628@cs.ioc.ee> ****************************************************************** JOINT CALL FOR PAPERS 22nd European Joint Conferences on Theory And Practice of Software ETAPS 2019 Prague, Czech Republic, 6-11 April 2019 http://www.etaps.org/2019 ****************************************************************** -- ABOUT ETAPS -- ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of five main annual conferences, accompanied by satellite workshops. ETAPS 2019 is the twenty-second event in the series. -- MAIN CONFERENCES (8-11 April) -- * ESOP: European Symposium on Programming (PC chair Luís Caires, Universidade Nova de Lisboa, Portugal) * FASE: Fundamental Approaches to Software Engineering (PC chairs Reiner Hähnle, Technische Univ Darmstadt, Germany, and Wil van der Aalst, RWTH Aachen University, Germany) * FoSSaCS: Foundations of Software Science and Computation Structures (PC chairs Mikolaj Bojanczyk, University of Warsaw, Poland, and Alex Simpson, University of Ljubljana, Slovenia) * POST: Principles of Security and Trust (PC chairs Flemming Nielson, Danmarks Tekniske Univ, Denmark, and David Sands, Chalmers Tekniska Högskola, Sweden) * TACAS: Tools and Algorithms for the Construction and Analysis of Systems (PC chairs Tomás Vojnar, Brno Univ of Technology, Czech Rep, and Lijun Zhang, Chinese Academy of Sciences, China) TACAS '19 hosts the 8th Competition on Software Verification (SV-COMP). -- INVITED SPEAKERS -- * Unifying speakers: Marscha Chechik (University of Toronto, Canada) Kathleen Fisher (Tufts University, USA) * FoSSaCS invited speaker: Thomas Colcombet (IRIF, France) * TACAS invited speaker: Cormac Flanagan (University of California at Santa Cruz, USA) -- IMPORTANT DATES * Abstracts due: 9 November 2018 23:59 AoE * Papers due: 16 November 2018 23:59 AoE * Rebuttal (ESOP, FoSSaCS, POST): 11 January 00:01 AoE - 14 January 2019 23:59 AoE * Notification: 25 January 2019 * Camera-ready versions due: 15 February 2019 -- SUBMISSION INSTRUCTIONS -- ETAPS conferences solicit contributions of two types: research papers and tool demonstration papers. ESOP and FoSSaCS accept only research papers. FASE, POST and TACAS have multiple types of research papers, see below. All accepted papers will appear in the proceedings and have presentations during the conference. A condition of submission is that, if the submission is accepted, one of the authors attends the conference to give the presentation. Submitted papers must be in English presenting original research. They must be unpublished and not submitted for publication elsewhere (this does not apply to abstracts). In particular, simultaneous submission of the same contribution to multiple ETAPS conferences is forbidden. Submissions must follow the formatting guidelines of Springer's Lecture Notes in Computer Science and be submitted electronically in pdf through the EasyChair author interface of the respective conference. Submissions not adhering to the specified format and length may be rejected immediately. FASE and POST use double-blind review. Like ETAPS 2018, the proceedings of ETAPS 2019 will be published in *gold open access*. The copyright of the papers will remain with the authors. The proceedings will be published in the Advanced Research in Computing and Software Science (ARCoSS) subline of Springer's Lecture Notes in Computer Science series. The publisher's charges for gold open access will be paid by the conference (funded with the participation fees of all participants). There will be no added cost for authors specifically. - Research papers FASE, FoSSaCS and TACAS have a page limit of 15 pp (excluding bibliography) for research papers, whereas POST allows at most 20 pp (excluding bibliography) and ESOP 25 pp (excluding bibliography). Additional material intended for the referees but not for publication in the final version - for example, details of proofs - may be placed in a clearly marked appendix that is not included in the page limit. ETAPS referees are at liberty to ignore appendices and papers must be understandable without them. In addition to regular research papers, TACAS solicits also *case study papers* (with the same page limit as for regular research papers). POST solicits also *systematization of knowledge papers* (with the same page limit as for regular research papers) and *position papers* (max 10 pp, excluding bibliography). Both TACAS and FASE solicit also *regular tool papers* (at most 15 pp, excluding bibliography). - Tool demonstration papers Tool demo papers have a page limit of 6 pp. The individual conferences FASE, POST, TACAS have additional specific requirements on tool demo papers. ESOP and FoSSaCS do not consider tool demonstration papers. -- SATELLITE EVENTS (6-7 April) -- A number of satellite workshops will take place before the main conferences: BEHAPI, CREST, DICE-FOPARA, GaLoP, HCVS, HSB, InterAVT, LiVe, MeTRiD, PERR, PLACES, QAPL, SPIoT. -- HOST INSTITUTION -- ETAPS 2019 is hosted by the School of Computer Science of the Charles University in Prague, the beautiful capital of the Czech Republic. -- ORGANIZERS Jan Kofron and Jan Vitek (general chairs), Barbora Buhnova, Milan Ceska, Ryan Culpepper, Vojtech Horky, Paley Li, Petr Maj, Artem Pelenitsyn, David Safranek -- FURTHER INFORMATION -- Please do not hesitate to contact the organizers at jan.kofron at d3s.mff.cuni.cz and j.vitek at neu.edu. From Monika.Davidekova at fm.uniba.sk Tue Sep 11 12:59:14 2018 From: Monika.Davidekova at fm.uniba.sk (Davidekova Monika) Date: Tue, 11 Sep 2018 12:59:14 +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 c.grelck at uva.nl Fri Sep 14 11:44:19 2018 From: c.grelck at uva.nl (Clemens Grelck) Date: Fri, 14 Sep 2018 13:44:19 +0200 Subject: [Haskell] Post-doc in programming languages for energy-, time- and security-aware parallel computing (Amsterdam) Message-ID: <6e9814b6-39e5-38ab-fd55-d83a3b3ab143@uva.nl> 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-researcher-in-programming-languages-and-energy-aware-parallel-computing.html?search=sne&origin=dxuSI3bDRY2CW7N9J3yPlw 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 mail at joachim-breitner.de Sun Sep 16 08:14:18 2018 From: mail at joachim-breitner.de (Joachim Breitner) Date: Sun, 16 Sep 2018 10:14:18 +0200 Subject: [Haskell] Call for lightning talks and participation -- Haskell Implementors' Workshop Message-ID: Call for Contributions ACM SIGPLAN Haskell Implementors’ Workshop Sunday, 23 September, 2018 https://icfp18.sigplan.org/track/hiw-2018-papers Co-located with ICFP 2018 St. Louis, Missouri, US https://conf.researchr.org/home/icfp-2018 The Haskell Implementors Workshop is only one week away! Time to look at our great program at https://icfp18.sigplan.org/track/hiw-2018-papers#program and plan your day! Lightning Talks --------------- Like in the previous years, we will have slots for lightning talks. And because they were so successful last year, we will have more! *Topics* Anything related to Haskell implementations, fun uses of Haskell etc. goes. Feel free to tell us about ongoing work, to entertain, to rant, to stir a debate! (If you ever have been to a security or crypto conference, you might have attended their “rump session”. While there will not be alcohol involved at HIW, I hope that we can still match their creativity and insightful fun.) *Rules* * There are 3 sets of 3 lightning talks. * Sign-up is on day of the event, in person, on paper. No prior registration possible. * Lightning talks are 8 mins or less. If you know that your lightning talk takes less time, please say so, and maybe we can put four lightning talks into the slot. * Lightning talks do not count as peer-reviewed publications and are not published in the conference proceedings. Program Committee ----------------- * Edwin Brady (University of St. Andrews, UK) * Joachim Breitner – chair (DFINITY / University of Pennsylvania) * Ben Gamari (Well-Typed LLP) * Michael Hanus (Kiel University) * Roman Leshchinsky (Facebook) * Niki Vazou (University of Maryland) Contact ------- * Joachim Breitner -- Joachim Breitner former post-doctoral researcher http://cis.upenn.edu/~joachim -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 833 bytes Desc: This is a digitally signed message part URL: From myreen at chalmers.se Mon Sep 17 11:55:47 2018 From: myreen at chalmers.se (Magnus Myreen) Date: Mon, 17 Sep 2018 13:55:47 +0200 Subject: [Haskell] CPP 2019: Final Call for Papers Message-ID: 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 at 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 at easychair.org). Conference webpage: https://popl19.sigplan.org/track/CPP-2019 From ben at well-typed.com Sat Sep 22 00:57:02 2018 From: ben at well-typed.com (Ben Gamari) Date: Fri, 21 Sep 2018 20:57:02 -0400 Subject: [Haskell] [ANNOUNCE] GHC 8.6.1 released Message-ID: <87wore1h9i.fsf@smart-cactus.org> 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.html 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 -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 487 bytes Desc: not available URL: From hvriedel at gmail.com Sat Sep 22 08:34:39 2018 From: hvriedel at gmail.com (Herbert Valerio Riedel) Date: Sat, 22 Sep 2018 10:34:39 +0200 Subject: [Haskell] [ANNOUNCE] GHC 8.6.1 released In-Reply-To: <87wore1h9i.fsf@smart-cactus.org> (Ben Gamari's message of "Fri, 21 Sep 2018 20:57:02 -0400") References: <87wore1h9i.fsf@smart-cactus.org> Message-ID: <874leihqw0.fsf@gmail.com> Hello everyone, Here's an addendum to the announcment as it ommitted an important detail: GHC 8.6.1 is only guaranteed to work properly with tooling which uses lib:Cabal version 2.4.0.1 or later. As such, GHC 8.6.1 works best with ​`cabal-install` 2.4.0.0 or later; please upgrade to `cabal-install` 2.4.0.0 if you haven't already. Note that cabal-install 2.4 supports all GHC versions back till GHC 7.0.4 and we also strongly recommend to use the latest available stable release of `cabal` even with older GHC releases as bugfixes and improvements aren't always backported to older Cabal releases as well as to be able to benefit from recently added CABAL format features[8] (or be able to access package releases on Hackage[9] which rely on those features) which require recent enough versions of Cabal as well. Note that binaries aren't available on cabal's download page[1] yet. If you're on Ubuntu or Debian, you can get a compiled cabal-install 2.4 `.deb` package via Apt from - https://launchpad.net/~hvr/+archive/ubuntu/ghc or - http://downloads.haskell.org/debian/ respectively. Binary versions for macOS and Windows are also expected to become available via [2] and [3] soon (and also at [1]). In the meantime, if you already have GHC 7.10 or later (together with a compatible `cabal` executable) installed, you can easily install cabal 2.4 yourself from Hackage[9] by invoking cabal install cabal-install-2.4.0.0 and making sure that the resulting `cabal` executable is accessible via your $PATH; you can check with `cabal --version` which should emit something along the lines of $ cabal --version cabal-install version 2.4.0.0 compiled using version 2.4.0.1 of the Cabal library Finally, the Haskell Platform[4] release for GHC 8.6.1 should be available soon as well which provides yet another recommended "standard way to get GHC and related tools"[5] in a uniform way across multiple operating systems. See [4] and [5] for more details about the standard Haskell Platform distribution. [1]: https://www.haskell.org/cabal/download.html [2]: https://haskell.futurice.com/ [3]: https://hub.zhox.com/posts/chocolatey-introduction/ [4]: https://www.haskell.org/platform/ [5]: https://mail.haskell.org/pipermail/ghc-devs/2015-July/009379.html [6]: https://launchpad.net/~hvr/+archive/ubuntu/ghc [7]: http://downloads.haskell.org/debian/ [8]: https://cabal.readthedocs.io/en/latest/file-format-changelog.html [9]: http://hackage.haskell.org/ -- Herbert On 2018-09-21 at 20:57:02 -0400, Ben Gamari wrote: > 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.html > > 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 From ben at well-typed.com Mon Sep 24 13:36:38 2018 From: ben at well-typed.com (Ben Gamari) Date: Mon, 24 Sep 2018 08:36:38 -0500 Subject: [Haskell] [ANNOUNCE] GHC 8.6.1 released In-Reply-To: References: <87wore1h9i.fsf@smart-cactus.org> Message-ID: <4E0D6D6B-0F2F-4070-A22E-8336A7905667@well-typed.com> On September 24, 2018 2:09:13 AM CDT, Jens Petersen 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. From splash.publicity at gmail.com Tue Sep 25 12:07:19 2018 From: splash.publicity at gmail.com (SPLASH Publicity) Date: Tue, 25 Sep 2018 08:07:19 -0400 Subject: [Haskell] SPLASH 2018: Call for Participation Message-ID: 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 at 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 From c.grelck at uva.nl Thu Sep 27 07:20:05 2018 From: c.grelck at uva.nl (Clemens Grelck) Date: Thu, 27 Sep 2018 09:20:05 +0200 Subject: [Haskell] Post-doc in programming languages and energy-, time- and security-aware parallel computing (Amsterdam) 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 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-researcher-in-programming-languages-and-energy-aware-parallel-computing.html?search=sne&origin=dxuSI3bDRY2CW7N9J3yPlw 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 ---------------------------------------------------------------------- -------------- next part -------------- An HTML attachment was scrubbed... URL: