Please note the deadline for early registration, including discounted
hotel bookings:

*Sunday 29 January*

========================================================================

                       CALL FOR PARTICIPATION

                   First International Workshop on
               Bidirectional Transformations (BX 2012)

                          Tallinn, Estonia
                         Sun, March 25, 2012

                     (co-located with ETAPS 2012,
                    adjacent to FASE, ESOP, GT-VMT)

              http://www.program-transformation.org/BX12
        http://www.program-transformation.org/BX12/InvitedTalks
       http://www.program-transformation.org/BX12/AcceptedPapers

========================================================================

Bidirectional transformations (bx) are a mechanism for maintaining the
consistency of at least two related sources of information. Such sources
can be databases, software models, documents, graphs, and trees. BX are
an emerging topic in a wide range of research areas with prominent
presence at top conferences in different fields. This workshop now
establishes a dedicated venue for bx in all relevant areas. We have a
great programme, join us at ETAPS!


REGISTRATION:

To register for BX'12, please follow the instructions at:

  http://www.etaps.org/2012/registration

The early registration deadline is January 29, 2012!


HOTEL INFORMATION:

BX will be co-located with ETAPS. Please visit ETAPS's web site to get
more information about accommodation:

  http://www.etaps.org/2012/accommodation

Special rates and/or block bookings for ETAPS 2012 participants at a
number of central hotels also expire Sunday, 29 January 2012.


INVITED TALKS:

* Juan de Lara (Autonomous University of Madrid, Spain):
  Bidirectional Transformation with Graphical Constraints

* Jean-Luc Hainaut (University of Namur, Belgium)


CONTRIBUTED TALKS:

* Anthony Anjorin, Gergely Varro and Andy Schürr:
Complex Attribute Manipulation in TGGs with Constraint-Based Programming Techniques

* Jeremy Gibbons and Michael Johnson:
  Relating Algebraic and Coalgebraic Descriptions of Lenses

* Hugo Pacheco, Alcino Cunha and Zhenjiang Hu:
  Delta Lenses over Inductive Types

* Vadim Zaytsev:
  Language Evolution, Metasyntactically

* Michael Johnson and Robert Rosebrugh:
  Lens put-put laws: Monotonic and mixed

* Leen Lambers, Stephan Hildebrandt, Holger Giese and Fernando Orejas:
Attribute Handling for Bidirectional Model Transformations: The Triple Graph Grammar Case

* Erwann Wernli:
  Bidirectional transformations meets dynamic updates: promise & perils

* Perdita Stevens:
Observations relating to the equivalences induced on model sets by bidirectional transformations

--
Jun.-Prof. Dr. Janis Voigtländer
http://www.iai.uni-bonn.de/~jv/
mailto:[email protected]
_______________________________________________
clean-list mailing list
[email protected]
http://mailman.science.ru.nl/mailman/listinfo/clean-list

Reply via email to