March 2010 - Haskell - Haskell.org

2nd CfP: WWV'10
by Temur Kutsia 25 Mar '10

25 Mar '10

[Apologies if you receive multiple copies] *********************************************************** * CALL FOR PAPERS * * * * WWV 2010 * * Automated Specification and Verification of Web Systems * * 6th International Workshop * * * * Vienna University of Technology, Austria * * July 30-31, 2010 * * http://www.complang.tuwien.ac.at/WWV2010/ * *********************************************************** *************** IMPORTANT DATES *************** Abstract Submission April 12, 2010 Full Paper Submission April 19, 2010 Acceptance Notification May 23, 2010 Camera Ready June 20, 2010 Workshop July 30-31, 2010 *************** SCOPE *************** The increased complexity of Web sites and the explosive growth of Web-based applications has turned their design and construction into a challenging problem. Nowadays, many companies have diverted their Web sites into interactive, completely-automated, Web-based applications (such as Amazon, on-line banking, or travel agencies) with a high complexity that requires appropriate specification and verification techniques and tools. Systematic, formal approaches to the analysis and verification can address the problems of this particular domain with automated and reliable tools that also incorporate semantic aspects. We solicit original papers on formal methods and techniques applied to Web sites, Web services or Web-based applications, such as: * rule-based approaches to Web system analysis, certification, specification, verification, and optimization * algebraic methods for verification and certification of Web systems * formal models for describing and reasoning about Web sites * model-checking, synthesis and debugging of Web sites * analysis and verification of linked data * abstract interpretation and program transformation applied to the semantic Web * intelligent tutoring and advisory systems for Web specifications authoring * Web quality and Web metrics * Web usability and accessibility * Testing and evaluation of Web systems and applications The WWV series provides a forum for researchers from the communities of Rule-based programming, Automated Software Engineering, and Web-oriented research to facilitate the cross-fertilization and the advancement of hybrid methods that combine the three areas. The previous WWV editions were: WWV'09 (Hagenberg, Austria), WWV'08 (Siena, Italy), WWV'07 (Venice, Italy), WWV'06 (Paphos, Cyprus), and WWV'05 (Valencia, Spain). *************** LOCATION *************** WWV 2010 will be held at the Compilers and Languages Group (Complang) of the Faculty of Informatics at the Vienna University of Technology, Austria. The Complang Group is located in the center of Vienna, beside the Karlskirche and near the Opera. For more information about the Complang Group, please visit: http://www.complang.tuwien.ac.at *************** SUBMISSION *************** Submissions must be received by April 19, 2010. In addition, an ASCII version of the title and abstract must be submitted by April 12, 2010. Please submit research reports up to 15 pages in PDF, conforming to the format produced by LaTeX using the easychair.cls class file of EasyChair. The class style may be downloaded at: http://www.easychair.org/easychair.zip Submission is web-based via this link: http://www.easychair.org/conferences/?conf=wwv2010 *************** PUBLICATION *************** We will prepare workshop pre-proceedings for the workshop participants. After the workshop, an open call for a special journal issue is envisaged. *************** COMMITTEES *************** PROGRAM CO-CHAIRS: Laura Kovacs, Vienna University of Technology, Austria Temur Kutsia, Johannes Kepler University Linz, Austria PROGRAM COMMITTEE Maria Alpuente Frasnedo, Technical University of Valencia, Spain Demis Ballis, University of Udine, Italy Jorge Manuel Neves Coelho, University of Porto, Portugal Vicente Luque Centeno, Universidad Carlos III de Madrid, Spain Wlodzimierz Drabent, Linkoeping University, Sweden Santiago Escobar, Technical University of Valencia, Spain Moreno Falaschi, University of Siena, Italy Jens Knoop, Vienna University of Technology, Austria Laura Kovacs, Vienna University of Technology, Austria Temur Kutsia, Johannes Kepler University Linz, Austria Catherine Meadows, Naval Research Laboratory, USA *************** INVITED SPEAKERS *************** Thomas Eiter, Vienna University of Technology, Austria Andrei Voronkov, University of Manchester, UK *************** RELATED EVENTS *************** WWV 2010 will take place after the RISC Summer 2010 conference series: http://www.risc.uni-linz.ac.at/about/conferences/summer2010/ held in Hagenberg near Linz. There are frequent train connections of about 1.5 hours between Linz and Vienna.

