March 2017 - Haskell - Haskell.org

Call for Participation: RAMiCS, May 15-18, Lyon, France
by Damien Pous 20 Mar '17

20 Mar '17

Call for Participation ----------------------------------------------------- 16th International Conference on RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE (RAMiCS 2017) May 15-18, 2017 Lyon, France http://ramics-conference.org ----------------------------------------------------- GENERAL INFORMATION: For more than two decades, the RAMiCS conferences series has been the main venue for research on relation algebras, Kleene algebras and similar algebraic formalisms, and their applications as conceptual and methodological tools in computer science and beyond. INVITED SPEAKERS: * Annabelle McIver (Macquarie University, Sydney) * Jean-Eric Pin (CNRS, IRIF, Paris) * Alexandra Silva (University College London) PROGRAM: http://ramics-conference.org/program.html REGISTRATION: 204 EUR, by April 16th https://www.azur-colloque.fr/DR07/inscription/inscription/153 Students having difficulties to fund their trip should contact the organisers as soon as possible, we might be able to provide financial help for one or two of them. SPECIAL SESSION ON MECHANISED REASONING: We will organise a special session during Thursday afternoon, 18 of May, on mechanised reasoning for relational and algebraic methods. If you are willing to give a talk during this session, please send us a title and a short abstract by April 16th. Expected topics include - mathematical components for relation algebraic methods in proof assistants such as Agda, Coq or Isabelle, or tools such more specific tools such as RelView - support for automated reasoning with such methods - experiences in using any of these tools and components COMMITTEES: Conference Chair: Damien Pous, CNRS, France Programme Chairs: Peter Höfner, Data61, CSIRO Australia Georg Struth, U Sheffield, UK, Programme Committee: Luca Aceto, Reykjavik U, Iceland Rudolf Berghammer, U Kiel, Germany Filippo Bonchi, CNRS, France Jules Desharnais, U Laval, Canada Hitoshi Furusawa, Kagoshima U, Japan Tim Griffin, U Cambridge, UK Walter Guttmann, U Canterbury, New Zealand Robin Hirsch, UCL, UK Peter Höfner, Data61, CSIRO, Australia Marcel Jackson, LaTrobe U, Australia Jean-Baptiste Jeannin, Samsung, USA Peter Jipsen , Chapman U, USA Christian Johansen, U Oslo, Norway Wolfram Kahl, McMaster U, Canada Dexter Kozen, Cornell U, USA Szabolcs Mikulas, Birkbeck U, UK Bernhard Möller, U Augsburg, Germany José N. Oliveira, U Minho, Portugal Damien Pous, CNRS, France Georg Struth, U Sheffield, UK, Pascal Weil, CNRS, France Michael Winter, Brock U, Canada Local Organisation: Catherine Desplanches

1 0

ACM/SPEC ICPE'17 - Call for Participation
by Andrea Rosa 14 Mar '17

14 Mar '17

ICPE 2017 8th ACM/SPEC International Conference on Performance Engineering Sponsored by ACM SIGMETRICS, SIGSOFT, and SPEC RG L'Aquila, Italy April 22-27, 2017 https://icpe2017.spec.org/ ------------------------------------------------------------------------------- The goal of the International Conference on Performance Engineering (ICPE) is to integrate theory and practice in the field of performance engineering by providing a forum for sharing ideas and experiences between industry and academia. Nowadays, complex systems of all types, like Web-based systems, data centers and cloud infrastructures, social networks, peer-to-peer, mobile and wireless systems, cyber-physical systems, the Internet of Things, real-time and embedded systems, have increasingly distributed and dynamic system architectures that provide high flexibility, however, also increase the complexity of managing end-to-end application performance. ICPE brings together researchers and industry practitioners to share and present their experiences, discuss challenges, and report state-of-the-art and in-progress research on performance engineering of software and systems, including performance measurement, modeling, benchmark design, and run-time performance management. The focus is both on classical metrics such as response time, throughput, resource utilization, and (energy) efficiency, as well as on the relationship of such metrics to other system properties including but not limited to scalability, elasticity, availability, reliability, and security. ------------------------------------------------------------------------------- PROGRAM ICPE'17 takes place from April 22 to 27, 2017. The main conference runs from April 24 to 26, with a welcome reception on April 24 and a banquet on April 25. Tutorials are held on April 22 and 23, while workshops take place on April 22, 23, and 27. The preliminary program is available at https://icpe2017.spec.org/conference-program.html The following eight workshops will be held in conjunction with the main conference: - Saturday, April 22: -- ACPROSS: Autonomous Control for Performance and Reliability Trade-offs in Internet of Services -- PABS: Third International Workshop on Performance Analysis of Big Data Systems -- WOSP-C: Workshop on Challenges in Performance Methods for Software Development - Sunday, April 23: -- ENERGY-SIM: Third International Workshop on Energy-aware Simulation -- LTB: Sixth International Workshop on Load Testing and Benchmarking of Software Systems -- MoLS: First International Workshop on Monitoring in Large-Scale Software Systems -- WEPPE: Workshop on Education and Practice of Performance Engineering - Thursday, April 27: -- QUDOS: Third International Workshop on Quality-aware DevOps More information on the workshops can be found at https://icpe2017.spec.org/conference-program/conference-workshops.html ------------------------------------------------------------------------------- REGISTRATION Registration is open! To register to ICPE'17 or to the co-located workshops and tutorials, please follow the instruction at the following link: https://icpe2017.spec.org/registration.html. Early registration deadline: March 24, 2017 ------------------------------------------------------------------------------- KEYNOTE We are proud to announce our keynote speakers for ICPE'17: -------------------------------------- Arif Merchant (Google) Title: Autonomic storage management at scale Abstract: Cloud data centers use enormous amounts of storage, and it is critical to monitor, manage, and optimize the storage autonomically. Optimally configuring storage is difficult because storage workloads are very diverse and change over time. Data centers measure running workloads, but this measurement data stream is itself quite large. We present some real world case studies in the use of big data techniques, sampling, and optimization to manage storage in data centers. Short bio: Arif Merchant is a Research Scientist at Google and leads the Storage Analytics group, which studies interactions between components of the storage stack. His interests include distributed storage systems, storage management, and stochastic modeling. He holds the B.Tech. degree from IIT Bombay and the Ph.D. in Computer Science from Stanford University. He is an ACM Distinguished Scientist. -------------------------------------- Francesco Quaglia (University of Rome "La Sapienza") Title: Performance is Also a Matter of Where You Live Abstract: Nowadays, a plethora of techniques and methods are available to optimize the runtime behavior of complex applications, ranging from modeling/prediction tools to the employment of recognized patterns and/or knowledge-bases on the expected performance under specific workloads. However, in common scenarios, the ultimate applications' behavior may depend on features that are scarcely predictable or difficult to be taken into account when designing the applications and their own runtime optimizers. Among them, we mention the actual structure of the underlying hardware and/or virtualized platforms, as well as specific runtime dynamics such as thread correlation on data and synchronization---not much the average behavior, rather punctual effects. We believe that the environment where applications live, like operating systems and user-space runtime libraries, play a central role in coping with these features. We similarly believe that such environments must be re-staged so as to be actually effective in pursuing the performance optimization goal. In this talk, we discuss specific guidelines to re-stage the environments, based on a real experience, and we point as well to challenges that are still untackled and deserve attention by the research community. Short bio: Francesco Quaglia received the Laurea degree (MS level) in Electronic Engineering in 1995 and the PhD degree in Computer Engineering in 1999 from the University of Rome ``La Sapienza''. From summer 1999 to summer 2000 he held an appointment as a Researcher at the Italian National Research Council (CNR). Since January 2005 he works as an Associate Professor at the School of Engineering of the University of Rome ``La Sapienza", where he has previously worked as an Assistant Professor since September 2000 to December 2004. His main research interests are in the areas of high performance computing, dependable computing, transactional systems, operating systems, automatic code parallelization, performance analysis and optimization. Currently, he is the director of the HPDCS (High Performance and Dependable Computing Systems) Research Lab at the University of Rome ``La Sapienza''. -------------------------------------- Thomas Wuerthinger (Oracle Labs) Title: Micro-Benchmarking Considered Harmful Subtitle: When the Whole is Faster or Slower Than the Sum of its Parts Abstract: Measuring the time spent on small individual fractions of program code is a common technique for analysing performance behavior and detecting performance bottlenecks. The benefits of the approach include a detailed individual attribution of performance and understandable feedback loops when experimenting with different code versions. There are however severe pitfalls when following this approach that can lead to vastly misleading results. Modern optimizing compilers use complex optimization techniques that take a large part of the program into account. There can be therefore unexpected side-effects when combining different code snippets or even when running a presumably unrelated part of the code. This talk will present performance paradoxes with examples from the domain of dynamic compilation of Java programs. Furthermore, it will discuss an alternative approach to modelling code performance characteristics that takes the challenges of complex optimising compilers into account. Short Bio: Thomas Wuerthinger is a Senior Research Director at Oracle Labs leading programming language implementation teams for languages including Java, JavaScript, Ruby, and R. He is the architect of the Graal compiler and the Truffle self-optimizing runtime system. Previously, he worked on the Crankshaft optimizing compiler of V8 at Google, and the Maxine research virtual machine at Sun Microsystems. He received a PhD degree from JKU Linz for his research about dynamic code evolution. ------------------------------------------------------------------------------- ORGANIZING COMMITTEE General Chairs * Walter Binder, Università della Svizzera italiana (USI), Switzerland * Vittorio Cortellessa, Università dell'Aquila, Italy Research Program Chairs * Anne Koziolek, Karlsruhe Institute of Technology, Germany * Evgenia Smirni, College of William and Mary, USA Industry Program Chairs * Meikel Poess, Oracle, USA Tutorials Chair * Valeria Cardellini, Università di Roma Torvergata, Italy Workshops Chairs * Hanspeter Mössenböck, Johannes Kepler Universität Linz, Austria * Catia Trubiani, Gran Sasso Science Institute, Italy Posters and Demos Chair * Lubomir Bulej, Charles University, Czech Republic Awards Chairs * Petr Tuma, Charles University, Czech Republic * Murray Woodside, Carleton University, Canada Local Organization Chair * Antinisca Di Marco, Università dell'Aquila, Italy Publicity Chairs * Andrea Rosà, Università della Svizzera italiana (USI), Switzerland * Diego Perez, Politecnico di Milano, Italy Finance Chair * André van Hoorn, University of Stuttgart Publication and Registration Chair * Davide Arcelli, Università dell'Aquila, Italy Web Site Chair * Daniele Di Pompeo, Università dell'Aquila, Italy -------------------------------------------------------------------------------- CONTACTS Do not hesitate to contact the general chairs at <walter.binder(a)usi.ch<mailto:walter.binder@usi.ch>> and <vittorio.cortellessa(a)univaq.it<mailto:vittorio.cortellessa@univaq.it>> for more information about ICPE'17 and the co-located venues. ------------ Andrea Rosà PhD student - Teaching assistant Faculty of Informatics - Office SI-205 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

