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

[We apologise for multiple copies.]


                         Deadline: November 1, 2007

        ETAPS 2008

        European Joint Conferences on Theory And Practice of Software

        March 29 - April 6, 2008
        Budapest, Hungary



Proposals for half-day or full-day tutorials related to ETAPS 2008
are invited.

Tutorial proposals will be evaluated on the basis of their assessed
benefit for prospective participants of ETAPS 2008.

Proposals should include

- a description of the material that will be covered in the tutorial;

- a justification of the relevance of the tutorial for ETAPS 2008;

- a short history of the tutorial if it has been given before;

- the duration of the tutorial;

- the key learning objectives for the participants;

- the intended audience for the tutorial and the required background;

- and the credentials of the instructors(s).

Tutorial proposals should be send by November 1, 2007 to:

                  [EMAIL PROTECTED]

For further information, you can contact the same mail address as
above, or alternatively use:

phone: +36-1-463-3598
fax: +36-1-463-2667

| 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