June 2016 - Haskell - Haskell.org

WADT 2016 -- Extended Deadline
by JAMES P. (366409) 06 Jun '16

06 Jun '16

CFP: WADT 2016 - 23rd International Workshop on Algebraic Development Techniques (extended deadline) Link: http://cs.swan.ac.uk/wadt16/ When Sep 21, 2016 - Sep 24, 2016 Where Gregynog, UK Submission Deadline June 17, 2016 (extended) Notification July 3, 2016 (extended) Final Version Due July 15, 2016 AIMS AND SCOPE The algebraic approach to system specification encompasses many aspects of the formal design of software systems. Originally born as formal method for reasoning about abstract data types, it now covers new specification frameworks and programming paradigms (such as object-oriented, aspect-oriented, agent-oriented, logic and higher-order functional programming) as well as a wide range of application areas (including information systems, concurrent, distributed and mobile systems). The workshop will provide an opportunity to present recent and ongoing work, to meet colleagues, and to discuss new ideas and future trends. TOPICS OF INTEREST Typical, but not exclusive topics of interest are: - Foundations of algebraic specification - Other approaches to formal specification, including process calculi and models of concurrent, distributed and mobile computing - Specification languages, methods, and environments - Semantics of conceptual modelling methods and techniques - Model-driven development - Graph transformations, term rewriting and proof systems - Integration of formal specification techniques - Formal testing and quality assurance, validation, and verification INVITED SPEAKERS - Alessio Lomuscio (London, UK) - Till Mossakowski (Magdeburg, Germany) - John Tucker (Swansea, UK) WORKSHOP FORMAT AND LOCATION The workshop will take place over four days, Wednesday to Saturday, at Gregynog Hall in Wales, UK (http://www.gregynog.org) Participants should arrive on Tuesday evening, the workshop will end on Saturday with lunch. Presentations will be selected on the basis of submitted abstracts. IMPORTANT DATES Submission deadline for abstracts: June 17, 2016 (extended) Notification of acceptance: July 3, 2016 (extended) Early registration: July 3, 2016 (delayed) Final abstract due: July 15, 2016 Workshop in Gregynog: September 21-24, 2016 SUBMISSIONS The scientific programme of the workshop will include presentations of recent results and ongoing research. The presentations will be selected by the Steering Committee on the basis of submitted abstracts according to originality, significance and general interest. The abstracts must be up to two pages long including references. If a longer version of the contribution is available, it can be made accessible on the web and referenced in the abstract. The abstracts have to be submitted electronically via the EasyChair system. PROCEEDINGS After the workshop, authors will be invited to submit full papers for the refereed proceedings. All submissions will be reviewed; selection will be based on originality, soundness and significance of the presented ideas and results. The proceedings will be published as a volume of Lecture Notes in Computer Science (Springer). SPONSORSHIP The workshop takes place under the auspices of IFIP WG 1.3. WADT STEERING COMMITTEE Andrea Corradini (Italy) Jose Fiadeiro (UK) Rolf Hennicker (Germany) Hans-Jorg Kreowski (Germany) Till Mossakowski (Germany) Fernando Orejas (Spain) Francesco Parisi-Presicce (Italy) Markus Roggenbach (UK) [chair] Grigore Rosu (United States) Andrzej Tarlecki (Poland) ORGANIZING COMMITTEE Phillip James (UK) Markus Roggenbach (UK) CONTACT INFORMATION Email: M.Roggenbach(a)Swansea.ac.uk Homepage: http://cs.swan.ac.uk/wadt16/

1 0

New Haddock
by Dominic Steinitz 06 Jun '16

06 Jun '16

I couldn’t find an announcement of the new version of Haddock. You can now document your libraries even more beautifully. For example, > -- \[ > -- f(k;n,p) = \Pr(X = k) = \binom n k p^k(1-p)^{n-k} > -- \] will render as https://hackage.haskell.org/package/random-fu-0.2.7.0/docs/Data-Random-Dist… <https://hackage.haskell.org/package/random-fu-0.2.7.0/docs/Data-Random-Dist…> Also don’t forget you can put really nice diagrams in your documentation e.g. http://hackage.haskell.org/package/diagrams-contrib-1.3.0.7/docs/Diagrams-E… <http://hackage.haskell.org/package/diagrams-contrib-1.3.0.7/docs/Diagrams-E…> and http://hackage.haskell.org/package/diagrams-contrib-1.3.0.7/docs/Diagrams-T… <http://hackage.haskell.org/package/diagrams-contrib-1.3.0.7/docs/Diagrams-T…>. Dominic Steinitz dominic(a)steinitz.org http://idontgetoutmuch.wordpress.com

1 0

10 open roles in expanding team at Standard Chartered
by Don Stewart 03 Jun '16

03 Jun '16

I have another ten open roles in the growing Strats team at Standard Chartered. https://donsbot.wordpress.com/2016/06/03/multiple-haskell-developer-roles-i… These are full time or contract Haskell developer positions in London or Singapore. Details in the post .

1 0

PPPJ 2016, Submission Deadline Extended to June 13 AoE
by Andrea Rosa 03 Jun '16

03 Jun '16

******** Due to several requests, the paper submission deadline has been extended to ******** June 13, 2016 AoE (Anywhere on Earth). ******** ******** Registering paper title and abstract before the submission deadline is ******** optional but encouraged. =============================================== PPPJ '16 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools August 29 - September 2, 2016 Lugano, Switzerland http://manlang16.inf.usi.ch/pppj In-cooperation with ACM SIGPLAN, SIGSOFT, SIGAPP and SPEC RG PPPJ '16 is a forum for researchers and practitioners to present and discuss novel results on all aspects of managed languages and their runtime systems, including virtual machines, tools, methods, frameworks, libraries, case studies, and experience reports. Managed languages and runtime systems of interest include, but are not limited to, Java, Scala, JavaScript, Python, Ruby, C#, F#, Clojure, Groovy, Kotlin, R, Java VM, Dalvik VM and Android Runtime (ART), LLVM, .NET CLR, RPython. ------------------------------------------------------------------------------- IMPORTANT DATES Submission deadline: June 13, 2016 Author notification: July 11, 2016 Camera-ready papers deadline: July 25, 2016 ------------------------------------------------------------------------------- TOPICS Virtual machines - Runtime systems (JVM, Dalvik VM and Android Runtime (ART), LLVM, .NET CLR, RPython, etc.) - VM design and optimization - VMs for mobile and embedded devices - Real-time VMs - Isolation and resource control Languages - Managed languages (Java, Scala, JavaScript, Python, Ruby C#, F#, Clojure, Groovy, Kotlin, R, etc.) - Domain-specific languages - Language design and calculi - Compilers - Language interoperability - Parallelism and concurrency - Modular and aspect-oriented programming - Model-driven development - Frameworks and applications - Teaching Techniques and tools - Static and dynamic program analysis - Testing - Verification - Monitoring and debugging - Security and information flow - Workload characterization and performance evaluation ------------------------------------------------------------------------------- SUBMISSIONS PPPJ '16 accepts three types of paper submissions: - Regular research paper: up to 12 pages - Work-in-progress paper: up to 6 pages - Industry and tool paper: up to 6 pages The conference proceedings will be published as part of the ACM International Conference Proceedings Series and will be disseminated through the ACM Digital Library. Research papers will be judged on their relevance, novelty, technical rigor, and contribution to the state-of-the-art. For work-in-progress research papers, more emphasis will be placed on novelty and the potential of the new idea than on technical rigor and experimental results. Industry and tool papers will be judged on their relevance, usefulness, and results. Suitability for demonstration and availability will also be considered for tool papers. ------------------------------------------------------------------------------- LOCATION PPPJ '16 will be part of the MANAGED LANGUAGES & RUNTIMES WEEK 2016, a premier forum for presenting and discussing innovations and breakthroughs in the area of programming languages and runtime systems. Managed Languages & Runtimes Week '16 features three international academic and industry venues for the first time: - PPPJ '16 - 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools. - JTRES '16 - 14th International Workshop on Java Technologies for Real-time and Embedded Systems - A workshop for researchers working on real-time and embedded Java with the goal of identifying the challenging problems that still need to be solved in order to assure the success of real-time Java as a technology and reporting results and experience. - VMM '16 - 3rd Virtual Machine Meetup - A venue for discussing the latest research and developments in the area of managed language execution. Managed Languages & Runtimes Week '16 will be hosted by the Faculty of Informatics of University of Lugano (USI) from August 29 to September 2, 2016. ------------------------------------------------------------------------------- ORGANIZING COMMITTEE General Chair: Walter Binder - University of Lugano (USI), Switzerland Program Committee Chair: Petr Tůma - Charles University, Czech Republic Organizing Chair: Yudi Zheng - University of Lugano (USI), Switzerland Publicity Chair: Andrea Rosà - University of Lugano (USI), Switzerland Web Chair: Giacomo Toffetti Carughi - University of Lugano (USI), Switzerland ------------------------------------------------------------------------------- PROGRAM COMMITTEE Wonsun Ahn - University of Pittsburgh, USA Lorenzo Bettini - University of Turin, Italy Irene Finocchi - University of Rome La Sapienza, Italy Michael Franz - University of California Irvine, USA David Gregg - Trinity College Dublin, Ireland David Grove - IBM Research, USA Apala Guha - Indraprastha Institute of Information Technology, India Görel Hedin - Lund University, Sweden Nigel Horspool - University of Victoria, Canada Andreas Krall - Vienna University of Technology, Austria Prasad Kulkarni - University of Kansas, USA Doug Lea - State University of New York at Oswego, USA Ondrej Lhotak - University of Waterloo, Canada Du Li - Hewlett Packard Labs, USA Anders Møller - University of Aarhus, Denmark Hanspeter Mössenböck - Johannes Kepler Universität, Austria Rei Odaira - IBM Research Austin, USA Jeremy Singer - University of Glasgow, Scotland Eli Tilevich - Virginia Tech, USA Laurence Tratt - King's College London, England Petr Tuma - Charles University, Czech Republic Christian Wimmer - Oracle Labs, USA Jianjun Zhao - Shanghai Jiao Tong University, China -------------------------------------------------------------------------------- CONTACTS For additional information on PPPJ ’16 do not hesitate to contact the PC Chair <petr.tuma(a)d3s.mff.cuni.cz<mailto:petr.tuma@d3s.mff.cuni.cz>> or visit the website http://manlang16.inf.usi.ch/pppj. ------------ Andrea Rosà PhD student - Teaching assistant Faculty of Informatics - 2nd floor Università della Svizzera italiana (USI) Via G. Buffi 13 CH-6904 Lugano Switzerland (e) andrea.rosa(a)usi.ch<mailto:andrea.rosa@usi.ch> (p) +41 58 666 4455 ext. 2183 (w) http://www.inf.usi.ch/phd/rosaa/

1 0

Summer School on Bidirectional Transformations, Oxford, 25-29th July 2016
by Jeremy Gibbons 02 Jun '16

02 Jun '16

Apologies if you have seen this before, but the early registration deadline (June 10th) is fast approaching for SSBX in Oxford. Please pass this on to anyone who may be interested (and consider coming yourself!). * SUMMER SCHOOL ON BIDIRECTIONAL TRANSFORMATIONS Lady Margaret Hall, Oxford, UK 25th to 29th July 2016 http://www.cs.ox.ac.uk/projects/tlcbx/ssbx/ TOPIC Bidirectional transformations (BX) are means of maintaining consistency between multiple information sources: when one source is edited, the others may need updating to restore consistency. BX have applications in databases, user interface design, model-driven development, and many other domains. This summer school is one of the closing activities on the "Theory of Least Change for BX" project at Oxford and Edinburgh (http://www.cs.ox.ac.uk/projects/tlcbx/) It brings together leading researchers in BX, spanning theory and practice, for a week of lectures in beautiful Oxford. It will be aimed at doctoral students in computer science, but will also be suitable for strong master's students and for researchers. LECTURERS Anthony Anjorin, University of Paderborn, DE "Bx with Triple Graph Grammars" Martin Hofmann, Ludwig-Maximilians-Universitaet Muenchen, DE "Modular Edit Lenses" Zhenjiang Hu, National Institute of Informatics, JP "Principles and Practice of Putback-based Bidirectional Programming in BiGUL" Mike Johnson, Macquarie University, AU "Mathematical Foundations of Bidirectional Transformations" Richard Paige, University of York, UK "Engineering Bidirectional Transformations" The TLCBX team, Universities of Edinburgh and Oxford, UK will introduce, say a bit about TLCBX results, and conclude VENUE The school will take place at Lady Margaret Hall (http://www.lmh.ox.ac.uk/) in leafy North Oxford, right next to the University Parks and the River Cherwell and a short walk from the City Centre. LMH is one of the constituent colleges of the University of Oxford; it was founded in 1878 as the first women's college in Oxford. Our lectures will take place in the splendid Simpkins Lee Theatre in the Pipe Partridge Building, completed in 2010. REGISTRATION The Summer School is financially partially supported by EPSRC. There is an early registration fee of £200 (or £150 for students) if booked before the early registration deadline of 10th June, rising to £250 (or £200 for students) after that point. The registration fee includes lunches, coffee breaks, and a banquet one evening. We have reserved bed-and-breakfast accommodation in college, at £62.50 per night in an ensuite room; there are also a few standard rooms available at £58 per night, but please contact Karen.Barnes(a)cs.ox.ac.uk in advance if you would like to reserve one of them. Those rooms will be released after the early registration deadline, after which point there will be no guarantee of accommodation. Space is limited; there is room for 40 students. FURTHER INFORMATION More information, including the registration link, is on the summer school webpage: http://www.cs.ox.ac.uk/projects/tlcbx/ssbx/ For questions about registration or administrative matters, please contact Karen.Barnes(a)cs.ox.ac.uk. For questions about academic matters, please contact any of the organizers: Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens * Jeremy.Gibbons(a)cs.ox.ac.uk Oxford University Department of Computer Science, Wolfson Building, Parks Road, Oxford OX1 3QD, UK. +44 1865 283521 http://www.cs.ox.ac.uk/people/jeremy.gibbons/

1 0

[ANN] Final Call for Papers: Erlang Workshop 2016 -- Submission deadline (3 June) approaching
by Erlang Workshop 01 Jun '16

01 Jun '16

