From walck at lvc.edu Sun Nov 1 20:51:29 2020 From: walck at lvc.edu (Scott N. Walck) Date: Sun, 01 Nov 2020 15:51:29 -0500 Subject: [Haskell] trouble building ghc-8.10.2 from source Message-ID: <87d00wreb2.fsf@lvc.edu> Hi folks, I'm trying to build ghc-8.10.2 from source. The configure step seemed to go well, as shown below. The error during the build is shown after that. I'm afraid I don't know how to make heads or tails of the error, so any help would be appreciated. Thanks, Scott ---------------------------------------------------------------------- Configure completed successfully. Building GHC version : 8.10.2 Git commit id : 29204b1c4f52ea34d84da33593052ee839293bf2 Build platform : x86_64-unknown-linux Host platform : x86_64-unknown-linux Target platform : x86_64-unknown-linux Bootstrapping using : /usr/local/bin/ghc which is version : 8.8.1 with threaded RTS? : YES Using (for bootstrapping) : gcc Using gcc : cc which is version : Building a cross compiler : NO Unregisterised : NO TablesNextToCode : YES hs-cpp : cc hs-cpp-flags : -E -undef -traditional ar : ar ld : ld.gold nm : nm libtool : objdump : objdump ranlib : ranlib windres : dllwrap : genlib : Happy : /usr/local/walck/cabal/bin/happy (1.20.0) Alex : /usr/local/walck/cabal/bin/alex (3.2.5) sphinx-build : /home/walck/.local/bin/sphinx-build xelatex : /usr/bin/xelatex makeinfo : /usr/bin/makeinfo Using LLVM tools clang : llc : opt : HsColour : /usr/local/walck/cabal/bin/HsColour Tools to build Sphinx HTML documentation available: YES Tools to build Sphinx PDF documentation available: YES Tools to build Sphinx INFO documentation available: YES ---------------------------------------------------------------------- "inplace/bin/ghc-stage1" -o utils/iserv/stage2/build/tmp/ghc-iserv -hisuf hi -osuf o -hcsuf hc -static -H32m -O -Wall -hide-all-packages -i -iutils/iserv/src -iutils/iserv/stage2/build -Iutils/iserv/stage2/build -iutils/iserv/stage2/build/iserv/autogen -Iutils/iserv/stage2/build/iserv/autogen -Iutils/iserv/. -Iutils/iserv/stage2/build/. -optP-include -optPutils/iserv/stage2/build/iserv/autogen/cabal_macros.h -package-id array-0.5.4.0 -package-id base-4.14.1.0 -package-id binary-0.8.8.0 -package-id bytestring-0.10.10.0 -package-id containers-0.6.2.1 -package-id deepseq-1.4.4.0 -package-id ghci-8.10.2 -package-id libiserv-8.10.2 -package-id unix-2.7.2.2 -no-hs-main -XHaskell2010 -threaded -optl-Wl,--export-dynamic -no-hs-main -no-user-package-db -rtsopts -Wnoncanonical-monad-instances -outputdir utils/iserv/stage2/build -split-sections -static -H32m -O -Wall -hide-all-packages -i -iutils/iserv/src -iutils/iserv/stage2/build -Iutils/iserv/stage2/build -iutils/iserv/stage2/build/iserv/autogen -Iutils/iserv/stage2/build/iserv/autogen -Iutils/iserv/. -Iutils/iserv/stage2/build/. -optP-include -optPutils/iserv/stage2/build/iserv/autogen/cabal_macros.h -package-id array-0.5.4.0 -package-id base-4.14.1.0 -package-id binary-0.8.8.0 -package-id bytestring-0.10.10.0 -package-id containers-0.6.2.1 -package-id deepseq-1.4.4.0 -package-id ghci-8.10.2 -package-id libiserv-8.10.2 -package-id unix-2.7.2.2 -no-hs-main -XHaskell2010 -threaded -optl-Wl,--export-dynamic -no-hs-main -no-user-package-db -rtsopts -Wnoncanonical-monad-instances utils/iserv/stage2/build/Main.o utils/iserv/stage2/build/cbits/iservmain.o Warning: -rtsopts and -with-rtsopts have no effect with -no-hs-main. Call hs_init_ghc() from your main() function to set these options. /usr/local/walck/install/ghc-8.10.2/rts/dist/build/libHSrts_thr.a(RtsSymbols.thr_o):RtsSymbols.c:rtsSyms: error: undefined reference to '__stack_chk_guard' collect2: error: ld returned 1 exit status `cc' failed in phase `Linker'. (Exit code: 1) make[1]: *** [utils/iserv/ghc.mk:100: utils/iserv/stage2/build/tmp/ghc-iserv] Error 1 make: *** [Makefile:128: all] Error 2 -- Scott N. Walck Professor of Physics Lebanon Valley College Annville, PA 17003 phone: 717-867-6153 fax: 717-867-6075 email: walck at lvc.edu http://quantum.lvc.edu/walck/ From Graham.Hutton at nottingham.ac.uk Tue Nov 3 09:52:19 2020 From: Graham.Hutton at nottingham.ac.uk (Graham Hutton) Date: Tue, 3 Nov 2020 09:52:19 +0000 Subject: [Haskell] Journal of Functional Programming - Call for PhD Abstracts Message-ID: <8C3FB908-F501-4AC7-88B1-FD032F9E86D8@nottingham.ac.uk> Dear all, If you or one of your students recently completed a PhD in the area of functional programming, please submit the dissertation abstract for publication in JFP: simple process, no refereeing, open access, 200 published to date, deadline 30th November 2020. Please share! Best wishes, Graham Hutton ============================================================ CALL FOR PHD ABSTRACTS Journal of Functional Programming Deadline: 30th November 2020 http://tinyurl.com/jfp-phd-abstracts ============================================================ PREAMBLE: Many students complete PhDs in functional programming each year. As a service to the community, twice per year the Journal of Functional Programming publishes the abstracts from PhD dissertations completed during the previous year. The abstracts are made freely available on the JFP website, i.e. not behind any paywall. They do not require any transfer of copyright, merely a license from the author. A dissertation is eligible for inclusion if parts of it have or could have appeared in JFP, that is, if it is in the general area of functional programming. The abstracts are not reviewed. Please submit dissertation abstracts according to the instructions below. We welcome submissions from both the PhD student and PhD advisor/supervisor although we encourage them to coordinate. ============================================================ SUBMISSION: Please submit the following information to Graham Hutton by 30th November 2020: o Dissertation title: (including any subtitle) o Student: (full name) o Awarding institution: (full name and country) o Date of PhD award: (month and year; depending on the institution, this may be the date of the viva, corrections being approved, graduation ceremony, or otherwise) o Advisor/supervisor: (full names) o Dissertation URL: (please provide a permanently accessible link to the dissertation if you have one, such as to an institutional repository or other public archive; links to personal web pages should be considered a last resort) o Dissertation abstract: (plain text, maximum 350 words; you may use \emph{...} for emphasis, but we prefer no other markup or formatting; if your original abstract exceeds the word limit, please submit an abridged version within the limit) Please do not submit a copy of the dissertation itself, as this is not required. JFP reserves the right to decline to publish abstracts that are not deemed appropriate. ============================================================ PHD ABSTRACT EDITOR: Graham Hutton School of Computer Science University of Nottingham Nottingham NG8 1BB United Kingdom ============================================================ 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 rae at richarde.dev Tue Nov 3 18:15:19 2020 From: rae at richarde.dev (Richard Eisenberg) Date: Tue, 3 Nov 2020 18:15:19 +0000 Subject: [Haskell] Tomorrow: Simon PJ announces Haskell Foundation Message-ID: <010f01758f520a5c-ffadd00c-9d88-417b-b99d-5c948136bc2b-000000@us-east-2.amazonses.com> Tomorrow (Wednesday Nov 4) at 12:00 UTC, Simon PJ will announce the formation of the Haskell Foundation, an independent, non-profit organization dedicated to broadening Haskell adoption. This will be a part of Haskell eXchange, but this announcement will be free to attend, via YouTube. Much of the presentation will be time for Q&A; questions can be posed both within the Haskell eXchange HopIn platform and via comments on YouTube. Attend at https://youtu.be/MEmRarBL9kw Just to forestall any disappointment: I won't be answering any questions here until at least after the announcement -- but do please come and ask questions there and afterwards. Richard -------------- next part -------------- An HTML attachment was scrubbed... URL: From yazan.mualla at utbm.fr Wed Nov 4 10:45:13 2020 From: yazan.mualla at utbm.fr (Yazan Mualla) Date: Wed, 4 Nov 2020 11:45:13 +0100 (CET) Subject: [Haskell] Invitation to the 3rd European Forum for the SARL Users and Developers (EuSarlCon-21) Message-ID: <915439213.17520016.1604486713554.JavaMail.zimbra@utbm.fr> INVITATION FOR PAPERS AND TALKS The 3rd European Forum for the SARL Users and Developers (EuSarlCon-21) http://www.ciad-lab.fr/the-3rd-european-forum-for-the-sarl-users-and-developers-eusarlcon21/ ----------------------------------------------------------------------- In conjunction with: * The 12th International Conference on Ambient Systems, Networks, and Technologies (ANT 2021) http://cs-conferences.acadiau.ca/ant-21/ * The 5th International Workshop on Agent-based Modeling and Applications with SARL (SARL-21) http://www.ciad-lab.fr/the-5nd-international-workshop-on-agent-based-modeling-and-applications-with-sarl-sarl-21/ March 23-26, 2021, Warsaw, Poland. ------------------------------------------------------------------- Description =========== The 2021 European SarlCon is the SARL user meeting that is organized in Europe in order to provide a place where SARL users and developers could exchange their experiences. It will be held on March 23-26, 2021, in Warsaw, Poland (one half-day in the program of the associated ANT-21 conference). Abstracts and/or short papers are due on January 27, 2021. The papers are expected to be very short (< 2500 equivalent words) through EasyChair. SARL-21 is providing an alternative for publishing longer papers. Submissions =========== You are invited to submit the abstract in PDF format on EasyChair, not exceeding 1000 words in length. General Chair ============= Stéphane GALLAND (UBFC, France) Program Chair ============= Yazan MUALLA (UBFC, France) Registration ============ Because EuSarlCon21 is organized in conjunction with ANT21, there is no specific fee for EuSarlCon21 itself, but for the ANT21 conference, which provides the access to its facilities. You must register yourself to the ANT21 in order to be included in the list of the participants. When registering, you could select the specific fee of EuSarlCon21 about 100 Euros. Venue, Accommodation & Visa Requirements ======================================== The date and hour of the forum will be published as soon as the program of the associated ANT-21 conference is fixed. Please visit the ANT21 Venue & Accommodation Page for more information: http://cs-conferences.acadiau.ca/ant-21/#conferenceVenue -------------- next part -------------- An HTML attachment was scrubbed... URL: From yazan.mualla at utbm.fr Wed Nov 4 10:45:29 2020 From: yazan.mualla at utbm.fr (Yazan Mualla) Date: Wed, 4 Nov 2020 11:45:29 +0100 (CET) Subject: [Haskell] CFP - The 5th International Workshop on Agent-based Modeling and Applications with SARL (SARL-21) Message-ID: <756236335.17520988.1604486729801.JavaMail.zimbra@utbm.fr> CALL FOR PAPERS The 5th International Workshop on Agent-based Modeling and Applications with SARL (SARL-21) http://www.ciad-lab.fr/the-5nd-international-workshop-on-agent-based-modeling-and-applications-with-sarl-sarl-21/ ------------------------------------------------------------------------------------------- In conjunction with * The 12th International Conference on Ambient Systems, Networks, and Technologies (ANT 2021) http://cs-conferences.acadiau.ca/ant-21/ * The 3rd European Forum for the SARL Users and Developers (EuSarlCon-21) http://www.ciad-lab.fr/the-3rd-european-forum-for-the-sarl-users-and-developers-eusarlcon21/ March 23 - 26, 2021, Warsaw, Poland. ------------------------------------------------------------------------------------------- Description =========== Research on Agents and Multi-Agent Systems has matured during the last decade and many effective applications of this technology are now deployed. SARL-21 provides an international forum to present and discuss the latest scientific developments and their effective applications, to assess the impact of the approach, and to facilitate technology transfer. SARL workshop was born with the SARL agent programming language, but the scientific results presented in SARL-20 are not restricted to SARL; other languages and agent platforms may be presented. SARL aims at providing the fundamental abstractions for dealing with concurrency, distribution, interaction, decentralization, reactivity, autonomy and dynamic reconfiguration. These high-level features are now considered as the major requirements for an easy and practical implementation of modern complex software applications. We are convinced that the agent-oriented paradigm holds the keys to effectively meet these features. Considering the variety of existing approaches and meta-models in the field of agent-oriented engineering and more generally multi-agent systems, our approach remains as generic as possible and highly extensible to easily integrate new concepts and features. The goal of SARL-21 is to provide a place where the different points of view on the modeling and the simulation with agent platforms and agent programming languages may be discussed. SARL-21 will be held in Warsaw, Poland (March 23 - 26, 2021) in conjunction with the 12th International Conference on Ambient Systems, Networks, and Technologies (ANT 2021) and the European SarlCon 2021. Topics ====== The main topics of the SARL-21 workshop are (but not restricted to): * Methods and Models: * Agent based Modeling and Simulation; * Agent programming language; * Agent based Simulation; * Agent oriented analysis and design methods; * Ontologies and theories about large urban systems; * Formal models of agent-based simulation; * Organizational models. * Applications: * Traffic/Transport; * Crowds; * Smart grids and smart buildings; * Land-Use; * Energy. Important Dates =============== * Submission deadline: Decembre 1, 2020 (extended, hard) * Notification: December 30, 2020 * Final date for camera-ready copy: January 27, 2021 * Workshop: March 23-26, 2021 Submission ========== All workshop accepted papers will be included in the conference proceedings published by Elsevier Science in the open-access Procedia Computer Science series on-line. The submitted paper must be formatted according to the guidelines of Procedia Computer Science, Elsevier. You are invited to submit full length papers in PDF format on EasyChair, not exceeding 6 pages in length, in single-column format including diagrams and references while following the Procedia Computer Science guidelines. Papers that do not follow these guidelines may be rejected without consideration of their merits. All papers will be reviewed by at least two Program Committee members on the basis of technical quality, originality, clarity, and relevance to the track topics listed above. At least one author of each paper must attend the workshop to present the paper. Workshop Chairs =============== * Stéphane GALLAND (Belfort-Montbeliard University of Technology, France) * Sebastian RODRIGUEZ (Royal Melbourne Institute of Technology, Australia) Publicity Chairs ================ Yazan MUALLA (Belfort-Montbeliard University of Technology, France) Registration ============ Please visit the ANT21 Registration Page for more information: http://cs-conferences.acadiau.ca/ant-21/#registration Venue, Accommodation & Visa Requirements ======================================== Please visit the ANT21 Venue & Accommodation Page for more information: http://cs-conferences.acadiau.ca/ant-21/#conferenceVenue -------------- next part -------------- An HTML attachment was scrubbed... URL: From rae at richarde.dev Wed Nov 4 14:00:39 2020 From: rae at richarde.dev (Richard Eisenberg) Date: Wed, 4 Nov 2020 14:00:39 +0000 Subject: [Haskell] Announcing the Haskell Foundation Message-ID: <010f0175938f3c13-4a2fb1a4-40bf-4d14-abbb-e7ec70fc7add-000000@us-east-2.amazonses.com> I'm very pleased to announce the creation of the Haskell Foundation (HF), an independent, non-profit organisation dedicated to broadening Haskell adoption. Website: https://haskell.foundation/ Twitter: @haskellfound Founding whitepaper: https://haskell.foundation/whitepaper/ Simon Peyton Jones's announcement, with lots of Q&A: https://www.youtube.com/watch?v=MEmRarBL9kw The "official" ask-me-anything on Reddit: https://www.reddit.com/r/haskell/comments/jnwg7i/haskell_foundation_ama/ Mailing list for future HF announcements: https://mail.haskell.org/cgi-bin/mailman/listinfo/hf-announce Mailing list for HF discussion / involvement: https://mail.haskell.org/cgi-bin/mailman/listinfo/hf-discuss Please join the conversation. We need your participation to realize the vision of the foundation as *our* foundation, not *their* foundation. Looking forward to seeing where this all leads! Richard -------------- next part -------------- An HTML attachment was scrubbed... URL: From icfp.publicity at googlemail.com Thu Nov 5 02:56:10 2020 From: icfp.publicity at googlemail.com (Sam Tobin-Hochstadt) Date: Wed, 04 Nov 2020 21:56:10 -0500 Subject: [Haskell] Call for Workshop Proposals: ICFP 2021 Message-ID: <5fa369ca77b2e_5b58f29415c4@homer.mail> CALL FOR WORKSHOP AND CO-LOCATED EVENT PROPOSALS ICFP 2021 26th ACM SIGPLAN International Conference on Functional Programming August 22 - 27, 2021 Daejon, Korea https://icfp21.sigplan.org/ The 26th ACM SIGPLAN International Conference on Functional Programming will be held in Daejon, Korea on August 22-27, 2021, with the possibility of a virtual conference. ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. Proposals are invited for workshops (and other co-located events, such as symposiums) to be affiliated with ICFP 2021 and sponsored by SIGPLAN. These events should be less formal and more focused than ICFP itself, include sessions that enable interaction among the attendees, and foster the exchange of new ideas. The preference is for one-day events, but other schedules can also be considered. The workshops are scheduled to occur on August 22rd (the day before ICFP) and 26-27th of August (the two days after ICFP). ---------------------------------------------------------------------- Submission details Deadline for submission: November 27, 2020 Notification of acceptance: December 15, 2020 Prospective organizers of workshops or other co-located events are invited to submit a completed workshop proposal form in plain text format to the ICFP 2021 workshop co-chairs (Leonidas Lampropoulos and Zoe Paraskevopoulou) via email to icfp-workshops-2021 at googlegroups.com by November 27, 2020. (For proposals of co-located events other than workshops, please fill in the workshop proposal form and just leave blank any sections that do not apply.) Please note that this is a firm deadline. Organizers will be notified if their event proposal is accepted by December 15, 2020, and if successful, depending on the event, they will be asked to produce a final report after the event has taken place that is suitable for publication in SIGPLAN Notices. The proposal form is available at: http://www.icfpconference.org/icfp2021-files/icfp21-workshops-form.txt Further information about SIGPLAN sponsorship is available at: http://www.sigplan.org/Resources/Proposals/Sponsored/ ---------------------------------------------------------------------- Selection committee The proposals will be evaluated by a committee comprising the following members of the ICFP 2021 organizing committee, together with the members of the SIGPLAN executive committee. Workshop Co-Chair: Zoe Paraskevopoulou (Northeastern University) Workshop Co-Chair: Leonidas Lampropoulos (University of Maryland) General Chair: Sukyoung Ryu (KAIST) Program Chair: Ronald Garcia (University of British Columbia) ---------------------------------------------------------------------- Further information Any queries should be addressed to the workshop co-chairs (Zoe Paraskevopoulou and Leonidas Lampropoulos), via email to icfp-workshops-2021 at googlegroups.com. From stefan.wehr at gmail.com Tue Nov 10 08:54:46 2020 From: stefan.wehr at gmail.com (Stefan Wehr) Date: Tue, 10 Nov 2020 09:54:46 +0100 Subject: [Haskell] Last Call for Contributions: BOB 2021 [Feb 26, Deadline Nov 13] Message-ID: BOB Conference 2021 "What happens when we use what's best for a change?" http://bobkonf.de/2021/cfc.html Berlin, February 26 Call for Contributions Deadline: November 13, 2020 You are actively engaged in advanced software engineering methods, implement ambitious architectures and are open to cutting-edge innovation? Attend this conference, meet people that share your goals, and get to know the best software tools and technologies available today. We strive to offer a day full of new experiences and impressions that you can use to immediately improve your daily life as a software developer. If you share our vision and want to contribute, submit a proposal for a talk or tutorial! NOTE: The conference fee will be waived for presenters. Travel expenses will not be covered (for exceptions see "Speaker Grants"). Online or Onsite We do know yet whether BOB will happen onsite in Berlin or as an online event. Should BOB happen online, we will likely ask for pre-recorded talks to make room for questions and social interactions during the actual conference day. (Of course, we'll provide assistance making those recordings.) Tutorials will likely happen as a live-session. Speaker Grants -------------- BOB has Speaker Grants available to support speakers from groups under-represented in technology. We specifically seek women speakers, speakers of color, and speakers who are not be able to attend the conference for financial reasons. Shepherding ----------- The program committee offers shepherding to all speakers. Shepherding provides speakers assistance with preparing their sessions. Specifically: - advice on structure and presentation - review of talk slides - assistance with recording - review of recording, if applicable Topics ------ We are looking for talks about best-of-breed software technology, e.g.: - functional programming - persistent data structures and databases - event-based modelling and architecture - types - formal methods for correctness and robustness - abstractions for concurrency and parallelism - metaprogramming - probabilistic programming - math and programming - controlled side effects - beyond REST and SOAP - effective abstractions for data analytics - … everything really that isn’t mainstream, but you think should be. Presenters should provide the audience with information that is practically useful for software developers. We're especially interested in experience reports. Other topics are also relevant, e.g.: - introductory talks on technical background - overviews of a given field - demos and how-tos Requirements ------------ We accept proposals for presentations of 45 minutes (40 minutes talk + 5 minutes questions), as well as 90 minute tutorials for beginners. The language of presentation should be either English or German. Your proposal should include (in your presentation language of choice): - An abstract of max. 1500 characters. - A short bio/cv - Contact information (including at least email address) - A list of 3-5 concrete ideas of how your work can be applied in a developer's daily life - additional material (websites, blogs, slides, videos of past presentations, …) - Don't be confused: The system calls a submission event. Organisation ------------ - Direct questions to contact at bobkonf dot de - Proposal deadline: November 13, 2020 - Notification: November 27, 2020 - Program: December 6, 2020 Submit here: https://bobcfc.active-group.de/en/bob2021/cfp Program Committee ----------------- (more information here: https://bobkonf.de/2020/programmkomitee.html) - Matthias Fischmann, Wire - Matthias Neubauer, SICK AG - Nicole Rauch, Softwareentwicklung und Entwicklungscoaching - Michael Sperber, Active Group - Stefan Wehr, Hochschule Offenburg Scientific Advisory Board - Annette Bieniusa, TU Kaiserslautern - Torsten Grust, Uni Tübingen - Peter Thiemann, Uni Freiburg -------------- next part -------------- An HTML attachment was scrubbed... URL: From wim.ectors at uhasselt.be Wed Nov 11 09:13:54 2020 From: wim.ectors at uhasselt.be (Wim Ectors) Date: Wed, 11 Nov 2020 01:13:54 -0800 Subject: [Haskell] [EDI40-2021] CFP: 4th International Conference on Emerging Data and Industry 4.0. Warsaw, Poland (March 23-26, 2021) Message-ID: *************************************************************************** The 4th International Conference on Emerging Data and Industry 4.0 (EDI40) Warsaw, Poland March 23-26, 2021 *************************************************************************** Conference Website: http://cs-conferences.acadiau.ca/EDI40-21/ Workshops: http://cs-conferences.acadiau.ca/EDI40-21/#workshop Important Dates - Workshops Proposals Due: October 1, 2020 - Paper Submission Due: November 20, 2020 (EXTENDED) - Acceptance Notification: December 30, 2020 - Camera-Ready Submission: January 27, 2021 EDI40 2021 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus ( www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/). All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com). This includes EI Compendex (www.ei.org/compendex). Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/). The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the special issues of: - International Journal of Ambient Intelligence and Humanized Computing (IF: 4.594), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal on Transportation Research Part A: Policy and Practice (IF: 3.992), 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) - International Journal of Computing and Informatics (IF: 0.524), by Computing and Informatics (http://www.cai.sk/ojs/index.php/cai/index) EDI40 2021 will be held in Warsaw, Poland. Warsaw is the capital and largest city of Poland. The metropolis stands on the Vistula River in east-central Poland and its population is officially estimated at 1.770 million residents within a greater metropolitan area of 3.1 million residents, which makes Warsaw the 8th most-populous capital city in the European Union. The city limits cover 516.9 square kilometres (199.6 sq mi), while the metropolitan area covers 6,100.43 square kilometres (2,355.39 sq mi). Warsaw is an alpha global city, a major international tourist destination, and a significant cultural, political and economic hub. Its historical Old Town was designated a UNESCO World Heritage Site. EDI40 2021 will be held in conjunction with the 12th International Conference on Ambient Systems, Networks and Technologies (ANT, http://cs-conferences.acadiau.ca/ant-21/). Conference Tracks - Benefits of Industry 4.0 - Big Data and Analytics - Cloud Computing - Cognitive Computing - Computational Intelligence - Cyber-Physical Systems (CPS) - Fog Computing and Edge Computing - Internet of Everything (IoE) - Standards for IoT Application Integration - The New Business Models in Industry 4.0 - General Track: Digitalization Startegies Committees General Chair Danny Hughes, CTO VeraSense NV, Belgium Program Chairs Jamal Bentahar, Concordia University, Canada Haroon Malik, Marshall University, USA Local Chair Nuno Varandas, F6S (Where Founders Grow Together), Portugal Workshops Chair Stephane Galland, UTBM, France Program Advisory Committee Reda Alhajj, University of Calgary, Canada Ladislav Hluchy, Institute of Informatics, Slovak Academy of Sciences, Slovakia Vincenzo Loia, University of Salerno, Italy Peter Sloot, Universiteit van Amsterdam, Netherlands Peter Thomas, Manifesto Research, Australia Mohamed Younis, University of Maryland Baltimore County, USA International Journals Chair Michael Sheng, Macquarie University, Australia Publicity Chairs Wim Ectors, Hasselt University, Belgium Siddardha Kaja, Acadia University, Canada Faouzi Kammoun, Ecole Supérieure Privée d'Ingénierie et de Technologies, Tunis Aneta Poniszewska-MaraÅ„da, Lodz University of Technology, Poland Technical Program Committee http://cs-conferences.acadiau.ca/EDI40-21/#programCommittees International Liaison Chairs Soumaya Cherkaoui, Sherbrooke University, Canada Nik Bessis, Edge Hill University, UK David Taniar, Monash University, Australia Steering Committee Chair and Founder Elhadi Shakshuki, Acadia University, Canada Sent via Mail Merge for Gmail -------------- next part -------------- An HTML attachment was scrubbed... URL: From Graham.Hutton at nottingham.ac.uk Wed Nov 11 15:49:42 2020 From: Graham.Hutton at nottingham.ac.uk (Graham Hutton) Date: Wed, 11 Nov 2020 15:49:42 +0000 Subject: [Haskell] Three new Teaching Assistant positions in Nottingham Message-ID: <6EE5E75F-ED15-4993-BB25-AAEAC551BFA0@nottingham.ac.uk> Dear all, As part of a strategic expansion, the School of Computer Science at the University of Nottingham is seeking to make three new permanent appointments at Teaching Assistant level: https://www.nottingham.ac.uk/jobs/currentvacancies/ref/SCI290020 Applicants with expertise in functional programming are strongly encouraged! The deadline for applications is 11th December 2020. Best wishes, Graham — Professor Graham Hutton School of Computer Science University of Nottingham, UK http://www.cs.nott.ac.uk/~pszgmh 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 aneta.poniszewska-maranda at p.lodz.pl Wed Nov 11 22:56:05 2020 From: aneta.poniszewska-maranda at p.lodz.pl (=?utf-8?B?QW5ldGEgUG9uaXN6ZXdza2EtTWFyYcWEZGEgSTcy?=) Date: Wed, 11 Nov 2020 22:56:05 +0000 Subject: [Haskell] ANT-2021 CfPs: The 12th International Conference on Ambient Systems, Networks and Technologies (March 23-26, 2021, Warsaw, Poland) In-Reply-To: References: <2CB0200C-BCE4-4630-8EF1-5CA06606E867@acadiau.ca>, <73FD135B-1D82-450A-913D-39CA9E087F4B@acadiau.ca>, , , , , Message-ID: Call for Papers The 12th International Conference on Ambient Systems, Networks and Technologies (ANT) Warsaw, Poland March 23-26, 2021 Conference Website: http://cs-conferences.acadiau.ca/ant-21/ Workshops: http://cs-conferences.acadiau.ca/ant-21/#workshop Tutorials: http://cs-conferences.acadiau.ca/ant-21/#tutorial Important Dates - Workshops Proposals Due: October 1, 2020 - Paper Submission Due: November 20, 2020 (Extended) - Acceptance Notification: December 30, 2020 - Camera-Ready Submission: January 27, 2021 ANT 2021 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus (www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/). All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com). This includes EI Compendex (www.ei.org/compendex). Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/). The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the special issues of: - International Journal of Ambient Intelligence and Humanized Computing (IF: 4.594), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal on Transportation Research Part A: Policy and Practice (IF: 3.992), 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) - International Journal of Computing and Informatics (IF: 0.524), by Computing and Informatics (http://www.cai.sk/ojs/index.php/cai/index) ANT 2021 will be held in Warsaw, Poland. Warsaw is the capital and largest city of Poland. The metropolis stands on the Vistula River in east-central Poland and its population is officially estimated at 1.770 million residents within a greater metropolitan area of 3.1 million residents, which makes Warsaw the 8th most-populous capital city in the European Union. The city limits cover 516.9 square kilometres (199.6 sq mi), while the metropolitan area covers 6,100.43 square kilometres (2,355.39 sq mi). Warsaw is an alpha global city, a major international tourist destination, and a significant cultural, political and economic hub. Its historical Old Town was designated a UNESCO World Heritage Site. ANT 2021 will be held in conjunction with the 3rd International Conference on Emerging Data and Industry 4.0 (EDI40, http://cs-conferences.acadiau.ca/edi40-21/). 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 - Modelling and Simulation in Transportation Sciences - Multimedia and Social Computing - Service Oriented Computing for Systems & Applications - Smart, Sustainable Cities and Climate Change Management - Smart Environments and Applications - Systems Security and Privacy - Systems Software Engineering - Vehicular Networks and Applications - General Track Committees General Chairs Atta Badii, University of Reading, UK Albert Zomaya, The University of Sydney, Australia Program Chairs Hossam Hassanein, Queen's University, Canada Ansar-Ul-Haque Yasar, IMOB Hasselt University, Belgium Local Chair Nuno Varandas, F6S (Where Founders Grow Together), Portugal Workshops Chair Stephane Galland, UTBM, France Program Vice Chairs Omar Alam, Trent University, Canada Nik Bessis, Edge Hill University, UK Azedine Boulmakoul, Hassan II University, Morocco Samia Bouzefrane, CEDRIC Lab Conservatoire National des Arts et Métiers, France Stefano Cresci, National Research Council, Italy Robertas Damasevicius, Kaunas University of Technology, Lithuania Roberto Di Pietro, Hamad Bin Khalifa University, Qatar Silvana Di Sabatino, University of Bologna, Italy Elsayed Mohamed Abdelkareem Elalfy, KFUPM, Saudi Arabia Jason Jaskolka, Carleton University, Canada Faouzi Kammoun, Ecole Supérieure Privée d'Ingénierie et de Technologies, Tunis Bouabdellah Kechar, Oran 1 Ahmed BenBella University, Algeria Natalia Kryvinska, University of Vienna, Austria Flavio Lombardi, Roma Tre University of Rome, Italy Vuk Marojevic, Mississippi State University, USA Ahmed Nait Sidi Moh, University of Picardie Jules Verne, France Aneta Poniszewska-Maranda, Lodz University of Technology, Poland Cristina Seceleanu, Mälardalen University, Sweden Miguel Sepulcre, Miguel Hernandez University of Elche, Spain Khaled Shaaban, University of Central Florida, USA Javid Taheri, Karlstad University, Sweden Publicity Chairs Hana Gharrad, Hasselt University, Belgium Sony Guntuka, Acadia University, Canada Aneta Poniszewska-Maranda, Lodz University of Technology, Poland Josep-Maria Salanova, CERTH, Greece International Journals Chair Haroon Malik, Marshall University, USA Michael Sheng, Macquarie University, Australia Advisory Committee Reda Alhajj, University of Calgary, Canada Sajal K. Das, The University of Texas at Arlington, USA Erol Gelenbe, Imperial College, UK Ibad Kureshi, Inlecomm Systems, Belgium 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 Liaison Chairs Soumaya Cherkaoui, Sherbrooke University, Canada Paul Davidsson, Malmo University, Sweden David Taniar, Monash University, Australia Technical Program Committee http://cs-conferences.acadiau.ca/ant-21/#programCommittees Steering Committee Chair and Founder of ANT Elhadi Shakshuki, Acadia University, Canada ________________________________ [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 aneta.poniszewska-maranda at p.lodz.pl Wed Nov 11 23:10:24 2020 From: aneta.poniszewska-maranda at p.lodz.pl (=?utf-8?B?QW5ldGEgUG9uaXN6ZXdza2EtTWFyYcWEZGEgSTcy?=) Date: Wed, 11 Nov 2020 23:10:24 +0000 Subject: [Haskell] EDI40-2021 CfPs: The 4rd International Conference on Emerging Data and Industry 4.0 (March 23-26, 2021, Warsaw, Poland) In-Reply-To: References: <2CB0200C-BCE4-4630-8EF1-5CA06606E867@acadiau.ca>, <73FD135B-1D82-450A-913D-39CA9E087F4B@acadiau.ca>, , , , , Message-ID: Call for Papers *************************************************************************** The 4th International Conference on Emerging Data and Industry 4.0 (EDI40) Warsaw, Poland March 23-26, 2021 *************************************************************************** Conference Website: http://cs-conferences.acadiau.ca/EDI40-21/ Workshops: http://cs-conferences.acadiau.ca/EDI40-21/#workshop Important Dates - Workshops Proposals Due: October 1, 2020 - Paper Submission Due: November 20, 2020 (Extended) - Acceptance Notification: December 30, 2020 - Camera-Ready Submission: January 27, 2021 EDI40 2021 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus (www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/). All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com). This includes EI Compendex (www.ei.org/compendex). Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/). The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the special issues of: - International Journal of Ambient Intelligence and Humanized Computing (IF: 4.594), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal on Transportation Research Part A: Policy and Practice (IF: 3.992), 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) - International Journal of Computing and Informatics (IF: 0.524), by Computing and Informatics (http://www.cai.sk/ojs/index.php/cai/index) EDI40 2021 will be held in Warsaw, Poland. Warsaw is the capital and largest city of Poland. The metropolis stands on the Vistula River in east-central Poland and its population is officially estimated at 1.770 million residents within a greater metropolitan area of 3.1 million residents, which makes Warsaw the 8th most-populous capital city in the European Union. The city limits cover 516.9 square kilometres (199.6 sq mi), while the metropolitan area covers 6,100.43 square kilometres (2,355.39 sq mi). Warsaw is an alpha global city, a major international tourist destination, and a significant cultural, political and economic hub. Its historical Old Town was designated a UNESCO World Heritage Site. EDI40 2021 will be held in conjunction with the 12th International Conference on Ambient Systems, Networks and Technologies (ANT, http://cs-conferences.acadiau.ca/ant-21/). Conference Tracks - Benefits of Industry 4.0 - Big Data and Analytics - Cloud Computing - Cognitive Computing - Computational Intelligence - Cyber-Physical Systems (CPS) - Fog Computing and Edge Computing - Internet of Everything (IoE) - Standards for IoT Application Integration - The New Business Models in Industry 4.0 - General Track: Digitalization Startegies Committees General Chair Danny Hughes, CTO VeraSense NV, Belgium Program Chairs Jamal Bentahar, Concordia University, Canada Haroon Malik, Marshall University, USA Local Chair Nuno Varandas, F6S (Where Founders Grow Together), Portugal Workshops Chair Stephane Galland, UTBM, France Program Advisory Committee Reda Alhajj, University of Calgary, Canada Ladislav Hluchy, Institute of Informatics, Slovak Academy of Sciences, Slovakia Vincenzo Loia, University of Salerno, Italy Peter Sloot, Universiteit van Amsterdam, Netherlands Peter Thomas, Manifesto Research, Australia Mohamed Younis, University of Maryland Baltimore County, USA International Journals Chair Michael Sheng, Macquarie University, Australia Publicity Chairs Wim Ectors, Hasselt University, Belgium Siddardha Kaja, Acadia University, Canada Faouzi Kammoun, Ecole Supérieure Privée d'Ingénierie et de Technologies, Tunis Aneta Poniszewska-Maranda, Lodz University of Technology, Poland Technical Program Committee http://cs-conferences.acadiau.ca/EDI40-21/#programCommittees International Liaison Chairs Soumaya Cherkaoui, Sherbrooke University, Canada Nik Bessis, Edge Hill University, UK David Taniar, Monash University, Australia Steering Committee Chair and Founder Elhadi Shakshuki, Acadia University, Canada ________________________________ [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 yazan.mualla at utbm.fr Wed Nov 18 10:53:34 2020 From: yazan.mualla at utbm.fr (Yazan Mualla) Date: Wed, 18 Nov 2020 11:53:34 +0100 (CET) Subject: [Haskell] CFP - The 5th International Workshop on Agent-based Modeling and Applications with SARL (SARL-21) Message-ID: <1112386031.34161091.1605696814718.JavaMail.zimbra@utbm.fr> CALL FOR PAPERS The 5th International Workshop on Agent-based Modeling and Applications with SARL (SARL-21) http://www.ciad-lab.fr/the-5nd-international-workshop-on-agent-based-modeling-and-applications-with-sarl-sarl-21/ ------------------------------------------------------------------------------------------- In conjunction with * The 12th International Conference on Ambient Systems, Networks, and Technologies (ANT 2021) http://cs-conferences.acadiau.ca/ant-21/ * The 3rd European Forum for the SARL Users and Developers (EuSarlCon-21) http://www.ciad-lab.fr/the-3rd-european-forum-for-the-sarl-users-and-developers-eusarlcon21/ March 23 - 26, 2021, Warsaw, Poland. ------------------------------------------------------------------------------------------- Description =========== Research on Agents and Multi-Agent Systems has matured during the last decade and many effective applications of this technology are now deployed. SARL-21 provides an international forum to present and discuss the latest scientific developments and their effective applications, to assess the impact of the approach, and to facilitate technology transfer. SARL workshop was born with the SARL agent programming language, but the scientific results presented in SARL-20 are not restricted to SARL; other languages and agent platforms may be presented. SARL aims at providing the fundamental abstractions for dealing with concurrency, distribution, interaction, decentralization, reactivity, autonomy and dynamic reconfiguration. These high-level features are now considered as the major requirements for an easy and practical implementation of modern complex software applications. We are convinced that the agent-oriented paradigm holds the keys to effectively meet these features. Considering the variety of existing approaches and meta-models in the field of agent-oriented engineering and more generally multi-agent systems, our approach remains as generic as possible and highly extensible to easily integrate new concepts and features. The goal of SARL-21 is to provide a place where the different points of view on the modeling and the simulation with agent platforms and agent programming languages may be discussed. SARL-21 will be held in Warsaw, Poland (March 23 - 26, 2021) in conjunction with the 12th International Conference on Ambient Systems, Networks, and Technologies (ANT 2021) and the European SarlCon 2021. Topics ====== The main topics of the SARL-21 workshop are (but not restricted to): * Methods and Models: * Agent based Modeling and Simulation; * Agent programming language; * Agent based Simulation; * Agent oriented analysis and design methods; * Ontologies and theories about large urban systems; * Formal models of agent-based simulation; * Organizational models. * Applications: * Traffic/Transport; * Crowds; * Smart grids and smart buildings; * Land-Use; * Energy. Important Dates =============== * Submission deadline: Decembre 1, 2020 (extended, hard) * Notification: December 30, 2020 * Final date for camera-ready copy: January 27, 2021 * Workshop: March 23-26, 2021 Submission ========== All workshop accepted papers will be included in the conference proceedings published by Elsevier Science in the open-access Procedia Computer Science series on-line. The submitted paper must be formatted according to the guidelines of Procedia Computer Science, Elsevier. You are invited to submit full length papers in PDF format on EasyChair, not exceeding 6 pages in length, in single-column format including diagrams and references while following the Procedia Computer Science guidelines. Papers that do not follow these guidelines may be rejected without consideration of their merits. All papers will be reviewed by at least two Program Committee members on the basis of technical quality, originality, clarity, and relevance to the track topics listed above. At least one author of each paper must attend the workshop to present the paper. Workshop Chairs =============== * Stéphane GALLAND (Belfort-Montbeliard University of Technology, France) * Sebastian RODRIGUEZ (Royal Melbourne Institute of Technology, Australia) Publicity Chairs ================ Yazan MUALLA (Belfort-Montbeliard University of Technology, France) Registration ============ Please visit the ANT21 Registration Page for more information: http://cs-conferences.acadiau.ca/ant-21/#registration Venue, Accommodation & Visa Requirements ======================================== Please visit the ANT21 Venue & Accommodation Page for more information: http://cs-conferences.acadiau.ca/ant-21/#conferenceVenue -------------- next part -------------- An HTML attachment was scrubbed... URL: From yazan.mualla at utbm.fr Wed Nov 18 10:53:49 2020 From: yazan.mualla at utbm.fr (Yazan Mualla) Date: Wed, 18 Nov 2020 11:53:49 +0100 (CET) Subject: [Haskell] Invitation to the 3rd European Forum for the SARL Users and Developers (EuSarlCon-21) Message-ID: <762894819.34162007.1605696829586.JavaMail.zimbra@utbm.fr> INVITATION FOR PAPERS AND TALKS The 3rd European Forum for the SARL Users and Developers (EuSarlCon-21) http://www.ciad-lab.fr/the-3rd-european-forum-for-the-sarl-users-and-developers-eusarlcon21/ ----------------------------------------------------------------------- In conjunction with: * The 12th International Conference on Ambient Systems, Networks, and Technologies (ANT 2021) http://cs-conferences.acadiau.ca/ant-21/ * The 5th International Workshop on Agent-based Modeling and Applications with SARL (SARL-21) http://www.ciad-lab.fr/the-5nd-international-workshop-on-agent-based-modeling-and-applications-with-sarl-sarl-21/ March 23-26, 2021, Warsaw, Poland. ------------------------------------------------------------------- Description =========== The 2021 European SarlCon is the SARL user meeting that is organized in Europe in order to provide a place where SARL users and developers could exchange their experiences. It will be held on March 23-26, 2021, in Warsaw, Poland (one half-day in the program of the associated ANT-21 conference). Abstracts and/or short papers are due on January 27, 2021. The papers are expected to be very short (< 2500 equivalent words) through EasyChair. SARL-21 is providing an alternative for publishing longer papers. Submissions =========== You are invited to submit the abstract in PDF format on EasyChair, not exceeding 1000 words in length. General Chair ============= Stéphane GALLAND (UBFC, France) Program Chair ============= Yazan MUALLA (UBFC, France) Registration ============ Because EuSarlCon21 is organized in conjunction with ANT21, there is no specific fee for EuSarlCon21 itself, but for the ANT21 conference, which provides the access to its facilities. You must register yourself to the ANT21 in order to be included in the list of the participants. When registering, you could select the specific fee of EuSarlCon21 about 100 Euros. Venue, Accommodation & Visa Requirements ======================================== The date and hour of the forum will be published as soon as the program of the associated ANT-21 conference is fixed. Please visit the ANT21 Venue & Accommodation Page for more information: http://cs-conferences.acadiau.ca/ant-21/#conferenceVenue -------------- next part -------------- An HTML attachment was scrubbed... URL: From andrei.h.popescu at gmail.com Fri Nov 20 13:35:39 2020 From: andrei.h.popescu at gmail.com (Andrei Popescu) Date: Fri, 20 Nov 2020 13:35:39 +0000 Subject: [Haskell] two posts of Lecturer in Cybersecurity at University of Sheffield: deadline 3rd December 2020 Message-ID: Greetings, University of Sheffield has opened two posts of Lecturer in Cybersecurity. Details can be found here: https://www.jobs.ac.uk/job/CCG201/lecturer-in-cybersecurity-two-posts Please note that "formalisation and proof of system security properties" is listed first under "suitable areas". Best wishes, Andrei From ben at well-typed.com Tue Nov 24 00:22:16 2020 From: ben at well-typed.com (Ben Gamari) Date: Mon, 23 Nov 2020 19:22:16 -0500 Subject: [Haskell] [ANNOUNCE] Glasgow Haskell Compiler 9.0.1-alpha1 released In-Reply-To: References: <873631g1e2.fsf@smart-cactus.org> Message-ID: <87v9dv38p6.fsf@smart-cactus.org> George Colpitts writes: > Hi Ben, > > What are the current plans / schedule for 9.0.1? > Hi George, At the moment things are blocked on a solution to #17760, which I am currently in the process of working through. There have been several false-starts on this ticket and while the solution we are ending up with is indeed a compromise (in both performance impact and convenience), I am fairly convinced it is the best we can do. I am waiting for a version of the patch to validate as we speak. As soon as it (and a few other relevant patches) have been backported I will move ahead with cutting the release candidate. I hope this can happen by the end of the week. 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 aneta.poniszewska-maranda at p.lodz.pl Mon Nov 30 23:32:25 2020 From: aneta.poniszewska-maranda at p.lodz.pl (=?utf-8?B?QW5ldGEgUG9uaXN6ZXdza2EtTWFyYcWEZGEgSTcy?=) Date: Mon, 30 Nov 2020 23:32:25 +0000 Subject: [Haskell] ODP: ANT-2021 CfPs: The 12th International Conference on Ambient Systems, Networks and Technologies (March 23-26, 2021, Warsaw, Poland) In-Reply-To: References: <2CB0200C-BCE4-4630-8EF1-5CA06606E867@acadiau.ca>, <73FD135B-1D82-450A-913D-39CA9E087F4B@acadiau.ca>, , , , , , Message-ID: Call for Papers The 12th International Conference on Ambient Systems, Networks and Technologies (ANT) Warsaw, Poland March 23-26, 2021 Conference Website: http://cs-conferences.acadiau.ca/ant-21/ Workshops: http://cs-conferences.acadiau.ca/ant-21/#workshop Tutorials: http://cs-conferences.acadiau.ca/ant-21/#tutorial Important Dates - Workshops Proposals Due: October 1, 2020 - Paper Submission Due: December 15, 2020 (Extended) - Acceptance Notification: December 30, 2020 - Camera-Ready Submission: January 27, 2021 ANT 2021 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus (www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/). All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com). This includes EI Compendex (www.ei.org/compendex). Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/). The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the special issues of: - International Journal of Ambient Intelligence and Humanized Computing (IF: 4.594), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal on Transportation Research Part A: Policy and Practice (IF: 3.992), 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) - International Journal of Computing and Informatics (IF: 0.524), by Computing and Informatics (http://www.cai.sk/ojs/index.php/cai/index) ANT 2021 will be held in Warsaw, Poland. Warsaw is the capital and largest city of Poland. The metropolis stands on the Vistula River in east-central Poland and its population is officially estimated at 1.770 million residents within a greater metropolitan area of 3.1 million residents, which makes Warsaw the 8th most-populous capital city in the European Union. The city limits cover 516.9 square kilometres (199.6 sq mi), while the metropolitan area covers 6,100.43 square kilometres (2,355.39 sq mi). Warsaw is an alpha global city, a major international tourist destination, and a significant cultural, political and economic hub. Its historical Old Town was designated a UNESCO World Heritage Site. ANT 2021 will be held in conjunction with the 3rd International Conference on Emerging Data and Industry 4.0 (EDI40, http://cs-conferences.acadiau.ca/edi40-21/). 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 - Modelling and Simulation in Transportation Sciences - Multimedia and Social Computing - Service Oriented Computing for Systems & Applications - Smart, Sustainable Cities and Climate Change Management - Smart Environments and Applications - Systems Security and Privacy - Systems Software Engineering - Vehicular Networks and Applications - General Track Committees General Chairs Atta Badii, University of Reading, UK Albert Zomaya, The University of Sydney, Australia Program Chairs Hossam Hassanein, Queen's University, Canada Ansar-Ul-Haque Yasar, IMOB Hasselt University, Belgium Local Chair Nuno Varandas, F6S (Where Founders Grow Together), Portugal Workshops Chair Stephane Galland, UTBM, France Program Vice Chairs Omar Alam, Trent University, Canada Nik Bessis, Edge Hill University, UK Azedine Boulmakoul, Hassan II University, Morocco Samia Bouzefrane, CEDRIC Lab Conservatoire National des Arts et Métiers, France Stefano Cresci, National Research Council, Italy Robertas Damasevicius, Kaunas University of Technology, Lithuania Roberto Di Pietro, Hamad Bin Khalifa University, Qatar Silvana Di Sabatino, University of Bologna, Italy Elsayed Mohamed Abdelkareem Elalfy, KFUPM, Saudi Arabia Jason Jaskolka, Carleton University, Canada Faouzi Kammoun, Ecole Supérieure Privée d'Ingénierie et de Technologies, Tunis Bouabdellah Kechar, Oran 1 Ahmed BenBella University, Algeria Natalia Kryvinska, University of Vienna, Austria Flavio Lombardi, Roma Tre University of Rome, Italy Vuk Marojevic, Mississippi State University, USA Ahmed Nait Sidi Moh, University of Picardie Jules Verne, France Aneta Poniszewska-Maranda, Lodz University of Technology, Poland Cristina Seceleanu, Mälardalen University, Sweden Miguel Sepulcre, Miguel Hernandez University of Elche, Spain Khaled Shaaban, University of Central Florida, USA Javid Taheri, Karlstad University, Sweden Publicity Chairs Hana Gharrad, Hasselt University, Belgium Sony Guntuka, Acadia University, Canada Aneta Poniszewska-Maranda, Lodz University of Technology, Poland Josep-Maria Salanova, CERTH, Greece International Journals Chair Haroon Malik, Marshall University, USA Michael Sheng, Macquarie University, Australia Advisory Committee Reda Alhajj, University of Calgary, Canada Sajal K. Das, The University of Texas at Arlington, USA Erol Gelenbe, Imperial College, UK Ibad Kureshi, Inlecomm Systems, Belgium 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 Liaison Chairs Soumaya Cherkaoui, Sherbrooke University, Canada Paul Davidsson, Malmo University, Sweden David Taniar, Monash University, Australia Technical Program Committee http://cs-conferences.acadiau.ca/ant-21/#programCommittees Steering Committee Chair and Founder of ANT Elhadi Shakshuki, Acadia University, Canada ________________________________ [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 aneta.poniszewska-maranda at p.lodz.pl Mon Nov 30 23:46:18 2020 From: aneta.poniszewska-maranda at p.lodz.pl (=?utf-8?B?QW5ldGEgUG9uaXN6ZXdza2EtTWFyYcWEZGEgSTcy?=) Date: Mon, 30 Nov 2020 23:46:18 +0000 Subject: [Haskell] EDI40-2021 CfPs: The 4rd International Conference on Emerging Data and Industry 4.0 (March 23-26, 2021, Warsaw, Poland) In-Reply-To: References: <2CB0200C-BCE4-4630-8EF1-5CA06606E867@acadiau.ca>, <73FD135B-1D82-450A-913D-39CA9E087F4B@acadiau.ca>, , , , , , Message-ID: Call for Papers *************************************************************************** The 4th International Conference on Emerging Data and Industry 4.0 (EDI40) Warsaw, Poland March 23-26, 2021 *************************************************************************** Conference Website: http://cs-conferences.acadiau.ca/EDI40-21/ Workshops: http://cs-conferences.acadiau.ca/EDI40-21/#workshop Important Dates - Workshops Proposals Due: October 1, 2020 - Paper Submission Due: December 15, 2020 (Extended) - Acceptance Notification: December 30, 2020 - Camera-Ready Submission: January 27, 2021 EDI40 2021 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus (www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/). All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com). This includes EI Compendex (www.ei.org/compendex). Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/). The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the special issues of: - International Journal of Ambient Intelligence and Humanized Computing (IF: 4.594), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal on Transportation Research Part A: Policy and Practice (IF: 3.992), 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) - International Journal of Computing and Informatics (IF: 0.524), by Computing and Informatics (http://www.cai.sk/ojs/index.php/cai/index) EDI40 2021 will be held in Warsaw, Poland. Warsaw is the capital and largest city of Poland. The metropolis stands on the Vistula River in east-central Poland and its population is officially estimated at 1.770 million residents within a greater metropolitan area of 3.1 million residents, which makes Warsaw the 8th most-populous capital city in the European Union. The city limits cover 516.9 square kilometres (199.6 sq mi), while the metropolitan area covers 6,100.43 square kilometres (2,355.39 sq mi). Warsaw is an alpha global city, a major international tourist destination, and a significant cultural, political and economic hub. Its historical Old Town was designated a UNESCO World Heritage Site. EDI40 2021 will be held in conjunction with the 12th International Conference on Ambient Systems, Networks and Technologies (ANT, http://cs-conferences.acadiau.ca/ant-21/). Conference Tracks - Benefits of Industry 4.0 - Big Data and Analytics - Cloud Computing - Cognitive Computing - Computational Intelligence - Cyber-Physical Systems (CPS) - Fog Computing and Edge Computing - Internet of Everything (IoE) - Standards for IoT Application Integration - The New Business Models in Industry 4.0 - General Track: Digitalization Startegies Committees General Chair Danny Hughes, CTO VeraSense NV, Belgium Program Chairs Jamal Bentahar, Concordia University, Canada Haroon Malik, Marshall University, USA Local Chair Nuno Varandas, F6S (Where Founders Grow Together), Portugal Workshops Chair Stephane Galland, UTBM, France Program Advisory Committee Reda Alhajj, University of Calgary, Canada Ladislav Hluchy, Institute of Informatics, Slovak Academy of Sciences, Slovakia Vincenzo Loia, University of Salerno, Italy Peter Sloot, Universiteit van Amsterdam, Netherlands Peter Thomas, Manifesto Research, Australia Mohamed Younis, University of Maryland Baltimore County, USA International Journals Chair Michael Sheng, Macquarie University, Australia Publicity Chairs Wim Ectors, Hasselt University, Belgium Siddardha Kaja, Acadia University, Canada Faouzi Kammoun, Ecole Supérieure Privée d'Ingénierie et de Technologies, Tunis Aneta Poniszewska-Maranda, Lodz University of Technology, Poland Technical Program Committee http://cs-conferences.acadiau.ca/EDI40-21/#programCommittees International Liaison Chairs Soumaya Cherkaoui, Sherbrooke University, Canada Nik Bessis, Edge Hill University, UK David Taniar, Monash University, Australia Steering Committee Chair and Founder Elhadi Shakshuki, Acadia University, Canada ________________________________ [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: