From vshapiro at engr.wisc.edu Sat May 3 02:44:19 2003 From: vshapiro at engr.wisc.edu (Vadim Shapiro) Date: Mon Jan 9 13:41:09 2006 Subject: Inviting Nominations to the Executive Board of the Solid Modeling Association Message-ID: <5.1.1.5.2.20030503013823.00b045c0@cae.wisc.edu> Inviting Nominations to the Executive Board of the Solid Modeling Association The Solid Modeling Association, (SMA) which oversees the yearly ACM Symposia on Solid Modeling and Applications, is seeking nominations for new board members to replace board members whose turn has expired. The duties of board members include the selection of venues and chairs for the ACM Symposia, their coordination with other events, and actions that strengthen the research community in Solid Modeling and facilitate its relations with the Industry and with funding agencies. The elections of the new members of the Executive Board will be conducted via Email, between May 18 and June 9, 2003. Only SMA members will be invited to vote. To become a member, please enroll online at: www.solidmodeling.org Members of SMA who have an international reputation in Solid Modeling or in a closely related field and are willing to help run the symposia are invited to nominate themselves and/or their colleagues. To submit a self nomination by May 18, 2003 please send an email to nominations-2003@solidmodeling.org with the following information: o Title (Mr/Mrs, Dr. Prof.) First name LAST NAME o Affiliation o URL of home page o Email o Picture (optional) o A short statement (up to 400 words) including bio, research contributions and interests, past involvements with the Solid Modeling Symposia, and summary of proposed priorities for Solid Modeling Association. To nominate someone else, please email to nominations-2003@solidmodeling.org the name and email of the person you wish to nominate. We will officially invite them to self-nominate. The SMA Executive Board Wim Bronsvoort Deba Dutta Chris Hoffmann Jarek Rossignac (Chair) Vadim Shapiro Vadim Shapiro / vshapiro@engr.wisc.edu Ph. (608) 262-3591 / FAX (608) 265-2316 Mechanical Engineering & Computer Sciences University of Wisconsin-Madison 1513 University Ave / Madison, WI 53706-1572 USA http://sal-cnc.me.wisc.edu/~vshapiro/info/personal-page.html Spatial Automation Laboratory: http://sal-cnc.me.wisc.edu/ -------------- next part -------------- An HTML attachment was scrubbed... URL: http://compgeom.poly.edu/pipermail/compgeom-announce/attachments/20030503/794d3a32/attachment.htm From sjf at research.bell-labs.com Mon May 5 11:59:20 2003 From: sjf at research.bell-labs.com (Steve Fortune) Date: Mon Jan 9 13:41:09 2006 Subject: FINAL REMINDER for SOCG preregistration Message-ID: <3EB67C48.5C2D01A2@research.bell-labs.com> **** PREREGISTRATION DEADLINE IS MAY 7, 2003 ***** **** PREREGISTRATION IS STRONGLY URGED **** The registration fee goes up SUBSTANTIALLY after the preregistration deadline, particularly for students. The 2003 Symposium on Computational Geometry (SOCG) http://www.cs.umd.edu/areas/Theory/socg03/ will be held in San Diego, California, on June 8 - 10, 2003, as part of the Federated Computing Science Research Conference (FCRC). The program for SOCG is available at http://www.cs.umd.edu/areas/Theory/socg03/program.html More information on FCRC is available at http://www.acm.org/sigs/conferences/fcrc/ Registration for SOCG (and FCRC) can be performed on the web at http://www.regmaster.com/fcrc2003.html The registration fee consists of an overhead fee for the FCRC and a conference-specific fee for SOCG. For preregistered ACM/IEEE members, the fees are $80 + $330; for preregistered students the fees are $0 + $155. If you are not an ACM/IEEE member, the combined nonstudent fees go up by $135, so it is slightly cheaper to join ACM ($99) and get the discounted rate. ------------- The compgeom mailing lists: see http://netlib.bell-labs.com/netlib/compgeom/readme.html or send mail to compgeom-request@research.bell-labs.com with the line: send readme Now archived at http://www.uiuc.edu/~sariel/CG/compgeom/maillist.html. From qinsc at comp.nus.edu.sg Mon May 5 11:43:47 2003 From: qinsc at comp.nus.edu.sg (Shengchao Qin) Date: Mon Jan 9 13:41:09 2006 Subject: Second Call For Papers - ICFEM 2003 Message-ID: [Apologies if you receive multiple copies of this announcement! ] Second Call For Papers ICFEM 2003 Fifth International Conference on Formal Engineering Methods 5-7 November 2003 National University of Singapore, URL: http://nt-appn.comp.nus.edu.sg/fm/icfem2003/ ======================================================================== === Conference Themes ----------------- Formal methods for developing computing systems have been extensively researched and their use in industry is increasing. Recent applications to the development of mission-critical, safety-critical and security-critical systems have significantly increased trustworthiness, without increasing overall development costs. The challenge now is to achieve general acceptance of formal methods as a part of industrial development of high quality systems, particularly trusted systems. More needs to be known about merging formal methods into industrial engineering practice, including new and emerging practice. This includes increasing productivity of formal engineering methods, for example through improved tool support. ICFEM 2003 aims to bring together researchers and practitioners from industry, academia, and government to advance the state of the art in formal engineering methods and to encourage wider uptake of formal methods in industry. Submissions related to the following principal themes are encouraged, but any topics relevant to the field of formal methods and their support environments will also be considered: + Assessment of formal methods (including metrics) + CASE tools for formal methods + Formal methods for embedded and hybrid systems + Formal methods for software components + Formal specification and design techniques + Linking formal methods with other methodologies + Management based on formal methods + Model checking and theorem proving + Novel applications of formal methods + Rigorous review + Software process with formal methods + Specification evolution and refinement + Technology transfer of formal methods + Testing based on formal specifications + Validation of formal specifications + XML/Semantic-Web with formal methods Important Dates --------------- Submission of draft paper: 19th May 2003 Notification of acceptance: 7th July 2003 Final copy for Proceedings: 1st August 2003 ICFEM2003 in Singapore: 5-7 November 2003 KEYNOTE SPEAKERS ---------------- Ian Hayes, U of Queensland, Australia Mathai Joseph, Tata Research Development & Design Centre, India Colin O'Halloran, QinetiQ, UK SUBMISSION GUIDELINES --------------------- The ICFEM 2003 Program Committee selects original technical papers for publication in the proceedings of the conference to be published by Springer in its Lecturer Notes in Computer Science series. All contributions will be reviewed and evaluated based on originality, technical quality, and relevance to the scope of the conference. Papers should not exceed twenty pages in LNCS format: see http://www.springer.de/comp/lncs/authors.html for details. Online submission is now available at http://www-appn.comp.nus.edu.sg/~rpfm/cyberchair/public_html/ Some selected best papers may be considered for a special issue in the Formal Aspects of Computing journal (Springer). CONFERENCE CO-CHAIRS -------------------- Jifeng He, , IIST United Nations U P.S. Thiagarajan, , National U of Singapore PROGRAM CO-CHAIRS ----------------- Jin Song Dong, , National U of Singapore Jim Woodcock, , U of Kent PROGRAM COMMITTEE ----------------- Vasu Alagar, Concordia U, CA Richard Banach, U of Manchester, UK Jonathan Bowen, South Bank U, UK Manfred Broy, Technical U of Munich, GE Michael Butler, U of Southampton, UK Ana Cavalcanti, U of Kent, UK Dan Craigen, ORA, CA Jim Davies, Oxford U, UK Jin Song Dong, National U of Singapore, SG Kai Engelhardt, U of New South Wales, AU John Fitzgerald, Transitive Tech Ltd., UK Marc Frappier, U of Sherbrooke, CA Andy Galloway, U of York, UK Kyo Chul Kang, Pohang U of Sci & Tech, KR Kung-Kiu Lau, U of Manchester, UK Shaoying Liu, Hosei U, JP Zhiming Liu, United Nations U, Macau, CN Huimin Lin, Chinese Academy of Sci, CN Peter Lindsay, U of Queensland, AUS Brendan Mahony, Defense Sci&Tech Org, AU Huaikou Miao, Shanghai U, CN Jeff Offutt, George Mason U, USA Richard Paige, U of York, UK Abhik Roychoudhury, National U of Singapore, SG Motoshi Saeki, Tokyo Inst. of Tech, JP Augusto Sampaio, U F'l De Pernambuco, BR Thomas Santen, Technischen U of Berlin, GE Klaus Dieter Schewe, Massey U, NZ Wolfram Schulte, Microsoft Research, USA Graeme Smith, U of Queensland, AU Paul Swatman, Stuttgart Inst Man&Tech, GE Kenji Taguchi, U of Bradford, UK Sofiene Tahar, Concordia U, CA T.H. Tse, U of Hong Kong, CN Farn Wang, National Taiwan U, TW Wang Yi, Uppsala U, SE Jim Woodcock, U of Kent, UK Hongjun Zheng, Semantics Designs Inc, USA Hong Zhu, Oxford Brookes U, UK PUBLICITY CHAIRS ---------------- Shengchao Qin , National U of Singapore Zongyan Qiu , Peking U LOCAL ORGANIZING COMMITTEE -------------------------- Chair: Martin Henz , National U of Singapore Registration: Hugh Anderson , National U of Singapore Webmaster: Hai Wang , National U of Singapore ------------- The compgeom mailing lists: see http://netlib.bell-labs.com/netlib/compgeom/readme.html or send mail to compgeom-request@research.bell-labs.com with the line: send readme Now archived at http://www.uiuc.edu/~sariel/CG/compgeom/maillist.html. From qinsc at comp.nus.edu.sg Fri May 16 20:02:31 2003 From: qinsc at comp.nus.edu.sg (QIN Shengchao) Date: Mon Jan 9 13:41:09 2006 Subject: ICFEM'03: deadline extended for one week. Message-ID: [Apologies if you receive multiple copies of this announcement! ] The submission deadline is now extended to 26th May, 2003! Final Call For Papers ICFEM 2003 Fifth International Conference on Formal Engineering Methods 5-7 November 2003 National University of Singapore, Conference: http://nt-appn.comp.nus.edu.sg/fm/icfem2003/ Submission: http://www-appn.comp.nus.edu.sg/~rpfm/cyberchair/public_html/ =========================================================================== Conference Themes ----------------- Formal methods for developing computing systems have been extensively researched and their use in industry is increasing. Recent applications to the development of mission-critical, safety-critical and security-critical systems have significantly increased trustworthiness, without increasing overall development costs. The challenge now is to achieve general acceptance of formal methods as a part of industrial development of high quality systems, particularly trusted systems. More needs to be known about merging formal methods into industrial engineering practice, including new and emerging practice. This includes increasing productivity of formal engineering methods, for example through improved tool support. ICFEM 2003 aims to bring together researchers and practitioners from industry, academia, and government to advance the state of the art in formal engineering methods and to encourage wider uptake of formal methods in industry. Submissions related to the following principal themes are encouraged, but any topics relevant to the field of formal methods and their support environments will also be considered: + Assessment of formal methods (including metrics) + CASE tools for formal methods + Formal methods for embedded and hybrid systems + Formal methods for software components + Formal specification and design techniques + Linking formal methods with other methodologies + Management based on formal methods + Model checking and theorem proving + Novel applications of formal methods + Rigorous review + Software process with formal methods + Specification evolution and refinement + Technology transfer of formal methods + Testing based on formal specifications + Validation of formal specifications + XML/Semantic-Web with formal methods Important Dates --------------- Submission of draft paper: 26th May 2003 (new) Notification of acceptance: 14th July 2003 (new) Final copy for Proceedings: 8th August 2003 (new) ICFEM2003 in Singapore: 5-7 November 2003 KEYNOTE SPEAKERS ---------------- Ian Hayes, U of Queensland, Australia Mathai Joseph, Tata Research Development & Design Centre, India Colin O'Halloran, QinetiQ, UK SUBMISSION GUIDELINES --------------------- The ICFEM 2003 Program Committee selects original technical papers for publication in the proceedings of the conference to be published by Springer in its Lecturer Notes in Computer Science series. All contributions will be reviewed and evaluated based on originality, technical quality, and relevance to the scope of the conference. Papers should not exceed twenty pages in LNCS format: see http://www.springer.de/comp/lncs/authors.html for details. Online submission is now available through the submission web site: http://www-appn.comp.nus.edu.sg/~rpfm/cyberchair/public_html/ Some selected best papers may be considered for a special issue in the Formal Aspects of Computing journal (Springer). CONFERENCE CO-CHAIRS -------------------- Jifeng He, , IIST United Nations U P.S. Thiagarajan, , National U of Singapore PROGRAM CO-CHAIRS ----------------- Jin Song Dong, , National U of Singapore Jim Woodcock, , U of Kent PROGRAM COMMITTEE ----------------- Vasu Alagar, Concordia U, CA Richard Banach, U of Manchester, UK Jonathan Bowen, South Bank U, UK Manfred Broy, Technical U of Munich, GE Michael Butler, U of Southampton, UK Ana Cavalcanti, U of Kent, UK Dan Craigen, ORA, CA Jim Davies, Oxford U, UK Jin Song Dong, National U of Singapore, SG Kai Engelhardt, U of New South Wales, AU John Fitzgerald, Transitive Tech Ltd., UK Marc Frappier, U of Sherbrooke, CA Andy Galloway, U of York, UK Kyo Chul Kang, Pohang U of Sci & Tech, KR Kung-Kiu Lau, U of Manchester, UK Shaoying Liu, Hosei U, JP Zhiming Liu, United Nations U, Macau, CN Huimin Lin, Chinese Academy of Sci, CN Peter Lindsay, U of Queensland, AUS Brendan Mahony, Defense Sci&Tech Org, AU Huaikou Miao, Shanghai U, CN Jeff Offutt, George Mason U, USA Richard Paige, U of York, UK Abhik Roychoudhury, National U of Singapore, SG Motoshi Saeki, Tokyo Inst. of Tech, JP Augusto Sampaio, U F'l De Pernambuco, BR Thomas Santen, Technischen U of Berlin, GE Klaus Dieter Schewe, Massey U, NZ Wolfram Schulte, Microsoft Research, USA Graeme Smith, U of Queensland, AU Paul Swatman, Stuttgart Inst Man&Tech, GE Kenji Taguchi, U of Bradford, UK Sofiene Tahar, Concordia U, CA T.H. Tse, U of Hong Kong, CN Farn Wang, National Taiwan U, TW Wang Yi, Uppsala U, SE Jim Woodcock, U of Kent, UK Hongjun Zheng, Semantics Designs Inc, USA Hong Zhu, Oxford Brookes U, UK PUBLICITY CHAIRS ---------------- Shengchao Qin , National U of Singapore Zongyan Qiu , Peking U LOCAL ORGANIZING COMMITTEE -------------------------- Chair: Martin Henz , National U of Singapore Registration: Hugh Anderson , National U of Singapore Webmaster: Hai Wang , National U of Singapore (In case you worry about SARS situation in Singapore: http://nt-appn.comp.nus.edu.sg/fm/icfem2003/sars.html) ------------- The compgeom mailing lists: see http://netlib.bell-labs.com/netlib/compgeom/readme.html or send mail to compgeom-request@research.bell-labs.com with the line: send readme Now archived at http://www.uiuc.edu/~sariel/CG/compgeom/maillist.html. From kettner at mpi-sb.mpg.de Tue May 13 13:18:30 2003 From: kettner at mpi-sb.mpg.de (Lutz Kettner) Date: Mon Jan 9 13:41:09 2006 Subject: 4th Max-Planck Summer School: ADFOCS 2003 In-Reply-To: Message-ID: (please forward to potentially interested students and postdocs) * CALL FOR PARTICIPATION * 4th Max-Planck Summer School Advanced Course on the Foundations of Computer Science ADFOCS 2003 Saarbrücken, Germany, September 8-12, 2003 http://www.mpi-sb.mpg.de/~adfocs PROGRAM ------- The program consists of 12 lecture blocks and 8 tutorial/discussion blocks. The speakers and topics are: - Robert E. Bixby, Rice University / ILOG, and Ed Rothberg, ILOG: The CPLEX Library for Linear, Mixed-Integer, and Quadratic Programming. - Dan Halperin, Tel Aviv University: Arrangements and Their Applications. - Bertrand Meyer, ETH Zürich / Eiffel Software / Monash: Principles of Library Design, from Reuse and Contracts to Proofs: the Eiffel Experience. - Stefan N\"aher, University of Trier: Design and Implementation of Efficient Data Types for Static Graphs. ABOUT ADFOCS ------------ ADFOCS is organized as part of the activities of the Algorithms and Complexity Group and the International Max-Planck Research School of the Max-Planck-Institut für Informatik. The scope of ADFOCS is international and it is addressed mainly to young researchers at the PhD student or postdoc level. The goal of ADFOCS is to provide an overview of selected topics from the foundations of computer science and to highlight major research directions in these areas. This years ADFOCS will address topics in software engineering and algorithm engineering. The course will highlight important problems, techniques and ongoing research in these areas. It will also emphasize the discussion of open problems and the active involvement of the participants, thus strengthening the links of cooperation between young researchers of the field. LOCATION & TRAVEL INFORMATION ----------------------------- ADFOCS will be held at the Max-Planck-Institut für Informatik in Saarbrücken. Saarbrücken is the capital of one of Germany's 16 states, the Saarland. It is conveniently located in the center of Europe, on the border of Germany with France, between Luxembourg, the Saar-Mosel valley, Frankfurt and Strasbourg. Being located on several main train and road routes, Saarbrücken is easily reachable from Frankfurt, Stuttgart, Paris or Luxembourg. It also has its own international airport. REGISTRATION ------------ The registration fee covers lunches and social events. The deadline for early registration is August 1, 2003 and the registration fee is Euro 100. Please note that the registration fee does not include accommodation, although MPI can help for making reservations. Per-night price including taxes and breakfast are ranging from 20 Euro (youth hostel, double room) to about 50 Euro (hotel, single room). ALCOM-FT will provides some grants for graduate students and young researchers. Priority will be given to applications of students and young researchers from ALCOM sites. CONTACT ------- The home page of ADFOCS with forms for registration and hotel reservation and information about grants can be found at http://www.mpi-sb.mpg.de/~adfocs For further information or questions, send an e-mail to adfocs@mpi-sb.mpg.de. ------------- The compgeom mailing lists: see http://netlib.bell-labs.com/netlib/compgeom/readme.html or send mail to compgeom-request@research.bell-labs.com with the line: send readme Now archived at http://www.uiuc.edu/~sariel/CG/compgeom/maillist.html. From contact at gd2003.org Thu May 15 11:07:08 2003 From: contact at gd2003.org (Graph Drawing 2003) Date: Mon Jan 9 13:41:09 2006 Subject: Graph Drawing 2003--Final Call for Papers Message-ID: Final Call for Papers 11th International Symposium on Graph Drawing GD2003 September 21-24, 2003, Perugia, Italy http://www.gd2003.org/ e-mail: contact@gd2003.org Graph Drawing is concerned with the geometric representation of graphs and networks and is motivated by those applications where it is crucial to visualize structural information as graphs. Bridging the gap between theoretical advances and implemented solutions is an important aspect of the conference. Indeed, advances in graph drawing are a key factor in such technological areas as Web computing, e-commerce, VLSI circuit design, information systems, software engineering, bioinformatics, networking, and cybergeography. Researchers and practitioners working on theoretical and practical aspects of graph drawing are welcome to participate. * Scope. ------ The range of topics that are within the scope of the International Symposium on Graph Drawing includes (but is not limited to): - Visualization of computer networks and Web maps - Graph algorithms - Visualization of software engineering diagrams - Geometric graph theory and geometric computing - Software systems and libraries for graph visualization - Topology and planarity - Visualization of database schemas - Graph combinatorics and optimization - Visualization of chemical structures and molecules * Call for Papers, Demos, and Posters. ------------------------------------ Authors are invited to submit papers describing original research and surveys of theoretical or practical significance to graph drawing. Demonstrations of systems incorporating original and innovative research ideas are also solicited. A system demonstration should include illustrative screen dumps and a description of the system's functionalities. Regular papers and demos must be labeled as either long or short; long papers will be assigned 12 pages in the conference proceedings, and short papers 6 pages. Submissions of posters in graph drawing and related areas are also solicited. The purpose is to provide a forum for the communication of results (which may appear elsewhere) to the graph drawing community. A poster will be given 2 pages in the conference proceedings. Submission of substantially similar papers or demos to GD 2003 and to other conferences with published proceedings is not allowed. * Graph Drawing Contest. ---------------------- Following the tradition of previous conferences, a graph drawing contest will be held. The best contribution will be awarded with a prize money of EURO 1000. More details can be found on the contest website (please follow the hyperlink from http://www.gd2003.org). * Instructions for Authors. ------------------------- Each submission must include an indication of its type (paper, demo description, or poster) and contact information for the primary author. For a paper or a demo, an indication about whether it is a regular or a short submission must also be given. Electronic submissions are strongly encouraged. Detailed submission instructions can be found on the conference web site (http:\\www.gd2003.org). * Important Dates. ---------------- - Submissions of papers, demos, and posters: May 31, 2003 - Notification of acceptance: July 15, 2003 - Graph Drawing Contest Submissions: August 15, 2003 * Proceedings. ------------ Accepted submissions will be published in the conference proceedings, which will be included in the Springer-Verlag series Lecture Notes in Computer Science (http://www.springer.de/comp/lncs/index.html). The LNCS proceedings will be published, in parallel to the printed books, also electronically by Springer-Verlag. Instructions for Authors will be available after the paper notification deadline. * Location. --------- The Symposium on Graph Drawing will be held in Perugia, Italy. Perugia is one of the most ancient Italian cities, located in the center of the Country at the heart of the "Green Umbria" region. Because of its several historical and artistic amenities, the city of Perugia and its neighborhood attract many tourists every year. See also http://www.perugiaonline.it/ for further information. Perugia is also the location of one of European's oldest universities, the State University (founded in 1308), as well as the University for Foreigners (founded in 1925). With over 35,000 students from all over the world, both Universities play an important role in the city life. Details about hotels and registration instructions will be provided on the conference web site. * Program Committee. ------------------ Ashim Garg (SUNY Buffalo, USA) Michael T. Goodrich (University of California, Irvine, USA) Ferran Hurtado (Universitat Politcnica de Catalunya, Spain) Giuseppe Liotta (University of Perugia, Italy), chair Joe Marks (MERL, USA) Henk Meijer (Queens University, Canada) Stephen C. North (AT&T Research Labs, USA) Patrice Ossona de Mendez (EHESS, CNRS, France) Md. Saidur Rahman (Tohoku University, Japan) Farhad Shahrokhi (University of North Texas, USA) Roberto Tamassia (Brown University, USA) Ioannis G. Tollis (University of Texas, Dallas, USA) Dorothea Wagner (University of Karlsruhe, Germany) Sue H. Whitesides (McGill University, Canada) Stephen K. Wismath (University of Lethbridge, Canada) David R. Wood (Carleton University, Canada) * Contest Committee. ------------------ Franz J. Brandenburg (University of Passau, Germany), chair Ulrik Brandes (University of Passau, Germany) Peter Eades (University of Sydney, Australia) Joe Marks (MERL, USA) * Invited Speakers. ----------------- Pat Hanrahan (Stanford University, USA) Giuseppe F. Italiano (University of Roma Tor Vergata, Italy) * Conference Organization. ------------------------ C. Binucci (University of Perugia, Italy) E. Di Giacomo (University of Perugia, Italy) W. Didimo (University of Perugia, Italy), local arrangements co-chair G. Liotta (University of Perugia, Italy), conference chair M. Patrignani (University of Roma Tre, Italy), publicity chair M. Pizzonia (University of Roma Tre, Italy) * More Info. ---------- For more information and questions about GD2003 please send email to contact@gd2003.org * Sponsors. --------- - The "Gold Sponsor" of GD 2003 is TOM SAWYER Software (http://www.tomsawyer.com/) - The "Silver Sponsors" are: DIGILAB 2000 - Digital Systems Engineering INTEGRA Sistemi Srl MERL - Mitsubishi Electric Research Laboratories OREAS - Optimization Research and Software - The "Contributor" is: KELYAN - The organization is supported by: DIA - Dip. di Informatica e Automazione - Univ. Roma Tre DIEI - Dip. di Ing. Elettronica e dell'Informazione - Univ. di Perugia ------------- The compgeom mailing lists: see http://netlib.bell-labs.com/netlib/compgeom/readme.html or send mail to compgeom-request@research.bell-labs.com with the line: send readme Now archived at http://www.uiuc.edu/~sariel/CG/compgeom/maillist.html. From vshapiro at engr.wisc.edu Fri May 16 18:47:22 2003 From: vshapiro at engr.wisc.edu (Vadim Shapiro) Date: Mon Jan 9 13:41:09 2006 Subject: SM-03 -- Registration and Final Program Message-ID: <5.1.1.5.2.20030516174702.029d1f60@cae.wisc.edu> Dear Colleague, Registration is now open at http://www.ce.washington.edu/sm03/ for the 8th ACM Symposium for Solid Modeling and Applications that will take place in Seattle, WA on June 16-20, 2003. Please join us for a three-day technical program, 2 days of tutorials, industry presentations and a tour of the Boeing 777 final assembly plant. The details are posted at the conference website http://www.ce.washington.edu/sm03/ Symposium Co-Chairs: George Turkiyyah, University of Washington, USA Pere Brunet, Polytechnical University of Catalonia, Barcelona, Spain Program Co-Chairs: Gershon Elber, Technion, Israel Vadim Shapiro, University of Wisconsin, USA Industrial Chair: Jan Vandenbrande, Boeing ------------- The compgeom mailing lists: see http://netlib.bell-labs.com/netlib/compgeom/readme.html or send mail to compgeom-request@research.bell-labs.com with the line: send readme Now archived at http://www.uiuc.edu/~sariel/CG/compgeom/maillist.html. From hoffkamp at inf.fu-berlin.de Wed May 21 14:38:01 2003 From: hoffkamp at inf.fu-berlin.de (Andrea Hoffkamp) Date: Mon Jan 9 13:41:09 2006 Subject: [DMANET] positions for Ph.D. students and postdocs Message-ID: <20030521113801.GB30350@inf.fu-berlin.de> ---------------------------------------------------------------------------- --- European Graduate Program "COMBINATORICS, GEOMETRY, AND COMPUTATION" --- ---------------------------------------------------------------------------- In the graduate program scholarships for Ph.D.students for up to three years are available in Berlin from October 1, 2003. Applicants should have a degree in mathematics, computer science, or a related area equivalent to the German university diploma (e.g. M.S.) with grades significantly above average. Furthermore a postdoctoral position is available for at most two years. The program is a joint initiative of the ETH Zurich, the three universities of Berlin - Free University, Technical University, Humboldt-University - and the Konrad-Zuse-Research Center. The German partners are financially suppor- ted by the German Research association (Deutsche Forschungsgemeinschaft, DFG). The amount of the scholarships in Berlin is calculated according to the guidelines of the DFG and is up to Euro 1468,- per month, tax free (family supplement Euro 205,-). The scientific program ranges from theoretical fundamentals to applications. The areas of research are combinatorics, geometry, optimization, algorithms and computation. In Berlin the students are supervised by the professors Aigner, Alt, Rote, Schulz (FU), Moehring, Ziegler (TU), Proemel (HU) and Groetschel (ZIB). The scholarship includes a long-term research stay abroad, usually at the ETH Zurich. Applications with curriculum vitae, copies of certificates, theses, a letter of recommendation of the last advisor, a brief description of the proposed research and, especially for applicants for the postdoctoral position, reprints of publications should be sent in until June 30, 2003 to the speaker of the program in Berlin: Prof. Dr. Helmut Alt Institut fuer Informatik Freie Universitaet Berlin Takustrasse 9 D-14195 Berlin Further Information can be obtained from: Andrea Hoffkamp Tel. ++49-30-838 75 104 hoffkamp*at*math.fu-berlin.de http://www.inf.fu-berlin.de/gk-cgc --------------------------------------------------------------------------- ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zpr.uni-koeln.de/dmanet * ********************************************************** From hoffkamp at inf.fu-berlin.de Wed May 28 16:33:32 2003 From: hoffkamp at inf.fu-berlin.de (Andrea Hoffkamp) Date: Mon Jan 9 13:41:09 2006 Subject: [DMANET] Marie-Curie Scholarships for Ph.D. students Message-ID: <20030528133332.GI13456@inf.fu-berlin.de> ---------------------------------------- Marie-Curie-Scholarships ---------------------------------------- for Ph.D. students are available for a 3 to 12 month stay in Berlin. The starting date is flexible. In connection with our European Graduate Program "Combinatorics, Geometry, and Computation" we became a Marie Curie Training Site. We can support young researchers pursuing doctoral studies and providing them with the possibility of undertaking part of their doctoral studies in a country other than their own. Applicants must already have an advisor and a dissertation project in mathematics, computer science, or a related area at their home university. The Marie Curie Training Site is a joint initiative of the three universities of Berlin - Free University, Technical University, Humboldt- University - and the Konrad-Zuse-Research Center. The amount of the scholarship is 1200,00 Euro per month. The scientific program ranges from theoretical fundamentals to applications. The areas of research are combinatorics, geometry, optimization, algorithms and computation. During their stay the students are supervised by the professors Aigner, Alt, Rote, Schulz (FU), Moehring, Ziegler (TU), Proemel (HU) and Groetschel (ZIB). Applications with curriculum vitae, copies of certificates, publications, a letter of recommendation of the advisor and a brief description of the status of the dissertation project should be sent until June 30, 2003 to: Prof. Dr. Helmut Alt Institut fuer Informatik Freie Universitaet Berlin Takustrasse 9 D-14195 Berlin Further information can be obtained from: Andrea Hoffkamp: phone: ++49-30-838 75 104 e-mail: hoffkamp*at*math.fu-berlin.de http://www.inf.fu-berlin.de/gk-cgc http://www.inf.fu-berlin.de/graduate-programs/cgc/ausschr-marie-curie.html ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zpr.uni-koeln.de/dmanet * ********************************************************** From frank at dehne.net Mon May 26 18:45:22 2003 From: frank at dehne.net (Prof. Frank Dehne (http://www.dehne.net)) Date: Mon Jan 9 13:41:11 2006 Subject: Workshop on Algorithms and Data Structures (WADS 2003) Message-ID: <200305262207.h4QM7VER093810@dusty.research.bell-labs.com> ----------------------------------------------------------------- CALL FOR PARTICIPATION Workshop on Algorithms and Data Structures (WADS 2003) http://www.wads.org July 30 - August 1, 2003, Carleton Univ., Ottawa, Canada ----------------------------------------------------------------- Conference Registration: http://www.wads.org (deadline: June 29) Hotel Registration: http://www.wads.org (deadline: June 29) ----------------------------------------------------------------- Schedule: July 29: Tutorial on Neural Networks (speaker: H.-G.Zimmermann, consult http://www.wads.org ) July 30 - August 1: WADS August 2: Workshop and Tutorial on Fixed Parameter Tractability (lead by Mike Fellows, consult http://www.wads.org ) ----------------------------------------------------------------- WADS Program ============ Tuesday July 29 --------------- 6:00 pm - 8:00 pm WADS registration and welcome reception, foyer Tory Building Wednesday July 30 ----------------- 9:30 - 10:30: Session 1: invited talk: Quantum Communication Complexity, by Gilles Brassard 10:30 - 11:00: coffee 11:00 - 12:00: Session 2A: Adapting (Pseudo)-Triangulations with a Near-Linear Number of Edge Flips, Oswin Aichholzer, Franz Aurenhammer, Hannes Krasser Shape Segmentation and Matching with Flow Discretization, Tamal Dey, Joachim Giesen, Samrat Goswami Session 2B: Phylogenetic Reconstruction from Gene Rearrangement Data with Unequal Gene Content, Jijun Tang, Bernard Moret Toward Optimal Motif Enumeration, Patricia Evans, Andrew Smith 1:30 - 3:00: Session 3A: Common-Deadline Lazy Bureaucrat Scheduling Problems, Behdad Esfahbo, Mohammad Ghodsi, Ali Sharifi Bandwidth-Constrained Allocation in Grid Computing, Anshul Kothari, Subhash Suri, Yunhong Zhou Algorithms and Approximation Schemes for Minimum Lateness/Tardiness Scheduling with Rejection, Sudipta Sengupta Session 3B: Fast Algorithms for a Class of Temporal Range Queries, Qingmin Shi, Joseph JaJa Distribution-Sensitive Binomial Queues, Amr Elmasry Optimal Worst-Case Operations for Implicit Cache-Oblivious Search Trees, Gianni Franceschini, Roberto Grossi 3:00 - 3:30: coffee 3:30 - 5:00: Session 4A: Extremal Configurations and Levels in Pseudoline Arrangements, Micha Sharir, Shakhar Smorodinsky Fast Relative Approximation of Potential Fields, Martin Ziegler The one-round Voronoi game replayed, Sandor Fekete, Henk Meijer Session 4B: Integrated Prefetching and Caching with Read and Write Requests, Susanne Albers, Markus Buttner On-Line Seat Reservations via Off-Line Seating Arrangements, Jens S. Frederiksen, Kim S. Larsen Routing and Call Control Algorithms for Ring Networks, R. Sai Anand, Thomas Erlebach 5:15 - 6:00: Special Presentation: Protecting your intellectual property, Wing T. Yan Thursday July 31 ---------------- 9:30 - 10:30: Session 5: invited talk: Algorithms and Models for Railway Optimization, by Dorothea Wagner 10:30 - 11:00: coffee 11:00 - 12:00: Session 6A: Approximation of Rectilinear Steiner Trees with Length Restrictions on Obstacles, Matthias Muller-Hannemann, Sven Peyer On the Hausdorff Voronoi diagram of point clusters in the plane, Evanthia Papadopoulou Session 6B: Cropping-Resilient Segmented Multiple Watermarking, Keith Frikken, Mikhail Atallah On Simultaneous Planar Graph Embeddings, P. Brass, E. Cenek, C. Duncan, A. Efrat, C. Erten, D. Ismailescu, S. Kobourov, A. Lubiw, J. Mitchell 1:30 - 2:30: Session 7: invited talk: Perturbation Models for Smoothed Analysis, by Daniel Spielman 2:30 - 3:00: coffee 3:00 - 5:00: Session 8A: Approximation Algorithm for Hotlink Assignments in Web Directories, Rachel Matichin, David Peleg Drawing Graphs with Large Vertices and Thick Edges, Gill Barequet, Michael T. Goodrich, Chris Riley Semi-Matchings for Bipartite Graphs and Load Balancing, Nicholas Harvey, Richard Ladner, Laszlo Lovasz, Tami Tamir The Traveling Salesman Problem for Cubic Graphs, David Eppstein Session 8B: Sorting circular permutations by reversal, Andrew Solomon, Paul Sutcliffe, Raymond Lister An improved bound on Boolean matrix multiplication for highly clustered data, Leszek Gasieniec, Andrzej Lingas Dynamic Text and Static Pattern Matching, Amihood Amir, Gad Landau, Moshe Lewenstein, Dina Sokol Real Two Dimensional Scaled Matching, Amihood Amir, Ayelet Butman, Moshe Lewenstein, Ely Porat Conference dinner at the Chateau Laurier, starting at 7pm. Friday August 1 --------------- 9:00 - 10:30: Session 9A: Proximity Structures for Geometric graphs, Sanjiv Kapoor, Xiang-Yang Li The Zigzag Path of a Pseudo-Triangulation, Oswin Aichholzer, Guenter Rote, Bettina Speckmann, Ileana Streinu Alternating Paths along Orthogonal Segmenta, Csaba Toth Session 9B: Improved Approximation Algorithms for the Quality of Service Steiner Tree Problem, Marek Karpinski, Ion Mandoiu, Alex Olshevsky, Alexander Zelikovsky Chips on Wafers, or Packing Rectangles into Grids, Mattias Andersson, Joachim Gudmundsson, Christos Levcopoulos A Model for Analyzing Black-Box Optimization, Pavel Sumazin, Vinhthuy Phan, Steve Skiena 10:30 - 11:00: coffee 11:00 - 12:30: Session 10A: Multi-way Space Partitioning Trees, Christian Duncan Output-Sensitive Algorithms for Computing Nearest-Neighbour Decision Boundaries, David Bremner, Erik Demaine, Jeff Erickson, John Iacono, Stefan Langerman, Pat Morin, Godfried Toussaint Significant-Presence Range Queries in Categorical Data, Mark de Berg, Herman J. Haverkort Session 10B: Either/Or: Using Vertex Cover Structure in designing FPT-algorithms - the case of k-Internal Spanning Tree, Elena Prieto, Christian Sloper Parameterized Complexity of Directed Feedback Set Problems in Tournaments, Venkatesh Raman, Saket Saurabh Compact Visibility Representation and Straight-Line Grid Embedding of Plane Graphs, Huaming Zhang, Xin He 2:00 - 3:00: Session 11: invited talk: New Directions and New Challenges in Algorithm Design and Complexity, Parameterized, by Michael Fellows 3:00 - 3:30: coffee ----------------------------------------------------------------- ------------- The compgeom mailing lists: see http://netlib.bell-labs.com/netlib/compgeom/readme.html or send mail to compgeom-request@research.bell-labs.com with the line: send readme Now archived at http://www.uiuc.edu/~sariel/CG/compgeom/maillist.html.