August 2013 - Haskell

2 PhD students, dependent types/functional programming, Chalmers
by Nils Anders Danielsson 09 Aug '13

09 Aug '13

Hi, We have openings for two PhD students in dependent type theory and functional programming at Chalmers. Here is an excerpt from the ad: "The PhD students will join the Programming Logic group and contribute to its research on dependent type theory and functional programming. The Programming Logic Group has done pioneering work in the general area of type theory and its applications, including implementation of proof assistants, dependently typed programming, metatheoretical investigations of logical system, and formalisation of mathematics. Current topics of interest include: - Design of dependently typed functional programming languages. - Theory and implementation of type checkers, compilers etc. for dependently typed functional programming languages. - Investigations into the use of dependently typed functional programming languages, both as programming languages and as logical systems. - Univalent foundations of mathematics. - Models of type theory." Full text of the advertisement: http://www.chalmers.se/en/about-chalmers/vacancies/Pages/default.aspx?rmpag… Application deadline: 2013-09-01 -- /NAD

1 0

Call for Papers: FTSCS 2013
by Huibiao Zhu 09 Aug '13

09 Aug '13

----------------------------------------------------------------- Call for Papers FTSCS 2013 2nd International Workshop on Formal Techniques for Safety-Critical Systems Queenstown, New Zealand, October 29, 2013 (satellite workshop of ICFEM 2013) http://www.ftscs.org ----------------------------------------------------------------- *** Science of Computer Programming special issue *** *** Springer CCIS proceedings *** Aims and Scope: There is an increasing demand in industry to use formal methods to achieve software-independent verification and validation of safety-critical systems, e.g., in fields such as avionics, automotive, medical, and other cyber-physical systems. Newer standards, such as DO-178C (avionics) and ISO 26262 (automotive), emphasize the need for formal methods and model-based development, speeding up the adaptation of such methods in industry. The aim of this workshop is to bring together researchers and engineers who are interested in the application of formal and semi-formal methods to improve the quality of safety-critical computer systems. In particular, FTSCS strives strives to promote research and development of formal methods and tools for industrial applications, and is particularly interested in industrial applications of formal methods. Specific topics include, but are not limited to: * case studies and experience reports on the use of formal methods for analyzing safety-critical systems, including avionics, automotive, medical, and other kinds of safety-critical and QoS-critical systems * methods, techniques and tools to support automated analysis, certification, debugging, etc., of complex safety/QoS-critical systems * analysis methods that address the limitations of formal methods in industry (usability, scalability, etc.) * formal analysis support for modeling languages used in industry, such as AADL, Ptolemy, SysML, SCADE, Modelica, etc. * code generation from validated models. The workshop will provide a platform for discussions and the exchange of innovative ideas, so submissions on work in progress are encouraged. Invited speaker: TBA Submission: We solicit submissions reporting on: A- original research contributions (15 pages max, LNCS format); B- applications and experiences (15 pages max, LNCS format); C- surveys, comparisons, and state-of-the-art reports (15 pages max, LNCS format); D- tool papers (5 pages max, LNCS format); E- position papers and work in progress (5 pages max, LNCS format) related to the topics mentioned above. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Paper submission will be done electronically via EasyChair at http://www.easychair.org/conferences/?conf=ftscs2013. The final version of the paper must be prepared in LaTeX, adhering to the LNCS format available at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0. Publication: All accepted papers will appear in the pre-proceedings of FTSCS 2013. Accepted papers in the categories A-D above will appear in the workshop proceedings that will be published as a volume in Springer's CCIS series. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to appear in a special issue of the Science of Computer Programming journal. Important dates: Submission deadline: September 1, 2013 Notification of acceptance: September 28, 2013 Workshop: October 29, 2013 Venue: Queenstown, New Zealand Program chairs: Cyrille Artho AIST, Japan Peter Olveczky University of Oslo, Norway Program committee: Erika Abraham RWTH Aachen University, Germany Musab AlTurki King Fahd University of Petroleum and Minerals, Saudi Arabia Toshiaki Aoki JAIST, Japan Farhad Arbab Leiden University and CWI, The Netherlands Cyrille Artho AIST, Japan Saddek Bensalem Verimag, France Armin Biere Johannes Kepler University, Austria Santiago Escobar Universidad Politecnica de Valencia, Spain Ansgar Fehnker University of the South Pacific, Fiji Mamoun Filali IRIT, France Bernd Fischer Stellenbosch University, South Africa and University of Southampton, UK Kokichi Futatsugi JAIST, Japan Klaus Havelund NASA JPL, USA Marieke Huisman University of Twente, The Netherlands Ralf Huuck NICTA/UNSW, Sydney, Australia Fuyuki Ishikawa National Institute of Informatics, Tokyo, Japan Takashi Kitamura AIST, Japan Alexander Knapp Augsburg University, Germany Paddy Krishnan Oracle Labs Brisbane, Australia Yang Liu Nanyang Technological University, Singapore Robi Malik University of Waikato, New Zealand Cesar Munoz NASA Langley, USA Tang Nguyen UST Hanoi, Vietnam Thomas Noll RWTH Aachen University, Germany Peter Olveczky University of Oslo, Norway Paul Pettersson Malardalen University, Sweden Camilo Rocha Escuela Colombiana de Ingenieria, Colombia Grigore Rosu University of Illinois at Urbana-Champaign, USA Neha Rungta NASA Ames, USA Ralf Sasse ETH Zurich, Switzerland Oleg Sokolsky University of Pennsylvania, USA Sofiene Tahar Concordia University, Canada Carolyn Talcott SRI International, USA Tatsuhiro Tsuchiya Osaka University, Japan Michael Whalen University of Minnesota, USA Peng Wu Chinese Academy of Sciences, China Contact: (web) http://www.ftscs.org (email) peterol(a)ifi.uio.no and c.artho(a)aist.go.jp

