December 2018 - Haskell

Call for Papers - SDP: Spatio-temporal Data Processing, February 24 - 28, 2019 - Athens, Greece
by Muhammad Arslan 07 Dec '18

07 Dec '18

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=GE… 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

1 2

10 PhD studentships in Nottingham
by Graham Hutton 04 Dec '18

04 Dec '18

Dear all, The School of Computer Science at the University of Nottingham is seeking applications for 10 fully-funded PhD studentships: https://tinyurl.com/10-phds-2019 Applicants in the area of the Functional Programming Laboratory (https://tinyurl.com/fp-notts) are strongly encouraged! If you are interested in applying, please contact a potential supervisor at least two weeks prior to the 18th January deadline: Thorsten Altenkirch - constructive logic, proof assistants, homotopy type theory, category theory, lambda calculus. Venanzio Capretta - type theory, mathematical logic, corecursive structures, proof assistants, category theory, epistemic logic. Graham Hutton - functional programming, program calculation and transformation, correctness and efficiency, category theory. Henrik Nilsson - functional reactive programming, modelling and simulation, domain-specific languages, probabilistic languages. Best wishes, Graham +-----------------------------------------------------------+ 10 Fully-Funded PhD Studentships School of Computer Science University of Nottingham, UK https://tinyurl.com/10-phds-2019 Applications are invited for up to ten fully-funded PhD studentships in the School of Computer Science at the University of Nottingham, starting on 1 October 2019. The topics for the studentships are open, but should relate to one of the School’s research groups: Agents Lab; Automated Scheduling and Planning; Computer Vision Lab; Data Driven Algorithms, Systems and Design; Functional Programming Lab; Intelligent Modelling and Analysis; Uncertainty in Data and Decision Making; Mixed Reality Lab. The studentships are for a minimum of three years and include a stipend of £14,777 per year and tuition fees. They are open to students of any nationality. Applicants are normally expected to have a first-class MSc or BSc in Computer Science or a related discipline, and must obtain the support of a supervisor in the School prior to submitting their application. Initial contact with supervisors should be made at least two weeks prior to the closing date for applications. Informal enquiries may be addressed to SS-PGR-JC(a)nottingham.ac.uk. To apply, please submit the following items by email to: Christine.Fletcher(a)nottingham.ac.uk: (1) a brief covering letter that describes your reasons for wishing to pursue a PhD, your proposed research area and topic, and the name of the potential supervisor whose support you have already secured; (2) a copy of your CV, including your actual or expected degree classes, and results of all University examinations; (3) an extended example of your technical writing, such as a project report or dissertation; (4) contact details for two academic referees. Closing date for applications: Friday 18 January 2019 +-----------------------------------------------------------+ This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please contact the sender and delete the email and attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. Email communications with the University of Nottingham may be monitored where permitted by law.

1 0

Extended CFP 3rd International Workshop on Agent-based Modeling and Applications with SARL (SARL19)
by Yazan Mualla 03 Dec '18

03 Dec '18

CALL FOR PAPERS (extended) 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-19 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: January 4, 2019 (extended); * 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.

1 0

Re: [Haskell] Treatment of unknown pragmas
by Ben Gamari 02 Dec '18

02 Dec '18

Vladislav Zavialov <vlad.z.4096(a)gmail.com> writes: > What about introducing -fno-warn-pragma=XXX? People who use HLint will > add -fno-warn-pragma=HLINT to their build configuration. > A warning flag is an interesting way to deal with the issue. On the other hand, it's not great from an ergonomic perspective; afterall, this would mean that all users of HLint (and any other tool requiring special pragmas) include this flag in their build configuration. A typical Haskell project already needs too much such boilerplate, in my opinion. I think it makes a lot of sense to have a standard way for third-parties to attach string-y information to Haskell source constructs. While it's not strictly speaking necessary to standardize the syntax, doing so minimizes the chance that tools overlap and hopefully reduces the language ecosystem learning curve. Cheers, - Ben

4 3