[Haskell] Call for Participation - BX'12 (co-located with ETAPS'12)

[Janis Voigtländer]

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:jv at iai.uni-bonn.de