- Haskell - Haskell.org

Call for participation: PPDP 2016
by German Vidal 07 Jul '16

07 Jul '16

============================================================ CALL FOR PARTICIPATION: PPDP 2016 18th International Symposium on Principles and Practice of Declarative Programming Edinburgh, UK, September 5-7, 2016 http://ppdp16.webs.upv.es/ co-located with LOPSTR 2016 26th International Symposium on Logic-Based Program Synthesis and Transformation Edinburgh, UK, September 6-8, 2016 http://www.cliplab.org/Conferences/LOPSTR16/ and SAS 2016 23rd Static Analysis Symposium Edinburgh, UK, September 8-10, 2016 http://staticanalysis.org/sas2016/ ============================================================ Registration is now open: http://conferences.inf.ed.ac.uk/ppdp-lopstr-sas-2016/ **Early registration until August 15** INVITED TALKS * Elvira Albert: Testing of Concurrent and Imperative Software using CLP * Greg Morrisett (jointly with LOPSTR'16): TBD * Francesco Logozzo (jointly with LOPSTR'16): TBD ACCEPTED PAPERS - Davide Fuscà, Stefano Germano, Jessica Zangari, Marco Anastasio, Francesco Calimeri and Simona Perri. A Framework for Easing the Development of Applications Embedding Answer Set Programming - Dimitrios Kouzapas, Ornela Dardha, Roly Perera and Simon Gay. Typechecking Protocols with Mungo and StMungo - Joaquin Arias Herrero and Manuel Carro. Description and Evaluation of a Generic Design to Integrate CLP and Tabled Execution - Nataliia Stulova, Jose F. Morales and Manuel V. Hermenegildo. Reducing the Overhead of Runtime Checks via Static Analysis - Takahiro Nagao and Naoki Nishida. Proving Inductive Validity of Constrained Inequalities - Vincenzo Mastandrea, Elena Giachino, Ludovic Henrio and Cosimo Laneve. Actors may synchronize, safely! - Frederic Mesnard, Etienne Payet and Wim Vanhoof. Towards a Framework for Algorithm Recognition in Binary Code - Jan Midtgaard, Flemming Nielson and Hanne Riis Nielson. Iterated Process Analysis over Lattice-Valued Regular Expressions - Nick Benton, Martin Hofmann and Vivek Nigam. Effect-Dependent Transformations for Concurrent Programs - Manfred Schmidt-Schauss and David Sabel. Unification of Program Expressions with Recursive Bindings - Stefan Fehrenbach and James Cheney. Language-integrated provenance - Clara Bertolissi, Jean-Marc Talbot and Didier Villevalois. Rewrite-based Access Control Policy Analysis through Narrowing - Sylvia Grewe, Sebastian Erdweg, Michael Raulf and Mira Mezini. Exploration of Language Specifications by Compilation to First-Order Logic - Angelos Charalambidis, Panos Rondogiannis and Antonis Troumpoukis. Higher-Order Logic Programming: an Expressive Language for Representing Qualitative Preferences - Thomas Ehrhard and Giulio Guerrieri. The bang calculus: an untyped lambda-calculus generalizing Call-By-Name and Call-By-Value - Fan Yang, Santiago Escobar, Catherine Meadows, Jose Meseguer and Sonia Santiago. Strand Spaces with Choice via a Process Algebra Semantics - Yanhong A. Liu, Jon Brandvein, Scott Stoller and Bo Lin. Demand-Driven Incremental Object Queries Hope to see you in Edinburgh! ======================================================================

1 0

DEADLINE EXTENSION: 14th ACM MobiWac 2016, MALTA
by Robson De Grande 07 Jul '16

07 Jul '16

