[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