[TYPES/announce] Call for papers: Workshop on Termination (WST 2009)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Discussion of type-based approaches for dealing with termination would be very much welcome! . Tenth International Workshop on Termination (WST 2009) Leipzig, Germany, June 3-5, 2009 http://www.imn.htwk-leipzig.de/wst09/ Termination is a fundamental topic in computer science. Classical undecidability results show that termination is difficult. On the other hand, programs are usually required to terminate. So methods are needed that prove termination and non-termination automatically for a wide range of programs. Termination proofs are essential not only for program verification, but also as components of program transformation systems. The topic is challenging both in theory (mathematical logic, proof theory) and practice (software development, formal methods), and many interesting ramifications are yet to be explored. The 10th International Workshop on Termination will delve into all aspects of termination of processes. It will continue the sequence of successful workshops held in St. Andrews (1993), La Bresse (1995), Ede (1997), Dagstuhl (1999), Utrecht (2001), Valencia (2003), Aachen (2004), Seattle (2006), and Paris (2007). It will attain the same friendly atmosphere as those past workshops. The intent is to bring together, in an informal setting, researchers interested in all aspects of termination, whether this interest be practical or theoretical, primary or derived. The workshop shall help exchange ideas from term rewriting and from the various programming language communities. Contributions from the imperative, constraint, functional, and logic programming communities, and papers investigating new applications of termination are particularly welcome. Program Committee: Frederic Blanqui, INRIA, FR and Tsinghua University, CN Byron Cook, Microsoft Corporation, US Alfons Geser, HTWK Leipzig, DE (chair) Michael Hanus,Universität Kiel, DE Janis Voigtländer,Technische Universität Dresden, DE Local organization: Johannes Waldmann, HTWK Leipzig, DE Important Dates: Paper submission 19 April 2009 Notification 26 April 2009 Final Paper Version 3 May 2009 Conference Venue: The workshop will be held in the city of Leipzig, at the conference center Mediencampus Villa Ida. Hosting institution: Hochschule fur Technik, Wirtschaft und Kultur Leipzig, in cooperation with Leipzig School of Media and Medienstiftung der Sparkasse Leipzig.
[TYPES/announce] ECOOP 2009 Call for Student Volunteers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ECOOP'2009 23rd European Conference on Object Oriented Programming July 6th - 10th 2009, Genova, Italy http://2009.ecoop.org CALL FOR STUDENT VOLUNTEERS ECOOP is pleased to offer a number of opportunities for student volunteers, who are vital to the efficient operation and continued success of the conference each year. The student volunteer program is a chance for students from around the world to participate in the conference whilst assisting us in preparing and running the event. We strongly encourage students to become involved in the ECOOP student volunteer program. Description and Benefits Job assignments include assisting with technical sessions, workshops, tutorials and panels, checking badges at doors, operating the information desk, helping with traffic flow, and general assistance to keep the ECOOP running smoothly. In return for a few hours of their time, student volunteers are granted: * Free registration to the conference * Free access to ECOOP plenary sessions, tutorials, workshops, and demos (duties, space, and specific requirements permitting) Student volunteers should be in Genova two days before the conference, that is from Saturday, July 4th, and help with preparations and with the conference take-down on July 10th. The selection of student volunteers and plan assignment is NOT done on a first come, first served basis. The most important thing is to have an international group of student volunteers. We try to make a balanced decision. Also, we favor students with strong communication skills: being fluent in English is a must. Important Dates and Information Application deadline: April 10, 2009 Notification of acceptance: May 4, 2009 Applicants must be Master students or full-time Ph.D. students. They should send an e-mail to Marco Servetto (serve...@disi.unige.it) with the subject ECOOP SV, containing the following information: * First name * Last name * Number of years in a Master or Ph.D. program * Group / Department / University * Complete contact information (surface mail) * If you have a driver's license (not necessary) * Languages spoken (at least) fairly well (fairly well means you could survive well in a country speaking this language only; students with TOEFL/TOEIC/DELF-DALF/TCF/TEF/TFI certificates should include their scores). * A short paragraph motivating your application (including possible past experience as a student volunteer) and clarifying your need for financial support. * Supervisor's(s') name(s) and e-mail address(es). Supervisors may be contacted to confirm applicants' suitability. Accommodation and Travel Expenses We will be doing our best to help students find good and cheap accommodation. Sadly, covering the costs of accommodation and travel expenses is not in our budget. In case some funds should be available, precedence will be given to well-motivated requests. Questions and Comments If you have any further questions about volunteering, please feel free to contact Marco Servetto (serve...@disi.unige.it).