19.639 symposium and conference

From: Humanist Discussion Group (by way of Willard McCarty willard.mccarty_at_kcl.ac.uk>
Date: Thu, 2 Mar 2006 06:35:34 +0000

               Humanist Discussion Group, Vol. 19, No. 639.
       Centre for Computing in the Humanities, King's College London
                     Submit to: humanist_at_princeton.edu

   [1] From: "Jack Boeve" <JBoeve_at_umuc.edu> (64)
         Subject: Symposium: Copyright at a Crossroads

   [2] From: wrs06_at_redstar.cs.pdx.edu (96)
         Subject: WRS06 2nd call for paper

         Date: Thu, 02 Mar 2006 06:26:47 +0000
         From: "Jack Boeve" <JBoeve_at_umuc.edu>
         Subject: Symposium: Copyright at a Crossroads


6th Annual Symposium on Intellectual Property

Hosted by The Center for Intellectual Property at University of Maryland
University College
June 14-16, 2006
UMUC Inn and Conference Center Adelphi, MD

The debate over the mass digitization and global availability of
information has raged anew ever since late 2004 when Google publicly
launched its ambitious plans to digitize and index the massive library
collections of Harvard University, Stanford University, the University
of Michigan, the University of Oxford, and the New York Public Library.
Even as the Google Print Library Project has garnered the attention and
applause of millions of consumers and educators, it has drawn the
ire-and litigation-of the Authors Guild and the Association of American

Yahoo has likewise entered the fray with its own project to digitize and
make available for online searching millions of books from the
University of California, the University of Toronto, the National
Archives of England, and the European Archive. A joint effort with these
and several other archives and technology companies, the Open Content
Alliance hopes to avoid much of the controversy in which Google has been
embroiled by digitizing only works in the public domain unless copyright
holders give explicit permission otherwise.

  From the sidewalk to the library, from the cubicle to the boardroom, and
the classroom to the courtroom, everyone has an interest and a stake in
how we as a society will answer the complex questions of copyright,
piracy, fair use, ownership, access, distribution, compensation, and
control that confront us every time we click our way along the
information superhighway.

* How will higher education morph in coming years-and how has it already
changed-as digital archives are built and expanded upon our campuses?
* What will be the parameters and responsibilities of scholarship as the
academy becomes ever more digital and digitized?
* How might our relationships to our disciplines, repositories of
knowledge, diverse media providers, and even each other alter as the
waves of digital content multiply, swell, and flow through the academy?

The symposium begins on June 14th with the keynote address, "The
Googlization of Culture." This special program features scholar and
author Siva Vaidhyanathan of New York University. The presentation will
be followed by a discussion involving industry experts:
* Alan Davidson, Google;
* Allan Adler, Association of American Publishers; and
* Jon Band, an attorney representing various library organizations and

The first day of the symposium additionally gives attendees the
opportunity to participate in one of two intensive pre-conference

* Copyright 101 - Arnold Lutzker, Senior Partner, Lutzker, Lutzker &
Settlemyer, LLP
* E-Reserves Policy - Donna Ferullo, Director, University Copyright
Office, Purdue University

For detailed information our 6th Annual Symposium including the complete
schedule and registration information please click on the following
link: http://www.umuc.edu/cip/symposium.

We look forward to seeing you. Feel free to contact us should you have
any questions.

Thank you.

Center for Intellectual Property
University of Maryland University College
3501 University Boulevard East
Adelphi, Maryland 20783
Phone: 240.582.2803

         Date: Thu, 02 Mar 2006 06:27:59 +0000
         From: wrs06_at_redstar.cs.pdx.edu
         Subject: WRS06 2nd call for paper


                 The Sixth International Workshop on
          Reduction Strategies in Rewriting and Programming

                The Seattle Sheraton Hotel and Towers,
                 Seattle, Washington, August 11, 2006


      The workshop intends to promote and stimulate international
      research and collaboration in the area of evaluation
      strategies. It encourages the presentation of new
      directions,developments and results as well as surveys and
      tutorials on existing knowledge in this area. Reduction strategies
      study which subexpression(s) of an expression should be
      selected for evaluation and which rule(s) should be applied. These
      choices affect fundamental properties of a computation such as
      laziness, strictness, completeness and need to name a few. For this
      reason some programming languages, e.g., Elan, Maude, *OBJ* and
      Stratego, allow the explicit definition of the evaluation
      strategy, whereas other languages,e.g., Clean, Curry, and Haskell,
      allow its modification. Strategies pose challenging theoretical
      problems and play an important role in practical tools such as
      theorem provers, model checkers and programming languages. In
      implementations of languages, strategies bridge the gap between
      operational principles, e.g., graph and term rewriting,narrowing
      and lambda-calculus, and semantics, e.g., normalization,
      computation of values and head-normalization. The previous
      editions of the workshop were: WRS 2001 (Utrecht, The
      Netherlands),WRS 2002 (Copenhagen, Denmark), WRS 2003 (Valencia,
      Spain), WRS 2004 (Aachen, Germany), and WRS 2005 (Nara,
      Japan). See also the WRS permanent page at

Important Dates

      Abstract Submission: May 8, 2006
      Paper Submission: May 15, 2006
      Author Notification: June 12, 2006
      Camera-Ready: July 10, 2006
      Conference: Aug 11, 2006

Program Committee

      Sergio Antoy, (chair) Portland State University
      Santiago Escobar, Universidad Politecnica de Valencia
      Juergen Giesl, RWTH Aachen
      Bernhard Gramlich, Technische Universitat Wien
      Ralf Laemmel, Microsoft Corp.
      Salvador Lucas, Universidad Politecnica de Valencia
      Narciso Marti-Oliet, Universidad Complutense de Madrid
      Mizuhito Ogawa, Japan Advanced Institute of Science and Technology
      Jaco van de Pol, Centrum voor Wiskunde en Informatica
      Manfred Schmidt-Schauss, Johann Wolfgang Goethe-Universitat


      Topics of interest include, but are not restricted to:

      * theoretical foundations for the definition and semantic
        description of reduction strategies

      * strategies in different frameworks such as term rewriting, graph
        rewriting, infinitary rewriting, lambda calculi, higher order
        rewriting, conditional rewriting, rewriting with built-ins,
        narrowing, constraint solving, etc.

      * application of strategies to equational, functional,
        functional-logic programming languages

      * properties of reduction strategies and corresponding computations,
        e.g., completeness, computability, decidability, complexity,
        optimality, normalization, cofinality, fairness, perpetuality,
        context-freedom, need, laziness, eagerness, strictness

      * interrelations, combinations and applications of reduction under
        different strategies, e.g., evaluation mechanisms in programming
        languages, equivalence conditions for fundamental properties like
        termination and confluence, applications in modularity analysis,
        connections between strategies of different frameworks,etc.

      * program analysis and other semantics-based optimization
        techniques dealing with reduction strategies

      * rewrite systems, tools, implementations with flexible or
        programmable strategies as an essential concept or ingredient

      * specification of reduction strategies in real languages
        strategies suitable to software engineering problems and
        applications tutorials and systems related to evaluation


        Submissions must be original and not submitted for
        publication elsewhere. The page limit for regular papers is
        13 pages in Springer Verlag LNCS style. Surveys and
        tutorials maybe longer. Use the WRS06 submission page,
        handled by the EasyChair conference system, to submit
        abstracts, papers and to update a previous submission.


        Informal proceedings of accepted contributions will be
        available on-line. A hard copy will be distributed at the
        workshop to registered participants. Authors of
        selected contributions will be invited to submit a revised
        version, after the workshop, for inclusion in a
        collection. We anticipate the publication of formal
        proceedings in the Elsevier ENTCS series.

Invited Speakers

        Talks will be given at joint sessions with RULE by:

        * Dick Kieburtz, OHSU/OGI School of Science & Engineering
        * Claude Kirchner, INRIA & LORIA


        Sergio Antoy, antoy_at_cs.pdx.edu.
Received on Thu Mar 02 2006 - 01:56:36 EST

This archive was generated by hypermail 2.2.0 : Thu Mar 02 2006 - 01:56:36 EST