From yazan.mualla at utbm.fr Fri Nov 2 08:43:01 2018 From: yazan.mualla at utbm.fr (Yazan Mualla) Date: Fri, 2 Nov 2018 09:43:01 +0100 (CET) Subject: [Haskell] CFP 3rd International Workshop on Agent-based Modeling and Applications with SARL (SARL19) Message-ID: <1497849619.82024652.1541148181448.JavaMail.zimbra@utbm.fr> CALL FOR PAPERS The 3rd International Workshop on Agent-based Modeling and Applications with SARL (SARL-19) ------------------------------------------------------------------------------------------- In conjunction with the 10th International Conference on Ambient Systems, Networks, and Technologies ANT 2019 and the European SarlCon 2019 April 29 - May 2, 2019, Leuven, Belgium. ------------------------------------------------------------------------------------------- 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-18 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-19 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-19 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-19 will be held in Leuven, Belgium (April 29 - May 2, 2019) in conjunction with the 10th International Conference on Ambient Systems, Networks, and Technologies (ANT 2019) and the European SarlCon 2019. Topics ====== The main topics of the SARL-18 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 6, 2018; * Notification: February 4, 2019; * Final date for camera-ready copy: March 1, 2019; * Workshop: April 29 - May 2, 2019. Submission ========== All workshop accepted papers will be included in the conference proceedings published by Elsevier Science in the open-access Procedia Computer Science series online. 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 below. At least one author of each paper must attend the workshop to present the paper. Workshop Chairs =============== Stéphane GALLAND (Univ. de Technologie de Belfort-Montbeliard, France) Sebastian RODRIGUEZ (Universidad Technologica National, Argentina) Program Committee ================= To be completed. -------------- next part -------------- An HTML attachment was scrubbed... URL: From yazan.mualla at utbm.fr Fri Nov 2 08:43:52 2018 From: yazan.mualla at utbm.fr (Yazan Mualla) Date: Fri, 2 Nov 2018 09:43:52 +0100 (CET) Subject: [Haskell] Invitation to the 1st European Forum of the SARL Users and Developers (EuSarlCon19) Message-ID: <397256878.82025214.1541148232918.JavaMail.zimbra@utbm.fr> INVITATION FOR PAPERS AND TALKS The 1st European Forum for the SARL Users and Developers (EuSarlCon-19) ------------------------------------------------------------------- In conjunction with: * the 10th International Conference on Ambient Systems, Networks, and Technologies (ANT 2019); * the 8th International Workshop on Agent-based Mobility, Traffic and Transportation Models, Methodologies and Applications (ABMTRANS-19); * the 3rd International Workshop on Agent-based Modeling and Applications with SARL (SARL-19). May 2, 2019, Leuven, Belgium. http://www.multiagent.fr/Conferences:EuSarlCon19 ------------------------------------------------------------------- Description =========== The 2019 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 May 2, 2019, in Leuven, Belgium. That is the last day of the ANT-2019 conference, the ABMTRANS-19 and the SARL-19 workshops. Abstracts and/or short papers are due on December 1, 2018. The papers are expected to be very short (< 2500 equivalent words). ABMTRANS-19 and SARL-19 are providing an alternative for publishing longer papers. Abstracts and papers can be submitted to ABMTRANS-19, to SARL-19, to SarlCon19, or all. We will coordinate with the main conference so that papers are not presented twice. Submissions directly for the SarlCon should take the form of an abstract (< 1000 words), and are to be submitted before December 1, 2018, through EasyChair. SARL-related submissions to the main conference will as well be considered for inclusion in the SarlCon program. Important Dates =============== * Submission deadline: December 1, 2018; * Notification: January 4, 2019; * Forum: May 2, 2019. Submission ========== You are invited to submit the abstract in PDF format on EasyChair (https://easychair.org/conferences/?conf=eusarlcon2019), not exceeding 1000 words in length. Organizer ========= Stéphane GALLAND (Univ. de Technologie de Belfort-Montbeliard, France). Registration ============ Registration to the European SarlCon 2019 is free. -------------- next part -------------- An HTML attachment was scrubbed... URL: From jaspervdj at gmail.com Fri Nov 2 11:10:16 2018 From: jaspervdj at gmail.com (Jasper Van der Jeugt) Date: Fri, 2 Nov 2018 12:10:16 +0100 Subject: [Haskell] 2018 State of Haskell Survey Message-ID: <20181102111016.GB2010@colony6.localdomain> Hi all, (apologies if you receive multiple copies of this email) We are running a 2018 State of Haskell Survey here: https://airtable.com/shr8G4RBPD9T6tnDf If you have some time to spare, please submit a response. This goes a long way in helping the community. The survey closes on the 15th of November. This survey is co-sponsored by Haskell.org and Haskell Weekly, but I'd like to give credit where credit is due, so I'll add that Taylor Fausak did almost all of the hard work -- thanks a lot! Kind regards Jasper Van der Jeugt on behalf of the Haskell.org committee From k.wasielewska at fedcsis.org Sun Nov 4 10:47:27 2018 From: k.wasielewska at fedcsis.org (Federated Conference on Computer Science and Information Systems) Date: Sun, 4 Nov 2018 11:47:27 +0100 Subject: [Haskell] FedCSIS 2019 - CALL FOR EVENTS Message-ID: <1dc3f5d9-9456-5faa-860d-0087eee0bd9b@fedcsis.org> Call for Events Federated Conference on Computer Science and Information Systems Leipzig, Germany, 1-4 September, 2019 www.fedcsis.org The 2019 Federated Conference on Computer Science and Information Systems cordially invites you to consider contributing an Event (conference, symposium, workshop, consortium meeting, project dissemination meeting, special session, etc.). The FedCSIS multi-conference consists of a significant number of recurring Events and it welcomes proposals for new Events until November 20, 2018. The Events can run over any span of time within the conference dates; from half-day to three days. Invitation is extended also to existing events that would like to join the vibrant FedCSIS ecosystem. The FedCSIS Events provide a platform for bringing together researchers, practitioners, and academia to present and discuss ideas, challenges, and potential solutions on established or emerging topics related to research and practice in computer science and information systems. The Events will be selected based on the scientific/technical interest and/or their relevance to practitioners in their topics, the clarity of the proposal in addressing the requested information, the innovativeness of the Event topics, and the fit with the FedCSIS multi-conference program. The FedCSIS 2018 – held in Poznań, Poland – attracted 349 papers, of which 74 were accepted as regular full papers (acceptance rate of approximately 21%). Some events accepted additionally regular short, position and communication papers. FedCSIS 2018 regular full and short papers are being submitted to the IEEE Xplore Digital Library, while position and communication papers have been published in a separate volumes of the Annals of Computer Science and Information systems series. Regular and short papers are submitted for indexation in Clarivate Web of Science (where they have been indexed since 2012), as well as to other indexing services, e.g. Scopus, DBLP, etc. Publications As in previous years, FedCSIS preprints will be published on a USB memory stick given to FedCSIS participants. *Only* papers presented during the conference will be submitted to the IEEE Xplore Digital Library (or will appear as position papers, published in a separate volume, which will not be submitted to the IEEE), and posted at the conference WWW site. The IEEE DL proceedings will be published with an ISBN, ISSN, IEEE Catalog and DOI numbers, under a nonexclusive copyright. Such copyright implies that Events' organizers can and, indeed, are strongly encouraged to invite extended and revised papers for post-conference publications in high-quality journals, edited volumes, etc. Position and Communication Paper volumes (separate as each category) will be published with ISBN, ISSN and DOI numbers. Event Proposals Event proposals should include the following information (2 pages maximum): 1.The nature of the Event. 2.The title of the Event, and a clear description of the topic, including a brief justification. 3.The complete contact information of the Event organizers, including a link to their personal websites, and an overview of previous experiences with organization of scientific events. 4.Preliminary list of PC members who have agreed to join. 5.Indication of the expected number of papers/attendees to attend the Event. 6.Information of expected post-Event publications, of extended and revised papers, in high-quality journals, edited volumes, etc. Event organizers should email their proposals (in a single pdf file) by November 20, 2018 to the FedCSIS Secretariat at: secretariat at fedcsis.org More information concerning Event organization can be found at: http://www.fedcsis.org/cfe -------------- next part -------------- An HTML attachment was scrubbed... URL: From Graham.Hutton at nottingham.ac.uk Mon Nov 5 09:51:22 2018 From: Graham.Hutton at nottingham.ac.uk (Graham Hutton) Date: Mon, 5 Nov 2018 09:51:22 +0000 Subject: [Haskell] Journal of Functional Programming - Call for PhD Abstracts Message-ID: 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, deadline 30th November 2018. Please share! Best wishes, Graham Hutton ============================================================ CALL FOR PHD ABSTRACTS Journal of Functional Programming Deadline: 30th November 2018 http://tinyurl.com/jfp-phd-abstracts ============================================================ PREAMBLE: Many students complete PhDs in functional programming each year. As a service to the community, 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 2018. 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 ben at well-typed.com Mon Nov 5 16:29:20 2018 From: ben at well-typed.com (Ben Gamari) Date: Mon, 05 Nov 2018 11:29:20 -0500 Subject: [Haskell] [ANNOUNCE] GHC 8.6.2 is now available Message-ID: <87h8gvwkrp.fsf@smart-cactus.org> Hello everyone, The GHC team is very happy to announce the availability of GHC 8.6.2, a bugfix release to GHC 8.6.1. The source distribution, binary distributions, and documentation for this release are available at https://downloads.haskell.org/~ghc/8.6.2 The 8.6 release fixes several regressions present in 8.6.1 including: * A long-standing (but previously hard to manifest) bug resulting in undefined behavior for some applications of dataToTag# has been fixed (#15696) * An incorrect linker path to libgmp in the Mac OS binary distributions (#15404) * A regression rendering Windows installations to read-only directories unusable (#15667) * A regression resulting in panics while compiling some record updates of GADTs constructors (#15499) * A regression resulting in incorrect type errors when splicing types into constraint contexts has been fixed (#15815) * Around a dozen other issues. See Trac [1] for a full list of issues resolved in this release. Note that this release ships with one significant but long-standing bug (#14251): Calls to functions taking both Float# and Double# may result in incorrect code generation when compiled using the LLVM code generator. This is not a new issue, it has existed as long as the LLVM code generator has existed; however, changes in code generation in 8.6 made it more likely that user code using only lifted types will trigger it. Happy compiling! Cheers, - Ben [1] https://ghc.haskell.org/trac/ghc/query?status=closed&milestone=8.6.2&col=id&col=summary&col=status&col=type&col=priority&col=milestone&col=component&order=priority -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 487 bytes Desc: not available URL: From Monika.Davidekova at fm.uniba.sk Tue Nov 6 09:31:41 2018 From: Monika.Davidekova at fm.uniba.sk (Davidekova Monika) Date: Tue, 6 Nov 2018 09:31:41 +0000 Subject: [Haskell] [ANT2019] 10th International Conference on Ambient Systems, Networks and Technologies. Leuven, Belgium (April 29 - May 2, 2019) In-Reply-To: References: , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , Message-ID: The 10th International Conference on Ambient Systems, Networks and Technologies (ANT) Leuven, Belgium April 29 - May 2, 2019 Conference Website: http://cs-conferences.acadiau.ca/ant-19/ Workshops: http://cs-conferences.acadiau.ca/ant-19/#workshop Tutorials: http://cs-conferences.acadiau.ca/ant-19/#tutorial Important Dates - Workshops Proposals Due: October 30, 2018 - Paper Submission Due: December 6, 2018 - Acceptance Notification: February 4, 2019 - Camera-Ready Submission: March 1, 2019 ANT 2019 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus (www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/). All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com). This includes EI Compendex (www.ei.org/compendex). Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/). The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the special issues of: - Journal of Ambient Intelligence and Humanized Computing (IF: 1.588), by Springer (http://www.springer.com/engineering/journal/12652) - Journal of Personal and Ubiquitous Computing (IF: 2.395), by Springer - IEEE Intelligent Transportation Systems Magazine (IF: 3.654), by IEEE (http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5117645) - IEEE Transactions on Intelligent Transportation Systems (IF: 3.724), by IEEE (http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=6979) - International Journal of Computing and Informatics (IF: 0.504), by Computing and Informatics (http://www.cai.sk/ojs/index.php/cai/index) ANT 2019 will be held in Leuven, Belgium. Leuven is the capital of the province of Flemish Brabant in Belgium. It is located about 25 kilometres (16 miles) east of Brussels. It is the 10th largest municipality in Belgium and the fourth in Flanders. Leuven is home to the Katholieke Universiteit Leuven, the largest and oldest university of the Low Countries and the oldest Catholic university still in existence. The related university hospital of UZ Leuven, is one of the largest hospitals of Europe. The city is also known for being the headquarters of Anheuser-Busch InBev, the world's largest brewer and one of the five largest consumer-goods companies in the world. Leuven's Town Hall is one of the best-known Gothic town halls worldwide and Leuven's pride and joy. It took three architects and thirty years to build it. Leuven's 'Hall of Fame' features 236 statues, which were only added to the façade after 1850. There are 220 men and 16 women in total. On the bottom floor are famous Leuven scientists, artists and historical figures, dressed in Burgundian garb. The first floor is reserved for the patron saints of the various parishes of Leuven. Above them the façade is adorned by the counts and dukes of Brabant while the towers primarily feature biblical figures. ANT 2019 will be held in conjunction with the 2nd International Conference on Emerging Data and Industry 4.0 (EDI40, http://cs-conferences.acadiau.ca/edi40-19/). Conference Tracks - Agent Systems, Intelligent Computing and Applications - Big Data and Analytics - Cloud Computing - Context-awareness and Multimodal Interfaces - Emerging Networking, Tracking and Sensing Technologies - Human Computer Interaction - Internet of Things - Mobile Networks, Protocols and Applications - Modeling and Simulation in Transportation Sciences - Multimedia and Social Computing - Service Oriented Computing for Systems & Applications - Smart, Sustainable Cities and Climate Change Management - Smart Environments and Applications - Systems Security and Privacy - Systems Software Engineering - Vehicular Networks and Applications - General Track 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 Yves Vanrompay, Hasselt University, Belgium Workshops Chair Stephane Galland, UTBM, France Program Advisory Committee Reda Alhajj, University of Calgary, Canada Abdelfettah Belghith, University of Manouba, Tunisia Sajal K. Das, The University of Texas at Arlington, USA Erol Gelenbe, Imperial College, UK Vincenzo Loia, University of Salerno, Italy Peter Sloot, Universiteit van Amsterdam, Netherlands Ralf Steinmetz, Technische Universitaet Darmstadt, Germany Katia Sycara, Carnegie Mellon University, USA Peter Thomas, Manifesto Research, Australia International Journals Chair Michael Sheng, Macquarie University, Australia Vice Chairs Imene Lahyani Abdennadher, University of Sfax, Tunisia Boulmakoul Azedine, Hassan II University, Morocco Marcel Baunach, Graz University of Technology, Austria Tom Bellemans, Hasselt University, Belgium Nik Bessis, Edge Hill University, UK Kechar Bouabdellah, Oran 1 Ahmed BenBella University, Algeria Samia Bouzefrane,CEDRIC Lab Conservatoire National des Arts et Métiers, France Roberto Di Pietro, Hamad Bin Khalifa University, Qatar Khalil Drira, LAAS-CNRS, France Wael El-Medany, University of Bahrain, Bahrain Jason Jaskolka, Carleton University, Canada Flavio Lombardi, Roma Tre University of Rome, Italy Haroon Malik, Marshall University, USA Ahmed Nait Sidi Moh, University of Picardie Jules Verne, France Manuele Kirsch Pinheiro, University of Paris 1, France Cristina Seceleanu, Mälardalen University, Västerås, Sweden Khaled Shaaban, Qatar University, Qatar Ridha Soua, Luxembourg University, Luxembourg Yves Vanrompay, Hasselt University, Belgium Yun Zhou, Shaanxi Normal University, China Publicity Chairs Wim Ectors, Hasselt University, Belgium Davidekova Monika, Comenius University, Slovak Republic International Liaison Chairs Soumaya Cherkaoui, Sherbrooke University, Canada Paul Davidsson, Malmo University, Sweden David Taniar, Monash University, Australia Technical Program Committee http://cs-conferences.acadiau.ca/ant-19/#programCommittees Steering Committee Chair and Founder of ANT Elhadi Shakshuki, Acadia University, Canada -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: ANT19_CfP.pdf Type: application/pdf Size: 371673 bytes Desc: ANT19_CfP.pdf URL: From Muhammad.Arslan at u-bourgogne.fr Wed Nov 7 05:53:15 2018 From: Muhammad.Arslan at u-bourgogne.fr (Muhammad Arslan) Date: Wed, 7 Nov 2018 06:53:15 +0100 (CET) Subject: [Haskell] Call for Papers - SDP: Spatio-temporal Data Processing, February 24 - 28, 2019 - Athens, Greece In-Reply-To: <2096830736.34650642.1541569368072.JavaMail.zimbra@u-bourgogne.fr> References: <2096830736.34650642.1541569368072.JavaMail.zimbra@u-bourgogne.fr> Message-ID: <1941891761.34651998.1541569995232.JavaMail.zimbra@u-bourgogne.fr> CALL FOR PAPERS Special track - SDP: Spatio-temporal Data Processing 11th International Conference on Advanced Geographic Information Systems, Applications, and Services February 24 - 28, 2019 - Athens, Greece Now Accepting Submissions Track chair: Christophe Cruz, Université Bourgogne Franche-Comté, France --------------------------------------------------------------------------------------------------------------------------------------------- The topics encompass, but not limited to: * Preparation of spatio-temporal data using pre-processing techniques * Data modeling, mining and data warehousing methods for spatio-temporal data * Behaviors and knowledge extraction using spatio-temporal data * Techniques for enriching spatio-temporal data with information extracts using approaches such as Web of Things, Semantic Web, data mining, NLP, etc. * Visual analytics for spatio-temporal data * Applications and case studies related to usability of spatio-temporal data for urban traffic systems, trajectory analysis, safety management, etc. Updated SPD Call: https://www.iaria.org/conferences2019/filesGEOProcessing19/SDP.pdf SPD online submissions site: https://www.iariasubmit.org/conferences/submit/newcontribution.php?event=GEOProcessing+2019+Special Deadlines: * Submission: Jan 08 , 2019 * Notification: Jan 23 , 2019 * Registration: Feb 03 , 2019 * Camera-ready paper: Feb 03 , 2019 Publication of the papers: * Print proceedings will be available via Curran Associates, Inc.: http://www.proceedings.com/9769.html * Articles will be archived in the free access ThinkMind Digital Library: http://www.thinkmind.org * Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org Best, Muhammad Arslan Université de Bourgogne Franche-Comté Institut Marey - Maison de la Métallurgie (I3M), 64 rue de Sully, 21000 Dijon, France Mobile : (+33) 06.28.43.08.01 -------------- next part -------------- An HTML attachment was scrubbed... URL: From icfp.publicity at googlemail.com Fri Nov 9 02:44:59 2018 From: icfp.publicity at googlemail.com (Sam Tobin-Hochstadt) Date: Thu, 08 Nov 2018 21:44:59 -0500 Subject: [Haskell] First Call for Papers: PACMPL issue ICFP 2019 Message-ID: <5be4f4abd8a1_1c8812990cc3964d@hermes.mail> PACMPL Volume 3, Issue ICFP 2019 Call for Papers accepted papers to be invited for presentation at The 24th ACM SIGPLAN International Conference on Functional Programming Berlin, Germany http://icfp19.sigplan.org/ ### Important dates Submissions due: 1 March 2019 (Friday) Anywhere on Earth https://icfp19.hotcrp.com Author response: 16 April (Tuesday) - 18 Apri (Friday) 14:00 UTC Notification: 3 May (Friday) Final copy due: 22 June (Saturday) Conference: 18 August (Sunday) - 23 August (Friday) ### About PACMPL Proceedings of the ACM on Programming Languages (PACMPL ) is a Gold Open Access journal publishing research on all aspects of programming languages, from design to implementation and from mathematical formalisms to empirical studies. Each issue of the journal is devoted to a particular subject area within programming languages and will be announced through publicized Calls for Papers, like this one. ### Scope [PACMPL](https://pacmpl.acm.org/) issue ICFP 2019 seeks original papers on the art and science of functional programming. Submissions are invited on all topics from principles to practice, from foundations to features, and from abstraction to application. The scope includes all languages that encourage functional programming, including both purely applicative and imperative languages, as well as languages with objects, concurrency, or parallelism. Topics of interest include (but are not limited to): * *Language Design*: concurrency, parallelism, and distribution; modules; components and composition; metaprogramming; type systems; interoperability; domain-specific languages; and relations to imperative, object-oriented, or logic programming. * *Implementation*: abstract machines; virtual machines; interpretation; compilation; compile-time and run-time optimization; garbage collection and memory management; multi-threading; exploiting parallel hardware; interfaces to foreign functions, services, components, or low-level machine resources. * *Software-Development Techniques*: algorithms and data structures; design patterns; specification; verification; validation; proof assistants; debugging; testing; tracing; profiling. * *Foundations*: formal semantics; lambda calculus; rewriting; type theory; monads; continuations; control; state; effects; program verification; dependent types. * *Analysis and Transformation*: control-flow; data-flow; abstract interpretation; partial evaluation; program calculation. * *Applications*: symbolic computing; formal-methods tools; artificial intelligence; systems programming; distributed-systems and web programming; hardware design; databases; XML processing; scientific and numerical computing; graphical user interfaces; multimedia and 3D graphics programming; scripting; system administration; security. * *Education*: teaching introductory programming; parallel programming; mathematical proof; algebra. Submissions will be evaluated according to their relevance, correctness, significance, originality, and clarity. Each submission should explain its contributions in both general and technical terms, clearly identifying what has been accomplished, explaining why it is significant, and comparing it with previous work. The technical content should be accessible to a broad audience. PACMPL issue ICFP 2019 also welcomes submissions in two separate categories — Functional Pearls and Experience Reports — that must be marked as such at the time of submission and that need not report original research results. Detailed guidelines on both categories are given at the end of this call. Please contact the principal editor if you have questions or are concerned about the appropriateness of a topic. ### Preparation of submissions **Deadline**: The deadline for submissions is **Friday, March 1, 2019**, Anywhere on Earth (). This deadline will be strictly enforced. **Formatting**: Submissions must be in PDF format, printable in black and white on US Letter sized paper, and interpretable by common PDF tools. All submissions must adhere to the "ACM Small" template that is available (in both LaTeX and Word formats) from . For authors using LaTeX, a lighter-weight package, including only the essential files, is available from . There is a limit of **25 pages for a full paper or Functional Pearl** and **12 pages for an Experience Report**; in either case, the bibliography will not be counted against these limits. Submissions that exceed the page limits or, for other reasons, do not meet the requirements for formatting, will be summarily rejected. Supplementary material can and should be **separately** submitted (see below). See also PACMPL's Information and Guidelines for Authors at . **Submission**: Submissions will be accepted at Improved versions of a paper may be submitted at any point before the submission deadline using the same web interface. **Author Response Period**: Authors will have a 72-hour period, starting at 14:00 UTC on **Tuesday, April 16, 2019**, to read reviews and respond to them. **Supplementary Material**: Authors have the option to attach supplementary material to a submission, on the understanding that reviewers may choose not to look at it. This supplementary material should **not** be submitted as part of the main document; instead, it should be uploaded as a **separate** PDF document or tarball. Supplementary material should be uploaded **at submission time**, not by providing a URL in the paper that points to an external repository. Authors are free to upload both anonymized and non-anonymized supplementary material. Anonymized supplementary material will be visible to reviewers immediately; non-anonymized supplementary material will be revealed to reviewers only after they have submitted their review of the paper and learned the identity of the author(s). **Authorship Policies**: All submissions are expected to comply with the ACM Policies for Authorship that are detailed at . **Republication Policies**: Each submission must adhere to SIGPLAN's republication policy, as explained on the web at . **Resubmitted Papers**: Authors who submit a revised version of a paper that has previously been rejected by another conference have the option to attach an annotated copy of the reviews of their previous submission(s), explaining how they have addressed these previous reviews in the present submission. If a reviewer identifies him/herself as a reviewer of this previous submission and wishes to see how his/her comments have been addressed, the principal editor will communicate to this reviewer the annotated copy of his/her previous review. Otherwise, no reviewer will read the annotated copies of the previous reviews. ### Review Process This section outlines the two-stage process with lightweight double-blind reviewing that will be used to select papers for PACMPL issue ICFP 2019. We anticipate that there will be a need to clarify and expand on this process, and we will maintain a list of frequently asked questions and answers on the conference website to address common concerns. **PACMPL issue ICFP 2019 will employ a two-stage review process.** The first stage in the review process will assess submitted papers using the criteria stated above and will allow for feedback and input on initial reviews through the author response period mentioned previously. At the review meeting, a set of papers will be conditionally accepted and all other papers will be rejected. Authors will be notified of these decisions on **May 3, 2019**. Authors of conditionally accepted papers will be provided with committee reviews (just as in previous conferences) along with a set of mandatory revisions. After four weeks (May 31, 2019), the authors will provide a second submission. The second and final reviewing phase assesses whether the mandatory revisions have been adequately addressed by the authors and thereby determines the final accept/reject status of the paper. The intent and expectation is that the mandatory revisions can be addressed within four weeks and hence that conditionally accepted papers will in general be accepted in the second phase. The second submission should clearly identify how the mandatory revisions were addressed. To that end, the second submission must be accompanied by a cover letter mapping each mandatory revision request to specific parts of the paper. The cover letter will facilitate a quick second review, allowing for confirmation of final acceptance within two weeks. Conversely, the absence of a cover letter will be grounds for the paper’s rejection. **PACMPL issue ICFP 2019 will employ a lightweight double-blind reviewing process.** To facilitate this, submitted papers must adhere to two rules: 1. **author names and institutions must be omitted**, and 2. **references to authors' own related work should be in the third person** (e.g., not "We build on our previous work ..." but rather "We build on the work of ..."). The purpose of this process is to help the reviewers come to an initial judgement about the paper without bias, not to make it impossible for them to discover the authors if they were to try. Nothing should be done in the name of anonymity that weakens the submission or makes the job of reviewing the paper more difficult (e.g., important background references should not be omitted or anonymized). In addition, authors should feel free to disseminate their ideas or draft versions of their paper as they normally would. For instance, authors may post drafts of their papers on the web or give talks on their research ideas. ### Information for Authors of Accepted Papers * As a condition of acceptance, final versions of all papers must adhere to the new ACM Small format. The page limit for the final versions of papers will be increased by two pages to help authors respond to reviewer comments and mandatory revisions: **27 pages plus bibliography for a regular paper or Functional Pearl, 14 pages plus bibliography for an Experience Report**. * Authors of accepted submissions will be required to agree to one of the three ACM licensing options: open access on payment of a fee (**recommended**, and SIGPLAN can cover the cost as described next); copyright transfer to ACM; or retaining copyright but granting ACM exclusive publication rights. Further information about ACM author rights is available from . * PACMPL is a Gold Open Access journal. It will be archived in ACM’s Digital Library, but no membership or fee is required for access. Gold Open Access has been made possible by generous funding through ACM SIGPLAN, which will cover all open access costs in the event authors cannot. Authors who can cover the costs may do so by paying an Article Processing Charge (APC). PACMPL, SIGPLAN, and ACM Headquarters are committed to exploring routes to making Gold Open Access publication both affordable and sustainable. * ACM offers authors a range of copyright options, one of which is Creative Commons CC-BY publication; this is the option recommended by the PACMPL editorial board. A reasoned argument in favour of this option can be found in the article [Why CC-BY?](https://oaspa.org/why-cc-by/) published by OASPA, the Open Access Scholarly Publishers Association. * We intend that the papers will be freely available for download from the ACM Digital Library in perpetuity via the OpenTOC mechanism. * ACM Author-Izer is a unique service that enables ACM authors to generate and post links on either their home page or institutional repository for visitors to download the definitive version of their articles from the ACM Digital Library at no charge. Downloads through Author-Izer links are captured in official ACM statistics, improving the accuracy of usage and impact measurements. Consistently linking to the definitive version of an ACM article should reduce user confusion over article versioning. After an article has been published and assigned to the appropriate ACM Author Profile pages, authors should visit to learn how to create links for free downloads from the ACM DL. * At least one author of each accepted submissions will be expected to attend and present their paper at the conference. The schedule for presentations will be determined and shared with authors after the full program has been selected. Presentations will be videotaped and released online if the presenter consents. * The official publication date is the date the papers are made available in the ACM Digital Library. This date may be up to *two weeks prior* to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work. ### Artifact Evaluation Authors of papers that are conditionally accepted in the first phase of the review process will be encouraged (but not required) to submit supporting materials for Artifact Evaluation. These items will then be reviewed by an Artifact Evaluation Committee, separate from the paper Review Committee, whose task is to assess how the artifacts support the work described in the associated paper. Papers that go through the Artifact Evaluation process successfully will receive a seal of approval printed on the papers themselves. Authors of accepted papers will be encouraged to make the supporting materials publicly available upon publication of the papers, for example, by including them as "source materials" in the ACM Digital Library. An additional seal will mark papers whose artifacts are made available, as outlined in the ACM guidelines for artifact badging. Participation in Artifact Evaluation is voluntary and will not influence the final decision regarding paper acceptance. ### Special categories of papers In addition to research papers, PACMPL issue ICFP solicits two kinds of papers that do not require original research contributions: Functional Pearls, which are full papers, and Experience Reports, which are limited to half the length of a full paper. Authors submitting such papers should consider the following guidelines. #### Functional Pearls A Functional Pearl is an elegant essay about something related to functional programming. Examples include, but are not limited to: * a new and thought-provoking way of looking at an old idea * an instructive example of program calculation or proof * a nifty presentation of an old or new data structure * an interesting application of functional programming techniques * a novel use or exposition of functional programming in the classroom While pearls often demonstrate an idea through the development of a short program, there is no requirement or expectation that they do so. Thus, they encompass the notions of theoretical and educational pearls. Functional Pearls are valued as highly and judged as rigorously as ordinary papers, but using somewhat different criteria. In particular, a pearl is not required to report original research, but, it should be concise, instructive, and entertaining. A pearl is likely to be rejected if its readers get bored, if the material gets too complicated, if too much specialized knowledge is needed, or if the writing is inelegant. The key to writing a good pearl is polishing. A submission that is intended to be treated as a pearl must be marked as such on the submission web page, and should contain the words "Functional Pearl" somewhere in its title or subtitle. These steps will alert reviewers to use the appropriate evaluation criteria. Pearls will be combined with ordinary papers, however, for the purpose of computing the conference's acceptance rate. #### Experience Reports The purpose of an Experience Report is to help create a body of published, refereed, citable evidence that functional programming really works — or to describe what obstacles prevent it from working. Possible topics for an Experience Report include, but are not limited to: * insights gained from real-world projects using functional programming * comparison of functional programming with conventional programming in the context of an industrial project or a university curriculum * project-management, business, or legal issues encountered when using functional programming in a real-world project * curricular issues encountered when using functional programming in education * real-world constraints that created special challenges for an implementation of a functional language or for functional programming in general An Experience Report is distinguished from a normal PACMPL issue ICFP paper by its title, by its length, and by the criteria used to evaluate it. * Both in the papers and in any citations, the title of each accepted Experience Report must end with the words "(Experience Report)" in parentheses. The acceptance rate for Experience Reports will be computed and reported separately from the rate for ordinary papers. * Experience Report submissions can be at most 12 pages long, excluding bibliography. * Each accepted Experience Report will be presented at the conference, but depending on the number of Experience Reports and regular papers accepted, authors of Experience reports may be asked to give shorter talks. * Because the purpose of Experience Reports is to enable our community to accumulate a body of evidence about the efficacy of functional programming, an acceptable Experience Report need not add to the body of knowledge of the functional-programming community by presenting novel results or conclusions. It is sufficient if the Report states a clear thesis and provides supporting evidence. The thesis must be relevant to ICFP, but it need not be novel. The review committee will accept or reject Experience Reports based on whether they judge the evidence to be convincing. Anecdotal evidence will be acceptable provided it is well argued and the author explains what efforts were made to gather as much evidence as possible. Typically, more convincing evidence is obtained from papers which show how functional programming was used than from papers which only say that functional programming was used. The most convincing evidence often includes comparisons of situations before and after the introduction or discontinuation of functional programming. Evidence drawn from a single person's experience may be sufficient, but more weight will be given to evidence drawn from the experience of groups of people. An Experience Report should be short and to the point: it should make a claim about how well functional programming worked on a particular project and why, and produce evidence to substantiate this claim. If functional programming worked in this case in the same ways it has worked for others, the paper need only summarize the results — the main part of the paper should discuss how well it worked and in what context. Most readers will not want to know all the details of the project and its implementation, but the paper should characterize the project and its context well enough so that readers can judge to what degree this experience is relevant to their own projects. The paper should take care to highlight any unusual aspects of the project. Specifics about the project are more valuable than generalities about functional programming; for example, it is more valuable to say that the team delivered its software a month ahead of schedule than it is to say that functional programming made the team more productive. If the paper not only describes experience but also presents new technical results, or if the experience refutes cherished beliefs of the functional-programming community, it may be better to submit it as a full paper, which will be judged by the usual criteria of novelty, originality, and relevance. The principal editor will be happy to advise on any concerns about which category to submit to. ### ICFP Organizers General Chair: Derek Dreyer (MPI-SWS, Germany) Artifact Evaluation Co-Chairs: Simon Marlow (Facebook, UK) Industrial Relations Chair: Alan Jeffrey (Mozilla Research, USA) Programming Contest Organiser: Ilya Sergey (Yale-NUS College, Singapore) Publicity and Web Chair: Sam Tobin-Hochstadt (Indiana University, USA) Student Research Competition Chair: William J. Bowman (University of British Columbia, Canada) Workshops Co-Chair: Christophe Scholliers (Universiteit Gent, Belgium) Jennifer Hackett (University of Nottingham, UK) Conference Manager: Annabel Satin (P.C.K.) ### PACMPL Volume 3, Issue ICFP 2019 Principal Editor: François Pottier (Inria, France) Review Committee: Lennart Beringer (Princeton University, United States) Joachim Breitner (DFINITY Foundation, Germany) Laura M. Castro (University of A Coruña, Spain) Ezgi Çiçek (Facebook London, United Kingdom) Pierre-Evariste Dagand (LIP6/CNRS, France) Christos Dimoulas (Northwestern University, United States) Jacques-Henri Jourdan (CNRS, LRI, Université Paris-Sud, France) Andrew Kennedy (Facebook London, United Kingdom) Daan Leijen (Microsoft Research, United States) Kazutaka Matsuda (Tohoku University, Japan) Bruno C. d. S. Oliveira (University of Hong Kong, China) Klaus Ostermann (University of Tübingen, Germany) Jennifer Paykin (Galois, United States) Frank Pfenning (Carnegie Mellon University, USA) Mike Rainey (Indiana University, USA) Chung-chieh Shan (Indiana University, USA) Sam Staton (University of Oxford, UK) Pierre-Yves Strub (Ecole Polytechnique, France) German Vidal (Universitat Politecnica de Valencia, Spain) External Review Committee: Michael D. Adams (University of Utah, USA) Robert Atkey (University of Strathclyde, IK) Sheng Chen (University of Louisiana at Lafayette, USA) James Cheney (University of Edinburgh, UK) Adam Chlipala (Massachusetts Institute of Technology, USA) Evelyne Contejean (LRI, Université Paris-Sud, France) Germán Andrés Delbianco (IRIF, Université Paris Diderot, France) Dominique Devriese (Vrije Universiteit Brussel, Belgium) Richard A. Eisenberg (Bryn Mawr College, USA) Conal Elliott (Target, USA) Sebastian Erdweg (Delft University of Technology, Netherlands) Michael Greenberg (Pomona College, USA) Adrien Guatto (IRIF, Université Paris Diderot, France) Jennifer Hackett (University of Nottingham, UK) Troels Henriksen (University of Copenhagen, Denmark) Chung-Kil Hur (Seoul National University, Republic of Korea) Roberto Ierusalimschy (PUC-Rio, Brazil) Ranjit Jhala (University of California, San Diego, USA) Ralf Jung (MPI-SWS, Germany) Ohad Kammar (University of Oxford, UK) Oleg Kiselyov (Tohoku University, Japan) Hsiang-Shang ‘Josh’ Ko (National Institute of Informatics, Japan) Ondřej Lhoták (University of Waterloo, Canada) Dan Licata (Wesleyan University, USA) Geoffrey Mainland (Drexel University, USA) Simon Marlow (Facebook, UK) Akimasa Morihata (University of Tokyo, Japan) Shin-Cheng Mu (Academia Sinica, Taiwan) Guillaume Munch-Maccagnoni (Inria, France) Kim Nguyễn (University of Paris-Sud, France) Ulf Norell (Gothenburg University, Sweden) Atsushi Ohori (Tohoku University, Japan) Rex Page (University of Oklahoma, USA) Zoe Paraskevopoulou (Princeton University, USA) Nadia Polikarpova (University of California, San Diego, USA) Jonathan Protzenko (Microsoft Research, USA) Tiark Rompf (Purdue University, USA) Andreas Rossberg (Dfinity, Germany) KC Sivaramakrishnan (University of Cambridge, UI) Nicholas Smallbone (Chalmers University of Technology, Sweden) Matthieu Sozeau (Inria, France) Sandro Stucki (Chalmers | University of Gothenburg, Sweden) Don Syme (Microsoft, UK) Zachary Tatlock (University of Washington, USA) Sam Tobin-Hochstadt (Indiana University, USA) Takeshi Tsukada (University of Tokyo, Japan) Tarmo Uustalu (Reykjavik University, Iceland) Benoit Valiron (LRI, CentraleSupelec, Univ. Paris Saclay, France) Daniel Winograd-Cort (University of Pennsylvania, USA) Nicolas Wu (University of Bristol, UK) From kaposi.ambrus at gmail.com Mon Nov 12 09:12:07 2018 From: kaposi.ambrus at gmail.com (Ambrus Kaposi) Date: Mon, 12 Nov 2018 10:12:07 +0100 Subject: [Haskell] Call for Conference Grant Applications (Inclusiveness Target Countries) In-Reply-To: References: Message-ID: Call for Conference Grant Applications The European research network on types for programming and verification (EUTypes COST Action, https://eutypes.cs.ru.nl) supports attendance of young researchers presenting work on type theory at international conferences via travel grants. The rules are described here: https://eutypes.cs.ru.nl/ConfGrants The main points are: * Only researchers from ITCs participating in the action are eligible. As of June 2018, the ITCs involved in EUTypes are: Bosnia and Herzegovina, Cyprus, Czech Republic, Estonia, Hungary, Lithuania, Macedonia, Poland, Portugal, Romania, Serbia, Slovenia. * Only PhD students and Early Career Investigators (researchers whose PhD degree is at most 8 years old) are eligible. * The grantee must give a talk or present a poster on the topic of type theory. Applications have to be submitted through the e-COST system: https://e-services.cost.eu/conferencegrant Please inform researchers in your country who might be interested and contact me if you have any questions. Many thanks, Ambrus Kaposi EUTypes conference grant coordinator -------------- next part -------------- An HTML attachment was scrubbed... URL: From james.cheney at gmail.com Mon Nov 12 12:01:47 2018 From: james.cheney at gmail.com (James Cheney) Date: Mon, 12 Nov 2018 12:01:47 +0000 Subject: [Haskell] [CFP] Bx 2019: 8th International Workshop on Bidirectional Transformations (Deadline: Feb. 19) Message-ID: Bx 2019: 8th International Workshop on Bidirectional Transformations ==================================================================== * http://bx-community.wikidot.com/bx2019:home * Saint Joseph’s University, Philadelphia, PA, USA * exact date TBD (some day during 3–7 June 2019) * as part of Philadelphia Logic Week (PLW) 2019 https://sites.sju.edu/plw/ Bidirectional transformations (bx) are a mechanism for maintaining the consistency of at least two related sources of information. Such sources can be relational databases, software models and code, or any other document following standard or ad-hoc formats. Bx are an emerging topic in a wide range of research areas, with prominent presence at top conferences in several different fields (namely databases, programming languages, software engineering, and graph transformation), but with results in one field often getting limited exposure in the others. Bx 2019 is a dedicated venue for bx in all relevant fields, and is part of a workshop series that was created in order to promote cross-disciplinary research and awareness in the area. As such, since its beginning in 2012, the workshop has rotated between venues in different fields. Important Dates =============== - Abstract submission: 12 Feb 2019 (AoE) - Paper submission: 19 Feb 2019 (AoE) - Author notification: 8 Apr 2019 - Camera-ready version: around 1 May 2019 - Workshop: some day during 3–7 June 2019 Aims and Topics =============== The aim of the workshop is to bring together researchers and practitioners, established and new, interested in bx from different perspectives, including but not limited to: - bidirectional programming languages and frameworks - data and model synchronization - view updating - inter-model consistency analysis and repair - data/schema (or model/metamodel) co-evolution - coupled software/model transformations - inversion of transformations and data exchange mappings - domain-specific languages for bx - analysis and classification of requirements for bx - bridging the gap between formal concepts and application scenarios - analysis of efficiency of transformation algorithms and benchmarks - survey and comparison of bx technologies - case studies and tool support Submission Guidelines ===================== Papers must follow the CEUR one-column style available at http://ceur-ws.org/Vol-XXX/samplestyles/ and must be submitted via EasyChair: https://www.easychair.org/conferences/?conf=bx2019 Five categories of submissions are considered: * Full Research Papers (up to 15 pages) - in-depth presentations of novel concepts and results - applications of bx to new domains - survey papers providing novel comparisons between existing bx technologies and approaches case studies * Tool Papers (up to 8 pages) - guideline papers presenting best practices for employing a specific bx approach (with a specific tool) - presentation of new tools or substantial improvements to existing ones - qualitative and/or quantitative comparisons of applying different bx approaches and tools * Experience Report (up to 8 pages) - sharing experiences and lessons learned with bx tools/frameworks/languages - how bx is used in (research/industrial/educational) projects * Extended Abstracts (up to 4 pages) - work in progress - small focused contributions - position papers and research perspectives - critical questions and challenges for bx * Talk Proposals (up to 2 pages) - proposed lectures about topics of interest for bx - existing work representing relevant contributions for bx - promising contributions that are not mature enough to be proposed as papers of the other categories The bibliography is excluded from the page limits. All papers are expected to be self-contained and well-written. Tool papers are not expected to present novel scientific results, but to document artifacts of interest and share bx experience/best practices with the community. Experience papers are expected to report on lessons learnt from applying bx approaches, languages, tools, and theories to practical application case studies. Extended abstracts should primarily provoke interesting discussion at the workshop and will not be held to the same standard of maturity as regular papers. Talk proposals are expected to present work that is of particular interest to the community and worth a talk slot at the workshop. We strongly encourage authors to ensure that any (variants of) examples are present in the bx example repository at the time of submission, and for tool papers, to allow for reproducibility with minimal effort, either via a virtual machine (e.g., via Share - http://share20.eu) or a dedicated website with relevant artifacts and tool access. All papers will be peer-reviewed by at least three members of the programme committee. If a paper is accepted, one author of the paper is expected to participate in the workshop to present it. Authors of accepted tool papers are also expected to be available to demonstrate their tool at the event. Proceedings and Special Issue ============================= The workshop proceedings, including all accepted papers (except talk proposals), will be published electronically by CEUR (http://ceur-ws.org). A special issue open to all authors of papers in BX workshops over the past few years is planned. Program committee ================= * Co-chairs - James Cheney, University of Edinburgh, UK - Hsiang-Shang ‘Josh’ Ko, National Institute of Informatics, Japan * Members - Leopoldo Bertossi, Carleton University, Canada - Ravi Chugh, University of Chicago, US - Zinovy Diskin, McMaster University, Canada - Paolo Guagliardo, University of Edinburgh, UK - Jules Hedges, University of Oxford, UK - Michael Johnson, Macquarie University, Australia - Leen Lambers, Hasso Plattner Institute, University of Potsdam, Germany - Kazutaka Matsuda, Tohoku University, Japan - Anders Miltner, Princeton University, US - Alfonso Pierantonio, University of L'Aquila, Italy - Perdita Stevens, University of Edinburgh, UK - Daniel Strüber, University of Koblenz and Landau, Germany - Manuel Wimmer, Vienna University of Technology, Austria - Nicolas Wu, University of Bristol, UK -------------- next part -------------- An HTML attachment was scrubbed... URL: From nevrenato at gmail.com Tue Nov 13 08:57:36 2018 From: nevrenato at gmail.com (Renato Neves) Date: Tue, 13 Nov 2018 09:57:36 +0100 Subject: [Haskell] FM'19: Final Call for Workshop & Tutorial Proposals Message-ID: <20181113085736.GA18352@faui8277.informatik.uni-erlangen.de> FM'19 - 3rd WORLD CONGRESS ON FORMAL METHODS PORTO, PORTUGAL, OCTOBER 7-11, 2019 formalmethods2019.inesctec.pt ------------ FINAL CALL FOR WORKSHOP & TUTORIAL PROPOSALS ------------- ------------------------------------------------------------------------- Deadline for workshop & tutorial proposals: November 16, 2018 Notification of decision on workshops and tutorials: November 23, 2018 ------------------------------------------------------------------------- 1 ABOUT FM'19 ============= FM 2019 is the 23rd international symposium in a series organised by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. Every ten years the symposium is organised as a World Congress. Twenty years after FM’99 in Toulouse, and ten years after FM’09 in Eindhoven, FM’19 is the 3rd World Congress on Formal Methods. Thus, FM’19 will be both an occasion to celebrate and a platform for enthusiastic researchers and practitioners from a diversity of backgrounds to exchange their ideas and share their experience. 2 PROPOSALS =========== For this major event, we are now inviting proposals for workshops, tutorials, or other satellite events that will complement the main FM Symposium and co-located conferences. The purpose of the satellite events is to provide an informal setting for participants to discuss technical issues, exchange research ideas, and to discuss and/or demonstrate applications. These may be driven by fundamental academic interests or by needs from specific application domains. We encourage a diversity of events relating to different varieties of formal models. Satellite events will take place on 7-8 October 2019. Satellite events would typically run for 1/2 or 1 day, but 2 day events will also be considered. The FM'19 organising committee aim to support one invited speaker per workshop. 3 SUBMISSION INFORMATION ======================== Researchers and practitioners wishing to organise a workshop or tutorial are invited to submit proposals by e-mail to the Workshops & Tutorials Chairs, Nelma Moreira (nam at dcc.fc.up.pt) and Emil Sekerinski (emil at mcmaster.ca). A proposal should not exceed three pages and should include the following information: * Title and brief technical description of the event, specifying the goals and the technical issues that will be its focus. * The names and contact information (web page, email address) of the organisers. In case of a workshop those will be the Programme Committee (PC) chairs and in this case a prospective list of international PC members is welcome. * Pointers to information about past editions of the event, if applicable. In case of a workshop, if it has taken place before; how often it has been colocated with FM? Which (other) conference(s) has the workshop been colocated with so far? Number of participants in the last instalment. * A discussion of the proposed format and agenda (for example paper presentations, tutorials, demo sessions, etc). * The proposed duration: half or one day. Exceptionally, two days events may be considered. * Potential invited speaker(s). * Procedures for selecting papers and participants and plans for the publication of proceedings, if any. * Tentative schedule for paper submission and notification of acceptance. The organisers of satellite events are expected to create and maintain a website for the event; handle paper selection, reviewing and acceptance; draw up a programme of talks; advertise their event though specialist mailing lists; prepare the informal pre-proceedings (if applicable) in a timely fashion; and arrange any post-proceedings. 4 IMPORTANT DATES ================= Submission of proposals: November 16, 2018 Notification of success of proposals: November 23, 2018 Notification of paper acceptance (if applicable): June 14, 2019 (limit date) FM'19 World Congress: October 7-11, 2019 Workshop/Tutorial dates: October 7-8, 2019 (also October 9-11 if space is an issue) Best Wishes, Nelma Moreira & Emil Sekerinski From Gerwin.Klein at data61.csiro.au Wed Nov 14 11:12:12 2018 From: Gerwin.Klein at data61.csiro.au (Gerwin.Klein at data61.csiro.au) Date: Wed, 14 Nov 2018 11:12:12 +0000 Subject: [Haskell] Data61 Seeking Proof Engineers Message-ID: <209C0C49-CF0D-4F9E-9E70-5BE5837A9323@data61.csiro.au> Data61 Seeking Proof Engineers ============================== We are are hiring again! If only there were a place where I could prove theorems for money, change the world, and have fun while doing it... Sounds too good to exist? In the Trustworthy Systems team at Data61 that's what we do for a living. We are the creators of seL4, the world's first fully formally verified operating system kernel with extreme performance and strong security & correctness proofs. Our highly international team is located on the UNSW campus, close to the beautiful beaches of sunny Sydney, Australia, one of the world's most liveable cities. We are looking for multiple motivated proof engineers who want to join our team in Sydney, move things forward, and have global impact. You would - work on industrial-scale formal proofs in Isabelle/HOL - develop formally verified infrastructure for building secure systems on top of seL4 - contribute to improved proof automation and reasoning techniques - apply formal proof to real-world systems and tools To apply for this position, you should possess a significant subset of the following skills. - functional programming in a language like Haskell, ML, or OCaml - first-order or higher-order formal logic - basic experience in C - ability and desire to quickly learn new techniques - undergraduate degree in Computer Science, Mathematics, or similar - ability and desire to work in a larger team We are hiring at two levels, so if you are more qualified or experienced than the above would suggest, you can come in as a senior proof engineer. If you additionally have experience - in software verification with an interactive theorem prover such as Isabelle/HOL, HOL4, or Coq, and/or - with operating systems and microkernels you should definitely apply! If you have the right skills and background, we can provide training on the job. Continual learning is a central component of everything we do. You will work with a unique world-leading combination of OS and formal methods experts, students at undergraduate and PhD level, engineers, and researchers from 5 continents, speaking over 15 languages. Trustworthy Systems is a fun, creative, and welcoming workplace with flexible hours & work arrangements. We value diversity in all forms and welcome applications from people of all ages, including people with disabilities, and those who identify as LGBTIQ. See https://ts.data61.csiro.au/diversity/ for more information. Salary ranges, in AUD (plus superannuation): - Junior Proof Engineer: 73k-93k - Senior Proof Engineer: 97k-105k depending on experience and qualifications. Apply online at the following link for the Proof Engineer positions: - https://jobs.csiro.au/job/Sydney%2C-NSW-Proof-Engineer/518443000/ - https://jobs.csiro.au/job/Sydney%2C-NSW-DATA-61/518441000/ Your application should include a cover letter, CV, undergraduate transcript (if applicable), and contact information for two references. This round of applications closes on 17 December 2018. For any questions on these positions, please contact Rafal.Kolanski at data61.csiro.au or June.Andronick at data61.csiro.au The seL4 code and proof are open source. Check them out at https://seL4.systems More information about Data61's Trustworthy Systems team at https://ts.data61.csiro.au There are additional proof engineering positions available on the Cogent project. Cogent is a language we designed to ease the verification of systems components around seL4. For expressions of interest, see contact details on https://ts.data61.csiro.au/projects/TS/cogent.pml Looking to do a PhD? Data61 and UNSW (https://www.unsw.edu.au/) offer scholarships! See https://ts.data61.csiro.au/students/research.pml for details. From Gerwin.Klein at data61.csiro.au Wed Nov 14 11:12:28 2018 From: Gerwin.Klein at data61.csiro.au (Gerwin.Klein at data61.csiro.au) Date: Wed, 14 Nov 2018 11:12:28 +0000 Subject: [Haskell] Data61 Seeking Research Scientist Message-ID: <6E7E2490-4F06-4395-8F2F-BAAB0DE9223C@data61.csiro.au> Data61 Seeking Research Scientist ================================= We are looking for a full-time research scientist in formal verification to join us, the Trustworthy Systems group, at Data61, CSIRO. Our highly international team is located on the UNSW campus, close to the beautiful beaches of sunny Sydney, Australia, one of the world's most liveable cities. Our vision is a world in which computer users can choose all three: correct, secure, and fast. We believe that most current approaches to building systems are fundamentally flawed. We aim to demonstrate a better way. Our approach is rooted in foundational, formal verification using theorem provers (e.g., Isabelle, HOL4), and high-performance system design. If you find this vision appealing, and have ideas about how to pursue it, we want to hear from you. Our team brings together a unique combination of expertise in systems, security, formal verification, and programming languages. We are the creators of seL4, the world's first operating system microkernel with a machine-checked proof (in Isabelle/HOL). seL4 boasts both extreme performance and foundational binary-level correctness and security proofs. We are also involved in CakeML, the most realistic verified compiler for a functional programming language, and a promising approach to scaling full verification up to applications code. We are building on these successes in various directions, including concurrency (formal reasoning and implementation), timing (real-time guarantees and timing channels), and whole-system verification using component systems (e.g., CAmKES) and code+proof co-generation. We publish in top conferences, and are involved in multiple international research collaborations. You will have the opportunity to teach at UNSW should you wish to take it. We have a flexible, friendly, and intellectually stimulating work environment. We value diversity in all forms and welcome applications from people of all ages, including people with disabilities, and those who identify as LGBTIQ. See https://ts.data61.csiro.au/diversity/ for more information. The salary range for this position (plus superannuation) is - Research Scientist: 97k-105k - Senior Research Scientist: 111k-130k depending on experience and qualifications. Apply online here: https://jobs.csiro.au/job/Sydney%2C-NSW-Research-ScientistSenior-Research-Scientist-in-Formal-Verification/518430100/ Your application should include a cover letter, CV, short research statement, and contact information for two references. This round of applications closes on 15 January 2019. For any questions on this position, please contact June.Andronick at data61.csiro.au From wim.ectors at uhasselt.be Thu Nov 15 10:55:31 2018 From: wim.ectors at uhasselt.be (Wim Ectors) Date: Thu, 15 Nov 2018 05:55:31 -0500 Subject: [Haskell] [ABMTRANS-2019] 8th International Workshop on Agent-based Mobility, Traffic and Transportation Models, Methodologies and Applications. Leuven, Belgium (April 29 - May 2, 2019) Message-ID: The 8th International Workshop on Agent-based Mobility, Traffic and Transportation Models, Methodologies and Applications (ABMTRANS-2019) http://www.abmtrans.eu/ http://cs-conferences.acadiau.ca/ant-19/#workshop_approved in conjunction with The 10th International Conference on Ambient Systems, Networks and Technologies (ANT-2019) http://cs-conferences.acadiau.ca/ant-19/ April 29 - May 2, 2019 Leuven, Belgium CALL FOR PAPERS : ANT-2019(MSTS) and ABMTRANS-2019 The ANT-2019 conference dedicates the MSTS track to Modeling and Simulation in Transportation Sciences while the ABMTRANS-2019 workshop focuses on the agent-based approach in that domain. Both provide an international forum on the latest technologies and research in the field of traffic and transportation modeling. Both are organized by the Transportation Research Institute (IMOB), Hasselt University, Belgium. SCOPE The aim of the ANT-2019 MSTS track is to bring together communities interested in the computation, knowledge discovery and technology policy aspects of transportation systems. The organizers of ANT-2019 (MSTS track) welcome information technology application papers from researchers in the domains of transportation sciences and engineering, computer science, urban and regional planning, civil engineering, geography, geo-informatics and related disciplines to submit papers for consideration for presentation and for publication in the conference proceedings. The ABMTRANS workshop provides a multidisciplinary collaborative forum for researchers and practitioners to submit papers presenting new research results and novel ideas related to the theory or the practice of agent-based traffic and transportation modeling. This workshop also invites researchers to submit their work focusing on the data mining, (activity-based) demand prediction, management and configuration for agent-based traffic and transportation modeling. Topics of interest include (but are not limited to): Agent-based transportation modeling and simulation Agent-based negotiation of QoS and SLAs in traffic and transportation models Agent-based and activity-based scheduling to establish synthetic agenda for day-to-day activities (travel demand prediction) Calibration and validation of (agent-based) models for traffic and transportation Collaboration, cooperation, competition, coalitions in traffic and transportation models, including collaborative multi-modal transport Conceptual modeling of agent-based approach Data mining and statistical learning for travel information Environment modeling and interaction protocols Human-computer interfaces in intelligent transportation applications Human factors including adaptive driving, travel behavior, pervasive technology Large scale simulation of agent-based microscopic traffic models Logistics and transportation management Marketing decision support Mathematical optimization in traffic engineering and smart city topic Multi-modal routing of agents in a dynamic traffic environment Novel applications targeted to health, mobility, livable environment and sustainability Renewable energy sources in transportation Role of multi-agent methodologies for complex systems Simulation of traffic, passenger flows, assisted driving or collaborative transport Social and emergent behavior in MAS-T (multi-agent systems applied to traffic and transport) Social and institutional information related to travel Traffic flow and transportation modeling Travel information, including recommender systems and user feedback systems Uncertain information in collaborative transport and assisted traveling SUBMISSION AND PROCEEDINGS - JOURNAL SPECIAL ISSUES All ANT-2019 and ABMTRANS-2019 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus (www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index ( http://thomsonreuters.com/conference-proceedings-citation-index/). All papers in Procedia will also be indexed by 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. Authors who submitted a paper of outstanding quality will receive an invitation to write an extended version of their paper for one of the following ranked journals : - Journal of Ambient Intelligence and Humanized Computing (IF: 1.588), by Springer (http://www.springer.com/engineering/journal/12652) - IEEE Intelligent Transportation Systems Magazine (IF: 3.654), by IEEE ( http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5117645) - IEEE Transactions on Intelligent Transportation Systems (IF: 3.724), by IEEE (http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=6979) The extended paper will be subject to an additional peer review. Please consult the website ( http://cs-conferences.acadiau.ca/ant-19/#journalSpecialIssues ) for the latest information about these journals. The submission processes will be managed by easychair.org. If you have used this system before, you can use the same username and password. If this is your first time using EasyChair, you will need to register for an account by clicking "I have no EasyChair account" button. Upon completion of registration, you will get a notification email from the system and you are ready for submitting your paper. You can upload and re-upload the paper to the system by the submission due date. The authors must follow Elsevier guidelines as given in ANT-2019 website ( http://cs-conferences.acadiau.ca/ant-19/ ). For ANT-2019, submitted technical papers must be no longer than 8 pages for full papers and 5 pages for short papers including all figures, tables and references. Authors are requested to submit their papers electronically using the online conference management system ( https://easychair.org/conferences/?conf=ant2019 )in PDF format before the deadline (see Important Dates). For ABMTRANS-2019 workshop papers, the number of pages is limited to 6 pages. Authors are requested to submit their contributions electronically in PDF format at: https://www.easychair.org/conferences/?conf=abmtrans2019 . IMPORTANT DATES for ANT-2019 Submission due: December 6, 2018 Acceptance Notification: February 4, 2019 Final Manuscript Due: March 1, 2019 Conference: April 29 - May 2, 2019 IMPORTANT DATES for ABMTRANS-2019 Submission due: December 6, 2018 Acceptance Notification: February 4, 2019 Final Manuscript Due: March 1, 2019 Conference: April 29 - May 2, 2019 PROGRAM COMMITTEE Ansar Yasar, Hasselt University, Belgium Athina Tympakianaki, KTH Royal Institute of Technology, Stockholm, Sweden Azedine Boulmakoul, Universite Hassan II de Casablanca, Morocco Boris Kerner, University Duisburg-Essen, Germany Bruno Kochan, Hasselt University, Belgium Eran Ben Elia, Ben-Gurion University of the Negev, Israel Eric Miller, University of Toronto, Canada Harry Timmermans, TUE Eindhoven, The Netherlands Irith Hartman, University of Haifa, Israel Itzhak Benenson, Tel Aviv University, Israel Johan Holmgren, Malmo University, Sweden Johan Joubert, University of Pretoria, South Africa Josep Maria Salanova, CERTH (Centre for Research & Technology, Hellas), Greece Joshua Auld, Argonne National Laboratory, USA Kai Nagel, TU Berlin, Germany Kay W. Axhausen, ETH Zuerich, Switzerland Luk Knapen, Hasselt University, Belgium Matthias Heinrichs, German Aerospace Center, Berlin, Germany Muhammad Adnan, Hasselt University, Belgium Nadav Levy, Ben-Gurion University of the Negev, Israel Oded Cats, TU Delft, The Netherlands Paul Davidsson, Malmo University, Sweden Peter Vortisch, Karlsruhe Institute of Technology, Germany Pieter Fourie, ETH Zuerich, Switzerland Stephane Galland, Université de Technologie Belfort-Montbéliard, France Tom Bellemans, Hasselt University, Belgium Zineb Besri, University of Abdelmalek ESSAADI, Tétouan, Morroco REGISTRATION Please visit: http://cs-conferences.acadiau.ca/ant-19/#registration for more information. VENUE, ACCOMMODATION & VISA REQUIREMENTS Please visit: http://cs-conferences.acadiau.ca/ant-19/#conferenceVenue for more information. ANT-2019 PROGRAM VICE-CHAIRS Prof. dr. Ansar-Ul-Haque Yasar Transportation Research Institute (IMOB) Hasselt University, Belgium ansar.yasar at uhasselt.be dr. ir. Luk Knapen Transportation Research Institute (IMOB) Hasselt University, Belgium luk.knapen at uhasselt.be ABMTRANS-2019 WORKSHOP ORGANIZERS Prof. dr. Ansar-Ul-Haque Yasar Transportation Research Institute (IMOB) Hasselt University, Belgium ansar.yasar at uhasselt.be dr. ir. Luk Knapen Transportation Research Institute (IMOB) Hasselt University, Belgium luk.knapen at uhasselt.be Sent via Mail Merge -------------- next part -------------- An HTML attachment was scrubbed... URL: From Muhammad.Arslan at u-bourgogne.fr Fri Nov 16 06:10:54 2018 From: Muhammad.Arslan at u-bourgogne.fr (Muhammad Arslan) Date: Fri, 16 Nov 2018 07:10:54 +0100 (CET) Subject: [Haskell] Call for Papers - SDP: Spatio-temporal Data Processing, February 24 - 28, 2019 - Athens, Greece In-Reply-To: <1941891761.34651998.1541569995232.JavaMail.zimbra@u-bourgogne.fr> References: <2096830736.34650642.1541569368072.JavaMail.zimbra@u-bourgogne.fr> <1941891761.34651998.1541569995232.JavaMail.zimbra@u-bourgogne.fr> Message-ID: <847348341.1738570.1542348654218.JavaMail.zimbra@u-bourgogne.fr> CALL FOR PAPERS Special track - SDP: Spatio-temporal Data Processing 11th International Conference on Advanced Geographic Information Systems, Applications, and Services February 24 - 28, 2019 - Athens, Greece Now Accepting Submissions Track chair: Christophe Cruz, Université Bourgogne Franche-Comté, France --------------------------------------------------------------------------------------------------------------------------------------------- The topics encompass, but not limited to: * Preparation of spatio-temporal data using pre-processing techniques * Data modeling, mining and data warehousing methods for spatio-temporal data * Behaviors and knowledge extraction using spatio-temporal data * Techniques for enriching spatio-temporal data with information extracts using approaches such as Web of Things, Semantic Web, data mining, NLP, etc. * Visual analytics for spatio-temporal data * Applications and case studies related to usability of spatio-temporal data for urban traffic systems, trajectory analysis, safety management, etc. Updated SPD Call: https://www.iaria.org/conferences2019/filesGEOProcessing19/SDP.pdf SPD online submissions site: https://www.iariasubmit.org/conferences/submit/newcontribution.php?event=GEOProcessing+2019+Special Deadlines: * Submission: Jan 08 , 2019 * Notification: Jan 23 , 2019 * Registration: Feb 03 , 2019 * Camera-ready paper: Feb 03 , 2019 Publication of the papers: * Print proceedings will be available via Curran Associates, Inc.: http://www.proceedings.com/9769.html * Articles will be archived in the free access ThinkMind Digital Library: http://www.thinkmind.org * Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org Best, Muhammad Arslan Université de Bourgogne Franche-Comté Institut Marey - Maison de la Métallurgie (I3M), 64 rue de Sully, 21000 Dijon, France Mobile : (+33) 06.28.43.08.01 -------------- next part -------------- An HTML attachment was scrubbed... URL: From yazan.mualla at utbm.fr Mon Nov 19 21:37:38 2018 From: yazan.mualla at utbm.fr (Yazan Mualla) Date: Mon, 19 Nov 2018 22:37:38 +0100 (CET) Subject: [Haskell] CFP 3rd International Workshop on Agent-based Modeling and Applications with SARL (SARL19) Message-ID: <832378925.117797389.1542663458712.JavaMail.zimbra@utbm.fr> CALL FOR PAPERS The 3rd International Workshop on Agent-based Modeling and Applications with SARL (SARL-19) ------------------------------------------------------------------------------------------- In conjunction with the 10th International Conference on Ambient Systems, Networks, and Technologies ANT 2019 and the European SarlCon 2019 April 29 - May 2, 2019, Leuven, Belgium. ------------------------------------------------------------------------------------------- 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-18 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-19 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-19 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-19 will be held in Leuven, Belgium (April 29 - May 2, 2019) in conjunction with the 10th International Conference on Ambient Systems, Networks, and Technologies (ANT 2019) and the European SarlCon 2019. Topics ====== The main topics of the SARL-18 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 6, 2018; * Notification: February 4, 2019; * Final date for camera-ready copy: March 1, 2019; * Workshop: April 29 - May 2, 2019. Submission ========== All workshop accepted papers will be included in the conference proceedings published by Elsevier Science in the open-access Procedia Computer Science series online. 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 below. At least one author of each paper must attend the workshop to present the paper. Workshop Chairs =============== Stéphane GALLAND (Univ. de Technologie de Belfort-Montbeliard, France) Sebastian RODRIGUEZ (Universidad Technologica National, Argentina) Publicity Chair ================ Yazan Mualla (Univ. de Technologie de Belfort-Montbeliard, France). Program Committee ================= To be completed. -------------- next part -------------- An HTML attachment was scrubbed... URL: From yazan.mualla at utbm.fr Mon Nov 19 21:39:04 2018 From: yazan.mualla at utbm.fr (Yazan Mualla) Date: Mon, 19 Nov 2018 22:39:04 +0100 (CET) Subject: [Haskell] Invitation to the 1st European Forum of the SARL Users and Developers (EuSarlCon19) Message-ID: <509203972.117799351.1542663544115.JavaMail.zimbra@utbm.fr> INVITATION FOR PAPERS AND TALKS The 1st European Forum for the SARL Users and Developers (EuSarlCon-19) ----------------------------------------------------------------------- In conjunction with: * the 10th International Conference on Ambient Systems, Networks, and Technologies (ANT 2019); * the 8th International Workshop on Agent-based Mobility, Traffic and Transportation Models, Methodologies and Applications (ABMTRANS-19); * the 3rd International Workshop on Agent-based Modeling and Applications with SARL (SARL-19). May 2, 2019, Leuven, Belgium. http://www.multiagent.fr/Conferences:EuSarlCon19 ------------------------------------------------------------------- Description =========== The 2019 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 May 2, 2019, in Leuven, Belgium. That is the last day of the ANT-2019 conference, the ABMTRANS-19 and the SARL-19 workshops. Abstracts and/or short papers are due on December 1, 2018. The papers are expected to be very short (< 2500 equivalent words). ABMTRANS-19 and SARL-19 are providing an alternative for publishing longer papers. Abstracts and papers can be submitted to ABMTRANS-19, to SARL-19, to SarlCon19, or all. We will coordinate with the main conference so that papers are not presented twice. Submissions directly for the SarlCon should take the form of an abstract (< 1000 words), and are to be submitted before December 1, 2018, through EasyChair. SARL-related submissions to the main conference will as well be considered for inclusion in the SarlCon program. Important Dates =============== * Submission deadline: December 1, 2018; * Notification: January 4, 2019; * Forum: May 2, 2019. Submission ========== You are invited to submit the abstract in PDF format on EasyChair (https://easychair.org/conferences/?conf=eusarlcon2019), not exceeding 1000 words in length. Organizer ========= Stéphane GALLAND (Univ. de Technologie de Belfort-Montbeliard, France) . Yazan MUALLA (Univ. de Technologie de Belfort-Montbeliard, France). Registration ============ Registration to the European SarlCon 2019 is free. Please notify the organizers if you want to come in order to organize the meeting. -------------- next part -------------- An HTML attachment was scrubbed... URL: From simonpj at microsoft.com Mon Nov 26 16:23:59 2018 From: simonpj at microsoft.com (Simon Peyton Jones) Date: Mon, 26 Nov 2018 16:23:59 +0000 Subject: [Haskell] Summit on Advances in Programming Languages 2019 Message-ID: Haskellers The Summit oN Advances in Programming Languages (SNAPL) is a biennial venue for discussions about programming languages. SNAPL focuses on experience-based insight, innovation, and visionary ideas spanning from foundations to applications of programming languages. SNAPL welcome perspectives from both industry and academia. Ras Bodik and Shriram Krishnamurthi are looking for community input in where and when to hold SNAPL 2019, and how long it should be. Here is their survey. Do consider making your views known to them. Simon -------------- next part -------------- A non-text attachment was scrubbed... Name: winmail.dat Type: application/ms-tnef Size: 17593 bytes Desc: not available URL: From Monika.Davidekova at fm.uniba.sk Tue Nov 27 21:05:51 2018 From: Monika.Davidekova at fm.uniba.sk (Davidekova Monika) Date: Tue, 27 Nov 2018 21:05:51 +0000 Subject: [Haskell] [ANT2019] 10th International Conference on Ambient Systems, Networks and Technologies. Leuven, Belgium (April 29 - May 2, 2019) In-Reply-To: References: , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , Message-ID: The 10th International Conference on Ambient Systems, Networks and Technologies (ANT) Leuven, Belgium April 29 - May 2, 2019 Conference Website: http://cs-conferences.acadiau.ca/ant-19/ Workshops: http://cs-conferences.acadiau.ca/ant-19/#workshop Tutorials: http://cs-conferences.acadiau.ca/ant-19/#tutorial Important Dates - Workshops Proposals Due: October 30, 2018 - Paper Submission Due: December 22, 2018 (Extended) - Acceptance Notification: February 4, 2019 - Camera-Ready Submission: March 1, 2019 ANT 2019 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus (www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/). All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com). This includes EI Compendex (www.ei.org/compendex). Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/). The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the special issues of: - Journal of Ambient Intelligence and Humanized Computing (IF: 1.588), by Springer (http://www.springer.com/engineering/journal/12652) - Journal of Personal and Ubiquitous Computing (IF: 2.395), by Springer - IEEE Intelligent Transportation Systems Magazine (IF: 3.654), by IEEE (http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5117645) - IEEE Transactions on Intelligent Transportation Systems (IF: 3.724), by IEEE (http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=6979) - International Journal of Computing and Informatics (IF: 0.504), by Computing and Informatics (http://www.cai.sk/ojs/index.php/cai/index) ANT 2019 will be held in Leuven, Belgium. Leuven is the capital of the province of Flemish Brabant in Belgium. It is located about 25 kilometres (16 miles) east of Brussels. It is the 10th largest municipality in Belgium and the fourth in Flanders. Leuven is home to the Katholieke Universiteit Leuven, the largest and oldest university of the Low Countries and the oldest Catholic university still in existence. The related university hospital of UZ Leuven, is one of the largest hospitals of Europe. The city is also known for being the headquarters of Anheuser-Busch InBev, the world's largest brewer and one of the five largest consumer-goods companies in the world. Leuven's Town Hall is one of the best-known Gothic town halls worldwide and Leuven's pride and joy. It took three architects and thirty years to build it. Leuven's 'Hall of Fame' features 236 statues, which were only added to the façade after 1850. There are 220 men and 16 women in total. On the bottom floor are famous Leuven scientists, artists and historical figures, dressed in Burgundian garb. The first floor is reserved for the patron saints of the various parishes of Leuven. Above them the façade is adorned by the counts and dukes of Brabant while the towers primarily feature biblical figures. ANT 2019 will be held in conjunction with the 2nd International Conference on Emerging Data and Industry 4.0 (EDI40, http://cs-conferences.acadiau.ca/edi40-19/). Conference Tracks - Agent Systems, Intelligent Computing and Applications - Big Data and Analytics - Cloud Computing - Context-awareness and Multimodal Interfaces - Emerging Networking, Tracking and Sensing Technologies - Human Computer Interaction - Internet of Things - Mobile Networks, Protocols and Applications - Modeling and Simulation in Transportation Sciences - Multimedia and Social Computing - Service Oriented Computing for Systems & Applications - Smart, Sustainable Cities and Climate Change Management - Smart Environments and Applications - Systems Security and Privacy - Systems Software Engineering - Vehicular Networks and Applications - General Track 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 Yves Vanrompay, Hasselt University, Belgium Workshops Chair Stephane Galland, UTBM, France Program Advisory Committee Reda Alhajj, University of Calgary, Canada Abdelfettah Belghith, University of Manouba, Tunisia Sajal K. Das, The University of Texas at Arlington, USA Erol Gelenbe, Imperial College, UK Vincenzo Loia, University of Salerno, Italy Peter Sloot, Universiteit van Amsterdam, Netherlands Ralf Steinmetz, Technische Universitaet Darmstadt, Germany Katia Sycara, Carnegie Mellon University, USA Peter Thomas, Manifesto Research, Australia International Journals Chair Michael Sheng, Macquarie University, Australia Vice Chairs Imene Lahyani Abdennadher, University of Sfax, Tunisia Boulmakoul Azedine, Hassan II University, Morocco Marcel Baunach, Graz University of Technology, Austria Tom Bellemans, Hasselt University, Belgium Nik Bessis, Edge Hill University, UK Kechar Bouabdellah, Oran 1 Ahmed BenBella University, Algeria Samia Bouzefrane,CEDRIC Lab Conservatoire National des Arts et Métiers, France Roberto Di Pietro, Hamad Bin Khalifa University, Qatar Khalil Drira, LAAS-CNRS, France Wael El-Medany, University of Bahrain, Bahrain Jason Jaskolka, Carleton University, Canada Flavio Lombardi, Roma Tre University of Rome, Italy Haroon Malik, Marshall University, USA Ahmed Nait Sidi Moh, University of Picardie Jules Verne, France Manuele Kirsch Pinheiro, University of Paris 1, France Cristina Seceleanu, Mälardalen University, Västerås, Sweden Khaled Shaaban, Qatar University, Qatar Ridha Soua, Luxembourg University, Luxembourg Yves Vanrompay, Hasselt University, Belgium Yun Zhou, Shaanxi Normal University, China Publicity Chairs Wim Ectors, Hasselt University, Belgium Davidekova Monika, Comenius University, Slovak Republic International Liaison Chairs Soumaya Cherkaoui, Sherbrooke University, Canada Paul Davidsson, Malmo University, Sweden David Taniar, Monash University, Australia Technical Program Committee http://cs-conferences.acadiau.ca/ant-19/#programCommittees Steering Committee Chair and Founder of ANT Elhadi Shakshuki, Acadia University, Canada -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: ANT19_CfP.pdf Type: application/pdf Size: 371673 bytes Desc: ANT19_CfP.pdf URL: From Monika.Davidekova at fm.uniba.sk Tue Nov 27 21:38:26 2018 From: Monika.Davidekova at fm.uniba.sk (Davidekova Monika) Date: Tue, 27 Nov 2018 21:38:26 +0000 Subject: [Haskell] [MobiSPC2019] The 16th International Conference on Mobile Systems and Pervasive Computing (August 19-21, 2019, Halifax, Nova Scotia, Canada) In-Reply-To: References: , , , , , , , , , , , , Message-ID: ------------------------------------------------------------------------ The 16th International Conference on Mobile Systems and Pervasive Computing August 19-21, 2019 Halifax, Nova Scotia, Canada http://cs-conferences.acadiau.ca/mobispc-19/ ------------------------------------------------------------------------ Mobile Systems and Pervasive Computing (MobiSPC) have evolved into an active area of research and development. This is due to the tremendous advances in a broad spectrum of technologies and topics, including wireless networking, mobile and distributed computing, sensor systems, RFID technology, and the ubiquitous mobile phone. MobiSPC-2018 solicits papers that focus on the theory, systems, practices and challenges of providing users with a successful mobile or wireless experience. This includes how mobile computing changes how people pervasively use their computers, computing resources and applications, as well the systems, services and technologies enabling those applications. MobiSPC-2019 will provide a leading edge, scholarly forum for researchers, engineers, and students alike to share their state-of-the art research and developmental work in the broad areas of pervasive computing and mobile systems. Important Dates ---------------- - Workshop Proposal Due: February 15, 2019 - Paper Submission Due: March 28, 2019 - Acceptance Notification: May 25, 2019 - Final Manuscript Due: June 25, 2019 Publication ------------ All MobiSPC 2019 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus (www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/). All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com). This includes EI Compendex (www.ei.org/compendex). Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/). The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the following special issues: - International Journal of Ambient Intelligence and Humanized Computing (IF: 1.588), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics (IF: 0.504), (http://www.cai.sk/ojs/index.php/cai/index) - IEEE Intelligent Transportation Systems Magazine (IF: 3.654), by IEEE (http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5117645) MobiSPC 2019 will be held in conjunction with the 14th International Conference on Future Networks and Communications (FNC, http://cs-conferences.acadiau.ca/fnc-19/). MobiSPC 2019 is co-organized & co-hosted by Acadia and Dalhousie Universities. MobiSPC 2019 will be held in Halifax, Nova Scotia, Canada. Halifax is located on the east coast of Canada and is approximately 6-hour flight from London, UK and a 2-hour flight from Toronto, Ontario. Halifax is a vibrant and modern city which is home to multiple academic institutions and where visitors can enjoy a variety of activities and entertainment from whale watching to Jazz festivals to world-class cuisine. Halifax is also home to the Maritime Museum of the Atlantic which contains the world largest collection of Titanic artifacts. Nova Scotia is a picturesque province with many National and Provincial parks, and as stated in the Guinness Book of World Records, has the highest tides in the world. Conference Tracks --------------- Component-based IoT Enabling Technologies and Emerging Topics Internet of Things (IoT) Mobile Cloud Computing Mobile Data Management Mobile Social Networking Pervasive Computing Smart Cities and Ubiquitous Climate Change Management Smart Communities and Ubiquitous Systems Mobile Systems and Applications COMMITTEES: -------------------- General Chair Hossam Hassanein, Queen's University, Canada Program Chair Jamal Bentahar, Concordia University, Canada Ansar Yasar, Hasselt University Belgium Workshops Chair Stéphane Galland, Université de Technologie de Belfort-Montbéliard, France Local Chair Ahsan Habib, Dalhousie University, Canada Hassan Raza, Dalhousie University, Canada Tracks Chairs Longbiao Chen, Xiamen University, China Koray Incki, Özyeğin University, Turkey Danny Hughes, K. U. Leuven, Belgium Camille Kamga, The City College of New York, USA Prashant Kumar, University of Surrey, UK Hamid Mcheick, UQAC, Canada Rüdiger Pryss, ULM University, Germany Yongrui (Louie) Qin, University of Huddersfield, UK Rahim Rahmani, Stockholm University, Sweden Michael Sheng, Macquarie University, Australia Qussai Yaseen, Jordan University of Science and Technology, Jordan International Journals Chair Atta Badii, Reading University, UK Publicity Chairs Monika Davidekova, Comenius University, Slovak Republic B. B. Gupta, National Institute of Technology Kurukshetra, India Advisory Committee Abdelfettah Belghith, University of Manouba, Tunisia Flavien Balbo, Ecole Nationale Supérieure des Mines de Saint Etienne, France Erol Gelenbe, Imperial College, UK Vincenzo Loia, University of Salerno, Italy Javier Sanchez Medina, University of Las Palmas de Gran Canaria, Spain Ralf Steinmetz, Technische Universitaet Darmstadt, Germany Mohamed Younis, University of Maryland Baltimore County, USA Technical Program Committee http://cs-conferences.acadiau.ca/mobispc-19/#programCommittees -------------- next part -------------- An HTML attachment was scrubbed... URL: