2. Special
Announcements
SOSP 2003 Location
Solicitation
| Title: | 18th ACM Symposium on Operating Systems Principles (SOSP01) |
| Deadline: | 21-Oct-2001 |
| Webpage: | http://www.cs.ucsd.edu/sosp01/ |
| Conference: | 21-24 October 2001 |
| Synopsis: |
| Call for participation: http://www.cs.ucsd.edu/sosp01/participate.pdf |
| Title: | Sigmetrics 2002 |
| Deadline: | 26-Oct-2001 |
| Webpage: | http://www.ee.princeton.edu/~sigm2002/ |
| Conference: | 15-19 Jun 2002 |
| Synopsis: |
| The SIGMETRICS conference solicits papers on the development and application of state-of- the-art, broadly-applicable analytic, simulation, and measurement-based performance evaluation techniques. Of particular interest is work that furthers the state-of-the-art in performance evaluation methods, or those that creatively apply previously developed methods to understand or to gain important insights into key design trade-offs in complex computer/communication systems. |
| Title: | Mobile Agents 2001 |
| Deadline: | 28-Oct-2001 |
| Webpage: | http://www.cs.dartmouth.edu/MA2001 |
| Conference: | 2-4 Dec 2001 |
| Synopsis: |
| Mobile code and mobile agents hold the potential to shape the next generation of technologies and models for distributed computation. The ambitious goal of MA 2001 is to gather researchers and practitioners from all over the world and shed some light on the open issues related to this exciting research topic. MA2001 is the fifth in the series of Mobile Agents conferences; in 1999 and 2000 it was held jointly with Agent Systems and Applications, and known as ASA/MA. |
| Title: | 20th IEEE Symposium on Reliable Distributed Systems |
| Deadline: | 28-Oct-2001 |
| Webpage: | http://srds.cs.umn.edu/ |
| Conference: | 28-31 Oct 2001 |
| Synopsis: |
| The objective of this symposium is to provide an effective forum for researchers and practitioners who are interested in distributed systems design and development, particularly with reliability, availability, safety, security, or real-time properties. We welcome original research papers as well as papers that deal with development experiences and experimental results of operational systems. We are also soliciting papers for an experience track that presents on-going industrial projects, prototype systems, exploratory or emerging applications, etc. |
| Title: | The 2002 World Wide Web Conference |
| Deadline: | 13-Nov-2001 |
| Webpage: | http://www2002.org/ |
| Conference: | 7-11 May 2002 |
| Synopsis: |
| This prestigious conference organized by the International World Wide Web Conference Committee (IW3C2) also provides a public forum for the WWW Consortium (W3C) through the annual W3C track. Topics include but are not limited to the following: Applications, Browsers and User Interfaces, Electronic Commerce and Security, Hypermedia, Languages, Mobility and Wireless Access, Multimedia, Performance, Searching and Querying, Indexing and Crawling, and Semantic Web. |
| Title: | USENIX 2002 |
| Deadline: | 19-Nov-2001 |
| Webpage: | http://www.usenix.org/events/usenix02/ |
| Conference: | June 9-14, 2002 |
| Synopsis: |
| Deadline: 12 Nov 2001 (FREENIX track) Deadline: 19 Nov 2001 (general refereed track) USENIX is the Advanced Computing Systems Association. For over 25 years, its members have come from a broad community of developers, researchers, system administrators and engineers with interests spanning the full range of technology. As the core conference of this community, the USENIX Annual Technical Conference is the premier forum for computing professionals to share the results of their latest and best work, develop new ideas and solutions, and connect with their colleagues. |
| Title: | International Workshop on "Compiler Optimization Meets Compiler Verification (COCV 2002) |
| Deadline: | 03-Dec-2001 |
| Webpage: | http://sunshine.cs.uni-dortmund.de/~knoop/cocv02.html |
| Conference: | 13 April 2002 |
| Synopsis: |
| Semantics preservation between source and target program is the commonly accepted minimum requirement to be ensured by compilers. The precise meaning, however, is often only implicit. As a rule of thumb, verification tends to interpret semantics preservation in a very tight sense, not only but also to simplify the verification task. Optimization generally prefers a more liberal view in order to enable more powerful transformations otherwise excluded. |
| Title: | SOSP 2003 Location Solicitation |
| Summary: |
| SOSP 2001 is just around the corner, and we're starting to think about SOSP 2003! If you have a good idea for the location of SOSP 2003, please contact David Kotz, SIGOPS chair. European locations might be nice. The more information you can gather about the place, the better: what sort of conference facilities exist? what are the housing options? what are the special features about the site or the surroundings? who are the people who might put significant effort to making SOSP a success at that location? how far is it from major airports? We'll discuss a few locations at the SIGOPS business meeting at SOSP2001. |