Sunday, January 24, 2010

[DMANET] Second Announcement and CfP: EURO XXIV, Lisbon, Portugal, July 11-14, 2010

24TH EUROPEAN CONFERENCE ON OPERATIONAL RESEARCH (EURO XXIV)
Lisbon, Portugal, July 11-14, 2010

www.euro2010lisbon.org


SECOND 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, FCUL.

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

The Programme and Organizing Committees, chaired by Silvano Martello
and Jose Paixao, respectively, are preparing a high quality scientific
programme and an 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.


PLENARY SPEAKERS:
John F. Nash, Jr.,
Harold W. Kuhn.

INVITED SPEAKERS:
Fran Ackermann,
Noga Alon,
James Cochran,
Elena Fernandez,
Pierre Hansen,
Martine Labbe,
Nelson Maculan,
Michel Minoux,
Arkadi Nemirovski,
Stefan Reichelstein,
Alexander Shapiro,
Stef Tijs.


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 PC member in charge
of the interested area.

No participant can present more than one paper at the Conference.
Abstract submission and registration are done online, via the Conference
web page.
Abstracts: max. 600 characters; submission deadline: Feb 28, 2010


AREAS:
(and PC members in charge; see contacts further below)
- Continuous Optimization >> GW Weber,
- Control Theory & System Dynamics >> GW Weber,
- Data Mining, Knowledge Discovery & Artificial Intelligence >> D Bouyssou,
- DEA and Performance Measurement >> EK Burke,
- Decision Analysis, Decision Support Systems >> D Bouyssou,
- Discrete Optimization, Geometry & Graphs >> J Blazewicz,
- Emerging Applications of OR >> G Woeginger,
- Energy, Environment and Climate >> G Woeginger,
- Financial Modelling & Risk Management >> GW Weber,
- Fuzzy Systems and Soft Computing >> D Pisinger,
- Game Theory, Mathematical Economics >> GW Weber,
- Location, Logistics, Transportation & Traffic >> S Nickel,
- Metaheuristics >> D Pisinger,
- Multiple Criteria Decision Making and Optimization >> D Bouyssou,
- OR Education, History, Ethics >> JF Oliveira,
- OR for Development and Developing Countries >> GW Weber,
- OR in Health & Life Sciences >> J Blazewicz,
- OR in Industry, and Software for OR >> S Nickel,
- OR in Natural Resources >> GW Weber,
- Production Management & Supply Chain Management >> S Nickel,
- Revenue Management & Managerial Accounting >> EK Burke,
- Scheduling, Timetabling & Project Management >> J Blazewicz,
- Simulation & Stochastic Programming and Modelling >> G Woeginger,
- Soft OR and Problem Structuring Methods >> D Bouyssou,
- Telecommunication & Networks >> JF Oliveira.

IMPORTANT DATES:
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 (silvano.martello@euro2010lisbon.org),
Jose Paixao (OC Chair), Portugal (jose.paixao@euro2010lisbon.org),
Jacek Blazewicz, Poland (jacek.blazewicz@euro2010lisbon.org),
Denis Bouyssou, France (denis.bouyssou@euro2010lisbon.org),
Edmund K. Burke, UK (edmund.burke@euro2010lisbon.org),
Marielle Christiansen, Norway (marielle.christiansen@euro2010lisbon.org),
Stefan Nickel, Germany (stefan.nickel@euro2010lisbon.org),
Jose Fernando Oliveira, Portugal (jose.fernando.oliveira@euro2010lisbon.org),
David Pisinger, Denmark (david.pisinger@euro2010lisbon.org),
Gerhard Waescher, Germany (gerhard.waescher@euro2010lisbon.org),
Gerhard-Wilhelm Weber, Turkey (gerhard.wilhelm.weber@euro2010lisbon.org),
Gerhard Woeginger, The Netherlands (gerhard.woeginger@euro2010lisbon.org).

ORGANIZING COMMITTEE:
Chair: Jose Paixao, Portugal (PT),
Silvano Martello (PC Chair), Italy,
Gerhard Wäscher (EURO VP), Germany,
Joaquim Borges Gouveia, PT,
Maria Eugenia Captivo, PT,
Domingos Cardoso, PT,
Manuel Furtado Martins, PT,
Joao Chambel Leitao, PT,
Jose Fernando Oliveira, PT,
Joao Patricio, PT,
Ana Paula Povoa, PT,
Antonio Proenca, PT,
Antonio Rodrigues, PT,
Joao Miguel Telhada, PT,
Jose Valerio de Carvalho, PT,
Margarida Vaz Pato, PT.


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 Management Science Strategic Innovation Prize (MSSIP 2010),
- The EURO Doctoral Dissertation Award (EDDA 2010),
- The EURO Excellence in Practice Award (EPA 2010).


THE PROGRAMME IN BRIEF:
The Conference starts July 11 (Sunday), 5pm, with the Opening Session,
including the awards ceremony.
This will be followed by the Welcome Reception at 7pm.
Meanwhile, inveterate football fans will have the opportunity to follow
the World Cup final (starting 7:30 pm) in a large screen.

The working sessions will occupy most of the 3 following days,
July 12-14 (Mon-Tue-Wed), and will start, on Monday morning,
with a plenary session with the keynote by Nobel laureate John Nash.

The Conference Dinner will be held on July 13, at Sala Tejo,
adjacent to Pavilhao Atlantico -- an intriguing and emblematic venue
of contemporary Lisbon, near the river estuary (www.pavilhaoatlantico.pt).
The Conference ends with another social event, not to be missed:
the Farewell boat trip, on Tagus River, on the late afternoon of July 14.


REGISTRATION FEES:
- Regular: 320 Euros (early); 420 Euros (late),
- Student: 170 Euros (early); 220 Euros (late),
- Accompanying persons: 120 Euros.
NB: Early fees applicable until March 31, 2010

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.

The Conference dinner is charged separately, at 70 Euros per person.


FURTHER INFORMATION:
We recommend participants:
1. to book their flights through the official air transport operator,
TAP Portugal: discounts are applicable for the Conference; and,
2. to book accommodation through the Conference webpage:
our official travel agency, Abreu, has secured a large number of rooms
in a variety of hotels in Lisbon at specially negotiated rates.

For more details, consult the conference site, www.euro2010lisbon.org,
where all relevant information will progressively be included.

Further proposals for Book or Software Exhibitions, Workshops,
and the edition of special issues of Journals are welcome.

Email addresses:
- prog@euro2010lisbon.org (Programme),
- registration@euro2010lisbon.org (Registration, travel & accommodation),
- info@euro2010lisbon.org (General enquiries).
**********************************************************
*
* 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 23, 2010

IBM Almaden postdoc positions

2010 Post-Doctoral and Summer Internship Positions with the Theory Group

The Theory Group has a post-doctoral position available for recent graduates to pursue research in theoretical computer science. The position is for two years, starting in the summer or fall of 2010.

We also have summer internship positions available for summer 2010, for students with a strong background in theoretical computer science.

Applicants for these positions may apply by sending:

  • a curriculum vitae, including a list of publications
  • names of at least three references with their contact information
  • a cover letter, indicating interest in a post-doc or summer internship
to csjobs_theory@almaden.ibm.com.

Please also ask your references to send letters of recommendation on your behalf to the same email address.

We would prefer documents in the pdf file format.

Applications received by January 31, 2010, will receive full consideration.

IBM is an equal opportunity employer committed to creating a diverse work environment.

AAA80: First Announcement

AAA80 WORKSHOP ON GENERAL ALGEBRA
in connection with the
WORKSHOP ON NON-CLASSICAL ALGEBRAIC STRUCTURES

http://www.mini.pw.edu.pl/aaa80


* DATES AND VENUE

These meetings will be held at the Mathematical Research
and Conference Center (a part of the Stefan Banach
International Mathematical Center) in Bedlewo
(www.impan.pl/EN/Bedlewo), near Poznan, Poland,
from June 1 (arrival day) to June 6 (departure day).

The meetings fall within the Stefan Banach conference series.

Both meetings will be organized by the Algebra Group
at the Warsaw University of Technology, in conjunction
with Potsdam University. Support is provided by the
Stefan Banach International Mathematical Center,
Warsaw University of Technology and Potsdam University.


* INVITED SPEAKERS

The list of invited speakers includes:

Joel Berman (Chicago, Illinois)
Igor Dolinka (Novi Sad)
Ales Drapal (Prague)
Heinz-Peter Gumm (Marburg)
Pawel Idziak (Krakow)
Jaroslav Jezek (Prague)
Achim Jung (Birmingham)
Andrzej Kisielewicz (Wroclaw)
Jimmie Lawson (Baton Rouge, Louisiana)
Franco Montagna (Siena)
Gabor Nagy (Szeged)
Jonathan D. H. Smith (Ames, Iowa)
Yde Venema (Amsterdam)


* SCOPE

The conference will consist of two parts:

1. A workshop on non-classical algebraic structures
(June 2-3, 2010);
2. A workshop within the series of AAA conferences
(June 4-6, 2010);

each comprising several longer keynote plenary lectures,
a number of shorter plenary lectures, and a larger number
of 20-minute contributed talks.

The main topics of this conference are related to the
traditional areas of the AAA conferences, but with special
emphasis on the following:

1. Non-classical algebraic structures --- e.g. entropic
algebras and in particular modes (idempotent and entropic
algebras), quasigroups and related structures, semirings
and semimodules.

2. Universal algebra and lattice theory --- duality
and representation theory for algebraic structures,
lattices of (quasi)varieties, finite axiomatizability
problems, clone theory, complexity, and other algorithmic issues.

3. Applications of algebra in logic, combinatorics and computer
science --- especially applications of universal algebra in
(fuzzy and non-classical) logics, graph theory, automata,
design and coding theories, the algebraic theory of coalgebras.

4. Classical algebraic structures --- semigroups, groups,
rings, and ordered algebraic structures, especially in
connection with universal algebraic methods.

The primary aim of the conference is to review the most recent
research results and trends in the above areas, and to promote
discussions and interactions between researchers. It should
bring together researchers working in the above areas, in order
to foster collaboration and future research.

A secondary goal is to attract the interest of graduate students
and younger researchers, providing them with interesting
and significant problems to work on.


* PROCEEDINGS

We plan to publish conference proceedings containing
original research articles as a special volume of
Demonstratio Mathematica. Detailed information will be
provided later on the conference web site.


* FINANCIAL SUPPORT

We hope to be able to provide financial support for a
limited number of participants. Preference will be
given to junior and low budget participants whose
contributed talk proposal has been approved.


* REGISTRATION

To register please go to the conference web site:
http://www.mini.pw.edu.pl/aaa80
Registration will open shortly.
The deadline for registration is 7 May 2010.


* ABSTRACTS

Abstracts of proposed talks should comprise 3-4 pages
in length, to be sent to: aaa80@mini.pw.edu.pl
by 30 March 2010. For a template and further instructions,
please see the conference web site. Authors will
be informed of acceptance of their talks by 10 May 2010.


* COSTS

The total cost of registration, accommodation and meals
for the two workshops will be approximately 200 Euros.


For further information please see the conference web site:
http://www.mini.pw.edu.pl/aaa80
This site will be updated regularly.

We are looking forward to meeting you in Bedlewo.

Organizing Committee: T. Brengos, K. Denecke, B. Jablonski,
A. Pilitowska, A. Romanowska, M. Stronkowski, A. Zamojska-Dzienio.

Scientific Committee: R. Poeschel, A. Romanowska, J.D.H. Smith.

Friday, January 22, 2010

[DMANET] Workshop Announcement: Public Key Cryptography and the Geometry of Numbers, May 6-7

Workshop announcement:

Public Key Cryptography and the Geometry of Numbers
Amsterdam, Netherlands
May 6-7, 2010
http://www.math.leidenuniv.nl/~dfreeman/workshop.html

This two-day workshop will focus on the use of lattices in the
construction of public-key cryptographic protocols. The first day will
provide an introduction to the subject, and the second day will cover
recent research results.

Organizers:
- Ronald Cramer (CWI and Universiteit Leiden, Netherlands)
- David Mandell Freeman (Stanford University, USA)

Confirmed Speakers:
- Erwin Dassen (Universiteit Leiden, Netherlands)
- Eike Kiltz (CWI, Netherlands)
- Hendrik Lenstra (Universiteit Leiden, Netherlands)
- Chris Peikert (Georgia Institute of Technology, USA)
- Oded Regev (Tel-Aviv University, Israel)
- Nigel Smart (University of Bristol, UK)

Venue:
The workshop will be held in the Trippenhuis, home of the Royal
Netherlands Academy of Sciences, in the center of Amsterdam.

Registration:
There is no registration fee. Lunch on the second day will be provided
free for registered participants. You can register at
http://www.math.leidenuniv.nl/~dfreeman/registration.html

Further information about the venue and program can be found on the
workshop website,
http://www.math.leidenuniv.nl/~dfreeman/workshop.html


_______________________________________________
crypto mailing list
crypto@mail.unipay.nl
http://mail.unipay.nl/mailman/listinfo/crypto

**********************************************************
*
* 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] submission deadline extension for CSDM 2010 in Paris (oct 2010)

Submission deadline extension to February 2, 2010.

------------------------------------------------------------------------
First International Conference on Complex Systems Design and Management
(CSDM 2010)
------------------------------------------------------------------------

October 27-29, 2010 - Paris , Cite Universitaire (France)

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

//Call for papers//

The management of large-scale complex industrial systems has a
considerable strategic importance for an important number of
enterprises (most notably in Europe and North America). This spawned
the relatively new academic field of "system architecture &
engineering", producing a body of research that allows engineers to
manage the increasing complexity of the technical systems they
design. By its very nature, this field is at the interface between
industry and academia, and requires its practitioners to be well
versed in industrial application-related as well as theoretical
knowledge. The ambition of the CSDM conference is to be the meeting
point of reference for the industrial and academic environments
working in the design and management of complex industrial systems.

*Important dates*

- Submission deadline: February 2, 2010 (was: Jan. 22)
- Acceptance notice for industrial contributions: March 15, 2010
- Acceptance notice for academics contributions: March 31, 2010
- Final version submission deadline: May 31, 2010
- Conference: October 27-29, 2010

*Submission procedure*

As the CSDM conference is both industrial and academic, there will be
different submission procedures according to the type of submitted
contributions. Industrial submissions are aimed to present good
practices in industry, shared experiences and case studies: either a
12-pages PDF-formatted paper or a 15-slides PowerPoint presentation is
acceptable for selection purposes. Scientific submissions are aimed to
present innovative methodological, technical or scientific results: a
12-pages PDF-formatted paper is necessary for selection purposes.
Subject to contribution acceptance, inclusion on the Springer
proceedings book requires a 12-pages paper formatted according to
specific Springer style files. More details can be found on the
conference website.

*Proceedings and publications*

The conference proceedings will be published in a dedicated 2-volume
edited book by Springer-Verlag (Science and Engineering). Selected
papers will be published in special issues appearing in international
journals covering the conference topics. We already have an agreement
with Concurrent Engineering Research and Applications.

*Topics*

_Industrial domains_
Constructors and operators of transportation systems
Defense and security
Electronics and robotics
Energy and environment
Health and welfare services
Media and communications
Software and e-services

_Scientific and technical topics_
Systems fundamentals (algorithmics & complexity, control theory,
communications, mathematical programming, semantics, systemics,
information technology, signal processing)
Systems architecture (needs capture, requirements development,
systems modelling, simuling, optimization, sizing and
specification, architectural frameworks)
Systems engineering (design, industrialization, integration,
verification, validation, qualification, deployment,
maintenance, dismantling)
Industrial projects (innovation management, systems project
management, agile methods, test oriented methods, project office)
Systems metrics (architectural metrics, complexity measures, cost &
delay evaluation, key performance indicators, quality of service)
Systems quality (analysis and covering of risks, availability,
maintenability, operability, reliability, security, safety and
usability analyses, tests)
Systemic tools (configuration management, formal verification,
system behaviour analysis tools, modelling & simuling tools,
test management)

_Systems types_
Embedded systems (electronics, health, telecoms, transport, etc.)
Transportation systems (aerospace, automobile, railways, ships, etc.)
Software systems (Internet applications, networks, operating systems,
parallel and distributed systems, etc.)
Information systems (command, control & communication systems,
enterprise information systems (BI, CRM, EII, ERP, SCM), industrial
information systems (SCADA, PLM, etc.), supervision systems, etc.)
Systems of systems (air traffic management, management of financial
systems, network centric warfare, travel reservation systems, etc.)
Artificial eco-systems (city planning & engineering, integrated hubs, etc.)

*Organizing committee*

D. Krob (Ecole Polytechnique - Chair)
O. Bournez (Ecole Polytechnique)
O. Hammami (ENSTA)
L. Liberti (Ecole Polytechnique)
S. Peyronnet (Paris-Sud)
Y. Pollet (CNAM)

More information can be found on the conference website
http://www.csdm2010.csdm.fr. For any question, please write an email
to contact@csdm.fr.
**********************************************************
*
* 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] ACM EuroSys FeBID Workshop 2010

When Control theory meets Distributed systems, Operating systems,
Networked and Embedded systems...

---------------------------
Title:
---------------------------
Fifth International Workshop on Feedback Control Implementation and
Design in Computing Systems and Networks (FeBID 2010)

In conjunction with the ACM SIGOPS EuroSys 2010 Conference, Paris, France

---------------------------
Web site:
---------------------------
http://controlofsystems.org/febid2010/


---------------------------
Synopsis
---------------------------
FeBID is a series of workshops. In 2010, FeBID is associated with the
ACM SIGOPS EuroSys 2010 conference. The workshop aims to bring together
researchers, practitioners, system administrators, system programmers,
and others interested in the latest advances in the control of computer
systems and networks. The focus of the workshop is on novel, practical,
systems-oriented work. Please see the Conference Website for further
details: http://controlofsystems.org/febid2010/

FeBID explicitly encourages members of the systems community to explore
leading-edge topics and ideas before they are presented at a major
conference. Two formats of contributions are welcome: regular papers (6
pages), and position papers (2 pages).

FeBID will feature a Keynote speech on Introduction to "Control Theory
and Its Application to Computing Systems", given by Joseph L.
Hellerstein, Google. This talk provides an introduction to control
theory for computer scientists with an emphasis on applications,
industry implementations as well as research directions.

---------------------------
Dissemination
---------------------------
Accepted papers will be published in the proceedings of FeBID in the ACM
Digital Library.

Furthermore, selected papers from FeBID will be published in a special
issue of the ACM Operating Systems Review (OSR), see
http://www.sigops.org/osr.html.

---------------------------
Grants
---------------------------
Grants are offered to attend the FeBID 2010 workshop.
Please address your motivated application to
febid10-chairs@controlofsystems.org

---------------------------
Important dates
---------------------------
Paper submission: February 1, 2010
Acceptance notification: March 1, 2010
Final paper due: March 29, 2010
Workshop: April 13, 2010

---------------------------
Contact Email:
---------------------------
febid10-chairs@controlofsystems.org

---------------------------
Program Chairs
---------------------------
Sara Bouchenak, Grenoble University
Eric Rutten, INRIA Grenoble

---------------------------
Program Committee
---------------------------
Luis Almeida, Univ. of Porto, Portugal
Karl-Erik Arzen, Lund University
Yixin Diao, IBM T.J. Watson Research Center
Joseph L. Hellerstein, Google
Xenofon D. Koutsoukos, Vanderbilt University
Stephane Lafortune, University of Michigan
Jie Liu, Microsoft Research
Chenyang Lu, Washington University in St. Louis
Arif Merchant, Hewlett Packard Labs
Guillaume Pierre, Vrije Universiteit
Anders Robertsson, Lund University
Sharad Singhal, Hewlett Packard Labs
Emin Gun Sirer, Cornell University
Bhuvan Urgaonkar, The Pennsylvania State University
Qian Wang, Pennsylvania State University
Yin Wang, HP Labs
Xiaoyun Zhu, VMware

---------------------------
Submission Chair
---------------------------
Gwenael Delaval, INRIA Grenoble

--

Dr Sara Bouchenak

Associate Professor - University of Grenoble I - France

INRIA - SARDES | Phone: +33 (0)4 76 61 53 82
655, avenue de l'Europe, Montbonnot | Fax: +33 (0)4 76 61 52 52
38334 St Ismier Cedex, France | Sara.Bouchenak@inria.fr
http://sardes.inrialpes.fr/~bouchena/

**********************************************************
*
* 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] UANL - PISIS - Faculty Position

//////////////////////////////////////////////////////
// //
// UNIVERSIDAD AUTONOMA DE NUEVO LEON //
// //
// Graduate Program in Systems Engineering //
// //
// Tenure-Track Faculty Positions //
// //
//////////////////////////////////////////////////////

The Graduate Program in Systems Engineering at
Universidad Autonoma de Nuevo Leon (UANL) is seeking
candidates for one or more tenure-track faculty
positions. The program (http://yalma.fime.uanl.mx/~pisis)
offers MSc and PhD degrees in systems engineering with
area of concentration in operations research.

The applicants must have a PhD in operations research,
management science, industrial/systems engineering,
applied probability, computer science, or a related
area. The search is open to all areas of specialization.
Preference will be given to candidates with a strong
background in one or more of the following research areas:
heuristic/metaheuristic search, stochastic modeling
(queueing, simulation, applied probability), supply chain
management, revenue management, large-scale system
optimization, or stochastic optimization; or the
following application areas: natural resources
(electricity, natural gas, oil, water systems), logistics
and transportation, service industry, or manufacturing
systems.

Applicants must be fluent in Spanish or willing to
learn after appointed. Successful applicants may start
the appointment on August 2010 or on a later date to be
agreed upon.

Duties include mainly teaching one or two courses
per semester (at most one undergrad course), thesis
supervision of graduate students, and high-quality
research. The program offers a wide opportunity for
research, industrial R+D or consulting activities.
The salary and benefits package is very attractive for
Mexican standards.

UANL (http://www.uanl.mx) is located in San Nicolas de
los Garza, in the metropolitan area of Monterrey, the
third largest city in Mexico, with a population of over
3 million, a high concentration of artistic, cultural,
and sporting events, a growing industry in many of its
facets, and a two-hour drive from the border with Texas.

Applicants should submit: (1) a cover letter describing
professional achievements and previous research
work, and your expected contribution to the program;
(2) full CV highlighting professional experience, research
interests, publication record, computer skills, and
degree of fluency in Spanish; and (3) three letters of
recommendation (Spanish or English); addressed to
PISIS Academic Coordinator, at the address below. It is
strongly encouraged one of these letters comes from the
PhD thesis supervisor. Electronic submission of items
(1) and (2) is encouraged.

Review of applications will begin immediately and will
continue until the positions are filled. For further
inquiries, please see contact information below.


--
+--------------------------------------------------------------+
| Recruiting Committee U A N L |
| Grad Program in Systems Eng |
| Off:+52(81)8329-4020 x5945 AP 126-F, Cd. Universitaria |
| Fax:+52(81)1052-3321 San Nicolas de los Garza, NL |
| jobs[at]yalma.fime.uanl.mx MEXICO 66450 |
| yalma.fime.uanl.mx/~pisis/ |
+--------------------------------------------------------------+
**********************************************************
*
* 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/
*
**********************************************************

PhD Stipends in Static Analyis and Model Checking

We are happy to announce several PhD Stipends on Models and Logics for
Verification and Analysis incorporating Static Analysis and Model
Checking to the held at The Technical University of Denmark.

Full details are available at http://www.mt-lab.dk/stipends.html

Sincerely,

Flemming Nielson

MEMICS 2010, 1st CFP

6th Doctoral Workshop on Mathematical and Engineering
Methods in Computer Science

MEMICS 2010

http://www.memics.cz
October 22--24, 2010, Hotel Galant, Mikulov, Czech Republic

Call for Papers

The MEMICS 2010 workshop is organized jointly by the Faculty of
Informatics, Masaryk University, and the Faculty of Information Technology,
Brno University of Technology.

The aim: To provide a forum for doctoral students interested in applications
of mathematical and engineering methods in computer science with an emphasis
on methods for developing reliable and secure computer systems.

Topics: Submissions are invited especially in the following (though not
exclusive) areas:
software and hardware dependability, computer security, parallel and
distributed computing, formal analysis and verification, simulation, testing
and diagnostics, GRID computing, computer networks, modern hardware and its
design, non-traditional computing architectures, quantum computing, and all
related areas of theoretical computer science.

Invited talks: Several invited talks by distinguished researchers from
various areas of interest of the workshop will be a part of the programme.

Involvement: Students are invited to submit a regular paper or a presentation.
A regular paper is a previously unpublished original work, not exceeding
8 pages in the LNCS style. A presentation reflects recent outstanding work
that has been published (or is accepted) at a leading computer science
conference or in a recognized scientific journal, and shall be submitted
in the form of a one-page abstract which will also appear in the proceedings.
Detailed instructions for authors are available at the web page
http://www.memics.cz/. The proceedings will be available at the workshop in
printed form.

Dates: The deadline for the submissions is September 8, 2010, but all
regular papers also have to be registered by September 1.
The authors will be notified about review results by September 22,
and the final camera-ready versions of all accepted submissions are
expected by September 30.

Venue: The workshop will be held in Mikulov, a lovely town near the
Austrian boarders at the edge of the Palava Landscape Protected Area.
Mikulov, situated in the centre of vineyard area, is also famous for
numerous examples of architecture. Tourists attractions include the Mikulov
Castle, the Piarist College, the Dietrichstein Sepulchre, and the former
Jewish ghetto.

General Chair
Ludek Matyska, Brno

Organizing Committee Chair
Jan Staudek, Brno

The workshop is organized within project No. 102/09/H042 of the Czech
Science Foundation, supporting PhD studies in the area of theory and
applications of parallel and distributed systems.

Wednesday, January 20, 2010

[qest-announce] CFP: NSMC 2010

Apologies for multiple mailing
----

Call for Papers
6th International Workshop on the Numerical Solution of Markov Chains
NSMC 2010

College of William & Mary, Computer Science Department
16th-17th September, 2010, Williamsburg, VA, USA

http://www.cs.bilkent.edu.tr/~nsmc10

*** co-located with the 7th International Conference on the ***
*** Quantitative Evaluation of SysTems (QEST'10) *


TOPICS OF INTEREST
Include, but are not limited to:
- Matrix generation techniques and storage
- Stochastic automata networks
- Application-oriented interfaces
- Sparse matrix technologies
- Very large state spaces
- Computation of stationary probability vectors
- Direct solution methods
- Iterative solution methods
- Matrix geometric solutions
- Domain decomposition methods
- Hierarchical andaggregation/disaggregation methods
- Preconditioning and incomplete factorizations
- Computation of transient solutions
- Randomization/uniformization
- O.D.E. & P.D.E. Solvers
- Computation of other measures: first passage times, etc.
- Approximations
- Aggregation/disaggregation
- Truncations
- Bounds
- Kronecker approximations
- Markov reward models
- Sensitivity analysis
- Optimization
- Simulations
- Parallel implementations
- Markov chain applications to:
- Information retrieval
- Computer performance modelling
- Telecommunication modelling
- Biological systems
- Financial and economic applications
- Others ... not necessarily from the CS area
- P.C. Demonstrations

SUBMISSIONS
For the workshop, (extended) abstracts are to be submitted. They must
be in English and should not exceed 4 pages in IEEE double column
format. They must be unpublished and must not be submitted for
publication elsewhere. Those that are accepted will appear in the
workshop proceedings, and must be presented by one of the authors.
Submissions will be handled by the EasyChair system. Full papers will
be submitted to a special issue of the journal Numerical Linear Algebra
with Applications (NLAA) after the workshop.

INVITED SPEAKER
William J. Stewart (US)

DEADLINES
(Extended) abstracts : April 2, 2010
Notification : May 14, 2010
Workshop : September 16-17, 2010
Full papers : October 1, 2010

GENERAL CHAIRS
Peter Kemper (US)
Evgenia Smirni (US)

PROGRAM CO-CHAIRS
Michele Benzi (US)
Tugrul Dayar (TR)

LOCAL ORGANIZATION CHAIR
Ruth Lamprecht (US)

PUBLICITY CHAIR
Giuliano Casale (UK)

PROGRAM COMMITTEE
Nail Akar (TR)
Dario Bini (IT)
Peter Buchholz (DE)
Susanna Donatelli (IT)
Jean-Michel Fourneau (FR)
Reinhard German (DE)
Wilfried Gansterer (AT)
Boudewijn Haverkort (NL)
Holger Hermanns (DE)
Jane Hillston (UK)
Ilse Ipsen (US)
Joost-Pieter Katoen (DE)
Stephen Kirkland (IE)
William J. Knottenbelt (UK)
Udo R. Krieger (DE)
Amy N. Langville (US)
Ivo Marek (CZ)
Raymond Marie (FR)
Beatrice Meini (IT)
Carl D. Meyer (US)
Andrew S. Miner (US)
Harry Perros (US)
Brigitte Plateau (FR)
Ivana Pultarova (CZ)
William H. Sanders (US)
Roger B. Sidje (US)
Daniel B. Szyld (US)
Miklos Telek (HU)
Kishor S. Trivedi (US)
Benny Van Houdt (BE)
Jean-Marc Vincent (FR)
Verena Wolf (DE)
_______________________________________________
qest-announce mailing list
qest-announce@iti.uiuc.edu
http://mailman.crhc.uiuc.edu/mailman/listinfo/qest-announce

[DMANET] CiE 2010 - Corrections and Updates to the Final Call for Papers

Important information from the CiE 2010 co-chairs:


---------------------------------------------------------------------------
CORRECTIONS AND UPDATES TO THE FINAL CALL FOR PAPERS
---------------------------------------------------------------------------

COMPUTABILITY IN EUROPE 2010: Programs, Proofs, Processes
Ponta Delgada (Azores), Portugal
June 30 to July 4, 2010
http://www.cie2010.uac.pt/

Deadline for submissions: 20 JANUARY 2010*

*Even though the deadline for submission of papers is January 20, the
actual refereeing process will not start for a week or even slightly
longer. Submissions can be made as long as EasyChair allows.
---------------------------------------------------------------------------

Computability in Europe provides the largest international conference
dealing with the full spectrum of computability-related research. For more
details, we refer to the original Call for Papers at

http://www.cie2010.uac.pt/contents/call_for_papers.html

Please find some corrections, updates and reminders on informal
presentations, grant opportunities and the special sessions below.

INFORMAL PRESENTATIONS. We have received many questions about the
possibility of giving informal presentations at CiE 2010. As is the CiE
tradition, there will be again informal presentations at CiE 2010. The
call for informal presentations will be published after the decisions on
the submitted papers are announced, with a deadline around April-May.

GRANT OPPORTUNITIES. We would like to stress that CiE 2010 has many
opportunities for grants and we would encourage those eligible for a grant
to consider the submission of a paper:

1. Papers that have only student authors are eligible for the "CiE 2010
Best Student Paper Award." If your submission satisfies the requirements,
please submit your paper in the category "Regular paper (eligible for Best
Student Paper Award)." The Programme Committee will select the best
submission among these after acceptance. The recipient of the Best Student
Paper Award will get a fee waiver of the registration fee, a certificate,
and a small symbolic cash prize.

2. Funded by the Elsevier Foundation's programme 'Women in
Computability' we shall offer five travel grants (covering registration
fee and up to 300 EUR in reimbursement for travel and accomodation
expenses) for junior female researchers. More information will become
available in March 2010.

3. Funded by the Elsevier journal Annals of Pure and Applied Logic
(APAL), the organizers are offering a number of travel grants (including
fee waivers and a modest reimbursement of travel and accommodation
expenses) for students to attend CiE 2010. Student authors of accepted
papers will have priority for these grants.

4. The Association for Symbolic Logic (ASL) sponsors modest student
member travel grants. See
http://www.aslonline.org/studenttravelawards.html

5. New funding opportunities are expected to be offered. For more
details concerning funding and up to date information, please consult
regularly the web page of the conference http://www.cie2010.uac.pt/

SPECIAL SESSIONS. The following is the complete list of speakers at the
six special sessions at CiE 2010:

Biological Computing, organizers: Paola Bonizzoni, Krishna Narayanan
Invited speakers: Natasha Jonoska, Giancarlo Mauri, Yasubumi Sakakibara,
Stephane Vialette

Computational Complexity, organizers: Luis Antunes, Alan Selman
Invited speakers: Eric Allender, Christian Glasser, John Hitchcock, Rahul
Santhanam

Computability of the Physical, organizers: Cris Calude, Barry Cooper
Invited speakers: Giuseppe Longo, Yuri Manin, Cris Moore, David Wolpert

Proof Theory and Computation, organizers: Fernando Ferreira, Martin Hyland
Invited speakers: Thorsten Altenkirch, Samuel Mimram, Paulo Oliva, Lutz
Strassburger

Reasoning and Computation from Leibniz to Boole, organizers: Benedikt
Loewe, Guglielmo Tamburrini
Invited speakers: Michele Friend, Volker Peckhaus, Olga Pombo, Sara
Uckelman

Web Algorithms and Computation, organizers: Thomas Erlebach, Martin Olsen
Invited speakers: Hannah Bast, Debora Donato, Alex Hall, Jeannette Janssen

__________________________________________________________________________
ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk
CiE Conference Series http://www.illc.uva.nl/CiE
CiE 2010 http://www.cie2010.uac.pt/
CiE Membership Application Form http://www.cs.swan.ac.uk/acie
CiE on Twitter http://twitter.com/AssociationCiE
__________________________________________________________________________


**********************************************************
*
* 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, January 19, 2010

[DMANET] CFP -- MCU '01 -- MACHINES, COMPUTATIONS AND UNIVERSALITY

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

International Conference

MACHINES, COMPUTATIONS AND UNIVERSALITY

- ----------------------------------------------------------------------
M M CCC U U I 22222 00000 1 00000
MM MM C C U U I 2 2 0 0 11 0 0
M M M M C U U 2 2 0 0 1 1 0 0
M M M C U U 22 0 0 1 0 0
M M C U U 2 0 0 1 0 0
M M C C U U 22 0 0 1 0 0
M M CCC UUU 2222222 00000 1111 00000

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

PITTSBURGH, PA, USA

Carnegie Mellon University
Department of Computer Science

---------
SEPTEMBER 21-25

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

Organizing institutions :

Carnegie Mellon University, Department of Computer Science
Université d'Orléans, LIFO
Université Pau Verlaine - Metz, LITA

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


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

TOPICS :

Digital Computations:
Turing machines, register machines, cellular automata,
other automata, tiling of the plane, polyominoes, snakes,
neural networks, molecular computations, word processing
(goups and monoids), other machines
Analog and Hybrid Computations:
BSS machines, infinte cellular automata, real machines,
quantum computing
In both cases:
frontiers between a decidable halting problem and an
undecidable one in the various computational settings
minimal universal codes:
size of such a code, namely, for Turing machines, register
machines, cellular automatas, tilings, neural nets,
Post systems, ...
computation complexity of machines with a decidable halting
problem as well as universal machines
self-reproduction and other tasks
universality and decidability in the real field

PROGRAM COMMITTEE :

Erzsébet CSUHAJ-VARJÚ, Hungarian Academy of Sciences, Hungary
Jérôme DURAND-LOSE, University of Orléans, France, co-chair
Vladik KREINOVICH, the University of Texas at El Paso
Maurice MARGENSTERN, LITA, University of Metz, France, co-chair
Cris MOORE, Santa Fe, USA
Gheorghe PÃUN, Romanian Academy, Bucharest, Romania
Igor POTAPOV, University of Liverpool, UK
Yurii ROGOZHIN, Institute of Mathematics, Chisinau, Moldov
Klaus SUTNER, Carnegie Mellon University, Pittsburgh, USA, co-chair
Ji?í WIEDERMANN, Academy of Science, Czech Republic
Damien WOODS, University College, Cork, Ireland

ORGANIZING COMMITTEE :

Klaus SUTNER, Carnegie Mellon University, Pittsburgh, USA,
co-chair
Jérôme DURAND-LOSE, Université d'Orléans, Orléans, France,
co-chair
Maurice MARGENSTERN, Université Paul Verlaine - Metz, Metz,
France, co-chair

INVITED SPEAKERS :

Andrew ADAMATZKY, University of Bristol, UK
Olivier BOURNEZ, LORIA, INRIA-Lorraine, France
Mark BURGIN, University of Califonia at Los Angeles, USA
Jarkko KARI, University of Turku, Finland
Pascal KOIRAN, École Normale Supérieure de Lyon, France
Kenichi MORITA, University of Hiroshima, Japan
Kumbakonam Govindarajan SUBRAMANIAN, Christian College of
Chennai, India
Wilfried SIEG, Carnegie Mellon University, Pittsburgh, USA
Stephen WOLFRAM, Wolfram Research


MCU'95, MCU'98 and MCU'2001 gave rise to TCS special issues on
"Machines, Computations and Universality": 168-2 (1996), 231-2 (2000)
and 296-2 (2002). MCU'2004 and MCU'2007 gave rise to Fundamenta
Informaticae special issues: 74(4) (2005), 91(1) and 91(2) (2008). The
interest of computer scientists for the topics of the conference
increased in the last years. New domains appeared, continuing them in a
natural way. This explains why a regular scientifing meeting on this
topics must hold, each three years. And so, three years after MCU'2007
the turn of MCU'2010 comes.

SUBMISSIONS

Send you submission by e-mail to one of the co-chairs of MCU (see
addresses at the end of the announcement) as a .ps or a .pdf file. NO
OTHER FORMAT will be accepted. Please, use the LaTeX style of Electronic
Proceedings in Theoretical Computer Science in order to produce your
submission. You can find the style file at:
http://style.eptcs.org/

Your submission should not exceed 25 pages in the above indicated format.

Please, keep in mind the following dates which are STRICT dead lines:

Dead line for submission : March, 15, 2010
Notification of acceptance or rejection : June, 1, 2010
Dead line for receiving corrected version of accepted papers :
July, 1, 2010

CONFERENCE PROCEEDINGS

The proceedings of MCU'2010 will published by Electronic Proceedings
in Theoretical Computer Science, which already published the proceedings
of CSP 2008, DCFS 2009, DCM 2009 (under ICALP 2009) and MeCBIC2009 and
they will publish those of DCFS 2010 for instance. The proceedings will
be available at the conference as a CD.

IJFCS SPECIAL ISSUE

A special issue of the International Journal of Foundations of
Computer Science devoted to "Universal Machines and Computations'VI"
will be published on the topics of the conference. A call for paper will
be launchedjust after MCU'2010 on the topics of the conference. The
submitted papers will be refereed and accepted papers after this process
will be published in the special issue. It will be possible to submit an
extended version of a paper published in the EPTCS proceedings of
MCU'2010, provided that the extension is actually needed or, preferably,
that it contains new substantial results. The selection process for the
special issue will be strict on these criteria.

REGISTRATION FEES :

In order to attend the conference, send your registration form by
surface mail at the below indicated address, by FAX, by e-mail or using
the web site of the conference when the date of registration will be
announced. Registration fees amount to 400 USD if paid before July 1st
2010 and to 450 USD after that date. Further details for the payment of
the registration fees will be available later on the web site of the
conference.

LANGUAGE OF THE CONFERENCE

English.

RECEPTION

Reception of participants will hold on Monday, September, 20 and on
Tuesday, September, 21, at times which will be later indicated.

MAIL:

e-mails :

margens@univ-metz.fr
jerome.durand-lose@univ-orleans.fr
sutner@cs.cmu.edu

by surface mail :


Maurice MARGENSTERN
Université Paul Verlaine - Metz,
LITA, EA 3097, UFR MIM,
Campus du Saulcy,
F - 57045 METZ CEDEX
FRANCE

Jérôme Durand-Lose
Université d'Orléans,
LIFO, Batiment IIIA,
Rue Léonard de Vinci
B.P. 6759
F - 45067 ORLEANS Cedex 2

FAX: +33387315309

WEB SITE:

http://www.cs.cmu.edu/~mcu2010

- ---------------------- PLEASE, DISTRIBUTE WIDELY! ---------------------
**********************************************************
*
* 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 Tutorials

Call for Tutorial Proposals

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

The CP 2010 tutorial chair invites proposals for the Tutorial Program.

CP 2010 tutorials are ideally targeted at the whole constraint
community and should give a state-of-the-art description of a thriving
field of research inside or related to constraint programming. Topics
such as symmetry in constraint networks, numerical CSP, global
constraints, connections with satisfiability of mathematical
programming are example of topics which have been adressed in previous
CP conferences. Topics with well identified scientific questions and
an associated body of knowledge and which have recently witnessed
marked progress in theory and/or practice are especially welcome.

The tutorials will take place during the main technical program.

Important Dates

- May 14, 2010: Proposal submission deadline
- May 29, 2010: Acceptance notification
- June 5, 2010: Speaker(s) to submit a more detailed tutorial syllabus
- Sept 6-10, 2010: CP main technical program and tutorials


Proposals for tutorials should contain the following information:
* The title with a technical description of the tutorial on one
page, specifying the topic, the targeted audience, the goals,
the technical issues it will focus on and a short bibliography
of few important references.
* A brief discussion of why and to whom the tutorial is of interest.
* The name and email address of the organizers together with their
qualifications and previous experience.

Submitting a Proposal
All proposals should be submitted by electronic mail (in ASCII),
to the tutorial chair.

CP'10 Tutorial Chair
Thomas Schiex
Mail, address, phone: see http://www.inra.fr/mia/T/schiex

**********************************************************
*
* 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, January 18, 2010

[DMANET] Public Transport @ EURO XXIV in Lisbon

PUBLIC TRANSPORT

at the EURO XXIV Conference

July 11-14, 2010 in Lisbon, Portugal

http://www.euro2010lisbon.org/


Following the success of the public transportation stream of the
previous EURO conference, EURO 2010 will again offer a stream "Public
Transport" which will be organized by Anita Schöbel and Leo Kroon.

We are now looking for session organizers and for papers fitting in this
stream!

Would you be interested to organize a session of 4 talks (90 min) on
some particular topic within this stream ? This involves choosing the
specific topic, contacting speakers and handling their submission on the
online system of the conference, to which you will then get access.
(Usually, but not necessarily, the organizer is also session speaker
and/or chair.) If you are interested, please let us know soon, even if
you are not yet fully sure, and best before contacting potential
speakers.

In case you plan to present a paper within our stream, but do not want
to organize a full session, please let us also know and submit the paper
first to us. Papers submitted directly to the conference are much harder
to trace later for inclusion in the correct stream.

We are looking forward to a successful transportation stream and to
meeting you in Lisbon!

Anita and Leo

Anita Schöbel Leo Kroon
University of Göttingen Erasmus University Rotterdam
schoebel@math.uni-goettingen.de Rotterdam School of Management
lkroon@rsm.nl

[DMANET] precisions about the full professor position (Operations Research) Paris 6 university

The candidates for the full professor position at the Paris 6
university (Operations Research) must apply for the post between
February 23 and March 25 (2010). The selection decision will be made
between march 25 and may 24. The exact research profile is recalled
below. As far as possible, it is desirable that the candidates come
into contact with the RO team of the LIP6 laboratory.

------------------------------
Position type : Full professor
Domain : Operations Research
Localisation : Paris 6 university, LIP6 laboratory,
DESIR dept, OR team
Contact : Philippe.Chretienne@lip6.fr

Research profile :
The candidate must be competent and experienced in OR and be open to
emergent OR domains so that he will be able to supervise one of the
research directions of the RO team of the LIP6 laboratory. The
candidate is also expected to
develop the industrial collaborations as well as the institutional
projects of the RO team, especially for what concerns the research
domain he will have to supervise.

Among the research directions of the RO team, the candidate should
integrate one of the following themes: scheduling, lot-sizing, network
optimization or algorithmic game theory. The optimization problems
are treated through mathematical modelling, problem complexity analysis,
efficient algorithm design, and the development of a resolution
software. The models may be deterministic or stochastic. In the
deterministic case, the tools are issued from Combinatorial Optimization
for exact or approximate resolution while for the stochastic case,
tools are issued fom stochastic analysis and optimal control.

--------------------------
Prof. Philippe Chretienne
Universite Pierre et Marie Curie
Laboratoire LIP6
Bureau 513
104, avenue du president Kennedy
75016 Paris, France

tel: 01 44 27 72 09
fax: 01 44 27 88 89

**********************************************************
*
* 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] minisymposium GRAPHS, ICNAAM 2010

FIRST CALL FOR PARTICIPATION

Minisymposium GRAPHS (item 16), ICNAAM 2010 (International Conference
of Numerical Analysis and Applied Mathematics 2010), Rhodes (Greece),
19-25 September 2010.

Organizer: Vojislav Petrovic (DMI Novi Sad)

Topics:
- scores in graphs and digraphs
- Eulerian and Hamiltonian graphs and digraphs
- planar graphs
- graph factors and decompositions
- graph colorings
- extremal graphs
- graph spectra
- tournaments and hypertournaments
- graph algorithms

Please send an email to vojpet@dmi.uns.ac.rs or vojpet@gmail.com to
register.

For further information and details visit

<http://www.icnaam.org/> http://www.icnaam.org/

Vojislav Petrovic
**********************************************************
*
* 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] ODSA 2010

First Announcement

OPTIMAL DISCRETE STRUCTURES AND ALGORITHMS (ODSA 2010)

September 13-15, 2010, Rostock, Germany

http://www.math.uni-rostock.de/odsa/


The ODSA 2010 conference, to be held at the University of Rostock,
continues the ODSA series following previous conferences in 1997,
2000 and 2006.
The University of Rostock was founded in 1419 and is the oldest
university in Northern Europe. The old Hanse-town Rostock is located
about 200 km north of Berlin at the Baltic coast.

AIMS AND SCOPE

The conference aims at the interactions between several aspects of Discrete
Mathematics, Mathematical Optimization, Theoretical Computer Science, and
their applications. In particular, the scope of the conference includes
combinatorial optimization and algorithms on discrete structures, extremal
problems in posets, design theory, coding theory, and graph theory.

ORGANIZERS

A. Brandstädt and V.B. Le (Dept. of Computer Science),
K. Engel, H.-D. Gronau, R. Labahn and F. Pfender (Dept. of Mathematics).

INVITED SPEAKERS

Bela Bollobas (Cambridge, Memphis)
Michal Karonski (Poznan)
Kurt Mehlhorn (Saarbrücken)
Walter Wallis (Carbondale)
Peter Widmayer (Zürich)
Gerhard Woeginger (Eindhoven)

CONTRIBUTED TALKS

We invite submission of short abstracts of 25-minute talks to be presented
at the conference in parallel sections. The deadline for submission is

July 15th, 2010.

See http://www.math.uni-rostock.de/odsa/ for submission details.

PROCEEDINGS

There will be a special issue of Discrete Applied Mathematics (DAM) with
contributions to the conference. Submitted papers will be refereed according
to the usual procedures. Proceedings of ODSA 1997, 2000 and 2006 appeared as
DAM Volume 95, No. 1-3, Volume 138, No. 1-2, and Volume 157, No. 9.

