January 2005 - Haskell

Structures and Deduction Workshop CfP - ICALP '05 Satellite
by Paola Bruscoli 07 Jan '05

07 Jan '05

ICALP Workshop-Lisbon July 16-17, 2005 STRUCTURES AND DEDUCTION The quest for the essence of proofs <http://www.prooftheory.org/sd05> This meeting is about new algebraic and geometric methods in proof theory, with the aim of expanding our ability to manipulate proofs, eliminate bureaucracy from deductive systems, and ultimately provide: 1) a satisfying answer to the problem of identity of proofs and 2) tools for improving our ability to implement logics. Stimulated by computer science, proof theory is progressing at fast pace. However, it is becoming very technical, and runs the risk of splitting into esoteric specialties. The history of science tells us that this has happened several times before, and that these centrifugal tendencies are very often countered by conceptual reunifications, which occur when one is looking at a field after having taken a few steps back. Some emerging ideas are showing their unifying potential. Deep inference's atomization of deductions simplifies and unifies the design of deduction systems; it provides unprecedented plasticity to proofs and has injected new impetus into the theory of proof nets. New proof nets, and new associated semantics, are giving surprising insight about the very subtle relationship between categories and proofs, for example in the formerly intractable case of classical logic. The field of deduction modulo, which turns out to be very much in the spirit of deep inference, decreases our dependency on the syntactic presentation of functional objects, and brings us closer to their intrinsic nature, even from the computational point of view. After studying all those trees for years we at last have the impression of looking at the forest. The core topics are organised along the axis: algebraic semantics deduction of proofs deep inference modulo game semantics operads and specification <--> structads <--> proof nets proof search calculus of deductive structures implementations proof nets This workshop aims at being a meeting point for all those who are interested in decreasing the dependency of logic from low-level syntax. The list of topics above is not exhaustive: if you feel you can contribute to the discussion along the broad lines outlined above, please submit your contribution. SUBMISSION, IMPORTANT DATES AND PUBLICATION Contributions such as work in progress, programmatic/position papers, tutorials, as well as regular papers are more than welcome. We will favor the former over regular papers that seem to us to be minor contributions, although we will definitely not reject major contributions! Submissions should be formatted with the LNCS LaTeX style, and should not exceed fifteen pages, to allow the committee to assess their merits with reasonable effort. This limit can be relaxed for the versions that will be presented at the workshop, depending on the total bulk of the accepted contributions. Contributions should be submitted electronically; details will be provided soon. submission: 15.4.2005 notification: 22.5.2005 final version: 10.6.2005 The selected papers will be made public on the web for downloads. It goes without saying that authors will be able to keep their copyrights. The issue of printed proceedings is still under discussion. INVITED SPEAKERS Martin Hyland (Cambridge) Claude or Helene Kirchner (LORIA & INRIA Lorraine, Nancy) Dale Miller (INRIA Futurs and LIX, Paris) David Pym (Bath and HP Labs) PROGRAM COMMITTEE Paola Bruscoli (Dresden) Pietro Di Gianantonio (Udine) Gilles Dowek (LIX & Ecole Polytechnique, Paris) Roy Dyckhoff (St Andrews) Rajeev Gore' (NICTA and ANU, Canberra) Francois Lamarche (LORIA & INRIA Lorraine, Nancy) -- Chair Luke Ong (Oxford) Prakash Panangaden (McGill) Michel Parigot (CNRS, Paris) Charles Stewart (Dresden) Thomas Streicher (Darmstadt) LOCATION Lisbon, July 16-17, 2005; the workshop is a satellite of the ICALP 2005 conference. HOW TO REGISTER A registration fee for attending the workshop will be paid to the ICALP Workshop general chair; no fee for participating in the main conference should be necessary, while participation in both conference and workshop should entitle to special discounts. Please visit the ICALP web site for up-to-date, precise information: <http://icalp05.di.fct.unl.pt> ORGANISERS Paola Bruscoli (Dresden) Francois Lamarche (LORIA & INRIA Lorraine, Nancy) -- Chair Charles Stewart (Dresden)

1 0

CfC: GPCE'05 - Generative Programming and Component Engineering
by Eelco Visser 06 Jan '05

06 Jan '05

FIRST CALL FOR CONTRIBUTIONS ---------------------------------------------------------------------- 4th International Conference on Generative Programming and Component Engineering (GPCE'05) Sep 29 - Oct 1, 2005, Tallinn (Estonia) http://www.gpce.org/05 Sponsored by ACM SIGPLAN, in cooperation with ACM SIGSOFT co-located with ICFP'05 and TFP'05 ---------------------------------------------------------------------- Consult http://www.gpce.org/05 for UP-TO-DATE and DETAILED information AVAILABLE: Calls for WORKSHOP and TUTORIAL PROPOSALS FORTHCOMING: Calls for papers and demonstrations (by mid January) ---------------------------------------------------------------------- IMPORTANT DATES * Feb 25, 2005: Submission of workshop and tutorial proposals * Mar 18, 2005: Notification for workshop and tutorial proposals * Apr 10, 2005: Submission of abstracts (only for papers) * Apr 15, 2005: Submission of papers and demos * May 30, 2005: Notification for papers and demos * Sep 27-28, 2005: GPCE workshops and tutorials * Sep 29 - Oct 1, 2005: GPCE papers and demos ---------------------------------------------------------------------- SCOPE. Generative and component approaches have the potential to revolutionize software development in a similar way as automation and components revolutionized manufacturing. Generative Programming (developing programs that synthesize other programs), Component Engineering (raising the level of modularization and analysis in application design), and Domain-Specific Languages (elevating program specifications to compact domain-specific notations that are easier to write and maintain) are key technologies for automating program development. GPCE arose as a joint conference, merging the conference on Generative and Component-Based Software Engineering (GCSE) and the workshop on Semantics, Applications, and Implementation of Program Generation (SAIG). The goal of GPCE is to provide a meeting place for researchers and practitioners interested in cutting edge approaches to software development. We aim to foster further cross-fertilization between the software engineering research community and the programming languages community, in addition to supporting the original research goals of both the GCSE and the SAIG communities. ---------------------------------------------------------------------- TOPICS. GPCE seeks contributions both in software engineering and in programming languages related (but not limited) to: * Generative programming - Reuse, meta-programming, partial evaluation, multi-stage and multi-level languages, step-wise refinement - Semantics, type systems, symbolic computation, linking and explicit substitution, in-lining and macros, templates, program transformation - Runtime code generation, compilation, active libraries, synthesis from specifications, development methods, generation of non-code artifacts, formal methods, reflection * Generative techniques for - Product lines and architectures - Embedded systems - Model-driven architecture * Component-based software engineering - Reuse, distributed platforms, distributed systems, evolution, analysis and design patterns, development methods, formal methods * Integration of generative and component-based approaches * Domain engineering and domain analysis - Domain-specific languages (DSLs) including visual and UML-based DSLs * Separation of concerns - Aspect-oriented and feature-oriented programming, - Intentional programming and multi-dimensional separation of concerns * Industrial applications ---------------------------------------------------------------------- Contributions to GPCE should belong to the following categories: WORKSHOPS providing intensive collaborative environments, where generative and component technologists meet to discuss (and solve) challenging problems facing the field. TUTORIALS giving a deeper or broader insight than conventional lectures (they are expected to extend over a half or a full day). Tutorials can be on any theme from or related to the topics above: surveys, experience reports or specialized research topics. However, a tutorial is expected to attract a reasonable number of participants (at least 10). PAPERS reporting research results and/or experience related to the topics above (PC co-chairs can advise on appropriateness). We especially encouraged original high-quality reports on applications to real-world problems, relating ideas and concepts from several topics, or bridging the gap between theory and practice. DEMOS covering novel tools, techniques or ideas; work in progress; or proven techniques used in real world scenarios. Demos will be selected based on technical content, practical or academic relevance, and their feasibility w.r.t. the infrastructure locally available. Presentations must focus on the technical content (product marketing would be inappropriate). ---------------------------------------------------------------------- ORGANIZATION General Chair * Eugenio Moggi (Genova University, Italy) Program Committee Chairs * Robert Glueck (University of Copenhagen, Denmark) * Michael Lowry (NASA, USA) Publicity Chair * Eelco Visser (Utrecht University, The Netherlands) Workshops and Tutorials Chairs * Jeff Gray (University of Alabama at Birmingham, USA) * Andrew Malton (Waterloo University, Canada) Local Arrangements Chair * Tarmo Uustalu (Institute of Cybernetics, Tallinn) ----------------------------------------------------------------------

1 0

RE: [Haskell] I try to thaw an array of unboxed arrays to the IO monad
by Simon Peyton-Jones 06 Jan '05

06 Jan '05

| The error above is telling you that there's no instance for 'MArray b | FlatVector IO' - this is because you haven't specified the array type | 'b' into which thaw should convert the array. The error message is a | bit misleading; it's really an ambiguity rather than a missing instance | (I don't know whether it could be reasonably improved, though). That is indeed horrible. Duly improved. Foo.hs:16:7: Ambiguous type variable `b' in the constraint: `MArray b FlatVector IO' arising from use of `thaw' at Foo.hs:16:7-10 Probable fix: add a type signature that fixes these type variable(s) Simon

1 0

RE: [Haskell] I try to thaw an array of unboxed arrays to the IO monad
by Simon Marlow 05 Jan '05

05 Jan '05

On 03 January 2005 23:53, Andreas Marth wrote: > So I tried the following: > >> import Data.Array.Base (thaw,freeze) >> import Data.Array.Unboxed as UA (UArray,listArray) >> import Data.Array.IArray as IA (Array,listArray) > >> main :: IO () >> main = do let sL = [1,4,6,3,2,5] >> dim = length sL >> help :: [FlatVector] >> help = [listFlatVector (1,s) [0|i<-[1..s]]|s<-sL] tmp :: Vector >> FlatVector tmp = listVector (1,dim) help >> v <- thaw tmp >> -- lots of stuff >> -- res <- freeze v >> return () > >> type FlatVector = UArray Int Double > >> listFlatVector :: (Int,Int) -> [Double] -> FlatVector >> listFlatVector = UA.listArray > >> type Vector a = Array Int a > >> listVector :: (Int,Int) -> [a] -> Vector a >> listVector = IA.listArray > ... > And this one in GHC: > > mini-thaw.hs:12: > No instance for (Data.Array.Base.MArray b FlatVector IO) > arising from use of `thaw' at mini-thaw.hs:12 > In a 'do' expression: v <- thaw tmp > In the definition of `main': > main = do > let sL = [1, 4, 6, 3, 2, 5] > dim = length sL > help :: [FlatVector] > help = [... | s <- ...] > tmp :: Vector FlatVector > tmp = listVector (1, dim) help > v <- thaw tmp > return () This is because thaw is overloaded, with type: *Main> :t thaw thaw :: forall e i b m a. (MArray b e m, IArray a e, Ix i) => a i e -> m (b i e) nice type, eh? :-) It means, basically, that thaw converts an immutable array type 'a' of elements 'e' into a mutable array type 'b', in monad 'm'. This works to convert between any pair of 'a' and 'b' array types as long as they have appropriate instances of IArray and MArray, respectively. The error above is telling you that there's no instance for 'MArray b FlatVector IO' - this is because you haven't specified the array type 'b' into which thaw should convert the array. The error message is a bit misleading; it's really an ambiguity rather than a missing instance (I don't know whether it could be reasonably improved, though). Easily fixed by adding an appropriate type signature, for example: let _ = v :: IOArray Int FlatVector after 'v <- thaw tmp' will do the trick. BTW, don't import Data.Array.Base, use Data.Array.MArray instead. Cheers, Simon

1 0

MTCoord'05: First call for papers
by Isabelle Linden 04 Jan '05

04 Jan '05

[ Our apologies for multiple copies. ] ====================================================================== Announcement and First Call for Papers 1st International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2005) April 23, 2005, Namur, Belgium Workshop affiliated to Coordination'2005, April 20 - 23 2005 ====================================================================== IMPORTANT DATES: o March 1, 2005: Abstract submission deadline. o March 8, 2005: Paper Submission deadline. o April 1, 2005: Notification of acceptance. o April 10, 2005: Final version. o April 23, 2005: Meeting Date. SCOPE Various classes of computational models, languages, and formalisms have emerged in the aim of providing high-level descriptions of concurrent, distributed, and mobile systems. Typical examples include so-called coordination languages and models (e.g. Gamma, Linda, Manifold, Reo, Klaim, Lime, ...), concurrent constraint languages (e.g. cc languages, Mozart, ...) and process algebras (e.g. CSP, CCS, pi-calculus, ...). These models are based on generative communication via a shared data space or on data communication through channels. In both cases, software components are typically conceived in isolation assuming that the required data will eventually be available. However, making a whole system out of these components and, in particular, ensuring that interactions occur properly is far from being obvious. The aim of the workshop is precisely to bring together researchers, working in different communities (coordination, constraints, process algebras), on methods and tools for the construction of concurrent, distributed and mobile systems. TOPICS OF INTEREST Topics of interest include but are not limited to o Model checking techniques, in particular parallel, distributed and probabilistic ones o Design of high-level specifications, eg based on first-order, modal and temporal logics o Techniques for requirements capture and analysis o Theorem proving based methodologies o Compositional and refinement-based methodologies o Debugging techniques o Abstract interpretation o Program analysis and transformation o Simulation and testing o Formal methods for security o Tools environments and architectures o Applications and case studies, in particular in web services and biology SUBMISSION GUIDELINES Papers describing original work are solicited as contributions to MTCoord 2005. Submitted papers should be limited to 6 000 words, preferrably formatted according to the Electronical Notes in Theoretical Computer Science. They should be submitted through the conference management system that will be available from the workshop web site http://www.info.fundp.ac.be/MTCoord/MTCoord05 PUBLICATION Selected work will be published in a volume of the Electronical Notes in Theoretical Computer Science. LOCATION The workshop will be held in Namur in April 23 2005. It is a satellite workshop of Coordination 2005. For venue and registration, see the Coordination'2005 web page at http://www.coordination2005.org WORKSHOP ORGANIZERS o Lubos Brim, Masaryk University Brno, Czech Republic o Isabelle Linden, University of Namur, Belgium PROGRAMME COMITTEE (provisional) o Ivana Cerna, Masaryk University Brno, Czech Republic o Giorgio Delzanno, University of Genova, Italy o Wan Fokkink, CWI, The Netherlands o Jean-Marie Jacquet, University of Namur, Belgium o Marta Kwiatkowska, University of Birmingham, United Kingdom o Angelika Mader, University of Twente, The Netherlands o Andreas Podelski, Max Planck Institute, Germany o Kaisa Sere, Abo Akademi University, Finland o Peter Van Roy, University of Louvain-la-Neuve, Belgium o Mirko Viroli, University of Bologna, Italy

1 0

Cfp : ICSM 2005, the 21st International Conference on Software Maintenance
by Software Maintenance 04 Jan '05

04 Jan '05

Call for Papers and Presentations IEEE International Conference on Software Maintenance 2005, ICSM 2005, 25-30 September 2005, Budapest, Hungary Sponsored by IEEE Technical Council on Software Engineering (TCSE), in cooperation with University of Szeged, Hungary http://www.inf.u-szeged.hu/icsm2005 The 21st IEEE International Conference on Software Maintenance (ICSM 2005), with associated SCAM, STEP, VISSOFT, and WSE, will be held 25-30 September 2005 in Budapest, Hungary. We invite Research Papers, Industrial Applications, Panels, Tool Demonstrations, Dissertation Forum, and Tutorials. The International Conference on Software Maintenance (ICSM) is the world's major international conference for software and systems maintenance, evolution, and management. For the 21st ICSM 2005 we invite you to join us in exploring issues related to maintaining, modifying, enhancing, and testing operational systems, and designing, building, testing, and evolving maintainable systems. Please forward this Call to anybody who you think may be interested. Our apologies if you received multiple copies of this. The submission deadline for Research Papers is 21 March 2005 and for all other presentations 30 April 2005. The Conference URL is: http://www.inf.u-szeged.hu/icsm2005. The submission URL is: http://www.rcost.unisannio.it/~icsm2005papers. RESEARCH PAPERS Research papers should describe original and significant work in the research and practice of software maintenance and evolution. Case studies, empirical research, and well-designed experiments are particularly welcome. Research papers must not exceed 10 pages in final printed form. Submit to http://www.rcost.unisannio.it/~icsm2005papers by 21 March 2005. INDUSTRIAL APPLICATIONS Proposals for presentations of Industrial Applications are particularly welcome, with an eye to sharing industrial problems, experiences and insights with the research community. These should be state-of-the-art descriptions, problem analyses, experience reports, and survey reports from real projects, industrial practices, solutions and models. A dedicated sub-committee of the Program Committee will review Industrial Application proposals. Accepted industrial application descriptions will be included in a volume of the conference Proceedings. Industrial applications must not exceed 10 pages in final printed form. Submit by email to icsm2005.industrial(a)inf.u-szeged.hu by 30 April 2005. PANELS ICSM 2005 invites proposals for panel sessions that serve to stimulate discussion about ideas and issues of importance to the software maintenance community. We particularly welcome proposals for highly interactive panel sessions that encourage discussion and debate. A one-page summary of the panel will be included in the conference Proceedings. Submit a short description about the topic and the potential panelists by email to icsm2005.panels(a)inf.u-szeged.hu by 30 April 2005. TOOL DEMONSTRATIONS We invite proposals for both commercial and research tools. The goal of the tool demonstration session is to let conference participants view software maintenance tools in action and discuss these systems with their creators. A four-page presentation of each accepted tool will be included in a volume of the conference Proceedings. Submit a description of the tool and its applicability to software maintenance by email to icsm2005.tools(a)inf.u-szeged.hu by 30 April 2005. DISSERTATION FORUM We welcome submissions from researchers that defended their dissertation (Ph.D.) in the last three years (2002-2004) or will defend by the submission deadline. This forum is intended to expose the work of young researchers to established researchers and the broader software maintenance and evolution community. Please submit a synopsis of your dissertation of 4 pages or less and the full dissertation in PDF. Each submission will be reviewed by at least two program committee members. Accepted synopses will be included in the conference proceedings and a special Dissertation Forum session will be organized at the conference. Submit by email to icsm2005.dissertation(a)inf.u-szeged.hu by 30 April 2005. TUTORIALS Tutorials should present software maintenance and evolution topics of interest to practitioners. Tutorials may be full day or half-day in length. If you have expertise on specific software evolution methods, techniques, or processes, submit a tutorial proposal to ICSM 2005. Your proposal should include learning objectives, a description of the target audience, intended duration (half day or full day), a content summary, and a brief (50 words max.) curriculum of the teachers. Tutorials will be selected based on relevance, quality, and ability to attract sufficient interest. Two-page descriptions of accepted Tutorials will be included in the Proceedings. Submit by email to icsm2005.tutorials(a)inf.u-szeged.hu by 30 April 2005. ADDITIONAL SPECIAL PUBLICATIONS Best papers will be invited for inclusion in a special issue of a major software engineering journal. MEDIA AND STYLE Submissions will be accepted only as Microsoft Word, Adobe Acrobat PDF, or PostScript electronic submission. All submissions must be in English. SUBMISSION METHOD The submission URL is: http://www.rcost.unisannio.it/~icsm2005papers. IMPORTANT DATES Research Papers due: 21 March 2005. Industrial Applications, Panels, Tool Demonstrations, Dissertation Forum, and Tutorials due 30 April 2005 Notification of authors: 30 May 2005 Camera-ready copy: 25 July 2005 FINAL FORMAT OF PAPERS AND MATERIALS FOR THE PROCEEDINGS Accepted papers and other materials for the Proceedings must be revised to conform to IEEE style guidelines at http://www.computer.org/cspress/instruct.htm. An author kit will be available after acceptance notification. Revised accepted papers and materials must be received no later than 25 July 2005 for inclusion in the Proceedings. MORE INFORMATION For further information see http://www.inf.u-szeged.hu/icsm2005. General Chair: Harry M. Sneed, ANECON GmbH, Vienna, Austria (Harry.Sneed(a)t-online.de) Program Co-Chairs Tibor Gyimóthy, University of Szeged, Hungary (gyimi(a)inf.u-szeged.hu) Vaclav Rajlich, Wayne State University, USA (rajlich(a)cs.wayne.edu)

1 0

I try to thaw an array of unboxed arrays to the IO monad
by Andreas Marth 03 Jan '05

03 Jan '05

Hallo everybody! A few years ago I wrote a program wich contained (among much else) the following: >import IOExts (thawIOArray,freezeIOArray) -- had to be replaced, because ghc doesn't find it anymore >import Data.Array.Unboxed as UA (UArray,listArray) >import Data.Array.IArray as IA (Array,listArray) >main :: IO () >main = do let sL = [1,4,6,3,2,5] > dim = length sL > help :: [FlatVector] > help = [listFlatVector (1,s) [0|i<-[1..s]]|s<-sL] > tmp :: Vector FlatVector > tmp = listVector (1,dim) help > v <- thawIOArray tmp > -- lots of stuff > res <- freezeIOArray v > return () >type FlatVector = UArray Int Double >listFlatVector :: (Int,Int) -> [Double] -> FlatVector >listFlatVector = UA.listArray >type Vector a = Array Int a >listVector :: (Int,Int) -> [a] -> Vector a >listVector = IA.listArray which worked. Now GHC doesn't know IOExts anymore and even doesn't know "thawIOArray" and "freezeIOArray". (At least I could not find it anymore.) So I tried the following: >import Data.Array.Base (thaw,freeze) >import Data.Array.Unboxed as UA (UArray,listArray) >import Data.Array.IArray as IA (Array,listArray) >main :: IO () >main = do let sL = [1,4,6,3,2,5] > dim = length sL > help :: [FlatVector] > help = [listFlatVector (1,s) [0|i<-[1..s]]|s<-sL] > tmp :: Vector FlatVector > tmp = listVector (1,dim) help > v <- thaw tmp > -- lots of stuff >-- res <- freeze v > return () >type FlatVector = UArray Int Double >listFlatVector :: (Int,Int) -> [Double] -> FlatVector >listFlatVector = UA.listArray >type Vector a = Array Int a >listVector :: (Int,Int) -> [a] -> Vector a >listVector = IA.listArray Which yields the following error in Hugs: ERROR "E:\Inf-Sys\NormalerCode\mini-thaw.hs":6 - Cannot justify constraints in explicitly typed binding *** Expression : main *** Type : IO () *** Given context : () *** Constraints : MArray a (UArray Int Double) IO And this one in GHC: mini-thaw.hs:12: No instance for (Data.Array.Base.MArray b FlatVector IO) arising from use of `thaw' at mini-thaw.hs:12 In a 'do' expression: v <- thaw tmp In the definition of `main': main = do let sL = [1, 4, 6, 3, 2, 5] dim = length sL help :: [FlatVector] help = [... | s <- ...] tmp :: Vector FlatVector tmp = listVector (1, dim) help v <- thaw tmp return () I'm a bit disturbed because I could not find a way to solve this. And to make an Array of Arrays (the inner ones unboxed if possible*) mutable should not be thatch a big problem. Any solutions available? I would be glad for any hint. Thanks, Andreas * At that time only GHC provided unboxed Arrays.

1 0

Internships and Post-doctoral Positions at MSR Cambridge
by Don Syme 02 Jan '05

02 Jan '05

Dear Haskell-list On behalf of Microsoft Research, Cambridge, I would like to announce that applications for intern positions at our lab for 2005 are now being accepted. Our lab has a number of groups, but of particular interest may be the Programming Principles and Tools group (http://research.microsoft.com/ppt/) This group is keenly interested in functional programming, language theory, runtime systems and type systems amongst other things and includes famous Haskellers such as Simon Peyton-Jones and Simon Marlow. Specific interests of other researchers are detailed on their home pages, and in general you should consider discussing potential projects with a specific researcher soon after applying. Cambridge is a great place to work, and internships normally last 12 weeks and most commonly occur over the summer. Applicants should be graduate students on PhD programs. For summer 2005 Internships, the deadline for complete applications is 28th February 2005, and references have to be received by this date. The admission process is quite competitive, and we encourage applications in good time before the deadline. We aim to notify candidates of the outcome of their applications by the end of April 2005. Full details and application forms can be found at the following link: http://research.microsoft.com/aboutmsr/jobs/internships/cambridge.aspx In addition, we are always open to applications for a smaller number of longer-term post-doctoral positions. Full details can be found at http://research.microsoft.com/aboutmsr/jobs/cambridgepostdoc.aspx Don Syme MSR Cambridge http://research.microsoft.com/aboutmsr/labs/cambridge/default.aspx

1 0

Last call: 1st Int'l Workshop on Automated Specification and Verification of Web Sites (WWV'05)
by Santiago Escobar 02 Jan '05

02 Jan '05

-- We apologize for multiple copies -- ******************************************************************* 1st International Workshop on Automated Specification and Verification of Web Sites (WWV'05) March 14-15 2005, Valencia, SPAIN http://www.dsic.upv.es/workshops/wwv05 ******************************************************************* ( Submission is now open ) ( Invited speakers are confirmed ) ( Hotel and travel info is available ) 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 paper 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 WWV'05 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. Participants are encouraged to present work in progress, overviews of more extensive work, position papers and reports of practical experiences. LOCATION WWV'05 will be held in Valencia, Spain (http://www.turisvalencia.es) at the Department of Information Systems and Computation of the Technical University of Valencia (http://www.dsic.upv.es) SUBMISSION PROCEDURE Submission will be web-based via the conference web-site: http://www.dsic.upv.es/workshops/wwv05 Submissions must be received by January 10, 2005. In addition, an ASCII version of the title and abstract must be submitted by January 4, 2005. These are strict deadlines. Submitted papers can fit into one of these categories: (1) Regular contribution (15 pages maximum) (2) System demonstration / Report of practical experiences / Work in progress (4 pages maximum) (3) Position paper / Overview of more extensive work (15 pages maximum) Submitted papers should be written using the Electronic Notes in Theoretical Computer Science (ENTCS) style available at the conference web-site: http://www.dsic.upv.es/workshops/wwv05 Submitted papers should include an abstract and the author's information. See the author's instructions of ENTCS style at http://math.tulane.edu/~entcs. PUBLICATION Accepted papers will be published in a preliminary proceedings volume, which will be available during the workshop. After the workshop, the final proceedings will be published in the Elsevier series Electronic Notes in Theoretical Computer Science (ENTCS). Accepted papers of categories (1) and (2) will be published in the ENTCS final proceedings. However, ENTCS publication of papers in category (3) will be decided on the basis of their original contents. INVITED SPEAKERS Shriram Krishnamurthi Brown University, USA Anthony Finkelstein University College London, UK PROGRAM CO-CHAIRS Maria Alpuente Technical University of Valencia, Spain Moreno Falaschi University of Siena, Italy WORKSHOP CHAIR Santiago Escobar Technical University of Valencia, Spain PROGRAM COMMITTEE Maria Alpuente Technical University of Valencia, Spain Sarat Babu CDAC, India Demis Ballis University of Udine, Italy Gilles Barthe INRIA Sophia-Antipolis, France Thierry Despeyroux INRIA Sophia-Antipolis, France Wolfgang Emmerich University College London, UK Santiago Escobar Technical University of Valencia, Spain Moreno Falaschi University of Siena, Italy Maria del Mar Gallardo Technical University of Malaga, Spain Furio Honsell University of Udine, Italy Giorgio Levi University of Pisa, Italy Jan Maluszynski Linköping University, Sweden Massimo Marchiori MIT Lab for Computer Science, USA Tiziana Margaria University of Göttingen, Germany ORGANIZATION Maria Alpuente Demis Ballis Santiago Escobar Cesar Ferri Javier Garcia-Vivo Jose Hernandez Salvador Lucas Javier Oliver Maria Jose Ramirez Josep Silva Alicia Villanueva (Members of the ELP Group http://www.dsic.upv.es/users/elp/elp.html) IMPORTANT DATES Abstract Submission 4 January 2005 (strict) Full Paper Submission 10 January 2005 (strict) Acceptance Notification 19 February 2005 Camera Ready 3 March 2005 Workshop 14-15 March 2005

1 0

(Announcement) Hugs98 Port for Windows CE based PocketPC
by Kenny Zhuo Ming LU 01 Jan '05

01 Jan '05

Dear all, Happy new year! We proudly announce the alpha release of PPCHugs Project, which is porting Hugs 98 Project to Windows CE based PocketPC. For more details, please refer to the following URL: http://www.comp.nus.edu.sg/~luzm/ppchugs Your comments and feedbacks are welcome! Best Wishes, Kenny Zhuo Ming Lu School Of Computing National University of Singapore

1 0