- Haskell - Haskell.org

Invitation to the 3rd European Forum for the SARL Users and Developers (EuSarlCon-21)
by Yazan Mualla 02 Dec '20

02 Dec '20

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-develo… ----------------------------------------------------------------------- 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-modeli… 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) <stephane.galland(a)utbm.fr> 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

1 0

CFP - The 5th International Workshop on Agent-based Modeling and Applications with SARL (SARL-21)
by Yazan Mualla 02 Dec '20

02 Dec '20

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-modeli… ------------------------------------------------------------------------------------------- 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-develo… 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: December 15, 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

1 0

Re: [Haskell] [ANNOUNCE] Glasgow Haskell Compiler 9.0.1-alpha1 released
by Ben Gamari 24 Nov '20

24 Nov '20

George Colpitts <george.colpitts(a)gmail.com> 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

1 0

two posts of Lecturer in Cybersecurity at University of Sheffield: deadline 3rd December 2020
by Andrei Popescu 20 Nov '20

20 Nov '20

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

1 0

Invitation to the 3rd European Forum for the SARL Users and Developers (EuSarlCon-21)
by Yazan Mualla 18 Nov '20

18 Nov '20

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-develo… ----------------------------------------------------------------------- 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-modeli… 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) <stephane.galland(a)utbm.fr> 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

1 0

CFP - The 5th International Workshop on Agent-based Modeling and Applications with SARL (SARL-21)
by Yazan Mualla 18 Nov '20

18 Nov '20

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-modeli… ------------------------------------------------------------------------------------------- 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-develo… 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

1 0

Three new Teaching Assistant positions in Nottingham
by Graham Hutton 11 Nov '20

11 Nov '20

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.

1 0

[EDI40-2021] CFP: 4th International Conference on Emerging Data and Industry 4.0. Warsaw, Poland (March 23-26, 2021)
by Wim Ectors 11 Nov '20

11 Nov '20

*************************************************************************** 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…) - 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 <https://gsuite.google.com/marketplace/app/mail_merge_with_attachments/22340…>

1 0

Last Call for Contributions: BOB 2021 [Feb 26, Deadline Nov 13]
by Stefan Wehr 10 Nov '20

10 Nov '20

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

1 0

Call for Workshop Proposals: ICFP 2021
by Sam Tobin-Hochstadt 05 Nov '20

05 Nov '20

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(a)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(a)googlegroups.com.

1 0