Wednesday, February 3, 2010

[DMANET] Job Opportunities at the interface of Operational Research and Computer Science

Members of this list may be interested in the following positions at the
University of Nottingham:


Professor of Operational Research and Computer Science:
http://jobs.nottingham.ac.uk/vacancies.aspx?cat=107#j6625


Lecturer in Operational Research and Computer Science:
http://jobs.nottingham.ac.uk/vacancies.aspx?cat=160#j6669


The closing dates are 26th and 23rd February respectively.

All the best,
Edmund Burke.
--
------------------------------------------------------------------------------
Prof Edmund K.Burke Dean of the Faculty of Science
e-mail: ekb@cs.nott.ac.uk School of Computer Science
Tel: +44 (0)115 951 4206 University of Nottingham
Fax: +44 (0)115 951 4249 NOTTINGHAM NG8 1BB, UK.

http://www.cs.nott.ac.uk/~ekb/
------------------------------------------------------------------------------

**********************************************************
*
* 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 AIMMS/MOPTA Optimization Modeling Competition

Dear Colleagues,

It is with great pleasure and anticipation that we announce the second
AIMMS/MOPTA Optimization Modeling Competition for students. The
competition is organized jointly by the conference organizers of MOPTA
and Paragon Decision Technology (http://www.aimms.com).

The problem involves optimizing a financial portfolio in the presence
of different tax rules.

For more details and registration visit the conference website:
http://mopta.ie.lehigh.edu and follow the link to the competition.

Contact: Imre Polik (mopta@lehigh.edu)

Teams of at most three students can participate. Students with a
background in operations research, regardless of their actual field of
study are eligible.

The teams have to model and solve the optimization problem using AIMMS
(provided to the participants free of charge). The best teams will
compete in the final, taking place at the 2010 MOPTA conference,
August 18-20 at Lehigh University, Bethlehem, PA, USA.

Please encourage your students to patricipate or feel free to use the
competition as a case study in your operations research or financial
optimization class.

Best,
Imre Polik
**********************************************************
*
* 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] International Doctoral Program in Energy Efficient Production and Logistics

CALL FOR APPLICATIONS

-----------------------------------------------------------------------
INTERNATIONAL DOCTORAL PROGRAM IN ENERGY EFFICIENT
PRODUCTION AND LOGISTICS 2010
-----------------------------------------------------------------------

The NRW Graduate School of Energy Efficient Production and Logistics is
calling for applications to its international doctoral program starting
in fall of 2010. Outstanding academic records, strong theoretical
foundations and a commitment to empirical research are expected.

Applicants may apply for a maximum of three of the announced
dissertations topics, which can be found on the online platform
www.forschungsschule.de. Core topic is the mathematic-physical
description, analysis and optimization of industrial manufacturing
processes under energy efficiency and CO2 reduction aspects. The
research proposals are related to the following fields:

o Logistics
o Production
o Materials Engineering
o Modeling and Holistic Analysis
o Energetical Process Engineering

Deadline of application is *15 March 2010*. The selection process will
be carried out in April and May the same year. Successful candidates
will be informed by the beginning of June 2010. Doctoral researchers are
awarded a scholarship of 1.400€/month for 36 months.

The Graduate School of Energy Efficient Production and Logistics is a
collaborative initiative of the TU Dortmund University and the
Ruhr-University Bochum, funded by the Ministry of Education, Science and
Research of the German State of North Rhine-Westphalia (NRW).

For further information please do not hesitate to contact our
coordination offices in Dortmund or Bochum:

TU Dortmund University
Lina Schmitz, M.A.
Leonhard-Euler Str. 5
44227 Dortmund
Germany
Telephone +49(0)231/755-5785
Telefax +49(0)231/755-2649
lina.schmitz@tu-dortmund.de

Ruhr-University Bochum
Dipl.-Ing. Sabine Wischermann
Universitätsstr. 150, IB 4
44780 Bochum
Germany
Telephone +49(0)234/32-25985
Telefax +49(0)234/32-14158
wischermann@lee.rub.de


**********************************************************
*
* 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] IWONT 2010. First Announcement and Call for Papers

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

*************************************************************
CALL FOR PAPERS

3rd INTERNATIONAL WORKSHOP ON OPTIMAL NETWORK TOPOLOGIES (IWONT 2010)

Barcelona, 9-11 June 2010
http://www-ma4.upc.edu/iwont2010

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

The International Workshop on Optimal Network Topologies is focussed
on problems related to the design and analysis for large networks. The
topics of the workshop include:

* Degree/Diameter Problem
* Connectivity
* Cycles and Factors in Graphs
* Large Graphs and Digraphs
* Graph Labeling
* Spectral Techniques in Graph Theory
* Communication Networks

Previous editions of IWONT were held in Plzen, Czech Republic ( IWONT
2007 http://iti.zcu.cz/iwont2007 ) and in Ballarat, Australia
(IWONT2005).

This edition celebrates the 60th anniversary of Prof. Miquel Angel Fiol.

IMPORTANT DATES:

Deadline for submissions of extended abstracts: April 5, 2010
Notification of acceptance: April 23, 2010
Early registration: May 13, 2010
Workshop dates: June 9-11, 2010

Further information and registration at
http://www-ma4.upc.edu/iwont2010
**********************************************************
*
* 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] CTW 2010: Registration Details

Dear colleagues,

Registration (and other) details for the Cologne/Twente Workshop on
Graphs and Combinatorial Optimization CTW 2010 are now available via the
workshop homepage:

http://ctw.uni-koeln.de/


With best regards,

Ulrich Faigle
(for the organization committee)
**********************************************************
*
* 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/
*
**********************************************************

Tuesday, February 2, 2010

[DMANET] ATMOS 2010: 1st Call for Papers

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 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.

The scope of the workshop comprises all modes of transportation.


** INVITED SPEAKER

Alberto Caprara, University of Bologna


** IMPORTANT DATES

Submission Deadline: June 8, 2010
Notification to Authors: July 8, 2010
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 8, 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

**********************************************************
*
* 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] Prize for Innovation In Distributed Computing: Call for Nominations

--- Call for nominations - Deadline February 21st, 2010 ---

Prize for Innovation In Distributed Computing

Awarded by the
Colloquium on Structural Information and Communication Complexity
(SIROCCO)


The Prize for Innovation In Distributed Computing is established to
recognize individuals whose research contributions on the
relationships between information and efficiency in decentralized
computing have expanded the collective investigative horizon by
formulating new problems, or identifying new research areas, that were
at the time of their introduction unorthodox and outside the
mainstream. The prize recognizes originality, innovation, and
creativity -- the qualities that reflect the spirit of the SIROCCO
conference.

The prize is presented at the annual meeting of the SIROCCO
conference, but may not necessarily be awarded every year.


Eligibility
===========

The following conditions must be met by the nominees to be eligible
for the prize.

(1) The original innovative contribution was introduced by the
nominee(s) for the first time in a publication at least five years
before the nomination deadline, and the publication must have appeared
in a conference proceedings or a scientific journal.

(2) At least one paper (co)authored by the nominee(s), either the
original paper, or a paper directly related to the innovative
contribution, must have appeared in SIROCCO proceedings.

The list of all SIROCCO papers and authors is available at

http://www.sigmod.org/dblp/db/conf/sirocco/


Selection process
=================

The prize winners are selected by the Award Committee composed of the
current Steering Committee (SC) Chair of the SIROCCO conference, the
PC chairs of the three SIROCCO conferences immediately preceding the
nomination deadline, plus one additional member of the Steering
Committee, selected by the Steering Committee for the current year.

In 2010, the Award Committee consists of:

- Pierre Fraigniaud (CNRS and University Paris Diderot)
- Shay Kutten (Technion)
- Nicola Santoro (Carleton University)
- Alexander A. Shvartsman (University of Connecticut)
- Shmuel Zaks (Technion)


Nominations
===========

A call for nomination is disseminated every year in the main mailing
lists of the Distributed Computing community, at least four months
prior to the date of that year's SIROCCO meeting.

Nominations can be made by any member of the scientific community.
Each nomination must identify the person(s) being nominated, and
justify the nomination by a short text including:

(a) a brief description of the innovative contribution in Distributed
Computing to be recognized by the award, and an explanation of its
originality and significance,

(b) the paper(s) of the nominee(s) that establish their eligibility as
described in the Eligibility section above items (1) and (2).

Nominations for 2010 should be sent to the Steering Committee chair of
SIROCCO at Pierre.Fraigniaud@liafa.jussieu.fr before February 21st,
2010.

**********************************************************
*
* 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: Call for Application Papers

Call for Application Papers

CP 2010

Sixteenth International Conference on Principles and Practice of
Constraint Programming

http://cp2010.cs.st-andrews.ac.uk/

6-10th September 2010

St-Andrews, Scotland

Paper submission 13th April 2010, 12 Noon BST = GMT + 1

Paper notification 3rd June 2010


CP 2010 wishes to promote the presentation of CP applications.

Reports on successful applications of constraint technology are
therefore particularly encouraged. Significant practical value, or the
demonstrated utility of constraints technology, will be decisive for
Applications Track submissions.

