From abela at chalmers.se Mon Mar 2 22:57:24 2020 From: abela at chalmers.se (Andreas Abel) Date: Mon, 2 Mar 2020 23:57:24 +0100 Subject: [Haskell] PPDP 2020 Call For Papers Message-ID: <89caab5b-64ae-bc68-d469-32272a7d3c26@chalmers.se> PPDP 2020 Call For Papers ========================= The 22nd International Symposium on Principles and Practice of Declarative Programming, [PPDP 2020](http://www.cse.chalmers.se/~abel/ppdp20/), held 8-10 September 2020 at the University of Bologna, Italy. TL;DR Abstract deadline: 11 May; paper deadline: 15 May. Scope ----- The PPDP 2020 symposium brings together researchers from the declarative programming communities, including those working in the functional, logic, answer-set, and constraint handling programming paradigms. The goal is to stimulate research in the use of logical formalisms and methods for analyzing, performing, specifying, and reasoning about computations, including mechanisms for concurrency, security, static analysis, and verification. Submissions are invited on all topics related to declarative programming, from principles to practice, from foundations to applications. Topics of interest include, but are not limited to: - Language Design: domain-specific languages; interoperability; concurrency, parallelism and distribution; modules; functional languages; reactive languages; languages with objects; languages for quantum computing; languages inspired by biological and chemical computation; metaprogramming. - Declarative languages in artificial intelligence: logic programming; database languages; knowledge representation languages; probabilistic languages; differentiable languages. - Implementations: abstract machines; interpreters; compilation; compile-time and run-time optimization; memory management. - Foundations: types; logical frameworks; monads and effects; semantics. - Analysis and Transformation: partial evaluation; abstract interpretation; control flow; data flow; information flow; termination analysis; resource analysis; type inference and type checking; verification; validation; debugging; testing. - Tools and Applications: programming and proof environments; verification tools; case studies in proof assistants or interactive theorem provers; certification; novel applications of declarative programming inside and outside of CS; declarative programming pearls; practical experience reports and industrial application; education. The PC chair will be happy to advise on the appropriateness of a topic. PPDP will take place 8-10 September 2020 at the University of Bologna, Italy, co-located with the 29th Int'l Symp. on Logic-Based Program Synthesis and Transformation (LOPSTR 2020) and the International conference on [Microservices 2020](https://www.conf-micro.services/2020/). Submission Categories --------------------- Submissions can be made in three categories: - regular Research Papers, - System Descriptions, and - Experience Reports. Submissions of Research Papers must present original research which is unpublished and not submitted elsewhere. They must not exceed 12 pages ACM style 2-column (including figures, but excluding bibliography). Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Research papers will be judged on originality, significance, correctness, clarity, and readability. Submission of System Descriptions must describe a working system whose description has not been published or submitted elsewhere. They must not exceed 10 pages and should contain a link to a working system. System Descriptions must be marked as such at the time of submission and will be judged on originality, significance, usefulness, clarity, and readability. Submissions of Experience Reports are meant to help create a body of published, refereed, citable evidence where declarative programming such as functional, logic, answer-set, constraint programming, etc., is used in practice. They must not exceed 5 pages **including references**. Experience Reports must be marked as such at the time of submission and need not report original research results. They will be judged on significance, usefulness, clarity, and readability. Possible topics for an Experience Report include, but are not limited to: - insights gained from real-world projects using declarative programming - comparison of declarative programming with conventional programming in the context of an industrial project or a university curriculum - curricular issues encountered when using declarative programming in education - real-world constraints that created special challenges for an implementation of a declarative language or for declarative programming in general - novel use of declarative programming in the classroom - programming pearl that illustrates a nifty new data structure or programming technique. Supplementary material may be provided via a link to an extended version of the submission (recommended), or in a clearly marked appendix beyond the above-mentioned page limits. Reviewers are not required to study extended versions or any material beyond the respective page limit. Material beyond the page limit will not be included in the final published version. Format of a submission ---------------------- For each paper category, you must use the most recent version of the "Current ACM Master Template" which is available at . The most recent version at the time of writing is 1.70. You must use the LaTeX sigconf proceedings template as the conference organizers are unable to process final submissions in other formats. In case of problems with the templates, contact [ACM's TeX support team at Aptara](mailto:acmtexsupport at aptaracorp.com). Authors should note [ACM's statement on author's rights](http://authors.acm.org/) which apply to final papers. Submitted papers should meet the requirements of [ACM's plagiarism policy](http://www.acm.org/publications/policies/plagiarism_policy). Requirements for publication ---------------------------- At least one author of each accepted submission will be expected to attend and present the work at the conference. The PC chair may retract a paper that is not presented. The PC chair may also retract a paper if complaints about the paper's correctness are raised which cannot be resolved by the final paper deadline. Important dates --------------- -------------------------------- ----- ---- ---------- Title and abstract registration: 11 May 2020 (AoE) Paper submission: 15 May 2020 (AoE) Rebuttal period (48 hours): 22-23 June 2020 (AoE) Author notification: 3 July 2020 Final paper version: 24 July 2020 Conference: 8-10 Sept 2020 -------------------------------- ----- ---- ---------- Organization ------------ ------------------------- -------------------- --------------------- Program committee chair: Andreas Abel, Gothenburg University General chair: Maurizio Gabbrielli, University of Bologna Steering committee chair: James Cheney, Edinburgh University ------------------------- -------------------- --------------------- -- Andreas Abel <>< Du bist der geliebte Mensch. Department of Computer Science and Engineering Chalmers and Gothenburg University, Sweden andreas.abel at gu.se http://www.cse.chalmers.se/~abela/ From abela at chalmers.se Tue Mar 3 00:19:26 2020 From: abela at chalmers.se (Andreas Abel) Date: Tue, 3 Mar 2020 01:19:26 +0100 Subject: [Haskell] PPDP 2020 Call For Papers (corrected link) Message-ID: PPDP 2020 Call For Papers ========================= The 22nd International Symposium on Principles and Practice of Declarative Programming, [PPDP 2020](http://www.cse.chalmers.se/~abela/ppdp20/), (**corrected**) held 8-10 September 2020 at the University of Bologna, Italy. TL;DR Abstract deadline: 11 May; paper deadline: 15 May. Scope ----- The PPDP 2020 symposium brings together researchers from the declarative programming communities, including those working in the functional, logic, answer-set, and constraint handling programming paradigms. The goal is to stimulate research in the use of logical formalisms and methods for analyzing, performing, specifying, and reasoning about computations, including mechanisms for concurrency, security, static analysis, and verification. Submissions are invited on all topics related to declarative programming, from principles to practice, from foundations to applications. Topics of interest include, but are not limited to: - Language Design: domain-specific languages; interoperability; concurrency, parallelism and distribution; modules; functional languages; reactive languages; languages with objects; languages for quantum computing; languages inspired by biological and chemical computation; metaprogramming. - Declarative languages in artificial intelligence: logic programming; database languages; knowledge representation languages; probabilistic languages; differentiable languages. - Implementations: abstract machines; interpreters; compilation; compile-time and run-time optimization; memory management. - Foundations: types; logical frameworks; monads and effects; semantics. - Analysis and Transformation: partial evaluation; abstract interpretation; control flow; data flow; information flow; termination analysis; resource analysis; type inference and type checking; verification; validation; debugging; testing. - Tools and Applications: programming and proof environments; verification tools; case studies in proof assistants or interactive theorem provers; certification; novel applications of declarative programming inside and outside of CS; declarative programming pearls; practical experience reports and industrial application; education. The PC chair will be happy to advise on the appropriateness of a topic. PPDP will take place 8-10 September 2020 at the University of Bologna, Italy, co-located with the 29th Int'l Symp. on Logic-Based Program Synthesis and Transformation (LOPSTR 2020) and the International conference on [Microservices 2020](https://www.conf-micro.services/2020/). Submission Categories --------------------- Submissions can be made in three categories: - regular Research Papers, - System Descriptions, and - Experience Reports. Submissions of Research Papers must present original research which is unpublished and not submitted elsewhere. They must not exceed 12 pages ACM style 2-column (including figures, but excluding bibliography). Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Research papers will be judged on originality, significance, correctness, clarity, and readability. Submission of System Descriptions must describe a working system whose description has not been published or submitted elsewhere. They must not exceed 10 pages and should contain a link to a working system. System Descriptions must be marked as such at the time of submission and will be judged on originality, significance, usefulness, clarity, and readability. Submissions of Experience Reports are meant to help create a body of published, refereed, citable evidence where declarative programming such as functional, logic, answer-set, constraint programming, etc., is used in practice. They must not exceed 5 pages **including references**. Experience Reports must be marked as such at the time of submission and need not report original research results. They will be judged on significance, usefulness, clarity, and readability. Possible topics for an Experience Report include, but are not limited to: - insights gained from real-world projects using declarative programming - comparison of declarative programming with conventional programming in the context of an industrial project or a university curriculum - curricular issues encountered when using declarative programming in education - real-world constraints that created special challenges for an implementation of a declarative language or for declarative programming in general - novel use of declarative programming in the classroom - programming pearl that illustrates a nifty new data structure or programming technique. Supplementary material may be provided via a link to an extended version of the submission (recommended), or in a clearly marked appendix beyond the above-mentioned page limits. Reviewers are not required to study extended versions or any material beyond the respective page limit. Material beyond the page limit will not be included in the final published version. Format of a submission ---------------------- For each paper category, you must use the most recent version of the "Current ACM Master Template" which is available at . The most recent version at the time of writing is 1.70. You must use the LaTeX sigconf proceedings template as the conference organizers are unable to process final submissions in other formats. In case of problems with the templates, contact [ACM's TeX support team at Aptara](mailto:acmtexsupport at aptaracorp.com). Authors should note [ACM's statement on author's rights](http://authors.acm.org/) which apply to final papers. Submitted papers should meet the requirements of [ACM's plagiarism policy](http://www.acm.org/publications/policies/plagiarism_policy). Requirements for publication ---------------------------- At least one author of each accepted submission will be expected to attend and present the work at the conference. The PC chair may retract a paper that is not presented. The PC chair may also retract a paper if complaints about the paper's correctness are raised which cannot be resolved by the final paper deadline. Important dates --------------- -------------------------------- ----- ---- ---------- Title and abstract registration: 11 May 2020 (AoE) Paper submission: 15 May 2020 (AoE) Rebuttal period (48 hours): 22-23 June 2020 (AoE) Author notification: 3 July 2020 Final paper version: 24 July 2020 Conference: 8-10 Sept 2020 -------------------------------- ----- ---- ---------- Organization ------------ ------------------------- -------------------- --------------------- Program committee chair: Andreas Abel, Gothenburg University General chair: Maurizio Gabbrielli, University of Bologna Steering committee chair: James Cheney, Edinburgh University ------------------------- -------------------- --------------------- -- Andreas Abel Department of Computer Science and Engineering Chalmers and Gothenburg University, Sweden andreas.abel at gu.se http://www.cse.chalmers.se/~abela/ From khouloud.boukadi at fsegs.usf.tn Tue Mar 3 07:32:23 2020 From: khouloud.boukadi at fsegs.usf.tn (Khouloud Boukadi) Date: Tue, 3 Mar 2020 08:32:23 +0100 Subject: [Haskell] Wetice'2020 paper deadline extended to March 10 Message-ID: [Apologies if you got multiple copies of this information] ====================================================================== *WETICE 2020* 29th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises 10-12 June 2020, Basque Coast - Bayonne, France Website: http://wetice2020.org ======================================================================= *Important Dates* Paper Submission Deadline: February 29th, 2020 Deadline extended to March 10, 2020 Notification of Acceptance: March 21st, 2020 Camera-ready: April 4th, 2020 Early registration: April 30th, 2020 Conference: June 10-12, 2020 *Context and Scope* The International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises WETICE is an international conference on the state-of-the-art research in enabling technologies for collaboration, consisting of several conference tracks. The 29th WETICE edition will be held on June 10-12, 2020 in Bayonne (French Basque country), France. WETICE topics of interest include but are not limited to: * Cloud-Based Collaborative Technologies in IoT * Adaptive and Reconfigurable Systems and Architectures * Complex Networks Monitoring, Security and Fraud Detection for Enterprises * Convergence of Distributed Clouds, Grids and their Management * Data Exploration in the Web 3.0 Age * Collaborative Software Processes * Formal Verification of Service Based Systems * Future Internet Services and Applications * Semantic Technologies in Smart Information Sharing and Web Collaboration * Security, Safety and Trust Management *List of Tracks* · Wetice General Track · Adaptive Computing (and Agents) for Enhanced Collaboration · Adaptive and Reconfigurable Service-oriented and component-based Applications and Architectures · Convergence of Distributed Clouds, Grids and their Management · Complex Networks Monitoring and Security and Fraud Detection for Enterprises · Future Internet Services and Applications · Security, Safety and Trust Management · Validating Software for Critical Systems · Semantic Technologies for Smart Information Sharing and Web Collaboration · Smart Living Space *Manuscript Guidelines and Submission* Papers up to six (6) pages (including figures, tables and references) should contain original contributions not published or submitted elsewhere and are to be formatted according to the IEEE template. Accepted papers will be included in the proceedings published by the IEEE Computer Society Press and will be archived in the IEEE digital library. The page limit for Full papers is 6 pages. No extra pages are allowed. The page limit for Short papers is 4 pages. No extra pages are allowed. At least one author for each accepted paper should register and attend WETICE 2020 to have the paper published in the proceedings. Papers should be submitted through the EasyChair platform using the following link: https://easychair.org/conferences/?conf=wetice2020 *General Chairs* Ernesto Exposito, Université de Pau et des Pays de l’Adour, France Khalil Drira, LAAS-CNRS, France *Program Chairs* Stefania Monica, Università degli Studi di Parma, Italy Sami Yangui, LAAS-CNRS, France ====================================================================== -- ********************************************************************************************************* *Khouloud Boukadi. Ph.D* *Associate Professor of Computer Science* Researcher in Multimedia, InfoRmation systems & Advanced Computing Laboratory-Miracl (http:// www.miracl.rnu.tn) Coordinator of Master of Science in IT Auditing and Cyber-Security Faculty of Economics and Management of Sfax (FSEGS ) University of Sfax, Tunisia Office: +216 74 279 710 Fax: +216 74 279 139 ********************************************************************************************************* -------------- next part -------------- An HTML attachment was scrubbed... URL: From wim.ectors at uhasselt.be Wed Mar 4 15:24:43 2020 From: wim.ectors at uhasselt.be (Wim Ectors) Date: Wed, 4 Mar 2020 07:24:43 -0800 Subject: [Haskell] [FNC-2020] Call for papers: Conference on Future Networks and Communications. Leuven, Belgium (August 9-12, 2020) Message-ID: ------------------------------------------------------------------------ The 15th International Conference on Future Networks and Communications Leuven, Belgium August 9-12, 2020 http://cs-conferences.acadiau.ca/fnc-20/ ------------------------------------------------------------------------ Future Networks and Communications (FNC) research effort will help to achieve a major promise of emerging technologies such as ubiquitous access to broadband, supporting vital applications in our daily lives such as health, energy consumption, environment transport, entertainment or education. The scope of FNC is the development of energy-efficient future network infrastructures that support the convergence and interoperability of heterogeneous mobile, wired and wireless broadband network technologies as enablers of the future Internet. This includes but not limited to ubiquitous fast broadband access and ultra-high speed end-to-end optical connectivity, supporting open services and innovative ambient applications. The scope also embraces novel and evolutionary approaches to tackle network architectures, taking due consideration of users and societal needs for success. Important Dates ---------------- - Paper Submission Due: March 19, 2020 - Acceptance Notification: May 17, 2020 - Final Manuscript Due: June 15, 2020 Publication ------------ All FNC 2020 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com) and will be freely available worldwide. All papers in Procedia will be indexed by Scopus (www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index ( http://thomsonreuters.com/conference-proceedings-citation-index/). All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com). This includes EI Compendex (www.ei.org/compendex). Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/). The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the following special issues: - International Journal of Ambient Intelligence and Humanized Computing (IF: 1.901), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics (IF: 0.524), ( http://www.cai.sk/ojs/index.php/cai/index) - International Journal of Transportation Research Part A: Policy and Practice (IF: 4.371), by Elsevier ( https://www.journals.elsevier.com/transportation-research-part-a-policy-and-practice/) - International Journal of Computer and Telecommunications Networking (IF: 3.030) (Pending), Elsevier ( https://www.journals.elsevier.com/computer-networks) FNC 2020 will be held in conjunction with the 17th International Conference on Mobile Systems and Pervasive Computing (MobiSPC http://cs-conferences.acadiau.ca/mobispc-20/). FNC 2020 will be held in the city of Leuven. 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 in 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. The facade is adorned by the counts and dukes of Brabant while the towers primarily feature biblical figures. COMMITTEES: ----------- General Chair Ladislav Hluchy, Institute of Informatics, Slovak Academy of Sciences, Slovakia Program Chairs Haroon Malik, Marshall University, USA Yves Vanrompay, Hasselt University, Belgium Workshops Chair Muhammad Adnan, Hasselt University, Belgium International Journals Chair Atta Badii, Reading University, UK Publicity Chairs Wim Ectors, Hasselt University, Belgium Mohammed Erritali, University Sultane Moulay Slimane, Morocco Advisory Committee Soumaya Cherkaoui, Sherbrooke University, Canada Erol Gelenbe, Imperial College, UK Roch Glitho, Concordia University, Canada Zygmunt J. Haas, Cornell University, USA Philippe Martins, Telecom Paris Tech, France Peter Sloot, Universiteit van Amsterdam, Netherlands David Taniar, Monash University, Australia Technical Program Committee http://cs-conferences.acadiau.ca/fnc-20/#programCommittees Sent via Mail Merge for Gmail -------------- next part -------------- An HTML attachment was scrubbed... URL: From athas at sigkill.dk Fri Mar 6 10:53:57 2020 From: athas at sigkill.dk (Troels Henriksen) Date: Fri, 06 Mar 2020 11:53:57 +0100 Subject: [Haskell] FHPPNC 2020 Call For Papers Message-ID: FHPNC 2020 Call for Papers ========================== Satellite event of the 25th ACM SIGPLAN International Conference on Functional Programming (ICFP 2020), held on the 23rd of August. TL:DR: Paper/abstract deadline 15 May. Scope ----- The ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing aims to bring together researchers and practitioners exploring or employing the use of functional or declarative programming languages or techniques in scientific computing, and specifically in the domains of high-performance computing and numerical programming. The purpose of the meeting is to enable sharing of results, experiences, and novel ideas about how high-level, declarative techniques can help make high-performance, distributed/parallel, or numerically-intensive code dealing with computationally challenging problems easier to write, read, maintain, or portable to new hardware architectures. Areas of interest include, but are not limited to: * relevant compiler technologies * runtime systems (including fault tolerance mechanisms and those supporting distributed or parallel computation) * domain-specific languages (embedded or standalone) * type systems * formal methods * software libraries (e.g. for exact or interval arithmetic). Submission details ------------------ Submissions should fall into one of two categories: * Regular research papers (up to 12 pages) * Extended abstracts (1 - 2 pages) The bibliography will not be counted against the page limits for either category. Regular research papers are expected to present novel and interesting research results, and will be included in the formal proceedings. Extended abstracts should report work in progress that the authors would like to present at the workshop; they will be evaluated primarily for relevance and interest. Extended abstracts will be distributed to workshop attendees but will not be published in the formal proceedings. We welcome submissions from PC members (with the exception of the PC Chair(s)), but these submissions will be held to a higher standard. Submission is handled through the HotCRP site. All submissions should be in portable document format (PDF) and formatted using the ACM SIGPLAN style guidelines. Submissions written with LaTeX are required to use the acmart format and the two-column sigplan subformat (not to be confused with the one-column acmlarge subformat!). Extended abstracts must be submitted with the label ‘Extended abstract’ clearly in the title. Publication ----------- The proceedings of FHPNC 2020 will be published in the ACM Digital Library. Related links Author Information and LaTeX templates : http://www.sigplan.org/Resources/Author/ Attendee Code of Conduct: http://www.sigplan.org/Resources/Policies/CodeOfConduct/ From c.grelck at uva.nl Fri Mar 6 17:54:55 2020 From: c.grelck at uva.nl (Clemens Grelck) Date: Fri, 6 Mar 2020 18:54:55 +0100 Subject: [Haskell] PhD / Postdoc position (Uni Amsterdam) in programming language technology for adaptive cyber-physical systems Message-ID: <8dbfeea6-7a8a-8c9c-9e8f-399f8ca392bf@uva.nl> At the Parallel Computing Systems (PCS) group at the Informatics Institute (IvI) of the University of Amsterdam (UvA) we are looking for a researcher (PhD candidate or postdoctoral researcher) in the area of programming language technology, compilation and run-time systems for adaptive cyber-physical systems that are resilient against component failure and cyber-attack. The successful candidate will conduct research in the context of the EU-funded Horizon-2020 project ADMORPH, coordinated by the University of Amsterdam. He or she will work under the supervision of Dr Clemens Grelck and Dr Andy Pimentel and is expected to closely collaborate with the academic and industrial partners in the ADMORPH consortium. More information on the planned research as well as on the formalities of the position can be found at the official vacancy site: https://www.uva.nl/en/content/vacancies/2019/03/20-161-researcher-in-programming-language-technology-for-adaptive-cyber-physical-systems-kopie.html Closing date: March 22, 2020. For informal inquiries, please contact: Dr Clemens Grelck . -- ---------------------------------------------------------------------- Dr Clemens Grelck Science Park 904 Associate Professor 1098XH Amsterdam Programme Director MSc 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 Parallel Computing Systems Group Office C3.109 staff.fnwi.uva.nl/c.u.grelck ---------------------------------------------------------------------- From w.s.swierstra at uu.nl Tue Mar 10 13:42:42 2020 From: w.s.swierstra at uu.nl (Wouter Swierstra) Date: Tue, 10 Mar 2020 14:42:42 +0100 Subject: [Haskell] Sad news Message-ID: <20200310134242.GS15471@x1> Dear all, With a heavy heart, I would like to inform you that Doaitse Swierstra passed away last week. After a period of illness over the last half year, he had an unfortunate fall at home that ultimately proved to be fatal. Doaitse was a remarkable character and a passionate advocate for functional programming. I'm sure many of us have fond memories of Doaitse. He will be sorely missed. Wouter From dominic at steinitz.org Wed Mar 11 15:54:55 2020 From: dominic at steinitz.org (dominic at steinitz.org) Date: Wed, 11 Mar 2020 15:54:55 +0000 Subject: [Haskell] Fwd: [GitHub] You've been removed from the Haskell organization References: <5e69097464a56_732c3f9e750cd96c9166@github-lowworker-fc273f0.cp1-iad.github.net.mail> Message-ID: <54CF907B-230D-4A91-BD11-00BD9472B274@steinitz.org> Can someone tell me why I have been removed from the Haskell organisation? Many thanks Dominic Steinitz dominic at steinitz.org http://idontgetoutmuch.org Twitter: @idontgetoutmuch > Begin forwarded message: > > From: GitHub > Subject: [GitHub] You've been removed from the Haskell organization > Date: 11 March 2020 at 15:53:24 GMT > To: idontgetoutmuch > > > You have been removed from the @Haskell organization > > Hi @idontgetoutmuch, > You’ve been removed from the Haskell organization. > Manage your GitHub email preferences > Terms • Privacy • Log in to GitHub > > GitHub, Inc. > 88 Colin P Kelly Jr Street > San Francisco, CA 94107 -------------- next part -------------- An HTML attachment was scrubbed... URL: From m at jaspervdj.be Wed Mar 11 16:08:22 2020 From: m at jaspervdj.be (Jasper Van der Jeugt) Date: Wed, 11 Mar 2020 23:08:22 +0700 Subject: [Haskell] Fwd: [GitHub] You've been removed from the Haskell organization In-Reply-To: <54CF907B-230D-4A91-BD11-00BD9472B274@steinitz.org> References: <5e69097464a56_732c3f9e750cd96c9166@github-lowworker-fc273f0.cp1-iad.github.net.mail> <54CF907B-230D-4A91-BD11-00BD9472B274@steinitz.org> Message-ID: <20200311160822.GE4836@kakigori> Hi Dominic, My apologies. There was a proposal about making a plan to clean up the Haskell organisation on GitHub at some point; but it wasn't supposed to happen now or like this at all (and definitely not without communication & agreement of the people involved!) -- it seems someone was a bit too trigger happy. I've added you back now and will figure how this happened. Warm regards Jasper On Wed, Mar 11, 2020 at 03:54:55PM +0000, dominic at steinitz.org wrote: > Can someone tell me why I have been removed from the Haskell organisation? > > Many thanks > > Dominic Steinitz > dominic at steinitz.org > http://idontgetoutmuch.org > Twitter: @idontgetoutmuch > > > > Begin forwarded message: > > > > From: GitHub > > Subject: [GitHub] You've been removed from the Haskell organization > > Date: 11 March 2020 at 15:53:24 GMT > > To: idontgetoutmuch > > > > > > You have been removed from the @Haskell organization > > > > Hi @idontgetoutmuch, > > You’ve been removed from the Haskell organization. > > Manage your GitHub email preferences > > Terms • Privacy • Log in to GitHub > > > > GitHub, Inc. > > 88 Colin P Kelly Jr Street > > San Francisco, CA 94107 > > _______________________________________________ > Haskell mailing list > Haskell at haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell From nikhil at acm.org Wed Mar 11 16:46:17 2020 From: nikhil at acm.org (Rishiyur Nikhil) Date: Wed, 11 Mar 2020 12:46:17 -0400 Subject: [Haskell] Haskell Digest, Vol 199, Issue 5 In-Reply-To: References: Message-ID: Deepest condolences on the passing of Doaitse Swierstra. I did not know him personally but knew of his work in functional programming. Rishiyur Nikhil On Wed, Mar 11, 2020 at 8:01 AM wrote: > Send Haskell mailing list submissions to > haskell at haskell.org > > To subscribe or unsubscribe via the World Wide Web, visit > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell > or, via email, send a message with subject or body 'help' to > haskell-request at haskell.org > > You can reach the person managing the list at > haskell-owner at haskell.org > > When replying, please edit your Subject line so it is more specific > than "Re: Contents of Haskell digest..." > Today's Topics: > > 1. Sad news (Wouter Swierstra) > > > > ---------- Forwarded message ---------- > From: Wouter Swierstra > To: haskell at haskell.org > Cc: > Bcc: > Date: Tue, 10 Mar 2020 14:42:42 +0100 > Subject: [Haskell] Sad news > Dear all, > > With a heavy heart, I would like to inform you that Doaitse > Swierstra passed away last week. After a period of illness over > the last half year, he had an unfortunate fall at home that > ultimately proved to be fatal. > > Doaitse was a remarkable character and a passionate advocate for > functional programming. I'm sure many of us have fond memories > of Doaitse. He will be sorely missed. > > Wouter > > _______________________________________________ > Haskell mailing list > Haskell at haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell > -------------- next part -------------- An HTML attachment was scrubbed... URL: From ben at well-typed.com Mon Mar 16 15:59:31 2020 From: ben at well-typed.com (Ben Gamari) Date: Mon, 16 Mar 2020 11:59:31 -0400 Subject: [Haskell] [HiW'20] Call for Talks Message-ID: <87a74g8f4s.fsf@smart-cactus.org> Hello everyone, Haskell Implementors Workshop is calling for talk proposals. Co-located with ICFP, HiW is an ideal place to describe a Haskell library, a Haskell extension, compiler, works-in-progress, demo a new Haskell-related tool, or even propose future lines of Haskell development. The deadline for submissions is July 2nd 2020. Call for Talks ============== The 12th Haskell Implementors’ Workshop is to be held alongside ICFP 2020 this year in New Jersey. It is a forum for people involved in the design and development of Haskell implementations, tools, libraries, and supporting infrastructure, to share their work and discuss future directions and collaborations with others. Talks and/or demos are proposed by submitting an abstract, and selected by a small program committee. There will be no published proceedings. The workshop will be informal and interactive, with open spaces in the timetable and room for ad-hoc discussion, demos and lightning talks. Scope and Target Audience ------------------------- It is important to distinguish the Haskell Implementors’ Workshop from the Haskell Symposium which is also co-located with ICFP 2020. The Haskell Symposium is for the publication of Haskell-related research. In contrast, the Haskell Implementors’ Workshop will have no proceedings – although we will aim to make talk videos, slides and presented data available with the consent of the speakers. The Implementors’ Workshop is an ideal place to describe a Haskell extension, describe works-in-progress, demo a new Haskell-related tool, or even propose future lines of Haskell development. Members of the wider Haskell community encouraged to attend the workshop – we need your feedback to keep the Haskell ecosystem thriving. Students working with Haskell are specially encouraged to share their work. The scope covers any of the following topics. There may be some topics that people feel we’ve missed, so by all means submit a proposal even if it doesn’t fit exactly into one of these buckets: - Compilation techniques - Language features and extensions - Type system implementation - Concurrency and parallelism: language design and implementation - Performance, optimization and benchmarking - Virtual machines and run-time systems - Libraries and tools for development or deployment Talks ----- We invite proposals from potential speakers for talks and demonstrations. We are aiming for 20-minute talks with 5 minutes for questions and changeovers. We want to hear from people writing compilers, tools, or libraries, people with cool ideas for directions in which we should take the platform, proposals for new features to be implemented, and half-baked crazy ideas. Please submit a talk title and abstract of no more than 300 words. Submissions can be made via HotCRP at https://icfp-hiw20.hotcrp.com/ until July 2nd (anywhere on earth). We will also have lightning talks session. These have been very well received in recent years, and we aim to increase the time available to them. Lightning talks be ~7mins and are scheduled on the day of the workshop. Suggested topics for lightning talks are to present a single idea, a work-in-progress project, a problem to intrigue and perplex Haskell implementors, or simply to ask for feedback and collaborators. Logistics --------- We recognize the on-going threat that COVID-19 poses to our participants' safety. While August is nearly half a year away, we must account for the possibility that the virus continues to pose a significant threat into the summer. For this reason, we are investigating options that would allow remote presentations this year. In light of this, we urge potential presenters not to be discouraged from submitting and encourage participants to keep time open in their calendars, regardless of the on-going COVID situation. Rest assured that the conference organizers are working to ensure that the Implementors Workshop can be held safely and productively, regardless of how the COVID-19 situation evolves. Program Committee ----------------- - Andrey Mokhov (Newcastle University) - Ben Gamari (Well-Typed LLP) - Christian Baaij (QBayLogic) - George Karachalias (Tweag I/O) - Klara Marntirosian (KU Leuven) - Matthew Pickering (Univeristy of Bristol) - Ryan Scott (Indiana University Bloomington) Best wishes, Ben From wim.ectors at uhasselt.be Mon Mar 16 19:59:19 2020 From: wim.ectors at uhasselt.be (Wim Ectors) Date: Mon, 16 Mar 2020 12:59:19 -0700 Subject: [Haskell] [FNC-2020] CFP (extended): Conference on Future Networks and Communications. Leuven, Belgium (August 9-12, 2020) Message-ID: ------------------------------------------------------------------------ The 15th International Conference on Future Networks and Communications Leuven, Belgium August 9-12, 2020 http://cs-conferences.acadiau.ca/fnc-20/ ------------------------------------------------------------------------ Future Networks and Communications (FNC) research effort will help to achieve a major promise of emerging technologies such as ubiquitous access to broadband, supporting vital applications in our daily lives such as health, energy consumption, environment transport, entertainment or education. The scope of FNC is the development of energy-efficient future network infrastructures that support the convergence and interoperability of heterogeneous mobile, wired and wireless broadband network technologies as enablers of the future Internet. This includes but not limited to ubiquitous fast broadband access and ultra-high speed end-to-end optical connectivity, supporting open services and innovative ambient applications. The scope also embraces novel and evolutionary approaches to tackle network architectures, taking due consideration of users and societal needs for success. Important Dates ---------------- - Paper Submission Due: April 9, 2020 (EXTENDED) - Acceptance Notification: May 17, 2020 - Final Manuscript Due: June 15, 2020 Publication ------------ All FNC 2020 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com) and will be freely available worldwide. All papers in Procedia will be indexed by Scopus (www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index ( http://thomsonreuters.com/conference-proceedings-citation-index/). All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com). This includes EI Compendex (www.ei.org/compendex). Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/). The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the following special issues: - International Journal of Ambient Intelligence and Humanized Computing (IF: 1.901), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics (IF: 0.524), ( http://www.cai.sk/ojs/index.php/cai/index) - International Journal of Transportation Research Part A: Policy and Practice (IF: 4.371), by Elsevier ( https://www.journals.elsevier.com/transportation-research-part-a-policy-and-practice/) - International Journal of Computer and Telecommunications Networking (IF: 3.030) (Pending), Elsevier ( https://www.journals.elsevier.com/computer-networks) FNC 2020 will be held in conjunction with the 17th International Conference on Mobile Systems and Pervasive Computing (MobiSPC http://cs-conferences.acadiau.ca/mobispc-20/). FNC 2020 will be held in the city of Leuven. 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 in 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. The facade is adorned by the counts and dukes of Brabant while the towers primarily feature biblical figures. COMMITTEES: ----------- General Chair Ladislav Hluchy, Institute of Informatics, Slovak Academy of Sciences, Slovakia Program Chairs Haroon Malik, Marshall University, USA Yves Vanrompay, Hasselt University, Belgium Workshops Chair Muhammad Adnan, Hasselt University, Belgium International Journals Chair Atta Badii, Reading University, UK Publicity Chairs Wim Ectors, Hasselt University, Belgium Mohammed Erritali, University Sultane Moulay Slimane, Morocco Advisory Committee Soumaya Cherkaoui, Sherbrooke University, Canada Erol Gelenbe, Imperial College, UK Roch Glitho, Concordia University, Canada Zygmunt J. Haas, Cornell University, USA Philippe Martins, Telecom Paris Tech, France Peter Sloot, Universiteit van Amsterdam, Netherlands David Taniar, Monash University, Australia Technical Program Committee http://cs-conferences.acadiau.ca/fnc-20/#programCommittees Sent via Mail Merge for Gmail -------------- next part -------------- An HTML attachment was scrubbed... URL: From richter at cs.tu-darmstadt.de Wed Mar 18 15:28:12 2020 From: richter at cs.tu-darmstadt.de (David Richter) Date: Wed, 18 Mar 2020 16:28:12 +0100 Subject: [Haskell] CFP: ACM Scala Symposium 2020 Message-ID: <20200318162812.67c3e11d@magicrock> Eleventh ACM SIGPLAN Scala Symposium https://2020.ecoop.org/home/scala-2020 Berlin, Germany July, 2020 Scala is a general purpose programming language designed to express common programming patterns in a concise, elegant, and type-safe way. It smoothly integrates features of object-oriented and functional languages. The ACM SIGPLAN Scala Symposium is the leading forum for researchers and practitioners related to the Scala programming language. We welcome a broad spectrum of research topics and support many submission formats for industry and academia alike. This year’s Scala Symposium is co-located with ECOOP 2020 in Berlin, Germany. # Topics of Interest We seek submissions on all topics related to Scala, including (but not limited to): * Language design and implementation – language extensions, optimization, and performance evaluation. * Library design and implementation patterns for extending Scala – stand-alone Scala libraries, embedded domain-specific languages, combining language features, generic and meta-programming. * Formal techniques for Scala-like programs – formalizations of the language, type system, and semantics, formalizing proposed language extensions and variants, dependent object types, type and effect systems. * Concurrent and distributed programming – libraries, frameworks, language extensions, programming models, performance evaluation, experimental results. * Big data and machine learning libraries and applications using the Scala programming language. * Safety and reliability – pluggable type systems, contracts, static analysis and verification, runtime monitoring. * Interoperability with other languages and runtimes, such as JavaScript, Java 8 (lambdas), Graal and others. * Tools – development environments, debuggers, refactoring tools, testing frameworks. * Case studies, experience reports, and pearls. Do not hesitate to contact the Program Chair (namin at seas.harvard.edu) if you are unsure whether a particular topic falls within the scope of Scala 2020. # Important dates Paper submission: April 7, 2020 Paper notification: May 22, 2020 Student talk submission: May 29, 2020 Student talk notification: June 12, 2020 Camera ready: June 5, 2020 Scala Symposium: co-located with ECOOP in July 2020, TBA # Submission Format To accommodate the needs of researchers and practitioners, as well as beginners and experts alike, we seek several kinds of submissions. * Full papers (at most 10 pages, excluding bibliography) * Short papers (at most 4 pages, excluding bibliography) * Tool papers (at most 4 pages, excluding bibliography) * Student talks (short abstract only, in plain text) * Open-source talks (short abstract only, in plain text) The Scala Symposium uses a lightweight double-blind reviewing process, so we ask that research papers, both full and short, be anonymized. Tools papers and talks proposals need not be anonymized. Authors should omit their names from their submissions, and should avoid revealing their identity through citation. Accepted papers (either full papers, short ones or tool papers, but not talks) will be published in the ACM Digital Library. Detailed information for each kind of submission is given below. Submissions should be in acmart/sigplan style, 10pt font. Formatting requirements are detailed on the SIGPLAN Author Information page. Scala 2019 submissions must conform to the ACM Policy on Prior Publication and Simultaneous Submissions and to the SIGPLAN Republication Policy. Please note that at least one author of each accepted contribution must attend the symposium and present the work. In the case of tool demonstration papers, a live demonstration of the described tool is expected. # Full and Short Papers Full and short papers should describe novel ideas, experimental results, or projects related to the Scala language. In order to encourage lively discussion, submitted papers may describe work in progress. Additionally, short papers may present problems and raise research questions interesting for the Scala language community. All papers will be judged on a combination of correctness, significance, novelty, clarity, and interest to the community. In general, papers should explain their original contributions, identifying what has been accomplished, explaining why it is significant, and relating it to previous work (also for other languages where appropriate). # Tool Papers Tool papers need not necessarily report original research results; they may describe a tool of interest, report practical experience that will be useful to others, new Scala idioms, or programming pearls. In all cases, such a paper must make a contribution which is of interest to the Scala community, or from which other members of the Scala community can benefit. Where appropriate, authors are encouraged to include a link to the tool’s website. For inspiration, you might consider advice in https://conf.researchr.org/track/POPL-2016/pepm-2016-main#Tool-Paper-Advice, which we however treat as non-binding. In case of doubts, please contact the program chair. # Student Talks In addition to regular papers and tool demos, we also solicit short student talks by bachelor/master/PhD students. A student talk is not accompanied by paper (it is sufficient to submit a short abstract of the talk in plain text). Student talks are about 15 minutes long, presenting ongoing or completed research related to Scala. In previous years, each student with an accepted student talk received a grant (donated by our sponsors) covering registration and/or travel costs. # Open-Source Talks We will also accept a limited number of short talks about open-source projects using Scala presented by contributors. An open-source talk is not accompanied by a paper (it is sufficient to submit a short abstract of the talk in plain text). Open-source talks are about 15 minutes long and should be about topics relevant to the symposium. They may, for instance, present or announce an open-source project that would be of interest to the Scala community. # Organizing Committee * (General Chair) Guido Salvaneschi - TU Darmstadt, Germany * (PC Chair) Nada Amin - Harvard University, United States * (Publicity Chair) David Richter - TU Darmstadt, Germany # Program Committee * Oliver Bracevac - TU Darmstadt, Germany * Youyou Cong - Tokyo Institute of Technology, Japan * Oleg Kiselyov - Tohoku University, Japan * Victor Kuncak - EPFL, Switzerland * Fengyun Liu - EPFL Switzerland * Mikael Mayer - EPFL, Switzerland * Ragnar Mogk - TU Darmstadt, Germany * Adriaan Moors - Lightbend * Jon Pretty - Propensive Ltd * Julien Richard-Foy - Scala Center * Georg Stefan Schmid - EPFL, Switzerland * Ruby Tahboub - Purdue University, United States * Philip Wadler - University of Edinburgh, United Kingdom # Submission Website The submission will be managed through HotCRP: https://scala20.hotcrp.com/ For questions and additional clarifications, please contact the conference organizers. From brucker at spamfence.net Fri Mar 20 21:49:37 2020 From: brucker at spamfence.net (Achim D. Brucker) Date: Fri, 20 Mar 2020 21:49:37 +0000 Subject: [Haskell] Open Position: Lecturer in Computer Science (Exeter, Deadline 2020-04-08) Message-ID: <20200320214937.zssadhjjqcm4fu5y@ananogawa.home.brucker.ch> Open Position: Lecturer in Computer Science (Exeter, Deadline 2020-04-08) As part of the expansion of the Department of Computer Science at the University of Exeter [1], we are recruiting for a Lecturer in Cybersecurity. The lecturer will be part of the newly formed Security and Trust of Advanced Systems Group [2]. We are looking for a candidate with an outstanding research record in any area related to cyber security (information security) such as (but not limited to): - access control - usable security - software/application security - formal methods for security - language-based security/privacy - secure programming - information flow - security protocols - network security - security of distributes systems - human aspects of security - hardware security - security economics - security-by-design - applied cryptography - privacy-enhancing technologies - threat hunting, security analytics - threat modelling - forensics, reverse engineering - trustworthy AI/ML - security/penetration testing You will have a PhD or equivalent in Cybersecurity, Computer Science, Mathematics, Engineering or a related area. Please refer to the job description for full details. We understand **security and safety entangled concepts**: in most modern systems one cannot be achieved without the other. Hence, we encourage also candidates working in related domains such as **safety, dependability, resilience, or reliability** to apply. Please apply by 8th of April 2020! See the full announcement and application details at https://jobs.exeter.ac.uk/hrpr_webrecruitment/wrd/run/ETREC107GF.open?VACANCY_ID=803965SHQd&WVID=3817591jNg&LANG=USA We are happy to do online/remote interviews. Feel free to contact me for informal inquiries about the post. Best, Achim [1] https://www.exeter.ac.uk/computer-science/ [2] https://emps.exeter.ac.uk/computer-science/research/cyber-security/ -- Prof. Achim Brucker | https://www.brucker.ch | https://logicalhacking.com/blog *We are hiring:* * Lecturer (Assistant Professor) - Deadline 2020-04-08: https://www.jobs.ac.uk/job/BZH668/lecturer-in-computer-science-education-and-research * Two PhD Studentships (EU/UK Tuition Fees) - Deadline 2020-05-01: http://www.exeter.ac.uk/studying/funding/award/?id=3887 From brucker at spamfence.net Fri Mar 20 22:40:04 2020 From: brucker at spamfence.net (Achim D. Brucker) Date: Fri, 20 Mar 2020 22:40:04 +0000 Subject: [Haskell] 2 PhD Positions in the Safety and Security of Advanced Systems Group (University of Exeter, UK Deadline 2020-05-01) Message-ID: <20200320224004.mp32nobxaxtdy7bj@ananogawa.home.brucker.ch> Two fully funded PhD scholarships for EU/UK applicants are available in the Security and Trust of Advanced Systems Group [1] (Prof. Achim Brucker [2] and Dr. Diego Marmsoler [3]) at the Department of Computer Science of the University of Exeter, UK [4]. We are looking for enthusiastic and outstanding Computer Science or Mathematics students with a strong background in some of the following topics: - safety or security of (software) systems, - formal modelling or formal reasoning/verification, - program analysis or program verification, - language-based security - semantics of programming languages, - theorem proving, model checking, - cryptographic protocols, - distributed systems (e.g., blockchain), - specification-based testing, and - design and implementation of security architectures. This award provides annual funding to cover UK/EU tuition fees and a tax-free stipend. For students who pay UK/EU tuition fees the award will cover the tuition fees in full, plus at least £15,009 per year tax-free stipend. The studentship will be awarded on the basis of merit for 3.5 years of full-time study. For more details, please consult the official advertisement: http://www.exeter.ac.uk/studying/funding/award/?id=3887 The closing date for applications is midnight on 1 May 2020. Project-specific queries should be directed to the supervisors, Prof Achim Brucker (A.Brucker at exeter.ac.uk) or Dr Diego Marmsoler (D.Marmsoler at exeter.ac.uk). Best, Achim and Diego [1] http://emps.exeter.ac.uk/computer-science/research/cyber-security/ [2] https://www.brucker.uk/ [3] https://marmsoler.com/ [4] http://emps.exeter.ac.uk/computer-science/ -- Prof. Achim Brucker | https://www.brucker.ch | https://logicalhacking.com/blog *We are hiring:* * Lecturer (Assistant Professor) - Deadline 2020-04-08: https://www.jobs.ac.uk/job/BZH668/lecturer-in-computer-science-education-and-research * Two PhD Studentships (EU/UK Tuition Fees) - Deadline 2020-05-01: http://www.exeter.ac.uk/studying/funding/award/?id=3887 From aneta.poniszewska-maranda at p.lodz.pl Sun Mar 22 22:22:48 2020 From: aneta.poniszewska-maranda at p.lodz.pl (=?windows-1250?Q?Aneta_Poniszewska-Mara=F1da_I72?=) Date: Sun, 22 Mar 2020 22:22:48 +0000 Subject: [Haskell] SEIT-2020 CfPs (Extended Submission Date): The 10th International Conference on Sustainable Energy Information Technology (August 9-12, 2020, Leuven, Belgium) In-Reply-To: References: <2CB0200C-BCE4-4630-8EF1-5CA06606E867@acadiau.ca>, <73FD135B-1D82-450A-913D-39CA9E087F4B@acadiau.ca>, , , , , Message-ID: Call for Papers The 10th International Conference on Sustainable Energy Information Technology (SEIT-20) http://cs-conferences.acadiau.ca/seit-20/ IMPORTANT DATES - Workshop Proposal: February 20, 2020 - Paper Submission Due: April 9, 2020 (Extended) - Acceptance Notification: May 17, 2020 - Camera-Ready Submission: June 15, 2020 About SEIT 2020 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 journals special issues. SEIT 2020 will be held in the city of Leuven. 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. Conference Main Tracks - Advanced Techniques for Energy Applications - Energy Efficiency - Energy Policy - Environmental - Green Sustainability - Power Quality, Power Electronics and Electric Machines - Power Systems - Renewable Energies - Sensing & Monitoring - Smart Systems Committees Honorary Chair Luc De Schepper, Rector, Hasselt University, Belgium General Chair Bruce Spencer, University of New Brunswick, Canada Program Chairs Jesús Fraile Ardanuy, Universidad Politécnica de Madrid, Spain Davy Janssens, Hasselt University, Belgium Workshops Chairs Hui Hou, Wuhan University of Technology, China Haroon Malik, Marshall University, USA International Journals Chair Ansar-Ul-Haque Yasar, IMOB – Hasselt University, Belgium Publicity Chairs Mustafa Gül, University of Alberta, Canada Aneta Poniszewska-Maranda, Lodz University of Technology, Poland Advisory Committee Antonio J. Conejo, Universidad de Castilla - La Mancha, Spain Derek J Croome, University of Reading, UK Geert Deconinck, KU Leuven, Belgium Jatin Nathwani, University of Waterloo, Canada Saffa Riffat, University of Nottingham, UK Ali Sayigh,World Renewable Energy Congress / Network Technical Program Committee http://cs-conferences.acadiau.ca/seit-20/#programCommittees ________________________________ [Politechnika Łódzka / Lodz University of Technology] [Facebook] [Twitter] [Youtube] [Linkedin] ________________________________ Treść tej wiadomości zawiera informacje przeznaczone tylko dla adresata. Jeżeli nie jesteście Państwo jej adresatem, bądź otrzymaliście ją przez pomyłkę, prosimy o powiadomienie o tym nadawcy oraz trwałe jej usunięcie. This email contains information intended solely for the use of the individual to whom it is addressed. If you are not the intended recipient or if you have received this message in error, please notify the sender and delete it from your system. -------------- next part -------------- An HTML attachment was scrubbed... URL: From khouloud.boukadi at fsegs.usf.tn Tue Mar 24 09:28:48 2020 From: khouloud.boukadi at fsegs.usf.tn (Khouloud Boukadi) Date: Tue, 24 Mar 2020 10:28:48 +0100 Subject: [Haskell] Wetice 2020 CFP- Second round Message-ID: ====================================================== *WETICE 2020* The 29th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises 9-11 June 2021, Basque Coast - Bayonne, France Website: http://wetice2020.org ================================================================== The International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises WETICE (http://wetice2020.org) is an international conference on the state-of-the-art research in enabling technologies for collaboration, consisting of several conference tracks. Due the COVID-19 pandemic, the 29th WETICE edition will be co-located with the 30th edition held on June 9-11, 2021 in Bayonne (French Basque country), France. *First-round process* · Submission deadline: March 22, 2020 (Closed) · Notification to authors: April 25, 2020 · Camera-ready deadline: May 5, 2020 · Authors registration deadline: September 10, 202 *Second-round process* · Submission deadline: July 15, 2020 · Notification to authors: August 15, 2020 · Camera-ready deadline: September 10, 2020 · Authors registration deadline: September 10, 2020 *Context and Scope* The International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises WETICE is an international conference on the state-of-the-art research in enabling technologies for collaboration, consisting of several conference tracks. The 29th WETICE edition will be held on June 2021 in Bayonne (French Basque country), France. With the presence of internationally distinguished keynote speakers: · Barbara Pernici, Politecnico di Milano, Italy · Sabri Skhiri, Eura Nova, Belgium · Luigi Atzori, University of Cagliari, Italy WETICE topics of interest include but are not limited to: * Cloud-Based Collaborative Technologies in IoT * Adaptive and Reconfigurable Systems and Architectures * Complex Networks Monitoring, Security and Fraud Detection for Enterprises * Convergence of Distributed Clouds, Grids and their Management * Data Exploration in the Web 3.0 Age * Collaborative Software Processes * Formal Verification of Service Based Systems * Future Internet Services and Applications * Semantic Technologies in Smart Information Sharing and Web Collaboration * Security, Safety and Trust Management *List of Tracks* · Adaptive Computing (and Agents) for Enhanced Collaboration · Adaptive and Reconfigurable Systems and Architectures · Convergence of Distributed Clouds, Grids and their Management · Collaborative Modeling & Simulation · Complex Networks Monitoring and Security and Fraud Detection for Enterprises · Future Internet Services and Applications · Security, Safety and Trust Management · Validating Software for Critical Systems · Semantic Technologies for Smart Information Sharing and Web Collaboration · Smart Living Space *Manuscript Guidelines and Submission* Papers up to six (6) pages (including figures, tables and references) should contain original contributions not published or submitted elsewhere and are to be formatted according to the IEEE template. Accepted papers will be included in the proceedings published by the IEEE Computer Society Press and will be archived in the IEEE digital library. The page limit for Full papers is 6 pages. No extra pages are allowed. The page limit for Short papers is 4 pages. No extra pages are allowed. At least one author for each accepted paper should register and attend WETICE 2020 to have the paper published in the proceedings. Papers should be submitted through the EasyChair platform using the following link: https://easychair.org/conferences/?conf=wetice2020 ================================================================== *General Chairs* Ernesto Exposito, Université de Pau et des Pays de l’Adour, France Khalil Drira, LAAS-CNRS, France *Program Chairs* Stefania Monica, Università degli Studi di Parma, Italy Sami Yangui, LAAS-CNRS, France ================================================================== -- ********************************************************************************************************* *Khouloud Boukadi. Ph.D* *Associate Professor of Computer Science* Researcher in Multimedia, InfoRmation systems & Advanced Computing Laboratory-Miracl (http:// www.miracl.rnu.tn) Coordinator of Master of Science in IT Auditing and Cyber-Security Faculty of Economics and Management of Sfax (FSEGS ) University of Sfax, Tunisia Office: +216 74 279 710 Fax: +216 74 279 139 ********************************************************************************************************* -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: Wetice2020CFPUpdate.pdf Type: application/pdf Size: 77206 bytes Desc: not available URL: From bob.atkey at gmail.com Tue Mar 24 10:59:01 2020 From: bob.atkey at gmail.com (Robert Atkey) Date: Tue, 24 Mar 2020 10:59:01 +0000 Subject: [Haskell] Multiple Research Positions (3 Doctoral, 5 Post-doctoral) on AI Verification Message-ID: <00850fe3-ebd4-3447-9725-8aab6235a88d@gmail.com> AI Secure and Explainable by Construction: Multiple Research Positions (3 Doctoral, 5 Post-doctoral) available at Heriot-Watt, Edinburgh and Strathclyde Universities, Scotland, UK. Start date: 1 September 2020; End date: 30 August 2023 Postdoctoral Salary Scale: £31,866 to £40,322 per annum PhD funding: covering PhD fees and stipend for 3.5 years Closing date for Postdoctoral applications: 1 June 2020 We encourage interested applicants to contact us informally ASAP. The project has sufficient flexibility to mitigate the effect of COVID-19, i.e. by accommodating later start date and remote working. The project spans several subjects: type theory, automated and interactive theorem proving, security, AI and machine learning, autonomous systems, natural language processing and generation, legal aspects of AI. It will cover two main application areas: autonomous cars and chatbots, drawing from expertise and infrastructure provided by industrial partners working in these two areas. The project has a significant international span, with 12 partners from Academia and Industry in Europe (France, Germany, Israel, the Netherlands, Norway) and the US. Researchers joining this project will have excellent opportunities to travel to international conferences, organise scientific events, spend time with industrial partners, collaborate with academic leaders in the field, develop their own research profiles as well as gain experience in other AI and CS disciplines. For further information, and instructions how to apply, please visit: http://laiv.uk/index.php/vacancies/ Ekaterina Komendantskaya: http://www.macs.hw.ac.uk/~ek19/ Robert Atkey: https://bentnib.org/ David Aspinall: https://homepages.inf.ed.ac.uk/da/ Burkard Schafer: https://www.law.ed.ac.uk/people/professor-burkhard-schafer Verena Rieser: https://sites.google.com/site/verenateresarieser/ From ben at well-typed.com Tue Mar 24 15:02:01 2020 From: ben at well-typed.com (Ben Gamari) Date: Tue, 24 Mar 2020 11:02:01 -0400 Subject: [Haskell] [ANNOUNCE] Glasgow Haskell Compiler 8.10.1 released Message-ID: <87369xbxuo.fsf@smart-cactus.org> Hello all, The GHC team is happy to announce the availability of GHC 8.10.1. Source and binary distributions are available at the usual place: https://downloads.haskell.org/ghc/8.10.1/ GHC 8.10.1 brings a number of new features including: * The new UnliftedNewtypes extension allowing newtypes around unlifted types. * The new StandaloneKindSignatures extension allows users to give top-level kind signatures to type, type family, and class declarations. * A new warning, -Wderiving-defaults, to draw attention to ambiguous deriving clauses * A number of improvements in code generation, including changes * A new GHCi command, :instances, for listing the class instances available for a type. * An upgraded Windows toolchain lifting the MAX_PATH limitation * A new, low-latency garbage collector. * Improved support profiling, including support for sending profiler samples to the eventlog, allowing correlation between the profile and other program events Note that at the moment we still require that macOS Catalina users exempt the binary distribution from the notarization requirement by running `xattr -cr .` on the unpacked tree before running `make install`. This situation will hopefully be improved for GHC 8.10.2 with the resolution of #17418 [1]. Cheers, - Ben [1] https://gitlab.haskell.org/ghc/ghc/issues/17418 -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 487 bytes Desc: not available URL: From ben at well-typed.com Tue Mar 24 15:16:14 2020 From: ben at well-typed.com (Ben Gamari) Date: Tue, 24 Mar 2020 11:16:14 -0400 Subject: [Haskell] [ANNOUNCE] Glasgow Haskell Compiler 8.10.1 released In-Reply-To: <87369xbxuo.fsf@smart-cactus.org> References: <87369xbxuo.fsf@smart-cactus.org> Message-ID: <87zhc5aimf.fsf@smart-cactus.org> Ben Gamari writes: > Hello all, > > The GHC team is happy to announce the availability of GHC 8.10.1. Source > and binary distributions are available at the usual place: > > https://downloads.haskell.org/ghc/8.10.1/ Note that the release notes can be found here: https://downloads.haskell.org/ghc/8.10.1/docs/html/users_guide/8.10.1-notes.html Further, the migration guide can be found here: https://gitlab.haskell.org/ghc/ghc/-/wikis/migration/8.10 Cheers, - Ben -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 487 bytes Desc: not available URL: From mh at informatik.uni-kiel.de Tue Mar 31 08:10:02 2020 From: mh at informatik.uni-kiel.de (Michael Hanus) Date: Tue, 31 Mar 2020 10:10:02 +0200 Subject: [Haskell] LOPSTR 2020 - First CFP Message-ID: <61c7837e-76aa-8cd2-6915-b08e2fd448d1@informatik.uni-kiel.de> ====================================================================== LOPSTR 2020: Fist Call for Papers ====================================================================== 30th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2020 https://nms.kcl.ac.uk/maribel.fernandez/LOPSTR2020/ Bologna, 7-9 September 2020 Abstract Deadline: 5 June 2020 Paper Deadline: 12 June 2020 SCOPE The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development in any language paradigm. LOPSTR 2020 will be co-located with PPDP, WFLP and Microservices. TOPICS Topics of interest cover all aspects of logic-based program development (including in domain-specific languages), all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large, including: * synthesis; transformation; specialisation; composition; optimisation * specification; analysis and verification; testing and certification * program and model manipulation; inversion * machine learning for program development * transformational techniques in SE; applications and tools Both full papers and extended abstracts describing applications in all these areas are especially welcome. Survey papers and papers that describe experience with industrial applications are also welcome. Important Dates --------------- Abstract submission: 5 June 2020 (AoE) Paper/Extended abstract submission: 12 June 2020 (AoE) Notification: 12 July 2020 Camera-ready (for electronic pre-proceedings): 12 August 2020 Symposium: 7-9 September 2020 Submission Guidelines --------------------- Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in the Lecture Notes in Computer Science style. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords which will be used to assist the PC in selecting appropriate reviewers for the paper. Page numbers (and, if possible, line numbers) should appear on the manuscript to help the reviewers in writing their report. Submissions cannot exceed 15 pages excluding references. Additional pages may be used for appendices (not intended for publication). Reviewers are not required to read appendices, and thus papers should be intelligible without them. Papers should be submitted via the Easychair submission website for LOPSTR 2020. PROCEEDINGS Post-conference proceedings will be published by Springer in the LNCS series, as in previous editions. Full papers can be directly accepted for publication in the formal proceedings, or accepted only for presentation at the symposium and inclusion in informal proceedings. After the symposium, all authors of extended abstracts and full papers accepted only for presentation will be invited to revise and/or extend their submissions. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. Authors should consult Springer’s authors’ guidelines and use their proceedings templates, available also in Overleaf, for the preparation of their papers. Springer encourages authors to include their ORCIDs in their papers. BEST PAPER AWARDS Thanks to Springer's sponsorship, two awards (including a 500EUR prize each) will be given at LOPSTR 2020, based on relevance, originality and technical quality of papers. The PC may split the awards among several papers. PROGRAMME COMMITTEE Elvira Albert, Complutense University of Madrid, Spain María Alpuente, Universitat Politècnica de València, Spain Mauricio Ayala-Rincón, University of Brasilia, Brazil Clara Bertolissi, University Aix-Marseilles, France Emanuele De Angelis, CNR Inst. for Systems Analysis and Computer Science, Italy Maribel Fernández, King's College London, UK (chair) Mario Florido, University of Porto, Portugal Maurizio Gabbrielli, University of Bologna, Italy Robert Glück, University of Copenhagen, Denmark Gopal Gupta, University of Texas at Dallas, US Michael Hanus, Kiel University, Germany Delia Kesner, Université de Paris, France Andy King, University of Kent, UK Temur Kutsia, RISC J. Kepler University of Linz, Austria Giselle Reis, Carnegie Mellon University, Qatar Masahito Sakai, Nagoya University, Japan René Thiemann, University of Innsbruck, Austria Alwen Tiu, The Australian National University, Australia Germán Vidal, Universitat Politècnica de València, Spain LOCAL ORGANISATION Maurizio Gabbrielli, University of Bologna CONTACT For more information please contact the PC Chair: Maribel.Fernandez at kcl.ac.uk