1 0

ANN: FunGEn 0.4.2, an easy cross-platform OpenGL/GLUT game engine
by Simon Michael 08 Aug '13

08 Aug '13

I'm pleased to announce the hackage release of FunGEn 0.4! (Actually 0.4.2 as my 0.4 announcement did not reach the mail lists.) FunGEn (Functional Game Engine) is a BSD-licensed, cross-platform, OpenGL/GLUT-based, imperative game engine/framework. With very few dependencies and two example games, it's one of the easiest ways to get started with game development in Haskell. FunGEn was probably the first Haskell game framework, created by Andre Furtado in 2002 (!). Here's his original feature list: * Initialization, updating, removing, rendering and grouping routines for game objects; * Definition of a game background (or map), including texture-based maps and tile maps; * Reading and intepretation of the player's keyboard input; * Collision detection; * Time-based functions and pre-defined game actions; * Loading and displaying of 24-bit bitmap files; * Some debugging and game performance evaluation facilities; * Sound support (actually for windows platforms only... :-[ ) What's new in 0.4.x: * a new hakyll-based website, incorporating the old site content * new haddock documentation * tested with GHC 7.6 * fixed buggy input when holding down keys on windows * input handlers now receive mouse position and modifier state (inspired by Pradeep Kumar; see fungentest.hs for examples) * added q as quit key in examples Home: http://joyful.com/fungen Hackage: http://hackage.haskell.org/package/FunGEn Code: http://hub.darcs.net/simon/fungen Install from hackage: $ cabal update $ cabal install FunGEn Install source and run examples: $ darcs get http://hub.darcs.net/simon/fungen $ cd fungen $ cabal install $ (cd examples/pong; ghc pong; ./pong) $ (cd examples/worms; ghc worms; ./worms) Contribute patches: - log in to hub.darcs.net and fork http://hub.darcs.net/simon/fungen - push changes to your branch - give me a "pull request" on #haskell-game I have maintained FunGEn very sporadically. If you'd like to take it and run with it, or co-maintain, let's chat! I'm sm on the #haskell-game IRC channel. -Simon

1 0

ANN: Monad.Reader Issue 22
by Edward Z. Yang 08 Aug '13

08 Aug '13

I am pleased to announce that Issue 22 of the Monad Reader is now available. http://themonadreader.files.wordpress.com/2013/08/issue22.pdf Issue 22 consists of the following two articles: * "Generalized Algebraic Data Types in Haskell" by Anton Dergunov * "Error Reporting Parsers: a Monad Transformer Approach" by Matt Fenwick and Jay Vyas * "Two Monoids for Approximating NP-Complete Problems" by Mike Izbicki Feel free to browse the source files. You can check out the entire repository using Git: git clone https://github.com/ezyang/tmr-issue22.git If you’d like to write something for Issue 23, please get in touch! Cheers, Edward

2 1

Fwd: ACM SIGPLAN Erlang Workshop Call for Participation
by Laura M. Castro 08 Aug '13

08 Aug '13

---------------------------------------------------------------------- CALL FOR PARTICIPATION Erlang Workshop 2013 12th ACM SIGPLAN Erlang Workshop September 28, 2013 Boston, Massachusetts (the day after ICFP 2013) http://www.erlang.org/workshop/2013/ ---------------------------------------------------------------------- This workshop brings together the open source, academic, and industrial programming communities of Erlang. It aims to enable participants to familiarize themselves with recent developments on new techniques and tools tailored to Erlang, novel applications, draw lessons from users' experiences and identify research problems and common areas relevant to the practice of Erlang and functional programming. ------------ Registration ------------ Deadline for early registration: 22 August 2013 Web site: https://regmaster3.com/2013conf/ICFP13/register.php This is the registration site for ICFP 2013 and all the affiliated workshops including Erlang Workshop 2013. ------------------------------------------ Keynote by Justin Sheehy (CTO Basho Technologies) ------------------------------------------ At this year's Erlang Workshop, we have the pleasure of presenting Justin Sheehy as our keynote speaker. Justin is a prominent member of the Erlang community not only due to his leadership in Erlang development efforts to create and maintain Webmachine and Riak (both are very well known and highly respected Erlang systems); but also for his efforts to promote Erlang through conference speaking, social media, and as a member of the Industrial Erlang Users Group. He has a very high level of knowledge and wisdom regarding distributed systems, and his CTO position affords him a view of both industry and academia that few others have. ---------------------- List of Accepted Talks ---------------------- Session: Scalability And Performance Using Many-core Coprocessor to Boost up Erlang VM (by Siyao Zheng, Xiang Long, Jingwei Yang) On the Scalability of the Erlang Term Storage (by David Klaftenegger, Konstantinos Sagonas, Kjell Winblad) Riak PG: Distributed Process Groups on Dynamo-style Distributed Storage (by Christopher Meiklejohn) Multicore Profiling for Erlang Programs Using Percept2 (by Huiqing Li, Simon Thompson) Session: Extending Erlang Software Agents Mobility using Process Migration Mechanism in Distributed Erlang (by Michał Piotrowski, Wojciech Turek) Actor Scheduling for Multicore Hierarchical Memory Platforms (by Emilio Francesquini, Alfredo Goldman, Jean-François Mehaut) Extending Erlang by Utilising RefactorErl (by Dániel Horpácsi) Session: Testing Turning Web Services Descriptions into QuickCheck Models for Automatic Testing (by Macías López, Henrique Ferreiro, Miguel A. Francisco, Laura M. Castro) Testing blocking operations with QuickCheck's component library (by Ulf Norell, Hans Svensson, Thomas Arts) Poster Session Scalable Persistent Storage for Erlang: Theory and Practice (by Amir Ghaffari, Natalia Chechina, Phil Trinder, Jon Meredith) Towards an Abstraction for Remote Evaluation Services in Erlang (by Adrian Francalanza, Tyron Zerafa) Property-based testing of RESTful Web Services (by Pablo Lamela Seijas, Simon Thompson, Huiqing Li) --------------------- Program Committee --------------------- Steve Vinoski, Basho Technologies, USA (Workshop Chair) Laura M. Castro, University of A Coruña, Spain (Program Chair) Lars-Ake Fredlund, Universidad Politécnica de Madrid, Spain Kevin Hammond, University of St. Andrews, UK Torben Hoffman, Erlang Solutions Limited, UK Zoltán Horváth, Eötvös Loránd University, Hungary Kenneth Lundin, Ericsson AB, Sweden Mickaël Rémond, ProcessOne, France Kenji Rikitake, Basho Japan KK, Japan Simon Thompson, University of Kent, UK -- Laura M. Castro Department of Computer Science Universidade da Coruña (Spain) http://www.madsgroup.org/staff/laura

1 0

Haskell Weekly News: Issue 275
by Daniel Santa Cruz 08 Aug '13

08 Aug '13

Welcome to issue 275 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers the week of July 28 to August 3, 2013. Quotes of the Week * littlecalculist: combinatorics. n. math's way of punishing you for failing to use abstraction. * dmwit: ?let instance Num Bool where (+) = (/=); (*) = (&&); negate = id; abs = id; signum = id; fromInteger = odd * edwardk: clearly it should be \x -> x <$ do f . g $ x. do is a magical () killing machine * dmwit: Type families are not injective. Your first three inscrutable error messages with type families in them will be because you don't understand this rule. * elliott: halting problem, n. the property which makes stating anything about programs impossible, according to at least one person in any room * carmack: Everything that is syntactically legal that the compiler will accept will eventually wind up in your codebase. Top Reddit Stories * John Carmack talking at length about Haskell in his QuakeCon Keynote speech (live) Domain: twitch.tv, Score: 105, Comments: 47 On Reddit: [1] http://goo.gl/1g1zqD Original: [2] http://goo.gl/C17ci8 * SPJ: GHC's Glorious future Domain: haskell.org, Score: 79, Comments: 16 On Reddit: [3] http://goo.gl/97DGuc Original: [4] http://goo.gl/YAY6wC * There's a massive gap between the "average" and "expert" Haskeller. How do I bridge that gap? Domain: self.haskell, Score: 73, Comments: 53 On Reddit: [5] http://goo.gl/Y3jEoa Original: [6] http://goo.gl/Y3jEoa * Getting Started With GHC Hacking Domain: dagit.github.io, Score: 64, Comments: 2 On Reddit: [7] http://goo.gl/ZwHVpm Original: [8] http://goo.gl/ljhyff * Extensible Effects: An Alternative to Monad Transformers Domain: cs.indiana.edu, Score: 63, Comments: 47 On Reddit: [9] http://goo.gl/2JqImi Original: [10] http://goo.gl/zq5klw * The Intel Labs Haskell Research Compiler [pdf] Domain: leafpetersen.com, Score: 55, Comments: 19 On Reddit: [11] http://goo.gl/wRQs7E Original: [12] http://goo.gl/2eZhEX * Goto in Haskell Domain: self.haskell, Score: 36, Comments: 34 On Reddit: [13] http://goo.gl/pelEJo Original: [14] http://goo.gl/pelEJo * The Algebra of Algebraic Data Type Domain: chris-taylor.github.io, Score: 35, Comments: 3 On Reddit: [15] http://goo.gl/PPi0M1 Original: [16] http://goo.gl/xE78Ko * Functors and monads for analyzing data Domain: izbicki.me, Score: 32, Comments: 16 On Reddit: [17] http://goo.gl/42ux1T Original: [18] http://goo.gl/LAJ7ti * Why use _ <-? Domain: self.haskell, Score: 31, Comments: 24 On Reddit: [19] http://goo.gl/QpGPP1 Original: [20] http://goo.gl/QpGPP1 * CIS 194: Introduction to Haskell (Spring 2013) Domain: cis.upenn.edu, Score: 30, Comments: 3 On Reddit: [21] http://goo.gl/9zHuXb Original: [22] http://goo.gl/cNyEOT * The Commutative monad Domain: gelisam.blogspot.ca, Score: 30, Comments: 41 On Reddit: [23] http://goo.gl/kDVTrl Original: [24] http://goo.gl/mTCHL0 * FRP GUI - reactive-banana + threepenny-gui = awesome Domain: apfelmus.nfshost.com, Score: 30, Comments: 11 On Reddit: [25] http://goo.gl/xu91UA Original: [26] http://goo.gl/9Vu6ng Top StackOverflow Questions * Monad Stack Penetration Classes with Free/Operational Monad Transformers? votes: 16, answers: 1 Read on SO: [27] http://goo.gl/t4F6kd * Haskell reexport everything votes: 12, answers: 1 Read on SO: [28] http://goo.gl/7HQCVC * What are the main differences between Scala and Frege (in programming paradigms)? votes: 11, answers: 2 Read on SO: [29] http://goo.gl/TRhjDB * If a thunk results in an exception, is the exception kept as the result of the thunk? votes: 10, answers: 1 Read on SO: [30] http://goo.gl/rPSd6J * Check if import is redundant votes: 9, answers: 1 Read on SO: [31] http://goo.gl/jEqBnt * Haskell Parser Combinators votes: 9, answers: 1 Read on SO: [32] http://goo.gl/YCrsX3 * A library implementation of a recursion scheme votes: 8, answers: 1 Read on SO: [33] http://goo.gl/DdYPtw Until next time, [34]+Daniel Santa Cruz References 1. http://www.twitch.tv/bethesda?utm_campaign=live_embed_click&utm_source=www.… 2. http://www.reddit.com/r/haskell/comments/1jj40p/john_carmack_talking_at_len… 3. http://www.haskell.org/pipermail/ghc-devs/2013-August/001818.html 4. http://www.reddit.com/r/haskell/comments/1jky60/spj_ghcs_glorious_future/ 5. http://www.reddit.com/r/haskell/comments/1jeo0p/theres_a_massive_gap_betwee… 6. http://www.reddit.com/r/haskell/comments/1jeo0p/theres_a_massive_gap_betwee… 7. http://dagit.github.io/posts/2013-08-03-getting-started-with-ghc-hacking.ht… 8. http://www.reddit.com/r/haskell/comments/1jnaz5/getting_started_with_ghc_ha… 9. http://www.cs.indiana.edu/~sabry/papers/exteff.pdf 10. http://www.reddit.com/r/haskell/comments/1j9n5y/extensible_effects_an_alter… 11. http://www.leafpetersen.com/leaf/publications/hs2013/hrc-paper.pdf 12. http://www.reddit.com/r/haskell/comments/1jh4iv/the_intel_labs_haskell_rese… 13. http://www.reddit.com/r/haskell/comments/1jk06q/goto_in_haskell/ 14. http://www.reddit.com/r/haskell/comments/1jk06q/goto_in_haskell/ 15. http://chris-taylor.github.io/blog/2013/02/13/the-algebra-of-algebraic-data… 16. http://www.reddit.com/r/haskell/comments/1jhq7k/the_algebra_of_algebraic_da… 17. http://izbicki.me/blog/functors-and-monads-for-analyzing-data 18. http://www.reddit.com/r/haskell/comments/1ja3js/functors_and_monads_for_ana… 19. http://www.reddit.com/r/haskell/comments/1jcls5/why_use/ 20. http://www.reddit.com/r/haskell/comments/1jcls5/why_use/ 21. http://www.cis.upenn.edu/~cis194/ 22. http://www.reddit.com/r/haskell/comments/1j9m5e/cis_194_introduction_to_has… 23. http://gelisam.blogspot.ca/2013/07/the-commutative-monad.html 24. http://www.reddit.com/r/haskell/comments/1jegxb/the_commutative_monad/ 25. http://apfelmus.nfshost.com/blog/2013/08/02-reactive-banana-threepenny.html 26. http://www.reddit.com/r/haskell/comments/1jk16t/frp_gui_reactivebanana_thre… 27. http://stackoverflow.com/questions/17936900/monad-stack-penetration-classes… 28. http://stackoverflow.com/questions/18035458/haskell-reexport-everything 29. http://stackoverflow.com/questions/17905322/what-are-the-main-differences-b… 30. http://stackoverflow.com/questions/18018254/if-a-thunk-results-in-an-except… 31. http://stackoverflow.com/questions/17904265/check-if-import-is-redundant 32. http://stackoverflow.com/questions/18028220/haskell-parser-combinators 33. http://stackoverflow.com/questions/18013547/a-library-implementation-of-a-r… 34. https://plus.google.com/105107667630152149014/about

1 0

ANNOUNCE : heukarya, genetic programming library in Haskell
by 14875 06 Aug '13

06 Aug '13

I am pleased to announce a new genetic programming project is released on hackage now. I created a Gene interface for any possible implements of Gene with a Data.Dynamic implementation. my next goals are creating a new implementation of Gene by using package plugins <http://hackage.haskell.org/package/plugins> for evolving haskell code directly and implement distributed computing for this library. It's also hosted on github <https://github.com/t3476/heukarya> He-chien Tsai

3 4

Call for Participation: HOPE 2013 (with special session in memory of John Reynolds)
by Hongseok Yang 06 Aug '13

06 Aug '13

---------------------------------------------------------------------- CALL FOR PARTICIPATION HOPE 2013 The 2nd ACM SIGPLAN Workshop on Higher-Order Programming with Effects September 28, 2013 Boston, Massachusetts (the day after ICFP 2013) http://hope2013.mpi-sws.org ---------------------------------------------------------------------- HOPE 2013 aims at bringing together researchers interested in the design, semantics, implementation, and verification of higher-order effectful programs. It will be *informal*, consisting of invited talks and contributed talks on work in progress. ------------ Registration ------------ Deadline for early registration: 22 August 2013 Web site: https://regmaster3.com/2013conf/ICFP13/register.php This is the registration site for ICFP 2013 and all the affiliated workshops including HOPE 2013. ------------------------------------------ Special Session in Memory of John Reynolds ------------------------------------------ At this year's HOPE, we will organize a special session in memory of the late John Reynolds, who developed several seminal results on the design, semantics, and verification of higher-order programs with effects. The session will include talks from the following invited speakers: Olivier Danvy Robert Harper Peter O'Hearn Uday Reddy This special session is sponsored in part by a generous donation from Microsoft Research. ---------------------- List of Accepted Talks ---------------------- (1) Adam Chlipala. Adventures in Knot-Tying while Verifying a Thread Library in Coq (2) Jeremy Siek. Linking isn't Substitution (3) Danel Ahman. Refinement Types and Algebraic Effects (4) Phillip Mates and Amal Ahmed. A Kripke Logical Relation for Affine Functions: The Story of a Free Theorem in the Presence of Non-termination (5) Aleksandar Nanevski, Ruy Ley-Wild, Ilya Sergey and German Andres Delbianco. Subjective Concurrent Protocol Logica (6) Kasper Svendsen and Lars Birkedal. Impredicative Concurrent Abstract Predicates (7) Armael Gueneau, Francois Pottier and Jonathan Protzenko. The ins and outs of iteration in Mezzo (8) Andrzej Murawski and Nikos Tzevelekos. Deconstructing general references via game semantics (9) Devin Coughlin and Bor-Yuh Evan Chang. Attacking the Imperative Relationship Update Problem with Almost Everywhere Heap Invariants (10) David Swasey, Derek Dreyer, Deepak Garg and Robert Harper. Protocols for Protocols: Using Modal Separation Logic to Prove Extrinsic Properties of Secure Communication --------------------- Goals of the Workshop --------------------- A recurring theme in many papers at ICFP, and in the research of many ICFP attendees, is the interaction of higher-order programming with various kinds of effects: storage effects, I/O, control effects, concurrency, etc. While effects are of critical importance in many applications, they also make it hard to build, maintain, and reason about one's code. Higher-order languages (both functional and object-oriented) provide a variety of abstraction mechanisms to help "tame" or "encapsulate" effects (e.g. monads, ADTs, ownership types, typestate, first-class events, transactions, Hoare Type Theory, session types, substructural and region-based type systems), and a number of different semantic models and verification technologies have been developed in order to codify and exploit the benefits of this encapsulation (e.g. bisimulations, step-indexed Kripke logical relations, higher-order separation logic, game semantics, various modal logics). But there remain many open problems, and the field is highly active. The goal of the HOPE workshop is to bring researchers from a variety of different backgrounds and perspectives together to exchange new and exciting ideas concerning the design, semantics, implementation, and verification of higher-order effectful programs. --------------------- Workshop Organization --------------------- Program Co-Chairs: Derek Dreyer (MPI-SWS, Germany) Hongseok Yang (University of Oxford) Program Committee: Anindya Banerjee (IMDEA Software Institute) Lars Birkedal (Aarhus University) Aquinas Hobor (National University of Singapore) Chung-Kil Hur (Microsoft Research Cambridge) Patricia Johann (Appalachian State University) Matthew Might (University of Utah) Peter Mueller (ETH Zurich) Brigitte Pientka (McGill University) Zhong Shao (Yale)

1 0

Call for Participation - ICSM 2013, the 29th IEEE International Conference on Software Maintenance
by Natalia Dragan 02 Aug '13

02 Aug '13

Call for Participation - ICSM 2013, the 29th IEEE International Conference on Software Maintenance 22 - 28 September 2013 - Eindhoven, The Netherlands *Early bird registration before August 2, 2013!* Please note that presenting authors should register within August 2, 2013. http://icsm2013.tue.nl/Registration/index.html Student support for attending ICSM or co-located events: *Travel grants for female students* *NSF grants for US-based students* http://icsm2013.tue.nl/Travel/TravelGrant/index.html Stay informed: http://icsm2013.tue.nl/, Twitter: @IEEEICSM http://icsm2013.tue.nl/Registration/index.html ============================================================================ ICSM is the premiere international venue in software maintenance and evolution, where participants from academia, government, and industry meet and share ideas and experiences for solving critical software maintenance problems. ICSM 2013 will be held in Eindhoven, The Netherlands. The conference venue is the main lecture building (Auditorium) of Eindhoven University of Technology. ICSM 2013 will have five tracks: Research Track Early Research Achievements (ERA) Track Industry Track Tools Track Doctoral Symposium Keynote Speakers: Jeff Magee, Imperial College London, UK: Intrinsic Definition in Software Architecture Evolution Michael Feathers, DepthFirst: Reflecting Upon the Useful Life of Software http://icsm2013.tue.nl/Keynotes/index.html Travel Grants: Two kinds of travel grants are available for students attending ICSM or co-located events. Please find the details on the website. http://icsm2013.tue.nl/Travel/TravelGrant/index.html In addition to ICSM in 2013 we will be welcoming a number of co-located events, for which you can register on the ICSM websitehttp://icsm2013.tue.nl/Registration/index.html : 13th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM), 15th IEEE International Symposium on Web Systems Evolution (WSE), 7th International Symposium on the Maintenance and Evolution of Service-Oriented and Cloud-Based Systems (MESOCA), 1st IEEE Working Conference on Software Visualization (VISSOFT) 1st International Workshop on Communicating Business Process and Software Models: Quality, Understandability, and Maintainability (CPSM). The schedule of the events is available here: http://icsm2013.tue.nl/Schedule/index.html ============================================================================ Eindhoven is located in the province of North Brabant in the south of the Netherlands. The city counts 213,809 inhabitants (as of January 1st, 2010), which makes it the fifth-largest city of the Netherlands. Eindhoven is well known for modern art, design and technology. The Van Abbemuseum of Modern Art belongs to the world top ten of modern art museums (http://www.vanabbemuseum.nl/) and hosts works of artists such as Picasso, Chagall, Kandinsky, El Lissitzky, Theo van Doesburg, Mondriaan, and Appel. Main design destinations in Eindhoven are the Design Huis (http://www.designhuis.nl/en) art exhibition of Piet Hein Eek design at Strijp Rwww.pietheineek.nl <http://www.pietheineek.nl/><http://www.pietheineek.nl <http://www.pietheineek.nl/>> and a new neighborhood Strijp-S (http://www.strijp-s.nl/) Technological highlights are the PSV Stadium (http://www.philipsstadion.nl/home.html) and the DAF Museum (www.dafmuseum.nl <http://www.dafmuseum.nl/><http://www.dafmuseum.nl <http://www.dafmuseum.nl/>>). ============================================================================ Register now: http://icsm2013.tue.nl/Registration/index.html ============================================================================

1 0

Call for Participation - 13th IEEE International Working Conference on Source Code Analysis and Manipulation
by Natalia Dragan 02 Aug '13

02 Aug '13

Call for Participation - SCAM 2013, the 13th IEEE International Working Conference on Source Code Analysis and Manipulation 22 - 23 September 2013 - Eindhoven, The Netherlands *Early bird registration before August 2, 2013!* Please note that presenting authors should register within August 2, 2013. http://icsm2013.tue.nl/Registration/index.html Student support for attending SCAM: *Travel grants for female students* *NSF grants for US-based students* http://icsm2013.tue.nl/Travel/TravelGrant/index.html Stay informed: http://www.ieee-scam.org/2013/index.html, Twitter: @IEEESCAM The preliminary program is available: http://www.ieee-scam.org/2013/program.html Register here: http://icsm2013.tue.nl/Registration/index.html ============================================================================ The aim of this working conference is to bring together researchers and practitioners working on theory, techniques and applications that concern analysis and/or manipulation of the source code of software systems. The term "source code" refers to any fully executable description of a software system, such as machine code, (very) high level languages and executable graphical representations of systems. The term "analysis" refers to any (semi-)automated procedure that yields insight into source code, while "manipulation" refers to any automated or semi-automated procedure that takes and returns source code. While much attention in the wider software engineering community is (rightfully!) directed towards other aspects of systems development and evolution, such as specification, design and requirements engineering, it is the source code that contains the only precise description of the behaviour of a system. Hence, the analysis and manipulation of source code remains a pressing concern for which SCAM 2013 solicits high quality paper submissions. SCAM 2013 will have two tracks: Research Track Tools Track Travel Grants: Two kinds of travel grants are available for students attending ICSM or co-located events. Please find the details on the website. http://icsm2013.tue.nl/Travel/TravelGrant/index.html Co-located Events: SCAM is co-located with ICSM 2013 as well as: 15th IEEE International Symposium on Web Systems Evolution (WSE), 7th International Symposium on the Maintenance and Evolution of Service-Oriented and Cloud-Based Systems (MESOCA), 1st IEEE Working Conference on Software Visualization (VISSOFT) 1st International Workshop on Communicating Business Process and Software Models: Quality, Understandability, and Maintainability (CPSM). The schedule of the events is available here: http://icsm2013.tue.nl/Schedule/index.html Venue: Eindhoven is located in the province of North Brabant in the south of the Netherlands. The city counts 213,809 inhabitants (as of January 1st, 2010), which makes it the fifth-largest city of the Netherlands. Eindhoven is well known for modern art, design and technology. The Van Abbemuseum of Modern Art belongs to the world top ten of modern art museums (http://www.vanabbemuseum.nl/) and hosts works of artists such as Picasso, Chagall, Kandinsky, El Lissitzky, Theo van Doesburg, Mondriaan, and Appel. Main design destinations in Eindhoven are the Design Huis (http://www.designhuis.nl/en) art exhibition of Piet Hein Eek design at Strijp R www.pietheineek.nl <http://www.pietheineek.nl/> and a new neighborhood Strijp-S (http://www.strijp-s.nl/) Technological highlights are the PSV Stadium (http://www.philipsstadion.nl/home.html) and the DAF Museum (www.dafmuseum.nl <http://www.dafmuseum.nl/>). ============================================================================ Please note that registration is via the ICSM 2013 website: http://icsm2013.tue.nl/Registration/index.html

1 0