** We apologize if you receive multiple copies of this message ** ================================================================== The 14th ACM International Symposium on Mobility Management and Wireless Access (MobiWac 2016) November 13 - 17, 2016 - Malta http://mobiwac-symposium.org/ ================================================================== The MOBIWAC series of event is intended to provide an international forum for the discussion and presentation of original ideas, recent results and achievements by researchers, students, and systems developers on issues and challenges related to mobility management and wireless access protocols. To keep up with the technological developments, we also open up new areas such as mobile cloud computing starting from this year. Authors are encouraged to submit both theoretical and practical results of significance on all aspects of wireless and mobile access technologies, with an emphasis on mobility management and wireless access. Authors are invited to submit full papers describing original research. Submitted papers must neither have been published elsewhere nor currently be under review by another conference or journal. TOPICS OF INTEREST include, but are not limited to: - Mobile Cloud Computing - Wireless/Mobile Access Protocols - Wireless/Mobile Web Access - Wireless Internet and All-IP integration - Next Generation Wireless systems - Mobile Broadband Wireless Access - Pervasive Communication and Computing - Ubiquitous and mobile access - Wireless Applications and testbeds - Multi-Homing and Vertical Handoff - Multi-Channel Multi-Radio MAC / network layer management - Channels and resource allocation algorithms - Energy and power management algorithms - Mobility Models - Multi-technology switching using Software Defined Radios - Context-aware services and applications - Context-aware protocols and protocol architectures - Interactive applications - Mobile database management - Wireless Multimedia Protocols - Mobile and Wireless Entertainment - Mobile Info-services - Social mobile networks - Social mobile applications - Data analysis for mobile and wireless networks - SDN solutions in mobile and wireless networks - QoS management - Mobility Control and Management - Localization and tracking - Mobile/Vehicular environment access - Wireless ad hoc and sensor networks - Security,Trust management and Privacy issues - Fault Tolerance solutions - Wireless Systems' Design - Analysis/Simulation of wireless mobile systems - Testbeds for experimental and simulation analysis ========================= Paper Submission, Publication, and Important Dates: All accepted papers will appear in the Symposium Proceedings published by ACM press. - Submission Deadline: July 15, 2016 11:59PM EST (FIRM) - Notification of Acceptance: August 15, 2016 11:59PM EST Papers are submitted via the EDAS system (https://edas.info/N22672) For any question or problems related to MobiWac 2015 submissions, please contact the PC Chairs. ORGANIZING COMMITTEE: General Chair Ángel Cuevas, Universidad Carlos III de Madrid, Spain Program Co-Chairs Periklis Chatzimisios, Alexander TEI of Thessaloniki, Greece Robson De Grande, University of Ottawa, Canada Technical Program Committee Antonio A.F. Loureiro, Federal University of Minas Gerais, Brazil Michele Albano, CISTER, Portugal Chadi Assi, Concordia University, Canada Jalel Ben-othman, University of Paris 13, France Fernando Boavida, University of Coimbra, Portugal Juan Carlos Cano, Technical University of Valencia, Spain Yuh-Shyan Chen, National Taipei University, Taiwan Stefano Chessa, University of Pisa, Italy Danny De Vleeschauwer, Alcatel-Lucent, Belgium Andrés García Saavedra, Hamilton Institute, Ireland Roch Glitho, Concordia University, Canada Roberto González, NEC Laboratories Europe, Germany Khaled Harras, Carnegie Mellon University, USA Charalampos Konstantopoulos, University of Piraeus, Greece Pierre Leone, University of Geneva, Switzerland Sotiris Nikoletseas, University of Patras & Computer Technology Institute, Greece Ai-Chun Pang, National Taiwan University, Taiwan Grammati Pantziou, Technological Educational Institution of Athens, Greece Cristina M. Pinotti, University of Perugia, Italy Paulo Pinto, Universidade Nova de Lisboa, Portugal Victor Ramos, Universidad Autonoma Metropolitana, Mexico Victor Rangel, National University of Mexico, Mexico Thierry Turletti, INRIA, France Alicia Triviño, Universidad de Málaga, Spain Manuel Urueña, Universidad Carlos III de Madrid, Spain Emmanouel Varvarigos, University of Patras & Computer Technology Institute, Greece Zainab Zaidi, National ICT Australia, Ltd, Australia Posters/Demo Chair Graciela Román Alonso, Universidad Autónoma Metropolitana, Mexico Publicity Chairs Khalil El-Khatib, UOIT, Canada Mirela. A. M. Notare, Sao Jose Municipal University, Brazil FOR MORE INFORMATION about the conference, organizing committee, submission instructions, and venue please see the conference website (http://mobiwac-symposium.org) ==============================================

1 0

Haskell in Leipzig 2016: Another Call for Papers (deadline extended)
by Joachim Breitner 05 Jul '16

05 Jul '16

Haskell in Leipzig September 14-15, 2016 HTKW Leipzig, Germany http://hal2016.haskell.org/ We have received good and interesting proposals, but our schedule still has room for more. So whether you wanted to submit, but just did not make the first deadline, or whether you only now decide to come to Leipzig, this is your chance: Please submit your short abstract until Friday, July 15th. Do you need ideas? Here some possible directions: * Very fancy type tricks using all of GHC’s extensions. * Very fancy type tricks using none of GHC’s extensions. * Getting Haskell to run really really fast. * Using Haskell to make real money, in real life. * Showing how this one odd Haskell library make doing something appear rally simple. * Stuff that is really horrible with Haskell (and how to do it better) * What is cool in other functional programming language right now. We are particularly interested in good tutorials. These could range from impressing beginners with what you can do with Haskell to teaching new tricks to the experts. So if you think you have something useful to teach, please submit a proposal. Please share this CfP with whoever might be interested. == About HaL == The workshop series “Haskell in Leipzig”, now in its 11th year, brings together Haskell developers, Haskell researchers, Haskell enthusiasts and Haskell beginners to listen to talks, take part in tutorials, and join in interesting conversations. Everything related to Haskell is on topic, whether it is about current research, practical applications, interesting ideas off the beaten track, education, or art, and topics may extend to functional programming in general and its connections to other programming paradigms as well. This year, HaL is colocated with two related conferences, * the Workshop on Functional and (Constraint) Logic Programming (WFLP) and * the Workshop on (Constraint) Logic Programming (WLP), to form the Leipzig Week of Declarative Programming (L-DEC): http://nfa.imn.htwk-leipzig.de/LDEC2016/ In order to accommodate and welcome a more international audience, this year’s HaL will be held in English. == Invited Speaker == Unsure about whether HaL is interesting to you? No need to worry: Alejandro Russo (from Chalmers) is our keynote speaker and will talk about his work on information-flow control (i.e. SecLib, LIO, MAC, HLIO) – a great topic that is of interest to researchers, practitioners and beginners alike. == Submissions == Contributions can take the form of * talks (about 30 minutes), * tutorials (about 90 minutes), * demonstrations, artistic performances, or other extraordinary things. Please submit an abstract that describes the content and form of your presentation, the intended audience, and required previous knowledge. We recommend a length of 2 pages, so that the PC and the audience get a good idea of your submission, but this is not a hard requirement. You can submit your abstract, as an PDF document, at https://easychair.org/conferences/?conf=hal2016 until Friday, July 15, 2016. You will be notified by July 30, 2016. == Program committee == * Andreas Abel, Chalmers and Gothenburg University, Sweden * Heinrich Apfelmus, Leipzig, Germany * Joachim Breitner, Karlsruhe Institute of Technology, Germany (Chair) * Matthias Fischmann, Zerobuzz, Germany * Petra Hofstedt, BTU Cottbus-Senftenberg, Germany * Wolfgang Jeltsch, Institute of Cybernetics at Tallinn University of Technology, Estonia * Andres Löh, Well-Typed LLP, Germany * Alejandro Serrano Mena, Universiteit Utrecht, Netherlands * Neil Mitchell, Standard Chartered Bank, UK * Katie Ots, Facebook, UK * Peter Stadler, University of Leipzig, Germany * Henning Thielemann, Freelancer, Germany * Niki Vazou, University of California, San Diego, USA If you have any questions, please do not hesitate to contact Joachim Breitner <breitner(a)kit.edu>. -- Dr. rer. nat. Joachim Breitner Wissenschaftlicher Mitarbeiter http://pp.ipd.kit.edu/~breitner

1 0

2nd CfP: IFL 2016 (28th Symposium on Implementation and Application of Functional Languages)
by publicityifl＠gmail.com 05 Jul '16

05 Jul '16

Hello, Please, find below the second call for papers for IFL 2016. Please forward these to anyone you think may be interested. Apologies for any duplicates you may receive. best regards, Jurriaan Hage Publicity Chair of IFL --- IFL 2016 - 2nd Call for papers 28th SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES - IFL 2016 KU Leuven, Belgium In cooperation with ACM SIGPLAN August 31 - September 2, 2016 https://dtai.cs.kuleuven.be/events/ifl2016/ Scope The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. IFL 2016 will be a venue for researchers to present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the implementation and application of functional languages and function-based programming. Peer-review Following the IFL tradition, IFL 2016 will use a post-symposium review process to produce the formal proceedings. All participants of IFL 2016 are invited to submit either a draft paper or an extended abstract describing work to be presented at the symposium. At no time may work submitted to IFL be simultaneously submitted to other venues; submissions must adhere to ACM SIGPLAN's republication policy: http://www.sigplan.org/Resources/Policies/Republication The submissions will be screened by the program committee chair to make sure they are within the scope of IFL, and will appear in the draft proceedings distributed at the symposium. Submissions appearing in the draft proceedings are not peer-reviewed publications. Hence, publications that appear only in the draft proceedings are not subject to the ACM SIGPLAN republication policy. After the symposium, authors will be given the opportunity to incorporate the feedback from discussions at the symposium and will be invited to submit a revised full article for the formal review process. From the revised submissions, the program committee will select papers for the formal proceedings considering their correctness, novelty, originality, relevance, significance, and clarity. The formal proceedings will appear in the International Conference Proceedings Series of the ACM Digital Library. Important dates August 1: Submission deadline draft papers August 3: Notification of acceptance for presentation August 5: Early registration deadline August 12: Late registration deadline August 22: Submission deadline for pre-symposium proceedings August 31 - September 2: IFL Symposium December 1: Submission deadline for post-symposium proceedings January 31, 2017: Notification of acceptance for post-symposium proceedings March 15, 2017: Camera-ready version for post-symposium proceedings Submission details Prospective authors are encouraged to submit papers or extended abstracts to be published in the draft proceedings and to present them at the symposium. All contributions must be written in English. Papers must use the new ACM two columns conference format, which can be found at: http://www.acm.org/publications/proceedings-template For the pre-symposium proceedings we adopt a 'weak' page limit of 12 pages. For the post-symposium proceedings the page limit of 12 pages is firm. Authors submit through EasyChair: https://easychair.org/conferences/?conf=ifl2016 Topics IFL welcomes submissions describing practical and theoretical work as well as submissions describing applications and tools in the context of functional programming. If you are not sure whether your work is appropriate for IFL 2016, please contact the PC chair at tom.schrijvers(a)cs.kuleuven.be. Topics of interest include, but are not limited to: - language concepts - type systems, type checking, type inferencing - compilation techniques - staged compilation - run-time function specialization - run-time code generation - partial evaluation - (abstract) interpretation - metaprogramming - generic programming - automatic program generation - array processing - concurrent/parallel programming - concurrent/parallel program execution - embedded systems - web applications - (embedded) domain specific languages - security - novel memory management techniques - run-time profiling performance measurements - debugging and tracing - virtual/abstract machine architectures - validation, verification of functional programs - tools and programming techniques - (industrial) applications Peter Landin Prize The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honored article is selected by the program committee based on the submissions received for the formal review process. The prize carries a cash award equivalent to 150 Euros. Programme committee Chair: Tom Schrijvers, KU Leuven, Belgium - Sandrine Blazy, University of Rennes 1, France - Laura Castro, University of A Coruña, Spain - Jacques, Garrigue, Nagoya University, Japan - Clemens Grelck, University of Amsterdam, The Netherlands - Zoltan Horvath, Eotvos Lorand University, Hungary - Jan Martin Jansen, Netherlands Defence Academy, The Netherlands - Mauro Jaskelioff, CIFASIS/Universidad Nacional de Rosario, Argentina - Patricia Johann, Appalachian State University, USA - Wolfram Kahl, McMaster University, Canada - Pieter Koopman, Radboud University Nijmegen, The Netherlands - Shin-Cheng Mu, Academia Sinica, Taiwan - Henrik Nilsson, University of Nottingham, UK - Nikolaos Papaspyrou, National Technical University of Athens, Greece - Atze van der Ploeg, Chalmers University of Technology, Sweden - Matija Pretnar, University of Ljubljana, Slovenia - Tillmann Rendel, University of Tübingen, Germany - Christophe Scholliers, Universiteit Gent, Belgium - Sven-Bodo Scholz, Heriot-Watt University, UK - Melinda Toth, Eotvos Lorand University, Hungary - Meng Wang, University of Kent, UK - Jeremy Yallop, University of Cambridge, UK Venue The 28th IFL will be held in association with the Faculty of Computer Science, KU Leuven, Belgium. Leuven is centrally located in Belgium and can be easily reached from Brussels Airport by train (~15 minutes). The venue in the Arenberg Castle park can be reached by foot, bus or taxi from the city center. See the website for more information on the venue.

1 0

SIGPLAN Programming Languages Mentoring Workshop @ SPLASH'16
by Tijs van der Storm 04 Jul '16

04 Jul '16

SIGPLAN Programming Languages Mentoring Workshop @ SPLASH'16 Amsterdam, The Netherlands (part of SPLASH 2016) Tuesday, November 1st, 2016 http://2016.splashcon.org/track/splash-2016-plmw We are pleased to invite students interested in programming languages to the Programming Languages Mentoring Workshop (PLMW) at SPLASH. The goal of this workshop is to introduce senior undergraduate and early graduate students to research topics in programming languages as well as provide career mentoring advice. We have recruited leaders from the programming languages community to provide overviews of current research topics and give students valuable advice about how to thrive in graduate school, search for a job, and cultivate habits and skills that will help them in research careers. This workshop is part of the activities surrounding SPLASH, and takes place the day before the main conference. A key goal of the workshop is to make SPLASH more accessible to newcomers. Through the generous donation of our sponsors, we are able to provide travel scholarships to fund student participation. These travel scholarships will cover reasonable travel expenses (airfare and hotel) for attendance at both the workshop and the following main three days of SPLASH. The workshop is open to all. Students with alternative sources of funding for their travel and registration fees are welcome. In particular, many student attendance programs provide full or partial travel funding for students to attend SPLASH 2016. More information about student attendance programs at SPLASH is available here: http://2016.splashcon.org/attending/students Application for Travel Support: The travel funding application is available from the PLMW webpage. The deadline for full consideration of funding is August 15th, 2016. Selected participants will be notified by September 1st. Organizers: Sandrine Blazy, University of Rennes 1 Ulrik Pagh Schultz, University of Southern Denmark

1 0

Position as lab docent Software Engineering at the University of Amsterdam
by Clemens Grelck 01 Jul '16

01 Jul '16

Dear all, I would like to draw your attention to the following job opening at the University of Amsterdam: http://www.uva.nl/en/about-the-uva/working-at-the-uva/vacancies/item/16-267… This is a full-time teaching position in our MSc Software Engineering programme that is rated among the best ICT Master programmes in the Netherlands: http://www.uva.nl/en/education/master-s/master-s-programmes/item/software-e… The deadline for application is formally today, but we will (silently) accept applications until Wednesday July 6. If you have any questions, do not hesitate to contact me. Best regards, Clemens Grelck -- ---------------------------------------------------------------------- Dr Clemens Grelck Science Park 904 University Lecturer 1098XH Amsterdam Netherlands University of Amsterdam Institute for Informatics T +31 (0) 20 525 8683 Computer Systems Architecture Group F +31 (0) 20 525 7490 Office C3.105 staff.fnwi.uva.nl/c.u.grelck ----------------------------------------------------------------------

1 0

Call for Papers: 2nd IEEE European Symposium on Security and Privacy (EuroS&P), April 26-28, 2017 in Paris
by Christian Rossow 01 Jul '16

01 Jul '16

===================================================================== IEEE EuroS&P 2017 Call for Papers ===================================================================== Since 1980, the IEEE Symposium on Security and Privacy has been the premier forum for presenting developments in computer security and electronic privacy. Following this story of success, IEEE initiated the European Symposium on Security and Privacy (EuroS&P), which is organized every year in a European city. The 2nd EuroS&P symposium will be held on April 26-28, 2017 in Paris. Dan Boneh will give a keynote speech on Thursday, April 27. For more information see below and on the official conference website: http://www.ieee-security.org/TC/EuroSP2017/ HIGHLIGHTS THIS YEAR ===================================================================== Keynote speaker: Dan Boneh, Stanford University Systematization of Knowledge (SoK) Track (new) Best Paper Award (new) Symposium held just before EUROCRYPT 2017 (also in central Paris) IMPORTANT DATES ===================================================================== All deadlines are AoE (Anywhere on Earth, UTC-12h). Paper submission due: Aug 4th, 2016 (firm) Early reject notifications: Sep 20th, 2016 Author response due: Sep 22nd, 2016 Acceptance notifications: Oct 17th, 2016 Camera-ready papers due: Feb 13th, 2017 THEMATIC SCOPE ===================================================================== We solicit novel research contributions in any aspect of security or privacy. Papers may present advances in the theory, design, implementation, analysis, verification, or empirical evaluation and measurement of secure systems. For research topics of interests see: http://www.ieee-security.org/TC/EuroSP2017/cfp.php SoK: We also solicit systematization of knowledge papers that evaluate, systematize, and contextualize existing knowledge. Suitable papers are those that provide an important new viewpoint on an established, major research area, support or challenge long-held beliefs in such an area with compelling evidence, or present a new taxonomy of such an area. VENUE ===================================================================== The conference is hosted in the Jussieu campus of Université Pierre et Marie Curie (Paris 6), which is located right in the center of Paris, about 10 minutes walk from Notre Dame. For more details and a map see: http://www.ieee-security.org/TC/EuroSP2017/venue.php April 26-28 is right before EUROCRYPT 2017, which will also happen in Paris. The affiliated events will be organized jointly with EUROCRYPT on April 29-30, 2017, also at UPMC Campus Jussieu. PAPER SUBMISSION PROCESS ===================================================================== Papers must not exceed 15 pages total (including the references and appendices). Papers must be formatted for US letter (not A4) size, in two-column layout, and use Times font, 10-point or larger. The submission site will open in July 2016. Outstanding paper(s) will be selected by the program committee for the best paper award. The award will be announced at the symposium. PROGRAM COMMITTEE ===================================================================== Program Chairs: Andrei Sabelfeld Chalmers University of Technology Matthew Smith University of Bonn & Fraunhofer FKIE PC Members: Michael Backes CISPA, Saarland University & MPI-SWS Gilles Barthe IMDEA David Basin ETH Zurich Dan Boneh Stanford Srdjan Capkun ETH Zurich Marc Dacier QCRI/HBKU George Danezis University College London Sergej Dechand University of Bonn Sascha Fahl CISPA, Saarland University Dario Fiore IMDEA Simone Fischer-Huebner Karlstad University Pierre-Alain Fouque Rennes Univ. & Institut Univ. de France Deepak Garg MPI-SWS Virgil Gligor Carnegie Mellon University Joshua Guttman WPI & MITRE Mike Just Heriot-Watt University Jonathan Katz University of Maryland Yongdae Kim KAIST Engin Kirda Northeastern University Steve Kremer LORIA Peeter Laud Cybernetica Sebastian Lekies Google Ninghui Li Purdue University Ben Livshits Microsoft Research Jean-Yves Marion LORIA & Lorraine University Michelle Mazurek University of Maryland Jonathan McCune Google Patrick McDaniel Penn State University Greg Morrisett Cornell University Toby Murray University of Melbourne Nick Nikiforakis Stony Brook University Panos Papadimitratos Royal Institute of Technology Ioannis Papagiannis Facebook Olivier Pereira UCLouvain Frank Piessens KU Leuven Christina Poepper New York University Abu Dhabi Georgios Portokalidis Stevens Institute of Technology Bart Preneel KU Leuven Delphine Reinhardt University of Bonn & Fraunhofer FKIE Reza Shokri Cornell Tech Frank Stajano University of Cambridge Francois-Xavier Standaert UCLouvain Deian Stefan UCSD & Intrinsic Vanessa Teague University of Melbourne Nikos Triandopoulos Boston Univ. & Stevens Institute of Techn. Blase Ur CMU & University of Chicago Hoeteck Wee ENS Kehuan Zhang Chinese University of Hong Kong Emanuel von Zezschwitz Ludwig Maximilian University of Munich ORGANIZING COMMITTEE ===================================================================== General Chair Cătălin Hriţcu Inria Paris Local Chair Karthikeyan Bhargavan Inria Paris Finance Chair Bruno Blanchet Inria Paris Events Chair Pierre-Evariste Dagand UPMC and CNRS Donations Chair Benjamin Beurdouche Inria Paris Publications Chair Ben Stock CISPA, Saarland Univ. Publicity Chairs Patrick McDaniel Penn State Univ. Christian Rossow CISPA, Saarland Univ. Website Admin Guido Martínez Inria Paris Social Media Chair Nadim Kobeissi Inria Paris Posters Chair Gaëtan Leurent Inria Paris Student Grants Chair Tamara Rezk Inria Sophia Antipolis Short Talks Chair Benjamin Smith Inria Saclay CONTACT AND MORE INFORMATION ===================================================================== For questions regarding the conference, please feel free to contact the Program Committee Chairs or the General Chair. Media requests should be directed to the Publicity Chairs. More information about EuroS&P '17 can be found on its official website: http://www.ieee-security.org/TC/EuroSP2017/ Thanks and best regards, Andrei Sabelfeld, Matthew Smith, Cătălin Hriţcu (on behalf of the organizing committee)