1 0

LOPSTR 2010: Deadline extension
by Temur Kutsia 25 Mar '10

25 Mar '10

===================================================================== 20th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2010 http://www.risc.uni-linz.ac.at/conferences/lopstr2010/ Hagenberg, Austria, July 23-25, 2010 (co-located with PPDP 2010) ===================================================================== EXTENDED DEADLINE Paper (or extended abstract) submission: March 31, 2010

1 0

Call for Papers: 20th WADT (Workshop on Algebraic Development Techniques)
by Till Mossakowski 25 Mar '10

25 Mar '10

[sorry if you receive this more than once] CALL FOR PAPERS WADT 2010 20th International Workshop on Algebraic Development Techniques July 1-4, 2010, Etelsen, Germany http://www.informatik.uni-bremen.de/WADT2010/ Aims and Scope: The algebraic approach to system specification encompasses many aspects of the formal design of software systems. Originally born as formal method for reasoning about abstract data types, it now covers new specification frameworks and programming paradigms (such as object-oriented, aspect-oriented, agent-oriented, logic and higher-order functional programming) as well as a wide range of application areas (including information systems, concurrent, distributed and mobile systems). The workshop will provide an opportunity to present recent and ongoing work, to meet colleagues, and to discuss new ideas and future trends. Topics of interest: Typical, but not exclusive topics of interest are: - Foundations of algebraic specification - Other approaches to formal specification, including process calculi and models of concurrent, distributed and mobile computing - Specification languages, methods, and environments - Semantics of conceptual modelling methods and techniques - Model-driven development - Graph transformations, term rewriting and proof systems - Integration of formal specification techniques - Formal testing and quality assurance, validation, and verification INVITED SPEAKERS Hans-Dieter Ehrich, Institut f\"ur Informationssysteme, Braunschweig Frantisek Plasil, Charles University, Prague Martin Wirsing, Ludwig-Maximilians-Universit\"at, M\"unchen IMPORTANT DATES Submission deadline for abstracts: April 30, 2010 Notification of acceptance: May 23, 2010 Final abstract due: June 13, 2010 Workshop: July 1-4, 2010 Workshop Format and Location: The workshop will take place over four days, Thursday to Sunday, at Schloss Etelsen, www.schloss-etelsen.de, a castle located near Bremen. Presentations will be selected on the basis of submitted abstracts. Three talks will be given by invited speakers. Submissions: The scientific program of the workshop will include presentations of recent results and ongoing research. The presentations will be selected by the Steering Committee on the basis of the submitted abstracts according to originality, significance, and general interest. The abstracts have to be submitted electronically according to the instructions published on the workshop web site. The final versions of the selected abstracts will be included in a hand-out for the workshop participants. After the workshop, selected authors will be invited to submit full papers for the refereed proceedings, which is expected to be published as a volume of Lecture Notes in Computer Science (Springer Verlag). Sponsorship: The workshop takes place under the auspices of IFIP WG 1.3, and is sponsored by IFIP TC1, University of Bremen, and DFKI GmbH. The event is organized by the Computer Science Department of the University of Bremen and the DFKI Bremen group Safe and Secure Cognitive Systems. WADT Steering Committee: Michel Bidoit (France) Andrea Corradini (Italy) Jos\'e Fiadeiro (UK) Rolf Hennicker (Germany) Hans-J\"org Kreowski (Germany) Till Mossakowski (Germany) [chair] Fernando Orejas (Spain) Francesco Parisi-Presicce (Italy) Andrzej Tarlecki (Poland) PROCEEDINGS The abstracts accepted for presentation will be available at the workshop. Refereed LNCS proceedings are planned for full versions of submissions solicited after the workshop. CONTACT WADT 2010 Fachbereich 3 Mathematik und Informatik Enrique-Schmidt-Str. 5 D-28359 Bremen, Germany Phone: +49 421 218 64226 Fax: +49 421 218 98 64226 Email: wadt2010(a)informatik.uni-bremen.de

1 0

Re: [Haskell] ANN: Yi 0.6.2.2
by John Lato 25 Mar '10

25 Mar '10

> From: Jeff Wheeler <jeff(a)nokrev.com> > > On Wed, Mar 24, 2010 at 2:27 PM, Colin Paul Adams > <colin(a)colina.demon.co.uk> wrote: > >> Hm. I edited the cabal file to allow >= 2.3 && < 2.5 and it just >> compiled. Wouldn't this work with 6.12 also? > > Unfortunately not. Making that change yields: > > yi$ cabal install > Resolving dependencies... > cabal: dependencies conflict: ghc-6.12.1 requires template-haskell ==2.4.0.0 > however > template-haskell-2.4.0.0 was excluded because data-accessor-template-0.2.1.3 > requires template-haskell >=2.2 && <2.4 > > data-accessor-template needs to be compiled with the -ftemplate_2_4 > flag, which Cabal doesn't try here, for some reason. Will it work if you set data-accessor-template < 0.2.1.3 in the .cabal file? I think that version is acceptable to both ghc-6.10 and 6.12. John

1 0

ANN: Yi 0.6.2.2
by Jeff Wheeler 24 Mar '10

24 Mar '10

Hi everybody, I'm very excited to announce the first release of Yi in nearly a year. For most of this time, Yi has been rather tough to install because of the mess of dependencies. Today these issues were resolved, and I uploaded a new package to Hackage, so installing Yi should be as simple as: $ cabal update $ cabal install yi If you have Gtk2Hs, it'll automatically build with Pango support, too. If not, it'll use the vty package on Hackage. I'm not sure whether either of these will work on Windows, unfortunately. There have also been a few changes since the last release a year ago: * Improvements to the Scion bindings, which may make it easier to work with GHC from within the editor. * Initial support for TextMate-style snippet support. * Various Pango UI improvements (e.g. horizontal scrolling support and improved support for tabs). * Various parser improvements, especially for the Haskell and JS parsers. * Replaced HConf with Dyre, which handles xmonad-style configs and recompiles. * Upgrade to VTY 4.0, which has large speed improvements. * Many, many optimizations. Yi 0.6.2.2 is on Hackage here: http://hackage.haskell.org/package/yi-0.6.2.2 -- Jeff Wheeler Undergraduate, Electrical Engineering University of Illinois at Urbana-Champaign

3 8

FYI: Assistant Prof. position in FP@Chalmers (deadline 2010-04-25)
by Patrik Jansson 23 Mar '10

23 Mar '10

Come and work with us! The Chalmers CSE department is recruiting an Assistant Professor to work on Functional Programming. Details are here http://www.chalmers.se/cse/EN/news/vacancies/positions/assistant-professor-… and below. Welcome! Patrik Jansson, Koen Claessen, Mary Sheeran, John Hughes ------------------------- The functional programming group consists of 5 senior researchers, 5 post-docs, and 7 doctoral students, and recently got a 4-year grant supporting research in the development and application of domain-specific languages (DSLs). Examples of our previous work in this area are Lava, a language for hardware description and verification, QuickCheck, a DSL for specifying and testing programs and PolyP, a language for generic functional programming. Examples of our current work are a language for digital signal processing (called Feldspar, which is developed together with Ericsson), a language for high-level micro-architecture exploration (called Chalk, which is developed together with Intel), a language for GPU programming (called Obsidian) and a language for computational vulnerability assessment (developed together with the Potsdam Institute for Climate Impact Research). Generic programming is a paradigm we actively use in the development of DSLs. Our goals for the coming four years are: * to develop theories and tools that make future DSELs easier to design, implement, and use. Concretely, we aim for making reusable, generic libraries that capture common aspects occurring in many DSELs, such as symbolic simulation and error messages. * to develop high-level specification, testing and verification methods, using QuickCheck and automated theorem proving techniques. Concretely, we aim to mine specifications from test results, select test data distributions based on code-centric feedback, and make an empirical evaluation of "property-first software development". All this will be done in the context of the concrete DSELs the group is already working on but the overall goal is to raise the level of abstraction in software development and verification, by leveraging the power of functional programming – at least in limited domains. Job description The position as assistant professor is a full-time four-year position, preparing for future research assignments in academia or elsewhere. Assistant professors are expected to attain the docent level during the latter part of the four-year position. The employment consists of two two-year contracts. After the first two years, a performance evaluation is carried out. While this is a position for a limited time, the policy of the department is to strive at offering permanent positions at the end of the employment. As assistant professor you are expected to drive part of the research activities at our department in the area of functional programming. You are expected to be involved in PhD student advising, and in supervision of MSc thesis workers. You are also expected to be active in your own research and to prepare applications for new projects, as well as to promote the continuation of ongoing projects. Lecturing at the bachelors or masters levels is also included in the position, although normally not more than about 20% of total working time is devoted to undergraduate teaching. http://www.chalmers.se/cse/EN/news/vacancies/positions/assistant-professor-… ----------- Note that there is also a related PhD student position (deadline 2010-04-07) http://www.chalmers.se/cse/EN/news/vacancies/positions/phd-student-position…

1 0

ICFP 2010: Final Call for Papers
by Wouter Swierstra 23 Mar '10

23 Mar '10

===================================================================== Final Call for Papers ICFP 2010: International Conference on Functional Programming Baltimore, Maryland, 27 -- 29 September 2010 http://www.icfpconference.org/icfp2010 ===================================================================== Important Info ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Submission: 2 April 2010 Author response: 24 -- 25 May 2010 Notification: 7 June 2010 Final papers due: 12 July 2010 All deadlines are at 14:00 UTC. Submission is now open at http://icfp2010.seas.upenn.edu/ Scope ~~~~~ ICFP 2010 seeks original papers on the art and science of functional programming. Submissions are invited on all topics from principles to practice, from foundations to features, from abstraction to application. The scope includes all languages that encourage functional programming, including both purely applicative and imperative languages, as well as languages with objects or concurrency. Particular topics of interest include * Language Design: type systems; concurrency and distribution; modules; components and composition; metaprogramming; relations to object-oriented or logic programming; interoperability * Implementation: abstract machines; compilation; compile-time and run-time optimization; memory management; multi-threading; exploiting parallel hardware; interfaces to foreign functions, services, components or low-level machine resources * Software-Development Techniques: algorithms and data structures; design patterns; specification; verification; validation; proof assistants; debugging; testing; tracing; profiling * Foundations: formal semantics; lambda calculus; rewriting; type theory; monads; continuations; control; state; effects * Transformation and Analysis: abstract interpretation; partial evaluation; program transformation; program calculation; program proof * Applications and Domain-Specific Languages: symbolic computing; formal-methods tools; artificial intelligence; systems programming; distributed-systems and web programming; hardware design; databases; XML processing; scientific and numerical computing; graphical user interfaces; multimedia programming; scripting; system administration; security; education * Functional Pearls: elegant, instructive, and fun essays on functional programming The conference also solicits Experience Reports, which are short papers that provide evidence that functional programming really works or describe obstacles that have kept it from working in a particular application. Abbreviated instructions for authors ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ By 2 April 2010, 14:00 UTC, submit an abstract of at most 300 words and a full paper of at most 12 pages (6 pages for an Experience Report), including bibliography and figures. The deadline will be strictly enforced and papers exceeding the page limits will be summarily rejected. Authors have the option to attach supplementary material to a submission, on the understanding that reviewers may choose not to look at it. A submission will be evaluated according to its relevance, correctness, significance, originality, and clarity. It should explain its contributions in both general and technical terms, clearly identifying what has been accomplished, explaining why it is significant, and comparing it with previous work. The technical content should be accessible to a broad audience. Functional Pearls and Experience Reports are separate categories of papers that need not report original research results and must be marked as such at the time of submission. Detailed guidelines on both categories are on the conference web site. Each submission must adhere to SIGPLAN's republication policy, as explained on the web at http://www.acm.org/sigplan/republicationpolicy.htm. Proceedings will be published by ACM Press. Authors of accepted submissions are expected to transfer the copyright to the ACM. Presentations will be videotaped and released online if the presenter consents by signing an additional permission form at the time of the presentation. Formatting: Submissions must be in PDF format printable in black and white on US Letter sized paper and interpretable by Ghostscript. If this requirement is a hardship, make contact with the program chair at least one week before the deadline. Papers must adhere to the standard ACM conference format: two columns, nine-point font on a ten-point baseline, with columns 20pc (3.33in) wide and 54pc (9in) tall, with a column gutter of 2pc (0.33in). A suitable document template for LATEX is available from SIGPLAN at http://www.acm.org/sigs/sigplan/authorInformation.htm. Submission: Submissions will be accepted electronically at a URL to be named later. Improved versions of a paper may be submitted at any point before the submission deadline using the same web interface. Author response: Authors will have a 48-hour period, starting at 14:00 UTC on 24 May 2010, to read and respond to reviews. Special Journal Issue: There will be a special issue of the Journal of Functional Programming with papers from ICFP 2010. The program committee will invite the authors of select accepted papers to submit a journal version to this issue. Organization ~~~~~~~~~~~~ Conference Chair Paul Hudak, Yale University Program Chair Stephanie Weirich, University of Pennsylvania Program Committee: Umut Acar, Max Planck Institute for Software Systems Zena Ariola, University of Oregon James Cheney, University of Edinburgh Peter Dybjer, Chalmers University of Technology Robert Bruce Findler, Northwestern University Andy Gill, Kansas University Fritz Henglein, University of Copenhagen Michael Hicks, University of Maryland, College Park Patricia Johann, University of Strathclyde Andres Löh, Utrecht University Simon L. Peyton Jones, Microsoft Research Didier Rémy, INRIA Paris-Rocquencourt John Reppy, University of Chicago Manuel Serrano, INRIA Sophia-Antipolis Matthieu Sozeau, Harvard University

