[ICALP 2010] SECOND CALL FOR PARTICIPATION AND EARLY REGISTRATION (June 10th)

*** Apologies for multiple copies ***

______________________________________________________________________

CALL FOR PARTICIPATION
______________________________________________________________________

ICALP 2010
37th International Colloquium on Automata, Languages and Programming

July 5-10, 2010
Bordeaux, France
http://icalp10.inria.fr/

NEW DEADLINE FOR EARLY REGISTRATION : June 10th, 2010
Registration url:http://icalp2010.dakini.fr

Supported by the European Association for Theoretical Computer Science
(EATCS) and organized by the INRIA research center in Bordeaux
(http://www.inria.fr/bordeaux) with the participation of LaBRI
(http://www.labri.fr/).

______________________________________________________________________

The 37th International Colloquium on Automata, Languages and
Programming, the main conference and annual meeting of the European
Association for Theoretical Computer Science (EATCS), will take place
from the 5th to the 10th of July 2010 in Bordeaux, France. The main
conference will be preceded by a series of five workshops.

*106 contributed papers will be presented in three tracks
* 6 invited plenary talks will be given by Pierre Fraigniaud, Jean
Goubault-Larrecq, Burkhard Monien, Joel Ouaknine, Roger Wattenhofer, Emo
Welzl.
* Three prestigious awards will be presented: the Gödel prize, the EATCS
award and the Presburger award to young scientists.
* Three best contributed papers will be awarded as well.
The program is available
here:http://icalp10.inria.fr/index.php?n=Main.Program-AllTracks

_____________________________________________________________________

The city of Bordeaux is known worldwide for its architecture (listed on
the UNESCO World Heritage), quality of life and of course its wines.
All informations can be found here:http://www.bordeaux-tourisme.com

The conference will be held at the Cité Mondiale
(http://www.citemondiale.com/) at the hearth of the city, next to the river.

The social program will include an excursion in the old Bordeaux city as
well as the diner conference given in the remarkable Château Cazeneuve.

If you plan to stay arround before or after the conference, you will
enjoy an exceptional environment and variety of activities
(http://www.francekeys.com/english/regions/aquitaine.shtml).

Bordeaux is one hour from Paris by plane, two hours of Toulouse by
train. There are direct connections to cities like Paris, London,
Amsterdam and Bruxelles but also for FLOC'2010 attendees to Edinburgh
(http://www.bordeaux.aeroport.fr/en)
______________________________________________________________________

Accomodations, look athttp://icalp10.inria.fr/index.php?n=Main.Venue and
find the hotel that best fits your needs.

______________________________________________________________________

Cancellation Policy: If a participant is unable to attend ICALP because
of force majeure (e.g., volcanic ash causing flight cancellation) or because
of visa denial, their registration fee and accommodation payments will
be refunded in full, except for a Euro 50 administrative charge.

[DMANET] IEEE MASS 2010: Call for Participation and Important Dates for Workshops and Demos CFP

[We apologize in advance if you receive multiple copies of this message]

==========================================================================
CALL FOR PARTICIPATION

IEEE MASS 2010
7th IEEE International Conference on Mobile Ad-hoc
and Sensor Systems
https://mass2010.soe.ucsc.edu/

November 8-12, 2010 - San Francisco, CA, USA

Co-sponsored by the IEEE Computer Society Technical Commitee on
Distributed Processing and IEEE Computer Society Technical Commitee on
Simulation

==========================================================================

CONFERENCE SITE:
----------------
The 7th IEEE International Conference on Mobile Ad-hoc and Sensor
Systems (IEEE MASS 2010) will be held in San Francisco, California, USA.

SCOPE:
------
Wireless ad-hoc communication has applications in a variety of
environments, such as conferences, hospitals, battlefields and
disaster-recovery/rescue operations, and is also being actively
investigated as an alternative paradigm for Internet connectivity in
both urban and rural areas. Wireless sensor and actuator networks are
also being deployed for enhancing industrial control processes and
supply-chains, and for various forms of environmental monitoring. The
IEEE MASS 2010 aims at addressing advances in research on multi-hop
ad-hoc and sensor networks, covering topics ranging from technology
issues to applications and test-bed development. Please keep checking
the IEEE MASS 2010 web-space for more information and regular updates.

REGISTRATION:
-------------
Registration to IEEE MASS is now available at the conference website.
Early registration ends on September 3rd.

WORKSHOPS:
----------
- The Third Workshop on Mobile Entity Localization and Tracking (MELT)
- The Second Workshop on SCEnarios for Network Evaluation Studies (SCENES)
- The Sixth Workshop on Wireless and Sensor Network Security (WSNS)
- The Fourth Workshop on Enabling Technologies and Standards for
Wireless Mesh Networking (MESHTECH)
- The First BioSense Workshop: Networking and Environmental Sensing meet
Epidemiology and Biology
- The Second International Workshop on Intelligent Vehicular Networks
(InVeNet)

CFP WORKSHOPS - IMPORTANT DATES:
--------------------------------
Manuscripts due: June 18, 2010
Acceptance notification: August 13, 2010
Camera-ready submission: September 3, 2010

CFP DEMOS – IMPORTANT DATES:
----------------------------
Abstract submission deadline: 30 July 2010
Acceptance notification: 27 August 2010
Camera-ready submission: 10 September 2010
IEEE MASS 2010: 8-12 November 2010

ORGANIZATION COMMITTEE:
-----------------------

GENERAL CO-CHAIRS
Mario Gerla, University of California, Los Angeles
Katia Obraczka, University of California, Santa Cruz

PROGRAM CO-CHAIRS
Guohong Cao, Pennsylvania State University
Prasant Mohapatra, University of California, Davis

TPC SUB-AREA CHAIRS
- Protocols and Cross-Layer Technologies
Ahmed Helmy, University of Florida

- Systems, and applications
Chenyang Lu, Washington Unviersity in St. Louis

- Algorithms and theory
Dong Xuan, Ohio State University

- Reliability, security and privacy
Radha Poovendran, University of Washington

WORKSHOP CO-CHAIRS
Cedric Westphal, DoCoMo Labs
Christine Pepin, DoCoMo Labs

DEMO CHAIR
Rajeev Koodli, Starent Networks
Marcelo Dias Amorim, LIP 6, Universite' Paris 6

WEB CHAIR
Venkatesh Rajendran, Wionics

FINANCE AND REGISTRATION CHAIR
Zhen Jiang, West Chester University

PUBLICATION CHAIR
Dajin Wang, Montclair State University

PUBLICITY CHAIR
Aline Carneiro Viana, INRIA

LOCAL ARRANGEMENTS CO-CHAIRS
Kumar Viswanath, NTT Labs
Ignacio Solis, PARC

STEERING COMMITTEE CHAIR
Dharma P. Agrawal, University of Cincinnati

CHAIR OF IEEE TC ON DISTRIBUTED PROCESSING
Jie Wu, US National Science Foundation

CHAIR OF IEEE TC ON SIMULATION
Dave Cavalcanti, Phillips Research
**********************************************************
*
* 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.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] ISAAC 2010 FINAL CALL FOR PAPERS

*****************************************************************

ISAAC 2010 Final Call for Papers

Submission deadline: June 18, 2010

The 21st International Symposium on Algorithms and Computation (ISAAC 2010)

December 15-17, 2010, Jeju Island, Korea
http://tclab.kaist.ac.kr/~isaac10/

******************************************************************

The 21st International Symposium on Algorithms and Computation (ISAAC 2010) will be held in Jeju Island, Korea, December 15-17, 2010.
The symposium is intended to provide a forum for researchers working in algorithms and theory of computation.
Papers presenting original research in the areas of algorithms and theory of computation are sought.
Papers in relevant applied areas are also welcome.

Topics
The topics include, but are not limited to:

-Algorithms and data structures
-Approximation algorithms
-Combinatorial optimization
-Computational biology
-Computational complexity
-Computational geometry
-Cryptography
-Experimental algorithms
-Graph drawing and graph algorithms
-Internet algorithms
-Online algorithms
-Parallel and distributed algorithms
-Quantum computing
-Randomized algorithms

Important Dates
Submission deadline: June 18, 2010
Notification of acceptance: August 20, 2010
Final Version Due: TBA

Program Committee co-Chairs
Otfried Cheong (KAIST, Korea)
Kyung-Yong Chwa (KAIST, Korea)
Kunsoo Park (Seoul National University, Korea)

Organizing Committee Chair
Joon-Soo Choi (Kookmin University, Korea)

Venue
The conference will be held at Ramada Plaza Jeju Hotel, Jeju Island, Korea.

Paper Submission

The submission should contain a scholarly exposition of ideas, techniques, and results, including motivation and a clear comparison with related work.
The length of the submission should not exceed twelve pages in LNCS style. Submitted papers must describe work not previously published.
They must not be submitted simultaneously to another conference with refereed proceedings or to a journal. We regard the following case as a simultaneous submission.
Submission of drafts which contain the essentially same results from papers under review in other conferences or journals at the moment of the submission.
Only electronic submission (pdf) will be allowed via its easychair submission server.

Publication

The symposium proceedings will be published by Springer-Verlag in Lecture Notes in Computer Science (LNCS) series.
Selected papers will be invited to special issues of Algorithmica and International Journal on Computational Geometry and Applications.

Awards

The Best Paper and the Best Student Paper will be awarded. A paper is eligible for the Best Student Paper if all authors are full-time students at the time of submission.
To indicate that a submission is eligible, please add the phrase "Eligible for best student paper" as the last sentence in the "Abstract" field in the web form on the submission server as well as in the paper.
(http://www.easychair.org/conferences/?conf=isaac2010)

Kyung-Yong Chwa
Program Committee co-Chairs

Contact: isaac10@tclab.kaist.ac.kr
**********************************************************
*
* 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.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] Recruiting for BHP Billiton - Principal Mathematician/Scientist in Optimization

Please find attached an advertisement for a Principal Mathematician/Scientist
to join BHP Billiton's Optimization R&D team based at Melbourne University.
I can be contacted directly at peter.m.stone@bhpbilliton.com if any further
information about the position is required.
We will be happy to entertain applications until the end of June 2010.
The link to the job, with application instructions follows:

http://jobs.bhpbilliton.com/jobDetails.asp?sJobIDs656971&sReferrerhome&lApplicationSubSourceID&lCategoryID&lBrandID&lWorkTypeID&lLocationID&sJobNo656971&stpAW&sLanguageen

BHP Billiton is a large global mining and petroleum resource company.
To find out more, visit http://www.bhpbilliton.com/bb/home.jsp

Peter M Stone
Manager Optimization R&D
BHP Billiton Resource & Business Optimization
PO Box 86, Melbourne, Victoria 3001
Richard Berry Building (Building 160)
Melbourne University, Parkville Victoria
ph: +61 3 9609 4482 mob: +61 400 623 588
email: Peter.M.Stone@BHPBilliton.com

**********************************************************
*
* 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.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

INFINITY2010 at ATVA

---------------------------------------------------------------------------

                      *** CALL FOR PAPERS ***
      [ Please redistribute. Apologies for multiple copies.]

                                INFINITY  2010

       The Twelfth International Workshop on Verification 

                         of Infinite-State Systems

          http://www.it.uu.se/workshop/infinity2010/

                  Singapore, September 21, 2010

                     Co-located with ATVA 2010 

                   http://atva10.comp.nus.edu.sg/

---------------------------------------------------------------------------

    Please note: submission deadline June 15, 2010
---------------------------------------------------------------------------

The aim of the INFINITY workshop is to provide a forum for researchers

interested in the development of formal methods and algorithmic techniques for

the analysis of systems with infinitely many states, and their application in

automated verification of complex software and hardware systems.

Program Committee:

* Parosh Abdulla, Uppsala University, Sweden

* Yu-Fang Chen (co-chair), Academia Sinica, Taiwan

* Peter Habermehl, LIAFA, Universite Denis Diderot---Paris 7, CNRS, France

* Radu Iosif, VERIMAG, Universite Joseph Fourier/INPG/CNRS, France

* Barbara Koenig, Universitat Duisburg-Essen, Germany

* Akash Lal, Microsoft Research, Bangalore, India

* Richard Mayr, University of Edinburgh, United Kingdom

* Kedar Namjoshi, Bell Labs, Alcatel-Lucent, USA

* Jean-Francois Raskin, Universite Libre de Bruxelles, Belgium

* Ahmed Rezine (co-chair), Uppsala University, Sweden

* Arnaud Sangnier, Universita di Genova, Italy

* Yih-Kuen Tsay, National Taiwan University, Taiwan

* Tomas Vojnar, Brno University of Technology, Czech Republic

Topics of interest include (but are not limited to):

* Infinite-state models of software/hardware systems

* Abstraction techniques for infinite-state systems

* Symbolic analysis techniques and data structures for representing

infinite state spaces

* Model-checking, static analysis, abstract interpretation,

preorder/equivalence-checking, and control synthesis for

infinite-state systems

* Parameterized networks of parallel processes, dynamic networks, mobile systems

* Systems with unbounded dynamic data and control structures

* Probabilistic and timed systems

* Games in modeling and verification of infinite-state systems

* Verification techniques for security properties, cryptographic protocols

* Verification techniques for systems biology

Paper Submission:

There are two types of submissions.

* Regular papers will be thoroughly evaluated by the programme

committee and accepted submissions will be published in the

proceedings. Authors are invited to submit an original contribution

presenting unpublished work in the relevant areas. By submitting you

agree that, in case of acceptance, at least one (co-)author will

register and present the paper at the workshop. Contributions should

be typeset in the EPTCS format and should not exceed 15 pages.

* Presentations are reports on recent (or ongoing) work. It is

possible to submit a paper which recently appeared (or which is going

to appear) in proceedings of another conference, or which has not yet

been submitted. Neither the paper nor the abstract will be published

in the proceedings. These contributions will be judged solely on the

basis of their attractiveness to the workshop. Authors are invited to

submit a one-page abstract.

Both kind of papers should be submitted through EasyChair by following

the link: http://www.easychair.org/conferences/?conf=infinity2010.

Proceedings:

Pre-proceedings of INFINITY 2010 will be available at the workshop in a printed

form. Final versions of the papers will appear in a volume of

Electronic Proceedings in Theoretical Computer Science.

Important Dates:

Regular Papers

* Submission: June 15, 2010

* Notification: July 15, 2010

* Final version: August 10, 2010

Presentation

* Submission: August 15, 2010

* Notification: August 30, 2010

------------------------------

[DMANET] Advanced School on Data Exchange, Integration, and Tools

Advanced School on
Data Exchange, Integration, and Streams

DEIS '10 GI-Dagstuhl Seminar 10452,
November 7-12, 2010, Schloss Dagstuhl, Germany
http://www.tks.informatik.uni-frankfurt.de/events/deis10

The Gesellschaft für Informatik (GI) and the Dagstuhl-Leibniz Center for
Informatics jointly sponsor research seminars on timely topics in computer
science that have yet to be covered in textbooks. These research seminars are
targeted at graduate students and recent PhDs who are interested in learning
actively about new developments. The main aim of DEIS'10 is to expose young
researchers from both academia and industry to state-of-the-
art developments in information integration and to prepare them for productive
research in data exchange, data integration, and data streams.

Organization
DEIS'10, which is organized by Phokion G. Kolaitis, Maurizio Lenzerini, and
Nicole Schweikardt, will take place at Schloss Dagstuhl on November 7-12,
2010. It will consist of tutorials on each of the main topics, presentations of
specialized topics by the participants, and evening problem sessions.

Tutorials:
There will be three two-hour long tutorials on data exchange, data integration,
and data streams, presented by the three organizers.

Participant presentations:
There will be a total number of approximately twenty 45-minute long
presentations by the participants followed by a 15-minute discussion.

Problem sessions:
There will be three 90-minute long problem sessions whose purpose is twofold:
(1) the participants will develop solutions to exercises that will be assigned
by the organizers during their tutorial presentations; (2) the organizers and
the participants will discuss open research problems on the topics of the
Advanced School.

Participation
DEIS'10 is aimed at advanced doctoral students, postdoctoral researchers, and
junior industrial researchers. Specialized knowledge of the topics of the
Advanced School is not required. The main criterion for selection will be a
solid background on the principles and practice of database systems, and
demonstrated research potential. Interested parties are asked to submit an
application at the DEIS'10 application website at

http://www.easychair.org/conferences/?conf=deis10

Attendance at the seminar, including accommodation and full board at Schloss
Dagstuhl costs 40 Euros per person per day. For more information, including
information about the precise application procedure, and the possibility of
financial support for participants, please visit

http://www.tks.informatik.uni-frankfurt.de/events/deis10

Timeline

- June 15, 2010: Opening of the application submission server
- July 15, 2010: Deadline for submitting applications for
participation at DEIS'10
- Sept 1, 2010: Announcement of decisions and assignment of topics
- Nov 7-12, 2010: the DEIS'10 advanced school takes place at
Schloss Dagstuhl

--
Prof. Dr. Nicole Schweikardt
Goethe-Universitaet Frankfurt am Main
Institut fuer Informatik
Arbeitsgruppe Theorie komplexer Systeme
Robert-Mayer-Str. 11-15
D-60325 Frankfurt am Main
Email: schweika@informatik.uni-frankfurt.de
Url: http://www.tks.informatik.uni-frankfurt.de/schweika
--
**********************************************************
*
* 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.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] POSTDOCTORAL RESEARCH FELLOW in ALGORITHMS AND COMPLEXITY (ALGORITHMIC GAME THEORY), UNIV. of LIVERPOOL, UK

DEPARTMENT of COMPUTER SCIENCE, The UNIVERSITY of LIVERPOOL, UK

POSTDOCTORAL RESEARCH FELLOW in ALGORITHMS AND COMPLEXITY
(ALGORITHMIC GAME THEORY)

A researcher is required to participate in the EPSRC-funded Research
Project Algorithmic Mechanism Design and Optimization Problems with
Economic Applications.

The research will be undertaken within the Economics and Computation
Research Group in the Department of Computer Science at the University
of Liverpool (UK), under the supervision of Dr Piotr Krysta.

The aim of the project is to apply algorithmic and computational
complexity tools to game theoretic problems motivated by concrete
applications in electronic commerce and networks.

In particular approximation algorithms techniques will be used. The
project may involve collaboration with other staff members in the
Department of Computer Science at the University of Liverpool.

The successful candidate will have a PhD in the area of Algorithms
and Complexity Theory. Knowledge and/or a PhD in the area of
Algorithmic Game Theory will be highly appreciated.

The post is available for 20 months, commencing on 1 August 2010,
or as soon as possible thereafter, by negotiation; a further short
extension may be possible. The salary range is GBP 30,747--35,646 pa.

Informal enquiries may be sent to:

Dr Piotr Krysta (mailto: P.Krysta@liverpool.ac.uk).

http://www.csc.liv.ac.uk/~piotr

Further particulars and details of the application procedure will soon
be posted and then will be found at:

http://www.liv.ac.uk/working/job_vacancies/

** TENTATIVE CLOSING DATE FOR APPLICATIONS: 30 June 2010

-----
Dr. Piotr Krysta
University of Liverpool
Department of Computer Science
Ashton Building, Ashton Street
Liverpool L69 3BX, U.K.
http://www.csc.liv.ac.uk/~piotr
**********************************************************
*
* 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.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] PASCO 2010: Call for Participation

------------------------------------------------------------------------

CALL FOR PARTICIPATION PASCO 2010

International Workshop on Parallel Symbolic Computation 2010
Grenoble University, INRIA and CNRS
Grenoble, France, July 21-23, 2010

http://pasco2010.imag.fr/

------------------------------------------------------------------------

The "2010 International Workshop on Parallel and Symbolic Computation"
(PASCO) is the 4th meeting in a series of workshops dedicated to the
promotion and advancement of parallel algorithms and software in all
areas of symbolic mathematical computation. Following previous
editions, PASCO 2010 will have presentations of accepted research
papers and extended abstracts, invited talks, tutorial courses.
Moreover, a programming contest will take place during the conference.

* PASCO 2010 on-line registration is now available at http://pasco2010.imag.fr/

Early Registration (by June 30th)
ACM/SIGSAM Members 190 EUR
Non-ACM/SIGSAM Members 210 EUR
Students 60 EUR

Late and On-Site Registration
ACM/SIGSAM Members 230 EUR
Non-ACM/SIGSAM Members 250 EUR
Students 90 EUR

* Invited Lectures

Christian Bertin (ST) & Claude-Pierre Jeannerod, (INRIA), France.
Techniques and tools for implementing IEEE 754 floating-point arithmetic on
VLIW integer processors.

Erich L. Kaltofen , North Carolina State University, USA.
15 years after DSC and WLSS2: what parallel computations I do today.

Stephen T. Lewin-Berlin, Quanta Research Cambridge, USA.
Exploiting Multicore Systems with Cilk

* Tutorials

Jeremy Johnson , Drexel University, USA.
Automatic Performance Tuning.

Daniel Kunkle , Northeastern University, USA.
Roomy: A System for Space Limited Computations.

* Organization

General co-Chairs:
Marc Moreno-Maza, University of Western Ontario, Canada
and Jean-Louis Roch, Grenoble University, France.
Local Arrangement Chairs:
Jean-Guillaume Dumas, Grenoble University, France
and Thierry Gautier, INRIA, France
and Clement Pernet, Grenoble University, France.
Administration Chair: Daniele Herzog, INRIA France.
Publicity Chair: Daniel Cordeiro, Grenoble University, France.
------------------------------------------------------------------------
**********************************************************
*
* 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.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

Gödel Prize

The Goedel Prize 2010 is awarded to Sanjeev Arora and Joseph S.B. Mitchell for their concurrent discovery of a polynomial-time approximation scheme (PTAS) for the Euclidean Travelling Salesman Problem (ETSP) :

Sanjeev Arora. (1998). Polynomial-time approximation schemes for Euclidean TSP and other geometric problems, Journal ACM 45(5), 753-782.
Joseph S.B. Mitchell (1999). Guillotine subdivisions approximate polygonal subdivisions: A simple polynomial-time approximation scheme for geometric TSP, k-MST, and related problems, SIAM J. Computing 28(4), 1298-1309.

The Euclidean Travelling Salesman Problem in dimension 2 is one of those old, seemingly innocent problems known to be NP hard, but still not known to be in NP. At the time of the publication, the impact of the Euclidean assumption was hardly understood: the best polynomial-time approximation scheme could only guarantee 50% error at best.

Arora and Mitchell showed that solutions which are arbitrarily close to optimal in a relative sense can be found in polynomial time. These techniques, further simplified, improved and then generalized, occupy a chapter of their own in the theory of approximation algorithms.

The discovery of a PTAS for ETSP, with its long trail of consequences, counts as a crowning achievement of geometric optimization.


The Award Committee


 Cynthia Dwork, Microsoft

 Johan Håstad, KTH Stockholm

 Jean-Pierre Jouannaud, INRIA and Tsinghua University, chair

 Mogens Nielsen, Aarhus University

 Mike Paterson, University of Warwick

 Eli Upfal, Brown University

[DMANET] Position as advanced lecturer in Logistics with Applied Optimization

As part of strengthening our research in technology Umea university
has an opening as advanced lecturer in in either Risk Management or
Applied combinatorial optimization.

The position has guaranteed research fund ing during the first 5 years,
corresponding to 80% research time and 20% teaching. The applicant will
in addition be given funding for a graduate student and up to two
post-docs, as a well as a general start-up grant.

Below is the short description of the position and on the following URL
you can find the full advertisement.

Note that the last application date is JUNE 17.

http://www8.umu.se/umu/aktuellt/arkiv/lediga_tjanster/8_lektorer_teknat_sv
_eng.html

Risk Management or Logistics with Applied Optimization.

At UmeE5 University, a Master of Science Program in Industrial
Engineering and Management has recently been launched. A theme of the
program is modelling, simulation, controlling, optimization, management
and risk management of flows and business processes. Two specializations
of the program are risk management and logistics with optimization. The
applicant for this position is supposed to strengthen the research
profile of the program by pursuing research in an area of mathematics or
mathematical statistics that is relevant for the program. Examples of
such areas include mathematical modelling, risk management, stochastic
processes, stochastic differential equations and their applications,
financial mathematics, logistics, optimization, combinatorial
optimization, graph theory, queue theory, reliability theory and control
theory. Technological application areas include, e.g., energy systems,
resource planning, planning of traffic and transportation, manufacturing
systems and forest production.

The ideal candidate:
- should hold a PhD in either mathematics or mathematical statistics
or in a related field
- should have proved able to pursue high quality research within an
area of the mathematical sciences that is relevant for the program in
industrial engineering and management
- should have demonstrated the importance of his/her research in a
branch of industry that is relevant for the program in industrial
engineering and management.

Klas Markstroem Docent, Mathematics
Vice head of department
_________________________________________________________________________
Department of Mathematics and Mathematical Statistics
Umea universitet
S-901 87 Umea, Sweden
phone: (+46)90 786 97 21 fax: (+46)90 786 52 22
URL: http://abel.math.umu.se/~klasm/
_________________________________________________________________________

**********************************************************
*
* 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.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] WAOA 2010: deadline extended: June 14th

[The deadline has been extended. New deadline: June 14th.]

8th Workshop on Approximation and Online Algorithms (WAOA 2010)
University of Liverpool, United Kingdom
9-10 September 2010

CALL FOR PAPERS

Scope

Approximation and online algorithms are fundamental tools to deal with
computationally hard problems and problems in which the input is gradually
disclosed over time. Both kinds of problems have a large number of
applications, arising from a variety of fields.

The workshop focuses on the design and analysis of approximation and
online algorithms. It also covers experimental methods used to design and
analyze efficient approximation and online algorithms. WAOA 2010 will be
part of ALGO 2010, which also hosts ESA, ATMOS, and WABI. ALGO 2010 will
take place 6-10 September 2010 in Liverpool, United Kingdom.

This year, WAOA's invited speaker is Claire Mathieu from Brown University.

Topics

Papers are solicited in all research areas related to approximation and
online algorithms, including, but not limited to:

* algorithmic game theory
* approximation classes
* coloring and partitioning
* competitive analysis
* computational finance
* cuts and connectivity
* geometric problems
* inapproximability results
* mechanism design
* network design
* packing and covering
* paradigms for the design and analysis of approximation and online
algorithms
* parameterized complexity
* randomization techniques
* real-world applications
* scheduling problems

Publication

Proceedings will be published after the workshop takes place in the
Springer
series Lecture Notes in Computer Science. Instructions for authors can be
found at http://www.springer.de/comp/lncs/authors.html. The proceedings of
WAOA 2003, WAOA 2004, WAOA 2005, WAOA 2006, WAOA 2007, WAOA 2008, and
WAOA 2009 have appeared as volumes 2909, 3351, 3879, 4368, 4927, 5426,
and 5893, respectively, of Lecture Notes in Computer Science.

Submission guidelines

Authors are invited to submit an extended abstract or full paper of at most
12 pages describing original unpublished research. Simultaneous submission
to other conferences with published proceedings is not permitted. The title
page of the submission should include the authors' full names,
addresses,
e-mail addresses, and an abstract summarizing the results in roughly
100-200
words; the remainder of the submission should contain a description of the
main results and an explanation of their importance. The submission must
include a full proof of the results, part of which can be placed in the
appendix, whose length is not constrained.

Papers must be submitted electronically at

http://www.easychair.org/conferences/?conf=waoa2010

The submission must be received by 23:59 (GMT) on June 6, 2010. Each
accepted
paper must be presented at the workshop by one of the authors.
Important dates

Submissions: June 14, 2010. (EXTENDED)
Notifications: July 16, 2010.
Workshop: September 9-10, 2010.
Camera Ready: November 1, 2010.

Program Chairs

* Klaus Jansen, University of Kiel
* Roberto Solis-Oba, University of Western Ontario

Program committee

* Evripidis Bampis, University of Evry
* Jianer Chen, Texas A&M University
* Jose Correa, University of Chile
* Khaled Elbassioni, Max Planck Institute for Informatics
* Rudolf Fleischer, Fudan University
* Thomas Erlebach, University of Leicester
* Martin Fuerer, The Pennsylvania State University
* Klaus Jansen, University of Kiel
* Christos Kaklamanis, University of Patras
* Jochen Koenemann, University of Waterloo
* Stefano Leonardi, Sapienza University of Rome
* Alejandro Lopez-Ortiz, University of Waterloo
* Monaldo Mastrolilli, IDSIA Lugano
* Hadas Shachnai, Israel Institute of Technology
* Martin Skutella, TU Berlin
* Roberto Solis-Oba, University of Western Ontario
* Clifford Stein, Columbia University
* Denis Trystram, Grenoble Institute of Technology

For more information please contact Klaus Jansen
(kj@informatik.uni-kiel.de)
or Roberto Solis-Oba (solis@csd.uwo.ca) or check WAOA's web-site:

http://algo2010.csc.liv.ac.uk/waoa
**********************************************************
*
* 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.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

ATMOS 2010: Deadline extended to June 12

***********************************************
* Extended submission deadline: June 12, 2010 *
* Extended notification date: July 12, 2010 *
***********************************************

10TH WORKSHOP ON ALGORITHMIC APPROACHES FOR TRANSPORTATION
MODELING, OPTIMIZATION, AND SYSTEMS (ATMOS)

University of Liverpool, United Kingdom, September 9, 2010
http://algo2010.csc.liv.ac.uk/atmos.php

** CALL FOR PAPERS

The ATMOS 2010 workshop will be held in connection with ALGO 2010,
hosted by University of Liverpool, United Kingdom, on September 9, 2010.

Since 2000, the series of ATMOS workshops brings together researchers
and practitioners who are interested in all aspects of algorithmic
methods and models for transportation optimization and provides a
forum for the exchange and dissemination of new ideas and techniques.

Transportation networks give rise to very complex and large-scale
network optimization problems requiring innovative solution techniques
and ideas from mathematical optimization, theoretical computer
science, and operations research. Applicable tools and concepts
include those from graph and network algorithms, combinatorial
optimization, approximation and online algorithms, stochastic and
robust optimization.

The scope of the workshop comprises all modes of transportation.

** INVITED SPEAKER

Alberto Caprara, University of Bologna

** IMPORTANT DATES

Submission Deadline: June 12, 2010 (EXTENDED)
Notification to Authors: July 12, 2010 (EXTENDED)
Final Version due: August 22, 2010
Workshop: September 9, 2010

** TOPICS

We invite papers for presentation at the workshop on optimization
problems for passenger and freight transport, including---but not
limited to

* Infrastructure Planning
* Vehicle Scheduling
* Crew and Duty Scheduling
* Rostering
* Routing in Road Networks
* Novel Applications of Route Planning Techniques
* Demand Forecasting
* Design of Tariff Systems
* Delay Management
* Mobile Applications
* Humanitarian Logistics
* Simulation Tools
* Line Planning
* Timetable Generation
* Routing and Platform Assignment

Of particular interest are: the successful integration of several
(sub)problems or planning stages, algorithms operating in an
online/realtime or stochastic setting, and heuristic approaches
(including approximation algorithms) for real-world instances.

** SUBMISSIONS

Authors are invited to submit an extended abstract or full paper of at
most 12 pages. The paper should contain a succinct statement of the
issues and of their motivation, a summary of the main results, and a
brief explanation of their significance, accessible to non-specialist
readers. Proofs omitted due to space constraints can be put into an
appendix to be read by the program committee members at their
discretion. Papers must be submitted electronically at
http://www.easychair.org/conferences/?conf=atmos2010. The submission
must be received by 23:59 (GMT) on June 12, 2010. Each accepted paper
must be presented at the workshop by one of the authors.

** PROCEEDINGS

The proceedings will be published online on the Dagstuhl Research
Online Publication Server (DROPS) (http://drops.dagstuhl.de/)

** PROGRAM COMMITTEE

* Gabriele Di Stefano, U L'Aquila
* Thomas Erlebach (co-chair), U Leicester
* Andrea Lodi, U Bologna
* Marco Luebbecke (co-chair), TU Darmstadt
* Matus Mihalak, ETH Zurich
* Petra Mutzel, TU Dortmund
* Louis-Martin Rousseau, Polytechnique Montreal
* Heiko Schilling, TomTom NV
* Peter Sanders, Karlsruher Institut fuer Technologie
* Maria Grazia Speranza, U Brescia
* Frits Spieksma, KU Leuven

[DMANET] WDDS 2010 - 3rd Call for Paper

Our apologies for multiple receptions of this message

WDDS 2010 - 4th Workshop on Distributed Software Development
(In conjunction with the 1st Brazilian Conference on Software)
Salvador, BA - Brazil - September 27, 2010

http://www.wdds.ufpb.br/2010/en_index.php

Call for Papers
Submission Deadline: June 13, 2010

----------------------------------------------------------------------
PRESENTATION
----------------------------------------------------------------------
The requirements and complexity of current software systems
impose the cooperation of several development teams with
different skills, and more recently, which take place in
geographically distributed settings. Nowadays, the software
industry has been exploring distributed resources as a mean
to reduce cost and development time, and also to expand to
new markets. However, geographical distance has a significant
impact on the process of coordination and communication
between members of the dispersed development teams. Thus,
problems and challenges intrinsic to software development
processes become more critical in Distributed Software
Development (DSD).

Currently, DSD is already a reality in the national and
international context. In Brazil, it is becoming a common
practice to find companies located in different regions
that jointly develop software projects. Besides that,
several multinational organizations have been developing
Software projects in Brazil. In order to deal with
distribution issues, several technological, organizational
and social approaches and solutions have been proposed.
The study of such proposals is aligned with Brazilian
government programs that aim to increase the quality of
software processes, products and services, making more
competitive the national software industry in the global
software development context.

Following the world-wide trend of scientific events on DSD,
the fourth edition of the Workshop on Distributed Software
Development (IV WDDS 2010) constitutes a forum for
researchers and industry practitioners to present and
discuss their results and experiences in the area. The goal
is to provide an opportunity to generate knowledge and to
exchange experiences, facilitating the adoption, evaluation
and execution of academic and industrial DSD projects in
Latin America.

Authors are invited to submit technical papers describing
research results and innovation on the state-of-the-art in
DSD. Experience reports are welcome, particularly those
which bring advancements on the state-of-the-practice in DSD.

----------------------------------------------------------------------
TOPICS OF INTEREST (non-exhaustive list):
----------------------------------------------------------------------
The IV WDDS 2010 invites researchers, students and
practitioners to submit papers related to innovation
and consolidation in the DSD area. Topics of interest
include, but are not limited to:
- Empirical studies of DSD projects (quantitative and
qualitative);
- Tools for DSD (requirements management, configuration
management, distributed teams management, document sharing);
- Communication, collaboration and coordination in DSD
projects;
- Reports on industrial experiences presenting lessons
learned;
- Teaching distributed and global software development;
- Models and environments for DSD (internal offshoring,
offshore outsourcing, outsourcing);
- Case studies of successful and unsuccessful DSD projects;
- Management of the variety of DSD projects (culture,
technical, social and organizational);
- Project management in DSD (human resources, project
planning, mentoring, awareness);

----------------------------------------------------------------------
FORMAT AND PAPER SUBMISSION
----------------------------------------------------------------------
Papers can be written either in Portuguese or in English.
All submissions must follow the guidelines established by
the Brazilian Computer Society (SBC) (available at:
http://www.sbc.org.br/index.php?language=1&subject=60&content=downloads&id=286 ).
Submitted papers must be unpublished original work.

Two types of submissions are expected:
- Technical papers;
- Experience reports on industrial case studies.

All submitted papers will be evaluated by at least three
members of the Program Committee, on the basis of originality
and contribution to the DSD area. Technical papers will
be judged according to their adequacy to workshop scope,
originality, relevance, technical soundness and clarity
of expression. Experience reports will be judged based on
their adequacy to workshop scope, practical applicability,
clarity of expression and contribution to advancements on
the state-of-the-practice.

Papers should not exceed 08 pages and must be in Adobe
Portable Document Format (PDF). The paper must be submitted
using the JEMS system (https://submissoes.sbc.org.br)
For accepted submissions, at least one of the authors must
register in the workshop for presenting the paper.

For further information, contact the Program Committee Chair
at wdds2010@ufla.br.

----------------------------------------------------------------------
PUBLICATION
----------------------------------------------------------------------
All accepted papers will be published in the I CBSoft
2010 conference CD.

The best papers of the IV WDDS 2010 may be published
in a journal.

----------------------------------------------------------------------
DATAS IMPORTANTES
----------------------------------------------------------------------
- Paper submission: June 13, 2010
- Author notification: July 14, 2010
- Camera-ready copy: July 28, 2010
- Workshop: September 27, 2010

----------------------------------------------------------------------
COORDINATION
----------------------------------------------------------------------
- Heitor Augustus Xavier Costa - UFLA - Brazil
- Leonardo Gresta Paulino Murta - UFF - Brazil

----------------------------------------------------------------------
STEERING COMMITTEE
----------------------------------------------------------------------
- Cleidson Ronald Botelho de Souza - IBM Brasil - Brazil
- Elisa Hatsue Moriya Huzita - UEM - Brazil
- Heitor Augustus Xavier Costa - UFLA - Brazil
- Jorge Luis Nicolas Audy - PUC-RS - Brazil
- Leonardo Gresta Paulino Murta - UFF - Brazil
- Rafael Prikladnicki - PUC-RS - Brazil

----------------------------------------------------------------------
PROGRAM COMMITTEE
----------------------------------------------------------------------
- Alberto Avritzer, Siemens Corporate Research, USA
- Alexander Boden, University of Siegen, Alemanha
- Antonio Maria Pereira de Resende, UFLA, Brazil
- Cleidson Ronald Botelho de Souza, IBM, Brazil
- Daniel Lucredio, UFSCar, Brazil
- Eduardo Santana de Almeida, UFBA, Brazil
- Elisa Hatsue Moriya Huzita, UEM, Brazil
- Elisa Yumi Nakagawa, USP, Brazil
- Gledson Elias da Silveira, UFPB, Brazil
- Heitor Augustus Xavier Costa, UFLA, Brazil
- Jones Oliveira de Albuquerque, UFRPE, Brazil
- Jorge Luis Nicolas Audy, PUC-RS, Brazil
- Marcelo Cataldo, Carnegie Mellon University, USA
- Rafael Prikladnicki, PUC-RS, Brazil
- Renata Potim de Mattos Fortes, ICMC-USP, Brazil
- Rodrigo Quites Reis, UFPA, Brazil
- Sabrina Marczak, UVIC, Canada
- Tania Fatima Calvi Tait, UEM, Brazil
- Tayana Conte, UFAM, Brazil

**********************************************************
*
* 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.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] PhD studentship, Algorithmic Trading, University of Liverpool, UK.

EPSRC Industrial CASE PhD studentship, University of Liverpool, UK:

"Algorithms for analysing market impact in financial markets"

This is a PhD position on a joint project run by the University of
Liverpool and Arctic Lake, a London-based provider of algorithmic
trading solutions. It is a fully funded PhD position; fees will be paid
and there is a tax-free stipend of approximately P13,000 per annum
(which rises with inflation). Other expenses, e.g. travel costs between
Liverpool and Artic Lake, will be reimbursed.

Arctic Lake works with many different market participants, e.g., the
largest inter-dealer broker ICAP, and institutional investors such as
pension funds and hedge funds. They provide algorithms to minimize the trading
costs of managing money in financial markets. The proposed research centres
around two themes that crucially affect the cost of trading: market impact
and venue selection. These problems will be addressed using tools from
statistical learning and game theory, and the project will combine theoretical
and data-driven work.

You will work with Niels Buhl, the CEO of Arctic Lake, who has experience
as a fund manager, technologist and trader with a major investment bank and
leading technology-driven hedge fund, and Claus Hvalsøe, head of algorithms.
Upto one year of the 3.5 years will be spent at Arctic Lake's offices in London.

At Liverpool, you will join the Economics and Computation research group in
the Department of Computer Science; it is the first research group of its kind
in the UK. The department ranked in the top 10 nationally in the 2008 Research
Assessment Exercise. Dr Rahul Savani will be the main academic supervisor,
and Professor Paul Goldberg, head of the group, will co-supervise.

The studentship starts in October 2010 and run for 3.5 years. To be
eligible you must be a UK citizen or have been ordinarily resident in the
UK for three years.

The deadline to express an interest is Friday 18th June. Please email

Rahul Savani
rahul.savani@liverpool.ac.uk
**********************************************************
*
* 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.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] RP2010: CALL FOR INFORMAL PRESENTATIONS (Deadline: 20 June 2010)

4th WORKSHOP ON REACHABILITY PROBLEMS

in computational models and systems , RP'2010

(August 27-29, 2010, Brno, Czech Republic)
co-located with MFCS & CSL 2010
http://www.csc.liv.ac.uk/~rp2010/

The Workshop on Reachability Problems will be hosted
by the Faculty of Informatics, Masaryk University,
Brno, Czech Republic and will be co-located with
Joint MFCS and CSL 2010.

Scope: The Reachability Workshop is specifically
aimed at gathering together scholars from diverse
disciplines and backgrounds interested in
reachability problems that appear in
- Algebraic structures
- Computational models
- Hybrid systems
- Logic and Verification

Invited Speakers:

- Markus Holzer (Giessen University, Germany)
- Kim Guldstrand Larsen (Aalborg University, Denmark)
- Alexander Rabinovich (Tel Aviv University, Israel)
- Philippe Schnoebelen (ENS Cachan, France)

In addition to the formal presentations based on our LNCS proceedings
volume, we invite researchers to present informal presentations. For this,
please send us an abstract and a short paper (upto 4 pages in LNCS format)
with a brief description of your work)

by the DEADLINE: JUNE 20, 2010

You will be notified whether your talk has been accepted for informal
presentation usually within a week after your submission.

Please submit a pdf file containing your abstract and short paper by
e-mail [ rp10 at easychair.org ] with a subject "RP2010 Informal
Presentation".

We are planning post-conference publication of a journal special issue,
which will contain full articles of selected RP 2010 presentations,
including informal presentations. Previous special issues were published in
International Journal of Foundations of Computer Science (Volume: 20,
Issue: 5 October 2009; Volume: 19, Issue: 4, Part2, August 2008).

Contact details:
RP'2010 - Faculty of Informatics, Masaryk University,

Emails: Antonin Kucera tony@fi.muni.cz<mailto:tony@fi.muni.cz>
Igor Potapov potapov@liverpool.ac.uk<mailto:potapov@liverpool.ac.uk>
**********************************************************
*
* 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.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] SPIRE 2010 [2nd Call for Papers]

CALL FOR PAPERS

SPIRE 2010
17th International Symposium on String Processing and Information Retrieval

October 11-13, 2010

Los Cabos, Mexico

http://spire2010.natix.org

SUBMISSION DEADLINE: June 20, 2010

INTRODUCTION
SPIRE 2010 is the 17th International Symposium on String Processing and
Information Retrieval. The first four editions of the conference focused
primarily on string processing and were held in South America under the
title of WSP (South American Workshop on String Processing). WSP was
transformed into SPIRE in 1998, when the scope of the conference was
broadened to include information retrieval. This was motivated by the
increasing relevance of information retrieval and its close inter-
relationship with string processing.
The last three SPIRE conference sites have been:
Santiago, Chile (2007), Melbourne, Australia (2008) and Saariselka, Finland
(2009). The conference proceedings have been published in Springer's
Lecture Notes in Computer Science (LNCS) series since 2002. This tradition
continues also in 2010.

LOCATION

SPIRE 2010 will be co-organized by the School of Physics and Mathematics at
Universidad Michoacana, in Morelia, Mexico and the CICESE research center
in Ensenada, Mexico. The conference will take place at the premiere resort
area of Los Cabos, Mexico. With an incredible array of first-class resorts,
world class fishing, activities for the entire family and elegant dining
venues, Cabo San Lucas and San Jose del Cabo have much to offer. The
conference venue will be the Los Cabos Grand Faro Resort in San Jose del Cabo.

TOPICS

SPIRE 2010 covers research in all aspects of string processing, information
retrieval, computational biology, pattern matching, semi-structured data,
and related applications. Typical topics of interest include (but are not
limited to):

** String Processing: Dictionary algorithms, Text searching, Pattern
matching, Text and sequence compression, Automata based string processing.

** Information Retrieval: Information retrieval models, Indexing, Ranking
and filtering, Interface design, Visualization, Benchmarking.

** Natural language processing: Text analysis, Text mining, Machine
learning, Information extraction, Language models (both structural and
semantic), Knowledge representation.

** Search applications and usage: Cross-lingual information access systems,
Multimedia information access, Digital libraries, Collaborative retrieval
and Web related applications, Semi-structured data retrieval, Evaluation.

** Interaction of biology and computation: DNA sequencing and applications
in molecular biology, Evolution and phylogenetics, Recognition of genes and
regulatory elements, Sequence driven protein structure prediction.

** Efficient implementation of IR systems: Practical implementations with
strong experimental support, toolkits for IR systems. Algorithms and data
structures for IR.

SUBMISSION

SPIRE 2010 welcomes submissions varying from short 6-page papers up to
long 12-page papers. Submissions should be anonymous and formatted using
LNCS style. At least three reviewers will evaluate each paper based on its
originality, quality and significance of theoretical and/or practical
contribution, the validity and robustness of the methodology used, and the
overall contribution to understanding the context of the work. Any
paper may be accepted as a short or a long contribution; the former will
receive less time for presentations and fewer pages in the proceedings.

STUDENT SPONSORSHIP

Yahoo! Research has generously offered sponsorship for some student support
packages that cover SPIRE 2010 registration fees and provide partial
support for accommodation costs for volunteers. See the conference website
for more information.

INVITED SPEAKERS
SPIRE 2010 will feature invited lectures by

Gonzalo Navarro (U. Chile, Chile) and
Mark Najork (Microsoft Research)

WORKSHOPS
We are planning to host workshops on topics in both string processing and
information retrieval. The workshops will take place on October 14 2010,
the day after the main conference. More details will be posted on the
conference website.

PROGRAM COMMITTEE CO-CHAIRS

Edgar Chavez (U Michoacana/CICESE)
Stefano Lonardi (UC Riverside)

**********************************************************
*
* 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.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] Post-doc at Oxford University in Combinatorial Optimization

---------------
Applications are invited for a Postdoctoral Research Assistant in
Spreading Processes on Networks and Applied Combinatorial Optimization.
The post is available initially for a fixed-term duration of 2 years. We
will consider candidates either from Applied Combinatorial Optimization
or from Network Science.

Candidates with a background in combinatorial optimization will
investigate a spectrum of computational methods from applied
combinatorial optimization as applied to a set of canonical problems
constrained by real data. The aim will be to reach across methods from
the many ways in which combinatorial optimization is performed in
practice, making sure that we consider a good representation of typical
heuristics. One of our objectives will be to use these methods as a way
of investigating the nature of the data as well as the nature of the
algorithms. Our benchmarked methods will be turned to improved
approaches to detecting clusters in graphs and methods for controlling
rumour propagation on social networks.

This is part of the EPSRC grant `Game theory and adaptive networks for
smart evacuations92. Part of this is to probe the way in which
information about a threat propagates around social networks and to ask
how this might be perturbed optimally. The candidate will meet with
social scientists to establish how to parameterize and motivate the
appropriate simple models. A parallel post on spatial agent based models
will be advertised in Manchester Physics with Dr Tobias Galla.

Necessary: (1) A background in applied combinatorics (both interpreted
in a broad sense) (2) Enthusiasm to work with researchers from different
backgrounds. (3) A strong, relevant, publication record and an ability
to work independently if required. (4) Experience with real data. (5) A
high level of programming skills and willingness to use them.

It will be desirable for candidates, depending on background, to have
some subset of the following skills. Familiarity with methods from:
network/graph analysis and complex systems; heuristics for combinatorial
optimization; methods for feature selection; statistical physics and
stochastic processes; statistical machine learning/ inference.

The candidate will likely work with another PDRA with practical
experience in Evolutionary Computation applied to topics in Evolution.
Since this appointment is interdisciplinary we will consider candidates
from across the disciplines: computer science, applied mathematics,
physics, statistics, systems biology, and engineering.

Please direct informal inquiries about this post to
Nick.Jones@physics.ox.ac.uk.

For further particulars of the post, and how to apply please visit
http://www.physics.ox.ac.uk/jobs/ 20
Application Deadline: 09 July 2010
http://www.physics.ox.ac.uk/jobs/upload//dk10-005%20pdra%20jones1_further
_particulars.doc
**********************************************************
*
* 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.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] CP 2010 Doctoral Programme Call for Papers

CP 2010 Doctoral Programme
(http://zivny.cz/dp10/)

As part of the Constraint Programming Conference for 2010
(http://cp2010.cs.st-andrews.ac.uk/),
we are inviting PhD students to apply for the Doctoral Program. This program
provides an opportunity for current PhD students to meet each other as
well as researchers in the field. Participants will also present their
work via both a poster and a talk.

Participation in the Doctoral Program will involve:

* Talks from researchers in the field about career opportunities.
* Presentation of talks and posters.
* Discussions with a mentor with similar research interests.
* Entry to the CP 2010 conference.

Eligibility and Applications

The program is open to all PhD students involved in Constraint
Programming or related fields at any level. Applicants are required to
submit a short paper (no more than 6 pages) in the Springer LNCS Style
and the author list should specify who is the student and who is/are
the supervisor/s. Submissions are required to be in either PostScript
or PDF format. Papers should be submitted at
https://www.easychair.org/login.cgi?conf=cpdp10.

The paper should contain original unpublished work which is at least
in part the work of the student. It can either be completed or in
progress. The papers will be available on the conference webpage after
the conference.

Any students with full papers accepted in the CP conference do not
need to submit a paper to the Doctoral Program, but are automatically
eligible for entry. Such students should email both Doctoral Program
chairs expressing their interest. This email should also include the
paper title, abstract and author list.

All students applying for the Doctoral Program need their supervisor/s
to send a letter of recommendation to cp10.dp@googlemail.com
detailing:

* the student's area of work.
* the supervisor's support of the student's application.
* the expected completion date for the student.
* the reason for wanting to attend the doctoral program.
* whether or not the student has been to the doctoral program
and/or received financial assistance previously and how many times.
* if the student has a full paper accepted in the main CP conference.

Financial Support

There are funds available to support students by providing
accommodation and free conference registration. If there are
insufficient funds to provide this for all doctoral program
participants, preference will be given to students who have not
previously benefited.
People

The doctoral program chairs are:

Peter Nightingale
School of Computer Science
Universtiy of St Andrews, UK
pn@cs.st-andrews.ac.uk

Standa Zivny
Computing Laboratory
University of Oxford, UK
standa.zivny@comlab.ox.ac.uk

If you have any questions, please feel free to contact both Peter and
Standa via the CP Doctoral Program 10 email address:
cp10.dp@googlemail.com

Programme Committee

Sebastian Brand, NICTA and University of Melbourn, Australia
Hubie Chen, Universitat Pompeu Fabra, Spain
Chris Jefferson, University of St Andrews, UK
Zeynep Kiziltan, University of Bologna, Italy
Olivia Jayne Madill, University of Melbourne, Australia
Michela Milano, University of Bologna, Italy
Justin Pearson, Uppsala University, Sweden
Karen Petrie, University of Dundee, UK
Claude-Guy Quimper, Google Inc., Waterloo, Canada
Roland Yap, National University of Singapore, Singapore
Neil Yorke-Smith, American University of Beirut, Lebanon, and SRI
International, USA
**********************************************************
*
* 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.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] ATMOS 2010 deadline extended to June 12

10TH WORKSHOP ON ALGORITHMIC APPROACHES FOR TRANSPORTATION
MODELING, OPTIMIZATION, AND SYSTEMS (ATMOS)

University of Liverpool, United Kingdom, September 9, 2010
http://algo2010.csc.liv.ac.uk/atmos.php

The ATMOS 2010 workshop will be held in connection with ALGO 2010 in
University of Liverpool, United Kingdom, on September 9, 2010.

Since 2000, the series of ATMOS workshops brings together researchers
and practitioners who are interested in all aspects of algorithmic
methods and models for transportation optimization and provides a
forum for the exchange and dissemination of new ideas and techniques.

Transportation networks give rise to very complex and large-scale
network optimization problems requiring innovative solution techniques
and ideas from mathematical optimization, theoretical computer
science, and operations research. Applicable tools and concepts
include those from graph and network algorithms, combinatorial
optimization, approximation and online algorithms, stochastic and
robust optimization.

******************************************************************
*** WE HAVE EXTENDED THE SUBMISSION DEADLINE TO JUNE 12, 2010! ***
******************************************************************

Please visit the website for more details.
**********************************************************
*
* 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.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] Marie Curie Research Fellow in Robotic Mapping and 3D Visualisation

Dear organisers,
Please, distribute the following message:

The Centre for Automation and Robotics Research, Mobile Machine and Vision
Laboratory, Sheffield Hallam University, Sheffield, UK calls for
applications for the following position:

Applications are invited for a Marie Curie Research Fellow to work with the
Mobile Machines and Vision Laboratory (MMVL) in the area of map building
and surface reconstruction.

Fixed term for 12 Months
P 30,747 increasing to P 34,607 per annum through progression

The MMVL is a research group which is part of the Centre for Automation and
Robotics Research (CARR) at Sheffield Hallam University. The expertise
within the MMVL group includes Artificial Intelligence, Computer Vision,
Embedded Systems Engineering, Electronic Design, Interaction design,
Mathematical Modelling, Robotics and Swarm Robotics. MMVL is engaged in a
number of projects funded by the European Commission. Our focus is in the
area of advanced robotics, and we aim to provide significant advances that
will translate into improved mobile robot teams.
The EU funded DHRS-CIM project applies to a swarm of robots in Chemical
incident management. The consortium consists of six partners, each dealing
with particular aspects of the problem. This post will involve the development
of algorithms and application software, mostly in the area of 3D
visualisation for robot mapping.
You will work in the robotics mapping / surface reconstruction group within
the MMVL. The nature of the work will be decided, as much as possible,
based on the successful applicant's skills, experience and interests. You
will become a member of the MMVL lab and will be expected to utilise MMVL
researchers' expertise collectively.
You will have excellent mathematics skills (particularly in geometry); good
programming skills (C/C++); 3D mesh processing; 3D surface reconstruction;
visualisation and rendering (e.g. OpenGL).
Particularly welcome are applications from candidates who have skills and/
or experience in areas such as scene labelling and fragmentation, mobile
robots' navigation, graphical user interfaces or Graphics Processing Units
(e.g. OpenCL).
For further information on the post, please contact Dr Jacques Penders
(general enquiries) and Dr Lyuba Alboul (post particulars) by email at
j.penders@shu.ac.uk<mailto:j.penders@shu.ac.uk> /
l.alboul@shu.ac.uk<mailto:l.alboul@shu.ac.uk> respectively.
Under the terms of the Marie Curie EU funding, which aims to promote
mobility within the research community, special eligibility conditions apply
for appointments, in particular:

1. Applicants must be an Experienced Researcher and must hold a PhD degree or
have a minimum of 4 years to a maximum of 10 years full time research
experience after obtaining an MSc or equivalent degree.
2. Applicants must not be UK nationals and must not have resided or carried
out their main activity in the UK for more than 12 months in the previous 3
years prior to their appointment under the project.

Applicants can check their eligibility for this 'Experienced Researcher'
fellowship position in the document "Annex III (Industry Academia Partnerships
and Pathways)" which can be found at
http://cordis.europa.eu/fp7/calls-grant-agreement_en.html#
people_ga<http://cordis.europa.eu/fp7/calls-grant-agreement_en.html>

Please quote reference: ACE 348/09
Closing date: 15 June 2010 by 12.00 noon

Further information and application forms are available from
www.shu.ac.uk/jobs<http://www.shu.ac.uk/jobs>
or telephone 0114 225 3950 or email recruitment@shu.ac.uk

Human Resources Department
Sheffield Hallam University, City Campus
Howard Street, Sheffield S1 1WB

Please be aware we only accept completed Sheffield Hallam University application forms.
Please do not send CV's.

Dr Lyuba Alboul
http://www.shu.ac.uk/research/meri/profiles/l_alboul.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.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] 2nd Winter School on Network Optimization

The 2nd edition of the Winter School on Network Optimization
(http://NetOpt2011.fc.ul.pt) is organized by the Centro de Investigação
Operacional (CIO) (http://cio.fc.ul.pt), University of Lisbon, and will
take place at Hotel Sana, Estoril, from the 17th to the 21st of January,
2011.

The Winter School is one of the major activities of the European Network
Optimization Group (http://www.euro-online.org/enog/) and it
intends to provide an opportunity for PhD students to get together and
attend high level courses in the field of Network Optimization. The
event is also endorsed by APDIO (the Portuguese OR society).

Non-PhD students are welcome to attend the school, but the number of
participants is limited and priority will be given to PhD students.

The first edition of the Winter School on Network Optimization,
NetOpt2009, was a success and brought participants from 13 different
countries.
**********************************************************
*
* 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.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] Two PhD positions at University of Groningen (NL)

Applications are invited for two PhD Positions at the Johann Bernoulli
Institute for Mathematics and Computer Science of the University of
Groningen (NL).

The research topic will be in the area of nonlinear optimization, in
particular nonconvex quadratic optimization and conic optimization
(semidefinite and copositive). The PhD studies will be carried out
under supervision of Mirjam Dur.

The positions will be starting 1 August 2010 or later, and are granted
for four years. Monthly salary will be starting from 2042 Euro before
taxes (roughly 1480 after tax) plus holiday and end-of-year allowance,
according to NWO rules. The positions include some very moderate
teaching duties.

Applicants must hold a MSc degree (or equivalent) in mathematics or a
related field and are expected to enroll in the PhD program of the
Groningen Graduate School of Science. They should be able to
communicate in English, and they should have an interest in
the development of optimization theory and algorithms. Excellent
programming capabilities are a plus.

Applications should include:

* a letter of application
* a detailed curriculum vitae
* a reference letter by their master thesis supervisor (to be sent
directly to us)

and should be directed (preferably by email) to:

Mirjam Dur
University of Groningen
Johann Bernoulli Institute of Mathematics and Computer Science
P.O. Box 407
9700 AK Groningen
The Netherlands
Email: M.E.Dur@rug.nl

For full consideration applications must be received by 1 July 2010,
however late applications will be considered until the positions are
filled.

The two positions are funded by the Netherlands Organisation for
Scientific Research (NWO) through Vici-project no.639.033.907.

see also: http://www.math.rug.nl/~mirjam
**********************************************************
*
* 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.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] HEUREKA 2011 2nd Call (in German)

Sehr geehrte Dame, sehr geehrter Herr,

mit dieser Mail moechte ich Sie an den Call for Papers fuer die

HEUREKA 2011
(16. und 17. Maerz 2011 in Stuttgart)

erinnern. Deadline fuer die Einreichung von Beitraegen ist der

12. Juli 2010,

weitere Informationen finden Sie unter

http://www.fgsv.eu/fileadmin/Veranstaltungen/2010/HEUREKA__11/Call_HEUREKA_2011-neu.pdf

Mit freundlichen Gruessen

Dr. Christian Liebchen
DB Schenker
Netzdimensionierung und DV-Verfahren (L.RCE 111(N))

z.Zt. reACT'09 Projekt ProRail
(Teilprojekte Netzwerkbahn/Effiziente Systeme)

DB Schenker Rail Deutschland AG
Rheinstrasse 2, 55116 Mainz
Tel. +49 6131-15-62333, Fax -(email bevorzugte Kontaktart), intern 959-
Mobil: 0160 97439834
Caroline-Michaelis-Strasse 5-11, D-10115 Berlin
Tel. +49 30-297-57926, intern 999-; Frankfurt +49 69-265-6993, intern 955-
**********************************************************
*
* 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.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] IPCO 2010 June 9-11 at EPFL Lausanne

The 14th Conference on Integer Programming and Combinatorial
Optimization (IPCO XIV) will be held June 9-11, 2010 at EPFL in
Lausanne, Switzerland.
The IPCO conference is is under the auspices of the Mathematical
Programming Society. It is held every year, except for those years in
which the 'Symposium on Mathematical Programming' takes place. The
conference is meant to be a forum for researchers and practitioners
working on various aspects of integer programming and combinatorial
optimization. The aim is to present recent developments in theory,
computation, and applications in these areas. This is a highly
competitive event; out of over a hundred submitted papers, thirty five
were finally accepted. For details, see <http://ipco.epfl.ch>.
**********************************************************
*
* 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.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] CFP : IEEE/IFIP EUC 2010, Hong Kong, December 11-13, 2010

========================================================
C A L L F O R P A P E R S

****IEEE/IFIP EUC 2010 ****
Hong Kong SAR, China,
December 11-13, 2010
http://www.euc2010.org

The 8th IEEE/IFIP International Conference on Embedded and Ubiquitous
Computing (EUC-10), provides a forum for engineers and scientists in
academia, industry, and government to address all challenges including
technical, safety, social, and legal issues related to embedded and
ubiquitous computing and to present and discuss their ideas, results,
work in progress and experience on all aspects of embedded and
ubiquitous computing.

* Topics of interest include, but are not limited to, the following:
------------------------------------------------------------------------------

Embedded Computing
- Embedded System Software and Optimization
- Embedded System Architectures
- Hardware/Software Co-design and Design Automation
- Real-Time Systems and Operating Systems
- Application-Specific Processors and Devices
- Power-Aware Computing
- Sensor Networks
- System/Network-on-Chip
- Reconfigurable Computing Systems and Applications
- Cyber-Physical Systems

Ubiquitous Computing
- Pervasive Computing and Communications
- Middleware and Peer-to-Peer Computing
- Internet Computing and Applications
- Multimedia and Data Management
- Human-Computer Interaction
- Network Protocols
- Wireless Communication & Networks
- Mobile Computing
- Agents and Distributed Computing
- Security and Fault Tolerance Applications
-----------------------------------------------------------------------------

The papers will be reviewed by the international Program Committee.
Accepted papers will be published in the EUC-10 proceedings by IEEE
Computer Society. Selected high quality papers will be recommended for
publication in special issues of Journal of Embedded Computing (JEC),
International Journal of Embedded Systems (IJES), International Journal
of Parallel, Emergent and Distributed Systems and several SCI-indexed
journals. A best paper will be selected for each of the two themes
(embedded computing and ubiquitous computing).

* Submission:

Prepare your paper in the IEEE CS format of no more than 8 pages. Submit
your paper as a PDF file at the EUC-10 submission site:
http://cse.stfx.ca/~euc2010/sub/ Each submission should be regarded as
an undertaking that, if the paper be accepted, at least one of the
authors must register for the conference and attend the conference to
present the work in order for the paper to be included in the IEEE
Digital Library.

* Workshops

Several workshops will be held in conjunction with the EUC-10
conference. Please submit a workshop proposal including call for papers,
organizing committee, important dates, short bio of the organizers to
the EUC-10 workshop chairs before April 30, 2010. Proceedings of EUC-10
workshops will be published by IEEE CS Press. The workshops with more
than 15 accepted papers will be granted with a free complimentary
registration for the leading workshop organizer.

* Important Dates:
-----------------------------------------------------------------------
- Paper Submission Deadline: July 9, 2010.
- Notification of Paper Acceptance: September 6, 2010.
- Camera ready: October 4, 2010

- Workshop proposals: 30 April 2010
-----------------------------------------------------------------------

Organising Committee:

*Honorary Chairs
Lionel Ni, Hong Kong University of Sci. and Tech., China
Stephen Yau, Arizona State University, USA
Wei Zhao, University of Macau, China

* General Chairs
Jiannong Cao, Hong Kong Polytechnic University, China
Lui Sha, University of Illinois at Urbana-Champaign, USA

* Program Chairs
Jadwiga Indulska, The University of Queensland, Australia
Yunhao Liu, Hong Kong University of Sci. and Tech., China

* Workshop Chairs
Andy Xiaolin Li, Oklahoma State University, U.S.A.
Bin Xiao, Hong Kong Polytechnic University, China
Gang Pan, Zhejiang University, China

* Publicity Chairs
Habib Ammari, Hofstra University, USA
Julien Bourgeois, University of Franche-Comte, France
Weigang Wu, Sun Yat-Sen University, China

* Local Organizing Chair
Alvin Chan, Hong Kong Polytechnic University, China

========================================================
**********************************************************
*
* 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.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************