TYPES 2017 submission deadline extended
by Ambrus Kaposi 13 Mar '17

13 Mar '17

[Submission deadline extended by a week to 20 March 2017. Consider contributing!] CALL FOR CONTRIBUTIONS 23rd International Conference on Types for Proofs and Programs, TYPES 2017 and EUTYPES Cost Action CA15123 meeting Budapest, Hungary, 29 May - 1 June 2017 http://types2017.elte.hu BACKGROUND The TYPES meetings are a forum to present new and on-going work in all aspects of type theory and its applications, especially in formalised and computer assisted reasoning and computer programming. The TYPES areas of interest include, but are not limited to: * foundations of type theory and constructive mathematics; * applications of type theory; * dependently typed programming; * industrial uses of type theory technology; * meta-theoretic studies of type systems; * proof assistants and proof technology; * automation in computer-assisted reasoning; * links between type theory and functional programming; * formalizing mathematics using type theory. We encourage talks proposing new ways of applying type theory. In the spirit of workshops, talks may be based on newly published papers, work submitted for publication, but also work in progress. FINANCIAL SUPPORT The last two days of TYPES 2017, May 31 - June 1 are supported by and organised under the auspices of EUTypes Cost Action CA15123 (https://eutypes.cs.ru.nl) On one of these days there will be an EUTypes Management Committee (MC) meeting. This means that for members of the EUTypes MC, the cost of travel and stay for these 2 days will be covered. There will likely be some funding for a limited number of other conference participants (speakers). The funding is subject to COST rules, and invitations will be sent out via the e-cost system after the 1st of May. INVITED SPEAKERS * Edwin Brady (University of St Andrews) * Sara Negri (University of Helsinki) * Jakob Rehof (TU Dortmund) CONTRIBUTED TALKS We solicit contributed talks. Selection of those will be based on extended abstracts/short papers of 2 pp formatted with easychair.cls. The submission site is https://easychair.org/conferences/?conf=types2017. Important dates: * submission of 2 pp abstract: 20 March 2017 * notified of acceptance/rejection: 17 April 2017 * camera-ready version of abstract: 8 May 2017 Camera-ready versions of the accepted contributions will be published in an informal book of abstracts for distribution at the workshop. POST-PROCEEDINGS Similarly to TYPES 2011 and TYPES 2013-2016, we intend to publish a post-proceedings volume in the Leibniz International Proceedings in Informatics (LIPIcs) series. Submission to that volume will be open for everyone. Tentative submission deadline: September 2017. PROGRAMME COMMITTEE * Andreas Abel (Chalmers University Gothenburg) * Thorsten Altenkirch (University of Nottingham) * José Espirito Santo (University of Minho) * Fredrik Nordvall Forsberg (University of Strathclyde) * Silvia Ghilezan (University of Novi Sad) * Hugo Herbelin (INRIA Paris-Rocquencourt) * Martin Hofmann (Ludwig Maximilian University of Munich) * Ambrus Kaposi (Eötvös Loránd University) (co-chair) * Tamás Kozsik (Eötvös Loránd University) (co-chair) * Assia Mahboubi (INRIA) * Alexandre Miquel (University of the Republic, Uruguay) * Leonardo de Moura (Microsoft Research, Redmond, USA) * Keiko Nakata (SAP, Potsdam) * Andrew Polonsky (University Paris Diderot) * Simona Ronchi Della Rocca (Università di Torino) * Aleksy Schubert (University of Warsaw) * Wouter Swierstra (Utrecht University) * Tarmo Uustalu (Tallinn University of Technology) TYPES STEERING COMMITTEE Marc Bezem, Herman Geuvers (chair), Hugo Herbelin, Zhaohui Luo, Ralph Matthes, Bengt Nordström, Andrew Polonsky, Aleksy Schubert, Tarmo Uustalu. ABOUT TYPES The TYPES meetings from 1990 to 2008 were annual workshops of a sequence of five EU funded networking projects. From 2009 to 2015, TYPES has been run as an independent conference series. From 2016, TYPES is partially supported by COST Action EUTypes CA15123. Previous TYPES meetings were held in Antibes (1990), Edinburgh (1991), Båstad (1992), Nijmegen (1993), Båstad (1994), Torino (1995), Aussois (1996), Kloster Irsee (1998), Lökeberg (1999), Durham (2000), Berg en Dal near Nijmegen (2002), Torino (2003), Jouy-en-Josas near Paris (2004), Nottingham (2006), Cividale del Friuli (2007), Torino (2008), Aussois (2009), Warsaw (2010), Bergen (2011), Toulouse (2013), Paris (2014), Tallinn (2015), Novi Sad (2016). CONTACT Email: info(a)types2017.elte.hu Organisers: Ambrus Kaposi, Tamás Kozsik, András Kovács and the Department of Programming Languages and Compilers at the Faculty of Informatics, Eötvös Loránd University, Budapest.

1 0

[FNC-Conf] FNC 2017 CFPs: Extended Submission Date: March 27. The 12th International Conference on Future Networks and Communications
by Wim Ectors 13 Mar '17

13 Mar '17

------------------------------------------------------------------------ The 12th International Conference on Future Networks and Communications (FNC) July 24-26, 2017 Leuven, Belgium http://cs-conferences.acadiau.ca/fnc-17/ ------------------------------------------------------------------------ Future Networks and Communications (FNC) research effort will help achieving a major promise of the emerging technologies such as, ubiquitous access to broadband, supporting vital applications in our daily lives such as health, energy consumption, environment transport, entertainment or education. The scope of FNC is the development of energy-efficient future network infrastructures that support the convergence and interoperability of heterogeneous mobile, wired and wireless broadband network technologies as enablers of the future Internet. This includes but not limited to ubiquitous fast broadband access and ultra-high speed end-to-end optical connectivity, supporting open services and innovative ambient applications. Scope also embraces novel and evolutionary approaches to tackle network architectures, taking due consideration of users and societal needs for success. Important Dates ---------------- - Paper Submission Due: March 27, 2017 (Extended) - Acceptance Notification: April 28, 2017 - Final Manuscript Due: May 28, 2017 Publication ------------ All FNC 2017 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: 0.835), by Springer (http://www.springer.com/engineering/journal/12652) - Journal of Future Generation Computer Systems (IF: 2.430), by Elsevier ( http://www.journals.elsevier.com/future-generation-computer-systems/) FNC 2017 will be held in conjunction with the 14th International Conference on Mobile Systems and Pervasive Computing (MobiSPC http://cs-conferences.acadiau.ca/mobispc-17/) FNC 2017 will be gel in the city of Leuven. 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. COMMITTEES: ----------- General Chairs Atta Badii, University of Reading, UK Soumaya Cherkaoui, Sherbrooke University, Canada Program Chairs Ansar-Ul-Haque Yasar, IMOB Ð Hasselt University, Belgium Haroon Malik, Marshall University, USA Advisory Committee Erol Gelenbe, Imperial College, UK Roch Glitho, Concordia University, Canada Zygmunt J. Haas, Cornell University, USA Philippe Martins, Telecom Paris Tech, France Peter Sloot, Universiteit van Amsterdam, Netherlands Ralf Steinmetz, Technische Universitaet Darmstadt, Germany David Taniar, Monash University, Australia Mohamed Younis, University of Maryland Baltimore County, USA Workshops Chairs Zahoor Khan, Higher Colleges of Technology, UAE International Journals Chair Bin Guo, Northwestern Polytechnical University, China Publicity Chairs Wim Ectors, Hasselt University, Belgium Yaser Jararweh, Jordan University of Science and Technology, Jordan Bjšrn A. Johnsson, Lund University, Sweden Technical Program Committee http://cs-conferences.acadiau.ca/fnc-17/#programCommittees Steering Committee Chair Elhadi Shakshuki, Acadia University, Canada

