Theory Announcements: October 2009

Saturday, October 31, 2009

Postdoc and studentships in Oxford

PhD and Postdoc Positions

The Information Systems Group in Oxford has positions
available starting September 2010 on the project "Query-Driven
Data Acquisition From Web-based Data Sources", funded by the UK's
Engineering and Physical Sciences Research Council.
The project will look at federated querying of web sources,
using a mix of techniques from database theory, logic, and
reinforcement learning.

The post-doc position will pay approximately 30,000 pounds, and will run
for a minimum of 3 years. The ideal candidate would be 2-4 years passed
their Ph.D., with a strong background in reinforcement learning. Earlier
start dates are possible for this position.

Studentships are funded at the EU rate (non-EU candidates can apply, but
may require additional funding sources), and include a stipend of around
13,000 pounds. Candidates should have a
strong background in theoretical computer science and a familiarity with
mathematical logic.

Further details of the positions will be available at the time of the
formal announcement, which will take place in January of 2010. Please send
informal enquiries to michael.benedikt@comlab.ox.ac.uk

Preliminary CfP: SIROCCO 2010 (17th International Colloquium on Structural Information and Communication Complexity)

*** Apologies for multiple copies ***
______________________________________________________________________

Preliminary call for papers

SIROCCO 2010

17th International Colloquium on
Structural Information and Communication Complexity

June 7-11, 2010
Sirince, Turkey

http://www.sirocco2010.boun.edu.tr/
______________________________________________________________________

Important dates
===============

Submission deadline: January 31, 2010 (5pm CET)
Author notification: March 21, 2010
Camera-ready submission: April 4, 2010
______________________________________________________________________

Theme
=====

SIROCCO is devoted to the study of communication and knowledge in
multi-processor systems from both the qualitative and quantitative
viewpoints. Special emphasis is given to innovative approaches and
fundamental understanding, in addition to efforts to optimize current
designs.

Conference
==========

SIROCCO has a tradition of interesting and productive scientific
meetings in a relaxed and pleasant atmosphere, attracting leading
researchers in a variety of fields in which communication and
knowledge play a significant role. This year, SIROCCO is held in
Turkey, in the Nesin Mathematics Village, located in the midst of a
beautiful scenery, close to the sea and to the ancient city of
Ephesus.

Scope
=====

Original papers are solicited from all areas of study of local
structural knowledge and global communication and computational
complexities. Among the typical areas are distributed computing,
communication networks, game theory, parallel computing, social
networks, mobile computing (including autonomous robots), peer to peer
systems, and communication complexity. Keeping with the tradition of
SIROCCO, new areas are always welcome.

SIROCCO Award
=============

The Prize for Innovation In Distributed Computing is awarded annually
in the SIROCCO conference to recognize individuals whose research
contributions had a major impact on the understanding of the
relationships between information and efficiency in decentralized
computing. Only authors of papers that were published in SIROCCO are
eligible to receive the award. More details are available in the
SIROCCO 2010 web site.
______________________________________________________________________

Submission
==========

Papers are to be submitted electronically, following the guidelines
available on the conference web page. The deadline for submitting a
paper is *January 31, 5pm CET*. Notification of acceptance will be
sent out by March 21, and the camera-ready papers are due on April 4.

Publication
===========

The proceedings of SIROCCO 2010 will be published by Springer-Verlag
as a part of the LNCS series. Selected papers will be invited to a
special issue of the journal /Theoretical Computer Science/.
______________________________________________________________________

Conference oragnization
=======================

Program Committee Chair
-----------------------
Boaz Patt-Shamir (Tel Aviv U.)

Program Committee
-----------------
Amotz Bar-Noy (CUNY)
Joffroy Beauquier (U. Paris-Sud, LRI)
Andrea Clementi (U. Roma)
Tinaz Ekim (Bogazici U.)
Robert Elsasser (U. Paderborn)
Pinar Heggernes (U. Bergen)
Elias Koutsoupias (U. Athens)
Alex Kesselman (Google)
Thomas Moscibroda (Microsoft)
Dariusz Kowalski (U. Liverpool)
Thomas Sauerwald (SFU & PIMS)
Maria Serna (U. Pol. Catalunya)
Peter Widmayer (ETH)

Steering Committee Chair
------------------------
Pierre Fraigniaud (CNRS & U. Paris Diderot)

Steering Committee
------------------
Pascal Felber (U. Neuchatel)
Paola Flocchini (U. Ottawa)
Lefteris Kirousis (U. Patras)
Rastislav Kralovic (Comenius U.)
Evangelos Kranakis (Carleton U.)
Danny Krizanc (Wesleyan U.)
Bernard Mans (Macquarie U.)
David Peleg (Weizmann)
Giuseppe Prencipe (Pisa U.)
Nicola Santoro (Carleton U.)
Alex Shvartsman (U. Connecticut)
Pavlos Spirakis (CTI & U. Patras)
Shmuel Zaks (Technion)
Janez Zerovnik (U. Maribor)

Local Arrangements
------------------
Tinaz Ekim (Bogazici U.)
Arman Boyaci (Bogazici U.)

Publicity Chair
---------------
David Ilcinkas (CNRS & U. Bordeaux)

[DMANET] Preliminary CfP: SIROCCO 2010 (17th International Colloquium on Structural Information and Communication Complexity)

*** Apologies for multiple copies ***
______________________________________________________________________

Preliminary call for papers

SIROCCO 2010

17th International Colloquium on
Structural Information and Communication Complexity

June 7-11, 2010
Sirince, Turkey

http://www.sirocco2010.boun.edu.tr/
______________________________________________________________________

Important dates
===============

Submission deadline: January 31, 2010 (5pm CET)
Author notification: March 21, 2010
Camera-ready submission: April 4, 2010
______________________________________________________________________

Theme
=====

Conference
==========

Scope
=====

SIROCCO Award
=============

Submission
==========

Publication
===========

Conference oragnization
=======================

Program Committee Chair
-----------------------
Boaz Patt-Shamir (Tel Aviv U.)

Steering Committee Chair
------------------------
Pierre Fraigniaud (CNRS & U. Paris Diderot)

Local Arrangements
------------------
Tinaz Ekim (Bogazici U.)
Arman Boyaci (Bogazici U.)

Publicity Chair
---------------
David Ilcinkas (CNRS & U. Bordeaux)
**********************************************************
*
* 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, October 30, 2009

[DMANET] AAAC 2010 Call for Papers

-----------------------------------------------------------------------
CALL FOR PAPERS
-----------------------------------------------------------------------
The 3rd Annual Meeting of the Asian Association for
Algorithms and Computation (AAAC 2010)
April 17-19, 2010
Pohang, Korea

http://geo.postech.ac.kr/aaac2010

Asian Association for Algorithms and Computation (AAAC) was founded in
2007 to give a place for promoting collaborations of Asian people in
all areas of theoretical computer science. Its inaugural meeting was
held in Hong Kong on April 26-27, 2008, and its second meeting in
Hangzhou, China on April 11-12, 2009.

The Third Annual Meeting of the AAAC will be held in Pohang, Korea,
on April 17-19, 2010. We invite submissions of one-page abstracts that
can be based on original research or survey of existing
results in areas of theoretical computer science, especially design
and analysis of algorithms and complexity theory.

----- Meeting Format -----

Two invited talks and parallel contributed
talks, in which 8-10 will be accepted as long talks. The meeting starts
around 9 a.m. on April 17 (Saturday) and ends around 5 p.m. on 19
(Monday). There will be a conference dinner in the evening of April
18.

----- Paper Submission -----

Authors are invited to submit one-page (A4) abstracts
that can be based on original results or survey of existing
results. Informal working notes including the one-page abstracts will
be distributed at the meeting, which does not prevent any form of
future publication on the same work.

All submissions should be made electronically; see the AAAC 2010 web pages
http://geo.postech.ac.kr/aaac2010
for detailed submission instructions.

----- Important Dates -----

* February 5, 2010 : Abstract submissions due
* March 1, 2010 : Notification of acceptance/rejection of papers
* March 15, 2010 : Early registration due
* April 17-19, 2010 : Meeting at Pohang, Korea

----- Contacts -----

Kazuo Iwama (Kyoto University, Program Committee chair)
iwama@kuis.kyoto-u.ac.jp

Hee-Kap Ahn (Pohang University of Science and Technology, Organizing
Committee chair)
heekap@postech.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] wissenschaftliche/n Mitarbeiter/in im Forschungsgebiet Transportlogistik

AIT Austrian Institute of Technology, das österreichische Forschungsinstitut
von europäischem Format, das sich mit den zentralen Infrastrukturthemen der Zukunft
beschäftigt, sucht zur Verstärkung des Teams zum ehest möglichen Eintritt eine/n

wissenschaftliche/n Mitarbeiter/in im Forschungsgebiet Transportlogistik

Tätigkeiten:

* Wissenschaftliche Mitarbeit in nationalen und internationalen Forschungs-
projekten im Bereich Transportlogistik insbesondere in der Entwicklung von
Methoden zur Touren-& Flottenoptimierung

* Konzeption und Durchführung innovativer Forschungs- und Kooperations-
projekte mit Unternehmen und F&E-Einrichtungen im Bereich der Transportlogistik

* Gewinnung und laufende Betreuung von Partnerunternehmen und -organisationen

* Projektmanagement

Qualifikation:

* Abgeschlossenes technisches, naturwissenschaftliches oder betriebs-
wirtschaftliches Studium mit Logistikschwerpunkt

* Erfahrung mit der Entwicklung und Umsetzung (in der Praxis) von Methoden
der kombinatorischen Optimierung und ihre Anwendung in der Tourenplanung

* Mindestens 2-jährige Erfahrung mit Anforderungen der Transportlogistik
(Tourenplanung, Transportoptimierung)

* Ausgeprägte Kommunikationsstärke und Vernetzungstalent

* Analytisches Denken und selbständiges Arbeiten

* Programmierkenntnisse (C++, Java)

* Englisch und Deutsch fließend in Wort und Schrift

Dienstort: Wien

Wenn diese Tätigkeit eine Herausforderung für Sie darstellt und Sie die
notwendigen Voraussetzungen mitbringen, tragen Sie Ihre Daten in unsere
Bewerber-Datenbank unter http://bewerber.ait.ac.at/ ein bzw. senden Ihre
aussagekräftigen Bewerbungsunterlagen

Frau Maria Maurer, MSc
Leiterin Personalabteilung
2444 Seibersdorf
T: +43 (0) 505 50 - 2032
maria.maurer@ait.ac.at

--
JAKOB PUCHINGER
Mobility Department
Dynamic Transportation Systems

**********************************************************
*
* 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 Position within the project "Solutions for Health Logistics:Dynamic Stochastic Fleet Management" (Wien)

AIT Austrian Institute of Technology, the Austrian research institute with
a European format which focuses on the key infrastructure issues of the
future, is looking to strengthen its team with the immediate appointment of a

PhD Position within the project "Solutions for Health Logistics:
Dynamic Stochastic Fleet Management"

Job profile:

* HealthLog aims at improving the operations of health logistics providers
by including stochastic aspects into their route planning and vehicle
dispatching. It is planned to combine methods from statistical data analysis,
stochastic modelling and operations research. The project focuses on dynamic
stochastic vehicle routing problems in the context of patient
transportation at Samariterbund Vienna.

* We are looking for an outstanding PhD student whose main task will be to
develop optimisation algorithms for dynamic and stochastic vehicle routing
problems and the stochastic optimisation framework.

* Outstanding master degree in computer science, applied mathematics,
operations research or a closely related field.

* Candidate should have strong, proven knowledge in one or more of the
following areas:
- Metaheuristic algorithms (tabu search, variable neighbourhood search,
genetic algorithms, etc...)
- Exact methods based on mathematical programming (linear programming,
integer programming, stochastic programming)
- Optimisation under uncertainty
- Transport optimisation problems (Vehicle Routing, Dial-a-Ride, etc ...)
- Programming

Place of employment: Wien

If you see this job as a challenge and fulfil the necessary requirements,
enter your details in the applicant database at http://bewerber.ait.ac.at/.
If you have any further questions, please contact

Frau Maria Maurer, MSc
Leiterin Personalabteilung
2444 Seibersdorf
T: +43 (0) 505 50 - 2032
maria.maurer@ait.ac.at

--
JAKOB PUCHINGER
Mobility Department
Dynamic Transportation Systems

FN: 165088b HG Wien | UID: ATU46577208
**********************************************************
*
* 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/
*
**********************************************************

Thursday, October 29, 2009

[DMANET] PhD student position at UMIT (Austria)

We are seeking for a highly motivated PhD student for a project funded by
the Austrian Science Foundation (FWF). This position is available for the
duration of 3 years.

Essential skills:
The desired candidate should have profound knowledge in applied
mathematics (preferably graph theory and information theory) and computer
science (algorithms).
But applicants graduated in chemistry, chemoinformatics, and computational
biology with a strong interest in mathematical chemistry and multivariate
data analysis should also apply.

Strong programming skills in R/python/Java/C and database knowledge
preferably in a Linux environment are essential.
Proficiency in statistics and data analysis. Moreover, good communication
skills are necessary. The ideal candidate would enjoy working in a
multidisciplinary environment.
Background of chemometrics, chemoinformatics, and mathematical chemistry
is a plus.

Interested applicants should e-mail a full curriculum vitae, a cover
letter expressing research interests, and the contact information of two
references to Matthias Dehmer (matthias.dehmer@umit.at).

The project will take place at University for Health Sciences, Medical
Informatics and Technology (UMIT).
Generally, in 2001 the University for Health Sciences, Medical Informatics
and Technology (UMIT) was founded in Tyrol/Austria to provide IT solutions
for the health care and life sciences. Today, academic research and
teaching focus is in biomedical informatics, health sciences and nursing
science.
UMIT has an integrated view of the different disciplines contributing to
the health care sector.

Contact:

Ao. Univ. Prof. Dr. Matthias Dehmer
UMIT
Institute for Bioinformatics and
Translational Research
Hall in Tyrol, Austria

[DMANET] Postdoc position in Applied Discrete mathematics at UMIT (Austria)

For a project funded by the Austrian Science Foundation (FWF), we are
seeking for a postdoctoral researcher. This position is available for the
duration of 3 years.

The applicant must have the following essential skills:

- Strong analytical background in applied discrete mathematics like graph
theory and information theory. In particular, the desired candidate should
have
profound knowledge and research experience in quantitative graph theory.

- Knowledge in quantitative graph theory should comprise structural
analysis of graphs, general graph measures, structural complexity,
topological descriptors, and information-theoretic methods.

- Demonstrated research track and the ability to achieve research results
independently.

- Programming skills in R/python/Java/C and database knowledge preferably
in a Linux environment.

Background and proficiency in statistics, data analysis, and mathematical
chemistry is a plus.
Moreover, good communication skills are also necessary. The successful
candidate should have a PhD in mathematics, computer science, or physics.

Interested applicants should e-mail curriculum vitae, publication list, a
cover letter expressing research interests and areas, and the contact
information of three references to
Matthias Dehmer (matthias.dehmer@umit.at).

The project will take place at University for Health Sciences, Medical
Informatics and Technology (UMIT). Generally, in 2001 the University for
Health Sciences, Medical Informatics and Technology (UMIT) was founded in
Tyrol/Austria to provide IT solutions for the health care and life
sciences. Today, academic research and teaching focus is in biomedical
informatics, health sciences and nursing science.
UMIT has an integrated view of the different disciplines contributing to
the health care sector.

Contact:

Ao. Univ. Prof. Dr. Matthias Dehmer
UMIT
Institute for Bioinformatics and
Translational Research
Hall in Tyrol, Austria

[DMANET] TRISTAN VII deadline extension until November 30

Dear Colleague,

I apologize in advance for cross-posting. The deadline for extended abstracts
has been extended to November 30, 2009.
There will be no more extensions. For more information, see
http://www.tristan7.org<http://www.tristan7.org/>

Our travel agency partner VIA Travel Group & Meeting offers several
pre- and post conference trips on the Coastal Express (Hurtigruten), and a
pre conference trip to Svalbard/Spitsbergen. You may also book your plane
tickets with VIA. Information will be added to the conference web pages in
a few days.

Conference registration is expected to open mid December.

On behalf of the TRISTAN VII Organizing Committee,

Arild Hoff
Molde University College
P.O.Box 2110
6402 Molde
Norway
Phone: +47 71 21 42 02
Mob. +47 91 13 14 10
E-mail: arild.hoff@himolde.no<mailto:arild.hoff@himolde.no>
http://home.himolde.no/~arildh/
**********************************************************
*
* 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/
*
**********************************************************

Wednesday, October 28, 2009

[DMANET] The Second International Workshop on Information Quality and Quality of Service for Pervasive Computing (IQ2S 2010)

-----------------------------------------------------------------------
Our apologies if you receive duplicates of this posting.
Please feel free to distribute it to those who might be interested.
-----------------------------------------------------------------------

***********************************************************************
* *
* PRELIMINARY CALL FOR PAPERS *
* *
* IQ2S 2010 *
* *
* The Second International Workshop on Information Quality *
* and Quality of Service for Pervasive Computing *
* http://www.iq2s.org *
* *
* In conjunction with IEEE PerCom 2010 (http://www.percom.org/) *
* Mannheim, Germany, March 29 - April 2, 2010 *
* *
***********************************************************************

Pervasive computing enables computers to interact with the real world in a
ubiquitous and natural manner. It is, in its core, an application-driven
discipline encompassing the pervasive acquisition, transportation,
processing, and consumption of information from diverse sources, including
widespread sensor deployments. Thus, the traditional study of QoS in
transporting sensory data in pervasive systems ought to be balanced with the
study of QoI in delivering sensor-originated information. Quality of
Information (QoI) or Information Quality (IQ) relates to information's level
of fitness for a purpose, e.g., when contributing to an application's
utility. Harnessing and optimizing the QoI derived from sensor networks will
be key to bringing together effectively the aforementioned acquisition,
transportation, processing, and consumption elements that the broad spectrum
of smart, information-intensive, sensor-enabled pervasive applications
depend on, such as remote habitat monitoring, utility grid monitoring,
environmental control, supply-chain management, healthcare, intelligent
transportation systems, military intelligence, reconnaissance and
surveillance (ISR), border control, and hazardous material monitoring, just
to mention a few.

The effectiveness of an application's actions using a piece of information
serves as the ultimate measure of the information's quality and value-add;
an action may be highly effective achieving all its anticipated goals,
partially effective, or entirely ineffective.
Complementing traditional provisioning of QoS with QoI and action
effectiveness for pervasive computing is challenging and difficult due to
the resource constrained, dynamic and distributed nature of the sensory
systems involved, their security weaknesses, and so on. Novel mechanisms and
designs are required which integrate QoI with network and computational QoS
that take into account the aforementioned challenges while dealing with
different types of sensory resources and their inter-dependencies. It is an
objective of this workshop to provide a forum to exchange ideas, present
results, share experience, and enhance collaborations among researchers,
professionals, and application developers working on QoI and QoS in wireless
sensor networks for pervasive computing.

The objective of this workshop is to provide a forum to exchange ideas,
present results, share experience, and enhance collaborations among
researchers, professionals, and application developers in various aspects of
QoI and QoS in wireless sensor networks for pervasive computing.

*******Topics*******

Original papers addressing both theoretical and practical aspects of QoI and
QoS provisioning in pervasive computing are solicited. Papers describing
experience on real prototype implementations are particularly welcome.
Topics of interest addressing the challenging joint aspects of QoI and QoS
include:

- Joint QoI- & QoS-driven system design and architectural principles
- Network services (time sync, QoS) for target/event detection,
localization, tracking
- QoI-aware wireless sensor networking
- Energy-efficient data fusion, sensor fault analysis, sensor data cleansing

- QoS for task mapping and scheduling
- Cross-layer, cross-application, and cross-node integration of QoI and QoS
- Adaptive QoI and QoS under dynamic environments
- Trust, security, privacy, and data provenance issues in QoI and QoS
- QoI characterization, representation, performance metrics, and evaluation
- QoI and QoS for emerging pervasive computing applications
- Value of information and quality of action for sensor/actuator networks
- Prototype test-bed design, implementation, and field trials

*******Submission Instructions*******

Submitted papers should be in the IEEE conference format and no more than 6
pages in length, and should not be previously published or currently under
review elsewhere. All submissions will be peer-reviewed and selected based
on their originality, merit, and relevance to the workshop. Accepted papers
will be published by the IEEE Computer Society Press in the combined PerCom
2010 workshops proceedings. At least one author of each accepted paper must
register and attend the workshop to present the paper. Selected papers with
high qualities will be invited to submit to a Journal special issue.

*******Important Dates:*******

Paper submission: November 15, 2009
Author notification: December 23, 2009
Camera-ready due: January 29, 2010

*******Workshop Organization*******

General Co-Chairs:
Chatschik Bisdikian, IBM Research, USA
Sajal K. Das, The University of Texas at Arlington and NSF, USA

TPC Co-Chairs:
Qi Han, Colorado School of Mines, USA
Holger Karl, University of Paderborn, Germany

Publicity Chair:
Habib M. Ammari, Hofstra University, USA
Hannes Frey, University of Paderborn, Germany

Webmaster: Wendong Xiao, Institute of Infocomm Research, Singapore

-------------------------------------------------------------------------
Dr. Hannes Frey | E-mail: hannes.frey at uni-paderborn.de
University of Paderborn | Phone: +49 5251 60-5380
Pohlweg 47-49 | Fax: +49 5251 60-5377
33098 Paderborn | WWW: www.upb.de/cs/cn
-------------------------------------------------------------------------

[DMANET] Postdoctoral fellowship "Global Optimization and Applications"

Postdoctoral fellowship "Global Optimization and Applications"

Contacts:
- Michel Kieffer, L2S Supelec. michel.kieffer@lss.supelec.fr
- Leo Liberti, LIX Ecole Polytechnique. liberti@lix.polytechnique.fr

October 23, 2009

Interval-based Global Optimization (GO) techniques [8] provide
guaranteed global optima to complex nonlinear programming problems,
including Mixed-Integer Nonlinear Programming problems (MINLPs)
[1]. Thanks to recent developments [2,7,3,6] interval-based GO is
competitive (in terms of computing time) with respect to other
(non-guaranteed) techniques, at least for some classes of problems.

This property is particularly interesting when considering the problem
of parameter estimation from noisy measurements for systems described
by ODE- or PDE-based mathematical models that involve functions which
are nonlinear in their parameters [10]. For such systems, the
parameters may not necessarily be globally identifiable. Due to the
lack of identifiability, the cost function to be optimized may have a
globally optimal value attained by distinct parameter vectors. One way
for detecting such situations involves finding all globally optimal
parameter vectors [5,4,9]. Computational experience shows that the
computing times needed to obtain all global optima may be several
orders of magnitude larger than with conventional (non-guaranteed)
optimization techniques, even for very simple nonlinear models with
two or three parameters [10]. One of the reasons for this overhead is
due to difficulty to bound efficiently the range of the cost function
over some box in the parameter space. The aim of this post-doctoral
fellowship will be to determine the causes for interval-based GO
techniques inefficiencies in the context of parameter estimation, and
to propose tools, e.g., based on constraint propagation or on
sensitivity analysis to improve their efficiency.

If interested, the applicant may also consider applications in
communication and networking, such as elaborating routing strategies
for multicasting multimedia contents with guarantee on the quality of
service. Such problems may be cast into the framework of MINLP: routes
for packets have to be determined, which corresponds to the integer
part of the problems, and delay and distortion constraints have to be
satisﬁed at the receivers, which correspond to the continuous part of
the problem. The applicants should have a good background in numerical
methods for global optimization. No background in estimation nor in
communication and networking is required.

This one-year fellowship is funded by Digiteo, a very large research
cluster devoted to research in Science and Technology of Information
located close to Paris (see http://www.digiteo.fr/ for more
details). The net monthly salary is 2000EUR (French-style, which means
there may be some taxes to pay --- averaging 1500EUR --- at the end of
the fiscal year). The postdoctoral fellow will benefit from the close
links established between all participants to this cluster both in
terms of the theoretical and applied aspects of his or her scientific
research and in terms of opportunities for his or her future career.

References

[1] P. Belotti, J. Lee, L. Liberti, F. Margot, and
A. Waechter. Branching and bounds tightening techniques for non-convex
a MINLP. Optimization Methods and Software, 24(4):597–634, 2009.

[2] E. Carrizosa, P. Hansen, and F. Messine. Improving interval
analysis bounds by translations. Journal of Global Optimization,
29(2):157–172, 2004.

[3] R. B. Kearfott. GlobSol User Guide.
http://interval.louisiana.edu/GLOBSOL/what_is.html, 1999.

[4] Cha Kun Lee, Adam B. Singer, and Paul I. Barton. Global
optimization of linear hybrid systems with explicit
transitions. Systems & Control Letters, 51(5):363–375, 2004.

[5] Youdong Lin and Mark A. Stadtherr. Validated solutions of initial
value problems for parametric odes. Applied Numerical Mathematics,
57(10):1145–1162, 2007.

[6] J. Ninin and F. Messine. A metaheuristic methodology based on the
limitation of the memory of interval branch and bound
algorithms. Journal of Global Optimization, to appear.

[7] H. Schichl and A. Neumaier. Interval analysis on directed acyclic
graphs for global optimization. Journal of Global Optimization,
33(4):541–562, 2005.

[8] E. R. Hansen. Global Optimization Using Interval Analysis. Marcel
Dekker, New York, NY, 1992.

[9] L. Jaulin, M. Kieffer, O. Didrit, and E. Walter. Applied Interval
Analysis. Springer-Verlag, London, 2001.

[10] E. Walter and M. Kieffer. Guaranteed optimisation of the
parameters of continuous-time knowledge-based models. In C. Commault
and N. Marchand, editors, Positive Systems, volume 341 of LNCIS, pages
137–144, Heidelberg, 2006. Springer.
**********************************************************
*
* 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] NMA 2010 CFP

Dear Colleague,

On behalf of the Organizing Committee, we invite you to participate in
the special session (workshop) on "METAHEURISTICS FOR OPTIMIZATION
PROBLEMS" at the
7th Conference on Numerical Methods and Applications NM&A'10,
to be held 20-24 August 2010 in Borovets, Bulgaria.
The session is organized by:
Assoc. Prof. Stefka Fidanova (stefka@parallel.bas.bg)
from the Institute for Parallel Processing, Bulgarian Academy of
Sciences and
Assoc. Prof. Antonio Nebro (antonio@lcc.uma.es)
from University of Malaga, Spain.

Proceedings
We plan to continue publishing the proceedings of only refereed and
presented papers as a special volume of Springer Lecture Notes in
Computer Science (LNCS).

Important deadlines
Deadline for submission of abstracts
February 15, 2010
Notification of acceptance of the talks on the basis of the
submitted abstract
March 1, 2010
Deadline for submission of full papers
April 30, 2010
Notification of acceptance of full papers
June 20, 2010
Submission of accommodation forms
July 15, 2010

Abstracts and contributed papers
The abstracts (up to 1 page stating clearly the originality of the
results) are to be written in standard LaTeX. The length of the
contributed papers is limited up to 8 pages. It is assumed that one
participant will present not more than one talk.

Send the abstracts and papers to special session organizers and
conference organizers, indicating the name of the special session. After
sending the abstract go to the conference web page and fill in the
registration form (personal data of the participants, minimum one per
paper, and the name of the special session).

Information about abstract and paper preparation, accommodation,
transportation, registration form and conference location you can find
at the conference web page :
http://www.math.bas.bg/~nummeth/nma10

Special session organizers
Assoc. Prof. S. Fidanova, Institute of Parallel Processing, Bulgarian
Academy of
Science, stefka@parallel.bas.bg
Assoc. Prof. A. Nebro, University of Malaga, Spain, e-mal:
antonio@lcc.uma.es
**********************************************************
*
* 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, October 27, 2009

[DMANET] TMIP-ITNG 2010. Call for papers ( (Submission Deadline extended to November 6, 2009)

---------------------------------------------
Our apologies if you receive duplicates of this posting.
Please feel free to distribute it to those who might be interested.
---------------------------------------------

---------------------------------------------------------------------------------------------------------
Welcome to TMIP-ITNG 2010 in Las Vegas, Nevada, USA.
First International Symposium on Theoretical Modeling and Image Processing,
In conjunction with
7th International Conference on Information Technology: New Generations –
ITNG 2010 (http://www.itng.info/).
April 12-14, 2010.
http://www.tsi.enst.fr/~rital/track_tmip/

(Proceedings to be published by the Conference Publishing Services-CPS)

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

It is our great pleasure to announce the first symposium on theoretical
modeling and image processing TMIP 2010,
which will be part of ITNG conference. It will be held in Las Vegas,
Nevada, USA (April 12-14, 2010).

Topics:
*******
Contributions include all aspects of image modeling and image
processing, including but not limited to the following topics:

* Compression and Coding,
* Computer vision: Segmentation and Grouping, Color and Texture, Shape
modeling, Visualization,
* Medical Imaging,
* Radar / Optical Remote Sensing Image Analysis,
* Biometrics,
* Fuzzy Logic and Image Applications,
* Mathematical Morphology,
* Combinatorial and Statistical pattern analysis,
* Graphs and Hypergraphs Image Applications,
* Discrete Geometry and Combinatorial Topology Image Analysis.

Submission Instructions.
************************
Papers must represent high quality and previously unpublished work, not
currently under review by another conference, workshop,
or journal. Your submission should include the author names, complete
mailing addresses, telephone and email addresses of the authors.
Interested authors should submit a 6-page article of their original and
unpublished work including 5 keywords in the IEEE format through
https://www.softconf.com/a/itng2010/.
Accepted papers will be included in the ITNG conference proceedings
published by the IEEE Computer Society's Conference Publishing Services.
Selected papers presented in the conference will be considered for
publication in a special issue of an international journal (pattern
recognition, discrete applied mathematics).

Evaluation Process.
**********************
Papers will be evaluated for originality, significance, clarity, and
soundness.
Per ITNG policy, except for invited papers, all papers will be reviewed
by at least two independent reviewers.

Deadlines.
**********************
Submission Deadline: October 23, 2009
Author Notification: December 4, 2009
Camera Ready Paper Due (6 pages): February 5, 2010

Steering Committee:
**********************
Pr. Alain Bretto, GREYC CNRS UMR 6072. alain.bretto@info.unicaen.fr
Dr. Marine Campedel,
Dr. Soufiane Rital.
Telecom ParisTech (ENST), LTCI-CNRS, COC Center.
Marine.campedel@telecom-paristech.fr
Soufiane.rital@telecom-paristech.fr
http://www.coc.telecom-paristech.fr/

For more details, please visit the internet page of the workshop.
**********************
http://www.tsi.enst.fr/~rital/track_tmip/

With kind regards,
A. Bretto, M. Campedel, S. Rital

--
Soufiane RITAL
Research engineer
www.tsi.enst.fr/~rital

--------------------------------------
TELECOM ParisTech - TSI department
46 rue Barrault - 75013 Paris - France
+33 1 45 81 83 13
--------------------------------------
**********************************************************
*
* 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, October 26, 2009

[DMANET] DIMACS Postdoc positions

DIMACS Center
Postdoctoral Fellowships

DIMACS, the Center for Discrete Mathematics and Theoretical Computer
Science, invites applications for several postdoctoral fellowships for 2010-11.
Applicants should be recent Ph.D.'s with interest in discrete mathematics
or theoretical computer science, their applications, and related areas. There
is some emphasis on special focus areas Algorithmic Foundations of the
Internet; Computational and Mathematical Epidemiology; Discrete Random
Systems; and Hardness of Approximation; and on methods of advanced
data analysis or mathematical/computer modeling applicable to homeland
security or nuclear detection. One of these awards is expected to be joint
with our partner the Institute for Advanced Study. Some awards might be
joint with a partner institution such as AT&T Labs, Bell Labs, NEC
Laboratories America, or Telcordia Technologies. See
http://dimacs.rutgers.edu/Applications for application information.

Applications are due January 8, 2010 for full consideration. DIMACS Center,
Rutgers University, 96 Frelinghuysen Road, Piscataway, NJ 08854-8018;
Tel: 732-445-5928; Email: postdoc@dimacs.rutgers.edu. DIMACS is an
EO/AA employer.

***************************************************************************
Christine Spassione Tel: (732) 445-4304
Center Administrator/Program Coordinator Fax: (732) 445-5932
DIMACS Center spassion@dimacs.rutgers.edu
Rutgers University
96 Frelinghuysen Road
Piscataway, NJ 08854-8018
***************************************************************************

ICGI 2010 Call for Tutorials

--------------------------------------------------------------
Apologies if you receive this more than once.
Please re-post to interested audience.
--------------------------------------------------------------

10th International Colloquium on Grammatical Inference

ICGI 2010

13-16 September, 2010 Valencia (Spain)

http://users.dsic.upv.es/workshops/icgi2010/

CALL FOR TUTORIALS
------------------------------------------------------------------------------

The 10th International Colloquium on Grammatical Inference (ICGI 2010)
Organizing Committee invites proposals for tutorials to be held in conjunction
with the conference. Tutorials are an effective way to educate and/or provide
the necessary background to the intended audience enabling them to understand
technical advances or introducing them in the grammatical inference research
area.

For ICGI 2010, we are seeking proposals for tutorials on all topics related to
grammaticalinference. A tutorial may be a theme-oriented comprehensive survey,
discuss novel grammatical inference techniques or may center around successful
application of grammatical inference in important application areas (e.g.
bioinformatics, machine translation, natural language processing, pattern
recognition, etc.). The ideal tutorial should attract a wide audience.
It should be broad enough to provide a gentle introduction to the chosen topic,
but it should also cover the most important contributions in depth. Proposals
that exclusively focus on the presenter's own work are not eligible.

The typical tutorial will be 2 hrs long (longer tutorials will be considered).

Proposals should be submitted electronically in PDF format by December 20, 2009
to:

Jose M. Sempere
Associate Professor
Dept of Information Systems and Computation
Technical University of Valencia
46017 Valencia (Spain)

email: jsempere@dsic.upv.es

Proposals should include the following:

* Basic information:

Title, brief description, name and contact information for the lecturer,
length of the proposed tutorial. If the intended tutorial is expected to
take longer than 2 hours a rationale is expected. Also identify any
other
venues in which the tutorial has been or will be presented.

* Audience: Proposals must clearly identify the intended audience for the
tutorial (e.g., novice, intermediate, expert).
- What background will be required of the audience?
- Why is this topic important/interesting to the GI community?
- What is the benefit to participants?

* Bios: Provide brief biographical information (including qualifications
with respect to the tutorial's topic).

It is expected that selected lecturers will produce a report with the main
contents of the tutorial. All the lectures will be published in a book which
will be distributed among the attendants to the ICGI 2010 Tutorial Day.

Important dates

- Tutorial proposals due: December 20, 2009
- Acceptance notification: January 15, 2010
- Tutorial report due: April 15, 2010
- ICGI 2010 Tutorials Day: September 13, 2010

Please do not hesitate to contact us if you have questions.

We are looking forward to your proposals,

Jose M. Sempere
Chair of the ICGI 2010 Organizing Committee

Sunday, October 25, 2009

Call for workshop proposals -- ICCCN 2010

Our apologies if you receive duplicates of this posting.

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

CALL FOR WORKSHOP PROPOSALS

19th IEEE Int’l Conf. on Computer Communications and Networks

(ICCCN 2010)

http://www.icccn.org/icccn10/

ETH Zurich, Switzerland, August 2-5, 2010

Proposal submission due: Nov. 15, 2009

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

The 19th IEEE International Conference on Computer Communications and Networks (ICCCN) will be held

at ETH Zurich, Switzerland, in the first week of August 2010. Quality workshops are to be held in

conjunction with ICCCN 2010. The workshops aim to explore special topics and provide international

forums for scientists, engineers, and computer users to exchange and share their experiences, new

ideas, and research results on hot and broad topics on computer communications and networks. Workshops

for presenting papers from industrial companies and papers on design and implementations of systems and

services are welcome. ICCCN is a premier international conference in the field and running a workshop

in association with it is of high visibility. The proceedings of the workshops program will be published,

as the ICCCN 2010 main conference, by IEEE Communications Society and IEEE Digital Library.

The topics we are soliciting include, but are NOT limited to:

• Data management and data centers

• Security and Privacy in computer communications and networks

• Power Aware Pervasive Computing and HCI

• Ubiquitous and Intelligent Services

• Distributed and Mobile Computing, and Cyber-Physical Systems

• Scalable Internet Architectures and Services, Service-oriented Architecture

• Smart Grids

Submission Guidelines and Publication:

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

One workshop may take one day with 12 or more accepted and registered papers. Please send a workshop

proposal by Nov 15, 2009, to

Prof. Xiaobo Zhou and cc to: Prof. Liqiang Zhang

Workshop General Chair Workshop General Co-Chair

E-mail: zbo@cs.uccs.edu Email: liqzhang@iusb.edu

Please note that the proposals will be reviewed once received and we will try to make the decision and

send the notification back as soon as possible. So submitting a proposal early has the advantage. For

each approved workshop, at least one organizer must commit to attending and running the workshop on

site. Please do not hesitate to send emails to the chairs if you have any questions.

The workshop proposal should include following information:

1. Title of the workshop

2. Workshop organizer(s): name, affiliation, address, phone and fax numbers, e-mail,

with the indication of the main contact person (no more than two chairs in one workshop)

3. Description of the workshop, content and dates

4. Expected number of papers to be submitted with marketing approaches

5. Draft Call for paper of the workshop

6. Tentative list of program committee members

7. Short bio of the main workshop organizers

Each workshop will start to advertise and distribute its CFP after receiving the approval notification.

Papers submitted to each workshop should be original, and, be peer reviewed by the program committee or

external reviewers. An accepted paper must be registered and presented at the conference venue and must

be limited to 6 pages in standard IEEE camera-ready format (double-column, 10-pt font). More updates

will be posted on the ICCCN-2010 Web site.

Important Dates:

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

Proposal submission due: Nov 15, 2009

Proposal notification due: Dec 15, 2009

Friday, October 23, 2009

Phd & Postdoc positions

Karlsruhe Institute of Technology
(formerly Universität Karlsruhe)
Department of Computer Science
Algorithm Engineering Group
Prof. Dr. rer. nat. Peter Sanders
http://algo2.iti.kit.edu/english/index.php

PhD and Postdoc Positions

In cooperation with SAP and the Hasso-Plattner-Institut Potsdam,
we are developing basic algorithms for data bases using
the following principles:
- main memory based
- column oriented storage
- high performance parallel query evaluation.

In this project we place equal emphasis on first class academic
publications and integrability into real world strategic products of SAP.

We expect good grades from internationally respected academic
institutions and skills in some of the following areas:
- algorithm engineering
- parallel/multicore algorithms
- advanced C++ programming
- code tuning
- database implementation
- data compression
- data mining
Postdoc applicants are expected to have high class publications
in at least one of the above areas.

Please send the following documents to blancani@kit.edu
(preferably until November 30, 2009):
- CV
- email addresses of people we can ask for references
- scans of your most current transcripts / performance records
- URLs of your three most important scientific papers,
thesis documents, or source codes of programs
- a short statement explaining your most interesting qualifications
for the project
(we prefer formats that are easy to view on linux systems --
pdf, postcript, ascii, or html)

KIT will give preference to appropriately qualified handicapped
candidates. In order to increase the number of women in academic
positions, KIT particularly welcomes applications of women.

ICDCN 2010: Call for Participation

Our apologies if you receive multiple copies of this mail.

----------------------------------------------------------------
CALL FOR PARTICIPATION

ICDCN 2010
11th International Conference on Distributed Computing and Networking
January 3-6, 2010, Kolkata, India

Conference Website: http://www.icdcn.org
-----------------------------------------------------------------

The 11th International Conference on Distributed Computing and Networking
(ICDCN 2010) will be held in Kolkata, India, during January 3-6, 2010.
Over the years, ICDCN has become a leading forum for disseminating the
latest research results in distributed computing and networking. The
historic city of Kolkata is one of the biggest cities in India, where
tradition and modernity blend in harmony.

The conference will have a full day of tutorials on January 3, 2010. This
will be followed by multiple technical sessions with high quality
research
papers, keynote talks from academia and industry, panel discussion,
industry session, and a Ph.D. forum for students on January 4-6, 2010.

KEYNOTE SPEAKERS:
----------------
1. Prith Banerjee, Senior VP of Research, HP and Director HP Labs
2. Prabhakar Raghavan, Head of Yahoo! Labs
3. Sartaj Sahni, Distinguished Professor and Chair of CS, Univ. of Florida
4. Ashok Jhunjhunwala, Professor, Indian Institute of Technology Madras
5. Manish Gupta, Associate Director, IBM Research - India

TUTORIAL SPEAKERS:
-----------------
1. Rajeev Shorey, NIIT University, India
2. Amos Korman, CNRS Paris
3. Jiannong Cao, Hong Kong Polytechnic Univ.
4. C. Pandurangan, IIT Madras, India
5. Hillol Kargupta, Univ. of Maryland Baltimore County, USA
6. Anwitaman Dutta, Nanyang Technological Univ., Singapore

**********REGISTRATION IS NOW OPEN*******************

For more information: http://www.icdcn.org

Thursday, October 22, 2009

[DMANET] Toulouse Global Optimization workshop 2010 (TOGO10)

Toulouse Global Optimization workshop 2010 (TOGO10)

Celebrating Pierre Hansen's 70th birthday

Global Optimization (GO) is a discipline aimed at finding global
optima for hard nonconvex optimization problems. The workshop aims at
bringing together researchers dealing with this topic. Depending on
the number of submissions, we shall have either a single stream or
two/three parallel streams. Accordingly, only a limited number of
contributions will be accepted. A special issue of the Journal Of
Global Optimization will contain (fully refereed) papers derived from
works presented at the workshop (or on close topics).

Conference venue: ENSEEIHT, 2 rue Camichel, 31071 Toulouse, France
Conference dates: 31 August - 3 September 2010
(participants should arrive on monday 30)
Conference fees will be kept as low as possible. We shall cover costs
but we do not aim to make a profit!

Submission instructions:
------------------------
Submit a 4-page extended abstract formatted using the LaTeX style
http://www.lix.polytechnique.fr/togo10/latex_style.zip
through the EasyChair website
http://www.easychair.org/conferences/?conf=togo10
Note that we do not accept submissions in .doc format.

Important dates:
----------------
Deadline for the submission of abstracts: April 15th, 2010
Notification of acceptance: June 15th, 2010
Deadline for reduced fee: June 30th, 2010
Welcome reception: August 30th, 2010
Start of conference: August 31st, 2010

Invited speakers:
-----------------
Pierre Hansen, GERAD and HEC, Montreal, Canada
Emilio Carrizosa, Universidad de Sevilla, Spain
Charles Audet, Ecole Polytechnique, Montreal, Canada
Pietro Belotti, Lehigh University, USA

Scientific Committee:
---------------------
Robert Baker Kearfott, Lafayette, Lousiana
Sonia Cafieri, Toulouse, France
Tibor Csendes, Szeged, Hungary
Chris Floudas, Princeton, New Jersey
Inmaculada García, Almería, Spain
Eligius Hendrix, Malaga, Spain
Jean-Baptiste Hiriart-Urruty, Toulouse, France
Jean-Bernard Lasserre, Toulouse, France
Sven Leyffer, Chicago, Illinois
Leo Liberti, Paris, France
Jeff Linderoth, Madison, Wisconsin
Marco Locatelli, Turin, Italy
Nelson Maculan, Rio de Janeiro, Brazil
Frederic Messine, Toulouse, France
Panos Pardalos, Gainesville, Florida (chair)
Fabio Schoen, Florence, Italy
Hanif Sherali, Blacksburg, Virginia
Fabio Tardella, Rome, Italy
Tapio Westerlund, Abo, Finland

Local Organising Committee:
---------------------------
Sonia Cafieri, Toulouse, France
Nicolas Durand, Toulouse, France
Sylvie Eichen, Toulouse, France
David Gianazza, Toulouse, France
Eligius Hendrix, Malaga, Spain
Didier Henrion, Toulouse, France
Leo Liberti, Paris, France (co-chair)
Kader Merakeb, Toulouse, France
Frederic Messine, Toulouse, France (co-chair)
Marcel Mongeau, Toulouse, France
Antonio Mucherino, Lille, France
Giacomo Nannicini, Pittsburgh, Pennsylvania
Jordan Ninin, Toulouse, France
Evelyne Rayssac, Paris, France
Boglarka Toth, Budapest, Hungary

Contact:
--------
For more details, see the conference website at
http://www.lix.polytechnique.fr/togo10
For more information, please write an email to
gow.togo10@gmail.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/
*
**********************************************************

WINE 2009 - Call for Participation

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

*** Early Registration Deadline: 14/11/2009 ***

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

CALL FOR PARTICIPATION:

WINE2009, the fifth Workshop on Internet & Network Economics

December 14-18, 2009, Sapienza University of Rome, Italy.

http://www.dis.uniroma1.it/~wine09/

Registration:
The registration to the conference can be done via WWW. The WWW registration
form is available at the conference website.

Accepted papers:
The list of accepted papers is available on the conference website.

Tentative program:
* Tutorials from Monday (December 14th) - till morning Tuesday (December 15th)
* Special session and welcome reception on Tuesday afternoon (December 15th)
* Workshop from Wednesday (December 16th) - till Friday (December 18th).

Keynote speakers:
Muthu Muthukrishnan, Google Inc.
H. Peyton-Young, U. of Oxford and Johns Hopkins U.
Eva Tardos, Cornell U.

Tutorial speakers:
Andrei Broder, Yahoo! Research
Kamal Jain/Nikhil Devanur, Microsoft Research

The conference is sponsored by Google Inc., Microsoft Research, and Yahoo!
Research.

[DMANET] WINE 2009 - Call for Participation

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

*** Early Registration Deadline: 14/11/2009 ***

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

CALL FOR PARTICIPATION:

WINE2009, the fifth Workshop on Internet & Network Economics

December 14-18, 2009, Sapienza University of Rome, Italy.

http://www.dis.uniroma1.it/~wine09/

Registration:
The registration to the conference can be done via WWW. The WWW
registration form is available at the conference website.

Accepted papers:
The list of accepted papers is available on the conference website.

Tentative program:
* Tutorials from Monday (December 14th) - till morning Tuesday (December
15th)
* Special session and welcome reception on Tuesday afternoon (December 15th)
* Workshop from Wednesday (December 16th) - till Friday (December 18th).

Keynote speakers:
Muthu Muthukrishnan, Google Inc.
H. Peyton-Young, U. of Oxford and Johns Hopkins U.
Eva Tardos, Cornell U.

Tutorial speakers:
Andrei Broder, Yahoo! Research
Kamal Jain/Nikhil Devanur, Microsoft Research

The conference is sponsored by Google Inc., Microsoft Research, and
Yahoo! Research.

Wednesday, October 21, 2009

IBM Goldstine Postdoctoral Fellowship

2010-2011 IBM Herman Goldstine Memorial Postdoctoral Fellowship

The Business Analytics and Mathematical Sciences Department of the IBM
Thomas J. Watson Research Center invites applications for its 2010-2011
Herman Goldstine Memorial Postdoctoral Fellowship for research in
mathematical and computer sciences. Areas of active research in the
department include: algorithms, data mining, dynamical systems and
differential equations, high-performance computing, numerical analysis,
optimization, probability theory, statistics, and supply-chain and
operations management.

Candidates must have received a Ph.D. or receive one between September 2005
and August 2010. One fellowship will be awarded with a stipend between
$95,000 and $115,000 (depending on area and experience).

Applications must be received between October 26, 2009 and January 6, 2010.
Complete details are available at

http://www.research.ibm.com/math/goldstine.html.

[DMANET] Welcome to EURO XXIV, Lisbon, Portugal, July 11-14, 2010

24TH EUROPEAN CONFERENCE ON OPERATIONAL RESEARCH
Lisbon, Portugal, July 11-14, 2010

WELCOME TO EURO XXIV

www.euro2010lisbon.org

FIRST ANNOUNCEMENT AND CALL FOR PAPERS
*********************************************************************

The 24th European Conference on Operational Research, EURO XXIV, will
be held at the Faculty of Sciences of the University of Lisbon.

This large conference is organized by EURO (The Association of European
OR Societies) and APDIO (The Portuguese OR Society), with the support
of FCUL (Faculty of Sciences, Universidade de Lisboa, Portugal) and CIO
(Operational Research Centre, Portugal).

The Programme and Organising Committees, chaired by Silvano Martello
and Jose Paixao, respectively, are preparing a high quality scientific
programme and exciting social programme for the Conference.

We hope that the unique yet heterogeneous character of seductive Lisbon
will tempt you to come, and help turning this into a memorable event,
both scientifically and socially.
----------------------------------------------------------------------

CALL FOR PAPERS AND SESSIONS

We invite all researchers, academicians, practitioners, as well as
students interested in any branch of operational research, mathematical
modelling or economic analysis to participate in the conference and to
present their papers.

Invited and contributed papers will be organized in parallel sessions,
with three or four papers in each session. In general, sessions will
be a part of conference streams, and streams are grouped by areas.

Researchers who want to organize an invited session or contribute a
paper within an invited session should contact the Stream organizer,
Area organizer or a corresponding member of the PC with their proposals.

AREAS:
*****
- Continuous Optimization,
- Control Theory & System Dynamics,
- Data Mining, Knowledge Discovery & Artificial Intelligence,
- DEA and Performance Measurement,
- Decision Analysis, Decision Support Systems,
- Discrete Optimization, Geometry & Graphs,
- Emerging Applications of OR,
- Energy, Environment and Climate,
- Financial Modelling & Risk Management,
- Fuzzy Systems and Soft Computing,
- Game Theory, Mathematical Economics,
- Location, Logistics, Transportation & Traffic,
- Metaheuristics,
- Multiple Criteria Decision Making and Optimization,
- OR Education, History, Ethics,
- OR for Development and Developing Countries,
- OR in Health & Life Sciences,
- OR in Industry, and Software for OR,
- OR in Natural Resources,
- Production Management & Supply Chain Management,
- Revenue Management & Managerial Accounting,
- Scheduling, Timetabling & Project Management,
- Simulation & Stochastic Programming and Modelling,
- Telecommunication & Networks.

IMPORTANT DATES:
***************
Submission for abstracts starts: October 2009,
Deadline for abstract submission: February 28, 2010,
Notification of acceptance: March 15, 2010,
Deadline for early registration: March 31, 2010,
Deadline for author registration (for inclusion in the programme):
April 30, 2010,
Conference: July 11-14, 2010.

PROGRAMME COMMITTEE:
*******************
Chair: Silvano Martello, Italy,
Jacek Blazewicz, Poland,
Denis Bouyssou, France,
Edmund K. Burke, UK,
Stefan Nickel, Germany,
Jose Fernando Oliveira, Portugal,
Jose Paixao (OC Chair), Portugal,
David Pisinger, Denmark,
Gerhard Waescher (VP EURO), Germany,
Gerhard-Wilhelm Weber, Turkey,
Gerhard Woeginger, The Netherlands.

ORGANIZING COMMITTEE:
********************
Chair: Jose M.P. Paixao, Portugal,
Joaquim Borges Gouveia, Portugal,
Maria Eugenia Captivo, Portugal,
Domingos Cardoso, Portugal,
Manuel Furtado Martins, Portugal,
Joao Chambel Leitao, Portugal,
Jose Fernando Oliveira, Portugal,
Joao Patricio, Portugal,
Ana Paula Povoa, Portugal,
Antonio Proenca, Portugal,
Antonio Rodrigues, Portugal,
Joao Miguel Telhada, Portugal,
Jose Valerio de Carvalho, Portugal,
Margarida Vaz Pato, Portugal,
Gerhard Waescher (VP EURO), Germany.

AWARDS:
******
During the EURO XXIV conference the following prizes will be awarded:
The EURO Gold Medal 2010,
The EURO Distinguished Service Medal (EDSM 2010),
The EURO Excellence in Practice Award (EPA 2010),
The EURO Management Science Strategic Innovation Prize (MSSIP 2010),
The EURO Doctoral Dissertation Award (EDDA 2010).

REGISTRATION FEES:
*****************
Regular Early (before March 31, 2010): 320 Euros,
Regular Late (after March 31, 2010): 420 Euros,
Student Early (before April 1, 2009): 170 Euros,
Student Late (after April 1, 2009): 220 Euros,
Accompanying persons: 120 Euros.

The regular/student registration fee includes:
- Participation in all sessions, and access to the exhibition area,
- Conference materials (Final Program, Book of Abstracts),
- Participation in the Welcome Reception (July 11),
- 3-day travel card,
- Coffee breaks and lunches (July 12-14),
- Participation in the Farewell boat trip (July 14),

The registration fee for accompanying persons includes:
- Participation in the Welcome Reception, and the Farewell boat trip,
- Lisbon-Estoril-Sintra tour,
- 3-day travel card,
- Lunches.

FURTHER INFORMATION:
*******************
Please check regularly the conference web site, www.euro2010lisbon.org,
where information will progressively be included about all relevant
Programme and Social matters, Guidelines, Lisbon, Conference Venue,
Accommodation, Social Programme, Tours and excursions, Programme Schedule,
Keynote Speakers, Book and Software Exhibitions, Workshops, Satellite
Events, Special Issues of Journals, etc..

CONTACTS:
********
prog@euro2010lisbon.org (Programme),
registration@euro2010lisbon.org (Registration, travel & accommodation),
info@euro2010lisbon.org (General inquiries).

----------------------------------------------------------------
This message was sent using IMP, the Internet Messaging Program.

Monday, October 19, 2009

CFP: special issue of the IEEE Transactions on Information Theory

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

Call for Papers: Special issue of
the IEEE Transactions on Information Theory

Facets of CODING THEORY: from ALGORITHMS to NETWORKS

--- Tribute to the Work of RALF KOETTER ---

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

A special issue of the IEEE Transactions on Information Theory,
envisioned as a tribute to the scientific legacy of Ralf Koetter, will
be published in early 2011. The scope of the special issue encompasses
all aspects of coding theory (both algebraic and probabilistic), network
coding, turbo equalization, as well as other topics in networks and
signal processing. Ralf Koetter worked in all these areas and forged
numerous ground-breaking connections among them. Further exploring
these exciting connections is one of the goals of this special issue.
Another goal is to highlight the many new facets of coding theory that
emerged during the past decade, largely owing to the contributions of
Ralf Koetter.

Original research papers, as well as expository and survey papers,
are sought, both invited and contributed. Papers submitted to this
special issue should relate in some way to the work of Ralf Koetter.
Sample topics include, but are not limited to, the following:

* Algebraic theory of network coding and its applications
* Analysis of iterative algorithms in graphical models
* Codes on graphs: realization complexity and constructions
* Efficient decoding (especially list-decoding) of algebraic codes
* Error-correction in networks, both coherent and non-coherent
* Turbo equalization and related topics in signal processing

The deadline for submission of manuscripts is April 15, 2010, and early
submission is encouraged. All submissions will undergo a rigorous peer
review, handled by one of the Guest Editors.

A special Workshop titled "Facets of Coding Theory: from Algorithms to
Networks" and dedicated to Ralf Koetter will take place at the Allerton
House, Monticello, Illinois, from Sunday, September 26, until Tuesday,
September 28, 2010, immediately prior to the Forty-Eighth Annual Allerton
Conference. Authors of papers accepted for the special issue will be
expected to present their work at this Workshop. However, presentation
at the Workshop will not be a prerequisite for publication in the special
issue. Conversely, inclusion of a paper in the Workshop program will not
guarantee inclusion in the special issue.

Questions regarding the special issue should be directed to Alexander
Vardy at <avardy@ucsd.edu>. Questions regarding the Workshop should be
directed to Andrew Singer at <acsinger@illinois.edu>.

SUBMISSION PROCEDURE:

Prospective authors should submit their papers electronically at
http://pareja.itsoc.org/initial_submission, and adhere to the regular
guidelines of the IEEE Transactions on Information Theory, with the
following exceptions. In the field labeled "Editorial Area or Special
Issue," please select this special issue. All the papers will be deemed
submitted BOTH for publication in the special issue AND for presentation
at the Workshop, unless clearly indicated otherwise in the field labeled
"Message to Editor-in-Chief." Authors may also indicate in the same field
their preference for a Guest Editor to handle the submission.

SCHEDULE:

Manuscript submission deadline: April 15, 2010
Notification of acceptance: August 31, 2010
Final manuscripts due: September 28, 2010
Tentative publication date: February 2011

GUEST EDITORS:

Michelle Effros, California Institute of Technology
G. David Forney, Jr., Massachusetts Institute of Technology
Frank R. Kschischang, University of Toronto
Muriel M√®dard, Massachusetts Institute of Technology
Andrew C. Singer, University of Illinois at Urbana-Champaign
Alexander Vardy, University of California San Diego

[DMANET] Stellenausschreibung Mitarbeiter 13 TVL in Mathematik/OR an der Uni Trier

Im Fachbereich IV der Universität Trier, Abteilung Mathematik,
Professur für Operations Research, ist zum nächstmöglichen Zeitpunkt
die befristete (zunächst auf 2 Jahre) Stelle einer/s

Wissenschaftlichen Mitarbeiterin/Mitarbeiters

mit reduzierter Lehrverpflichtung zu besetzen. Die Vergütung erfolgt nach 3/4
Entgeltgruppe 13 TVL.

Voraussetzung für die Einstellung ist ein überdurchschnittlich abgeschlossenes
Hochschulstudium der Mathematik (oder Informatik), möglichst mit Schwerpunkt in
Operations Research (z.B. kombinatorische Optimierung, ganzzahlige Optimierung
oder Auktionen). Programmierkenntnisse sind wünschenswert.

Geboten wird die Chance, in einem hochmotivierten, interdiziplinären,
jungen Team einer neu besetzten Professur mit vielfältigen
internationalen Kooperationen mitzuarbeiten. Dadurch sind exzellente
Möglichkeiten zur Promotion oder weiteren wissenschaftlichen
Qualifikation in Mathematik gegeben.

Das Aufgabengebiet umfasst ferner die üblichen Tätigkeiten von
wissenschaftlichen Mitarbeiterinnen und Mitarbeitern, also
insbesondere die Betreuung von Studierenden etwa im Rahmen von
Lehrveranstaltungen.

Schwerbehinderte werden bei entsprechender Eignung bevorzugt eingestellt.

Bewerbungen mit den üblichen Unterlagen (Lebenslauf, Zeugnisse) werden
erbeten bis zum 3. November 2009 an

Universität Trier
FB IV - Mathematik
Professur für OR
Prof. Dr. S. de Vries
54286 Trier.

Wir bitten, Bewerbungsunterlagen nicht in Mappen oder Hüllen und auch
nur als unbeglaubigte Kopien vorzulegen, da die Unterlagen nicht
zurückgesandt werden; sie werden nach Abschluss des Auswahlverfahrens
vernichtet.

9 Marie Curie ITN Fellowships available

Apologies for multiple postings.

Nine Early Stage Researcher (ESR) positions in five locations (EPFL, TU Berlin, Technion, FORTH, and U Rennes I)
are funded by the European Commission under the Marie Curie Initial Training Network Program (project TransForm).

We address (pre-PhD) researchers aiming at significantly improving their career perspectives from both the
public and private sector.

The duration of the appointment is 3 years, with a possibility of extension funded from other sources.

RESEARCH TOPIC

The ESRs will pursue research on the general area of concurrent computing and in particular on the theoretical
foundations of transactional memory.

Multicore architectures have come to stay; yet multicore is useless without concurrent programming. The
current parallel programming approach of employing locks is widely considered to be too difficult for any but
a few experts. Transactional Memory (TM) is a new programming paradigm which is considered by many
researchers as the future of parallel programming. To understand properly TM systems as well as be able to
assess them and improve them, a rigorous theoretical study of the approach, its challenges and its benefits is
badly needed.

This is the challenging research goal to be undertaken by the recruited ESRs.

Each recruited ESR will primarily work with one of the academic partners of the project:

* Swiss Institute of Technology in Lausanne(EPFL), Switzerland (Prof. Rachid Guerraoui)
* Technical University of Berlin, Germany (Prof. Anja Feldman & Dr. Petr Kuznetsov)
* Technion, Department of Computer Science, Israel (Prof. Hagit Attiya)
* FORTH, Heraklion, Greece (Prof. Panagiota Fatourou)
* University of Rennes I, France (Prof. Michel Raynal)

and under the supervision of researchers from the industry:

* Deutsche Telekom Laboratories, Germany (Prof. Dr. Anja Feldman & Dr. Petr Kuznetsov)
* Microsoft Research, Cambridge, UK (Dr. Tim Harris)
* Sun Microsystems Labs, Massachusetts, USA (Dr. Victor Luchangco)
* IBM T.J. Watson Research Center, USA (Dr. Maged Michael and Dr. Eran Yahav).

ELIGIBILITY

The recruited researchers should be, at the time of selection, in the first four years of their research careers
(measured from the date when they obtained the degree which would formally entitle them to embark on a
doctorate). Also:

* ESR should not already have a PhD
* ESR should be nationals of a country other than the country of her/his primary academic partner, and
* ESR must not have resided or carried out her/his main activity (work, studies, etc.) in the country of her/his
primary academic partner for more than 12 months in the last 3 years.

ELIGIBILITY EXAMPLES

Example A:
A researcher has already been working as a researcher in industry for two years since graduating with his/her
first degree in computer science.
S/he would be able to benefit from participation in an ITN as an ESR even without pursuing a PhD degree.

Example B:
A researcher has graduated with his/her MSc degree in computer science in 2007 and would like to start
his/her PhD studies in 2010.
S/he is eligible as an ESR within the ITN as s/he has less than 4 years of research experience and no PhD.

Example C:
A researcher obtained his/her PhD after 3 ½ years.
S/he is not eligible as an ESR within an ITN even though s/he has less than 4 years of research experience.

IMPORTANT DATES

There are two cut-off dates:

1) 1st Cut-off date: November 15, 2009
Expected starting date: January 1, 2010

2) 2nd Cut-off date: March 31, 2010
Expected starting date: October 1, 2010

Priority will be given to applicants that can join the project in early 2010.
Applicants should send an e-mail of interest to the contact person at the academic partner
of their choice (EPFL, TU Berlin, Technion, FORTH, or U Rennes I):

* EPFL: Prof. Rachid Guerraoui, rachid.guerraoui AT epfl DOT ch
* TU Berlin: Dr. Petr Kuznetsov, pkuznets AT acm DOT org
* Technion: Prof. Hagit Attiya, hagit AT cs DOT technion DOT ac DOT il
* FORTH: Prof. Panagiota Fatouru, faturu AT csd DOT uoc DOT gr
* U Rennes I: Prof. Michel Raynal, michel.raynal AT irisa DOT fr

FINANCIAL PROVISIONS

Marie Curie ITNs provide competitive financial support to the ESRs including:

* a fair monthly living and mobility allowance
* a yearly travel allowance (i.e., a fixed amount of money based upon the direct distance between the location
of origin of the researcher and the chosen institution)
* a career exploratory allowance (i.e., a single payment for attending job interviews, additional courses, job
fairs, etc.) and
* coverage of the expenses related to the participation of the ESRs in research and training activities
(contribution to research-related costs, meetings, conference attendance, training actions, etc.).

FLOPS 2010: Extended submission deadlines

----------------------------------------------------------------------------
LAST CALL FOR PAPERS

Tenth International Symposium on Functional and Logic Programming
(FLOPS 2010)
April 19-21, 2010
Sendai, Japan

http://www.kb.ecei.tohoku.ac.jp/flops2010/

** EXTENDED SUBMISSION DEADLINES **

abstracts: October 27, 2009
papers: November 3, 2009

FLOPS is a forum for research on all issues concerning declarative
programming, including functional programming and logic programming,
and aims to promote cross-fertilization and integration between the
two paradigms. Previous FLOPS meetings were held in Fuji Susono
(1995), Shonan Village (1996), Kyoto (1998), Tsukuba (1999), Tokyo
(2001), Aizu (2002), Nara (2004), Fuji Susono (2006), and Ise
(2008).

TOPICS

FLOPS solicits original papers in all areas of functional and logic
programming, including (but not limited to):

Declarative Pearls: new and excellent declarative programs with
illustrative applications.

Language issues: language design and constructs, programming
methodology, integration of paradigms, interfacing with other
languages, type systems, constraints, concurrency and distributed
computing.

Foundations: logic and semantics, rewrite systems and narrowing,
type theory, proof systems.

Implementation issues: compilation techniques, memory management,
program analysis and transformation, partial evaluation,
parallelism.

Applications: case studies, real-world applications, graphical
user interfaces, Internet applications, XML, databases, formal
methods and model checking.

The proceedings will be published as an LNCS volume. The proceedings
of the previous meeting (FLOPS 2008) were published as LNCS 4989.

INVITED SPEAKERS

TBD

PC CO-CHAIRS

Matthias Blume (Google, Chicago, USA)
German Vidal (Technical University of Valencia, Spain)

CONFERENCE CHAIR

Naoki Kobayashi (Tohoku University, Sendai, Japan)

PC MEMBERS

Nick Benton (Microsoft Research, Cambridge, UK)
Manuel Chakravarty (University of New South Wales, Australia)
Michael Codish (Ben-Gurion University of the Negev, Israel)
Bart Demoen (Katholieke Universiteit Leuven, Belgium)
Agostino Dovier (University of Udine, Italy)
John P. Gallagher (Roskilde University, Denmark)
Maria Garcia de la Banda (Monash University, Australia)
Michael Hanus (University of Kiel, Germany)
Atsushi Igarashi (Kyoto University, Japan)
Patricia Johann (Rutgers University, USA)
Shin-ya Katsumata (Kyoto University, Japan)
Michael Leuschel (University of Dusseldorf, Germany)
Francisco Lopez-Fraguas (Complutense University of Madrid, Spain)
Paqui Lucio (University of the Basque Country, Spain)
Yasuhiko Minamide (University of Tsukuba, Japan)
Frank Pfenning (Carnegie Mellon University, USA)
Francois Pottier (INRIA, France)
Tom Schrijvers (Katholieke Universiteit Leuven, Belgium)
Chung-chieh "Ken" Shan (Rutgers University, USA)
Zhong Shao (Yale University, USA)
Jan-Georg Smaus (University of Freiburg, Germany)
Nobuko Yoshida (Imperial College London, UK)

LOCAL CHAIR

Eijiro Sumii (Tohoku University, Sendai, Japan)

SUBMISSION

Submissions must be unpublished and not submitted for publication
elsewhere. Work that already appeared in unpublished or informally
published workshops proceedings may be submitted. Submissions should
fall into one of the following categories:

Regular research papers: they should describe new results and will
be judged on originality, correctness, and significance.

System descriptions: they should contain a link to a working
system and will be judged on originality, usefulness, and design.

All submissions must be written in English and can be up to 15
proceedings pages long. Authors are strongly encouraged to use
LaTeX2e and the Springer llncs class file, available at
http://www.springer.de/comp/lncs/authors.html

Regular research papers should be supported by proofs and/or
experimental results. In case of lack of space, this supporting
information should be made accessible otherwise (e.g., a link to a
web page, or an appendix). Papers should be submitted electronically
at http://www.easychair.org/conferences/?conf=flops2010

IMPORTANT DATES

Submission deadlines:
- Abstract: October 27, 2009
- Paper: November 3, 2009
Author notification: December 21, 2009
Camera-ready copy: January 24, 2010
Conference: April 19-21, 2010

PLACE

Sendai, Japan

Some previous FLOPS:

FLOPS 2008, Ise: http://www.math.nagoya-u.ac.jp/~garrigue/FLOPS2008/
FLOPS 2006, Fuji Susono: http://hagi.is.s.u-tokyo.ac.jp/FLOPS2006/
FLOPS 2004, Nara
FLOPS 2002, Aizu: http://www.ipl.t.u-tokyo.ac.jp/FLOPS2002/
FLOPS 2001, Tokyo: http://www.ueda.info.waseda.ac.jp/flops2001/

SPONSOR

Japan Society for Software Science and Technology (JSSST), SIG-PPL
Graduate School of Information Sciences, Tohoku University
International Information Science Foundation

IN COOPERATION with

AAFS (Asian Association for Foundation of Software)
ACM SIGPLAN
ALP (Association for Logic Programming)

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

Saturday, October 31, 2009

Friday, October 30, 2009

Thursday, October 29, 2009

Wednesday, October 28, 2009

Tuesday, October 27, 2009

Monday, October 26, 2009

Sunday, October 25, 2009

Friday, October 23, 2009

Thursday, October 22, 2009

Wednesday, October 21, 2009

Monday, October 19, 2009

Mailing Lists

Subscribe To

Search This Blog

Blog Archive