July 2016 - Haskell - Haskell.org

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