1 0

[MobiSPC-Conf] MobiSPC 2017 CFPs: Extended Submission Date: March 27. The 14th International Conference on Mobile Systems and Pervasive Computing
by Wim Ectors 12 Mar '17

12 Mar '17

---------------------------------------------------------------------------- The 14th International Conference on Mobile Systems and Pervasive Computing (MobiSPC) July 24-26, 2017 Leuven, Belgium http://cs-conferences.acadiau.ca/mobispc-17/ ---------------------------------------------------------------------------- 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-2017 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-2017 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 ---------------- - Paper Submission Due: March 27, 2017 (Extended) - Acceptance Notification: April 28, 2017 - Final Manuscript Due: May 28, 2017 Publication ------------ All MobiSPC 2017 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: 0.835), by Springer (http://www.springer.com/engineering/journal/12652) - Journal of Future Generation Computer Systems (IF: 2.430), by Elsevier ( http://www.journals.elsevier.com/future-generation-computer-systems/) MobiSPC 2017 will be held in conjunction with the 12th International Conference on Future Networks and Communications (FNC, http://cs-conferences.acadiau.ca/fnc-17/) MobiSPC 2017 will be held in the city of Leuven. 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. 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 Chairs Danny Hughes, K. U. Leuven, Belgium Hossam Hassanein, Queen's University, Canada Program Chairs Ansar-Ul-Haque Yasar, IMOB – Hasselt University, Belgium Stéphane Galland, Université de Technologie de Belfort-Montbéliard, France Advisory Committee Nirwan Ansari, New Jersey Institute of Technology, USA Abdelfettah Belghith, University of Manouba, Tunisia Flavien Balbo, Ecole Nationale Superieure des Mines de Saint Etienne, France Erol Gelenbe, Imperial College, UK Noël de Palma, Université de Grenoble, France Ralf Steinmetz, Technische Universitaet Darmstadt, Germany David Taniar, Monash University, Australia Mohamed Younis, University of Maryland Baltimore County, USA Workshops Chairs Zahoor Khan, Higher Colleges of Technology, UAE Tracks Chairs Habib M. Ammari, Norfolk State University, USA Longbiao Chen, Xiamen University, China Danny Hughes, K. U. Leuven, Belgium Nafaa Jabeur, German University of Technology, Oman Jason J. Jung, Chung-Ang University, Korea Marc Körner, TUB Berlin, Germany Prashant Kumar, University of Surrey, UK Nawaz Mohamudally, University of Technology, Mauritius Francesco Piccialli, University of Naples, Federico II, Italy Christian Poellabauer, University of Notre Dame, USA M. Elena Renda, Istituto di Informatica e Telematica - CNR, Italy Michael Sheng, University of Adelaide, Australia Leye Wang, Hong Kong University of Science and Technology, China Publicity Chairs Mikhail Gofman, California State University of Fullerton, USA Pedro E. Lopez-de-Teruel, Spain Mario Henrique Cruz Torres, K.U. Leuven, Belgium Technical Program Committee http://cs-conferences.acadiau.ca/mobispc-17/#programCommittees Steering Committee Chair Elhadi Shakshuki, Acadia University, Canada

1 0

[ANN] setoid-0.1.0.0
by Pavlo Kerestey 12 Mar '17

12 Mar '17

Hi all, we have published the first version of Setoid in haskell. https://hackage.haskell.org/package/setoid-0.1.0.0 Setoid is a useful data structure when equivalence has to be chosen not to be equality. This makes membership of the elements in a setoid stricter and allows to do some computations. For more details and usage examples, please refer to the documentation on hackage. You can also contribute to it on github: https://github.com/ptek/setoid Regards, Pavlo.

1 0

regex: a toolkit for regex-base
by Chris Dornan 09 Mar '17

09 Mar '17