1 0

Call for Papers (TASE 2010)
by Huibiao Zhu 23 Mar '10

23 Mar '10

4th IEEE Symposium on Theoretical Aspects of Software Engineering August 25 - 27, 2010, Taipei, Taiwan, ROC Call-for-Papers IEEE TASE 2010 aims to become a forum for the presentation and discussion of new fundamental ideas in software engineering of large-scale systems. Software engineering of such systems has usually been viewed as the study of principles, guidelines, and empirical rules. To manage the complexity of large-scale software projects, various theories have been proposed. The first three TASE conferences were held in Shanghai, China in June 2007; in Nanjing, China in June 2008; and in Tianjin, China in July 2009. This year, it will be moved to the beautiful campus of National Taiwan University. -------------------------------------------------------------------- Scope of interests includes, but are not limited to, the following: automata, logics, set theory, type theory, process algebrae, probability, game theory, theorem-proving, model-checking, simulation-checking, testing, and simulation. Innovative applications of such theories to the following and other related aspects of software engineering are also highly solicited to IEEE TASE 2010: requirements engineering, specification, model-driven engineering, software architectures and synthesis, aspect and object orientation, embedded and real-time systems, software processes and workflows, component-based software engineering, software safety, security and reliability, reverse engineering and software maintenance, service-oriented computing, semantic web and web services, dependable concurrency, program analysis, software modeling, software simulation, software testing, and software model checking. --------------------------------------------------------------------------- Submissions should be in IEEE format and no more than 10 pages for regular papers and 4 pages for poster papers. Proceedings will be published by IEEE. Important dates: Regular Papers: April 2, 2010: Title and abstract submission deadline April 9, 2010: Paper submission deadline (23:59, Apia Time, GMT-11)? May 17, 2010: Acceptance/rejection notification? May 31, 2010: Camera-ready version and signed IEEE copyright form due Poster Papers: April 2, 2010: Poster proposal (extended abstract) submission deadline May 17, 2010: Acceptance/rejection notification? May 31, 2010: Camera-ready version and signed IEEE copyright form due August 20, 2010: A1-Size Poster (for backup) Due ---------------------------------------------------------------------------- ---- Organizers: General Chair: Farn Wang (National Taiwan Univ.) Finance Chair: Hsu-Chun Yen (National Taiwan Univ.) Local Arrangement: Churn-Jung Liau (Academia Sinica) Program Cochairs: Jing Liu (East China Normal Univ.) Doron A. Peled (Bar Ilan Univ.) Bow-Yaw Wang (Academia Sinica) Steering Committee: Keijiro Araki (Kyushu Univ.) Jifeng He (East China Normal Univ.a) Michael Hinchey (Lero, IE, chair) Zhiming Liu (UNU/IIST) Huibiao Zhu (East China Normal Univ.) ---------------------------------------------------------------------------- -------- Program Committee: Erika Abraham (RWTH Aachen Univ.) Keijiro Araki (Kyzushu Univ.) Dirk Beyer (UC-Berkely) Jonathan Bowen (King's College London) Marius Bozga (Univ. of Paris) Jim Davies (Oxford University) Jin Song Dong (Singapore Nat'l Univ.) Zhenhua Duan (Xi'dian Univ.) John Hatcliff (Kansas State Univ.) Teruo Higashino (Osaka Univ.) Changjun Jiang (Tongji Univ.) Jie-Hong R. Jiang (Nat'l Taiwan Univ.) Zhi Jin (Beijing Univ.) Kung-Kiu Lau (Manchester Univ.) Jonathan Lee (National Central Univ.) Xuandong Li (Nanjing Univ.) Deron Liang (National Central Univ.) Lin Liu (Tsinghua Univ.) Shaoying Liu (Hosei Univ.) Tun Lu (Fudan Univ.) Frederic Mallet (INRIA) Hong Mei (Beijing Univ.) Huaikou Miao (Shanghai Univ.) Doron A. Peled (Bar-Ilan Univ.) Geguang Pu (East China Normal Univ.) Shengchao Qin (Durham Univ.) Zongyan Qiu (Beijing Univ.) Sriram Rajamani (Microsoft) Volker Stolz (UNU/IIST) Zhong Shao (Yale Univ.) Jing Sun (University of Auckland) Tetsuo Tamai (Univ. of Tokyo) Yih-Kuen Tsay (Nat'l Taiwan Univ.) Margus Veanes (Microsoft) Ji Wang (Changsha Inst. of Technology) Linzhang Wang (Nanjing Univ.) Jim Woodcock (Univ. of York) Hsu-Chun Yen (National Taiwan Univ.) Wang Yi (Uppsala Univ.) Shi Ying (Wuhan Univ.) Gianluigi Zavattaro (Univ. of Bologna) Jian Zhang (Chinese Academy of Sc.) Miaomiao Zhang (Tongji Univ.) Jianjun Zhao (Shanghai Jiaotong Univ.) Huibiao Zhu (East China Normal Univ.)

1 0

VSTTE 2010: Verified Software -- Final Call for Conference Papers
by Gudmund Grov 22 Mar '10

22 Mar '10

(Apologies if you receive multiple copies of this announcement) ***************************************************************** Third International Conference on Verified Software: Theories, Tools, and Experiments Call for Conference & Workshop Papers *** CONFERENCE PAPER SUBMISSION DEADLINE: March 29 *** Edinburgh, Scotland August 16th-19th, 2010 http://www.macs.hw.ac.uk/vstte10 SPONSORS National Science Foundation (NSF) Engineering and Physical Sciences Research Council (EPSRC) Microsoft Research Scottish Informatics & Computer Science Alliance (SICSA) Altran Praxis Software Systems Engineering Initiative (SSEI) Formal Methods Europe (FME) To become a sponsor see: http://www.macs.hw.ac.uk/vstte10/Sponsors.html ****************************************************************** The Third International Conference on Verified Software: Theories, Tools, and Experiments follows a successful inaugural working conference at Zurich (2005) and a successful conference in Toronto (2008). This conference is part of the Verified Software Initiative (VSI), a fifteen-year, cooperative, international project directed at the scientific challenges of large-scale software verification. VSI also includes UKCRC's Grand Challenge 6, i.e. Dependable Systems Evolution. VSTTE is open to anyone who is interested in participating actively in the VSI effort. SCOPE The goal of this conference is to advance the state of the art in the science and technology of software verification through the interaction of theory development, tool evolution, and experimental validation. Authors are encouraged to submit work in progress, particularly if the work involves collaboration, theory unification, and tool integration. Topics of interest include requirements modeling specification languages specification/verification case-studies formal calculi programming languages language semantics software design methods software testing automatic code generation refinement methodologies type systems computer security verification tools (static analysis, dynamic analysis, model checking, theorem proving, satisfiability) tool integration benchmarks challenge problems integrated verification environments We also encourage researchers to submit challenges in theory, formalization, systems verification, code verification, and applications. Contributions relating to existing challenges will also be welcomed, i.e. * POPLMark (http://tinyurl.com/poplmark) * Tokeneer (http://www.adacore.com/home/products/sparkpro/tokeneer) * POSIX file system (http://tinyurl.com/qyzqk9) * medical devices (http://tinyurl.com/pnztqb) VENUE VSTTE 2010 is being hosted by Heriot-Watt University in Edinburgh. The conference dates coincide with the 2010 Edinburgh International Festival and the Edinburgh Festival Fringe -- collectively the largest annual arts festival on the planet! The technical programme will take place in the Edinburgh Conference Centre (Riccarton campus), where accommodation will be available at very competitive rates for festival time. Social events will be arranged within the city centre, making VSTTE an unique cultural and scholarly event for 2010! INVITED SPEAKERS * Tom Ball (Microsoft Research, Redmond) * Gerwin Klein (National ICT Australia) * Matthew Parkinson (University of Cambridge) SUBMISSIONS Submitted research papers and system descriptions must be original and not submitted for publication elsewhere. Research paper submissions are limited to 15 proceedings pages in LNCS format and must include a cogent and self-contained description of the ideas, methods and results, together with a comparison to existing work. System descriptions are also limited to 15 proceedings pages in LNCS format. Submissions of theoretical, practical, and experimental contributions are equally encouraged, including those that focus on specific problems or problem domains. Papers can be submitted at https://www.easychair.org/login.cgi?conf=vstte10. Submissions that arrive late, are not in the proper format, or are too long will not be considered. The proceedings of VSTTE 2010 will be published by Springer-Verlag in the LNCS series. Authors of accepted papers will be requested to sign a form transferring copyright of their contribution to Springer-Verlag. The use of LaTeX and the Springer llncs class files, obtainable from http://www.springer.de/comp/lncs/authors.html, is strongly encouraged. WORKSHOPS In addition to the main conference, VSTTE will host two workshops on August 19th: * VS-Theory focuses on theoretical foundations of software verification. Topics range from the difficult and essential study of soundness of delicate proof methods, to the discovery of new specification techniques and proof methods, to dramatic simplification or unification of existing methods, to as yet unknown breakthroughs. * VS-Tools & Experiments focuses on the development of verification tools and their experimental evaluation. Possible topics include interfaces between tools, tool integration platforms, and case studies. The workshops will provide a forum to present new, possibly unfinished work and will also give the opportunity to propose research challenges, which will help form a research agenda for the Verified Software Initiative. Papers must be written in English using Springer LNCS style. The page limit is 10 pages for technical papers and 5 pages for proposals of verification challenges. The proceedings will be published as a technical report. IMPORTANT DATES March 29 2010: Conference paper submission deadline May 10 2010: Decisions on papers May 21 2010: Workshop paper submission June 1 2010: Final conference paper versions due June 25 2010: Decisions on workshop papers July 23 2010: Final workshop paper version August 16-18 2010: Main conference August 19 2010: Workshops RESEARCH STUDENT SUPPORT A limited number of grants, cover registration and travel, will be available to support PhD students wishing to attend VSTTE 2010. More details to follow via the website. SUMMER SCHOOL There will be a two-day summer-school preceding the main conference on the 14 and 15 August. The summer school will give a broad overview of software verification techniques, addressing both bottom-up and top-down approaches with a strong focus on the formal representation and reasoning themes. The school consists of eight introductory lectures, each concentrating on an unique aspect of one or both of the overall themes. The topics of the lectures include inductive theorem proving; SAT and SMT solving; proof planning and rippling; rely/guarantee conditions; separation logic; operating system verification; and formal analysis of security. The school is intended for PhD students and researchers working within one or both of these themes, however familiarity with any of the techniques is not a prerequisite. All lectures are meant to be introductory. For more information see: http://dream.inf.ed.ac.uk/events/ssfrr-2010/ COMPETITION A verification competition will be held at VSTTE 2010. The challenge is to develop a machine-verified piece of software with respect to a given specification. The competition will be conducted over a 2.5 hour period on some evening of the conference. The problem will be presented with a logical specification and test cases over .5 hours including time for discussion with 2 hours to construct a solution. Each competing team can feature up to three members. You can use any tool or combination of tools as well as libraries, but you cannot modify these tools. You can reinterpret the specification to suit your tools and methods, but you will be judged on the fidelity of your interpretation. The goal is to produce an executable program and a replayable proof that the program meets the specification. It will be possible to code the solution using integers and arrays. The solutions will be judged for soundness (absence of bugs) and completeness (presence of proofs). The three best solutions will be selected and the respective teams will be invited to make presentations at the tools/experiments workshop. You must register a copy of the verification system with the judges prior to the competition with instructions for replaying proofs and running the programs. CONFERENCE CHAIR Andrew Ireland (Heriot-Watt University; A.Ireland(a)hw.ac.uk) PROGRAM CHAIRS Peter O'Hearn (Queen Mary, University of London; ohearn(a)dcs.qmul.ac.uk) Gary T. Leavens (University of Central Florida; leavens(a)eecs.ucf.edu) Sriram Rajamani (Microsoft Research; sriram(a)microsoft.com) WORKSHOP GENERAL CHAIR Peter Mueller (ETH Zurich; peter.mueller(a)inf.ethz.ch) THEORY WORKSHOP CHAIRS David Naumann (Stevens Institute of Technology; dnaumann(a)stevens.edu) Hongseok Yang (Queen Mary, University of London; hyang(a)dcs.qmul.ac.uk) TOOLS & EXPERIMENTS WORKSHOP CHAIRS Rajeev Joshi (NASA JPL; rajeev.joshi(a)jpl.nasa.gov) Tiziana Margaria (Universitat Potsdam; margaria(a)cs.uni-potsdam.de) PUBLICITY CHAIR Gudmund Grov (Edinburgh University; ggrov(a)inf.ed.ac.uk) LOCAL ARRANGEMENT CHAIR Ewen Maclean (Heriot-Watt University; E.A.H.Maclean(a)hw.ac.uk) CONFERENCE PROGRAM COMMITTEE Ahmed Bouajjani Leo Freitas Philippa Gardner John Hatcliff Ranjit Jhala Joseph Kiniry Rustan Leino Xavier Leroy David Naumann Matthew Parkinson Wolfgang Paul Shaz Qadeer Andrey Rybalchenko Augusto Sampaio Zhong Shao Aaron Stump Serdar Tasiran Willem Visser Chin Wei-Ngan Stephanie Weirich Greta Yorsh STEERING COMMITTEE Tony Hoare Jay Misra Natarajan Shankar Jim Woodcock -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.

1 0

Announce: Haskell Platform 2010.1.0.0 (beta) release
by Don Stewart 22 Mar '10

22 Mar '10

Live from (post-) Zurihac, I'm pleased to announce the 2010.1.0.0 (beta branch) release of the Haskell Platform, supporting GHC 6.12. http://hackage.haskell.org/platform/ The Haskell Platform is a comprehensive, robust development environment for programming in Haskell. For new users the platform makes it trivial to get up and running with a full Haskell development environment. For experienced developers, the platform provides a comprehensive, standard base for commercial and open source Haskell development that maximises interoperability and stability of your code. The 2010.1.0.0 release is a beta release for the GHC 6.12 series of compilers. It currently doesn't provide a Windows installer (which defaults to GHC 6.10.4 for now). We expect to make the stable branch with GHC 6.12.2 in soon. This release includes a binary installer for Mac OS X Snow Leopard, as well as source bundles for an Unix system, and a new design. The Haskell Platform would not have been possible without the hard work of the Cabal development team, the Hackage developers and maintainers, the individual compiler, tool and library authors who contributed to the suite, and the distro maintainers who build and distribute the Haskell Platform. Thanks! -- Don (for The Platform Infrastructure Team)

1 0