* Application papers will be reviewed by program committee
members with significant experience in the use of CP in applications.

* The writing of the paper itself is made simple by framing it
around the answers to four main questions (outlined below).

Application papers will appear in the same proceedings as research
papers. The same page limits as well as the same dates apply. Further author
instructions are provided on the submission page and the call for papers.

Suggested Outline
-----------------

Title; Authors/Company

Section 1 - The problem

* context, description, definition...

* size of the application (constraint part/others)?

* how important is the problem? (impact...) in which terms?
(monetary, safety, etc.)

* what is a solution to this problem? (decision, exemplification,
enumeration, counting, optimisation, approximation, etc.)

Section 2 - Why CP?

* what was used before? (hand made, LP...)

* why change? (didn't it work well? difficult to maintain? ...)

* why/how did you come to CP?

Section 3 - How CP?

* model, implementation

* pure CP or hybrid? (is CP used in conjunction with other
problem solving techniques such as LP/MIP, SAT, custom heuristic?)
which decomposition method?

Section 4 - Added Value to CP?

* cost of development? / time spent developing the application?

* how long has it been in production mode (if development completed)?

* what is the feedback from user experience (if applicable)?

* was it difficult/necessary for the end-user to understand
constraint technology?

* what is the return on investment (if applicable)?

* do you plan any new CP based development?

* what are the lessons learned from the use of CP?
**********************************************************
*
* 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: Call for Papers

Call for Papers

CP 2010

Sixteenth International Conference on Principles and Practice of
Constraint Programming

http://cp2010.cs.st-andrews.ac.uk/

6-10th September 2010

St-Andrews, Scotland

Paper submission 13th April 2010, 12 Noon BST = GMT + 1

Paper notification 3rd June 2010


The CP conference is the annual international conference on constraint
programming. It is concerned with all aspects of computing with
constraints, including theory, algorithms, applications, environments, languages,
models, and systems.

CP 2010 includes a Technical Program, where presentations of research
and application papers and invited talks will describe the best results and
techniques in the state-of-the-art of constraint programming. One day of
Workshops precedes the conference. Tutorials and the Doctoral Program
will form part of the main program.

Papers are solicited from any area involved with constraints. The
conference proceedings will be published by Springer in the Lecture Notes in
Computer Science series. Full-length papers are limited to 15 LNCS pages.
Short papers are also encouraged, limited to 8 pages. These will be reviewed to
the same standards of quality as full papers, but will naturally contain less
quantity of new material. Short papers will have the same status as long papers
and be eligible for the best paper prize.

The best papers at CP 2010 will be invited to a special track at
IJCAI-11 featuring papers from specialized area conferences. They will also be
eligible for an expedited reviewing and decision process for publication of an
extended version in JAIR.

Contributions of research papers may be theoretical, empirical, or some
combination of the two. The program committee is instructed to judge
each type of contribution equally, and contains theoretical and empirical
experts suited to assess papers of all types.

Reports on successful applications of constraint technology are
particularly encouraged. Applications Track papers will be reviewed to the same
quality as other papers. However, significant practical value, or the
demonstrated utility of constraints technology, will be decisive for
Applications Track submissions.

Further information is provided on the conference website. Author
instructions will be available on the submission page.
**********************************************************
*
* 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] Teaching Fellowship Bielefeld

================================================================
Teaching Fellowship, Department of Mathematics, Univ. Bielefeld
http://www.uni-bielefeld.de/Universitaet/Aktuelles/Stellenausschreibungen/wiss1368.html
================================================================

The Department of Mathematics at the Univ. Bielefeld has a teaching fellow
position in Mathematics. The position is for two years, the salary is
TVL 13. Candidates should have a finished PhD in Mathematics and
positively evaluated teaching experience. The deadline for application is
Monday, 1 March 2010.

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

Dr Dirk Frettloeh
Fakultaet fuer Mathematik
Universitaet Bielefeld
Postfach 100131
33501 Bielefeld, Germany

Telephone: +49 521 106 4778
Fax: +49 521 106 6481
Email: dirk.frettloeh@math.uni-bielefeld.de
Homepage: www.math.uni-bielefeld.de/baake/frettloe
**********************************************************
*
* 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/
*
**********************************************************

Monday, February 1, 2010

Grants for Grad Students to Attend STOC 2010

SIGACT supports student travel to STOC. For STOC 2010, SIGACT
anticipates making up to $25,000 of Student Travel Awards, depending in
part on available external funding. These awards are for needy students to
help cover expenses related to attending STOC 2010. Preference will be given
to students who are STOC authors, though all students needing support are
encouraged to apply.