Dear Haskellers, I am pleased to announce the regex package, a regular expression toolkit for regex-base with: * text-replacement operations with named captures; * special datatypes for matches and captures; * compile-time checking of RE syntax; * a unified means of controlling case-sensitivity and multi-line options; * high-level AWK-like tools for building text processing apps; * the option of using match operators with reduced polymorphism on the text and/or result types; * regular expression macros including: + a number of useful regular expression macros; + a test bench for testing and documenting new macro environments; * built-in support for the TDFA and PCRE back ends; * comprehensive documentation and copious examples. The package is in a review period with the aim of releasing v1.0.0.0 on 2017-03-20. Your feedback is welcome (see http://contact.regex.uk) For more details see this blog post, http://engineers.irisconnect.net/posts/2017-03-07-regex.html and the regex website at: http://regex.uk Chris Dornan

2 2

Haskell-related PhD studentship
by Meng Wang 09 Mar '17

09 Mar '17

Dear Haskellers, I am seeking a PhD student on Haskell-related projects, particularly in the area of bidirectional programming (lenses), property-based testing (QuickCheck) and refactoring. This would be a good opportunity for someone who is interested in applying Haskell ideas to real problems. The student will be part of the Programming Languages and Systems (PLAS) group in the School of Computing at the University of Kent. A major focus within the group is functional programming (FP), where it has had an international reputation for more than twenty five years. The group currently has 13 FTE academic staff, 4 RAs and 12 doctoral students. . The funding covers maintenance, EU student fees and research related expenses. But non-EU students are welcome to apply too. For Sep 2017 starting, the application deadline is 7 April 2017. If you are interested, please contact me at m.w.wang(a)kent.ac.uk<mailto:m.w.wang@kent.ac.uk>. More information can be found at https://www.cs.kent.ac.uk/research/studyingforaphd/phd-wang-2017.html. Best wishes, Meng Dr. Meng Wang | Lecturer in Computer Science School of Computing, University of Kent Canterbury, Kent, CT2 7NF, UK m.w.wang(a)kent.ac.uk<mailto:m.w.wang@kent.ac.uk> | ☎ +44 (0)1227 827699 www.cs.kent.ac.uk/~mw516<http://www.cs.kent.ac.uk/~mw516>

1 0

<Programming> 2017: Call for participation
by Tim Molderez 09 Mar '17

09 Mar '17

----------------------------------------------------------------------- <Programming> 2017 : The Art, Science, and Engineering of Programming April 3-6, 2017, Brussels, Belgium http://2017.programming-conference.org ----------------------------------------------------------------------- We are excited to welcome you to <Programming> 2017, a new conference focused on everything to do with programming. It takes place at the Vrije Universiteit Brussel, Belgium on April 3-6. The <Programming> conference is closely associated with the open-access journal "The Art, Science, and Engineering of Programming". The journal's first two issues form the conference's research track, which means you can freely access all papers presented at the conference before it even starts! Along with the research track, <Programming> 2017 features a program with two main keynotes, two symposia, eight workshops, a coding dojo, a demo track, and a student research competition. To catch a glimpse of what <Programming> 2017 has to offer, feel free to have a look at our overview video: https://www.youtube.com/watch?v=GM_hLNW4ioE *********************************************************************** Program highlights *********************************************************************** Main conference: - Keynote: "Live Literate Programming" by Gilad Bracha - Keynote: "How Racket Went Meta" by Matthew Flatt - Research track: 18 full papers - Demonstrations: 10 tool demos - ACM Student Research Competition: 8 entries Co-located events: - 10th European Lisp Symposium: 2 keynotes by Hans Hübner and Bohdan Khomtchouk, ~18 papers (not final yet) - Modularity 2017: 8 invited talks by Jörg Kienzle, Shmuel Katz, Mira Mezini, Bedir Tekinerdogan, Stéphane Ducasse, Uwe Aßmann, Lodewijk Bergmans and Mario Südholt - CoCoDo - RainCode Labs Compiler Coding Dojo: code together with experts Adrian Johnstone, Elizabeth Scott, Robby Findler, and more to come! - LASSY - Workshop on Live Adaptation of Software SYstems - MiniPLoP - Mini Pattern Languages of Programs writers' workshop - MOMO - Workshop on Modularity in Modeling - MoreVMs - Workshop on Modern Language Runtimes, Ecosystems, and VMs - PASS - Workshop on Programming Across the System Stack - PX - Workshop on Programming Experience - ProWeb - Programming Technology for the Future Web - Salon des Refusés workshop Social events: - Beer reception at the conference venue (April 3rd) - Reception at the Musical Instruments Museum (April 4th) - Banquet at the Natural Sciences Museum (April 5th) *********************************************************************** Registration, attendance and accommodation *********************************************************************** - You can register for <Programming> 2017 at: http://2017.programming-conference.org/attending/registration - Early registration ends soon! Please register before March 13th to obtain the early-bird discount. - More information on attending the conference is available at: http://2017.programming-conference.org/attending/reaching-the-conference - More information on accommodation is available at: http://2017.programming-conference.org/attending/accomodation *********************************************************************** About Brussels *********************************************************************** Brussels is the capital of Belgium, and home to the headquarters of the European Union. Despite its European nature and all the different languages spoken on every street corner, Brussels still has a very "village-like" character. It's well known for its Grand-Place, its Atomium, its Manneken-Pis, its Gueuze and its Kriek, its waffles and its chocolates. Be sure to take some time off to soak up the special atmosphere of its many different districts: Take a stroll to Rue Dansaert, Halles Saint-Géry, and Place Sainte-Catherine. Head for Saint-Boniface, Châtelain, or Flagey. In other words, go ahead and relish Brussels, a fine and beautiful city to explore and discover. ----------------------------------------------------------------------- For more information, please visit http://2017.programming-conference.org You can also find us on Twitter (twitter.com/programmingconf) and Facebook (facebook.com/programmingconf) Looking forward to see you in Brussels, Theo D'Hondt (General chair), Wolfgang De Meuter (Organizing chair), Crista Lopes (Program chair), Jörg Kienzle, Ralf Lämmel, Hidehiko Masuhara, Tim Molderez, Tobias Pape, and Jennifer Sartor

1 0

CFP DS-RT 2017, Rome, Italy
by RODOLFO IPOLITO MENEGUETTE 07 Mar '17

07 Mar '17

---------------------------------------------------------------------------- Please accept our apologies if you have received multiple copies. ---------------------------------------------------------------------------- Call for Papers - DS-RT 2017 21st IEEE/ACM* International Symposium on Distributed Simulation and Real Time Applications http://ds-rt.com/2017 18 - 20 October 2017 , Rome, Italy *IEEE/ACM Pending Upon Approval ---------------------------------------------------------------------------- Important: Paper submission deadline: 12th May 2017 ---------------------------------------------------------------------------- *** The Symposium *** The 2017 IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2017) promises to be a grand affair and will take place in Rome, Italy. DS-RT 2017 serves as a platform for simulationists from academia, industry and research labs for presenting recent research results in Distributed Simulation and Real Time Applications. DS-RT 2017 targets the growing overlap between large distributed simulations and real time applications, such as collaborative virtual environments, pervasive and ubiquitous application scenarios, motor-, controller-, sensor- and actuator systems. The conference features prominent invited speakers as well as papers by top researchers in the field. DS-RT 2017 will include contributed technical papers, invited papers, and panel discussions. The proceedings will be published by IEEE-CS press. *** Call for Papers *** DS-RT provides an international forum for the discussion and presentation of original ideas, recent results and achievements by researchers, research students, and systems developers on issues and challenges related to distributed simulation and real time applications. Authors are encouraged to submit both theoretical and practical results of significance. Demonstration of new tools/applications is very encouraged. The scope of the symposium includes, but is not limited to: - Paradigms, Methodology and Software Architectures for Large Scale Distributed and Real-Time Simulations (e.g. Parallel and Distributed Simulation, Multi-Agent Based Distributed Simulation, HLA/RTI, Web, Grid and cloud based Simulation, hardware-software co-design for extreme scale simulations) - Paradigms, Modelling, Architecture and Environments for Large Scale Real-time Systems and Concurrent Systems with hard and soft Real-Time Contstraints - Advanced modelling techniques (reuse of models, new modelling languages, agent-based M&S, and spatial M&S) - Non-functional Properties of Distributed Simulation and Real-Time Systems (e.g. Dependability, Availability, Reliability, Maintainability, Safety, Security, Trustworthiness, QoS) - Theoretical Foundations of Large Scale Real-Time and Simulation Models (e.g. Event Systems, Causality, Space-Time Models, Notions of Time, Discrete and Continuous Systems, Simulator Coordination) - Simulation Studies at Large and Very Large Scale (e.g. Industrial, Commercial, Ecological and Environmental, Societal, Power and Energy, Pervasive and Ubiquitous Computing Systems) - Performance and Validation of Large Scale and Distributed Simulations (e.g., benchmarking and analytical results, empirical studies DIS, HLA/RTI studies) - Algorithms and methods for parallel or distributed simulation (synchronization, scheduling, memory management, and load balancing) - Languages and Tools, Development Environments, Data Interfaces, Network Protocols and Model Repositories that address Very Large Simulations - Data Management and Distribution Issues, Interest Management, Semantic Modelling, Multi-resolution Modelling, Dead-Reckoning Mechanisms - Pervasive and Ubiquitous Computing Architectures and Applications that involve Simulations and/or adhere to Real-Time Constraints - Simulation based Virtual Environments and Mixed Reality Systems (e.g. Interactive Virtual Reality, Human Communication through Immersive Environments) - Collaborative Virtual and Augmented Reality, Shared Interaction Spaces, Telepresence Systems and Shared Workspaces, 3D Video and Acoustic Reconstruction, Shared Object Manipulation - Serious Gaming and Massive Multiplayer Online Games (MMOG) applications, architectures and scalability issues - Visual Interactive Simulation Environments (e.g., Generic Animation, Visual Interactive Modelling, Interactive Computer Based Training and Learning, Scientific Visualization, High-End Computer Graphics) - Design Issues, Interaction Designs, Human Commuter Interaction Issues raised by Large Scale DS-RT Systems - Media Convergence (e.g. New Technologies, Media Theory, Real-Time considerations of Multi Modality, etc.) - Innovative Styles of Interactions with Large Scale DS-RT Systems (e.g. Implicit, Situative and Attentive Interaction, Tangible Interaction, Embedded Interaction, etc.) - Technologies for Living Labs (e.g. Mirror World Simulation, Interoperability, Large Scale Multi Sensor Networks, Global Wireless Communication, Multi Stakeholder Understanding and Innovation) - Environmental and Emerging Simulation Challenges (e.g. Growth of Human Population, Climate Change, CO2, Health Care, Ecosystems, Sustainable Development, Water and Energy Supply, Human Mobility, Air Traffic, World Stock Markets, Food Supply Chains, Megacities, Smart Cities, Disaster Planning, etc.) - Advanced Simulation Studies and Technologies (e.g. Discrete event, continuous Simulation, etc.) - Cognitive Modelling and Simulation, Artificial Intelligence in Simulation, and Neural Network Models and Simulation - Service-oriented Computing and Simulation, Web-based Modelling and Simulation, and Simulation of Multimedia Applications and Systems - Modeling and Virtual Evaluation of Distributed Systems through Simulation, Resilience Network Evaluation in Distributed Systems through Simulation, Models and Simulation Environments for Distributed Cyber-Physical Systems Evaluation - Advances in Simulation Methodology and Practices - Smart Network Design and Traffic Modelling - Haptic-audio-visual System and applications - Medical and surgical simulation based Systems - Human-computer interaction in virual reality environment Authors of selected papers will be invited to submit extended versions of their papers to the Journal of Simulation (JoS). *** Important Dates Full Papers *** Paper Submission Deadline: 5th May 2017 Notification of Acceptance: 5th June 2017 Camera Ready version due: 10th July 2017 Symposium presentation: 18 - 20 October 2017 *** Call for Posters/Demos/Industrial Case Studies *** The 21st IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2017) also solicits posters and technical demonstrations that report on recent original results, ongoing research or industrial case studies in the area of distributed simulation and real time applications. *** Important Dates Posters/Demos/Industrial Case Studies *** Paper submission deadline: 12th May 2017 Notification of acceptance: 5th June 2017 Camera-ready deadline: 10th July 2017 *** Submission *** 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. Accepted papers will appear in the conference proceedings to be published by IEEE-CS press. General information regarding submission can be found at http://ds-rt.com/2017 Questions from authors may be directed to the Program Co-Chairs. IMPORTANT: ATTENDANCE BY AT LEAST ONE AUTHOR IS MANDATORY *** ORGANIZING COMMITTEE*** General Chair: Alfredo Garro, University of Calabria, Rende, Italy Program Chair: Andrea D'Ambrogio, University of Rome "Tor Vergata", Rome, Italy Special Session Co-Chairs: Anthony Ventresque,Lero & University College Dublin, Dublin, Ireland Robson De Grande, University of Ottawa, Ottawa, Canada Local Organization Chair: Andrea Giglio, Guglielmo Marconi University, Rome, Italy Financial Chair: Rina Mary Mazza, University of Calabria, Rende, Italy Registration Chair: Simona Citrigno, ICT-SUD Competence Center, Rende, Italy Publicity Co-Chairs: Simon J.E Taylor, Brunel University London, UK Mirela Sechi Moretti Annoni Notare, FAERO - University of Technology in Fly Transportation, Florianopolis, Brazil Posters Chair: Floriano De Rango, University of Calabria, Rende, Italy Publication Chair: Andrea Tundis, Technische Universitdt Darmstadt, Darmstadt, Germany Web Co-Chairs: Robson De Grande, University of Ottawa, Ottawa, Canada Rodolfo Coutinho, UFMG, Belo Horizonte, Brazil

1 0