PREREGISTRATION

To make sure you receive further information, please preregister by email to

odsa@uni-rostock.de

We will confirm preregistration by an email response within a week. If
you do not receive any answer, your message might have been lost in spam -
then please repeat it.

REGISTRATION AND CONFERENCE FEE

The deadline for registration is

July 15th, 2010.

The conference fee of

Euro 50 (students: Euro 35)

includes refreshments, social events and a conference dinner.
Please see http://www.math.uni-rostock.de/odsa/ for more details.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

Sunday, January 17, 2010

[DMANET] CFP of IEEE CIT Conference and Journal Special Issues

[Please accept our apologies if you receive multiple copies of this emails]

*********************** IEEE CIT-2010 CFP *****************************

The 10th IEEE International Conference on Computer and Information
Technology (CIT-2010), Bradford, UK, 29 June - 1 July, 2010

http://www.scim.brad.ac.uk/~ylwu/CIT2010/

Sponsored by
IEEE, IEEE Computer Society and IEEE Technical Committee of Scalable
Computing (TCSC)

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

Distinguished selected papers accepted and presented in CIT-2010, after
further extensions, will be published in special issues of the following
prestigious Journals indexed by SCI:
- Journal of Supercomputing - Springer
- Journal of Computer and System Sciences - Elsevier
- Concurrency and Computation: Practice and Experience - John Wiley & Sons

Best Paper Awards will be awarded to two of the top quality papers.

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

The following workshops will be held in conjunction with IEEE CIT-2010
conference.

- The 2010 International Workshop on Intelligent Sensor and Wireless
Networks (IntelNet 2010)
http://www.inf.brad.ac.uk/~xjin/IntelNet10/index.html

- The Third International Symposium on Trust, Security and Privacy for
Emerging Applications (TSP 2010) http://trust.csu.edu.cn/conference/tsp2010/

- The First International Workshop on Frontier of GPU Computing (FGC 2010)
http://www.comp.hkbu.edu.hk/~chxw/fgc2010/index.php

- The International Workshop on Scalable Machine Learning and Applications
(SMLA 2010) http://smlc09.leeds.ac.uk/smla/

- The Second International Workshop on Wireless, Mobile Networks &
Applications (WiMoA 2010) http://www.airccse.org/wimoa/2010/wimoa.html

- The First International Workshop on Dependable Service-Oriented Computing
(DSOC) http://www.comp.leeds.ac.uk/distsys/workshop_dsoc_2010.php


INTRODUCTION
============
CIT has become a major platform for researchers and industry practitioners
from different fields of computer and information technology. Each year, CIT
attendees appreciate and benefit from multidisciplinary exchanges in
computer and information technology. In previous years, CIT has attracted
many high quality research papers spanning over the various aspects of
information technology, computing science and computer engineering. These
papers highlight foundational work that strives to push beyond limits of
existing computer technologies, including experimental efforts, innovative
systems, and investigations that identify weaknesses in existing IT
services.

CIT-2010 will be held on 29 June - 1 July, 2010 in Bradford, UK. The goal of
CIT-2010 is to provide a forum for scientists, engineers and researchers to
discuss and exchange novel ideas, results, experiences and work-in-process
on all aspects of computer and information technology.

Topics of interest include (but are not limited to):
- Computer Architecture
- Management of Data and Database Systems
- High Performance Computing
- Utility Computing/Cloud Computing
- New Web Technology and Applications
- Network/Ubiquitous Computing/Sensor Networks
- Telecommunications
- Artificial Intelligence
- Computer Graphics /Information Visualization /Image Processing
- Information Security
- Software Engineering
- IT for biomedicine

IMPORTANT DATES
===============

Submission Deadline: 08 February, 2010
Authors Notification: 26 March, 2010
Final Manuscript Due: 18 April, 2010
Conference Dates: 29 June - 1 July, 2010