1 0

Deadline extended: 21st International Conference on Engineering of Complex Computer Systems (ICECCS 2016), Dubai, United Arab Emirates, November 6-8 2016
by liyuanfang＠gmail.com 28 Jun '16

28 Jun '16

ICECCS is an A-ranked conference by the Computing Research and Education Association of Australasia (CORE) 2014 ranking (http://portal.core.edu.au/conf-ranks/?search=ICECCS&by=all&source=CORE2014&… ). Please kindly consider submitting papers to the conference, and please encourage your colleagues and students to submit too. --------------------------------------------------------------- 21st International Conference on Engineering of Complex Computer Systems (ICECCS 2016) || November 6-8, Dubai, United Arab Emirates || http://www.aston.ac.uk/eas/about-eas/academic-groups/computer-science/icecc… Overview --------------------- Over the past several years, we have seen a rapid rising emphasis on design, implement and manage complex computer systems to help us deal with an increasingly volatile, globalised complex world. These systems are critical for dealing with the Grand Challenge problems we are facing in the 21st century, including health care, urbanization, education, energy, finance, and job creation. The complex computer systems are frequently distributed over heterogeneous networks and processing large amount data. Performance, real-time behavior, fault tolerance, security, adaptability, development time and cost, long life concerns are the key issues. The goal of this conference is to bring together industrial, academic, and government experts, from a variety of user domains and software disciplines, to determine how the disciplines' problems and solution techniques interact within the whole system. Researchers, practitioners, tool developers and users, and technology transition experts are all welcome. The scope of interest includes long-term research issues, near-term complex system requirements and promising tools, existing complex systems, and commercially available tools. Scope and Topics --------------------- We invite contributions in what concerns the following areas (please keep in mind that this is not an exhaustive list): * Requirement specification and analysis * Verification and validation * Security and privacy of complex systems * Model-driven development * Reverse engineering and refactoring * Architecture software * Big Data Management * Ambient intelligence, pervasive computing * Ubiquitous computing, context awareness, sensor networks * Design by contract * Agile methods * Safety-critical & fault-tolerant architectures * Adaptive, self-managing and multi-agent systems * Real-time, hybrid and embedded systems * Systems of systems * Cyber-physical systems and Internet of Things (IoT) * Tools and tool integration * Past reflections and future outlooks * Industrial case studies Different kinds of contributions are sought, including novel research, lessons learned, experience reports, and discussions of practical problems faced by industry and user domains. The ultimate goal is to build a rich and comprehensive conference program that can fit the interests and needs of different classes of attendees: professionals, researchers, managers, and students. A program goal is to organize several sessions that include both academic and industrial papers on a given topic and culminate panels to discuss relationships between industrial and academic research. Full Papers --------------------- Full papers are divided into two categories: Technical Papers and Experience Reports. The papers submitted to both categories will be reviewed by program committee members, and papers accepted in either category will be published in the conference proceedings. Technical papers should describe original research, and experience reports should present practical projects carried out in industry, and reflect on the lessons learnt from them. Short Papers --------------------- Short paper submissions describe early-stage, ongoing or PhD research. All short papers will be reviewed by program committee members, and accepted short papers will be published in the conference proceedings. Paper Submissions --------------------- Submitted manuscripts should be in English and formatted in the style of the double-column IEEE ormat. Full papers should not exceed 10 pages, and short papers should not exceed 4 pages, including figures, references, and appendices. All submissions should be in PDF format. Submissions not adhering to the specified format and length may be rejected immediately, without review. Please prepare your manuscripts in accordance to the IEEE guidelines: http://www.ieee.org/conferences_events/conferences/publishing/templates.html. We invite all prospective authors to submit their manuscripts via the ICECCS'16 portal, hosted on Easychair: https://www.easychair.org/conferences/?conf=iceccs16 Conference proceeding --------------------- The conference proceedings will be published by IEEE Conference Publishing Services (EI indexed). Important Dates --------------------- Updated abstract submission: 11th July 2016 Updated paper submission: 16th July 2016 Notification of acceptance: 8th Aug 2016 Camera ready copy due: 29th Aug 2016 Organizers --------------------- General Chair Prof. Ian Nabney, Aston University, UK Dr. Jun Sun, Singapore University of Technology and Design, SG Program Chair Dr. Mounir Mokhtari, Institut MINES TELECOM, FR Dr. Hai Wang, Aston University, UK For enquiries, please contact H.WANG10(a)aston.ac.uk or mounir.mokhtari(a)mines-telecom.fr

1 0

Re: [Haskell] [Haskell-cafe] The Haddock documentation is not showing up on the Hackage
by davean 27 Jun '16

27 Jun '16

I've installed the dependency and rebuilt it. On Mon, Jun 27, 2016 at 2:07 AM, KwangYul Seo <kwangyul.seo(a)gmail.com> wrote: > It would be nice if there is a way to re-trigger the haddock generation > without uploading a new version. I will file an issue requesting for this > feature. > > BTW, I still wonder how I can specify the build requirements for the > Hackage server. For example, I specify c2hs and libenchant-dev as > dependencies in .travis.yml for the Travis build: > > ``` > before_install: > - sudo apt-get install -y libenchant-dev c2hs > ``` > > Regards, > Kwang Yul Seo > > > On Mon, Jun 27, 2016 at 2:53 PM, Harendra Kumar <harendra.kumar(a)gmail.com> > wrote: > >> I had a similar problem recently. If a candidate package is re-uploaded >> with the same version again, doc was not being re-generated. I too changed >> the version to 0.1.0.1 to trigger the doc update. I raised an issue for >> that (https://github.com/haskell/hackage-server/issues/512) >> >> -harendra >> >> On 27 June 2016 at 09:58, Francesco Ariis <fa-ml(a)ariis.it> wrote: >> >>> On Mon, Jun 27, 2016 at 01:28:57PM +0900, KwangYul Seo wrote: >>> > Hi, >>> > >>> > I uploaded a package named enchant on the Hackage last week, but the >>> > Haddock documentation is not showing up yet. The Status field says >>> "Docs >>> > pending" and "Build status unknown". >>> > >>> > https://hackage.haskell.org/package/enchant-0.1.0.0 >>> > >>> > enchant uses c2hs as a build tool to generate the FFI binding and >>> requires >>> > libenchant-dev to be installed on the machine. I wonder how I can tell >>> > these build requirements to the Hackage server. >>> >>> I had a similar problem a few months ago, resolved to upload a 0.1.0.1 >>> version, that triggered the build. >>> >>> p.s.: I am replying in haskell-cafe(a)haskell.org , which is probably more >>> suited (haskell@ is for announcements, etc.) >>> _______________________________________________ >>> Haskell-Cafe mailing list >>> To (un)subscribe, modify options or view archives go to: >>> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe >>> Only members subscribed via the mailman list are allowed to post. >> >> >> > > _______________________________________________ > Haskell-Cafe mailing list > To (un)subscribe, modify options or view archives go to: > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe > Only members subscribed via the mailman list are allowed to post. >

1 0

The Haddock documentation is not showing up on the Hackage
by KwangYul Seo 27 Jun '16

27 Jun '16

Hi, I uploaded a package named enchant on the Hackage last week, but the Haddock documentation is not showing up yet. The Status field says "Docs pending" and "Build status unknown". https://hackage.haskell.org/package/enchant-0.1.0.0 enchant uses c2hs as a build tool to generate the FFI binding and requires libenchant-dev to be installed on the machine. I wonder how I can tell these build requirements to the Hackage server. Regards, Kwang Yul Seo

1 0