To apply email the information listed below to William Gasarch by
March 26, 2010. The email address is gasarch@cs.umd.edu. Please use the
following subject line: “STOC10 travel award” The email has to be a pdf
file.
Include the following in your email in this order:
1. Title of paper, if you are an author.
2. Will you be presenting the paper?
3. University name and country.
4. A detailed expense list, in US dollars.
5. Other travel funds that are available to you.
6. A statement from your advisor on availability of travel funds (note:
vague statements such as “funds are tight” are not informative).
7. SIGACT encourages applications from members of underrepresented
groups for these awards. (Optional) Please indicate if you are part of
such a group.
8. (For non-authors only.) A short statement describing you academic
standing and interests, your expected graduation date and degree, ad-
visor’s name, and, if available, a URL for a working Web page. Also
indicate whether and when you have attended previous major theory
conferences (e.g. STOC and FOCS).

This information will be used to prioritize the awards. The awards will be
announced shortly after the deadline. Late applications will not be accepted.

You should receive an email acknowledging your application within 3
week days. If not, please resubmit or contact William Gasarch by some
other means. Student travel to STOC 2010 is supported by ACM SIGACT and the
National Science Foundation, Grant No. CCF-0923716.

[DMANET] Postdoctoral Research Fellowships in DIMAP, University of Warwick

====================================================================
Postdoctoral Research Fellowship in DIMAP, University of Warwick
http://go.warwick.ac.uk/dimap/post-doc-2010
====================================================================

The Centre for Discrete Mathematics and its Applications (DIMAP)
[http://go.warwick.ac.uk/dimap/] at the University of Warwick, UK, has a
postdoctoral fellow position in the broadly understood areas of Theoretical
Computer Science, Algorithms and Complexity, Game Theory, or Discrete
Mathematics. The postdoc will be affiliated with the Centre for Discrete
Mathematics and its Applications and with the Computer Science Department at
the University of Warwick. The position is for one year. Candidates should
have finished a PhD in Computer Science, Mathematics, or a related field,
or be on track to finish one by September 2010.


The deadline for the applications is on Wednesday 17 February 2010.

To apply, please follow the instructions on the official advert web page
https://secure.admin.warwick.ac.uk/webjobs/jobs/research/job17980.html.

For any further questions related to Postdoctoral Research Fellowships in
DIMAP, DIMAP staff members research interest, and how to apply,
see the web pages at http://go.warwick.ac.uk/dimap/ and
http://go.warwick.ac.uk/dimap/post-doc-2010.

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

Centre for Discrete Mathematics and its Applications (DIMAP)
Computer Science Building
University of Warwick
Coventry CV4 7AL
United Kingdom

URL: http://go.warwick.ac.uk/dimap/
E-Mail
: dimap@dcs.warwick.ac.uk or contact DIMAP coordinator
Anna Guszcza (Anna.Guszcza@dcs.warwick.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/
*
**********************************************************

2010 SIGACT Distinguished Service Prize Call for Nominations

2010 SIGACT Distinguished Service Prize

Call for Nominations

The SIGACT Distinguished Service Prize is given biennially to an individual who has made substantial
service contributions to the Theoretical Computer Science community. It is presented at the ACM
Symposium on Theory of Computing, and comes with a $1,000 prize, a travel grant of up to $700 to
attend the conference, and complimentary conference registration.

Eligibility

The prize can be awarded to an individual for a single contribution or for a series of contributions over a
career. All living individuals are eligible with the exception of previous awardees, the sitting SIGACT
Chair (Lance Fortnow), an individual who nominated a majority of the current selection committee
members, or a member of the current selection committee. Previous awardees are:

1997 David Johnson
1998 Ian Parberry
1999 Fred Roberts
2000 S. Rao Kosaraju
2001 Mike Langston
2002 Alan Selman
2004 Rocky Ross
2006 Tom Leighton
2008 Dick Karp

Selection Committee

The winner is selected by a three‐member committee. The SIGACT chair appoints the selection
committee to serve staggered terms over three award cycles. The 2010 selection committee members
are:
• Dick Karp
• Tom Leighton
• Rocky Ross (chair)

Nominations

Nominations can be made by any member of the Theory of Computing community and should contain a
statement of no more than 500 words explaining why the candidate deserves the award. The
nomination can also include an additional separate listing of service activities. The nomination must
include the name, postal address, phone number, and e‐mail address of the nominator. Additional
support letters may be submitted, although this is not a requirement.

Nominations are to be submitted electronically in PDF format by March 1, 2010, to the chair of the
selection committee, Rocky Ross, at ross@cs.montana.edu.

[DMANET] Full Professor (W3) in Computer Science at the University of Freiburg

The Faculty of Engineering of the University of Freiburg, with its
Departments of Computer Science and Microsystems Engineering, invites
applications for the position of a

*Full Professor (W3) of Computer Science*

The successful candidate will be expected to establish a comprehensive
research and teaching program in the area of algorithms and complexity
with specialisation either in cryptography, optimization or parallel
computing.

The University of Freiburg aims to increase the representation of women
in research and teaching, and therefore expressly encourages women with
suitable qualifications to apply for the post.
Information about the Department of Computer Science can be obtained
from www.informatik.uni-freiburg.de.

Applications, including a curriculum vitae, publications list and
statement of research interests should be sent by March 8, 2010 to the
Dean of the Faculty of Engineering, University of Freiburg,
Georges-Koehler-Allee 101, 79110 Freiburg, Germany
(www.tf.uni-freiburg.de). Please send an electronic version of your
application to the Dean's office and ask for our application form
(dekanat@tf.uni-freiburg.de).

--
Eva Gruenwald
Technische Fakultaet
Dekanat
Georges-Koehler-Allee 101
D-79110 Freiburg
Telefon: +49 (0)761 203 8080
Telefax: +49 (0)761 203 8082
e-mail: gruenwal@tf.uni-freiburg.de

**********************************************************
*
* 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 MASS 2010

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

==========================================================================
CALL FOR PAPERS

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

November 2010 - San Francisco, CA, USA
==========================================================================

IMPORTANT DATES:

Abstract Due: March 26, 2010
Manuscript Due: April 2, 2010
Acceptance Notification: July 12, 2010
Camera-ready Submission: August 20, 2010

SCOPE:

The 7th IEEE International Conference on Mobile Ad-hoc and Sensor
Systems (IEEE MASS 2010) is to be held in San Francisco, CA between
October TBD, 2010. 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
this web-space for more information and regular updates about MASS 2010.

TOPICS OF INTEREST:

Original, unpublished contributions are solicited in all aspects of
(mobile) ad-hoc networks and wireless sensor networks (WSN), systems and
applications. Topics include, but are not limited to:

* Vehicular networks and protocols
* Wireless mesh networks and cognitive networks
* MAC layer design for ad-hoc networks and WSNs
* MAC protocols (802.11, 802.15.4, UWB)
* Multi-channel, multi-radio and MIMO technologies
* Cross layer design and optimization
* P2P, overlay, and content distribution architectures for ad-hoc and
sensor networks
* Delay tolerant networks and opportunistic networking
* Power-aware architectures, algorithms and protocols design
* Clustering, topology control, coverage and connectivity
* Routing protocols (unicast, multicast, broadcast, geocast)
* Data transport and management in WSNs
* Data gathering, fusion, and dissemination in WSNs
* Localization and synchronization in WSNs
* Cooperative sensing in WSNs
* Capacity planning and admission control in ad-hoc and sensor networks
* Handoff / mobility management and seamless internetworking
* Resource management and wireless QoS Provisioning
* Key management, trust establishment in wireless networks
* Security and privacy issues in ad hoc and sensor networks
* Reliability, resiliency and fault tolerance techniques
* Security, privacy issues in vehicular, DTNs, and mesh networks
* Operating systems and middleware support
* Novel applications and architectures for WSNs
* Modeling, analysis and performance evaluation
* Measurements and experience from experimental systems and
test-beds


WORKSHOPS:

Proposals for full day workshops are solicited. Selections will be made
considering the expertise and experience of the workshop organizers and
the relevance of the topic to the central theme of the conference.
Proposals of at most 4 pages, including a 1-page biographical sketch,
should be submitted to the Workshops Chair by March 31, 2009.

=================================================================================
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/
*
**********************************************************

Saturday, January 30, 2010

[DMANET] AOFA'10 - Third Announcement and Call for Papers

AOFA '10 - THIRD ANNOUNCEMENT AND CALL FOR PAPERS

AOFA '10
21st International Meeting on
Probabilistic, Combinatorial, and Asymptotic
Methods for the Analysis of Algorithms

Vienna University of Technology (AUSTRIA)
June 28-July 2, 2010

with a Mini-Summerschool from
June 25-26, 2010


Scope
-----

This conference is the first joint meeting of two previous conference and seminar series on
"Mathematics and Computer Science" and "Analysis of Algorithms". The common aim of these and the
present meeting is to study discrete objects that appear as data structures or algorithms
(including graphs, networks etc.) by mathematical methods, in particular by probabilistic,
combinatorial and asymptotic methods.

* Properties of large randomly formed data structures,
* Probabilistic methods for the analysis of algorithms,
* Combinatorial methods for the analysis of algorithms,
* Analytic tools for the analysis of algorithms
* New results concerning average case analysis of classical or new algorithms
* Analytical and enumerative combinatorics
* Random trees and graphs
* Branching processes
* Stochastic processes in relation with random discrete structures
* Random walks
* Discrete probabilities
* Random generation of combinatorial structures
* Data compression and language-modeling methods.
* Performance evaluation


Invited talks
-------------

The following speakers confirmed to give an invited talk:

Noga Alon (Tel Aviv University)
Yuliy Baryshnikov (Bell Laboratories)
Daniel Panario (Carleton University)
Oliver Riordan (University of Oxford)
Peter Winkler (Dartmouth)

Tutorial talks of the Mini-Summerschool (June 25-26)
----------------------------------------------------

Nicolas Broutin (INRIA Rocquencourt)
Christian Krattenthaler (University of Vienna)
N.N.
Wojciech Szpankowski (Purdue University)

Submission of papers
--------------------

We invite you to submit an extended abstract (12 pages) or a short abstract for a poster (2 pages)
via the Easy-Chair system:

https://www.easychair.org/login.cgi?conf=aofa10

The deadline for submission of papers is

February 28, 2010,

for posters

May 31, 2010.

The proceedings will be published in DMTCS Proceedings.

Steering committee
------------------

Brigitte Chauvin, Versailles (France)
Luc Devroye, Montreal (Canada)
Michael Drmota, Vienna (Austria)
Philippe Flajolet, INRIA Rocquencourt (France)
Robert Sedgewick, Princeton (USA)
Wojciech Szpankowski, Purdue (USA)

Programme committee
-------------------

Brigitte Chauvin, Versailles (France)
Jacek Cichon, Wroclaw (Poland)
Michael Drmota, Vienna (Austria), Chair
Daniele Gardy, Versailles (France)
Philippe Flajolet INRIA Rocquencourt (France)
Martin Klazar, Prague (Czech Republic)
Jean Francois LeGall, Paris (France)
Ralph Neininger, Frankfurt (Germany)
Marc Noy, Barcelona (Spain)
Conrado Martinez, Barcelona (Spain)
Alois Panholzer, Vienna (Austria)
Helmut Prodinger, Stellenbosch (South Africa)
Uwe Roesler, Kiel (Germany)
Bob Sedgewick, Princeton (USA)
Peter Winkler, Dartmouth (USA)
Wojciech Szpankowski, Purdue (USA)

Organizing committee
--------------------

Michael Drmota
Bernhard Gittenberger (Chair)
Alois Panholzer

Important dates
---------------

February 28, 2010 deadline for submission

April 30, 2010 notification to authors

May 31, 2010 final version of accepted papers
and deadline for poster submissions


Official language English.
-----------------


Address
-------

Vienna University of Technology, Dept. of Discrete Mathematics and Geometry,
Wiedner Hauptstr. 8-10/104, A-1040 Wien (Austria)

e-mail : aofa10@dmg.tuwien.ac.at
Web site: www.aofa10.at


The Organizers
**********************************************************
*
* 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] MFO seminar on Semidefinite Programming & EIDMA mini-course in May 2010

%% Our apologies in case you receive multiple copies %%%

CALL FOR PARTICIPATION TO TWO RESEARCH SCHOOLS related to SEMIDEFINITE
PROGRAMMING

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

OBERWOLFACH SEMINAR

An Oberwolfach Seminar "Semidefinite Optimization: Theory, Algorithms and
Applications" will take place on May 23-29, 2010 at MFO, Mathematisches
Forschungsinstitut Oberwolfach (Germany).

Lectures by Sanjeev Arora, Monique Laurent, Pablo Parrilo, Franz Rendl,
and Frank Vallentin.

The program consists of about 20 hours of lectures and of problem sessions.
More information about the scientific program at
http://homepages.cwi.nl/~monique/ow-seminar-sdp

Oberwolfach seminars are open to young researchers (pre- and post-doc).
The number of participants is restricted to 25. The Institute covers
accommodation and food, travel expenses can be reimbursed up to 200 Euro
in average per person.

Deadline for applications: April 1st, 2010.

Apply directly to Oberwolfach - Details at the MFO webpage:
http://www.mfo.de/cgi-bin/tagung_espe?type=21&tnr=1021b

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

EIDMA MINI-COURSE

An EIDMA mini-course "Algebraic Optimization and Semidefinite
Programming" will take place from May 31 to June 4, 2010 (RIGHT AFTER the
MFO seminar) at CWI, Amsterdam (Netherlands).

Lectures by Pablo Parrilo (MIT).

The program will consist of lectures and problem sessions.

Registration deadline: May 6, 2010.

For details on how to apply and on the admission fee, please see the EIDMA
webpage: http://www.win.tue.nl/math/eidma/

Five grants of 500 Euros are offered by DIAMANT for travel, registration
and living expenses. See the EIDMA webpage for details on how to apply to
such a grant.

Details on the venue of the mini-course at CWI can be found at
http://homepages.cwi.nl/~monique/eidma-seminar-parrilo/

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


**********************************************************
*
* 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/
*
**********************************************************

Friday, January 29, 2010

Quantum information graduate program at Waterloo

I am writing to inform you of a new collaborative graduate program in quantum information at the University of Waterloo, in conjunction with the Institute for Quantum Computing, the Departments of Applied Mathematics, Chemistry, Combinatorics & Optimization, Electrical & Computer Engineering, and Physics & Astronomy, and the David R. Cheriton School of Computer Science.

 

We would appreciate your help in spreading the word about this new program and about graduate research at IQC in general. More information about the program and how to apply is available at www.iqc.ca/positions/graduate/ and general information about IQC is available at www.iqc.ca .

 

The Ontario Council on Graduate Studies (OCGS) recently approved this new program, and we are ready to process applications for entry in Fall 2010.

 

Thank you in advance for sharing this news with students who may be interested.

 

Best regards,

 

Michele Mosca

Deputy Director, Institute for Quantum Computing, University of Waterloo

Director, Quantum Information Graduate Program, University of Waterloo

 

About the Program

 

The University of Waterloo, in collaboration with the Institute for Quantum Computing, offers graduate students unique opportunities to learn about and engage in world-leading research in quantum information through a wide range of advanced research projects and advanced courses on the foundations, applications and implementations of quantum information processing.

 

The new collaborative graduate program in Quantum Information leads to MMath, MSc, MASc, and PhD degrees. Students complete the requirements of both their home program and the specific requirements of the quantum information (QI) program to achieve the special QI designation. (E.g., MMath in Computer Science (Quantum Information), PhD in Chemistry (Quantum Information), MASc in Electrical and Computer Engineering (Quantum Information)).

 

MMath, MSc, and MASc students will receive a strong and broad foundation in quantum information science, coupled with knowledge and expertise from their home program. This will prepare them for the workforce or further graduate studies and research leading towards a PhD.

 

PhD students will be prepared for careers as scholars and researchers, with advanced expertise in quantum information science, along with the focus of their home program. The new program is designed to provide knowledge of quantum information, including theory and implementations, their home program discipline, and also developed advanced expertise in their particular research area within quantum information.

 

At present, IQC has a critical mass of expertise in several major research areas within quantum information, including:

Quantum Algorithms and Complexity

Quantum Information and Communication

Quantum Cryptography

Quantum Error Correction and Fault-tolerance

Spin-based implementations

Quantum Optics-based implementations

Nanoelectronics-based implementations.

 

New State-of-the-Art Building

 

In line with the expansion goals of the Institute for Quantum Computing, a new, state-of-the-art building for the Institute is on the way, as part of the Mike and Ophelia Lazaridis Quantum-Nano Centre (QNC). The building will contain a new fabrication and metrology facility, and a suite of laboratories for research in areas including quantum optics, nuclear magnetic resonance (NMR) and electron spin resonance (ESR), quantum dots, superconducting qubits, coherent spintronics and quantum cryptography. The building will host IQC researchers from all three faculties (Engineering, Mathematics and Science) starting in 2011, and will have formal and informal meeting spaces designed to facilitate interaction and interdisciplinary research.

 

 

Courses

Students in all three faculties will be required to take two core quantum information courses (and must also meet the course requirements of their home program). These interdisciplinary courses provide a strong foundation in quantum information science.

 

The two required core quantum information courses are:

 

QIC 710: Quantum Information Processing

QIC 750: Implementation of Quantum Information Processing

 

PhD students are also required to take two additional courses in quantum information, and fulfill a research seminar requirement, a comprehensive exam and a thesis in quantum information

 

In addition to the two core courses, students will be able to take a wide range of advanced courses within quantum information, offered by leading researchers in the field.

 

Eligible supervisors include the core IQC faculty:

 

Jonathan Baugh

Andrew Childs

Richard Cleve

Joseph Emerson

Thomas Jennewein

Raymond Laflamme

Debbie Leung

Adrian Lupascu

Norbert Lütkenhaus

Hamed Majedi

