[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

[Apologies for multiple copies.]

                    EUROPEAN JOINT CONFERENCES ON
                   THEORY AND PRACTICE OF SOFTWARE
                                 2009
                             (ETAPS 2009)

                               York, UK
                     2009/March/23 (Mon)-27 (Fri)
                  http://www.cs.york.ac.uk/etaps09/

               CALL FOR PROPOSALS FOR SATELLITE EVENTS

We invite proposals for both Workshops and Tutorials to take place
either side of the main ETAPS conferences [2009/March/22 (Sun) and 28
(Sat)-29 (Sun)].

Workshops should address research issues in the theory and practice of
software. Tutorials may either be about established fields, but aimed
at relative new-comers to the field (such as new doctoral students),
or addressing new areas.

Closing date for proposals: 2008/January/14 (Mon)

Full particulars are available from the ETAPS 2009 Web site:
http://www.cs.york.ac.uk/etaps09/ .

+---------------------------------------------------------------+
| Joost-Pieter Katoen  email: my_last_name[at]cs.rwth-aachen.de |
| RWTH Aachen             URL: www-i2.cs.rwth-aachen.de/~katoen |
| LS2: Software Modeling and Verification  tel: +49 241 8021200 |
| D-52056 Aachen, Germany                  fax: +49-241 8022217 |
+---------------------------------------------------------------+

Reply via email to