From crossow at mmci.uni-saarland.de Fri Jul 1 08:26:56 2016 From: crossow at mmci.uni-saarland.de (Christian Rossow) Date: Fri, 1 Jul 2016 10:26:56 +0200 Subject: [Haskell] Call for Papers: 2nd IEEE European Symposium on Security and Privacy (EuroS&P), April 26-28, 2017 in Paris Message-ID: <6c0891a7-9693-e5a9-67bc-cd9a53c49465@mmci.uni-saarland.de> ===================================================================== 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) From c.grelck at uva.nl Fri Jul 1 17:23:29 2016 From: c.grelck at uva.nl (Clemens Grelck) Date: Fri, 1 Jul 2016 19:23:29 +0200 Subject: [Haskell] Position as lab docent Software Engineering at the University of Amsterdam Message-ID: <68450fae-b199-b1b3-ec48-902da3829e54@uva.nl> 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-lecturer-software-engineering.html 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-engineering.html 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 ---------------------------------------------------------------------- -------------- next part -------------- An HTML attachment was scrubbed... URL: From storm at cwi.nl Mon Jul 4 07:40:55 2016 From: storm at cwi.nl (Tijs van der Storm) Date: Mon, 04 Jul 2016 07:40:55 +0000 Subject: [Haskell] SIGPLAN Programming Languages Mentoring Workshop @ SPLASH'16 Message-ID: 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: From publicityifl at gmail.com Tue Jul 5 10:17:09 2016 From: publicityifl at gmail.com (publicityifl at gmail.com) Date: Tue, 05 Jul 2016 10:17:09 +0000 Subject: [Haskell] 2nd CfP: IFL 2016 (28th Symposium on Implementation and Application of Functional Languages) Message-ID: <94eb2c092a2c6e99ce0536e0c170@google.com> 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 at 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. -------------- next part -------------- An HTML attachment was scrubbed... URL: From breitner at kit.edu Tue Jul 5 17:39:41 2016 From: breitner at kit.edu (Joachim Breitner) Date: Tue, 05 Jul 2016 19:39:41 +0200 Subject: [Haskell] Haskell in Leipzig 2016: Another Call for Papers (deadline extended) Message-ID: <1467740381.13592.10.camel@kit.edu>                              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 . -- Dr. rer. nat. Joachim Breitner Wissenschaftlicher Mitarbeiter http://pp.ipd.kit.edu/~breitner -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 819 bytes Desc: This is a digitally signed message part URL: From rdgrande at site.uottawa.ca Thu Jul 7 13:42:47 2016 From: rdgrande at site.uottawa.ca (Robson De Grande) Date: Thu, 7 Jul 2016 09:42:47 -0400 Subject: [Haskell] DEADLINE EXTENSION: 14th ACM MobiWac 2016, MALTA Message-ID: ** 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). ============================================== -------------- next part -------------- An HTML attachment was scrubbed... URL: From gvidal at dsic.upv.es Thu Jul 7 14:15:02 2016 From: gvidal at dsic.upv.es (German Vidal) Date: Thu, 7 Jul 2016 16:15:02 +0200 Subject: [Haskell] Call for participation: PPDP 2016 Message-ID: <768C1B6D-0900-44B0-9489-A7612FBB4A31@dsic.upv.es> ============================================================ 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! ====================================================================== From brucker at spamfence.net Fri Jul 8 12:26:35 2016 From: brucker at spamfence.net (Achim D. Brucker) Date: Fri, 8 Jul 2016 14:26:35 +0200 Subject: [Haskell] 3rd Call for Papers: OCL and Textual Modeling Tools and Textual Model Transformations (OCL 2016) - Less Than 10 Days Left To Submit Your Paper! Message-ID: <20160708122635.GA23433@fujikawa.home.brucker.ch> (Apologies for duplicates) Less than 10 days until the deadline! CALL FOR PAPERS 16th International Workshop on OCL and Textual Modeling Co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016) October 2, 2016, Saint-Malo, France http://oclworkshop.github.io Modeling started out with UML and its precursors as a graphical notation. Such visual representations enable direct intuitive capturing of reality, but some of their features are difficult to formalize and lack the level of precision required to create complete and unambiguous specifications. Limitations of the graphical notations encouraged the development of text-based modeling languages that either integrate with or replace graphical notations for modeling. Typical examples of such languages are OCL, textual MOF, Epsilon, and Alloy. Textual modeling languages have their roots in formal language paradigms like logic, programming and databases. The goal of this workshop is to create a forum where researchers and practitioners interested in building models using OCL or other kinds of textual languages can directly interact, report advances, share results, identify tools for language development, and discuss appropriate standards. In particular, the workshop will encourage discussions for achieving synergy from different modeling language concepts and modeling language use. The close interaction will enable researchers and practitioners to identify common interests and options for potential cooperation. Topics of interest include (but are not limited to) =================================================== - Mappings between textual modeling languages and other languages or formalisms - Algorithms, evaluation strategies and optimizations in the context of textual modeling languages for -- validation, verification, and testing, -- model transformation and code generation, -- meta-modeling and DSLs, and -- query and constraint specifications - Alternative graphical/textual notations for textual modeling languages - Evolution, transformation and simplification of textual modeling expressions - Libraries, templates and patterns for textual modeling languages - Tools that support textual modeling languages (e.g., verification of OCL formulae, runtime monitoring of invariants) - Complexity results for textual modeling languages - Quality models and benchmarks for comparing and evaluating textual modeling tools and algorithms - Successful applications of textual modeling languages - Case studies on industrial applications of textual modeling languages - Experience reports -- usage of textual modeling languages and tools in complex domains, -- usability of textual modeling languages and tools for end-users - Empirical studies about the benefits and drawbacks of textual modeling languages - Innovative textual modeling tools - Comparison, evaluation and integration of modeling languages - Correlation between modeling languages and modeling tasks This year, we particularly encourage submissions describing tools that support - in a very broad sense - textual modeling languages (if you have implemented OCL.js to run OCL in a web browser, this is the right workshop to present your work) as well as textual model transformations. Venue ===== The workshop will be organized as a part of MODELS 2016 Conference in Saint-Malo, France. It continues the series of OCL workshops held at UML/MODELS conferences: York (2000), Toronto (2001), San Francisco (2003), Lisbon (2004), Montego Bay (2005), Genova (2006), Nashville (2007), Toulouse (2008), Denver (2009), Oslo (2010), Zurich (2011, at the TOOLs conference), 2012 in Innsbruck, 2013 in Miami, 2014 in Valencia, Spain, and 2015 in Ottawa, Canada. Similar to its predecessors, the workshop addresses both people from academia and industry. The aim is to provide a forum for addressing integration of OCL and other textual modeling languages, as well as tools for textual modeling, and for disseminating good practice and discussing the new requirements for textual modeling. Workshop Format =============== The workshop will include short (about 15 min) presentations, parallel sessions of working groups, and sum-up discussions. Submissions =========== Two types of papers will be considered: * short contributions (between 6 and 8 pages) describing new ideas, innovative tools or position papers. * full papers (between 12 and 16 pages) in LNCS format. Submissions should be uploaded to EasyChair (https://easychair.org/conferences/?conf=ocl16). The program committee will review the submissions (minimum 2 reviews per paper, usually 3 reviews) and select papers according to their relevance and interest for discussions that will take place at the workshop. Accepted papers will be published online in a post-conference edition of CEUR (http://www.ceur-ws.org). Important Dates =============== Submission of papers: July 17, 2016 Notification: August 14, 2016 Workshop date: October 2, 2016 Organizers ========== Achim D. Brucker, The University of Sheffield, UK Jordi Cabot, ICREA - Open University of Catalonia, Spain Adolfo Sánchez-Barbudo Herrera, University of York, UK Programme Committee (TBC) ========================= Thomas Baar, University of Applied Sciences Berlin, Germany Mira Balaban, Ben-Gurion University of the Negev, Israel Tricia Balfe, Nomos Software, Ireland Domenico Bianculli, University of Luxembourg Dan Chiorean, Babes-Bolyai University, Romania Robert Clariso, Universitat Oberta de Catalunya, Spain Tony Clark, Middlesex University, UK Manuel Clavel, IMDEA Software Institute, Spain Birgit Demuth, Technische Universitat Dresden, Germany Marina Egea, Indra Sistemas S.A., Spain Geri Georg, Colorado State University, USA Martin Gogolla, University of Bremen, Germany Shahar Maoz, Tel Aviv University, Israel Istvan Rath, Budapest University of Technology and Economics, Hungary Bernhard Rumpe, RWTH Aachen, Germany Massimo Tisi, Mines de Nantes, France Frederic Tuong, Univ. Paris-Sud - IRT SystemX - LRI, France Edward Willink, Willink Transformations Ltd., UK Burkhart Wolff, Univ. Paris-Sud - LRI, France Steffen Zschaler, King's College, UK -- Dr. Achim D. Brucker | Software Assurance & Security | University of Sheffield https://www.brucker.uk/ | https://logicalhacking.com/blog From c.grelck at uva.nl Fri Jul 8 13:41:23 2016 From: c.grelck at uva.nl (Clemens Grelck) Date: Fri, 8 Jul 2016 15:41:23 +0200 Subject: [Haskell] Position as lab docent Software Engineering at the University of Amsterdam Message-ID: 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-lecturer-software-engineering.html 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-engineering.html We partially take a rather formal approach to software engineering and use Haskell in at least one of our courses. So the position might indeed be of interest to subscribers of this mailing list. After some local hickups the definitive and firm deadline for application is Monday July 11 any time Amsterdam time. 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 ---------------------------------------------------------------------- -------------- next part -------------- An HTML attachment was scrubbed... URL: From bog at khumba.net Mon Jul 11 02:55:57 2016 From: bog at khumba.net (Bryan Gardiner) Date: Sun, 10 Jul 2016 19:55:57 -0700 Subject: [Haskell] ANN: qtah-0.1.0 Message-ID: <20160710195557.32ee566f@khumba.net> Hello all, I'm happy to announce the first Hackage-ready release of Qtah, Qt bindings for Haskell. I announced Qtah earlier this year, but a lot of work was needed to get it to the point where you can just "cabal install" it. That work has now been done, so I invite you to install qtah-qt5 or qtah-examples[1] (currently just the Qt notepad example), and check out: http://khumba.net/projects/qtah https://gitlab.com/khumba/qtah As a small demonstration, I have a good portion of Goatee ported (board rendering clearly missing): http://khumba.net/tmp/20160710-goatee-qt.png However, there is still lots of the Qt API left to cover. Thanks to ezyang for help working with some Cabal internals. Cheers, Bryan [1] cabal install --enable-executable-dynamic qtah-examples -------------- next part -------------- A non-text attachment was scrubbed... Name: not available Type: application/pgp-signature Size: 801 bytes Desc: OpenPGP digital signature URL: From kwangyul.seo at gmail.com Mon Jul 11 03:35:14 2016 From: kwangyul.seo at gmail.com (KwangYul Seo) Date: Mon, 11 Jul 2016 12:35:14 +0900 Subject: [Haskell] ANN: enchant-0.1.0.0 Message-ID: Hello, I'm happy to announce the first release of enchant, binding for the Enchant library. https://hackage.haskell.org/package/enchant-0.1.0.0 https://github.com/kseo/enchant What is Enchant? (from http://www.abisource.com/projects/enchant/) On the surface, Enchant appears to be a generic spell checking library. You > can request dictionaries from it, ask if a word is correctly spelled, get > corrections for a misspelled word, etc... > > Beneath the surface, Enchant is a whole lot more - and less - than that. > You'll see that Enchant isn't really a spell checking library at all. > > "What's that?" you ask. Well, Enchant doesn't try to do any of the work > itself. It's lazy, and requires backends to do most of its dirty work. > Looking closer, you'll see the Enchant is more-or-less a fancy wrapper > around the dlopen() system call. Enchant steps in to provide uniformity and > conformity on top of these libraries, and implement certain features that > may be lacking in any individual provider library. Everything should "just > work" for any and every definition of "just working." Thanks, Kwang Yul Seo -------------- next part -------------- An HTML attachment was scrubbed... URL: From gvidal at dsic.upv.es Mon Jul 11 09:46:24 2016 From: gvidal at dsic.upv.es (German Vidal) Date: Mon, 11 Jul 2016 11:46:24 +0200 Subject: [Haskell] 2016 Autumn School on Computational Logic Message-ID: <0146C73D-F74D-4AE6-90AB-6A8CD70232C1@dsic.upv.es> (Apologies if you receive multiple copies of this email. Please distribute to interested parties.) The 2016 Autumn School on Computational Logic will be held on October 16-17, 2016, in New York, affiliated to the 32nd International Conference on Logic Programming (ICLP'16). Researchers and PhD students are encouraged to attend. Student scholarships are available (Deadline for application: July 20) Association for Logic Programming 2016 Autumn School on Computational Logic http://iclp16school.webs.upv.es/ October 16-17, New York, USA (Affiliated to ICLP'16) Researchers interested in research in computational logic are invited to attend the 2016 Autumn School. The 2-day school is suited for those who wish to learn advanced topics in computational logic and logic programming. It will consist of four half-day tutorials on the following topics: 1. Constraint Logic Programming Lecturer: Roman Bartak, Charles University, Czech Republic 2. Language processing through logic grammars and constraints Lecturer: Veronica Dahl, Simon Fraser University, Canada 3. Answer Set Programming: foundations and applications Lecturer: Torsten Schaub, University of Potsdam, Germany 4. Verification and probabilistic programming Lecturer: C.R. Ramakrishnan, SUNY Stony Brook, USA A number of scholarships for students that cover local expenses for the duration of the school are available. To apply for these scholarships, students should also register to the Doctoral Consortium and send the following information to German Vidal at gvidal at dsic.upv.es by July 20th: - A short vita of the applicant. - A letter of recommendation from applicant's faculty advisor. - A one paragraph statement outlining how the school will benefit the applicant. The letter from the advisor should also certify that the applicant is a full-time student. Organizers: John Gallagher, Roskilde University, Denmark German Vidal, Universitat Politecnica de Valencia, Spain From storm at cwi.nl Mon Jul 11 20:40:42 2016 From: storm at cwi.nl (Tijs van der Storm) Date: Mon, 11 Jul 2016 20:40:42 +0000 Subject: [Haskell] SPLASH'16: 3rd Combined Call for Contributions to Collocated Events Message-ID: ################################################# ACM Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH'16) ################################################# Amsterdam, The Netherlands Sun 30th October - Fri 4th November , 2016 http://2016.splashcon.org https://twitter.com/splashcon https://www.facebook.com/SPLASHCon/ NEWS! Benjamin Pierce and Andy Ko have agreed to be keynotes for SPLASH'16! Sponsored by ACM SIGPLAN Combined Call for Contributions to Collocated Events: - SPLASH-I, SPLASH-E, Student Research Competition, Programming Languages Mentoring Workshop - Scala Symposium - Workshops: AGERE, DSLDI, DSM, FOSD, ITSLE, LWC at SLE, META, MOBILE!, NOOL, PLATEAU, Parsing at SLE, REBLS, RUMPLE, SA-MDE, SEPS, VMIL, WODA The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software construction, to make it the premier conference at the intersection of programming, languages, systems, and software engineering. SPLASH'16 hosts a record number collocated tracks and events, from associated conferences (GPCE, SLE) and symposia (DLS, Scala), to 16 workshops! Please see below about important dates. We look forward to your submissions! SPLASH'16 Tracks =========================== ## SPLASH-I: Innovation, Interaction, Insight, Industry, Invited SPLASH-I is the track of SPLASH dedicated to great talks on exciting topics! SPLASH-I will run in parallel with all of SPLASH (during the week days), and is open to all attendees. SPLASH-I will host both invited talks and selected talks submitted via this call for proposals. SPLASH-I solicits inspiring talks, tutorials and demonstrations on exciting topics related to programming and programming systems, delivered by excellent speakers from academia or industry. Deadline: 1st of August Website: http://2016.splashcon.org/track/splash-2016-splash-i ## SPLASH-E: Foundational Concepts of Computation SPLASH-E will be a one-day working meeting, with the following goals: - Building on prior work, identify and enumerate the foundational concepts of computation. - More ambitiously, for each concept, create a detailed plan for a lesson (or short sequence of lessons) for 8 year olds, to teach the concept. We do not solicit publications, but we ask prospective participants to submit a one-paragraph position statement. Website: http://2016.splashcon.org/track/splash-2016-splash-e ## Student Research Competition Continuing the successes of previous years, SPLASH is again hosting an ACM SIGPLAN Student Research Competition (ACM SRC). The competition is an internationally-recognized venue that enables undergraduate and graduate students to experience the research world and to share their research results with other students and SPLASH attendees. The competition has separate categories for undergraduate and graduate students and awards prizes to the top three students in each category. The ACM SIGPLAN Student Research Competition shares the Poster session’s goal to facilitate interaction with researchers and industry practitioners, providing both sides with the opportunity to learn of ongoing, current research. Additionally, the Student Research Competition gives students experience with both formal presentations and evaluations. Submission deadline: Mon 15 Aug 2016 Website: http://2016.splashcon.org/track/splash-2016-src ## Posters The SPLASH Poster track provides an excellent forum for authors to present their recent or ongoing projects in an interactive setting, and receive feedback from the community. We invite submissions covering any aspect of programming, systems, languages and applications. The goal of the poster session is to encourage and facilitate small groups of individuals interested in a technical area to gather and interact. It is held early in the conference, to promote continued discussion among interested parties. Submission deadline: Fri 15 Jul 2016 Website: http://2016.splashcon.org/track/splash-2016-posters ## PLMW: Programming Language Mentoring Workshop The purpose of Programming Languages Mentoring Workshop (PLMW) is to give promising students who consider pursuing a graduate degree in this field an overview of what research in this field looks like and how to get into and succeed in graduate school. In other words, a combination whirlwind tour of this research area, networking opportunity, and how-to-succeed guide. The program of PLMW will include talks by prominent researchers of the field of programming languages and software engineering providing an insight in their research. To learn more about PLMW, please see the SIGPLAN PLMW web page (http://www.sigplan.org/Conferences/PLMW/). Application deadline: Sun 14 Aug 2016 Website: http://2016.splashcon.org/track/splash-2016-plmw ## Scala Symposium The Scala Symposium is a forum for researchers and practitioners to share new ideas and results of interest to the Scala programming language community. We welcome a broad spectrum of research topics in many formats, going from student talks all the way to full 10-page research papers, indexed by the ACM Digital Library. Abstract submission deadline: Sun 17 Jul 2016 Paper submission deadline: Mon 25 Jul 2016 Website: http://2016.splashcon.org/track/scala-2016 Workshops ========= SPLASH'16 will host a record number of 16 workshops: ## AGERE! Programming based on Actors, Agents, and Decentralized Control The AGERE! workshop is aimed at focusing on programming systems, languages and applications based on actors, active/concurrent objects, agents and – more generally – high-level programming paradigms promoting a mindset of decentralized control in solving problems and developing software. The workshop is designed to cover both the theory and the practice of design and programming, bringing together researchers working on models, languages and technologies, and practitioners developing real-world systems and applications. Abstract submission deadline: Mon 1 Aug 2016 Paper submission deadline: Mon 15 Aug 2016 Website: http://2016.splashcon.org/track/agere2016 ## DSLDI: Domain-specific Language Design and Implementation Domain-Specific Language Design and Implementation (DSLDI) is a workshop intended to bring together researchers and practitioners interested in discussing how DSLs should be designed, implemented, supported by tools, and applied in realistic contexts. The focus of the workshop is on all aspects of this process, from soliciting domain knowledge from experts, through the design and implementation of the language, to evaluating whether and how a DSL is successful. More generally, we are interested in continuing to build a community that can drive forward the development of modern DSLs. Submission deadline talk proposals: Mon 1 Aug 2016 Website: http://2016.splashcon.org/track/dsldi2016 ## DSM: Domain-Specific Modeling Domain-specific languages provide a viable and time-tested solution for continuing to raise the level of abstraction, and thus productivity, beyond coding, making systems development faster and easier. When accompanied with suitable automated modeling tools and generators it delivers to the promises of continuous delivery and devops. In domain-specific modeling (DSM) the models are constructed using concepts that represent things in the application domain, not concepts of a given programming language. The modeling language follows the domain abstractions and semantics, allowing developers to perceive them- selves as working directly with domain concepts. Together with frameworks and platforms, DSM can automate a large portion of software production. Submission deadline: Mon 15 Aug 2016 Website: http://2016.splashcon.org/track/dsm2016 ## FOSD: Feature-oriented Software Development Feature orientation is an emerging paradigm of software development. It supports the automatic generation of large-scale software systems from a set of units of functionality, called features. The key idea of feature-oriented software development (FOSD) is to explicitly represent similarities and differences of a family of software systems for a given application domain (e.g., database systems, banking software, text processing systems) with the goal of reusing software artifacts among the family members. Submission deadline: Mon 1 Aug 2016 Website: http://www.fosd.net/workshop2016 Call for papers: http://conf.researchr.org/getImage/FOSD-2016/orig/FOSD+2016+-+CFP.pdf ## ITSLE: Industry Track Software Language Engineering Industry Track for Software Language Engineering (ITSLE) is a workshop to bring together practitioners and researchers from industry and academia working on the area of software language engineering. Domain Specific Languages (DSLs) and Model-Driven Software Engineering (MDSE) techniques are being developed and used broadly in industry. However, as the size and complexity of software systems steadily increase, so does the cost of maintaining and improving the DSL and MDSE techniques and tools. It introduces new challenges such as language co-evolution, maintainability of legacy software using older version of DSLs and MDSE techniques, and extendability and scalability of these techniques. Some of these challenges have been addressed by the SLE research community and some remain unsolved. Submission deadline: Mon 1 Aug 2016 Website: http://2016.splashcon.org/track/itsle2016 ## LWC at SLE: Language Workbench Challenge Language workbenches are tools for software language engineering. They distinguish themselves from traditional compiler tools by providing integrated development environment (IDE) support for defining, implementing, testing and maintaining languages. Not only that, languages built with a language workbench are supported by IDE features as well (e.g., syntax highlighting, outlining, reference resolving, completion etc.). As a result, language workbenches achieve a next level in terms of productivity and interactive editor support for building languages, in comparison to traditional batch-oriented, compiler construction tools. The goal of this workshop is twofold. First: exercise and assess the state-of-the-art in language workbenches using challenge problems from the user perspective (i.e. the language designer). Second: foster knowledge exchange and opportunities for collaboration between language workbench implementors and researchers. Submission deadline of solutions: Mon 1 Aug 2016 Website: http://2016.splashcon.org/track/lwc2016 ## META The Meta’16 workshop aims to bring together researchers working on metaprogramming and reflection, as well as users building applications, language extensions such as contracts, or software tools. With the changing hardware and software landscape, and increased heterogeneity of systems, metaprogramming becomes an important research topic to handle the associate complexity once more. Contributions to the workshop are welcome on a wide range of topics related to design, implementation, and application of metaprogramming techniques, as well as empirical studies on and typing for such systems and languages. Abstract submission: Wed 27 Jul 2016 Paper submission: Mon 1 Aug 2016 Website: http://2016.splashcon.org/track/meta2016 ## Mobile! Mobile application use and development is experiencing enormous growth, and by 2016 more than 200 billion apps have been downloaded. The mobile domain presents new challenges to software engineering. Mobile platforms are rapidly changing, with diverse capabilities including various input modes, wireless communication types, on-device memory and disk capacities, and sensors. Applications function on wide ranges of platforms, requiring scaling according to hardware. Many applications interact with third-party services, requiring application development with effective security and authorization processes for those dataflows. “Bring your own device” policies pose security challenges including employer and employee data privacy. Developing secure mobile applications requires new tools and practices such as improved refactoring tools for hybrid applications; polyglot applications; and testing techniques for multiple devices. This workshop aims to establish a community of researchers and practitioners, leading to further research in mobile development. Paper submission deadline: Mon 1 Aug 2016 Website: http://2016.splashcon.org/track/mobile2016 ## NOOL: New Object-Oriented Languages NOOL-16 is a new unsponsored workshop to bring together users and implementors of new(ish) object oriented systems. Through presentations, and panel discussions, as well as demonstrations, and video and audiotapes, NOOL-16 will provide a forum for sharing experience and knowledge among experts and novices alike. We invite technical papers, case studies, and surveys in the following areas, related to theory of object oriented programming, new languages, implementation of languages, tools and environment, applications and related work. Abstract submission deadline: Thu 1 Sep 2016 Website: http://2016.splashcon.org/track/nool2016 ## PLATEAU: Workshop on Evaluation and Usability of Programming Languages and Tools Programming languages exist to enable programmers to develop software effectively. But how efficiently programmers can write software depends on the usability of the languages and tools that they develop with. The aim of this workshop is to discuss methods, metrics and techniques for evaluating the usability of languages and language tools. The supposed benefits of such languages and tools cover a large space, including making programs easier to read, write, and maintain; allowing programmers to write more flexible and powerful programs; and restricting programs to make them more safe and secure. PLATEAU gathers the intersection of researchers in the programming language, programming tool, and human-computer interaction communities to share their research and discuss the future of evaluation and usability of programming languages and tools. Paper submission deadline: Mon 1 Aug 2016 Website: http://2016.splashcon.org/track/plateau2016 ## Parsing at SLE Parsing at SLE 2016 is the fourth annual workshop on parsing programming languages. The intended participants are the authors of parser generation tools and parsers for programming languages and other software languages. For the purpose of this workshop “parsing” is a computation that takes a sequence of characters as input and produces a syntax tree or graph as output. This possibly includes tokenization using regular expressions, deriving trees using context-free grammars, and mapping to abstract syntax trees. The goal is to bring together today’s experts in the field of parsing, in order to explore open questions and possibly forge new collaborations. The topics may include algorithms, implementation and generation techniques, syntax and semantics of meta formalisms (BNF), etc. We expect to attract participants that have been or are developing theory, techniques and tools in the broad area of parsing. Abstract submission deadline: Fri 9 Sep 2016 Website: http://2016.splashcon.org/track/parsing2016 ## REBLS: Reactive and Event-based Languages & Systems Reactive programming and event-based programming are two closely related programming styles that are becoming ever more important with the advent of advanced HPC technology and the ever increasing requirement for our applications to run on the web or on collaborating mobile devices. A number of publications on middleware and language design — so-called reactive and event-based languages and systems (REBLS) — have already seen the light, but the field still raises several questions. For example, the interaction with mainstream language concepts is poorly understood, implementation technology is in its infancy and modularity mechanisms are almost totally lacking. Moreover, large applications are still to be developed and patterns and tools for developing reactive applications is an area that is vastly unexplored. Paper submission deadline: Mon 1 Aug 2016 Website: http://2016.splashcon.org/track/rebls2016 ## RUMPLE: ReUsable and Modular Programming Language Ecosystems The RUMPLE’16 workshop is a venue for discussing a wide range of topics related to modular approaches to programming language implementation, extensible virtual machine architectures, as well as reusable runtime components such as dynamic compilers, interpreters, or garbage collectors. One of the main goals of the workshop is to bring together both researchers and practitioners and facilitate effective sharing of their respective experiences and ideas. We welcome presentation proposals in the form of extended abstracts discussing experiences, work-in-progress, as well as future visions from the academic as well as industrial perspective. Extended abstract submission deadline: Mon 1 Aug 2016 Website: http://2016.splashcon.org/track/rumple2016 ## SA-MDE: Tutorial on MDD with Model Catalogue and Semantic Booster With the model-driven development (MDD) approach to software, rather than building each system from scratch, one specifies a metamodel covering a whole class of similar systems, provides a universal generator to transform metamodel instances into executable programs, and specifies each system by a higher-level model conforming to the metamodel. When the application domain concerns semantically rich datasets—with structured entities, interlinked data, and sophisticated integrity constraints—then the MDD tools should support this richness: in the metamodel, in individual system models, and in the generation process. In this tutorial, we present the Model Catalogue and Semantic Booster, tools respectively for curating and exploiting semantically rich data in a MDD workflow, which are under development as part of ALIGNED. Participants will learn what the tools can do, gain hands-on experience with using them, and be able to contribute challenges and suggestions for future development. Website: http://2016.splashcon.org/track/samde2016 ## SEPS: Software Engineering for Parallel Systems This workshop provides a stable forum for researchers and practitioners dealing with compelling challenges of the software development life cycle on modern parallel platforms. The increased complexity of parallel applications on modern parallel platforms (e.g. multicore/manycore, distributed or hybrid) requires more insight into development processes, and necessitates the use of advanced methods and techniques supporting developers in creating parallel applications or parallelizing and re-engineering sequential legacy applications. We aim to advance the state of the art in different phases of parallel software development, covering software engineering aspects such as requirements engineering and software specification; design and implementation; program analysis, profiling and tuning; testing and debugging. Paper submission deadline: Mon 1 Aug 2016 Website: http://2016.splashcon.org/track/seps2016 ## VMIL: Virtual Machines and Intermediate Languages The VMIL workshop is a forum for research in virtual machines and intermediate languages. It is dedicated to identifying programming mechanisms and constructs that are currently realized as code transformations or implemented in libraries but should rather be supported at VM level. Candidates for such mechanisms and constructs include modularity mechanisms (aspects, context-dependent layers), concurrency (threads and locking, actors, capsules, processes, software transactional memory), transactions, development tools (profilers, runtime verification), etc. Topics of interest include the investigation of which such mechanisms are worthwhile candidates for integration with the run-time environment, how said mechanisms can be elegantly (and reusably) expressed at the intermediate language level (e.g., in bytecode), how their implementations can be optimized, and how virtual machine architectures might be shaped to facilitate such implementation efforts. Paper submission deadline: Mon 1 Aug 2016 Website: http://2016.splashcon.org/track/vmil2016 ## WODA: Workshop on Dynamic Analysis The International Workshop on Dynamic Analysis (WODA) is the place where researchers interested in dynamic analysis and related topics can meet and discuss current research, issues, and trends in the field. WODA exists since 2003 and has been co-located with several different SE/PL conferences in the past, including ICSE, ISSTA, ASPLOS, and SPLASH. See https://sites.google.com/site/scwoda/ for the history of WODA. The 2016 edition of WODA will be a mix of invited talks by high-visibility researchers in the community and presentations of submitted workshop papers. Submission deadline: Fri 19 Aug 2016 Website: http://2016.splashcon.org/track/woda2016 # SPLASH Supporters SPLASH'16 is kindly supported by the following organizations: - ACM: http://www.acm.org/ - SIGPLAN: http://www.sigplan.org/ - LogicBlox (Gold): http://www.logicblox.com/ - Oracle (Silver): http://www.oracle.com/index.html - TU Delft (Silver): http://tudelft.nl/ - Huawei (Bronze): http://www.huawei.com/en/ - Facebook (Bronze): https://research.facebook.com/ - IBM Research (Bronze): http://www.research.ibm.com/ - Google (Bronze): https://www.google.com - Itemis (Bronze): https://www.itemis.com/en/ Want to support SPLASH'16? See our options here: http://2016.splashcon.org/attending/support-program. -------------- next part -------------- An HTML attachment was scrubbed... URL: From kwangyul.seo at gmail.com Tue Jul 12 12:23:42 2016 From: kwangyul.seo at gmail.com (KwangYul Seo) Date: Tue, 12 Jul 2016 21:23:42 +0900 Subject: [Haskell] ANN: tagsoup-megaparsec-0.1.0.0 Message-ID: Hello all, I'm pleased to announce the first release of tagsoup-megaparsec, a Tag token parser library. This library helps you build a megaparsec parser using TagSoup's Tags as tokens. https://hackage.haskell.org/package/tagsoup-megaparsec https://github.com/kseo/tagsoup-megaparsec Regards, Kwang Yul Seo -------------- next part -------------- An HTML attachment was scrubbed... URL: From joehillen at gmail.com Tue Jul 12 23:56:15 2016 From: joehillen at gmail.com (Joe Hillenbrand) Date: Tue, 12 Jul 2016 16:56:15 -0700 Subject: [Haskell] [Haskell-cafe] ANN: tagsoup-megaparsec-0.1.0.0 In-Reply-To: References: Message-ID: Please add a tutorial. On Tue, Jul 12, 2016 at 5:23 AM, KwangYul Seo wrote: > Hello all, > > I'm pleased to announce the first release of tagsoup-megaparsec, a Tag token > parser library. This library helps you build a megaparsec parser using > TagSoup's Tags as tokens. > > https://hackage.haskell.org/package/tagsoup-megaparsec > > https://github.com/kseo/tagsoup-megaparsec > > Regards, > Kwang Yul Seo > > > _______________________________________________ > 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. From t.astarte at newcastle.ac.uk Wed Jul 13 08:48:03 2016 From: t.astarte at newcastle.ac.uk (Troy Astarte (PGR)) Date: Wed, 13 Jul 2016 08:48:03 +0000 Subject: [Haskell] Christopher Strachey centenary announcement Message-ID: <54A7AE8D-DCDC-424A-92EA-3D5BA7741D7C@newcastle.ac.uk> Dear all, This November marks 100 years since the birth of Christopher Strachey. We are holding a symposium to celebrate his life and research in Oxford on Saturday 19th November. There will also be an exhibition of material from the Strachey archive on Friday 18th November, followed by a banquet dinner at Hertford College on the evening of Friday 18th November. For more information and to register for attendance, please go to http://www.cs.ox.ac.uk/strachey100/. ------------------------------- Christopher Strachey (1916–1975) was a pioneering computer scientist and the founder of the Programming Research Group, now part of the Department of Computer Science at Oxford University. Although Strachey was keenly interested in the practical aspects of computing, it is in the theoretical side that he most indelibly left his mark, notably by creating with Dana Scott the denotational (or as he called it, ‘mathematical’) approach to defining the semantics of programming languages—undoubtedly influential in the development of functional programming. Strachey also spent time writing complex programs and puzzles for various computers, such as a draughts playing program for the Pilot ACE in 1951. He developed some fundamental concepts of machine-independent operating systems, including an early suggestion for time-sharing, and was a prime mover in the influential CPL programming language. Strachey came from a notable family of intellectuals and artists, perhaps most famous for Christopher’s uncle Lytton, a writer and member of the Bloomsbury group. We will be marking the occasion of 100 years since Christopher Strachey's birth on Saturday 19th November 2016, three days after his birthday, with a symposium of invited speakers. The morning will look back at Strachey’s life and works from a historical and technical perspective, and the afternoon will concern the future of Strachey-inspired theoretical computer science, including functional programming, at Oxford University. There will also be a display of related archival material on Friday 18th November for anyone interested, and a banquet dinner at Hertford College on the evening of Friday 18th November. Hope to see many of you there. Best, Troy Astarte -------------- next part -------------- An HTML attachment was scrubbed... URL: From kwangyul.seo at gmail.com Wed Jul 13 11:26:00 2016 From: kwangyul.seo at gmail.com (KwangYul Seo) Date: Wed, 13 Jul 2016 20:26:00 +0900 Subject: [Haskell] [Haskell-cafe] ANN: tagsoup-megaparsec-0.1.0.0 In-Reply-To: References: Message-ID: Thanks for the feedback! I added a usage section to the readme. The example will help you understand how to use tagsoup-megaparsec. https://github.com/kseo/tagsoup-megaparsec/blob/master/README.md There is also a simple example in the test directory as Erik Rantapaa mentioned: https://github.com/kseo/tagsoup-megaparsec/blob/master/test/Spec.hs Regards, Kwang Yul Seo On Wed, Jul 13, 2016 at 8:56 AM, Joe Hillenbrand wrote: > Please add a tutorial. > > On Tue, Jul 12, 2016 at 5:23 AM, KwangYul Seo > wrote: > > Hello all, > > > > I'm pleased to announce the first release of tagsoup-megaparsec, a Tag > token > > parser library. This library helps you build a megaparsec parser using > > TagSoup's Tags as tokens. > > > > https://hackage.haskell.org/package/tagsoup-megaparsec > > > > https://github.com/kseo/tagsoup-megaparsec > > > > Regards, > > Kwang Yul Seo > > > > > > _______________________________________________ > > 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. > -------------- next part -------------- An HTML attachment was scrubbed... URL: From rdgrande at site.uottawa.ca Thu Jul 14 15:11:41 2016 From: rdgrande at site.uottawa.ca (Robson De Grande) Date: Thu, 14 Jul 2016 11:11:41 -0400 Subject: [Haskell] 14th ACM MobiWac 2016, MALTA Message-ID: ** 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). ============================================== -------------- next part -------------- An HTML attachment was scrubbed... URL: From p.d.james.366409 at swansea.ac.uk Fri Jul 15 12:58:51 2016 From: p.d.james.366409 at swansea.ac.uk (JAMES P. (366409)) Date: Fri, 15 Jul 2016 12:58:51 +0000 Subject: [Haskell] Call For Participation: WADT 2016 Message-ID: Registration for WADT 2016 is now open. Early registration ends on: Monday, July 18, 2016. Note that we can offer a number of reduced rate places for students / young researchers to attend WADT'16, who are not registered as an author for a paper. These places are limited to early registration. Link: http://cs.swan.ac.uk/wadt16/ When Sep 21, 2016 - Sep 24, 2016 Where Gregynog, UK Submission Deadline June 17, 2016 (extended) Notification July 3, 2016 (extended) Final Version Due July 15, 2016 AIMS AND SCOPE The algebraic approach to system specification encompasses many aspects of the formal design of software systems. Originally born as formal method for reasoning about abstract data types, it now covers new specification frameworks and programming paradigms (such as object-oriented, aspect-oriented, agent-oriented, logic and higher-order functional programming) as well as a wide range of application areas (including information systems, concurrent, distributed and mobile systems). The workshop will provide an opportunity to present recent and ongoing work, to meet colleagues, and to discuss new ideas and future trends. TOPICS OF INTEREST Typical, but not exclusive topics of interest are: - Foundations of algebraic specification - Other approaches to formal specification, including process calculi and models of concurrent, distributed and mobile computing - Specification languages, methods, and environments - Semantics of conceptual modelling methods and techniques - Model-driven development - Graph transformations, term rewriting and proof systems - Integration of formal specification techniques - Formal testing and quality assurance, validation, and verification INVITED SPEAKERS - Alessio Lomuscio (London, UK) - Till Mossakowski (Magdeburg, Germany) - John Tucker (Swansea, UK) WORKSHOP FORMAT AND LOCATION The workshop will take place over four days, Wednesday to Saturday, at Gregynog Hall in Wales, UK (http://www.gregynog.org). Participants should arrive on Tuesday evening, the workshop will end on Saturday with lunch. Presentations will be selected on the basis of submitted abstracts. IMPORTANT DATES Submission deadline for abstracts: June 17, 2016 (extended) Notification of acceptance: July 3, 2016 (extended) Early registration: July 3, 2016 (delayed) Final abstract due: July 15, 2016 Workshop in Gregynog: September 21-24, 2016 SUBMISSIONS The scientific programme of the workshop will include presentations of recent results and ongoing research. The presentations will be selected by the Steering Committee on the basis of submitted abstracts according to originality, significance and general interest. The abstracts must be up to two pages long including references. If a longer version of the contribution is available, it can be made accessible on the web and referenced in the abstract. The abstracts have to be submitted electronically via the EasyChair system. PROCEEDINGS After the workshop, authors will be invited to submit full papers for the refereed proceedings. All submissions will be reviewed; selection will be based on originality, soundness and significance of the presented ideas and results. The proceedings will be published as a volume of Lecture Notes in Computer Science (Springer). SPONSORSHIP The workshop takes place under the auspices of IFIP WG 1.3. WADT STEERING COMMITTEE Andrea Corradini (Italy) Jose Fiadeiro (UK) Rolf Hennicker (Germany) Hans-Jorg Kreowski (Germany) Till Mossakowski (Germany) Fernando Orejas (Spain) Francesco Parisi-Presicce (Italy) Markus Roggenbach (UK) [chair] Grigore Rosu (United States) Andrzej Tarlecki (Poland) ORGANIZING COMMITTEE Phillip James (UK) Markus Roggenbach (UK) CONTACT INFORMATION Email: M.Roggenbach at Swansea.ac.uk Homepage: http://cs.swan.ac.uk/wadt16/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From brucker at spamfence.net Sun Jul 17 09:13:01 2016 From: brucker at spamfence.net (Achim D. Brucker) Date: Sun, 17 Jul 2016 10:13:01 +0100 Subject: [Haskell] OCL 2016: ** Deadline Extension ** Submit Your Paper Until July 24, 2016 Message-ID: <20160717091301.GA23363@fujikawa.home.brucker.ch> (Apologies for duplicates) If you are working on the foundations, methods, or tools for OCL or textual modelling, you should now finalise your submission for the OCL workshop! *** The submission deadline has been extended to July 24th, 2016! *** CALL FOR PAPERS 16th International Workshop on OCL and Textual Modeling Co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016) October 2, 2016, Saint-Malo, France http://oclworkshop.github.io Modeling started out with UML and its precursors as a graphical notation. Such visual representations enable direct intuitive capturing of reality, but some of their features are difficult to formalize and lack the level of precision required to create complete and unambiguous specifications. Limitations of the graphical notations encouraged the development of text-based modeling languages that either integrate with or replace graphical notations for modeling. Typical examples of such languages are OCL, textual MOF, Epsilon, and Alloy. Textual modeling languages have their roots in formal language paradigms like logic, programming and databases. The goal of this workshop is to create a forum where researchers and practitioners interested in building models using OCL or other kinds of textual languages can directly interact, report advances, share results, identify tools for language development, and discuss appropriate standards. In particular, the workshop will encourage discussions for achieving synergy from different modeling language concepts and modeling language use. The close interaction will enable researchers and practitioners to identify common interests and options for potential cooperation. Topics of interest include (but are not limited to) =================================================== - Mappings between textual modeling languages and other languages or formalisms - Algorithms, evaluation strategies and optimizations in the context of textual modeling languages for -- validation, verification, and testing, -- model transformation and code generation, -- meta-modeling and DSLs, and -- query and constraint specifications - Alternative graphical/textual notations for textual modeling languages - Evolution, transformation and simplification of textual modeling expressions - Libraries, templates and patterns for textual modeling languages - Tools that support textual modeling languages (e.g., verification of OCL formulae, runtime monitoring of invariants) - Complexity results for textual modeling languages - Quality models and benchmarks for comparing and evaluating textual modeling tools and algorithms - Successful applications of textual modeling languages - Case studies on industrial applications of textual modeling languages - Experience reports -- usage of textual modeling languages and tools in complex domains, -- usability of textual modeling languages and tools for end-users - Empirical studies about the benefits and drawbacks of textual modeling languages - Innovative textual modeling tools - Comparison, evaluation and integration of modeling languages - Correlation between modeling languages and modeling tasks This year, we particularly encourage submissions describing tools that support - in a very broad sense - textual modeling languages (if you have implemented OCL.js to run OCL in a web browser, this is the right workshop to present your work) as well as textual model transformations. Venue ===== The workshop will be organized as a part of MODELS 2016 Conference in Saint-Malo, France. It continues the series of OCL workshops held at UML/MODELS conferences: York (2000), Toronto (2001), San Francisco (2003), Lisbon (2004), Montego Bay (2005), Genova (2006), Nashville (2007), Toulouse (2008), Denver (2009), Oslo (2010), Zurich (2011, at the TOOLs conference), 2012 in Innsbruck, 2013 in Miami, 2014 in Valencia, Spain, and 2015 in Ottawa, Canada. Similar to its predecessors, the workshop addresses both people from academia and industry. The aim is to provide a forum for addressing integration of OCL and other textual modeling languages, as well as tools for textual modeling, and for disseminating good practice and discussing the new requirements for textual modeling. Workshop Format =============== The workshop will include short (about 15 min) presentations, parallel sessions of working groups, and sum-up discussions. Submissions =========== Two types of papers will be considered: * short contributions (between 6 and 8 pages) describing new ideas, innovative tools or position papers. * full papers (between 12 and 16 pages) in LNCS format. Submissions should be uploaded to EasyChair (https://easychair.org/conferences/?conf=ocl16). The program committee will review the submissions (minimum 2 reviews per paper, usually 3 reviews) and select papers according to their relevance and interest for discussions that will take place at the workshop. Accepted papers will be published online in a post-conference edition of CEUR (http://www.ceur-ws.org). Important Dates =============== Submission of papers: July 24, 2016 Notification: August 14, 2016 Workshop date: October 2, 2016 Organizers ========== Achim D. Brucker, The University of Sheffield, UK Jordi Cabot, ICREA - Open University of Catalonia, Spain Adolfo Sánchez-Barbudo Herrera, University of York, UK Programme Committee (TBC) ========================= Thomas Baar, University of Applied Sciences Berlin, Germany Mira Balaban, Ben-Gurion University of the Negev, Israel Tricia Balfe, Nomos Software, Ireland Domenico Bianculli, University of Luxembourg Dan Chiorean, Babes-Bolyai University, Romania Robert Clariso, Universitat Oberta de Catalunya, Spain Tony Clark, Middlesex University, UK Manuel Clavel, IMDEA Software Institute, Spain Birgit Demuth, Technische Universitat Dresden, Germany Marina Egea, Indra Sistemas S.A., Spain Geri Georg, Colorado State University, USA Martin Gogolla, University of Bremen, Germany Shahar Maoz, Tel Aviv University, Israel Istvan Rath, Budapest University of Technology and Economics, Hungary Bernhard Rumpe, RWTH Aachen, Germany Massimo Tisi, Mines de Nantes, France Frederic Tuong, Univ. Paris-Sud - IRT SystemX - LRI, France Edward Willink, Willink Transformations Ltd., UK Burkhart Wolff, Univ. Paris-Sud - LRI, France Steffen Zschaler, King's College, UK -- Dr. Achim D. Brucker | Software Assurance & Security | University of Sheffield https://www.brucker.uk/ | https://logicalhacking.com/blog From michael.adler at tngtech.com Mon Jul 18 14:45:39 2016 From: michael.adler at tngtech.com (Michael Adler) Date: Mon, 18 Jul 2016 16:45:39 +0200 Subject: [Haskell] Announcing MuniHac 2016 Message-ID: <20160718144539.vusvyeegvq3cmzwr@kratos.int.tngtech.com> Hi fellow Haskellers! Together with Alexander Lehmann from TNG Technology Consulting GmbH and Andres Löh from Well-Typed LLP, I am organizing a new Haskell Hackathon that will take place in Munich, from Friday September 2 - Sunday September 4. TNG is graciously offering to host the Hackathon at their premises. This Hackathon is in the tradition of other Haskell Hackathons such as ZuriHac, HacBerlin, UHac and others. We have capacity for 80-100 Haskellers to collaborate on any project they like. Hacking on Haskell projects will be the main focus of the event, but we will also have a couple of talks by renowned Haskellers. More details and a link to the registration platform can be found on www.munihac.de Hope to see you in Munich! Best regards, Michael -- Michael Adler TNG Technology Consulting michael.adler at tngtech.com TNG Technology Consulting GmbH, Betastr. 13a, 85774 Unterföhring Geschäftsführer: Henrik Klagges, Christoph Stock, Dr. Robert Dahlke Amtsgericht München, HRB 135082 -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 819 bytes Desc: not available URL: From kwangyul.seo at gmail.com Tue Jul 19 04:07:54 2016 From: kwangyul.seo at gmail.com (KwangYul Seo) Date: Tue, 19 Jul 2016 13:07:54 +0900 Subject: [Haskell] ANN: blockhash-0.1.0.0 Message-ID: Hi all! I'm pleased to announce the first release of blockhash, a perceptual image hash calculation tool based on algorithm described in Block Mean Value Based Image Perceptual Hashing by Bian Yang, Fan Gu and Xiamu Niu. https://hackage.haskell.org/package/blockhash https://github.com/kseo/blockhash Program: Usage: blockhash [-q|--quick] [-b|--bits ARG] filenames blockhash Available options: -h,--help Show this help text -q,--quick Use quick hashing method -b,--bits ARG Create hash of size N^2 bits. Library: import qualified Codec.Picture as P import Data.Blockhash import qualified Data.Vector.Generic as VG import qualified Data.Vector.Unboxed as V printHash :: FilePath -> IO () printHash :: filename = do res <- P.readImage filename case res of Left err -> putStrLn ("Fail to read: " ++ filename) Right dynamicImage -> do let rgbaImage = P.convertRGBA8 dynamicImage pixels = VG.convert (P.imageData rgbaImage) image = Image { imagePixels = pixels , imageWidth = P.imageWidth rgbaImage , imageHeight = P.imageHeight rgbaImage } hash = blockhash image 16 Precise putStrLn (show hash) For further information on the blockhash algorithm, please visit the web site: http://blockhash.io/ Thanks, Kwang Yul Seo -------------- next part -------------- An HTML attachment was scrubbed... URL: From icfp.publicity at googlemail.com Tue Jul 19 05:44:12 2016 From: icfp.publicity at googlemail.com (Lindsey Kuper) Date: Mon, 18 Jul 2016 22:44:12 -0700 Subject: [Haskell] Call for Participation: ICFP 2016 Message-ID: <578dbe2cb931a_17b03fddc1c65be06046f@landin.local.mail> [ Early registration ends 17 August. ] ===================================================================== Call for Participation ICFP 2016 21st ACM SIGPLAN International Conference on Functional Programming and affiliated events September 18 - September 24, 2016 Nara, Japan http://conf.researchr.org/home/icfp-2016 ===================================================================== ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. The conference covers the entire spectrum of work, from practice to theory, including its peripheries. A full week dedicated to functional programming: 1 conference, 1 symposium, 10 workshops, tutorials, programming contest results, student research competition, and mentoring workshop * Overview and affiliated events: http://conf.researchr.org/home/icfp-2016 * Program: http://conf.researchr.org/program/icfp-2016/program-icfp-2016 * Accepted Papers: http://conf.researchr.org/track/icfp-2016/icfp-2016-papers#event-overview * Registration is available via: https://regmaster4.com/2016conf/ICFP16/register.php Early registration is due 17 August, 2016. * Programming contest, 5-8 August, 2016: http://2016.icfpcontest.org/ * Student Research Competition (deadline: 3 August, 2016): http://conf.researchr.org/info/icfp-2016/student-research-competition * Follow @icfp_conference on twitter for the latest news: http://twitter.com/icfp_conference There are several events affiliated with ICFP: Sunday, September 18 Workshop on Higher-order Programming with Effects Workshop on Type-Driven Development Scheme and Functional Programming Workshop Programming Languages Mentoring Workshop Monday, September 19 – Wednesday, September 21 ICFP Thursday, September 22 Haskell Symposium – Day 1 ML Family Workshop Workshop on Functional High-Performance Computing Commercial Users of Functional Programming – Day 1 Friday, September 23 Haskell Symposium – Day 2 OCaml Workshop Erlang Workshop Commercial Users of Functional Programming – Day 2 Saturday, September 5 Commercial Users of Functional Programming – Day 3 Haskell Implementors Workshop Functional Art, Music, Modeling and Design Conference Organizers General Co-Chairs: Jacques Garrigue, Nagoya University Gabriele Keller, University of New South Wales Program Chair: Eijiro Sumii, Tohoku University Local Arrangements Co-Chairs: Shinya Katsumata, Kyoto University Susumu Nishimura, Kyoto University Industrial Relations Chair: Rian Trinkle, Obsidian Systems LLC Workshop Co-Chairs: Nicolas Wu, University of Bristol Andres Loeh, Well-Typed LLP Programming Contest Chair: Keisuke Nakano, The University of Electro-Communications Student Research Competition Chair: David Van Horn, University of Maryland, College Park Mentoring Workshop Co-Chairs: Amal Ahmed, Northeastern University Robby Findler, Northwestern University Atsushi Igarashi, Kyoto Universty Publicity Chair: Lindsey Kuper, Intel Labs Video Chair: Iavor Diatchki, Galois Jose Calderon, Galois Student Volunteer Co-Chairs: Yosuke Fukuda, Kyoto University Yuki Nishida, Kyoto University Gabriel Scherer, INRIA Industrial partners: Platinum partners Jane Street Capital Ahrefs Gold partners Mozilla Research Silver partners Ambiata Tsuru Capital Bronze partners Awake Networks Microsoft Research ===================================================================== From niely.b0yk3n at gmail.com Tue Jul 19 20:08:29 2016 From: niely.b0yk3n at gmail.com (Niely Boyken) Date: Tue, 19 Jul 2016 22:08:29 +0200 Subject: [Haskell] Function to replace given element in list Message-ID: Hi I'm trying to make a custom function to replace a given element in a list. Code: let i = elemIndex toReplace lst in case i of Just i -> let z = splitAt i lst x = fst z y = (snd z) in init x x ++ newNmr x ++ y Nothing -> [5] Error: > 1) > * Couldn't match expected type `[a] -> [a]' with actual type `[a]' > * The function `init' is applied to two arguments, > but its type `[a] -> [a]' has only one > In the first argument of `(++)', namely `init x x' > In the expression: init x x ++ newNmr x ++ y > * Relevant bindings include > y :: [a] (bound at C:\users\niel\desktop\test2.hs:41:21) > x :: [a] (bound at C:\users\niel\desktop\test2.hs:40:21) > z :: ([a], [a]) (bound at C:\users\niel\desktop\test2.hs:39:21) > newNmr :: [a] (bound at C:\users\niel\desktop\test2.hs:34:30) > lst :: [a] (bound at C:\users\niel\desktop\test2.hs:34:26) > toReplace :: a (bound at C:\users\niel\desktop\test2.hs:34:16) > (Some bindings suppressed; use -fmax-relevant-binds=N or > -fno-max-relevant-binds) > 2) > * Couldn't match expected type `[a] -> [a]' with actual type `[a]' > * The function `newNmr' is applied to one argument, > but its type `[a]' has none > In the first argument of `(++)', namely `newNmr x' > In the second argument of `(++)', namely `newNmr x ++ y' > * Relevant bindings include > y :: [a] (bound at C:\users\niel\desktop\test2.hs:41:21) > x :: [a] (bound at C:\users\niel\desktop\test2.hs:40:21) > z :: ([a], [a]) (bound at C:\users\niel\desktop\test2.hs:39:21) > newNmr :: [a] (bound at C:\users\niel\desktop\test2.hs:34:30) > lst :: [a] (bound at C:\users\niel\desktop\test2.hs:34:26) > toReplace :: a (bound at C:\users\niel\desktop\test2.hs:34:16) > (Some bindings suppressed; use -fmax-relevant-binds=N or > -fno-max-relevant-binds) > I've tried a lot, but I always got an error. What am I doing wrong? Thanks! -------------- next part -------------- An HTML attachment was scrubbed... URL: From minesasecret at gmail.com Tue Jul 19 20:23:20 2016 From: minesasecret at gmail.com (Richard Fung) Date: Tue, 19 Jul 2016 13:23:20 -0700 Subject: [Haskell] Function to replace given element in list In-Reply-To: References: Message-ID: Hi Niely, everything after the "in" in your "let in" is one expression. In other words all of this: init x x ++ newNmr x ++ y is being read as one line.. so init x x ++ newNmr x ++ y which is why the compiler is complaining that you are applying init to two values (init x x). I think what you want is actually something more like (init x) ++ [newNmr] ++ y assuming newNmr is a number and not already a list. I'm not entirely sure what you were trying to do there but you seem a bit confused.. "init x" on its own doesn't actually do anything; it computes a value but you aren't assigning it to anything here. If you wanted to keep those exact expressions you could instead do let x0 = init x x1 = x0 ++ newNmr in x1 ++ y and x1 ++ y would be the thing that actually gets return. In any case I am certainly no expert so hopefully someone else can explain this better than I can. On Tue, Jul 19, 2016 at 1:08 PM, Niely Boyken wrote: > Hi > > I'm trying to make a custom function to replace a given element in a list. > > Code: > let i = elemIndex toReplace lst in > > case i of > Just i -> > let z = splitAt i lst > x = fst z > y = (snd z) > in > init x > x ++ newNmr > x ++ y > > Nothing -> [5] > > Error: > >> 1) >> * Couldn't match expected type `[a] -> [a]' with actual type `[a]' >> * The function `init' is applied to two arguments, >> but its type `[a] -> [a]' has only one >> In the first argument of `(++)', namely `init x x' >> In the expression: init x x ++ newNmr x ++ y >> * Relevant bindings include >> y :: [a] (bound at C:\users\niel\desktop\test2.hs:41:21) >> x :: [a] (bound at C:\users\niel\desktop\test2.hs:40:21) >> z :: ([a], [a]) (bound at C:\users\niel\desktop\test2.hs:39:21) >> newNmr :: [a] (bound at C:\users\niel\desktop\test2.hs:34:30) >> lst :: [a] (bound at C:\users\niel\desktop\test2.hs:34:26) >> toReplace :: a (bound at C:\users\niel\desktop\test2.hs:34:16) >> (Some bindings suppressed; use -fmax-relevant-binds=N or >> -fno-max-relevant-binds) >> 2) >> * Couldn't match expected type `[a] -> [a]' with actual type `[a]' >> * The function `newNmr' is applied to one argument, >> but its type `[a]' has none >> In the first argument of `(++)', namely `newNmr x' >> In the second argument of `(++)', namely `newNmr x ++ y' >> * Relevant bindings include >> y :: [a] (bound at C:\users\niel\desktop\test2.hs:41:21) >> x :: [a] (bound at C:\users\niel\desktop\test2.hs:40:21) >> z :: ([a], [a]) (bound at C:\users\niel\desktop\test2.hs:39:21) >> newNmr :: [a] (bound at C:\users\niel\desktop\test2.hs:34:30) >> lst :: [a] (bound at C:\users\niel\desktop\test2.hs:34:26) >> toReplace :: a (bound at C:\users\niel\desktop\test2.hs:34:16) >> (Some bindings suppressed; use -fmax-relevant-binds=N or >> -fno-max-relevant-binds) >> > > I've tried a lot, but I always got an error. > What am I doing wrong? > > Thanks! > > _______________________________________________ > Haskell mailing list > Haskell at haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell > > -------------- next part -------------- An HTML attachment was scrubbed... URL: From carledman at gmail.com Tue Jul 19 20:42:05 2016 From: carledman at gmail.com (Carl Folke Henschen Edman) Date: Tue, 19 Jul 2016 16:42:05 -0400 Subject: [Haskell] Function to replace given element in list In-Reply-To: References: Message-ID: On Tue, Jul 19, 2016 at 4:08 PM, Niely Boyken wrote: > let i = elemIndex toReplace lst in > > case i of > Just i -> > let z = splitAt i lst > x = fst z > y = (snd z) > in > init x > x ++ newNmr > x ++ y > > Nothing -> [5] > If I understand what you are trying to do correctly, a more idiomatic (and syntactically correct code) would be: case elemIndex toReplace lst of Just i -> let (xs,_:ys)=splitAt i lst in xs ++ (newNmr:ys) _ -> [5] In more general terms, replacing individual elements in standard lists is a very inefficient operation for large lists. Having you considered using a Zipper List which allows you to efficiently replace elements at a focal point (and also to traverse the list forward and backward efficiently)? An example implementation of a Zipper (just for Lists) is at https://hackage.haskell.org/package/ListZipper-1.2.0.2/docs/Data-List-Zipper.html, but implementing your own is an easy and instructive exercise. Carl Edman -------------- next part -------------- An HTML attachment was scrubbed... URL: From david.feuer at gmail.com Tue Jul 19 22:13:15 2016 From: david.feuer at gmail.com (David Feuer) Date: Tue, 19 Jul 2016 18:13:15 -0400 Subject: [Haskell] Function to replace given element in list In-Reply-To: References: Message-ID: Using a zipper will not get you very far here. The best way would likely be to replace the list with a balanced search tree. Sticking with the list for now, your choice to replace the entire list with [5] if the sought element is not found seems a bit peculiar, and also leads to an inherent efficiency problem. First, let me show you what a more natural function might look like: replaceFirstMatching :: (a -> Maybe a) -> [a] -> [a] replaceFirstMatching _ [] = [] replaceFirstMatching p (x : xs) = case p x of Nothing -> x : replaceFirstMatching p xs Just x' -> x' : xs Taking a function as an argument rather than an element to replace and a replacement element avoids the risk of mixing up which is which, while also being somewhat more general. You can simulate the equality version using it, if you like: replaceFirstEqual :: Eq a => a -> a -> [a] -> [a] replaceFirstEqual toReplace replacement = replaceFirstMatching $ \x -> if x == toReplace then Just replacement else Nothing Now I mentioned that your [5] fall-back is problematic from an efficiency standpoint. The reason is that you don't know whether you'll find the element you desire until you find it or hit the end of the list. So you can't lazily produce bits of list as you go; you have to save up the pieces for a while. If you really want to do this, you certainly can, starting with a modified version of replaceFirstMatching that indicates whether it found the element: replaceFirstMatchingM :: (a -> Maybe a) -> [a] -> Maybe [a] replaceFirstMatchingM _ [] = Nothing replaceFirstMatchingM p (x : xs) = case p x of Nothing -> fmap (x:) replaceFirstMatchingM p xs Just x' -> Just (x' : xs) replaceFirstMatchingFallbackList :: (a -> Maybe a) -> [a] -> [a] -> [a] replaceFirstMatchingFallbackList p fallback xs = fromMaybe fallback (replaceFirstMatchingMaybe p xs) Note that, like replaceFirstEqual, replaceFirstMatchingFallbackList has arguments that are easily confused. On Tue, Jul 19, 2016 at 4:42 PM, Carl Folke Henschen Edman wrote: > On Tue, Jul 19, 2016 at 4:08 PM, Niely Boyken > wrote: >> >> let i = elemIndex toReplace lst in >> >> case i of >> Just i -> >> let z = splitAt i lst >> x = fst z >> y = (snd z) >> in >> init x >> x ++ newNmr >> x ++ y >> >> Nothing -> [5] > > > If I understand what you are trying to do correctly, a more idiomatic (and > syntactically correct code) would be: > > case elemIndex toReplace lst of > Just i -> let (xs,_:ys)=splitAt i lst in xs ++ (newNmr:ys) > _ -> [5] > > In more general terms, replacing individual elements in standard lists is a > very inefficient operation for large lists. Having you considered using a > Zipper List which allows you to efficiently replace elements at a focal > point (and also to traverse the list forward and backward efficiently)? > > An example implementation of a Zipper (just for Lists) is at > https://hackage.haskell.org/package/ListZipper-1.2.0.2/docs/Data-List-Zipper.html, > but implementing your own is an easy and instructive exercise. > > Carl Edman > > _______________________________________________ > Haskell mailing list > Haskell at haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell > From carledman at gmail.com Tue Jul 19 23:39:42 2016 From: carledman at gmail.com (Carl Folke Henschen Edman) Date: Tue, 19 Jul 2016 19:39:42 -0400 Subject: [Haskell] Function to replace given element in list In-Reply-To: References: Message-ID: On Tue, Jul 19, 2016 at 6:13 PM, David Feuer wrote: > Using a zipper will not get you very far here. The best way would > likely be to replace the list with a balanced search tree. > That depends on the pattern of access and usage. For some a zippered list will outperform a self-balancing tree and vice versa. For others a zippered tree, or something else, will beat either. But when seeing the pattern of changing a single element in the middle of a list, a zippered list is the first improved data structure that comes to mind. Carl Edman -------------- next part -------------- An HTML attachment was scrubbed... URL: From david.feuer at gmail.com Tue Jul 19 23:44:30 2016 From: david.feuer at gmail.com (David Feuer) Date: Tue, 19 Jul 2016 19:44:30 -0400 Subject: [Haskell] Function to replace given element in list In-Reply-To: References: Message-ID: A zipper is a good way to separate the search from the replacement. But the problem at hand does not require such a separation! If you don't need that, a zipper seems like overkill. On Jul 19, 2016 7:39 PM, "Carl Folke Henschen Edman" wrote: On Tue, Jul 19, 2016 at 6:13 PM, David Feuer wrote: > Using a zipper will not get you very far here. The best way would > likely be to replace the list with a balanced search tree. > That depends on the pattern of access and usage. For some a zippered list will outperform a self-balancing tree and vice versa. For others a zippered tree, or something else, will beat either. But when seeing the pattern of changing a single element in the middle of a list, a zippered list is the first improved data structure that comes to mind. Carl Edman -------------- next part -------------- An HTML attachment was scrubbed... URL: From tarmo at cs.ioc.ee Tue Jul 26 08:04:52 2016 From: tarmo at cs.ioc.ee (Tarmo Uustalu) Date: Tue, 26 Jul 2016 11:04:52 +0300 Subject: [Haskell] ETAPS 2017 1st call for papers Message-ID: <20160726110452.78816524@duality> ****************************************************************** JOINT CALL FOR PAPERS 20th European Joint Conferences on Theory And Practice of Software ETAPS 2017 Uppsala, Sweden, 22-29 April 2017 http://www.etaps.org/2017 ****************************************************************** -- ABOUT ETAPS -- ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of five main annual conferences, accompanied by satellite workshops. ETAPS 2017 is the twentieth event in the series. -- MAIN CONFERENCES (24-28 April) -- * ESOP: European Symposium on Programming (PC chair Hongseok Yang, University of Oxford, UK) * FASE: Fundamental Approaches to Software Engineering (PC chairs Marieke Huisman, Universiteit Twente, The Netherlands, and Julia Rubin, University of British Columbia, Canada) * FOSSACS: Foundations of Software Science and Computation Structures (PC chairs Javier Esparza, Technische Universität München, Germany, Andrzej Murawski, University of Warwick, UK) * POST: Principles of Security and Trust (PC chairs Matteo Maffei, Universität des Saarlandes, Germany, Mark D. Ryan, University of Birmingham, UK) * TACAS: Tools and Algorithms for the Construction and Analysis of Systems (PC chairs Axel Legay, INRIA Rennes, France, and Tiziana Margaria, LERO, Ireland) TACAS '17 hosts the 6th Competition on Software Verification (SV-COMP). -- INVITED SPEAKERS -- * Unifying speakers: Michael Ernst (University of Washington, USA) Kim G. Larsen (Aalborg University, DK) * FoSSaCS invited speaker: Joel Ouaknine (University of Oxford, UK) * TACAS invited speaker: Dino Distefano (Facebook and Queen Mary University of London, UK) -- IMPORTANT DATES -- * Abstracts due (ESOP, FASE, FoSSACS, TACAS): 14 October 2016 * Papers due: 21 October 2016 * Rebuttal (ESOP and FoSSaCS only): 7-9 December 2016 * Notification: 22 December 2016 * Camera-ready versions due: 20 January 2017 -- SUBMISSION INSTRUCTIONS -- ETAPS conferences accept two types of contributions: research papers and tool demonstration papers. Both types will appear in the proceedings and have presentations during the conference. ESOP and FoSSaCS accept only research papers. A condition of submission is that, if the submission is accepted, one of the authors attends the conference to give the presentation. Submitted papers must be in English presenting original research. They must be unpublished and not submitted for publication elsewhere (this does not apply to abstracts). In particular, simultaneous submission of the same contribution to multiple ETAPS conferences is forbidden. The proceedings will be published in the Advanced Research in Computing and Software Science (ARCoSS) subline of Springer's Lecture Notes in Computer Science series. Papers must follow the formatting guidelines specified by Springer at the URL http://www.springer.de/comp/lncs/authors.html and be submitted electronically in pdf through the EasyChair author interface of the respective conference. Submissions not adhering to the specified format and length may be rejected immediately. FASE will use a light-weight double-blind review process (see http://www.etaps.org/2017/fase). - Research papers FASE, FOSSACS and TACAS have a page limit of 15 pp (excluding bibliography of max 2 pp) for research papers, whereas POST allows at most 20 pp (excluding bibliography of max 2 pp) and ESOP 25 pp (excluding bibliography of max 2 pp). Additional material intended for the referees but not for publication in the final version - for example, details of proofs - may be placed in a clearly marked appendix that is not included in the page limit. ETAPS referees are at liberty to ignore appendices and papers must be understandable without them. In addition to regular research papers, TACAS solicits also case study papers (at most 15 pp, excluding bibliography of max 2 pp). Both TACAS and FASE solicit also regular tool papers (at most 15 pp, excluding bibliography of max 2 pp). The rationale of a separate page limit for the bibliography is to remove the possibility to win space for the body of a paper by cutting the bibliography, a practise that has a negative effect on our competitiveness as a community. - Tool demonstration papers Submissions should consist of two parts: * The first part, at most 4 pages, should describe the tool presented. Please include the URL of the tool (if available) and provide information that illustrates the maturity and robustness of the tool. (This part will be included in the proceedings.) * The second part, at most 6 pages, should explain how the demonstration will be carried out and what it will show, including screen dumps and examples. (This part will be not be included in the proceedings, but will be evaluated. ESOP and FOSSACS do not accept tool demonstration papers. TACAS has a page limit of 6 pages for tool demonstrations. -- SATELLITE EVENTS (22-23 April, 29 April) -- Around 20 satellite workshops will take place before and after the main conferences. -- HOST CITY -- Uppsala city holds a rich history, having for long periods been the political, religious and academic centre of Sweden. Uppsala University is over 500 years old and ranked among the top 100 in the World and has hosted many great scientists over the years, for instance Carl von Linné, Anders Celsius and Anders Jonas Ångström. The proximity to the capital of Sweden, Stockholm, provides additional benefits as a potential site for arranging both pre- and post congress tours, as well as for excursions or tourism. -- HOST INSTITUTION -- ETAPS 2017 is hosted by the Department of Information Technology, Uppsala University. -- ORGANIZERS Parosh Abdulla (General chair), Mohamed Faouzi Atig, Andreina Francisco, Kaj Lampka, Philipp Rümmer, Konstantinos Sagonas, Björn Victor, Wang Yi, Tjark Weber, Yunyun Zhu -- FURTHER INFORMATION -- Please do not hesitate to contact the organizers at parosh.abdulla at it.uu.se, mohamed_faouzi.atig at it.uu.se From andrea.rosa at usi.ch Wed Jul 27 08:57:08 2016 From: andrea.rosa at usi.ch (Andrea Rosa) Date: Wed, 27 Jul 2016 08:57:08 +0000 Subject: [Haskell] Managed Languages & Runtimes Week '16 - Call for Participation Message-ID: <93AAE4F1-5801-4AFE-B55D-53FDDE277A17@usi.ch> Managed Languages & Runtimes Week '16 PPPJ '16 / JTRES '16 / VMM '16 August 29 - September 2, 2016 Lugano, Switzerland http://manlang16.inf.usi.ch ------------------------------------------------------------------------------- Managed Languages & Runtimes Week '16 is a premier forum for presenting and discussing innovations and breakthroughs in the area of programming languages and runtime systems, which form the basis of many modern computing systems, from small scale (embedded and real-time systems) to large-scale (cloud-computing and big-data platforms). Managed Languages & Runtimes Week '16 features three international academic and industry venues for the first time: - PPPJ '16 - 13th International Conference on Principles and Practices of Programming on the Java Platform: virtual machines, languages, and tools - A forum for researchers, practitioners, and educators to present and discuss novel results on all aspects of managed languages and their runtime systems, including virtual machines, tools, methods, frameworks, libraries, case studies, and experience reports. Managed languages and runtime systems of interest include, but are not limited to, Java, Scala, JavaScript, Python, Ruby, C#, F#, Clojure, Groovy, Kotlin, R, Java VM, Dalvik VM and Android Runtime (ART), LLVM, .NET CLR, RPython. PPPJ'16 is in-cooperation with ACM SIGPLAN, SIGSOFT, SIGAPP and SPEC RG. - JTRES '16 - 14th International Workshop on Java Technologies for Real-time and Embedded Systems - A workshop for researchers working on real-time and embedded Java with the goal of identifying the challenging problems that still need to be solved in order to assure the success of real-time Java as a technology and reporting results and experience. - VMM '16 - 3rd Virtual Machine Meetup - A venue for discussing the latest research and developments in the area of managed language execution. ------------------------------------------------------------------------------- PROGRAM Managed Languages & Runtimes Week takes place from August 29 to September 2, 2016. Presentation of papers accepted at PPPJ '16 and JTRES '16 will take place on August 29-31, while VMM '16 will be held on September 1-2. The preliminary program is available at the following links: - PPPJ '16 and JTRES '16: http://manlang16.inf.usi.ch/programme - VMM '16: http://vmmeetup.github.io/2016/ ------------------------------------------------------------------------------- REGISTRATION Registration is open! To register to PPPJ '16 and JTRES '16, please follow the instruction at the following link: http://manlang16.inf.usi.ch/registration. Attendance to VMM '16 (September 1-2) is free of charge but requires admission from Thomas Würthinger >. Please visit http://vmmeetup.github.io/2016/ for additional information. Early registration deadline: August 1, 2016 ------------------------------------------------------------------------------- KEYNOTE We are proud to announce our keynote speaker for Managed Languages & Runtimes Week '16: Thomas Gross (ETH Zurich, Switzerland) http://www.lst.inf.ethz.ch/people/trg.html Title: From Managed Languages to Guarded Programs Date and Time: Tuesday, August 30th - h. 14.30 Abstract: Managed languages allow the runtime system to perform dynamic checks to detect a wide range of problems. But even the combination of managed languages and static checks has not eliminated software attacks. One reason is that non-managed languages continue to be important (and will likely remain so). In this talk I'll argue that managed languages may not have gone far enough and discuss how dynamic checking based on binary translation can detect various kinds of attacks. Given the abundance of computing cycles, it appears prudent to rethink the role of the core software system and the hardware execution engine(s) in supporting reliable software. About The Speaker: Thomas R. Gross is a Professor of Computer Science at ETH Zurich. He joined Carnegie Mellon University in 1984 after receiving a Ph.D. in Electrical Engineering from Stanford University. In 2000, he became a Full Professor at ETH Zurich. He is interested in tools, techniques, and abstractions for software construction and has worked on many aspects of the design and implementation of software and computer systems. His current work concentrates on low-cost/low-complexity networks (in collaboration with Disney Research, Zurich), compilers, and programming parallel systems. Thomas R. Gross has been a PI or co-PI of various research grants and contracts. Recent projects, supported by the Swiss National Science Foundation, include the "Datacenter Observatory", a joint EPFL-ETH Zurich-USI project to support system-level research and teaching, and a collaboration with USI on novel approaches for dynamic program analysis. ------------------------------------------------------------------------------- ORGANIZING COMMITTEE PPPJ '16 and JTRES '16 General Chair: Walter Binder - University of Lugano (USI), Switzerland PPPJ '16 Program Committee Chair: Petr Tůma - Charles University, Czech Republic JTRES '16 Program Committee Chair: Martin Schoeberl - Technical University of Denmark, Denmark VMM '16 Organizer: Thomas Würthinger - Oracle Labs, Switzerland Organizing Chair: Yudi Zheng - University of Lugano (USI), Switzerland Publicity Chair: Andrea Rosà - University of Lugano (USI), Switzerland Web Chair: Giacomo Toffetti Carughi - University of Lugano (USI), Switzerland -------------------------------------------------------------------------------- CONTACTS Do not hesitate to contact the organizers at > for more information about Managed Languages & Runtimes Week '16 and the co-located venues. ------------ Andrea Rosà PhD student - Teaching assistant Faculty of Informatics - 2nd floor Università della Svizzera italiana (USI) Via G. Buffi 13 CH-6904 Lugano Switzerland (e) andrea.rosa at usi.ch (p) +41 58 666 4455 ext. 2183 (w) http://www.inf.usi.ch/phd/rosaa/ From raffalli at univ-savoie.fr Thu Jul 28 10:52:48 2016 From: raffalli at univ-savoie.fr (Christophe Raffalli) Date: Thu, 28 Jul 2016 12:52:48 +0200 Subject: [Haskell] Call for participation to PLRR 2016 (hosted by CSL) Message-ID: <20160728105248.GF2154@delli7.univ-savoie.fr> ======================================================================= CALL FOR PARTICIPATION Workshop PLRR 2016 Parametricity, Logical Relations & Realizability September 2, Marseille, France http://lama.univ-savoie.fr/~hyvernat/PLRR2016 Satellite workshop - CSL 2016 http://csl16.lif.univ-mrs.fr/ BACKGROUND The workshop PLRR 2016 aims at presenting recent work on parametricity, logical relations and realizability, and encourage interaction between those communities. The areas of interest include, but are not limited to: * Kleene's intuitionistic realizability, * Krivine's classical realizability, * other extensions of the Curry-Howard correspondence, * links between forcing and the Curry-Howard correspondence, * parametricity, * logical relations, * categorical models, * applications to programming languages. INVITED SPEAKERS Neil Ghani (University of Strathclyde) Nick Benton (Microsoft Research, Cambridge) PROGRAM It is available at http://www.lama.univ-smb.fr/plrr2016/program.html REGISTRATION via the main CSL 2016 website: http://csl16.lif.univ-mrs.fr/ VENUE Collocated with CSL 2016, hosted by Aix-Marseille Université. Both the main conference and its satellite workshops will be held in the city center campus of the Faculty of Science (Central Building). SCIENTIFIC COMMITTEE Pierre Hyvernat (Université Savoie Mont Blanc) Rodolphe Lepigre (Université Savoie Mont Blanc) Alexandre Miquel (Universidad de la República, Montevideo) Christophe Raffalli (Université Savoie Mont Blanc) Thomas Streicher (Technische Universität Darmstadt) CONTACT Pierre.Hyvernat at univ-smb.fr ======================================================================= -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 181 bytes Desc: not available URL: