From sean.seefried at gmail.com Mon Jun 1 03:55:01 2015 From: sean.seefried at gmail.com (Sean Seefried) Date: Mon, 1 Jun 2015 13:55:01 +1000 Subject: [Haskell] A Dockerfile to provision a build environment for an Android game written in Haskell Message-ID: Fellow Haskell users! For the last few months I've been working on a small game targeting Android devices. It's still in development and will probably change radically from what I've already done. However, in the process of developing this game I've managed to develop a Dockerfile that will provision a build environment to build the game, which I think is worth releasing to the Haskell community right away. I'd appreciate some assistance in validating that it, in fact, works. The repo containing the Dockerfile is hosted at: https://github.com/sseefried/docker-epidemic-build-env The repo containing the game is: https://github.com/sseefried/open-epidemic-game Please use the latest version of Docker when you attempt to build this, at least version 1.6. Be aware that this will take a long time to build. You will need to download an image from THe Docker Hub Registry that is about 1.1G and then pull down even more files when building all the C and Haskell libraries. Be patient and if you have any issues please let me know via GitHub. Oh, and if you want to see a demo of what you are building click here: https://goo.gl/FZFPsm (It's a very simple game at present. Don't expect too much.) Enjoy! Sean -------------- next part -------------- An HTML attachment was scrubbed... URL: From dons00 at gmail.com Wed Jun 3 08:50:26 2015 From: dons00 at gmail.com (Don Stewart) Date: Wed, 03 Jun 2015 08:50:26 +0000 Subject: [Haskell] Haskell dev role in Strats at Standard Chartered (Singapore) Message-ID: I have an open position for a Haskell developer to join Standard Chartered's Strats team in Singapore. More details at: https://donsbot.wordpress.com/2015/06/03/haskell-dev-role-in-strats-at-standard-chartered-singapore/ -- Don -------------- next part -------------- An HTML attachment was scrubbed... URL: From xinyu.feng at gmail.com Fri Jun 5 03:32:55 2015 From: xinyu.feng at gmail.com (Xinyu Feng) Date: Fri, 5 Jun 2015 11:32:55 +0800 Subject: [Haskell] APLAS 2015: deadline extension Message-ID: ** DEADLINE EXTENSION FOR SUBMISSIONS TO APLAS 2015: ** - Paper submission deadline: June 15, 2015. ********************************************************************* APLAS 2015, Call for Papers 13th Asian Symposium on Programming Languages and Systems Pohang, Korea, November 30 - December 2, 2015 < http://pl.postech.ac.kr/aplas2015/> ********************************************************************* *IMPORTANT DATES* Submission deadline: June 15, 2015 Author notification: August 17, 2015 Final version: September 7, 2015 Conference: November 30 - December 2, 2015 *INVITED SPEAKERS* Peter O'Hearn, Facebook Sukyoung Ryu, KAIST Eran Yahav, Technion Hongseok Yang, University of Oxford *ABOUT* APLAS aims to stimulate programming language research by providing a forum for the presentation of latest results and the exchange of ideas in programming languages and systems. APLAS is based in Asia, but is an international forum that serves the worldwide programming language community. APLAS is sponsored by the Asian Association for Foundation of Software (AAFS), founded by Asian researchers in cooperation with many researchers from Europe and the USA. Past APLAS symposiums were successfully held in Singapore ('14), Melbourne ('13), Kyoto ('12), Kenting ('11), Shanghai ('10), Seoul ('09), Bangalore ('08), Singapore ('07), Sydney ('06), Tsukuba ('05), Taipei ('04) and Beijing ('03) after three informal workshops. Proceedings of the past symposiums were published in Springer's LNCS. *TOPICS* The symposium is devoted to foundational and practical issues in programming languages and systems. Papers are solicited on topics such as * semantics, logics, foundational theory * design of languages, type systems and foundational calculi * domain-specific languages * compilers, interpreters, abstract machines * program derivation, synthesis and transformation * program analysis, verification, model-checking * logic, constraint, probabilistic and quantum programming * software security * concurrency and parallelism * tools and environments for programming and implementation Topics are not limited to those discussed in previous symposiums. Papers identifying future directions of programming and those addressing the rapid changes of the underlying computing platforms are especially welcome. Demonstration of systems and tools in the scope of APLAS are welcome to the System and Tool presentations category. Authors concerned about the appropriateness of a topic are welcome to consult with program chair prior to submission. *SUBMISSION* We solicit submissions in two categories: a) Regular research papers - describing original scientific research results, including tool development and case studies. Regular research papers should not exceed 18 pages in the Springer LNCS format, including bibliography and figures. They should clearly identify what has been accomplished and why it is significant. Submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity. In case of lack of space, proofs, experimental results, or any information supporting the technical results of the paper could be provided as an appendix or a link to a web page, but reviewers are not obliged to read them. b) System and tool presentations - describing systems or tools that support theory, program construction, reasoning, or program execution in the scope of APLAS. System and Tool presentations are expected to be centered around a demonstration. The paper and the demonstration should identify the novelties of the tools and use motivating examples. System and Tool papers should not exceed 8 pages in the Springer LNCS format, including bibliography and figures. Submissions will be judged based on both the papers and the described systems or tools. It is highly desirable that the tools are available on the web. Papers should be submitted electronically via the submission web page using EasyChair. Acceptable formats are PostScript or PDF. Submitted papers must be unpublished and not submitted for publication elsewhere. Papers must be written in English. The proceedings will be published as a volume in Springer's LNCS series. Accepted papers must be presented at the conference. *ORGANIZERS* General Chair: Sungwoo Park (Pohang Univ. of Science and Technology (POSTECH), Korea) Program Chair: Xinyu Feng (Univ. of Science and Technology of China, China) Program Committee: James Brotherston (Univ. College London, UK) James Cheney (Univ. of Edinburgh, UK) Huimin Cui (Institute of Computing Technology, CAS, China) Mike Dodds (Univ. of York, UK) Xinyu Feng (Univ. of Science and Technology of China, China) Nate Foster (Cornell Univ., USA) Alexey Gotsman (IMDEA Software Institute, Spain) Aquinas Hobor (School of Computing, National Univ. of Singapore / Yale-NUS College) Chung-Kil Hur (Seoul National Univ., Korea) Radha Jagadeesan (DePaul Univ., USA) Annie Liu (Stony Brook Univ., USA) Andreas Lochbihler (ETH Zurich, Switzerland) Santosh Nagarakatte (Rutgers Univ., USA) David A. Naumann (Stevens Inst. of Tech., USA) Michael Norrish (NICTA, Australia) Hakjoo Oh (Korea Univ., Korea) Murali Krishna Ramanathan (Indian Institute of Science, India) Xavier Rival (CNRS / ENS / INRIA, France) Kohei Suenaga (Kyoto Univ., Japan) Gang Tan (Lehigh Univ., USA) Alwen Tiu (Nanyang Technological University, Singapore) Martin Vechev (ETH Zurich, Switzerland) Bow-Yaw Wang (Academia Sinica, Taiwan) Nobuko Yoshida (Imperial College London, UK) Lijun Zhang (Institute of Software, CAS, China) -------------- next part -------------- An HTML attachment was scrubbed... URL: From heraldhoi at gmail.com Sun Jun 7 08:26:45 2015 From: heraldhoi at gmail.com (Geraldus) Date: Sun, 07 Jun 2015 08:26:45 +0000 Subject: [Haskell] [Haskell-cafe] ANN: nonce package In-Reply-To: <20150523160211.GA10577@nibbler> References: <555FB66A.9000904@gmail.com> <20150523160211.GA10577@nibbler> Message-ID: Hi, Felipe! Thank you for sharing! The one question I have is there some good way to generate unique nonces? ??, 23 ??? 2015 ?. ? 22:01, Tobias Dammers : > Looks useful; feature request: something like > > nonce :: MonadIO => Int -> Generator > > (plus -url and -T flavors, obviously). I believe allowing the programmer > to balance security vs. usability demands would be a good thing overall > and worth a knob. > > -> m ByteString > On Fri, May 22, 2015 at 08:06:18PM -0300, Felipe Lessa wrote: > > (Please forgive me if you received multiple copies of this e-mail.) > > > > Hello, > > > > The nonce package [1] contains functions to easily generate > > cryptographic nonces for many situations. Some places where these > > generated nonces can be used include: > > > > - Password recovery e-mail tokens. > > > > - XSRF protection tokens. > > > > - Session IDs sent on cookies. > > > > - Initialization vectors. > > > > It uses an AES CPRNG periodically reseeded from /dev/urandom (or > > equivalent). It has no frills, no knobs, so it's hard to misuse. It's > > been available for an year but I just realized I've never properly > > announced it. > > > > Regrettably, I've seen many uses of the random package (System.Random) > > when generating nonces. It's a bad choice: it is not a > > cryptographically secure PRNG, contains low entropy (64-bit state), and > > its default usage is seeded predictably (using a constant seed). Please > > avoid using the random package for generating nonces at all costs. In > > its stead, use the nonce package or something similar. > > > > Cheers, > > > > [1] http://hackage.haskell.org/package/nonce > > > > -- > > Felipe. > > > > > > > _______________________________________________ > > Haskell mailing list > > Haskell at haskell.org > > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell > > > -- > Tobias Dammers - tdammers at gmail.com > _______________________________________________ > Haskell-Cafe mailing list > Haskell-Cafe at haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe > -------------- next part -------------- An HTML attachment was scrubbed... URL: From heraldhoi at gmail.com Sun Jun 7 09:44:02 2015 From: heraldhoi at gmail.com (Geraldus) Date: Sun, 07 Jun 2015 09:44:02 +0000 Subject: [Haskell] [Haskell-cafe] ANN: nonce package In-Reply-To: References: <555FB66A.9000904@gmail.com> <20150523160211.GA10577@nibbler> Message-ID: Also it is good to make a new generator in function which produces a nonce? E.g. generateNonce :: forall (m :: * -> *). (MonadIO m, Functor m) => m Text generateNonce = do g <- new nonce128urlT g ??, 7 ???? 2015 ?. ? 13:26, Geraldus : > Hi, Felipe! Thank you for sharing! > > The one question I have is there some good way to generate unique nonces? > > ??, 23 ??? 2015 ?. ? 22:01, Tobias Dammers : > >> Looks useful; feature request: something like >> >> nonce :: MonadIO => Int -> Generator >> >> (plus -url and -T flavors, obviously). I believe allowing the programmer >> to balance security vs. usability demands would be a good thing overall >> and worth a knob. >> >> -> m ByteString >> On Fri, May 22, 2015 at 08:06:18PM -0300, Felipe Lessa wrote: >> > (Please forgive me if you received multiple copies of this e-mail.) >> > >> > Hello, >> > >> > The nonce package [1] contains functions to easily generate >> > cryptographic nonces for many situations. Some places where these >> > generated nonces can be used include: >> > >> > - Password recovery e-mail tokens. >> > >> > - XSRF protection tokens. >> > >> > - Session IDs sent on cookies. >> > >> > - Initialization vectors. >> > >> > It uses an AES CPRNG periodically reseeded from /dev/urandom (or >> > equivalent). It has no frills, no knobs, so it's hard to misuse. It's >> > been available for an year but I just realized I've never properly >> > announced it. >> > >> > Regrettably, I've seen many uses of the random package (System.Random) >> > when generating nonces. It's a bad choice: it is not a >> > cryptographically secure PRNG, contains low entropy (64-bit state), and >> > its default usage is seeded predictably (using a constant seed). Please >> > avoid using the random package for generating nonces at all costs. In >> > its stead, use the nonce package or something similar. >> > >> > Cheers, >> > >> > [1] http://hackage.haskell.org/package/nonce >> > >> > -- >> > Felipe. >> > >> >> >> >> > _______________________________________________ >> > Haskell mailing list >> > Haskell at haskell.org >> > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell >> >> >> -- >> Tobias Dammers - tdammers at gmail.com >> _______________________________________________ >> Haskell-Cafe mailing list >> Haskell-Cafe at haskell.org >> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe >> > -------------- next part -------------- An HTML attachment was scrubbed... URL: From Y.Lin at hw.ac.uk Mon Jun 8 08:44:06 2015 From: Y.Lin at hw.ac.uk (YuHui Lin) Date: Mon, 8 Jun 2015 09:44:06 +0100 Subject: [Haskell] AVoCS 2015: Extended Paper Deadline Message-ID: <0F810096-D80D-41E9-A59B-8A0638C415F3@hw.ac.uk> ====================================================================== ---------------|*** AVoCS 2015: Deadline Extension ***|--------------- ====================================================================== *NEW* Submission of abstract (full papers): 15th June 2015 *NEW* Submission of full papers: 19th June 2015 ====================================================================== The 15th International Workshop on Automated Verification of Critical Systems 1-4 September 2015, Edinburgh, UK https://sites.google.com/site/avocs15/ avocs2015 at easychair.org -----------------------|*** HIGHLIGHTS ***|---------------------------- + Invited talks by Colin O'Halloran (D-RisQ/Oxford) Don Sannella (Contemplate/Edinburgh) + AI4FM workshop including invited talk by J Strother Moore (Univerity of Texas at Austin) + Student support from FME/SICSA sponsorships + Proceedings to be published by EASST + Special issues of Science of Computer Programming ======================================================================= IMPORTANT DATES Submission of abstract (full papers): 15th June 2015 Submission of full papers: 19th June 2015 Notification (full papers): 14th July 2015 Submission of research idea papers: 7th August 2015 Notification (research idea): 14th August 2015 Early registration: 18th August 2015 Submissions of final versions: 21st August 2015 INVITED SPEAKERS Colin O'Halloran (D-RisQ & the University of Oxford) Don Sannella (Contemplate & the University of Edinburgh) SPONSORS Formal Methods Europe (FME) The Scottish Informatics & Computer Science Alliance (SICSA) BACKGROUND The aim of Automated Verification of Critical Systems (AVoCS) 2015 is to contribute to the interaction and exchange of ideas among members of the international research community on tools and techniques for the verification of critical systems. SCOPE The subject is to be interpreted broadly and inclusively. It covers all aspects of automated verification, including model checking, theorem proving, SAT/SMT constraint solving, abstract interpretation, and refinement pertaining to various types of critical systems which need to meet stringent dependability requirements (safety-critical, business-critical, performance-critical, etc.). Contributions that describe different techniques, or industrial case studies are encouraged. The technical programme will consist of invited and contributed talks and also allow for short presentations of research ideas. The workshop will be relatively informal, with an emphasis on discussion where special discussion sessions will be organised around the research ideas presentations. Topics include (but are not limited to): - Model Checking - Automatic and Interactive Theorem Proving - SAT, SMT or Constraint Solving for Verification - Abstract Interpretation - Specification and Refinement - Requirements Capture and Analysis - Verification of Software and Hardware - Specification and Verification of Fault Tolerance and Resilience - Probabilistic and Real-Time Systems - Dependable Systems - Verified System Development - Industrial Applications WORKSHOPS AI4FM 2015: 1 September 2015 -- www.ai4fm.org/ai4fm-2015/ including invited talk by J Strother Moore (Univerity of Texas at Austin) VENUE The event will be held in the International Centre for Mathematical Sciences (ICMS) in the centre of the historic old town of Edinburgh - an UNESCO world heritage site. STUDENT GRANTS Thanks to sponsorships from FME and SICSA we can offer financial support for a limited number of students registering for AVoCS in the form of a registration fee waiver (full or partial). As this is limited, we ask the students that would like to take the advantage of this support to submit a short application. The details on how to apply will be available in due course from the AVoCS webpage. SUBMISSION DETAILS Submissions of full papers to the workshop must not have been published or be concurrently considered for publication elsewhere. All submissions will be peer-reviewed and judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the workshop. Submissions are handled via Easychair: https://easychair.org/conferences/?conf=avocs2015 The papers must be written in English and not exceed 15 pages and should use the dedicated AVoCS 2015 EASST template available rom the the following link (for LaTeX and Word): http://journal.ub.tu-berlin.de/eceasst AVoCS also encourages the submissions of research ideas in order to stimulate discussions at the workshop. Reports on ongoing work or surveys on work published elsewhere are welcome. The Programme Committee will select research ideas on the basis of submitted abstracts according to significance and general interest. Research ideas must be written in English and not exceed 2 pages using the EASST template. The presentation of these ideas will be organised around discussions, where the presenter should also prepare a set of question in which the audience will discuss. PROCEEDINGS At the workshop, pre-proceedings will be available in the form of a Heriot-Watt University Technical Report; this report will also include the research ideas. After the workshop, the authors of accepted full papers will have about one month in order to revise their papers for publication in the workshop post- proceedings which will appear in the Electronic Communications of the EASST Open Access Journal. Research ideas will not be part of the proceedings in the Open Access Journal. SPECIAL SCP JOURNAL ISSUE Authors of a selection of the best papers presented at the workshop will be invited to submit extended versions of their work for publication in a special issue of Elsevier's journal Science of Computer Programming. PROGRAM COMMITTEE Ernie Cohen, University of Pennsylvania, USA Ewen Denney, NASA Ames, USA Jean-Christophe Filliatre, CNRS, France Michael Goldsmith, University of Oxford, UK Gudmund Grov, Heriot-Watt University, UK (co-chair) Keijo Heljanko, Aalto University, Finland Mike Hinchey, University of Limerick, Ireland Marieke Huisman, University of Twente, Netherlands Andrew Ireland, Heriot-Watt University, UK (co-chair) Gerwin Klein, NICTA/UNSW, Australia Thierry Lecomte, ClearSy, France Peter Gorm Larsen, Aarhus University, Denmark Panagiotis (Pete) Manolios, Northeastern University, USA Stephan Merz, INRIA Nancy & LORIA, France Jaco van de Pol, University of Twente, Netherlands Markus Roggenbach, Swansea University, UK Marco Roveri, FBK, Italy Thomas Santen, Microsoft Research, Germany Bernard Steffen, Technical University Dortmund, Germany Jan Strej?ek, Masaryk University, Czech Republic Jun Sun, Singapore University of Technology and Design, Singapore Tayssir Touili, LIAFA, CNRS & University Paris Diderot, France Helen Treharne, University of Surrey, UK Laurent Voisin, Systerel, France Angela Wallenburg, Altran, UK John Wickerson, Imperial College London, UK Peter ?lveczky, University of Oslo, Norway ORGANISERS Gudmund Grov, Heriot-Watt University, UK Andrew Ireland, Heriot-Watt University, UK Yuhui Lin, Heriot-Watt University, UK (local arrangements and publicity chair) STEERING COMMITTEE Michael Goldsmith, University of Oxford, UK Stephan Merz, INRIA Nancy & LORIA, France Markus Roggenbach, Swansea University, UK ----- We invite research leaders and ambitious early career researchers to join us in leading and driving research in key inter-disciplinary themes. Please see www.hw.ac.uk/researchleaders for further information and how to apply. Heriot-Watt University is a Scottish charity registered under charity number SC000278. From vitalij_zad at libero.it Tue Jun 9 07:15:54 2015 From: vitalij_zad at libero.it (vitalij_zad at libero.it) Date: Tue, 9 Jun 2015 09:15:54 +0200 (CEST) Subject: [Haskell] ItaloHaskell, the Italian community Message-ID: <746561166.3908491433834154586.JavaMail.httpd@webmail-06.iol.local> ItaloHaskell is a project to form a community of Haskell programmers who live in Italy or speak Italian.The way I'd like to proceed is to form a critical mass online and then start meetups and conferences. There's a maling list here:https://groups.google.com/forum/#!forum/italohaskell A facebook group here:https://www.facebook.com/groups/ItaloHaskell/ A twitter account here:https://twitter.com/italo_haskell Please tell everyone who may be interested. Vitalij -------------- next part -------------- An HTML attachment was scrubbed... URL: From fa-ml at ariis.it Tue Jun 9 17:36:07 2015 From: fa-ml at ariis.it (Francesco Ariis) Date: Tue, 9 Jun 2015 19:36:07 +0200 Subject: [Haskell] [ANN] Lentil - a frugal issue tracker Message-ID: <20150609173607.GA7767@casa.casa> lentil - a frugal issue tracker If you litter your code with TODOs and FIXMEs, lentil [1] can help you make sense of that big mess into something nice and readable like: src/Lentil/File.hs 49 does upMan work windows? [feature:intermediate] src/Lentil/Parse.hs 26 eliminate lookahead? refactor parsing? [lint] [refactor] 54 add test for rotoscope [test] It supports tags, filtering, exporting and much more. Check the user manual [2] for more information. [1] http://hackage.haskell.org/package/lentil [2] http://www.ariis.it/static/articles/lentil-manual/page.html From dons00 at gmail.com Wed Jun 10 08:52:48 2015 From: dons00 at gmail.com (Don Stewart) Date: Wed, 10 Jun 2015 08:52:48 +0000 Subject: [Haskell] Haskell developer role with Strats at Standard Chartered London Message-ID: Hi all, I'm hiring (another) Haskell dev to join our team in London. Details here: https://donsbot.wordpress.com/2015/06/10/haskell-dev-role-in-strats-at-standard-chartered-london/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From maciej.pirog at cs.ox.ac.uk Mon Jun 15 08:12:38 2015 From: maciej.pirog at cs.ox.ac.uk (Maciej Pirog) Date: Mon, 15 Jun 2015 09:12:38 +0100 Subject: [Haskell] Summer School on Generic and Effectful Programming (2nd call for participation) Message-ID: Call for Participation SUMMER SCHOOL ON GENERIC AND EFFECTFUL PROGRAMMING St Anne's College, Oxford, 6th to 10th July 2015 http://www.cs.ox.ac.uk/projects/utgp/school/ TOPIC Generic programming is a technique that exploits the inherent structure that exists in data, to automatically produce efficient and flexible algorithms that can be adapted to suit different needs. The goal of this school is to explore datatype-generic programming and related topics from a variety of different angles, emphasizing in particular the interplay of generics and effects. This summer school is the closing activity of the EPSRC-funded project "Unifying Theories of Generic Programming" at Oxford University. LECTURERS Six lecturers from the Programming Languages community, each an acknowledged expert in their specialism, will cover various aspects of generic and effectful programming. Each will give about four hours' lectures, distributed throughout the week. Edwin Brady (University of St Andrews) "Embedded Domain-Specific Languages in Idris" Fritz Henglein (University of Copenhagen) "Worst-case Efficient Generic Functional Programming on Bulk Data" Andres L?h (Well-Typed) "Applying Type-level and Generic Programming in Haskell" Conor McBride (University of Strathclyde) "Datatypes of Datatypes" Don Syme (Microsoft Research) "Compile-time Meta-programming for the Information-rich World" Tarmo Uustalu (Tallinn University of Technology) "Containers for Effects and Contexts" PREREQUISITES The school is aimed at doctoral students in programming languages and related areas; however, researchers and practitioners will be very welcome, as will strong masters students with the support of a supervisor. It will be assumed that participants have a good understanding of typed functional programming, as in Haskell, O'Caml, or F#. DATES Registration deadline: 21st June 2015 School: 6th July (9am) to 10th July 2015 (lunchtime) COSTS Costs will be kept low, thanks to support from EPSRC. There will be a nominal registration fee of ?135, and B&B accommodation in college will be ?75 (ensuite) or ?48 (shared bathroom) per night. We can accept at most 50 participants; places will be allocated on a first-come, first-served basis. FURTHER INFORMATION Further information, including instructions on how to register, is available at the website: http://www.cs.ox.ac.uk/projects/utgp/school/ From dons00 at gmail.com Mon Jun 15 09:21:04 2015 From: dons00 at gmail.com (Don Stewart) Date: Mon, 15 Jun 2015 09:21:04 +0000 Subject: [Haskell] Haskell dev role in Strats at Standard Chartered London Message-ID: I'm hiring another Haskell dev to join the Strats team in London. Details here: https://donsbot.wordpress.com/2015/06/15/haskell-dev-role-in-strats-at-standard-chartered-london-2/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From canslow at ucalgary.ca Mon Jun 15 10:09:38 2015 From: canslow at ucalgary.ca (Craig Anslow) Date: Mon, 15 Jun 2015 10:09:38 +0000 Subject: [Haskell] VISSOFT 2015 - Call for Papers: New Ideas or Emerging Results and Tool Demos Message-ID: --------------------------------------- VISSOFT 2015 - Call for Papers: New Ideas or Emerging Results and Tool Demos 3rd IEEE Working Conference on Software Visualization (VISSOFT) September 27-28, 2015, Bremen, Germany Paper submission date: June 29, 2015 Notification: July 31, 2015 http://vissoft.info Software visualization is a broad research area encompassing concepts, methods, tools, and techniques that assist in a range of software engineering and software development activities. Covered aspects include the development and evaluation of approaches for visually analyzing software and software systems, including their structure, execution behavior, and evolution. The VISSOFT IEEE Working Conference on Software Visualization continues the history of the ACM SOFTVIS Symposium on Software Visualization and the IEEE VISSOFT International Workshop on Visualizing Software for Understanding and Analysis. The conference focuses on visualization techniques that target aspects of software maintenance and evolution, program comprehension, reverse engineering, and reengineering, i.e., how visualization helps professionals to understand, analyze, test and evolve software. We aim to gather tool developers, experts, users, and researchers from software engineering, information visualization, computer graphics, and human-computer interaction to discuss theoretical foundations, algorithms, techniques, tools, and applications related to software visualization. Topics of interest include, but are not limited to: * Innovative visualization and visual analytics techniques for software engineering data, such as, - source code - static and dynamic dependencies - software evolution and repositories - software documentation - web services - protocol, log, and performance data - parallel techniques - database schemes - software security and privacy issues - workflow and business processes * Visualization to support program comprehension, software testing, and debugging * Interaction techniques and algorithms for software visualization * Visualization-based techniques in computer science and software engineering education * Integration of software visualization tools and development environments * Empirical evaluation of software visualization * Industrial experience on using software visualization VISSOFT features a New Ideas or Emerging Results (NIER) track and a Tool Demo track related to the list of topics suggested above. Papers are solicited that present original, unpublished research results and will be rigorously reviewed by an international program committee. The NIER contributions (New Ideas and Emerging Results) describe work-in-progress and preliminary exciting results. Authors should include open questions and even provocative hypotheses to get early feedback on their research ideas or even support through new research collaborations. Tool contributions describe the design or actual utilization of software visualization tools, with a focus on relevant tool construction aspects or the use of the tool for gaining new insights. Authors should be prepared to demonstrate their tool at the conference. The submission may also contain a link to a screencast (video). All accepted submissions will appear in the conference proceedings and the IEEE Digital Library. -== How to Submit ==- Both types of papers have to be maximum 5 pages long (including bibliography and annexes). Paper submission date: June 29, 2015 (previously: June 15, 2015) Notification: July 31, 2015 Submissions must be submitted online via the VISSOFT 2015 EasyChair conference management system at https://easychair.org/conferences/?conf=vissoft2015 Please adhere to the formatting instruction published on the ICSME website: http://www.icsme.uni-bremen.de/formatting.php -== Organizing Committee ==- General Chair: J?rgen Doellner, Hasso-Plattner-Institut, Germany Program Co-Chairs: Fabian Beck, University of Stuttgart, Germany Alexandre Bergel, University of Chile, Chile NIER/Tool Co-Chairs: Craig Anslow, Middlesex University, UK Johan Fabry, University of Chile, Chile NIER/Tool Program Committee: Bilal Alsallakh TU Vienna, Austria Jennifer Baldwin Swinburne University,Australia Ivan Beschastnikh University of British Columbia, Canada Usman Bhatti INRIA Lille / Synectique, France Michael Burch University of Stuttgart, Germany Andrei Chis Bern University, Switzerland Neville Churcher University of Canterbury, New Zealand Marcus Denker INRIA Lille, France Coen De Roover Vrije Universiteit Brussel, Belgium Jens Dietrich Massey University, New Zealand Bogdan Dit Boise State University, US Matthias Frisch Magdeburg University, Germany Maria-Elena Froese University of Victoria, Canada Michael Homer Victoria University of Wellington, New Zealand James A. Jones University of California, Irvine, US Adrian Kuhn AirBNB, US Jannik Laval Ecole Des Mines de Douai, France Paul Leger Universidad Catolica Del Norte, Chile Andrea Mocci University of Lugano, Switzerland Tim Molderez Vrije Universiteit Brussel, Belgium Chris Parnin NC State University, US Michael Perscheid HPI-Universtat Potsdam, Germany David Roethlisberger Universidad Diego Portales, Chile Christian Tominski University of Rostock, Germany --------------------------------------- -------------- next part -------------- An HTML attachment was scrubbed... URL: From rrnewton at gmail.com Tue Jun 16 16:37:40 2015 From: rrnewton at gmail.com (Ryan Newton) Date: Tue, 16 Jun 2015 12:37:40 -0400 Subject: [Haskell] Postdoc position in parallel/distributed functional programming Message-ID: Indiana University invites applications for a postdoctoral position in the programming languages research cluster (http://lambda.soic.indiana.edu/) with a possible dual affiliation with the Center for Research on Extreme Scale Technologies (CREST, http://crest.iu.edu/). The position is in Prof. Newton's research group and will emphasize parallel functional programming. Our group works on all aspects of parallel programming libraries and languages. One theme is extending and improving guaranteed-deterministic programming environments. Typical research projects include either (1) improvements to the GHC Haskell compiler, runtime, and library ecosystem or (2) work on domain-specific languages and compilers, frequently embedded in Haskell, and targeting backends like CUDA, LLVM, or OpenCL. Experience with any of the following would be a positive: Haskell development, GHC internals, compiler construction, FRP or stream processing, parallel programming and performance tuning, and purely functional parallelism.. General duties in this postdoctoral position include: software implementation and empirical evaluation; working with colleagues on large research infrastructure efforts; writing up and presenting research; mentoring junior group members; and pursuing new research directions within the context of overall group aims. The IU Bloomington School of Informatics and Computing is the first of its kind and among the largest in the country, with unsurpassed breadth. It includes the Dept. of Computer Science and Informatics and the Dept. of Information and Library Science, which comprise over 85 tenure-line faculty, 900 graduate students, and 1100 undergraduate majors. Located in the wooded rolling hills of southern Indiana, Bloomington is a culturally thriving college town with a moderate cost of living and the amenities for an active lifestyle. IU is renowned for its top-ranked Jacobs School of Music, high performance computing and networking facilities, and performing and fine arts. Indiana University is an equal employment and affirmative action employer and a provider of ADA services. All qualified applicants will receive consideration for employment without regard to age, ethnicity, color, race, religion, sex, sexual orientation or identity, national origin, disability status or protected veteran status. Indiana University is responsive to the needs of dual career couples. Applications will be accepted until the position is filled. Salary will be competitive for computer science postdocs in the United States. *Start date:* September 2015 or later. *Duration:* variable, but at least one year. Both inquiries and applications welcome. An application should consist of a CV, including publications, and a short written description explaining interest in and fit for the position, together with contact info for references who may be contacted as needed. All inquiries and application material should be sent to Ryan Newton (rrnewton at indiana.edu) -------------- next part -------------- An HTML attachment was scrubbed... URL: From ky3 at atamo.com Thu Jun 18 01:04:01 2015 From: ky3 at atamo.com (Kim-Ee Yeoh) Date: Thu, 18 Jun 2015 08:04:01 +0700 Subject: [Haskell] Haskell Weekly News Message-ID: *Top Picks:* - Andrew Gibiansky announces the Mathematica-inspired REPL 2.0 IHaskell as a web-app you can play with right now . Bouquets include: "This is an awesome step up from the tryhaskell window." Also, "I love IHaskell. I've already started preferring it to ghci since it's so much easier to use." More /r/haskell love here . - Mihai Maruseac and Alejandro Serrano Mena publish the 28th Haskell Communities and Activities Report . Top comment on HN : "Haskell is backed by a truly amazing community. Haskell will continue to inspire people to build better, safer software. I hope that the values of tolerance, respect and benevolence that most of the Haskell community is supporting will also contribute to make tech a more friendly and equal place for everyone." - Bicycling in circles just to find parking in Utrecht? Bas van Dijk launches a city-wide monitoring system that guides you to a space that's free, dry, and safe . Written in Haskell 'natch, even the front-end leverages GHCJS. Devops'ed in NixOS. He tips off his fellow redditors about using blaze-react to wrap Facebook's React library. HN-worthy . - Announcing on haskell-cafe and /r/haskell , Sean Seefried open sources a Docker script that instantly gets you a Haskell build environment for Android game development . No more fiddling with cross-compiles. He even gives you an open source game all mobile-ready. Thanks, Sean! - Vincent Hanquez releases cryptonite , a single package that consolidates 10-20 other crypto packages. Why? Because maintaining multiple packages is a pain involving fiddling with dependency version bounds and changelog/cabal/version metadata. Benefit for the user? Easier discovery of crypto widgets now that they are all in one haddock, as opposed to hidden in a package whose name eludes you. Kibbitz on /r/haskell . - Joe Nelson discovered Haskell two years ago and calls it "moon language." Now he works full-time at Wagon, an all-Haskell start-up offering "a modern data collaboration tool." He's proud of his team that "excels at debugging gnarly issues, including a memory leak caused by a useful yet tricky language feature called lazy evaluation." But what's the buzz that HN and /r/haskell latch on? Answer: The pros and cons of effectful point-free refactoring. - Fredrik Olsen migrates from Ruby on Rails (RoR) to Haskell at fintech start-up Bdellium. Unlike RoR where he "always had a much harder time" with an existing codebase, he testifies that "Haskell let me quickly browse the code, read the types and almost instantly understand the structure and layout of the program." Hiring for RoR nets him "a few hundred applications" where only "10?20% I?d say are people that I?d actually be interested in hiring." Hiring for Haskell gets "50 responses to the Reddit post, all of them were people that I could have hired. Many of the applicants were even grossly over-qualified and were willing to take the job just because it would let them work in Haskell." Ben Ford of Fynder.io corroborates Fredrik in the top comment on /r/haskell . Phil Wadler reblogs the story and zooms in on how Fredrik gained 3.7x parallelism from 4 cores by merely tweaking a single line of code. Control.Parallel.Strategies ftw! - Arnaud Bailly shares on HN that he had "no issue finding talent" for Haskell jobs in Singapore. "150 qualified applicants (i.e. passed the test, which was to design an inventory management system in Haskell) for ~10 positions, all foreign; the majority came from the US, Germany and Scandinavia." - If type errors can be deferred, why not also "name not found"? Tom Ellis asks . He thinks it would make Haskell "gentler for newcomers." For veterans: even more stub-driven-dev opportunities. Coincidentally, Dan Burton spitballed the same on /r/haskell . This idea has a history stretching back at least 3 years: see trac ticket #5910 . - David Luposchainsky proposes to move the fail method out of the Monad type class . With the deeply thought out blueprint he provides, /r/haskell reports that the community's already working on it. Discussion on libraries list . - Anthony Cowley proposes a shorter syntax for imports on haskell-cafe and trac . He withdraws his proposal five days later because the "disdainful mockery" and "strongly worded rebuttals" have him overwhelmed on what is only a "nights and weekends project." Reddit discussion here . - Henk-Jan van Tuyl runs smack into a library .a-extension File Not Found problem when installing data-default-instances-old-locale on 7.10. Culprit? Windows! And its %&@#! 255-character filepath limit. He is not alone . Why is 7.8 ok? Because package names in the filepath used to be abbreviated. Workaround? Instead of cabal install X, download it first: cabal get X, then cabal install ./X. Thanks to Matej Borovec and Michal Antkiewicz for sorting it out. - FP Complete announces Stack , a replacement for cabal-install the command-line tool (not Cabal the library infrastructure). Stack leverages Stackage Long-Term Support (LTS) releases for a speedy escape from cabal hell. Warmly received on /r/haskell . Dan Burton blogs on how Stack eases development by removing the need to remember a sequence of cabal commands . HN-worthy and a troll that Haskell's "an esoteric language that no one uses" provokes many a valiant, evidence-backed defense . - Redditor beerdude26 nudges folks on /r/haskell to continue cultivating the haskell wiki . He sets an example by splicing in the common newtype workaround into the entry on orphan instances. - In HN news : Cloud Haskell -- Erlang-style concurrent and distributed programming. Top comment notes that whereas the web site suggests that activity stopped in 2014, CH actually thrives on Github . - In HN news : Haskell wiki entry on Frag , a 2005 undergrad project by Mun Hon Cheong who recreated a Quake3-like First-Person Shooter (FPS) game using Yampa FRP. Although a decade old, Cody Goodman reports that he's gotten it to compile. - In HN news : APL lives! A functional programmer investigates APL , discovers that it "looks every bit as mind-bending and unbe?liev?able as scenes from Johnny Depp?s *Fear and Loathing in L**as Vegas*", and summarizes the syntax for the benefit of all. *Quotes of the Week:* - A typeclass with only one instance is nonsensical, and often a symptom of trying to use typeclasses as OO classes. -- Brandon Allbery - That Haskell shows the developer things about themselves even they didn't know is enough to make it worth learning. It's mind-bending and ideology-exposing. -- Redditor on /r/haskell - Haskell's great for writing an ugly solution and fixing it later because refactoring is so cheap. No need to get it right the first time. -- Gabriel Gonzalez on Twitter -- Kim-Ee nights and weekends project -------------- next part -------------- An HTML attachment was scrubbed... URL: From Leila at uaeu.ac.ae Thu Jun 18 07:16:25 2015 From: Leila at uaeu.ac.ae (Leila Fayez Ismail) Date: Thu, 18 Jun 2015 07:16:25 +0000 Subject: [Haskell] [Deadline Extended: 15 July 2015] IEEE 11th International Conference on Innovations IIT'15, Dubai, UAE Message-ID: <70DAF03E26F942429AD80FC3C3AD9E5D47D1D260@PEXMBOX20101.uaeu.ac.ae> Dear Colleagues, Due to numerous requests, and end-of-semester busy period for authors, we are pleased to inform you that the papers submission deadline has been extended. Kindly find the CFP below. Apologies if you receive multiple copies of this CFP. Please feel free to distribute the IIT'15 CFP to your colleagues, students and networks. CALL FOR PAPERS 2015 11th International Conference on Innovations in Information Technology (IIT'15) Special Theme: Smart Living Cities, Big Data and Sustainable Development November 01-03, 2015, Dubai, UAE ------------IMPORTANT: Submission Deadline Extended----- More information is available at: http://www.it-innovations.ae/ IEEE Technical Sponsorship by IEEE Computer Society. All papers will be published by IEEE and included in IEEE Xplore digital library, and all other global indices. News: Extended papers will be invited for possible publication in a Springer Book, indexed in Springer global indices, one of the largest databases in the world and Scopus including citations: approved. BEST PAPER AWARDS Two best papers of the conference will be selected by the program committee. One will be awarded the "Best Research Paper Award" and another one will be awarded the ?Best Application Paper Award? (for application-oriented submissions). IMPORTANT DATES Papers and Student Posters Submission 15 July 2015 (extended) Submission of Tutorials 15 July 2015 (extended) Notification for Tutorials 30 August 2015 Notification for Papers and Student Posters from 9 September 2015 Final Camera-Ready 29 September 2015 SCOPE The International Conference on Innovations in Information Technology 2015 (IIT?15) is a forum that addresses the latest ideas in information technology (IT). The theme of IIT?15 is Smart Cities and all of the software and hardware technologies that are required to provide better living conditions in the cities of tomorrow. This theme will be reflected by a number of tracks which focus on different aspects of related technologies such as Big Data, cloud computing, collaborative platforms, communication infrastructures, smart health, smart learning, social participation, sustainable development and energy management. All of those themes will be brought together by unifying invited high quality keynotes and panels. CONFERENCE TRACKS/THEMES Topics of interest include but not limited to the following major tracks/themes. Research papers are invited but not limited to the following areas: Track A: Innovations in Information and Communication Infrastructures - Advanced Network Technologies, Heterogeneous networks, and Real Time Networks - Quality of Services - Next Generation of Mobile Networks - Ad-Hoc and Sensor Networks, Wireless Networks - Distributed Systems, Grid Computing - Smart Grid - Mobility Management and Mobile computing - Information and Cyber Security for Smart Living Spaces Track B: Internet of Things (IoT) ICT Architecture for IoT - System design, Modeling and Simulation - Grid Computing , and Cloud Computing - Real-Time Systems for IoT, Autonomic Systems - Security, Privacy, Trust and Reliability - Software Design and Development of IoT-Based Applications - Intelligent Data Processing - Smart Appliances & Wearable Computing Devices Track C: Smart Collaborative Platforms and Logistics Agile Information Systems - Design, Modeling and Simulation of Collaborative Applications - Practice and Experiences of Collaborative Applications - Risk Management, Smart Business - Middleware Support for Collaboration - Real-Time Information Sharing and Interaction - AI and Decision-Support Systems Track D: Big Data and Smart Applications - Big Data Analytics and Algorithms - High Performance Computing and Real-Time of Big Data Processing - Big Data Storage and Distribution - Data Mining - Grid Computing and Cloud Computing - Middleware for Smart Applications - e-Health, Smart Learning, Intelligent Processing and Intelligent Applications Track E: Cyber-Physical Energy Systems - Theory, Tools and Applications - System Design, Modeling and Simulation - Testbeds and Experiences - Algorithms for Energy Efficiency - Middleware - Design and Development of Protocols for Sustainable energy - Design and Development of Secure and Resilient Systems SUBMISSIONS IIT'15 seeks original manuscripts (of up to 6 pages maximum in IEEE two-column format) describing research in all aspects of IT that contribute to the conference themes. Papers submitted to the conference should present original work that has not been previously published or is currently under review by other conferences or journals. All papers will be peer reviewed, and authors of accepted papers are expected to present their work at the conference. Submissions of tutorial, special session, and workshop proposals are also welcome. The submission guidelines are available at http://www.it-innovations.ae/iit2015/Authors.html. Paper submission should be done through http://www.edas.info KEYNOTE SPEAKERS Chair Professor Christian Wagner Smart Cities and Social Media City University Hong Kong Associate Provost for Quality Assurance Dr. Babu Narayanan Smart Cities and The Future of Energy General Electric (GE) Global Research, Bangalore, India Senior Principal Scientist Dr. Michael P. Perrone Smart Cities and Data Centric Systems IBM T.J. Watson Research Center, NY, USA Program Director Data Centric Systems Client Partnerships Professor Elizabeth Chang Smart Cities and Intelligent Logistics Ecosystem University of New South Wales (UNSW) Australia Canberra Fellow and IEEE Fellow We look forward to welcoming you in Dubai at IIT'15 in November 2015. On behalf of the IIT'15 Organizing Committee --- Dr. Leila Ismail, IIT'15 Chair Founder & Director to High Performance & Grid/Cloud Computing Research Lab College of IT, UAE University 17551, Al-Maqam, Al-Ain, UAE Email: leila at uaeu.ac.ae Tel.: +971-3-7135530 Mobile: +971-50-8311059 Fax : +971-3-7672018 http://fit.uaeu.ac.ae/en/academic_tracks_programs/int/profile.shtml?email=leila at uaeu.ac.ae http://citweb.uaeu.ac.ae/citweb/profile/leila Disclaimer:"The content of this email together with any attachments, statements and opinions expressed herein contains information that is confidential in nature and intended for the named addressee(s) only. If you are not the addressee of this email or you have received this message in error please notify the sender and delete the message and any associated files from your system, you have no right to copy, print, distribute or use this email or any of its attachments, or permit or disclose its contents to any other party in any way, except with the prior approval of the sender. In case of breach of what has been explained above, you will be held legally accountable." ?????: "?????: ?? ????? ??? ?????? ?????????? ???????? ???????? ?????? ??????? ?? ??? ??????? ????? ??? ??????? ????? ??? ????? ????? ??????? ?????? ???? ???? ???? ?? ??? ?????? ???? ?? ??? ??????? ?? ??? ?? ????? ??????? ??????? ????? ????? ??????? ???? ??????? ???? ????? ?????? ?? ?????? ????? ??? ?? ??? ???? ???? ?? ??? ?? ????? ?? ????? ?? ??????? ??????? ??? ?????? ??????????? ?? ?????? ?? ????? ?? ??? ??? ??? ??? ??? ?? ??? ??? ??????? ????? ?? ?????? ????? ??? ?????? ??? ??? ?????? ???????? ?????????" . www.uaeu.ac.ae -------------- next part -------------- An HTML attachment was scrubbed... URL: From brucker at spamfence.net Fri Jun 19 20:57:36 2015 From: brucker at spamfence.net (Achim D. Brucker) Date: Fri, 19 Jun 2015 22:57:36 +0200 Subject: [Haskell] OCL 2015: Second Call for Papers - Only Four Weeks Left Message-ID: <20150619205736.GA13515@fujikawa.home.brucker.ch> (Apologies for duplicates) CALL FOR PAPERS 15th International Workshop on OCL and Textual Modeling Tools and Textual Model Transformations Co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015) September 28th, 2015, Ottawa, Canada http://ocl2015.lri.fr 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/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 2015 Conference in Ottawa, Canada. 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, and 2014 in Valencia, Spain. 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 =========== Three types of papers will be considered: * short papers (between 6 and 8 pages) describing ideas, * tool papers (between 6 and 8 pages), and * full papers (between 12 and 16 pages) in LNCS format. Submissions should be uploaded to EasyChair (https://easychair.org/conferences/?conf=ocl20150). 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 pre-conference edition of CEUR (http://www.ceur-ws.org). Important Dates =============== Submission of papers: July 17, 2015 Notification: August 21, 2015 Workshop date: September 28, 2015 Organizers ========== Achim D. Brucker, SAP SE, Germany Marina Egea, Indra Sistemas S.A., Spain Martin Gogolla, University of Bremen, Germany Frederic Tuong, Univ. Paris-Sud - IRT SystemX - LRI, France Programme Committee =================== Mira Balaban, Ben-Gurion University of the Negev, Israel Tricia Balfe, Nomos Software, Ireland Achim D. Brucker, SAP SE, Germany Fabian Buettner, Inria - Ecole des Mines de Nantes, France Jordi Cabot, Inria - Ecole des Mines de Nantes, France Dan Chiorean, Babes-Bolyai University, Romania Robert Clariso, Universitat Oberta de Catalunya, Spain Tony Clark, Middlesex University, UK Manuel Clavel, IMDEA Software Institute, Spain Carolina Dania, 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 Frederic Tuong, Univ. Paris-Sud - IRT SystemX - LRI, France Claas Wilke, Technische Universitat Dresden, Germany Edward Willink, Willink Transformations Ltd., UK Burkhart Wolff, Univ. Paris-Sud - LRI, France Steffen Zschaler, King's College, UK -- Dr. Achim D. Brucker, SAP SE, Vincenz-Priessnitz-Str. 1, D-76131 Karlsruhe Phone: +49 6227 7-52595, http://www.brucker.ch/ From spider.vz at gmail.com Fri Jun 19 22:53:06 2015 From: spider.vz at gmail.com (Vadim Zaytsev) Date: Sat, 20 Jun 2015 00:53:06 +0200 Subject: [Haskell] GTTSE 2015 -- Call for Participation Message-ID: GTTSE 2015 -- Call for Participation The 5th Summer School on Grand Timely Topics in Software Engineering (GTTSE) Sunday 23 Aug - Saturday 29 Aug, 2015, Braga, Portugal http://gttse.wikidot.com/ Registration is open for participants! http://gttse.wikidot.com/2015:registration There is a students' workshop to which one may submit. http://gttse.wikidot.com/2015:students-workshop List of speakers ================ * Matthew Dwyer (University of Nebraska, USA): Probabilistic program analysis * Cesar Gonzalez-Perez (Spanish National Research Council (CSIC), Spain): How ontologies can help in software engineering * Stefan Hanenberg (University of Duisburg-Essen, Germany): Empirical Evaluation of Programming and Programming Language Constructs * Fr?d?ric Jouault (ESEO Institute of Science and Technology, France): Model Synchronization * Julia Rubin (MIT, USA): To merge or not to merge: managing software product families * Leif Singer (University of Victoria, Canada): People Analytics in Software Development * Ulrik Pagh Schultz (University of Southern Denmark, Denmark): DSLs in Robotics: A Case Study in Programming Self-reconfigurable Robots * Yannis Smaragdakis (University of Athens, Greece): Structured Program Generation Techniques * Friedrich Steimann (FernUniversit?t in Hagen, Germany): Refactoring and beyond * Nikolai Tillmann (Microsoft Research, USA): Software Engineering Processes in the Cloud * Guido Wachsmuth (Delft University of Technology, The Netherlands): Name Binding: Paradigms, Representation and Specification Scope ===== Historically, in the first four editions of GTTSE, the school series focused on generative and transformational techniques in software engineering, as evident from the original acronym (GTTSE - Generative and Transformational Techniques in Software Engineering). With the rise of the Software Language Engineering conference, the school series also covered that field. As of the 5th edition, a broader scope is applied to include additional areas of software engineering, e.g., software analysis, empirical research, modularity, and product lines. Thus, the new expansion of the GTTSE acronym: Grand Timely Topics in Software Engineering. The notion of timely topics is inspired by the ICSE conference which, in its 2015 edition, features technical briefings as "a venue for communicating the current state of a timely topic related to software engineering". Format ====== The school's scientific program of GTTSE 2015 consists of 10 briefings for different timely topics in software engineering. Each briefing is based on a relatively short paper which combines aspects of surveying and tutorial. The surveying aspect is realized specifically by the design constraint for the briefings to dedicate 50% to the analysis of related work. The remaining 50% are typically dedicated to the more specific research of the presenters. Each briefing gets allotted 2-3 sessions with up to 3 hours in total. The speakers for the briefings are established authorities in their respective fields. GTTSE 2015 also features a students' workshop. These presentations may be refined into submissions of short papers (6-8 pages LNCS style) to be peer-reviewed and considered for inclusion in the post-proceedings past the school. All material presented at the school will be collected in informal proceedings to be handed out solely to the participants. Formal and public post-proceedings will be compiled after the summer school where all contributions are subjected to reviewing. The post-proceedings of the school will be published in a volume of the Lecture Notes in Computer Science series of Springer International Publishing. The post-proceedings of the previous four instances of the summer school were published as LNCS 4143 (GTTSE 2005), LNCS 5235 (GTTSE 2007), LNCS 6491 (GTTSE 2009) and LNCS 7680 (GTTSE 2011). Important dates =============== * 3 July: Early Registration Deadline * 7 August: Late Registration Deadline * 23-29 August: Summer School * 15 October: Submission deadline for post-proceedings * 15 December: Notifications of authors * 1 February: Camera-ready submissions Organization committee ====================== * J?come Cunha (Universidade Nova de Lisboa, Portugal) - Organization Chair * Jo?o Paulo Fernandes (Universidade da Beira Interior, Portugal) - Program Chair * Ralf L?mmel (Universit?t Koblenz-Landau, Germany) - Briefings Chair * Jo?o Saraiva (Universidade do Minho, Portugal) - General Chair * Joost Visser (Software Improvement Group, The Netherlands) - Industry Chair * Vadim Zaytsev (Universiteit van Amsterdam, The Netherlands) - Publicity Chair Scientific committee ==================== * Bram Adams (?cole Polytechnique de Montr?al) * Benoit Baudry (INRIA) * Xavier Blanc (Bordeaux 1 University) * Darius Blasband (RainCode) * Paulo Borba (Federal University of Pernambuco) * Mark van den Brand (Eindhoven University of Technology) * Martin Bravenboer (LogicBlox Inc.) * Jordi Cabot (INRIA-?cole des Mines de Nantes) * Jo?o Cardoso (FEUP/Universidade do Porto) * Michel Chaudron (Chalmers & Gothenborg University) * Anthony Cleve (University of Namur) * Beno?t Combemale (Universit? de Rennes 1) * Alcino Cunha (Universidade de Minho) * J?come Cunha (Universidade Nova de Lisboa) * Juan De Lara (Universidad Autonoma de Madrid) * Andrea De Lucia (University of Salerno) * Coen De Roover (Vrije Universiteit Brussel) * Davide Di Ruscio (Universit? degli Studi dell'Aquila) * Zinovy Diskin (McMaster University / University of Waterloo) * Rudolf Ferenc (University of Szeged) * Jo?o M. Fernandes (Universidade do Minho) * Jo?o Paulo Fernandes (Universidade da Beira Interior) * Jo?o Saraiva (Universidade do Minho) * Mike Godfrey (University of Waterloo) * Martin Gogolla (University of Bremen) * Jeff Gray (University of Alabama) * Mark Grechanik (University of Illinois at Chicago) * Yann-Ga?l Gu?h?neuc (?cole Polytechnique de Montr?al) * Gorel Hedin (Lund University) * Florian Heidenreich (DevBoost GmbH) * Pedro Rangel Henriques (Universidade do Minho) * Felienne Hermans (Delft University of Technology) * Dirk Heuzeroth (Hochschule Heilbronn) * Robert Hirschfeld (Hasso-Plattner-Institut) * Zhenjiang Hu (NII) * Marianne Huchard (Universit? Montpellier 2 et CNRS) * Jean-Marc J?z?quel (University of Rennes 1) * Foutse Khomh (?cole Polytechnique de Montr?al) * Holger Kienle (Freier Informatiker) * Dimitris Kolovos (University of York) * Nicholas A. Kraft (ABB Corporate Research) * Jens Krinke (University College London) * Christian K?stner (Carnegie Mellon University) * Paul Klint (Centrum Wiskunde & Informatica) * Ralf L?mmel (Universit?t Koblenz-Landau) * Michele Lanza (University of Lugano) * Timothy Lethbridge (University of Ottawa) * David Lo (Singapore Management University) * Tiziana Margaria (Lero) * Erik Meijer (Delft University of Technology) * Marjan Mernik (University of Maribor) * Ana Moreira (Universidade Nova de Lisboa) * Jos? Nuno Oliveira (Universidade do Minho) * Rocco Oliveto (University of Molise) * Richard Paige (University of York) * Alfonso Pierantonio (Universit? degli Studi dell'Aquila) * Juergen Rilling (Concordia University) * Sibylle Schupp (Hamburg University of Technology) * Bran Selic (Malina Software Corp.) * Alexander Serebrenik (Eindhoven University of Technology) * Tony Sloane (Macquarie University) * Sim?o Melo de Sousa (Universidade da Beira Interior) * Tijs van der Storm (Centrum Wiskunde & Informatica) * James Terwilliger (Microsoft Corporation) * Laurence Tratt (King's College London) * Antonio Vallecillo (Universidad de M?laga) * Eric Van Wyk (University of Minnesota) * Jurgen Vinju (Centrum Wiskunde & Informatica) * Joost Visser (Radboud University Nijmegen) * Markus V?lter (independent) * Tanja E. J. Vos (Universidad Polit?cnica de Valencia) * Andreas Winter (Carl von Ossietzky University) * Victor Winter (University of Nebraska at Omaha) * Andy Zaidman (Delft University of Technology) * Vadim Zaytsev (Universiteit van Amsterdam) From canslow at ucalgary.ca Sun Jun 21 16:05:15 2015 From: canslow at ucalgary.ca (Craig Anslow) Date: Sun, 21 Jun 2015 16:05:15 +0000 Subject: [Haskell] SPLASH 2015 - 2nd Combined Call for Contributions Message-ID: /************************************************************************************/ ACM Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH'15) Pittsburgh, Pennsylvania, USA 25th-30th October, 2015 http://www.splashcon.org Sponsored by ACM SIGPLAN /************************************************************************************/ COMBINED CALL FOR CONTRIBUTIONS Demos Doctoral Symposium Dynamic Languages Symposium (DLS) OOPSLA Artifacts Posters SPLASH-E Student Research Competition Student Volunteers Tutorials Wavefront Workshops Co-Located Conferences: SLE, GPCE, DBPL, PLoP /************************************************************************************/ The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software construction and delivery to make it the premier conference at the intersection of programming, languages, and software engineering. SPLASH is now accepting submissions. We invite high quality submissions describing original and unpublished work. Most of the following tracks have submissions due: 30 JUNE ** Demos ** The SPLASH Demonstrations track is an excellent vehicle for sharing your latest work with an experienced and technically savvy audience. Live demonstrations show the impact of software innovation. Demonstrations are not product sales pitches, but rather an opportunity to highlight, explain, and present interesting technical aspects of running applications in a dynamic and highly interactive setting. Presenters are encouraged to actively solicit feedback from the audience, which should lead to very interesting and entertaining demonstration sessions. Submissions Due: 30 June, 2015 http://2015.splashcon.org/track/splash2015-demos ** Doctoral Symposium ** The SPLASH Doctoral Symposium provides students with useful guidance for completing their dissertation research and beginning their research careers. The Symposium will provide an interactive forum for doctoral students who have progressed far enough in their research to have a structured proposal, but will not be defending their dissertation in the next 12 months. Submissions Due: 30 June, 2015 http://2015.splashcon.org/track/splash2015-ds ** Dynamic Languages Symposium (DLS) ** The 11th Dynamic Languages Symposium (DLS) at SPLASH 2015 is the premier forum for researchers and practitioners to share knowledge and research on dynamic languages, their implementation, and applications. The influence of dynamic languages ? from Lisp to Smalltalk to Python to Javascript ? on real-world practice and research continues to grow. Submissions Due: 15 June, 2015 http://2015.splashcon.org/track/dls2015-papers ** OOPSLA Artifacts ** The Artifact Evaluation process is a service provided by the community to help authors of accepted papers provide more substantial supplements to their papers so future researchers can more effectively build on and compare with previous work. The Artifact Evaluation Committee has been formed to assess how well paper authors prepare artifacts in support of such future researchers. Roughly, authors of papers who wish to participate are invited to submit an artifact that supports the conclusions of the paper. Submissions Due: 9 June, 2015 http://2015.splashcon.org/track/splash2015-artifacts ** 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. Posters can be independent presentations or associated with one of the other parts of SPLASH. Submissions Due: 30 June, 2015 http://2015.splashcon.org/track/splash2015-posters ** SPLASH-E ** The SPLASH-E track brings together researchers and educators to share educational results, ideas, and challenges centered in Software and Programming Languages. Submission formats vary, including papers, tool demos, lightning talks, challenge-topics for discussion, and suggested themes for "unconference" sessions. Help us create an engaging forum for educational issues related to SPLASH! Submissions Due: 30 June, 2015 http://2015.splashcon.org/track/splash2015-splash-e ** Student Research Competition ** The ACM SIGPLAN Student Research Competition (ACM SRC) is an internationally-recognized venue that enables undergraduate and graduate students to experience the research world, 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. Submissions Due: 30 June, 2015 http://2015.splashcon.org/track/splash2015-src ** Student Volunteers ** The SPLASH Student Volunteer program provides an opportunity for students from around the world to associate with some of the leading personalities in industry and research in the following areas: programming languages, object-oriented technology and software development. Student volunteers contribute to the smooth running of the conference by performing tasks such as: assisting with registration, providing information about the conference to attendees, assisting session organizers and monitoring sessions. Submissions Due: 7 August, 2015 http://2015.splashcon.org/track/splash2015-sv ** Tutorials ** The SPLASH 2015 Tutorials programme will consist of prestigious tutorials on current topics in software, systems, and languages research. The scope of Tutorials is the same as the conference itself: all aspects of software construction and delivery at the intersection of programming, languages, and software engineering. Tutorials in particular focus on the nexus between research and practice, including work that takes inspiration from or builds connections to areas not commonly considered at SPLASH. Tutorials should introduce researchers to current research in an area, or show important new tools that can be used in research. Submissions Due: 30 June, 2015 http://2015.splashcon.org/track/splash2015-tutorials ** Wavefront ** The SPLASH Wavefront track is looking for presentations and technology talks of interest to the software community, particularly to software professionals working in companies large and small. Wavefront is a forum for presenting experience reports and tutorials about innovative tools, technologies, and software practices. Submissions Due: 30 June, 2015 http://2015.splashcon.org/track/splash2015-wavefront ** Workshops ** The SPLASH Workshops track will host a variety of high-quality workshops, allowing their participants to meet and discuss research questions with peers, to mature new and exciting ideas, and to build up communities and start new collaborations. SPLASH workshops complement the main tracks of the conference and provide meetings in a smaller and more specialized setting. Workshops cultivate new ideas and concepts for the future, optionally recorded in formal proceedings. Late Phase Submissions Due: 30 June, 2015 http://2015.splashcon.org/track/splash2015-workshops ** Co-Located Events ** SLE - 8th International Conference on Software Language Engineering (SLE) Submissions Due: 15 June, 2015 http://conf.researchr.org/home/sle2015 GPCE - 14th International Conference on Generative Programming: Concepts & Experiences (GPCE) Submissions Due: 21 June, 2015 http://conf.researchr.org/home/gpce2015 DBPL - 15th Symposium on Database Programming Languages (DBPL) Submissions Due: 15 June, 2015 http://conf.researchr.org/home/dbpl2015 PLoP - 22nd International Conference on Pattern Languages of Programming (PLoP) Submissions Due: 12 May, 2015 http://www.hillside.net/plop/2015/ Information: SPLASH Early Registration Deadline: 25 September, 2015 Contact: info at splashcon.org Website: http://2015.splashcon.org Location: Sheraton Station Square Hotel Pittsburgh, Pennsylvania, United States Organization: SPLASH General Chair: Jonathan Aldrich (Carnegie Mellon University) OOPSLA Papers Chair: Patrick Eugster (Purdue University) Onward! Papers Chair: Gail Murphy (University of British Columbia) Onward! Essays Chair: Guy Steele (Oracle Labs) DLS Papers Chair: Manuel Serrano (INRIA) Artifacts Co-Chairs: Robby Findler (Northwestern University) and Michael Hind (IBM Research) Demos Co-Chair: Igor Peshansky (Google) and Pietro Ferrara (IBM Research) Doctoral Symposium Chair: Yu David Liu, State University of New York (SUNY) Binghamton Local Arrangements Chair: Claire Le Goues (Carnegie Mellon University) PLMW Workshop Co-Chairs: Darya Kurilova (Carnegie Mellon University) and Zachary Tatlock (University of Washington) Posters Co-Chairs: Nick Sumner (Simon Fraser University) Publications Chair: Alex Potanin (Victoria University of Wellington) Publicity and Web Co-Chairs: Craig Anslow (University of Calgary) and Tijs van der Storm (CWI) SPLASH-E Chair: Eli Tilevich (Virginia Tech) SPLASH-I Co-Chairs: Tijs van der Storm (CWI) and Jan Vitek (Northeastern University) Student Research Competition Co-Chairs: Sam Guyer (Tufts University) and Patrick Lam (University of Waterloo) Student Volunteer Co-Chairs: Jonathan Bell (Columbia University) and Daco Harkes (TU Delft) Sponsorship Chair: Tony Hosking (Purdue University) Tutorials Co-Chair: Romain Robbes (University of Chile) and Ronald Garcia (University of British Columbia) Video Chair: Michael Hilton (Oregon State University) Videos Previews Czar: Thomas LaToza (University of California, Irvine) Wavefront Co-Chairs: Dennis Mancl (Alcatel-Lucent) and Joe Kiniry (Galois) Web Technology Chair: Eelco Visser (TU Delft) Workshop Co-Chairs: Du Li (Carnegie Mellon University) and Jan Rellermeyer (IBM Research) /************************************************************************************/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From Nalqirim at uaeu.ac.ae Mon Jun 22 11:40:54 2015 From: Nalqirim at uaeu.ac.ae (Nabeel Al-Qirim) Date: Mon, 22 Jun 2015 11:40:54 +0000 Subject: [Haskell] CF STUDENT POSTERS for Innovations'15 (No registration fees), Dubai, November 01-03, 2015 In-Reply-To: <613A9065892D6441AC7E1D2FE4E16EA147C6A13A@PEXMBOX20101.uaeu.ac.ae> References: <613A9065892D6441AC7E1D2FE4E16EA147C6A13A@PEXMBOX20101.uaeu.ac.ae> Message-ID: <613A9065892D6441AC7E1D2FE4E16EA147D2BD44@PEXMBOX20101.uaeu.ac.ae> Dear Colleagues, Due to numerous requests, we are pleased to inform you that full papers and extended-abstract-posters submission deadline has been extended to July 15, 2015. Kindly find the CFP below, and please note the theme and the topics. IIT?15: The 11th International Conference on Innovations in Information Technology 2015 URL: http://www.it-innovations.ae/iit2015/posters.html The IIT?15 Student Poster and Demos Committee invites all undergraduate and graduate students to submit an extended (2 pages max.) abstract and to display it as a poster during the IIT?15. The poster topic should fall within the conference?s theme and tracks. SUBMISSION Extended abstracts should be sent to Dr. Nabeel Al-Qirim at nalqirim at uaeu.ac.ae. All students are encouraged to review their abstracts with their faculty advisers prior to submission. All accepted abstracts will be published by the IIT?15 proceedings. NEW IMPORTANT DATES -Student Poster (Extended Paper) Submission July 15, 2015 -Notification of Student Poster acceptance from September 9, 2015 -Camera ready Extended Paper and Poster material September 29, 2015 -Conference November 01-03, 2015 BEST STUDENT POSTER AWARDS There will be a competition for best student poster award at the IIT?15. This award will be given to recognize student excellence in research and presentation. CONTACT Queries should be directed to: Dr. Nabeel Al-Qirim at nalqirim at uaeu.ac.ae Thanks, Dr. Nabeel Al-Qirim IIT?15 Student Poster and Demos Chair College of Information Technology United Arab Emirates University P.O Box 15551 - Al Ain United Arab Emirates Tel: +971-3-7135531 Mobile: +971-507308705 Fax: +971-3-7672018 Email: nalqirim at uaeu.ac.ae Website: http://nalqirim.wix.com/nabeel-al-qirim -----Original Message----- From: Haskell [mailto:haskell-bounces at haskell.org] On Behalf Of Nabeel Al-Qirim Sent: Monday, March 09, 2015 3:23 PM To: haskell at haskell.org; Haskell Cafe Subject: [Haskell] CF STUDENT POSTERS for Innovations'15 (No registration fees), Dubai, November 01-03, 2015 CF STUDENT POSTERS for Innovations'15 (No registration fees), Dubai, November 01-03, 2015 IIT?15: The 11th International Conference on Innovations in Information Technology 2015 URL: http://www.it-innovations.ae/iit2015/posters.html The IIT?15 Student Poster and Demos Committee invites all undergraduate and graduate students to submit an extended (2 pages max.) abstract and to display it as a poster during the IIT?15. The poster topic should fall within the conference?s theme and tracks. SUBMISSION Extended abstracts should be sent to Dr. Nabeel Al-Qirim at nalqirim at uaeu.ac.ae. All students are encouraged to review their abstracts with their faculty advisers prior to submission. All accepted abstracts will be published by the IIT?15 proceedings. IMPORTANT DATES -Student Poster (Extended Paper) Submission May 30, 2015 -Notification of Student Poster acceptance July 15, 2015 -Camera ready Extended Paper and Poster material September 01, 2015 -Conference November 01-03, 2015 BEST STUDENT POSTER AWARDS There will be a competition for best student poster award at the IIT?15. This award will be given to recognize student excellence in research and presentation. CONTACT Queries should be directed to: Dr. Nabeel Al-Qirim at nalqirim at uaeu.ac.ae Thanks, Dr. Nabeel Al-Qirim IIT?15 Student Poster and Demos Chair College of Information Technology United Arab Emirates University P.O Box 15551 - Al Ain United Arab Emirates Tel: +971-3-7135531 Mobile: +971-507308705 Fax: +971-3-7672018 Email: nalqirim at uaeu.ac.ae Website: http://nalqirim.wix.com/nabeel-al-qirim Disclaimer:"The content of this email together with any attachments, statements and opinions expressed herein contains information that is confidential in nature and intended for the named addressee(s) only. If you are not the addressee of this email or you have received this message in error please notify the sender and delete the message and any associated files from your system, you have no right to copy, print, distribute or use this email or any of its attachments, or permit or disclose its contents to any other party in any way, except with the prior approval of the sender. In case of breach of what has been explained above, you will be held legally accountable." ?????: "?? ????? ??? ?????? ?????????? ?? ?? ?????? ????????? ??????? ??????? ?? ??? ??????? ????? ??? ??????? ????? ???? ???????? ??????? ?????? ???? (?) ??? ??? ?? ??? ?????? ???? ?? ??? ??????? ?? ??? ?? ????? ???. ?? ????? ?????? ?????? ????? ?????? ???? ??????? ???? ????? ?????? ?? ?????? ????? ??? ??? ???? ???? ?? ??? ?? ??????? ?? ??????? ?? ??????? ??? ?????? ?????????? ?? ?? ?? ???????? ?? ?????? ?? ????? ?? ???????? ??? ?? ??? ??? ?? ??? ??? ?? ???????? ??? ??????? ????? ?? ??????? ??? ???? ??? ?? ??? ????? ?????? ??? ???? ?? ?????? ???????" . www.uaeu.ac.ae _______________________________________________ Haskell mailing list Haskell at haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell Disclaimer:"The content of this email together with any attachments, statements and opinions expressed herein contains information that is confidential in nature and intended for the named addressee(s) only. If you are not the addressee of this email or you have received this message in error please notify the sender and delete the message and any associated files from your system, you have no right to copy, print, distribute or use this email or any of its attachments, or permit or disclose its contents to any other party in any way, except with the prior approval of the sender. In case of breach of what has been explained above, you will be held legally accountable." ?????: "?????: ?? ????? ??? ?????? ?????????? ???????? ???????? ?????? ??????? ?? ??? ??????? ????? ??? ??????? ????? ??? ????? ????? ??????? ?????? ???? ???? ???? ?? ??? ?????? ???? ?? ??? ??????? ?? ??? ?? ????? ??????? ??????? ????? ????? ??????? ???? ??????? ???? ????? ?????? ?? ?????? ????? ??? ?? ??? ???? ???? ?? ??? ?? ????? ?? ????? ?? ??????? ??????? ??? ?????? ??????????? ?? ?????? ?? ????? ?? ??? ??? ??? ??? ??? ?? ??? ??? ??????? ????? ?? ?????? ????? ??? ?????? ??? ??? ?????? ???????? ?????????" . www.uaeu.ac.ae From ivan.miljenovic at gmail.com Mon Jun 22 13:21:18 2015 From: ivan.miljenovic at gmail.com (Ivan Lazar Miljenovic) Date: Mon, 22 Jun 2015 23:21:18 +1000 Subject: [Haskell] ANNOUNCE: fgl-arbitrary Message-ID: I've just released the first version of fgl-arbitrary [1], which provides Arbitrary instances for fgl graphs for use with QuickCheck. Also provided are some wrapper newtypes to produce specific types of graphs, and also the ability to generate just valid node and edge lists for use with other graph-like data structures. [1]: http://hackage.haskell.org/package/fgl-arbitrary -- Ivan Lazar Miljenovic Ivan.Miljenovic at gmail.com http://IvanMiljenovic.wordpress.com From akenn at microsoft.com Fri Jun 26 14:48:10 2015 From: akenn at microsoft.com (Andrew Kennedy) Date: Fri, 26 Jun 2015 14:48:10 +0000 Subject: [Haskell] ICFP 2015 Student Research Competition: Final Call for Submissions Message-ID: ====================================================================== CALL FOR SUBMISSIONS SRC at ICFP 2015 Vancouver, Canada 31 August - 2 September 2015 http://www.icfpconference.org/icfp2015/src.html Co-located with the International Conference on Functional Programming (ICFP 2015) ====================================================================== Student Research Competition ---------------------------- This year ICFP will host a Student Research Competition where undergraduate and postgraduate students can present posters. The SRC at ICFP 2015 consists of three rounds: * Extended abstract round. All students are encouraged to submit an extended abstract of up to 800 words outlining their research. * Poster session. Based on the abstracts, a panel of judges will select the most promising entrants to participate in the poster session which will take place at ICFP. Students who make it to this round will be eligible for some travel support to attend the conference. In the poster session, students will have the opportunity to present their work to the judges, who will select three finalists in each category (graduate/undergraduate) to advance to the next round. * ICFP presentation. The last round will consist of an oral presentation at ICFP to compete for the final award. Prizes ------ * The top three graduate and the top three undergraduate winners will receive prizes of $500, $300, and $200, respectively. * All six winners will receive award medals and a two-year complimentary ACM student membership, including a subscription to ACM's Digital Library. * The names of the winners will be posted on the ACM SRC web site. * The first-place winners will be invited to participate in the ACM SRC Grand Finals, an on-line round of competition among the winners of conference-hosted SRCs. * Grand Finalists and their advisors will be invited to the Annual ACM Awards Banquet for an all-expenses-paid trip, where they will be recognized for their accomplishments along with other prestigious ACM award winners, including the winner of the Turing Award (also known as the Nobel Prize of Computing). * The top three graduate Grand Finalists will receive an additional $500, $300, and $200. Likewise, the top three undergraduate Grand Finalists will receive an additional $500, $300, and $200. All six Grand Finalists will receive Grand Finalist certificates. * The ACM, Microsoft Research, and our industrial partners provide financial support for students attending the SRC. You can find more information about this on the ACM website. Eligibility ----------- The SRC is open to both undergraduate (not in a PhD programme) and graduate students (in a PhD programme). Upon submission, entrants must be enrolled as a student at their universities, and are ACM student members. Furthermore, there are some constraints on what kind of work may be submitted. Previously published work: Submissions should consist of original work (not yet accepted for publication). If the work is a continuation of previously published work, the submission should focus on the contribution over what has already been published. We encourage students to see this as an opportunity to get early feedback and exposure for the work they plan to submit to the next ICFP or POPL. Collaborative work: Students are encouraged to submit work they have been conducting in collaboration with others, including advisors, internship mentors, or other students. However, submissions are individual, so they must focus on the contributions of the student. Submission Details ------------------ Each submission should include the student author's name, institutional affiliation, e-mail address, and postal address; research advisor's name; ACM student member number; category (undergraduate or graduate); research title; and an extended abstract addressing the following: * Problem and Motivation: Clearly state the problem being addressed and explain the reasons for seeking a solution to this problem. * Background and Related Work: Describe the specialized (but pertinent) background necessary to appreciate the work. Include references to the literature where appropriate, and briefly explain where your work departs from that done by others. * Approach and Uniqueness: Describe your approach in attacking the problem and clearly state how your approach is novel. * Results and Contributions: Clearly show how the results of your work contribute to computer science and explain the significance of those results. The abstract must describe the student's individual research and must be authored solely by the student. If the work is collaborative with others and/or part of a larger group project, the abstract should make clear what the student's role was and should focus on that portion of the work. The extended abstract must not exceed 800 words and must not be longer than 2 pages. The reference list does not count towards these limits. To submit an abstract, please register through the submission page and follow the instructions. Abstracts submitted after the deadline may be considered at the committee's discretion, but only after decisions have been made on all abstracts submitted before the deadline. If you have any problems, don't hesitate to contact the competition chair. Please submit your abstract at the EasyChair submission page: https://easychair.org/conferences/?conf=icfp2015src Important Dates --------------- * Deadline for submission: 29 June * Notification of acceptance: 14 July Selection Committee ------------------- To include: Andrew Kennedy, Microsoft Research Cambridge (chair) Derek Dreyer, MPI-SWS, Saarbrucken Stephanie Weirich, University of Pennsylvania David Van Horn, University of Maryland -------------- next part -------------- An HTML attachment was scrubbed... URL: