[ 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 | +---------------------------------------------------------------+