Apologies for any duplicates you may receive. CALL FOR PAPERS =============== Fifteenth ACM SIGPLAN Erlang Workshop ------------------------------ ----------------------------- Nara, Japan, September 23, 2016 Satellite event of the 21st ACM SIGPLAN International Conference on Functional Programming (ICFP 2016) September 18-24, 2016 The Erlang Workshop aims to bring together the open source, academic, and industrial communities of Erlang, to discuss technologies and languages related to Erlang. The Erlang model of concurrent programming has been widely emulated, for example by Akka in Scala, and even new programming languages were designed atop of the Erlang VM, such as Elixir. Therefore we would like to broaden the scope of the workshop to include systems like those mentioned above. The workshop will enable participants to familiarize themselves with recent developments on new techniques and tools, novel applications, draw lessons from users' experiences and identify research problems and common areas relevant to the practice of Erlang, Erlang-like languages, functional programming, distribution, concurrency etc. We invite three types of submissions. 1. Technical papers describing interesting contributions either in theoretical work or real world applications. Submission related to Erlang, Elixir, Akka, CloudHaskell, Occam, and functional programming are welcome and encouraged. Topics of interest include (but are not limited to): - virtual machine extensions and compilation techniques - implementations and interfaces of Erlang in/with other languages - new tools (profilers, tracers, debuggers, testing frameworks etc.) - language extensions - formal semantics, correctness and verification - testing Erlang programs - program analysis and transformation - Erlang-like languages and technologies - functional languages and multi-processing - concurrency in functional languages - functional languages and distributed computing - parallel programming - pattern based programming - Erlang in education The maximum length for technical papers is restricted to 12 pages. 2. Experience reports describing uses of Erlang in the "real-world", Erlang libraries for specific tasks, experiences from using Erlang in specific application domains, reusable programming idioms and elegant new ways of using Erlang to approach or solve a particular problem. The maximum length for the experience report is restricted to 2 pages. 3. Poster presentations describing topics related to the workshop goals. Each includes a maximum of 2 pages of the abstract and summary. Presentations in this category will be given an hour of shared simultaneous demonstration time. Workshop Co-Chairs ------------------ Melinda Tóth, Eötvös Loránd University, Hungary Scott Lystig Fritchie, Basho Japan KK Program Committee ----------------------------- (Note: the Workshop Co-Chairs are also committee members) Jamie Allen, Typesafe Laura M. Castro, University of A Coruña, Spain Natalia Chechina, University of Glasgow Viktoria Fördős, Erlang Solutions Yosuke Hara, Rakuten, Inc. Kenji Rikitake, KRPEO Bruce Tate, iCanMakeItBetter Simon Thompson, University of Kent, UK Important Dates ----------------------- Submissions due: Friday, 3 June, 2016 Author notification: Friday, 8 July, 2016 Final copy due: Sunday, 31 July, 2016 Workshop date: September 23, 2016 Instructions to authors -------------------------------- Papers must be submitted online via EasyChair (via the "Erlang2016" event). The submission page is https://www.easychair.org/conferences/?conf=erlang2016 <https://www.easychair.org/conferences/?conf=erlang2016> Submitted papers should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines. Each submission must adhere to SIGPLAN's republication policy. Violation risks summary rejection of the offending submission. Accepted papers will be published by the ACM and will appear in the ACM Digital Library. Paper submissions will be considered for poster submission in the case they are not accepted as full papers. Venue & Registration Details ------------------------------------------ For registration, please see the ICFP 2016 web site at: http://conf.researchr.org/home/icfp-2016 <http://conf.researchr.org/home/icfp-2016> Related Links -------------------- CFP: http://conf.researchr.org/track/icfp-2016/erlang-2016-papers ICFP 2016 web site: http://conf.researchr.org/home/icfp-2016 Past ACM SIGPLAN Erlang workshops: http://www.erlang.org/workshop/ Open Source Erlang: http://www.erlang.org/ EasyChair submission site: https://www.easychair.org/conferences/?conf=erlang2016 <https://www.easychair.org/conferences/?conf=erlang2016> Author Information for SIGPLAN Conferences: http://www.sigplan.org/authorInformation.htm <http://www.sigplan.org/authorInformation.htm> Atendee Information for SIGPLAN Events: http://www.sigplan.org/Resources/Policies/Anti-harassment

1 1

LOPSTR 2016: 2nd Call for Papers
by pedro.lopez 01 Jun '16

01 Jun '16

[ Please distribute, apologies for multiple postings. ] ====================================================================== LOPSTR 2016: 2nd Call for Papers ====================================================================== 26th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2016 http://cliplab.org/Conferences/LOPSTR16/ Edinburgh, UK, September 6-8, 2016 (co-located with PPDP 2016 and SAS 2016) ====================================================================== DEADLINES: Abstract submission: June 7, 2016 Paper/Extended abstract submission: June 14, 2016 ====================================================================== INVITED SPEAKERS: Francesco Logozzo (Facebook, USA) [jointly with PPDP] Greg Morrisett (Cornell University, USA) [jointly with PPDP] Martin Vechev (ETH Zurich, Switzerland) [jointly with SAS ] ====================================================================== The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers. The 26th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2016) will be held at the University of Edinburgh, Edinburgh, UK; previous symposia were held in Siena, Canterbury, Madrid, Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve, and Manchester. LOPSTR 2016 will be co-located with PPDP 2016 (International Symposium on Principles and Practice of Declarative Programming) and SAS 2016 (Static Analysis Symposium). Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. Both full papers and extended abstracts describing applications in these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to: * synthesis * transformation * specialization * composition * optimization * inversion * specification * analysis and verification * testing and certification * program and model manipulation * transformational techniques in SE * applications and tools Survey papers that present some aspects of the above topics from a new perspective, and application papers that describe experience with industrial applications are also welcome. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Important Dates Abstract submission: June 7, 2016 Paper/Extended abstract submission: June 14, 2016 Notification: August 3, 2016 Camera-ready (for electronic pre-proceedings): August 19, 2016 Symposium: September 6-8, 2016 Submission Guidelines Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in the Lecture Notes in Computer Science style. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords which will be used to assist the PC in selecting appropriate reviewers for the paper. Page numbers (and, if possible, line numbers) should appear on the manuscript to help the reviewers in writing their report. Submissions cannot exceed 15 pages including references but excluding well-marked appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. Papers should be submitted via the Easychair submission website for LOPSTR 2016: http://www.easychair.org/conferences/?conf=lopstr2016 (can be accessed also through the LOPSTR 2016 web site). Best Paper Award and Prize A best paper award will be granted, which will include a 500 EUR prize provided by Springer. This award will be given to the best paper submitted to the conference, based on the relevance, originality, and technical quality. The program committee may split the award among two or more papers, also considering authorship (e.g., student paper). Proceedings The formal post-conference proceedings will be published by Springer in the Lecture Notes in Computer Science series. Full papers can be directly accepted for publication in the formal proceedings, or accepted only for presentation at the symposium and inclusion in informal proceedings. After the symposium, all authors of extended abstracts and full papers accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the symposium. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. Program Committee Slim Abdennadher, German University of Cairo, Egypt Maria Alpuente, Universitat Politecnica de Valencia, Spain Sergio Antoy, Portland State University, USA Michael Codish, Ben-Gurion University of the Negev, Israel Jerome Feret, CNRS/ENS/INRIA Paris, France. Fabio Fioravanti, University of Chieti - Pescara, Italy. Maurizio Gabbrielli, University of Bologna, Italy Maria Garcia de la Banda, Monash University, Australia Robert Glueck, University of Copenhagen, Denmark. Miguel Gomez-Zamalloa, Complutense University of Madrid, Spain Gopal Gupta, University of Texas at Dallas, USA Patricia Hill, Univ. of Leeds, UK and BUGSENG Srl, Italy Jacob Howe, City University London, UK Viktor Kuncak , EPFL Lausanne, Switzerland Michael Leuschel, University of Duesseldorf, Germany Heiko Mantel TU Darmstadt, Germany Jorge A. Navas, NASA, USA Naoki Nishida, Nagoya University, Japan Catuscia Palamidessi, INRIA, France C.R. Ramakrishnan, SUNY Stony Brook, USA Vitor Santos Costa, Universidade do Porto, Portugal Hirohisa Seki, Nagoya Institute of Technology, Japan Peter Schneider-Kamp, University of Southern Denmark, Denmark Program Chairs Manuel Hermenegildo, IMDEA Software Institute and T.U. Madrid (UPM) Pedro Lopez-Garcia, IMDEA Software Institute and CSIC Organizing Committee James Cheney (University of Edinburgh, Local Organizer) Moreno Falaschi (University of Siena, Italy) In cooperation with: The European Association for Theoretical Computer Science The European Association for Programming Languages and Systems The Association for Logic Programming The IMDEA Software Institute

