|
1 CALL FOR WORKSHOP PROPOSALS: TPHOLs 2009 |
|
2 |
|
3 The 22th International Conference on |
|
4 Theorem Proving in Higher Order Logics |
|
5 |
|
6 17 - 20 August 2009 (main conference) |
|
7 21 August 2009 (workshops) |
|
8 in Munich, Germany |
|
9 |
|
10 ****************************** |
|
11 * http://tphols.in.tum.de/ * |
|
12 ****************************** |
|
13 |
|
14 TPHOLs is a series of international conferences that started in 1988 |
|
15 and brings together researchers working in all areas of interactive |
|
16 theorem proving. The main conference will be held on 17 through 20 |
|
17 August 2009 in Munich. There will be an extra day for associated |
|
18 workshops: 21 August 2009. |
|
19 |
|
20 |
|
21 Workshop proposals |
|
22 ------------------ |
|
23 |
|
24 Workshops to be proposed here as an associated event to TPHOLs 2009 |
|
25 should be related to the general theme of interactive theorem proving |
|
26 or some of its application areas. See also the call for papers of the |
|
27 main conference to get an idea about the topics covered there. |
|
28 |
|
29 Both well-established workshops and newer ones are welcome. The basic |
|
30 format will be that of a one day event on 21 August 2009, after the |
|
31 main conference. Workshop proceedings can be published as a technical |
|
32 report of TU München, if required. |
|
33 |
|
34 Proposals or any further questions should be sent by e-mail to the |
|
35 TPHOLs 2009 workshop chair: Makarius Wenzel <makarius@sketis.net> |
|
36 |
|
37 Please include the following information in particular: |
|
38 |
|
39 * Workshop name and abbreviation |
|
40 * Names and affiliations of organizers |
|
41 * Topics covered by the workshop, possibly with some links to |
|
42 websites of earlier instances of the workshop. |
|
43 |
|
44 |
|
45 Important Dates |
|
46 --------------- |
|
47 Submission of proposals: 1 February 2009 |
|
48 Notification: 15 Febrary 2009 |
|
49 Workshops: 21 August 2009 |