- Haskell - Haskell.org

Announcing the Haskell Foundation
by Richard Eisenberg 04 Nov '20

04 Nov '20

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/ <https://haskell.foundation/> Twitter: @haskellfound Founding whitepaper: https://haskell.foundation/whitepaper/ <https://haskell.foundation/whitepaper/> Simon Peyton Jones's announcement, with lots of Q&A: https://www.youtube.com/watch?v=MEmRarBL9kw <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/ <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 <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 <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

1 0

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

04 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

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

04 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

Tomorrow: Simon PJ announces Haskell Foundation
by Richard Eisenberg 03 Nov '20

03 Nov '20

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

1 0

Journal of Functional Programming - Call for PhD Abstracts
by Graham Hutton 03 Nov '20

03 Nov '20

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 <graham.hutton(a)nottingham.ac.uk> 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.

1 0

trouble building ghc-8.10.2 from source
by Scott N. Walck 01 Nov '20

01 Nov '20

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(a)lvc.edu http://quantum.lvc.edu/walck/

1 0

2nd Call for Contributions: BOB 2021 [Feb 26, Deadline Nov 13]
by Stefan Wehr 30 Oct '20

30 Oct '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

Second Call for Presentations: PriSC 2021 @ POPL 2021
by PriSC PC Chairs 27 Oct '20

27 Oct '20

(Apologies if you're getting this email multiple times.) Short version: PriSC is a fun, welcoming and exciting venue. Share updates, ideas, thoughts or send students for a friendly gathering that may lead to future collaborations and ideas. Submit now! All details are on the PriSC site <https://popl21.sigplan.org/home/prisc-2021> <https://popl21.sigplan.org/home/prisc-2021> and in this email. ================================================ Call for Presentations: PriSC 2021 @ POPL 2021 ================================================ The emerging field of secure compilation aims to preserve security properties of programs when they have been compiled to low-level languages such as assembly, where high-level abstractions don’t exist, and unsafe, unexpected interactions with libraries, other programs, the operating system and even the hardware are possible. For unsafe source languages like C, secure compilation requires careful handling of undefined source-language behavior (like buffer overflows and double frees). Formally, secure compilation aims to protect high-level language abstractions in compiled code, even against adversarial low-level contexts, thus enabling sound reasoning about security in the source language. A complementary goal is to keep the compiled code efficient, often leveraging new hardware security features and advances in compiler design. Other necessary components are identifying and formalizing properties that secure compilers must possess, devising efficient security mechanisms (both software and hardware), and developing effective verification and proof techniques. Research in the field thus puts together advances in compiler design, programming languages, systems security, verification, and computer architecture. 5th Workshop on Principles of Secure Compilation (PriSC 2021) ============================================================= The Workshop on Principles of Secure Compilation (PriSC) is a relatively new, informal 1-day workshop without any proceedings. The goal is to bring together researchers interested in secure compilation and to identify interesting research directions and open challenges. The 5th edition of PriSC will be held on January 17 online, together with the ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2021. Important Dates =============== * Fri 30 Oct 2020: Submission deadline * Wed 25 Nov 2020: Notification * Sun 17 Jan 2021: Workshop Presentation Proposals and Attending the Workshop ================================================= Anyone interested in presenting at the workshop should submit an extended abstract (up to 2 pages, details below) covering past, ongoing, or future work. Any topic that could be of interest to secure compilation is in scope. Secure compilation should be interpreted very broadly to include any work in security, programming languages, architecture, systems or their combination that can be leveraged to preserve security properties of programs when they are compiled or to eliminate low-level vulnerabilities. Presentations that provide a useful outside view or challenge the community are also welcome. This includes presentations on new attack vectors such as microarchitectural side-channels, whose defenses could benefit from compiler techniques. Specific topics of interest include but are not limited to: * Attacker models for secure compiler chains. * Secure compiler properties: fully abstract compilation and similar properties, memory safety, control-flow integrity, preservation of safety, information flow and other (hyper-)properties against adversarial contexts, secure multi-language interoperability. * Secure interaction between different programming languages: foreign function interfaces, gradual types, securely combining different memory management strategies. * Enforcement mechanisms and low-level security primitives: static checking, program verification, typed assembly languages, reference monitoring, program rewriting, software-based isolation/hiding techniques (SFI, crypto-based, randomization-based, OS/hypervisor-based), security-oriented architectural features such as Intel’s SGX, MPX and MPK, capability machines, side-channel defenses, object capabilities. * Experimental evaluation and applications of secure compilers. * Proof methods relevant to compilation: (bi)simulation, logical relations, game semantics, trace semantics, multi-language semantics, embedded interpreters. * Formal verification of secure compilation chains (protection mechanisms, compilers, linkers, loaders), machine-checked proofs, translation validation, property-based testing. Guidelines for Submitting Extended Abstracts ============================================ Extended abstracts should be submitted in PDF format and not exceed 2 pages (references not including). They should be formatted in two-column layout, 10pt font, and be printable on A4 and US Letter sized paper. We recommend using the new acmart LaTeX style in sigplan mode. Submissions are not anonymous and should provide sufficient detail to be assessed by the program committee. Presentation at the workshop does not preclude publication elsewhere. Contact and More Information ============================ You can find more information on the workshop website: https://popl21.sigplan.org/home/prisc-2021 For questions please contact the workshop chairs, Jonathan Protzenko and Deian Stefan.

1 0

Any interest in the 'biohaskell.org' domain?
by Ketil Malde 25 Oct '20

25 Oct '20

Hi, Some years ago, I set up the biohaskell.org domain with mailing list, wiki, etc, in order to collect bioinformatics tools, utilities, and libraries written in our favorite languages. Time has moved on, and I with it, and I am no longer doing (much) bioinformatics, and (sadly) also less Haskell. Now it is time to renew the domain again, and I wonder if there is any interest in it? If you would like to take it over or just want to see it continued existence, please send me an email and let me know. If I hear nothing, I'll unceremoniously let it pass away. -k -- If I haven't seen further, it is by standing in the footprints of giants

1 0

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

21 Oct '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: November 1, 2020 * 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