Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
PLEASE ACCEPT MY APOLOGIES IF YOU RECEIVE THIS MESSAGE MORE THAN ONCE. LOPSTR'04 + PEPM'04 + PPDP'04 + SAS'04 *** CALL FOR WORKSHOP PROPOSALS *** International Symposium on Logic-based Program Synthesis and Transformation URL: http://www.sci.univr.it/~lopstr04 ACM SIGPLAN Symposium on Partial Evaluation and Semantics Based Program Manipulation URL: http://www.sci.univr.it/~pepm04 ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming URL: http://www.sci.univr.it/~ppdp04 International Static Analysis Symposium URL: http://www.sci.univr.it/~sas04 LOPSTR'04, the International Symposium on Logic-based Program Synthesis and Transformation, PEPM'04, the ACM SIGPLAN 2004 Symposium on Partial Evaluation and Semantics Based Program Manipulation, PPDP'04, the 6th ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming, and SAS'04, the 11th International Static Analysis Symposium, will be held in Verona, Italy, from August 24 to August 28, 2004. We plan to have several workshops in parallel with the conferences. Workshops have a key role. They provide an ideal platform for the presentation of preliminary work or novel ideas in a less formal way than the conferences themselves. They also are an opportunity to disseminate work in progress, particularly for new researchers. Workshops also provide a venue for presenting more specialized topics and opportunities for more intensive discussions, exchange of ideas, and project collaboration. The topics of the workshops can cover any areas related to software specification, analysis, transformation and verification, and to declarative programming, including cross-disciplinary areas. The format of the workshop will be determined by the organizer(s) proposing the workshop, but ample time must be allowed for general discussion. Workshops can vary in length, but the optimal duration will be half a day or a full day. Having two or three co-organizers for a workshop is strongly advised. Workshop Proposal: ================== The persons intending to organize a workshop at LOPSTR'04 + PEPM'04 + PPDP'04 + SAS'04 are invited to submit a workshop proposal. Proposals should be in English and about two pages in length. They should contain: * the title of the workshop * a brief technical description of the topics covered by the workshop * a discussion of the timeliness and relevance of the workshop * the names, affiliation and contact details (email, web page, phone, fax) of the workshop organizing committee together with a designated contact person as the workshop coordinator * a preliminary plan/schedule for organizing the workshop, including the required number of half-days allotted to the workshop * a list of previously-organized related workshops by any of the workshop organizers. Although previous experience with organizing similar workshops is not required, this information will be helpful to the Workshop Chair * an estimated number of attendants to the workshop Proposals are expected in ASCII or LaTeX format. All proposals should be submitted to the Workshop Chair by email by January 18, 2004. Workshop Organizers' Tasks: =========================== * Producing a "Call for Papers" for the workshop and posting it on the net and/or other means. Please provide a web page URL which can be linked into the LOPSTR'04 + PEPM'04 + PPDP'04 + SAS'04 home pages. * Providing a brief description of the workshop for the conference program. * Reviewing/accepting submitted papers. * Scheduling workshop activities in collaboration with the local organizers and the workshop chair. * Printing and providing workshop proceedings to the workshop attendants. Reviewing Process: ================== Each submitted proposal is reviewed by the Workshops Chair and the Conferences Program Chairs. Proposals that appear well-organized and that fit the goals and scope of LOPSTR'04 + PEPM'04 + PPDP'04 + SAS'04 will be selected. The decision will be notified by email to the responsible organizer by February 1st, 2004. The definitive length of the workshop will be planned according to the number of submissions received by the different workshops. For every accepted workshop, the LOPSTR'04 + PEPM'04 + PPDP'04 + SAS'04 Organizing Committee will prepare a meeting place. Workshop Location: ================== The workshops will be held in parallel with LOPSTR'04 + PEPM'04 + PPDP'04 + SAS'04, which will be held in Verona, Italy, from August 24 to August 28, 2004. The conference will be held in the city centre. Verona is among the most important historical and artistic town in Italy, with more than two thousand years of history. During the Roman Empire it was a political and commercial centre, whose magnificent traces can still be seen in the Arena and the Roman Theatre. Verona has always been synonymous with culture, nowadays it attracts people from everywhere thanks to the Arena, the myth of Romeo and Juliet and its precious beauty. LOPSTR'04 + PEPM'04 + PPDP'04 + SAS'04 have been scheduled at the end of August 2004, so that participants may also appreciate the cultural events in town, such as the opera at the Arena and other open air concerts and happenings. Important Dates: ================ Proposals due: January 18, 2004 Notification of acceptance: February 1st, 2004 Workshops: August 24 to August 28, 2004 Workshop Chair: ===================== Fausto Spoto (Dipartimento di Informatica, Verona, Italy) Email: fausto.spoto@univr.it Phone: +39 3204352527 Fax: +39 0458027068