1 0

DEADLINE EXTENSION: ACM/IEEE MSWiM 2016
by RODOLFO IPOLITO MENEGUETTE 01 Jun '16

01 Jun '16

=================================================== Call-For-Papers: 19th ACM/IEEE MSWiM 2016 Malta, Nov 13-17, 2016 http://www.mswimconf.com/2016 ============================== ====================== IMPORTANT: Submission deadline Extended: Paper registration through EDAS: June 8th, 2016 Paper Submission: June 12th, 2016 ============================== ===================== ------ ACM/IEEE* MSWiM 2016 is the 19th Annual International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems. MSWiM is an international forum dedicated to in-depth discussion of Wireless and Mobile systems, networks, algorithms and applications, with an emphasis on rigorous performance evaluation. MSWiM is a highly selective conference with a long track record of publishing innovative ideas and breakthroughs. MSWiM 2016 will be held Malta, Nov 13-17, 2016 Authors are encouraged to submit full papers presenting new research related to the theory or practice of all aspects of modeling, analysis and simulation of mobile and wireless systems. Submitted papers must not have been published elsewhere nor currently be under review by another conference or journal. Papers related to wireless and mobile network Modeling, Analysis, Design, and Simulation are solicited on, but not limited to, the following topics in mobile and wireless systems: Performance evaluation and modeling Analytical Models Simulation languages and tools for wireless systems Wireless measurements tools and experiences Formal methods for analysis of wireless systems Correctness, survivability and reliability evaluation Mobility modeling and management Models and protocols for cognitive radio networks Models and protocols for autonomic, or self-* networks Capacity, coverage and connectivity modeling and analysis Wireless network algorithms and protocols Software Defined Network Services for Smart City Wireless PANs, LANs Ad hoc and MESH networks Vehicular Ad-hoc Networks (VANET) Sensor and actuator networks Delay Tolerant Networks Integration of wired and wireless systems Pervasive computing and emerging models Wireless multimedia systems QoS provisioning in wireless and mobile networks Security and privacy of mobile/wireless systems Algorithms and protocols for energy efficient operation and power control Mobile applications, system software and algorithms RF channel modeling and analysis Design methodologies Tools, prototypes and testbeds Parallel and distributed simulation of wireless systems Wireless Communication and Mobile Networking Operating systems for mobile computations Programming language support for mobility Resource management techniques Management of mobile object systems Paper Submission and Publication: High-quality original papers are solicited. Papers must be unpublished and must not be submitted for publication elsewhere. All papers will be reviewed by Technical Program Committee members and other experts active in the field to ensure high quality and relevance to the conference. More detailed instructions for paper submission can be found at http://www.mswimconf.com/2016 and EDAS. Accepted papers will appear in the conference proceedings to be published by ACM Press. Important Dates: Paper Registration : June 8th, 2016 Paper Submission Deadline: June 12 2016 Notification of Acceptance: July 15th, 2016 Organizing Committee: General Co-Chair: - Albert Zomaya, University of Sydney, Austarlia TPC Co-Chairs: - Geyong Min, University of Exter, UK - Antonio Loureiro, UFMG, Brazil Workshop Chairs: - Perikklis Chatzimios, Alexander TEI of Thessaloniki, Greece - SungBum Hong, Jackson State University, USA Tutorial Chairs: - Thomas Begin, University Claude Bernards Lyon, France - Jalel Ben-Othman, University Paris 13, France PhD Forum Chair - Bjorn Landfeldt, Lund University, Sweeden

1 0

ANN: Haskell for Mac trials & educational discount
by Manuel M T Chakravarty 01 Jun '16

01 Jun '16

Haskell for Mac, the Haskell IDE with interactive playgrounds, now offers a free 14 day trial and educational discounts: http://haskellformac.com Manuel

1 0