Michele Mosca

Ashwin Nayak

Ben Reichardt

Kevin Resch

John Watrous

Frank Wilhelm

 

as well as a wide range of Associate and Affiliate Members of IQC and the University of Waterloo, including:

 

Daniel Gottesman

Thorsten Hesjedal

Achim Kempf

David Kribs

Jan Kycia

Anthony Leggett

Robert Mann

James Martin

Roger Melko

Bill Power

Pierre-Nicholas Roy

 

Contact Information:

 

Inquiries can be directed to Michele Mosca, Program Director at grad@iqc.ca .


[DMANET] ThRaSH'2010 - 2nd call for abstracts and participation

4th Workshop on Theory of Randomized Search Heuristics (ThRaSH'2010)

March 24-25, 2010, Paris, France

http://trsh2010.gforge.inria.fr/

Deadline for abstract submission: February 8, 2010
Registration deadline: March 5, 2010


Following the workshops in Wroclaw, Poland, Dortmund, Germany, and
Birmingham, UK, the 4th workshop on Theory of Randomized Search
Heuristics (ThRaSH'2010) will take place in Paris on the 24th and
25th of March 2010. The purpose of the workshop is to address
questions related to theory of randomized search heuristics such as
evolutionary algorithms, ant colony optimization, or simulated
annealing for both combinatorial and numerical optimization. The
primary focus lies on discussing recent ideas and detecting
challenging topics for future work, rather than on the presentation
of final results.

Researchers working on theoretical aspects of randomized search
heuristics are invited to submit a short abstract (one single page)
by email to "thrash2010@lri.fr". No registration fee will be charged
but participants are asked to register before the workshop.
**********************************************************
*
* 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] TAMC 2010 - Last Call for papers

*** The submission deadline (February 10) is approaching ***

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
TAMC 2010 - 7th Annual Conference on Theory and Applications of Models
of Computation

June 7 - 11, 2010 Prague, Czech Republic

tamc2010@tamc2010.cz http://www.tamc2010.cz
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

LOCATION:
The conference will take place in the premisses of Charles University in
the historic center of Prague, the capital of the Czech Republic. Six
previous annual meetings were held in 2004-2009, in Beijing, Shanghai,
Xi'an, and ChangSha, with enthusiastic participation from researchers
all around the world. In 2010, the conference is organized for the first
time in Europe.

PLENARY SPEAKERS:
John Hopcroft (Cornell University, USA)
ShangHua Teng (Boston University, USA)

SPECIAL SESSIONS:
Computational Geometry (organized by Jiri Matousek)
Proof Complexity (organized by Jan Krajicek)

IMPORTANT DATES:
Submission of papers: February 10, 2010
Notification of acceptance: March 20, 2010
Final version due: March 30, 2010
Early registration: April 10, 2010
Conference: June 7-11, 2010

SCOPE:
The three main themes of the conference continue to be Computability,
Complexity, and Algorithms. It aims to bring together researchers with
interests in theoretical computer science, algorithmic mathematics, and
applications to the physical sciences. Typical but not exclusive topics
of interest include:
- algorithmic graph theory and combinatorics,
- algorithmic algebra, number theory and coding theory,
- algorithms and data structures,
- automata and neural networks,
- computable mathematics,
- computational biology,
- computational complexity,
- computational game theory,
- computational geometry,
- continuous and real computation,
- cryptography,
- decidability and undecidability,
- generalized and higher type computation,
- learning theory,
- models of computation,
- natural computation,
- on-line algorithms,
- parallel algorithms,
- physical computability,
- proofs and computation,
- quantum computing,
- randomness,
- relative computability and degree structures,
- theoretical problems in networks and security,
- network information,
- network structures and algorithms,
- Turing definability.

SUBMISSIONS:
The submission must not exceed 10 pages in Springer-Verlag Lecture Notes
LaTeX style. A clearly marked appendix that will be read at the
discretion of the program committee may be added. Simultaneous
submission of papers to any other conference with published proceedings
or submitting papers previously accepted for journal publication is not
allowed. Only electronic submissions in postscript or pdf formats are
accepted.

PROCEEDINGS:
Invited papers and accepted contributions will be published in the
conference proceedings in Lecture Notes in Computer Science,
Springer-Verlag. A special issue of Theoretical Computer Science
published by Elsevier containing selected contributions presented at the
conference is planned.

SPONSORS:
DIMATIA - Center for Discrete Mathematics and ITI - Institute for
Theoretical Computer Science, Charles University, Prague

Further details are available on the conference web site
http://www.tamc2010.cz.


**********************************************************
*
* 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/
*
**********************************************************