PAPER SUBMISSION GUIDELINE
==========================
All papers need to be submitted electronically through the conference
website (http://cse.stfx.ca/~CIT2010/sub/) with PDF format. The materials
presented in the papers should not be published or under submission
elsewhere. Submit a full paper with 8 pages (IEEE Computer Society
Proceedings Manuscripts style: two columns, single-spaced), including
figures and references, using 10 fonts, and number each page. You can
confirm the IEEE Computer Society Proceedings Author Guidelines at the
following web page: URL: http://computer.org/cspress/instruct.htm

Once accepted, the paper will be included into the IEEE conference
proceedings published by IEEE Computer Society Press (indexed by EI).
Authors (at least one) of any accepted paper are requested to register at
the conference.


ORGANIZATION
============

Honorary Chair
Pete Harrison, Imperial College, London, UK

Steering Chair
Daming Wei, University of Aizu, Japan

General Chairs
Geyong Min, University of Bradford, UK
Tarek El-Ghazawi, George Washington University, USA

Program Chairs
Shoukat Ali, Intel Corporation, USA
Qiang Ni, Brunel University, UK

International Advisory Chairs
Daming Wei, University of Aizu, Japan
Laurence T. Yang, St. Francis Xavier University, Canada

Workshop Chairs
Bahman Javadi, INRIA Rhone-Alpes, France
Xiaolong Jin, University of Bradford, UK
Shu Lei, National University of Ireland, Ireland

Publicity Chairs
Yan Zhang, Simula Research Laboratory, Norway
Xiaofei Liao, Huazhong University of Science and Technology, China

Publication Chairs
Weifeng Chen, California University of Pennsylvania, USA
Tomoya Enokido, Rissho University, Japan
Bin Xiao, Hong Kong Polytechnic University, Hong Kong

International Journals Coordinators
Ahmed Al-Dubi, Edinburgh Napier University, UK
Hamid Sarbazi-azad, Sharif University of Technology, Iran

Local Arrangement Chairs
Irfan Awan, University of Bradford, UK
Lei Liu, University of Bradford, UK

Web Administrator Chairs
Alan Huang, St Francis Xavier University, Canada
Yulei Wu, University of Bradford, 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/
*
**********************************************************

Saturday, January 16, 2010

[DMANET] Feasibility workshop in Bristol, UK

Dear Colleagues,

CALL FOR PARTICIPATION

We are pleased to announce BAD '10, a two day feasibility workshop to
be held on February 15 and 16, 2010 and hosted at Bristol University,
UK. This workshop is funded by the Pure Mathematics and Algorithms
theme of an EPSRC grant "Bridging the Gaps-Cross disciplinary
Feasibility Account".

Please visit our webpage at

http://www.cs.bris.ac.uk/Research/Algorithms/BAD10/

for more information.

CONFIRMED INVITED SPEAKERS:

* Graham Cormode, AT&T Labs, US
* Prudence Wong, University of Liverpool, UK
* Alexander Tiskin, University of Warwick, UK
* Moshe Lewenstein, Bar Ilan University, Israel
* Amihood Amir, Bar Ilan University, Israel
* Artur Czumaj, University of Warwick, UK
* Lap Kei Lee, Max-Planck Institut Informatik, Germany
* John Cremona, Warwick University, UK
* Leszek GÄ…sieniec, University of Liverpool, UK

On behalf of the organisers.

Raphael Clifford
Malcolm MacCallum
**********************************************************
*
* 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/
*
**********************************************************

CFP: AHSWN - An International Journal, Special Issue on User-oriented, Service-oriented and Spontaneous Wireless Ad-hoc Networks

[Apologize in advance for cross-postings]

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

Call for Papers

Ad Hoc & Sensor Wireless Networks: An International Journal
Special Issue on
User-oriented, Service-oriented and Spontaneous Wireless Ad-hoc Networks

http://www.oldcitypublishing.com/AHSWN/AHSWN.html

Overview

There are many Ad Hoc Wireless Networks where several types of users and services must be integrated. In a user-oriented network, the service quality and the corresponding service for each user must be guaranteed. On the other hand, the user behaviour and the services offered for the users could affect to the wireless ad hoc network performance. A spontaneous ad hoc network enables a group of users to work together collaboratively coming together at the same time, and very close to each other, to be able to communicate. They seek to imitate human relationships in order to work together in groups, running on an existing technology. The devices used for this type of networks have limited resources, few computing capacity and low energy consumption. They can be used for the integration of services and users in order to solve a problem or to carry out a specific task, or for sharing services and resources, with no dependence on a central server. The range of environments in whic!
h these networks can be applied is
wide and may include many user collaboration ad hoc wireless systems.

Authors are invited to submit complete unpublished papers, which are not under review in any other journal. The topics suggested can be discussed in term of concepts, state of the art, standards, designs, implementations, running experiments or applications.

Topics of interest include, but are not limited to:

- Network protocols and architectures
- Self-organization and self-configuration algorithms
- Nodes cooperation and distributed coordination
- Security, privacy, data integrity, authentication and trust
- Energy models, design and management
- Integration with other systems
- Location and mobility management
- Resource provisioning, dynamic resource management and quality of service
- Fault tolerance and reliability
- Modelling and simulation techniques
- Design and deployment of embedded system platforms
- Software platforms and development tools
- Practical implementations, developments and real-world experiences

Important dates:

Paper submission: June 1, 2010
Acceptance notification: September 15, 2010
Final Papers: October 15, 2010
Tentative Publication: 1st quarter 2011

Submission Guidelines:

The submitted papers must be written in English and describe original research work which is not published nor currently under review by other journals or conferences. Papers previously published in conference/workshop proceedings can be considered, but should be substantially extended. An electronic copy of the complete manuscript and any supplementary material should be sent by e-mail to the corresponding editor (jlloret@dcom.upv.es). Each submission must be clearly identified as a submission for this special issue by writing the Special Issue title in the subject. The submission must include the title, abstract of your paper, and the corresponding author's name and affiliation. All the submissions will be subject to peer review in accordance with the journal review procedures. They will be rigorously reviewed based on the quality: originality, high scientific quality, organization and clarity of writing, and support provided for assertions and conclusion.

Submission Format:

All submissions should be made as Microsoft Word or pdf documents. All manuscripts must be submitted in English. Manuscripts submitted as Microsoft Word documents should be double-spaced, presented in an easily readable, standard font and size (such as 10 or 12 pt. Times or Arial). All pages should be numbered. Manuscripts submitted as pdf documents are encouraged to follow the layout guidelines provided by the publisher (http://www.oldcitypublishing.com/Layout%20Guidelines.pdf). More information about the paper format is provided in:
http://www.oldcitypublishing.com/AHSWN/AHSWN%20Contributor%20notes.html

Guest Editors

Jaime Lloret (corresponding editor)
Department of Communications,
Polytechnic University of Valencia, Spain
E-mail: jlloret@dcom.upv.es

Lei Shu
Nishio Lab., Department of Multimedia Engineering,
Graduate School of Information Science and Technology, Osaka University, Japan
E-mail: lei.shu@ieee.org

Raquel Lacuesta
Higher Polytechnic School of Teruel
University of Zaragoza, Sapin
E-mail: lacuesta@unizar.es

Min Chen
School of Computer Science and Engineering
Seoul National University, Seoul Korea
Email: ubcminchen@hotmail.com