--------------------------------------------------------------------------
Updates 2010 - Preliminary Program

9:00: Session 1 (chair TBD)

   * Opening
   * Invited Talk: Michael Michael Benedikt (Oxford University, UK): 
     Analysis of Declarative Updates (1h)
   * Regular Tree Patterns: a Uniform Formalism for Update Queries and
     Functional Dependencies in XML. Francoise Gire and Hicham
     Idabal (30mn)

10:30: Coffee break

11:00: Session 2 (chair TBD)

   * Invited Talk: Philippa Gardner (London Imperial College, UK): 
     Reasoning about Client-side Web Programs (1h)
   * The View Update Problem for XML. Slawek Staworko, Iovka Boneva and
     Benoit Groz (30mn)
   * EXup: An Engine for the Evolution of XML Schemas and Associated
     Documents. Federico Cavalieri (30mn)

13:00: Lunch

14:30: Session 3 (chair TBD)

   * Updating Probabilistic XML. Evgeny Kharlamov, Werner Nutt and
     Pierre Senellart (30mn)
   * Desirable Properties for XML Update Mechanisms. Martin F. O'Connor
     and Mark Roantree (30mn)
   * Updating Relational Data via SPARQL/Update. Matthias Hert, Gerald
     Reif and Harald Gall (30mn)

16:00: Coffee break

16:30: Session 4 (chair TBD)

   * Invited Talk: Dana Florescu (Oracle Corporation, USA): 
     Updates, Consistency, and the Art of Running XQuery in the Cloud (1h)
   * Closing panel discussion (30mn)

18:00: End
--------------------------------------------------------------------------