[TYPES/announce] ETAPS'09 Call for Satellite Events
Joost-Pieter Katoen
katoen at cs.rwth-aachen.de
Mon Nov 5 12:46:56 EST 2007
[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 |
+---------------------------------------------------------------+
More information about the Types-announce
mailing list