- Haskell - Haskell.org

Commercial Users of Functional Programming Workshop
by Simon Peyton-Jones 01 Apr '08

01 Apr '08

Commercial Users of Functional Programming Workshop (CUFP) 2008 26 September 2008, Victoria, British Columbia ============== CALL FOR PRESENTATIONS ====================== Presentation proposals due 2 June 2008 http://cufp.functionalprogramming.com Functional Programming As a Means, Not an End Sponsored by SIGPLAN Co-located with ICFP 2008 _________________________________________________________________ Functional languages have been under academic development for over 25 years, and remain fertile ground for programming language research. Recently, however, developers in industrial, governmental, and open source projects have begun to use functional programming successfully in practical applications. In these settings, functional programming has often provided dramatic leverage, including whole new ways of thinking about the original problem. The goal of the CUFP workshop is to act as a voice for these users of functional programming. The workshop supports the increasing viability of functional programming in the commercial, governmental, and open-source space by providing a forum for professionals to share their experiences and ideas, whether those ideas are related to business, management, or engineering. The workshop is also designed to enable the formation and reinforcement of relationships that further the commercial use of functional programming. Speaking at CUFP If you use functional programming as a means, rather than as an end, we invite you to offer to give a talk at the workshop. Alternatively, if you know someone who would give a good talk, please nominate them! Talks are typically 30-45 minutes long, but can be shorter. They aim to inform participants about how functional programming played out in real-world applications, focusing especially on the re-usable lessons learned, or insights gained. Your talk does not need to be highly technical; for this audience, reflections on the commercial, management, or software engineering aspects are, if anything, more important. You do not need to submit a paper! If you are interested in offering a talk, or nominating someone to do so, send an e-mail to jim (dot) d (dot) grundy (at) intel (dot) com or simonpj (at) microsoft (dot) com by 2 June 2008 with a short description of what you'd like to talk about or what you think your nominee should give a talk about. Such descriptions should be about one page long. Program Plans CUFP 2008 will last a full day and feature an invited presentation from Michael Hopcroft, the product unit manager for the forthcoming release of Microsoft Visual Studio F#. Additionally, the program will include a mix of presentations and discussion sessions. Topics will range over a wide area, including: * Case studies of successful and unsuccessful uses of functional programming; * Business opportunities and risks from using functional languages; * Enablers for functional language use in a commercial setting; * Barriers to the adoption of functional languages, and * Mitigation strategies for overcoming limitations of functional programming. There will be no published proceedings, as the meeting is intended to be more a discussion forum than a technical interchange. Program Committee * Lennart Augustsson <lennart (dot) augustsson (at) gmail (dot) com> * Matthias Blume <blume (at) tti-c (dot) org> * Adam Granicz <granicz (dot) adam (at) intellifactory (dot) com> * Jim Grundy (co-chair) <jim (dot) d (dot) grundy (at) intel (dot) com> * John Lalonde <lalonde (at) abstrax (dot) com> * Andy Martin <akmartin (at) us (dot) ibm (dot) com> * Yaron Minsky <yminsky (at) janestcapital (dot) com> * Simon Peyton Jones (co-chair) <simonpj (at) microsoft (dot) com> * Ulf Wiger <ulf (dot) wiger (at) ericsson (dot) com> This will be the fifth CUFP, for more information - including reports from attendees of previous events - see the workshop web site: http://cufp.functionalprogramming.com --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "CUFP" group. To post to this group, send email to cufp(a)googlegroups.com To unsubscribe from this group, send email to cufp-unsubscribe(a)googlegroups.com For more options, visit this group at http://groups.google.com/group/cufp?hl=en -~----------~----~----~----~------~----~------~--~---

1 0

PPDP'08: Last Call for Papers
by Elvira Albert 31 Mar '08

31 Mar '08

................................................................ ACM PPDP 2008 - Last Call For Papers 10th ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming Valencia, Spain, July 15-17, 2008 http://www.clip.dia.fi.upm.es/Conferences/PPDP08 ................................................................ IMPORTANT DATES Submission: April 10, 2008 Notification: May 15, 2008 Conference: July 15-17, 2008 SCOPE: PPDP 2008 is a forum for researchers and practitioners in the declarative programming communities. It solicits papers on all aspects of logic, constraint and functional programming, as well as on related paradigms such as visual programming, executable specification languages, database languages, AI and knowledge representation languages for the "semantic web". MAIN TOPICS: Logic, Constraint, and Functional Programming; Database, AI and Knowledge Representation Languages; Visual Programming; Executable Specification for Languages; Applications of Declarative Programming; Methodologies for Program Design and Development; Declarative Aspects of Object-Oriented Programming; Concurrent Extensions to Declarative Languages; Declarative Mobile Computing; Paradigm Integration; Proof Theoretic and Semantic Foundations; Type and Module Systems; Program Analysis and Verification; Program Transformation; Abstract Machines and Compilation; Programming Environments. PROCEEDINGS: The proceedings will be published by ACM Press RELATED EVENTS: PPDP 2008 will be co-located with the 15th International Static Analysis Symposium (SAS 2008) and the 18th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2008). SYMPOSIUM CHAIR: Elvira Albert, Complutense University of Madrid PROGRAM CHAIR: Sergio Antoy, Portland State University INVITED SPEAKER: Michael Leuschel, University of DÃ¼sseldorf, Germany PROGRAM COMMITTEE: Elvira Albert Complutense University of Madrid, Spain Sergio Antoy Portland State University, USA Maribel Fernandez King's College London, UK Maurizio Gabbrielli University of Bologna, Italy Neil Ghani University of Nottingham, UK Masami Hagiya University of Tokyo, Japan Joxan Jaffar National University, Singapore Claude Kirchner INRIA Bordeaux, France Herbert Kuchen University of Muenster, Germany Michael Maher NICTA and University of New South Wales, Australia Dale Miller INRIA Saclay, France Eugenio Moggi University of Genova, Italy Kostis Sagonas Uppsala University, Sweden Carsten Schurmann, IT University of Copenhagen, Denmark Peter Sestoft IT University of Copenhagen, Denmark LOCAL CHAIR: Christophe Joubert SYMPOSIUM VENUE: The conference will be held at the Technical University of Valencia, Spain.

1 0

Announce: Decimal arithmetic package
by Paul Johnson 31 Mar '08

31 Mar '08

I've just uploaded version 0.1.0 of a decimal arithmetic package to Hackage. Decimal numbers are stored as an Integral mantissa and a Word8 exponent, where the number stored is mantissa * 10^(-exponent). In other words the exponent is the number of decimal places stored. There are also routines for partitioning a value such that the sum of the parts is equal to the original value. This is useful in financial arithmetic. This came out of my ongoing work on an AMQP binding for Haskell. Version 0-10 of the AMQP spec includes decimal fractions defined in this way for financial applications, so I thought I'd make a proper job of it. A darcs repository will be set up shortly. Paul.

1 0

ANNOUNCE: xmonad 0.7 released
by Don Stewart 30 Mar '08

30 Mar '08

http://xmonad.org The xmonad dev team is pleased to announce xmonad 0.7! The headlines: The 0.7 release of xmonad provides several improvements over 0.6, including improved integration with GNOME, more flexible "rules", various stability fixes, and of course, many new and interesting features in the extension library (general support for window decorations, utf8 support, scratch pad terminals, pointer control) and more! New GNOME support: Active, automated support for GNOME utilities. We know our users often like to use GNOME menus, tools and status bars, and we'd like to announce that xmonad actively supports GNOME! Extensions for communicating with and utilising gnome utilities come in the library suite, as well as extensive documentation and support. For more information see the GNOME/xmonad integration page on the wiki. A period of active development: In the past year, the xmonad development team received contributions from over 60 developers, making xmonad one of the largest window manager development teams around, and dwarfing other tiling window manager projects. Yet, at the same time, the core code base remains at around 1000 lines of code, with another 7000 lines in the extension library -- a significant achievment! Change logs: http://haskell.org/haskellwiki/Xmonad/Notable_changes_since_0.6 http://xmonad.org/changelog-0.7.txt http://xmonad.org/changelog-xmc-0.7.txt About: xmonad is a tiling window manager for X. Windows are arranged automatically to tile the screen without gaps or overlap, maximising screen use. Window manager features are accessible from the keyboard: a mouse is optional. xmonad is extensible in Haskell, allowing for powerful customisation. Custom layout algorithms, key bindings and other extensions may be written by the user in config files. Layouts are applied dynamically, and different layouts may be used on each workspace. Xinerama is fully supported, allowing windows to be tiled on several physical screens. Features: * Very stable, fast, small and simple. * Automatic window tiling and management * First class keyboard support: a mouse is unnecessary * Full support for tiling windows on multi-head displays * Full support for floating, tabbing and decorated windows * Full support for Gnome and KDE utilities * XRandR support to rotate, add or remove monitors * Per-workspace layout algorithms * Per-screens custom status bars * Compositing support * Powerful, stable customisation and reconfiguration * Large extension library * Excellent, extensive documentation * Large, active development team, support and community Get it! Information, screenshots, documentation, tutorials and community resources are available from the xmonad home page: http://xmonad.org The 0.7 release, and its dependencies, are available from hackage.haskell.org: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/xmonad xmonad packages are available in the package systems of at least: Debian, Gentoo, Arch, Ubuntu, OpenBSD, NetBSD, FreeBSD, Gobo, NixOS, Source Mage, Slackware and 0.7 packages will appear in coming days (some are already available). On the fly updating to xmonad 0.7 is supported. You should be able to upgrade to xmonad 0.7 from 0.6 and earlier, transparently, without losing your session. Load the new code with mod-q and enjoy. Extensions: xmonad comes with a huge library of extensions (now more than 7 times the size of xmonad itself), contributed by viewers like you. Extensions enable pretty much arbitrary window manager behaviour to be implemented by users, in Haskell, in the config files. For more information on using and writing extensions see the webpage. The library of extensions is available from hackage: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/xmonad-contrib Full documentation for using and writing your own extensions: http://xmonad.org/contrib.html This release brought to you by the xmonad dev team: Spencer Janssen Don Stewart Jason Creighton David Roundy Brent Yorgey Devin Mullins Braden Shepherdson Roman Cheplyaka Lucas Mai Featuring code contributions from over 60 developers: Aaron Denney Adam Vogt Alec Berryman Alex Tarkovsky Alexandre Buisse Andrea Rossato Austin Seipp Bas van Dijk Ben Voui Brandon Allbery Chris Mears Christian Thiemann Clemens Fruhwirth Daniel Neri Daniel Wagner Dave Harrison David Glasser David Lazar Dmitry Kurochkin Dominik Bruhn Dougal Stanton Eric Mertens Ferenc Wagner Gwern Branwen Hans Philipp Annen Ivan Tarasov Jamie Webb Jeremy Apthorp Joachim Breitner Joachim Fasting Joe Thornber Joel Suovaniemi Juraj Hercek Justin Bogner Kai Grossjohann Karsten Schoelzel Klaus Weidner Mathias Stearn Mats Jansborg Matsuyama Tomohiro Michael Fellinger Michael Sloan Miikka Koskinen Neil Mitchell Nelson Elhage Nick Burlett Nicolas Pouillard Nils Anders Danielsson Peter De Wachter Robert Marlow Sam Hughes Shachaf Ben-Kiki Shae Erisson Simon Peyton Jones Stefan O'Rear Tom Rauchenwald Valery V. Vorotyntsev Will Farrington Yaakov Nemoy timthelion As well as the support of many others on the #xmonad and #haskell IRC channels, and the wider Haskell and window manager communities. Thanks to everyone for their support!

1 0

PhD Positions in Language-based Security at Chalmers
by Andrei Sabelfeld 29 Mar '08

29 Mar '08

------------------------------------------------------------------------ *PhD Student Positions in Programming Language-based Security* Dept. of Computer Science and Engineering Chalmers University of Technology, Sweden Application deadline: April 30, 2008 Full version of this announcement: http://www.chalmers.se/en/sections/news/vacancies/positions/phd-student-pos… ------------------------------------------------------------------------ *The Department* The department provides a strong, international, and dynamic research environment with about 75 faculty and 75 PhD students. For more information, see http://www.chalmers.se/cse/EN/. Knowledge of Swedish is not a prerequisite for application. English is our working language for research. Both Swedish and English are used in undergraduate courses. Half of our researchers and PhD students are native Swedes; the rest come from more than 30 different countries. ------------------------------------------------------------------------ *PhD Project* The PhD students will join a world-leading team of researchers on *programming language-based security*. Language-based security facilitates specifying and enforcing security policies at the level of programming languages early in the software design and construction phase. The focus of the advertised positions is on *language-based information-flow security*. Given a program that manipulates sensitive data, the aim is to make sure there is no information flow (caused by the execution of the program) that may compromise the sensitive data. Drawing on the recent progress in this area, the goal of the positions is to pursue the following directions of work: * To design *rich security policies* for confidentiality and integrity, as demanded by practical applications (such as web applications). These security policies should be formal: they should operate at the level of programming-language semantics. * To develop *practical enforcement mechanisms* for these policies in expressive programming languages (such as web languages). These enforcement mechanisms may combine static (for example, type system-based) and dynamic (for example, execution monitoring-based) techniques. * To support the above with case studies in web-application security. In pursuing these goals, there are possibilities for collaboration with our high-profile academic and industrial partners. ------------------------------------------------------------------------ *Details about Employment* PhD student positions are limited to five years and will then normally include 20% departmental work, mostly teaching duties. Salary for the position is as specified in Chalmers' general agreement for PhD student positions. The positions are intended to start on September 1, 2008. In exceptional cases, we can imagine moving the starting date. ------------------------------------------------------------------------ *Suitable Background* Applicants must have a very good degree in Computing Science or in a related subject with a strong Computing Science component. They must also have a strong, documented interest in doing research. The ideal student for the project will have strong background in both programming languages and security. You may even apply if you have not yet completed your degree, but expect to do so before the position starts. In order to improve gender balance, Chalmers welcomes in particular applications from female candidates. ------------------------------------------------------------------------ *How to Apply* The full application should contain 1. A letter of application, listing specific research interests 2. Copies of degrees and other certificates 3. A curriculum vitae 4. Letters of recommendation from your teachers or employers 5. Copies of relevant work, for example dissertations, theses, or articles, that you have authored or co-authored You MUST include letters of recommendation: we typically get over 100 applications, and it is simply not feasible for us to request individual letters! Your application needs to include the job reference number 2008/60. The last date for your full application to arrive is April 30, 2008. The application can be submitted electronically, or on paper, following the guidelines on this web page: http://www.chalmers.se/en/sections/news/vacancies/positions/phd-student-pos…

1 0

[GSoC] student applications deadline approaching
by Malcolm Wallace 26 Mar '08

26 Mar '08

Reply-To: haskell-cafe(a)haskell.org Just to remind students who are interested in Google Summer of Code. Student applications are now open, and the final deadline for submitting your proposals is 2400 UTC, 31st March. http://code.google.com/soc/2008/ Regards, Malcolm

1 0

ANNOUNCE: Haskell Server Pages v 0.4
by Niklas Broberg 26 Mar '08

26 Mar '08

Greetings fellow Haskelleers, I am very pleased to announce a new chapter in the Haskell Server Pages saga. After a two-year long hiatus, while we in the team have been busy with Other Stuff, we have resumed work on Project HSP, and this release marks the first milestone. ================= === Project HSP === ================= Haskell Server Pages (HSP) is a programming model for writing dynamic web pages in Haskell, both server-side and client-side. One of its core features is the use of literal XML syntax mixed with ordinary Haskell code. * Project HSP home (with bug/feature tracker): http://code.google.com/p/hsp * Project HSP mailing list: haskell-server-pages(a)googlegroups.com * Project HSP darcs repos: http://code.haskell.org/HSP For flavor, here is a simple Hello World application written in HSP: ----- module HelloWorld where import HSP import HSP.HJScript import HJScript import HJScript.DOM -- A simple HTML page holding a button with onClick action. page :: HSP XML page = <html> <head> <title>Hello World</title> </head> <body> <% <button>click</button> `onClick` (window # alert (string "Hello World !")) %> </body> </html> ----- Note that literal XML elements are first class expressions in HSP, unlike languages like PHP. Also note that using literal XML syntax is by no means required, if you don't feel like writing the XML manually (I sure don't!). There are combinators for building XHTML pages (although they are currently missing from version 0.4, will be added shortly, but release early and all that...). The most interesting new feature in version 0.4 is that literal XML syntax (or the equivalent combinators) can now be used to create XML elements both server-side and client-side, with the same code. Here is another short example script showing this feature: ------------------ module AddParagraph where import HJScript hiding (test) import HJScript.DOM import HSP import HSP.HJScript makeP x = <p><b><% x %></b></p> page :: HSP XML page = <html> <head><title>Add paragraph</title></head> <% do (r,b) <- ref <body><% makeP "Paragraph created Server-side!" %></body> let fun = do let x = document # getElementById (string r) x <: makeP "Paragraph created Client-side!" return () b <: (<button>Click Me!</button> `onClick` fun) %> </html> -------------------- Project HSP v 0.4 consists of a set of packages with related functionality: == package hsx == Haskell Source with XML (HSX, hsx) is a package that contains everything pertaining to literal XML syntax. In particular it contains a) the trhsx preprocessor that translates hsx source files into vanilla Haskell, and b) modules defining the functions that are injected by trhsx. It also nominally contains generic combinators for creating values of the same types as the literal XML syntax, though these modules are not present in 0.4. darcs get --partial http://code.haskell.org/HSP/hsx http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hsx-0.4 == package hsp == The core HSP package defines the datatypes and functions for writing server-side dynamic web pages. Also defines how to use the HJScript functionality in HSP pages, to allow for client-side dynamics as well. darcs get --partial http://code.haskell.org/HSP/hsp http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hsp-0.4 == package HJavaScript == This package defines an abstract syntax and (not-so-)pretty printer for a large subset of JavaScript, as Language.HJavaScript. However, a significant difference from JavaScript is that HJavaScript is typed, even on the abstract syntax level using GADTs. The subset of JavaScript that is supported is those parts that lend themself to typing (i.e. no prototyping of classes). darcs get --partial http://code.haskell.org/HSP/hjavascript http://hackage.haskell.org/cgi-bin/hackage-scripts/package/HJavaScript-0.4 == package HJScript == HJScript is a DSL built on top of HJavaScript, for writing client-side dynamic web pages. The programming model is fairly low-level, resembling the actual JavaScript code quite a lot, but should be easy to extend with higher-level functionality. Notable is that HJScript supports the use of literal XML syntax for creating DOM ElementNodes. Also notable is that HJScript supports Ajax functionality. HJScript and HJavaScript can be used independently of HSP, for creating JavaScript code. darcs get --partial http://code.haskell.org/HSP/hjscript http://hackage.haskell.org/cgi-bin/hackage-scripts/package/HJScript-0.4 == package hsp-cgi == Run HSP pages as CGI scripts. darcs get --partial http://code.haskell.org/HSP/hsp-cgi http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hsp-cgi-0.4 (Note: Earlier versions of HSP have come with a server application, hspr, providing the runtime environment for HSP. As of 0.4, this server has been discontinued and should be considered deprecated.) ===================== Notable items on the TODO list for Project HSP: - More functionality, allowing for higher-level programming models. - Writing larger applications, in order to stress test, and serve as inspiration for higher-level functionality. - Integrate with HAppS, to allow stateful computation (among other things). - A home on the web for HSP, with a web page written in HSP. We welcome both users (of course) and contributors to the project. There is much work to be done, and we welcome all help we can get. If you think this is interesting stuff, drop by our mailing list (haskell-server-pages(a)googlegroups.com) Like to do web programming in Haskell? Want to do a GSoC project? We in the project would be happy to see applications for HSP projects, and the list above is a good starting place. See for instance (http://hackage.haskell.org/trac/summer-of-code/ticket/1538) and (http://hackage.haskell.org/trac/summer-of-code/ticket/1539) Cheers, /Niklas on behalf of the Project HSP team

1 0

Haskell OBDD package?
by Johannes Waldmann 25 Mar '08

25 Mar '08

I'm looking for current Haskell implementations of (ordered) binary decision diagrams. (Yes, I tried google but this gives links from 2004 and earlier.) Thanks - Johannes Waldmann.

2 1

1st CFP: 17th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'08)
by demis＠dimi.uniud.it 25 Mar '08

25 Mar '08

=================================================================== 1st Call For Papers WFLP 2008 17th International Workshop on Functional and (Constraint) Logic Programming Siena, Italy, July 3-4, 2008 http://wflp08.dimi.uniud.it/ co-located with WWV'08 http://wwv08.dimi.uniud.it/ =================================================================== IMPORTANT DATES Abstract Submission April 20, 2008 Full Paper Submission April 27, 2008 Acceptance Notification May 27, 2008 Camera Ready June 11, 2008 Workshop July 3-4, 2008 SCOPE The Workshop on Functional and (Constraint) Logic Programming aims at bringing together researchers interested in functional programming, (constraint) logic programming, as well as the integration of the two paradigms. It promotes the cross-fertilizing exchange of ideas and experiences among researchers and students from the different communities interested in the foundations, applications, and combinations of high-level, declarative programming languages and related areas. The previous WFLP editions are: WFLP 2007 (Paris, France), WFLP 2006 (Madrid, Spain), WCFLP 2005 (Tallinn, Estonia), WFLP 2004 (Aachen, Germany), WFLP 2003 (Valencia, Spain), WFLP 2002 (Grado, Italy), WFLP 2001 (Kiel, Germany), WFLP 2000 (Benicassim, Spain), WFLP'99 (Grenoble, France), WFLP'98 (Bad Honnef, Germany), WFLP'97 (Schwarzenberg, Germany), WFLP'96 (Marburg, Germany), WFLP'95 (Schwarzenberg, Germany), WFLP'94 (Schwarzenberg, Germany), WFLP'93 (Rattenberg, Germany), and WFLP'92 (Karlsruhe, Germany). LOCATION WFLP'08 will be held in July in the convention centre of the University of Siena, Italy: http://www.unisi.it/santachiara/ The workshop will be co-located with WWV'08: http://wwv08.dimi.uniud.it/ WORKSHOP VENUE Siena is one of the nicest city in Italy. The historical centre is situated on top of a hill and is made of beautiful medieval buildings and churches, all surrounded by ancient walls. The countryside of Siena is worldwide famous for its beauty. The Palio of Siena is probably the most famous historical fair in Italy. The most important event of it is a horse race of medieval origins, which is held in the afternoon of July 2nd in 'Piazza del Campo' in the centre of Siena. For more information, please visit http://www.comune.siena.it/ TOPICS WFLP'08 solicits papers in all areas of functional and (constraint) logic programming, including but not limited to: * Foundations: formal semantics, rewriting and narrowing, constraint solving, dynamics, type theory * Language Design: modules and type systems, multi-paradigm languages, concurrency and distribution, objects * Implementation: abstract machines, parallelism, compile-time and run-time optimizations, interfacing with external languages * Transformation and Analysis: abstract interpretation, specialization, partial evaluation, program transformation, meta-programming * Software Engineering: design patterns, specification, verification and validation, debugging, test generation * Integration of Paradigms: integration of declarative programming with other paradigms such as imperative, object-oriented, concurrent, and real-time programming * Applications: declarative programming in education and industry, domain-specific languages, visual/graphical user interfaces, embedded systems, WWW applications, knowledge representation and machine learning, deductive databases, advanced programming environments and tools SUBMISSIONS and PROCEEDINGS Authors are invited to submit papers of at most 15 pages (pdf or postscript formats) presenting original, not previously published works. Submission categories include regular research papers, short papers (not more than 8 pages) describing on-going work, and system descriptions. Papers should be submitted electronically via the web-based submission site http://www.easychair.org/conferences/?conf=wflp2008 Preliminary proceedings will be available at the workshop. Selected authors will be invited to submit a full version of their papers after the workshop. These submissions will pass through a second round of reviewing. Accepted contributions are going to be published in the Elsevier series Electronic Notes in Theoretical Computer Science (ENTCS). PROGRAM COMMITTEE Maria Alpuente Technical University of Valencia (Spain) Marco Comini University of Udine (Italy) Rachid Echahed CNRS,laboratoire LIG, Grenoble (France) Moreno Falaschi (Chair) University of Siena (Italy) Michael Hanus Christian-Albrechts-UniversitŠt zu Kiel (Germany) Tetsuo Ida University of Tsukuba (Japan) Herbert Kuchen Westfalische Wilhelms-Universitat Munster (Germany) Francisco Lopez Fraguas Universidad Complutense de Madrid (Spain) Wolfgang Lux Westfalische Wilhelms-Universitat Munster (Germany) Mircea Marin University of Tsukuba (Japan) Juan J. Moreno-Navarro Universidad Politecnica de Madrid (Spain) Alicia Villanueva Technical University of Valencia (Spain) ORGANIZING COMMITTEE Michele Baggi University of Siena, Italy Demis Ballis University of Udine, Italy Tommaso Flaminio University of Siena, Italy Maddalena Poneti University of Siena, Italy Elisa Tiezzi (Chair) University of Siena, Italy ====================================================================

1 0

1st CFP: 4th Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'08)
by demis＠dimi.uniud.it 25 Mar '08

25 Mar '08

*********************************************************************** 1st Call For Papers 4th International Workshop on Automated Specification and Verification of Web Systems (WWV'08) Siena, Italy, July 4, 2008 http://wwv08.dimi.uniud.it/ co-located with WFLP'08 http://wflp08.dimi.uniud.it/ *********************************************************************** IMPORTANT DATES Abstract Submission April 20, 2008 Full Paper Submission April 27, 2008 Acceptance Notification May 27, 2008 Camera Ready June 11, 2008 Workshop July 4, 2008 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 site analysis, certification, specification, verification, and optimization * formal models for describing and reasoning about Web sites * model-checking, synthesis and debugging of Web sites * 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'07 (Venice, Italy), WWV'06 (Paphos, Cyprus), and WWV'05 (Valencia, Spain). LOCATION WWV'08 will be held in July in the convention centre of the University of Siena, Italy: http://www.unisi.it/santachiara/ The workshop will be co-located with WFLP'08: http://wflp08.dimi.uniud.it/ WORKSHOP VENUE Siena is one of the nicest city in Italy. The historical centre is situated on top of a hill and is made of beautiful medieval buildings and churches, all surrounded by ancient walls. The countryside of Siena is worldwide famous for its beauty. The Palio of Siena is probably the most famous historical fair in Italy. The most important event of it is a horse race of medieval origins, which is held in the afternoon of July 2nd in 'Piazza del Campo' in the centre of Siena. For more information, please visit http://www.comune.siena.it/ SUBMISSION PROCEDURE Submissions must be received by April 27, 2008. In addition, an ASCII version of the title and abstract must have been submitted by April 20, 2008. Submitted papers should be at most 15 pages in the Electronic Notes in Theoretical Computer Science (ENTCS) style, and should include an abstract and the author's information. See the author's instructions of ENTCS style at http://www.entcs.org. Papers should be submitted electronically via the web-based submission site http://www.easychair.org/conferences/?conf=wwv08 PUBLICATION Accepted papers will be published in a preliminary proceedings volume, which will be available during the workshop. After the workshop, the final proceedings are going to be published in the Elsevier series Electronic Notes in Theoretical Computer Science (ENTCS). PROGRAM CO-CHAIRS Demis Ballis University of Udine, Italy Santiago Escobar Technical University of Valencia, Spain WORKSHOP CHAIR Michele Baggi University of Siena, Italy PROGRAM COMMITTEE Maria Alpuente Technical University of Valencia, Spain Demis Ballis University of Udine, Italy Gilles Barthe INRIA Sophia-Antipolis, France Wlodzimierz Drabent IDA, Linköpings Universitet, Sweden IPI PAN, Polish Academy of Sciences, Poland Santiago Escobar Technical University of Valencia, Spain Moreno Falaschi University of Siena, Italy Mario Florido University of Porto, Portugal Thomas A. Henzinger EPFL, Switzerland Maria Jose Hidalgo University of Sevilla, Spain Temur Kutsia RISC, Linz, Austria Massimo Marchiori University of Padova, Italy Catherine Meadows Naval Research Laboratory, USA Antonio Vallecillo University of Malaga, Spain

1 0