Tuesday, July 19, 2011

[DMANET] PhD position - SAP Research (Nice, FR)

PhD position at SAP Research
----------------------------------------------

TITLE:
Intelligent Filtering for Graph Visualization

KEYWORDS:
Interactive Visualization, Information Filtering, Statistical Learning

ABOUT SAP:
The SAP Research Business Intelligence (BI) Practice is part of the global
technology research unit of SAP and works on next-generation data access and information delivery tools. Our mission is to bring breakthrough innovation and research, and contribute to the success of SAP's in user-centric BI and analytics technologies.
As the world's leading provider of business software, SAP delivers products and services that help accelerate business innovation for our customers. We believe that doing so will unleash growth and create significant new value -- for our customers, SAP, and ultimately, entire industries and the economy at large. Today, more than 47,800 customers in more than 120 countries run SAP applications -- from distinct solutions addressing the needs of small businesses and midsize companies to suite offerings for global organizations.

TOPIC DESCRIPTION:
In order to contribute to the Information Visualization research agenda, the BI Practice proposes a PhD position in its Sophia-Antipolis offices (Nice, France).
Recent trends in information and knowledge modeling are increasingly oriented towards graph based models that capture the relational structure between diverse types of entities. However, for large, strongly connected graphs it is difficult to visualize all information at once, as well as to decide how to zoom-into and explore the data without losing a general overview of the context. Filtering and aggregating information is an important line of research to overcome these drawbacks: efficient information visualization is just as much about knowing what to show than knowing what not to show. A first important research point is to test whether existing approaches for graph filtering / aggregation are suited to the knowledge structures that arise in intelligent business applications -- and whether their implementation allows for real-time interaction for visual analysis purposes. Second, it is worth exploring to what extent the success of these techniques is problem specific and!
how to develop more general and robust approaches. Finally, it is of interest to investigate entirely new approaches that build upon graphs as "models" for the filtering process. Such an approach, inspired by recent work in graph matching and graph querying, would make it possible to
take into account both the structure and the content of the knowledge bases, as well as to incorporate context and user information to customize the visual analysis experience.

CANDIDATE PROFILE:
- Last year student of M.Sc. or Engineering degree in Computer Science, Applied Mathematics or similar fields. Students with a strong academic record are favored.
- Interest for applied research and development. The candidate should be comfortable with theoretical / abstract work as well.
- Knowledge in Data Mining, Operations Research, Graph Theory and related fields. Ideal candidate has knowledge of algorithms for graph analysis and visualization, both theoretical and practical.
- Experience with programming languages (Java)
- Fluency in English (working language), other EU languages considered an advantage (in particular French)
- Excellent oral and written communication skills

TO APPLY:
Visit http://www.careersatsap.com/CareerCenter.aspx and enter the reference
FR-54454741-EN-11-002 in the search field.
Deadline is September 01, 2011.

**********************************************************
*
* 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, July 18, 2011

Rabin Celebration

On August 29-30, 2011, there will be a conference in celebration of
Michael Rabin's 80th birthday at the Harvard School of Engineering &
Applied Sciences.    The speakers include Yonatan Aumann, Michael
Ben-Or, Richard Karp, Dick Lipton, Silvio Micali, Michael
Mitzenmacher, David Parkes, Tal Rabin, Ron Rivest, Dana Scott, Madhu
Sudan, Salil Vadhan, Moshe Vardi, and Avi Wigderson.

The conference is open to the public, but registration is required by
August 25.  For more information, see the conference website at
https://www.events.harvard.edu/web/4352.

[DMANET] Call for Papers: ICITST-2011

Apologies for cross-postings. Please send it to interested colleagues
and students. Thanks!

CALL FOR PAPERS

***********************************************************************************************
The 6th International Conference for Internet Technology and Secured
Transactions (ICITST-2011)
December 11-14, 2011, Abu Dhabi, UAE (www.icitst.org)
***********************************************************************************************

The 6th International Conference for Internet Technology and Secured
Transactions (ICITST-2011) is Technical Co-sponsored by IEEE UAE
Computer Chapter. The ICITST is an international refereed conference
dedicated to the advancement of the theory and practical implementation
of secured Internet transactions and to fostering discussions on
information technology evolution. The ICITST aims to provide a highly
professional and comparative academic research forum that promotes
collaborative excellence between academia and industry.

The objectives of the ICITST are to bridge the knowledge gap between
academia and industry, promote research esteem in secured Internet
transactions and the importance of information technology evolution to
secured transactions. The ICITST-2011 invites research papers that
encompass conceptual analysis, design implementation and performance
evaluation.

All the accepted papers will appear in the proceedings published by IEEE
and fully indexed by IEEE Xplore. All the ICITST papers are indexed by DBLP.

The topics in ICITST-2011 include but are not confined to the following
areas:

Internet Application and Technology

Internet technologies
Internet Architecture
Internet of things
Broadband Access Technologies
Application Agents
Boundary Issues of Internet Security
Database Management
Data Models for Production Systems and Services
Artificial Intelligence and Expert Systems
IPSec Quality of Service
Knowledge Management
Embedded Systems
Defence Systems

Infonomics and e-Technology

Infonomics
Information Visualization
Information Management
Information Quality
Technology-Enabled Information
e-Learning
e-Commerce
e-Business
e-Government
e-Society
System Design and Security for e-Services
Synchronizing e-Security


Information Security

Collaborative Learning
Trust, Privacy and Data Security
Network Security Issues and Protocols
Security Challenges and Content Authoring
Cryptography
Secure Communications
Authentication Techniques
Chaos-based Data Security
MANET Security
Wireless Sensor Network Security
Organization Considerations in Security Policy Formulation and
Implementations
Digital Forensics and Crimes
Biometrics
Cyber Security

Multimedia and Web Services

Intelligent Multimedia and its Data Management
Multimedia Information Systems
Multimedia Security
Web Databases
Web Metrics and its Applications
Web Mining including Web Intelligence and Web 3.0.
Web Services
XML and other extensible languages
Semantic Web and Ontology

Ubi/Cloud Computing

Authentication and Access Control for Data Protection in Ubi/Cloud
Computing
Context-Awareness and its Data Mining for UbiCom
Data Grids
Distributed Information Systems
Human-Computer Interface and Interaction for UbiCom
Ubiquitous Systems
USN/RFID Service
Smart Homes and its Business Model for UbiCom Service
Security and its Data Management for UbiCom
Peer to Peer Data Management
New Novel Mechanism and Application for Ubi/Cloud Computing

Research in Progress

Ongoing research from undergraduates, graduates/postgraduates and
professionals
Projects
Collaborative Research


Important dates

Full Paper Submission Date August 26, 2011
Extended Abstract (Work in Progress) Submission Date July 31, 2011
Proposal for Workshops and Tutorials May 31, 2011
Notification of Workshop and Tutorial Acceptance June 05, 2011
Proposal for Industrial Presentation April 30, 2011
Notification of Extended Abstract Acceptance/Rejection August 15, 2011
Notification of Industrial Presentation Acceptance May 10, 2011
Notification of Paper Acceptance/Rejection September 30, 2011
Camera Ready Extended Abstract Due August 31, 2011
Camera Ready Paper Due October 14, 2011
Early Registration Deadline (Authors only) May 01 to September
30, 2011
Late Registration Deadline (Authors only) October 01 to November
15, 2011
Participants Registration May 01 to December 01, 2011
Conference Dates December 11-14, 2011

For more information please contact: info@icitst.org
**********************************************************
*
* 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, July 17, 2011

LATA 2012: 1st call for papers

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

1st Call for Papers

6th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA
THEORY AND APPLICATIONS

LATA 2012

A Coruña, Spain

March 5-9, 2012

http://grammars.grlmc.com/LATA2012/

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

AIMS:

LATA is a yearly conference in theoretical computer science and its applications. Following the tradition of the International Schools in Formal Languages and Applications developed at Rovira i Virgili University in Tarragona since 2002, LATA 2012 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from both classical theory fields and application areas (bioinformatics, systems biology, language technology, artificial intelligence, etc.).

VENUE:

LATA 2012 will take place in A Coruña, at the northwest of Spain. The venue will be the Faculty of Computer Science, University of A Coruña.

SCOPE:

Topics of either theoretical or applied interest include, but are not limited to:

- algebraic language theory
- algorithms for semi-structured data mining
- algorithms on automata and words
- automata and logic
- automata for system analysis and programme verification
- automata, concurrency and Petri nets
- automatic structures
- cellular automata
- combinatorics on words
- computability
- computational complexity
- computational linguistics
- data and image compression
- decidability questions on words and languages
- descriptional complexity
- DNA and other models of bio-inspired computing
- document engineering
- foundations of finite state technology
- foundations of XML
- fuzzy and rough languages
- grammars (Chomsky hierarchy, contextual, multidimensional, unification, categorial, etc.)
- grammars and automata architectures
- grammatical inference and algorithmic learning
- graphs and graph transformation
- language varieties and semigroups
- language-based cryptography
- language-theoretic foundations of artificial intelligence and artificial life
- parallel and regulated rewriting
- parsing
- pattern recognition
- patterns and codes
- power series
- quantum, chemical and optical computing
- semantics
- string and combinatorial issues in computational biology and bioinformatics
- string processing algorithms
- symbolic dynamics
- symbolic neural networks
- term rewriting
- transducers
- trees, tree languages and tree automata
- weighted automata

STRUCTURE:

LATA 2012 will consist of:

- 3 invited talks
- 2 invited tutorials
- peer-reviewed contributions

INVITED SPEAKERS:

To be announced

PROGRAMME COMMITTEE:

Eric Allender (Rutgers)
Miguel Á. Alonso (A Coruña)
Amihood Amir (Bar-Ilan)
Dana Angluin (Yale)
Franz Baader (Dresden)
Patricia Bouyer (Cachan)
John Case (Delaware)
Volker Diekert (Stuttgart)
Paul Gastin (Cachan)
Reiko Heckel (Leicester)
Sanjay Jain (Singapore)
Janusz Kacprzyk (Warsaw)
Victor Khomenko (Newcastle)
Bakhadyr Khoussainov (Auckland)
Claude Kirchner (Paris)
Maciej Koutny (Newcastle)
Salvador Lucas (Valencia)
Sebastian Maneth (Sydney)
Carlos Martín-Vide (Tarragona, chair)
Giancarlo Mauri (Milano Bicocca)
Aart Middeldorp (Innsbruck)
Faron Moller (Swansea)
Angelo Montanari (Udine)
Joachim Niehren (Lille)
Mitsunori Ogihara (Miami)
Enno Ohlebusch (Ulm)
Dominique Perrin (Marne-la-Vallée)
Alberto Policriti (Udine)
Alexander Rabinovich (Tel Aviv)
Mathieu Raffinot (Paris)
Jörg Rothe (Düsseldorf)
Olivier H. Roux (Nantes)
Yasubumi Sakakibara (Keio)
Eljas Soisalon-Soininen (Aalto)
Frank Stephan (Singapore)
Jens Stoye (Bielefeld)
Howard Straubing (Boston)
Masayuki Takeda (Kyushu)
Wolfgang Thomas (Aachen)
Sophie Tison (Lille)
Jacobo Torán (Ulm)
Tayssir Touili (Paris)
Esko Ukkonen (Helsinki)
Frits Vaandrager (Nijmegen)
Manuel Vilares (Vigo)
Todd Wareham (Newfoundland)
Pierre Wolper (Liège)
Hans Zantema (Eindhoven)
Thomas Zeugmann (Sapporo)

ORGANIZING COMMITTEE:

Miguel Á. Alonso (A Coruña, co-chair)
Adrian Horia Dediu (Tarragona)
Carlos Gómez Rodríguez (A Coruña)
Jorge Graña (A Coruña)
Carlos Martín-Vide (Tarragona, co-chair)
Bianca Truthe (Magdeburg)
Jesús Vilares (A Coruña)
Florentina Lilica Voicu (Tarragona)

SUBMISSIONS:

Authors are invited to submit papers presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices) and should be formatted according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs/lncs+authors?SGWID=0-40209-0-0-0). Submissions have to be uploaded at:

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

PUBLICATIONS:

A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference.

A special issue of a major journal will be later published containing peer-reviewed extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.

REGISTRATION:

The period for registration will be open since July 16, 2011 until March 5, 2012. The registration form can be found at the website of the conference: http://grammars.grlmc.com/LATA2012/

Early registration fees: 500 Euro
Early registration fees (PhD students): 400 Euro
Late registration fees: 540 Euro
Late registration fees (PhD students): 440 Euro
On-site registration fees: 580 Euro
On-site registration fees (PhD students): 480 Euro

At least one author per paper should register. Papers that do not have a registered author who paid the fees by December 5, 2011 will be excluded from the proceedings.

Fees comprise access to all sessions, one copy of the proceedings volume, coffee breaks and lunches.

PhD students will need to prove their status on site.

PAYMENT:

Early (resp. late) registration fees must be paid by bank transfer before December 5, 2011 (resp. February 24, 2012) to the conference series account at Uno-e Bank (Julián Camarillo 4 C, 28037 Madrid, Spain):

IBAN: ES3902270001820201823142 – Swift/BIC code: UNOEESM1 (account holder: Carlos Martin-Vide – LATA 2012; address: Av. Catalunya, 35, 43002 Tarragona, Spain).

Please write the participant's name in the subject of the bank form. Transfers should not involve any expense for the conference. People claiming early registration will be requested to prove that they gave the transfer order to the bank by the deadline.

On-site registration fees can be paid only in cash. A receipt for payments will be provided on site.

Besides paying the registration fees, it is required to fill in the registration form at the website of the conference.

IMPORTANT DATES:

Paper submission: October 7, 2011 (23:59h, CET)
Notification of paper acceptance or rejection: November 18, 2011
Final version of the paper for the LNCS proceedings: November 27, 2011
Early registration: December 5, 2011
Late registration: February 24, 2012
Starting of the conference: March 5, 2012
Submission to the post-conference special issue: June 9, 2012

FURTHER INFORMATION:

florentinalilica.voicu@urv.cat

POSTAL ADDRESS:

LATA 2012
Research Group on Mathematical Linguistics
Rovira i Virgili University
Av. Catalunya, 35
43002 Tarragona, Spain

Phone: +34-977-559543
Fax: +34-977-558386

[DMANET] CALL FOR PAPERS International Journal of Chaotic Computing (IJCC), Volume 1-Issue 1/2, December 2011, ISSN 2046-3359

International Journal of Chaotic Computing (IJCC), Volume 1-Issue 1/2,
December 2011,ISSN 2046-3359.

CALL FOR PAPERS

Apologize for cross posting. Could you please kindly forward the following
CFP to the interested people. THANK YOU in advance!


Dear Author,

The "International Journal of Chaotic Computing" (IJCC) is currently
accepting manuscripts for publication. IJCC publishes high-quality
solicited and unsolicited articles, written in English.

The IJCC provides an international forum for electronic publication of
high-quality scholarly papers in Chaotic Computing.The objectives of the
IJCC are to bridge the knowledge gap between academia and industry, and
provide free access to current research work. We invite research papers
that encompass conceptual analysis, design implementation and performance
evaluation.The topics in IJCC include but are not confined to the
following areas:
- Applications of Chaotic Computing
- Chaotic Precession
- Chaotic Phenomena
- Chaotic Behaviour
- Chaotic Computational Systems
- Chaos and Nonlinear Dynamics
- Chaos Theory
- Chaotic Simulation
- Chaotic Computational Systems
- Computer Architecture
- Data Analysis and Chaos
- Distributed Processing
- Integrated Optical Chaos
- Interracting Migrating Processes
- Internet and Web Processing
- Machine Components
- Mathematical models
- Middleware
- Mixed Optical / Electronic switches
- Multimachine System
- Nano Computing
- Network Processors
- Non Conventional Computer Architectures
- Optics and Chaos
- Quantum Chaos
- Software Abstractions
- Service Access
- Speculative Research
- Ubiquitous Computing
- Web Proxy

The final decision on publication is made by the Editors-in-Chief upon
recommendation of the Editorial Board Members. If the manuscript is
accepted for publication, the copyright will be transferred to the IJCC.
The manuscript should not be published elsewhere without permission.
Submissions will only be accepted electronically and published in
English. After the paper acceptance, a copyright form in PDF format should
be signed, scanned and email to
ijccpapers@infonomics-society.org.

Our objective is to inform authors of the decision on their manuscript
within four weeks of submission. Following acceptance, a paper will
normally be published in the next available issue.

Authors are encouraged to use the Author's Template on the IJCC site to
format their paper and submit it in PDF.Instruction for authors and other
details are available on our website
http://www.infonomics-society.org/IJCC/

Prospective authors should send their manuscript(s) to
ijccpapers@infonomics-society.org

Important dates:
- Papers submission's date: 3rd of October,2011;
- Notification of paper acceptance/Rejection: 1st of November, 2011;
- Final paper submission date: 15th of November, 2011.
- IJCC Volume 1-Issue 1/2 publication's date: December 2011 (10 papers)


Best regards,
Ion Tutanescu & Safwan El Assad - Editors-in-Chief of IJCC

**********************************************************
*
* 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] [Deadline Extended] AlMoDEP - Call for Papers for the 1st International Workshop on Algorithms and Models for Distributed Event Processing (AlMoDEP 2011)

The deadline of AlMoDEP - The First International
Workshop on Algorithms and Models for Distributed Event Processing - has
been extended to July 24, 2011 (note this is a FIRM deadline).

--------------------------------------------------------------------------------
CALL FOR PAPERS
--------------------------------------------------------------------------------
AlMoDEP 2011
1st International Workshop on Algorithms and Models
for Distributed Event Processing

September 19, 2011 - Roma, Italy
Held in conjunction with DISC 2011

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

*** SUBMISSION DEADLINE (NEW, FIRM!): July 24, 2011 ***
--------------------------------------------------------------------------------


Workshop topics and goals
------------------------
Event based systems are considered as a basic building block for the
design of
large-scale architectures able to withstand the complexities of today's
heterogeneous and dynamic applications. Event based systems are successfully
employed in several application fields like distributed remote monitoring,
business intelligence, air traffic control or collaborative security.

The AlMoDEP workshop aims at fostering discussion on theoretical aspects of
distributed event processing among participants from different research areas
like algorithm theory, event processing, distributed systems and databases.

Topics of interest include (but are not limited to):
- Event-driven interaction models
- Complex event processing
- Stream processing
- Event-routing algorithms and protocols
- Algorithms for QoS-aware event distribution
- Event algebras, event schemas and type systems
- Languages for event correlation and patterns, streaming and continuous
queries, data fusion
- Models for static and dynamic environments
- Design and programming methodologies
- Event-based business process management and modeling
- Performance modeling and prediction based on analytic approaches

The workshop is looking for contributions addressing research, ongoing work,
ideas, concepts, and critical questions related to algorithmic and modelling
aspects of distributed event processing systems. The final workshop
program will
include both talks presenting novel contributions and two keynote
presentations.


Author Instructions
------------------------
Papers have to be submitted electronically, following the guidelines on the
workshop web page. Contributions must not exceed 8 pages and must conform
to the
ACM format for conference proceedings. Accepted papers will appear in the
workshop proceedings published by ACM in electronic form.


Workshop Organization
---------------------
Program Committee:
Alejandro P. Buchmann, Technische Universität Darmstadt
Rachid Guerraoui, EPFL
Giuseppe F. Italiano, University of Rome Tor Vergata
Hans-Arno Jacobsen, University of Toronto
Luigi Laura (co-chair), University of Rome "La Sapienza"
Muthu Muthukrishnan, Rutgers University and Google Research.
Leonardo Querzoni (co-chair), University of Rome "La Sapienza"

Advisory Board:
Giorgio Ausiello, University of Rome "La Sapienza"
Roberto Baldoni, University of Rome "La Sapienza"

Local Organization:
Giorgia Lodi, CINI
Donatella Firmani, University of Rome "La Sapienza"


Important dates
---------------
Submission July 24, 2011 (Extended, FIRM)
Notification August 5, 2011
Camera ready August 20, 2011
Workshop September 19, 2011


Contact
-------
For any questions regarding the workshop, please contact
querzoni@dis.uniroma1.it or laura@dis.uniroma1.it
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] CFP: JCM Special Issue on Security and Privacy in Communication Systems and Networks

CALL FOR PAPERS
Journal of Communications
Special Issue on Security and Privacy in Communication Systems and Networks

The rapid advancement of communication technologies has revolutionized human's
lifestyles by providing the best convenience and flexibility ever in accessing the Internet
services and various types of personal communication applications. For instance, with the
emerging wireless communication technologies, healthcare industry now is offering high
quality services to patients with low costs through a variety of applications enabled by
wireless and information technologies. This is because these wireless-equip
ped healthcare
systems enable remote and continuous monitoring of patient's health status in both
residential settings and outdoor settings, where patients feel more comfortable and their
activities are less restricted. Early detection of emergency situations via wireless
communications makes it possible to provide timely first-aid and access patient's health
information in a pervasive manner, thereby improving reliability and efficiency of our health
care system. Although huge potential benefits are widely recognized, there are many
challenges especially with respect to security and privacy issues.

The objective of this special issue is to bring together state-of-the-art contributions on the
modeling, designing, implementation, deployment, and management of computer/network
security systems, architectures and protocols. We solicit contributions to the evaluation,
optimization, and/or enhancement of security mechanisms for current technologies as well
as new designs for efficient security and privacy solutions of emerging technologies, e.g.,
M2M Communications. High quality and original research papers are solicited in all related
areas of emerging communication systems and network technologies. Topics of interest
include, but are not limited to:
* Security design for cognitive radio networks
* Security and privacy in M2M and its applications
* Key distribution and management
* Security design for sensor/Ad Hoc networks
* Security and privacy in VANETs
* Security and privacy in Healthcare
* RFID security
* Cross layer approach to security
* Secure cooperation in wireless networks
* Network coding security
* Social network security
* Mobile code security
* Distributed system security
* Forensic applications and techniques in communication systems and networks

IMPORTANT DATES

Paper Submission Deadline August 15, 2011
Acceptance Notification November 30, 2011
Final Manuscript Due January 1, 2012
Tentative Publication Date Q2, 2012

SUBMISSION

The submitted papers must be written in English and describe original research which is
not published nor currently under review by other journals or conferences.
Submissions
should follow the author guidelines of Journal of Communications and the complete
instructions for prospective authors can be found at
http://www.academypublisher.com/jcm/authorguide.html.
Manuscripts are to be submitted via EDAS at http://edas.info/newPaper.php?c=11025

For further questions or inquiries, please contact Dr. Xiaodong Lin at xiaodong.lin@uoit.ca.

GUEST EDITORS

Xiaodong Lin, University of Ontario Institute of Technology, Canada
E-mail: xiaodong.lin@uoit.ca

Joel Rodrigues, Institute of Telecommunications, University of Beira Interior, Portugal
E-mail: joeljr@ieee.org

Xu Li, INRIA Lille Nord Europe, France
E-mail: xu.li@inria.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] CFP: IEEE TPDS Special Issue on Cyber-Physical Systems

Call for Papers for a Special Issue of
IEEE Transactions on Parallel and Distributed Systems (TPDS)
on Cyber-Physical Systems (CPS)

IEEE Transactions on Parallel and Distributed Systems (TPDS) is seeking original
manuscripts for special Issue on Cyber-Physical Systems (CPS), scheduled to be
published in the September issue of 2012. Although significant advances have been
achieved over the last decades in several fields of science and engineering, and especially
in the areas of distributed computing, sensing, data collection and internet-connection of
large scale object networks, it is mainly the coordination and tight link between
computational, virtual and physical resources that will drive the potential of having a
pervasive effect in the citizens everyday life, satisfying various needs and also creating new
opportunities for the introduction of services that will enhance the Quality of Life of the
society as a whole. Research advances in cyber-physical systems promise to transform
our world with systems that will far exceed those of today in terms of: effectiveness,
adaptability, autonomicity, energy efficiency, precision, reliability, safety, usability,
scalability, stability and user-centric applicability. Moreover, recently the Sensor Web
concept came into foreground, aiming at combining distributed sensing with the ubiquitous
connectivity and accessibility of the web, therefore facilitating the close interaction of digital
world with physical world.

Cyber-physical systems find direct applicability in a wide range of areas and disciplines,
including for instance (but not limited to):
a) Smart Grid technologies:
that aim at facilitating a reliable and efficient delivery of electricity to consumers using
two-way digital communications and security technologies, which allows utility providers
and consumers to constantly monitor and control the delivery network as well as electricity
consumption for the purpose of energy saving, cost reduction, and reliability enhancement;
b) Wireless sensing, monitoring and networking:
to enable distributed monitoring systems of numerous smart sensors and actuators,
mobile devices, RFIDs, robots etc., which revolutionize a variety of application areas with
unprecedented density, fidelity, and scalability of environment instrumentation;
c) Vehicular cyber-physical systems and intelligent transportation systems:
that integrate computing, communication, and storage capabilities with monitoring and
control of vehicles in the physical world to deal with the grand challenges of safe, green,
and efficient transportation.

The technical challenges are significant, and of high research and practical importance,
mainly stemming from the fact that traditionally different groups of scientists deal with this
setting without much interaction, using disjoint sets of techniques. Towards merging the
two main and different features of those systems, that of information-centric character and
node-centric physical world connectivity, well-defined analytical models, methodologies and
experimental validations are required of how to build such systems capable of coping with
the entire chain of operations and orchestrating the various parts together in a flexible,
efficient and economic way.

Topics of interest include, but are not limited to the following:
* Architectural framework for distributed CPS
* Resource Management in large scale CPS
* Smart Grid Technologies
* Security, privacy, scalability, and reliability issues
* Design and cross-layer optimizations
* Vehicular CPS and intelligent transportation systems
* Novel monitoring applications with sensors, actuators,
smart phones, robots, and other wireless mobile devices
* Distributed and scalable monitoring systems
* Evaluations and filed trials of CPS and solutions

Submitted articles must not have been previously published or currently submitted for
journal publication elsewhere. As an author, you are responsible for understanding and
adhering to our submission guidelines. You can access them by clicking on the following
web link: http://www.computer.org/mc/tpds/author.htm. Please thoroughly read these
before submitting your manuscript. Please submit your paper to Manuscript Central at
https://mc.manuscriptcentral.com/tpds-cs.

Please note the following important dates:
Manuscript Submission Deadline: September 16, 2011
Notification of Initial Decision: November 18, 2011
Minor Revisions due (if needed): December 15, 2011
Notification of Final Decision: January 26, 2012
Final Manuscripts Due: February 03, 2012
Publication Date: September 2012

Co-guest Editors:
Symeon Papavassiliou, National Technical University of Athens
Nei Kato, Tohoku University
Yunhao Liu, Hong Kong University of Science and Technology
Cheng-Zhong Xu, Wayne State University

Publicity Co-Chairs:
Paolo Bellavista, University of Bologna
Jiming Chen, Zhejiang University
Xu Li, University of Waterloo
**********************************************************
*
* 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, July 15, 2011

[DMANET] (no subject)

[Our apologies if you receive multiple copies of this CFP.]

IEEE IPCCC 2011
The 30th IEEE International Performance, Computing, And Communication Conference (IPCCC) 2011
http://www.ipccc.org/

November 17-19, 2011
Orlando, Florida, USA


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

The International Performance, Computing, and Communications Conference is a premier IEEE conference
presenting research in the performance of computer and communication systems. For the last 30 years,
IPCCC has been a research forum for academic, industrial, and government researchers. We encourage
submission of high-quality papers reporting original work in both theoretical and experimental research
areas. Topics of interest include, but are not limited to, the following:

**** Hot Topics For IPCCC 2011 ****
Mobile Ad Hoc, Sensor and Mesh Networks
Performance Evaluation and Modeling
Parallel and Distributed Systems
Wireless Communication and Networks
Network Protocols
Internet Services and Network Management
Ubiquitous Computing
Online Social Network Analysis
Network Data Mining
Network Information Assurance, and Security
Cache, Memory, and Disk Storage Systems
Performance Tools and Techniques
Fundamental Theory and Algorithms
Grid and Cloud Computing
Workload Characterization and its Impact on Architecture Design
Multi- and Single- core Processor Architecture
Embedded Systems

FULL PAPERS: Full paper submissions may not exceeds 8 pages. Please see the IEEE formatting instruction
for details: http://www.computer.org/CPS. All papers will be reviewed by the Technical
Program Committee. They will be judged with respect to their quality, originality, and relevance.
Accepted papers will be published in the conference proceedings, conditional upon the author's
advance registration and attendance at the conference.


POSTERS: We welcome submissions of poster applications in the form of a two-page extended abstract in
PDF format. A subset of full paper submissions will also be invited to the IEEE IPCCC Poster Session.
Accepted posters will be presented on the night of November 18 (Friday) and the extended abstracts will
be included in the conference proceedings.


WORKSHOPS AND PANELS: Proposals for panel sessions and workshops are welcome. Please contact the
Program Chairs for details.


IMPORTANT DATES:
-----------------
Workshop and Panel Proposal Due: July 15, 2011
Conference Paper Submissions Due: August 3, 2011
Paper Acceptance Notification: September 15, 2011
Camera Ready Manuscript Due: October 1, 2011


ORGANIZING COMMITTEE
----------------------
General Chair:
Sheng Zhong, SUNY Buffalo, USA

Vice General Chairs:
Steven Ko, SUNY Buffalo, USA
Chengkai Li, University of Texas at Arlington, USA

Program Chairs:
Dejing Dou, University of Oregon, USA
Yu Wang, University of North Carolina at Charlotte, USA

Poster Chair:
Fan Wu, Shanghai Jiao Tong University, China

Publications Chair:
Song Fu, University of North Texas, USA

Workshop Chair:
Tingting Chen, Oklahoma State University

Publicity Chair:
Liehuang Zhu, Beijing Institute of Technology, China

Web Chair:
Neil Nelson, USA

Financial Chair:
Nasr Ullah, Freescale Semiconductor, USA

Registration Chair:
Jack Chen, Cisco, USA

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

Tuesday, July 12, 2011

[DMANET] Professorship in Computer Science, The University of Adelaide, Australia

Professor of Computer Science (Level E)

School of Computer Science (Ref: 16854)
The University of Adelaide, Australia

The School of Computer Sciences at the University of Adelaide has a history
reaching back almost 50 years and has major research strengths in computer vision,
parallel and distributed high performance computing and bio-inspired methods of computation.
The School is home to the highly successful Australian Centre for Visual Technologies, which
is Australia's largest Computer Vision research group and earns over $3m dollars annually in pure,
and industry-supported research income. Our research in the area of Artificial Intelligence
and Image processing has been ranked above world class by the Australian Government
Excellence in Research Australia 2010 benchmarking.

We are seeking an outstanding Computer Scientist to provide discipline leadership, ensuring
the School of Computer Science remains at the leading edge of international research and teaching.

The successful applicant will have a track record of high impact research (as is evidenced by
highly cited publications and by attracting significant research support), in areas related to
the strengths of the School.

This tenurable full time position is available immediately at Level E, $147,603 per annum
plus an employer superannuation contribution of 17% applies.

Applicants are asked to address the selection criteria, available from
http://www.adelaide.edu.au/jobs/current/16854/

Closing date is 05/09/2011.

Further information may be obtained from Professor David Suter on
Phone: +61 (0)8 8313 3661 ordsuter@cs.adelaide.edu.au <mailto:dsuter@cs.adelaide.edu.au>

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

[DMANET] Post-Doctoral Position in Supply Chain Management and Logistics

HEC Management School – University of Liège (HEC-ULg) invites applications
for a post-doctoral position in Supply Chain Management and Logistics.

The appointment will be for one calendar year, starting on October 1, 2011,
or on a later date to be agreed.

Prerequisites for qualification are a Ph.D. in Supply Chain Management, in
Logistics, in Operations Research, or in a related field. The candidate
should demonstrate excellent potential for academic research. The School is
especially interested in candidates with an interest in the areas of
transportation planning, vehicle routing, production planning and
scheduling, design and coordination of distribution networks, closed-loop
and green logistics. A strong background in operations research and
optimization is an asset.

The successful candidate will be a member of the research center QuantOM
(Quantitative methods and Operations Management). QuantOM results from the
association of several faculty members and researchers under a common label
to stimulate and promote research conducted at HEC-ULg, and more broadly,
within the University of Liège, in the fields of quantitative methods
(including operations research, mathematical programming, and statistics),
operations management, and logistics.

HEC-ULg, one of the leading Belgian management schools for graduate and
postgraduate programs, has 60 faculty members and more than 2400 students.
The international vision of HEC-ULg translates into multiple research
activities in management and economics, numerous partnerships with worldwide
companies and universities, and growing internationalization of its programs
and faculty.

HEC-ULg is located in Liège, Belgium's third largest city and the largest
agglomeration of the French-speaking Walloon region, at the heart of Europe.
Liège boasts a rich cultural and industrial tradition, the third inland port
of Europe and the eighth freight airport in Europe. Recognized for its
quality of life, Liège is ideally situated within the Meuse-Rhin Euregio, 40
kilometers from Maastricht (the Netherlands) and 60 kilometers from Aachen
(Germany). It is less than 1.5 hours away from Köln, 2.5 hours from Paris
and 4 hours from London by high-speed train (TGV).

Candidates should send a full curriculum vitae, a copy of their recent
publications, a letter describing their research interests, and the names of
at least two academic references to

Prof. Y. Arda, HEC Management School, University of Liège,
Yasemin.Arda@ulg.ac.be

and

Prof. Y. Crama, HEC Management School, University of Liège,
Yves.Crama@ulg.ac.be

Deadline: September 1, 2011, or until the position is filled.

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

Yasemin ARDA

Associate Professor

QuantOM, Research Centre in Quantitative Methods and Operations Management

HEC - Management School, University of Liège

Rue Louvrex, 14 / Building N1 / 4000 Liège / Belgium

<mailto:yasemin.arda@ulg.ac.be> yasemin.arda@ulg.ac.be

Phone : +32 (0) 4 366 31 97

Fax: +32 (0) 4 366 27 67

Office: 336 (Building N1)

Service: Supply Chain Management

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

**********************************************************
*
* 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, July 11, 2011

[DMANET] =?iso-8859-1?Q?Postdoc_and_PhD_positions, _Link=F6ping_University, _Sweden?=

The CUGS National School of Computer Science (Linköping University, Sweden)
announces 1-3 postdoc positions and up to 8 PhD positions in the following
research areas:

- Autonomous systems and artificial intelligence (Professor Patrick Doherty)
- Security engineering and computer networks (Professor Nahid Shahmehri)
- Embedded systems (Professor Zebo Peng)
- Dependable systems and networks (Professor Simin Nadjm-Tehrani)
- Software engineering (Professor Peter Fritzson)
- Theoretical computer science (Professor Peter Jonsson)


For additional information, see

http://www.liu.se/en/job/show.html?4180 (Postdoc positions)

http://www.liu.se/en/job/show.html?4163 (PhD positions)
**********************************************************
*
* 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/
*
**********************************************************

Computability: New Journal now Accepting Submissions!

________________________________________________________________________

COMPUTABILITY
The Journal of the Association CiE

Now Accepting Submissions!

First volume to be published in 2012
as part of the celebrations of the Alan Turing Year

http://www.computability.de/journal/
_________________________________________________________________________

Aims and Scope

Computability is the journal of the Association Computability in Europe
and it is published by IOS Press in Amsterdam.

The journal Computability is a peer reviewed international journal that
is devoted to publishing original research of highest quality, which is
centered around the topic of computability.

The subject is understood from a multidisciplinary perspective,
recapturing the spirit of Alan Turing (1912-1954) by linking
theoretical and real-world concerns from computer science, mathematics,
biology, physics, computational neuroscience, history and the
philosophy of computing.

Editor-in-Chief

Vasco Brattka (Cape Town, South Africa)

Managing Editors

Paola Bonizzoni (Milan, Italy)
S. Barry Cooper (Leeds, UK)
Benedikt Löwe (Amsterdam, The Netherlands)
Elvira Mayordomo (Zaragoza, Spain)

Editorial Board

Samson Abramsky (Oxford, UK)
Manindra Agrawal (Kanpur, India)
Eric Allender (Piscataway, USA)
Jeremy Avigad (Pittsburgh, USA)
Arnold Beckmann (Swansea, UK)
Olivier Bournez (Palaiseau, France)
Alessandra Carbone (Paris, France)
Karine Chemla (Paris, France)
Bruno Codenotti (Pisa, Italy)
Stephen A. Cook (Toronto, Canada)
Anuj Dawar (Cambridge, UK)
Rodney G. Downey (Wellington, New Zealand)
Natasha Jonoska (Tampa, USA)
Ulrich Kohlenbach (Darmstadt, Germany)
Russell Miller (New York, USA)
Andrei Morozov (Novosibirsk, Russia)
Prakash Panangaden (Montreal, Canada)
Frank Stephan (Singapore)
Vlatko Vedral (Oxford, UK)
Rineke Verbrugge (Groningen, The Netherlands)
Ning Zhong (Cincinnati, USA)


Submission Guidelines

The journal Computability invites submission of full papers of highest
quality on all research topics related to computability.

Computability accepts only submissions of original research papers that
have not been published previously and that are not currently submitted
elsewhere. Full versions of papers that have already been published in
conference proceedings are eligible only if the conference version is
clearly cited and the full version enhances the conference version
significantly.

Authors are requested to submit PDF manuscripts electronically via the
online submission system. Authors can indicate non-binding wishes
regarding Editorial Board Members who should handle their submission.
Final versions of accepted papers have to be prepared using the journal
style file and they need to be submitted together with all source files.

Authors submitting a manuscript do so on the understanding that they
have read and agreed to the terms of the IOS Press Author Copyright
Agreement and that all persons listed as authors have given their
approval for the submission of the paper.

_________________________________________________________________________

Members of the Association CiE will have free access to the journal

Association CiE: http://www.computability.org.uk/
CiE Membership Application: http://www.cs.swan.ac.uk/acie/
Journal: http://www.computability.de/journal/
_________________________________________________________________________

Sunday, July 10, 2011

TCS - Special issue Exact&Parameterized Computation

Call for Papers

Special Issue on “Exact & Parameterized Computation â€" Moderately
Exponential & Parameterized Approximation”


Manuscripts are solicited for a special issue in the journal
“Theoretical Computer Science” (TCS) on “Exact & Parameterized
Computation â€" Moderately Exponential & Parameterized Approximation”

The design and analysis of Exact Algorithms for NP-hard Problems with
Moderately Exponential Worst-Case Running-Times has become a very active
area in Theoretical Computer Science and Combinatorial Optimization and
motivates intensive research in both domains. On the other hand,
Moderately Exponential & Parameterized Approximation has been developed
quite recently as a research programme aiming at bringing together Exact
Computation and Polynomial Approximation and at remedying to the numerous
inapproximability results, the Polynomial Approximation paradigm suffers.

With this Special Issue, we wish to foster research in the areas of Exact
Computation and Moderately Exponential Approximation as well as to their
intersection by exposing new results and directions for further research
and to contribute to the development of further scientific links between
them.

Potential topics include (but are not limited to) the following:
• Moderately exponential algorithms for NP-hard problems
• Parameterized algorithms
• New tools for exact computation
• Hardness in fixed parameter computation
• Moderately exponential and/or parameterized approximation algorithms
for NP-hard prob-lems
• Structure in moderately exponential and/or parameterized approximation
• New tools for exponential or parameterized approximation
• Relations between polynomial approximation and parameterized
computation • Probabilistic techniques in exponential approximation

Submissions must be received before December 31, 2011. To ensure that all
manuscripts are correctly identified for inclusion into the special issue,
it is important that authors select
"Article Type SI:Exact&Parameterized Computation(VP)"
when they reach the step in the submission process.
Papers will be refereed according to the standards of TCS.
We will do our best to have the refereeing procedure timely finished.
Please contact the guest editor for additional information.


Guest Editor
Vangelis Th. Paschos
LAMSADE, CNRS and Université Paris-Dauphine
Institut Universitaire de France


--
Vangelis Th. Paschos
LAMSADE, CNRS UMR 7243, University Paris-Dauphine and IUF
phone: + 33 1 44 05 45 82
http://www.lamsade.dauphine.fr/~paschos


--
Vangelis Th. Paschos
LAMSADE, CNRS UMR 7243, University Paris-Dauphine and IUF
phone: + 33 1 44 05 45 82
http://www.lamsade.dauphine.fr/~paschos

[DMANET] TCS - Special issue Exact&Parameterized Computation

Call for Papers

Special Issue on “Exact & Parameterized Computation â€" Moderately
Exponential & Parameterized Approximation”


Manuscripts are solicited for a special issue in the journal
“Theoretical Computer Science” (TCS) on “Exact & Parameterized
Computation â€" Moderately Exponential & Parameterized Approximation”

The design and analysis of Exact Algorithms for NP-hard Problems with
Moderately Exponential Worst-Case Running-Times has become a very active
area in Theoretical Computer Science and Combinatorial Optimization and
motivates intensive research in both domains. On the other hand,
Moderately Exponential & Parameterized Approximation has been developed
quite recently as a research programme aiming at bringing together Exact
Computation and Polynomial Approximation and at remedying to the numerous
inapproximability results, the Polynomial Approximation paradigm suffers.

With this Special Issue, we wish to foster research in the areas of Exact
Computation and Moderately Exponential Approximation as well as to their
intersection by exposing new results and directions for further research
and to contribute to the development of further scientific links between
them.

Potential topics include (but are not limited to) the following:
• Moderately exponential algorithms for NP-hard problems
• Parameterized algorithms
• New tools for exact computation
• Hardness in fixed parameter computation
• Moderately exponential and/or parameterized approximation algorithms
for NP-hard prob-lems
• Structure in moderately exponential and/or parameterized approximation
• New tools for exponential or parameterized approximation
• Relations between polynomial approximation and parameterized computation
• Probabilistic techniques in exponential approximation

Submissions must be received before December 31, 2011. To ensure that all
manuscripts are correctly identified for inclusion into the special issue,
it is important that authors select
"Article Type SI:Exact&Parameterized Computation(VP)"
when they reach the step in the submission process.
Papers will be refereed according to the standards of TCS.
We will do our best to have the refereeing procedure timely finished.
Please contact the guest editor for additional information.


Guest Editor
Vangelis Th. Paschos
LAMSADE, CNRS and Université Paris-Dauphine
Institut Universitaire de France

--
Vangelis Th. Paschos
LAMSADE, CNRS UMR 7243, University Paris-Dauphine and IUF
phone: + 33 1 44 05 45 82
http://www.lamsade.dauphine.fr/~paschos
**********************************************************
*
* 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/
*
**********************************************************

Tenure-track assistant professorship at LAMSADE, University Paris-Dauphine

Tenure-track assistant professorship at LAMSADE, University Paris-Dauphine

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

The Laboratoire d'Analyse et Modelisation de Systemes pour
l'Aide a la Decision (LAMSADE, head Vangelis Th. Paschos) of
the University Paris-Dauphine opens, in September 2012, a
tenure-track assistant professor's position with associated
CNRS Chair, on a profile:

"Efficient solution of hard Combinatorial Optimization problems: new
models concepts and tools"

which is one of the axes of the research project
"Algorithms with Performance Guarantees" (AGaPe) within the
LAMSADE.

Successful candidate will be working mainly on "Exact computation with
provably time complexity upper bounds" on "Moderately exponential time
approximation algorithms" and on "Parameterized algorithms".

We seek for excellent candidates having strong skills in the
aforementioned fields. Other themes where outstanding applications will
also be considered are:
Polynomial approximation,
On-line computation,
Reoptimization
Algorithmic games.

Applicants should demonstrate their abilities in conducting original
top-level research. An outstanding doctoral degree and scientific
publication record at the international level are prerequisites for this
position.

Applications are due for the mid-February 2012. The selection committee
for this position is expected to decide about successful applicant by the
end of February 2012.

Details for application:

-- Candidates not in a University position either in France or abroad,
have to be qualified by the French Universities Committee (CNU,
http://cnu27.lri.fr/).
SUCH QUALIFICATION IS NOT REQUIRED FOR APPLICANTS ALREADY HOLDING
UNIVERSITY POSITIONS EQUIVALENT TO FRENCH ASSISTANT PROFESSORS).
The French qualification procedure starts on mid-September (approx.).
Results of qualification procedure are expected for the end of January
2012.
Newer information about qualification procedure will be posted in
September 2011, as soon as the the French Universities Committee will
publish the call for 2012.

Teaching requirements: Chair-endowed assistant professorships are a
relatively new status which allows for a reduced teaching load,
corresponding to 1/3rd of the standard load (i.e. 64h, instead of 192h per
academic year). CNRS provides the Chair endowment for a period of 5 years.
Teaching will take place within several Departments of the University,
mainly within the Department of Mathematics and Computer Science (head
Ridha
Mahjoub).

Contacts:

Prof. Vangelis Th. Paschos (paschos@lamsade.dauphine.fr)

Prof. Cristina Bazgan (bazgan@lamsade.dauphine.fr)

Dr Bruno Escoffier (escoffier@lamsade.dauphine.fr)

Prof. Ridha Mahjoub (mahjoub@lamsade.dauphine.fr), for teaching
requirements details

The other researchers of the AGaPe project
(http://www.lamsade.dauphine.fr/~name):

Dr. Aristotelis Giannakos (giannako@lamsade.dauphine.fr)

Dr Laurent Gourves (gourves@lamsade.dauphine.fr)

Dr Jerome Monnot (monnot@lamsade.dauphine.fr)

Dr Cecile Murat (murat@lamsade.dauphine.fr)

Dr Bernard Ries (ries@lamsade.dauphine.fr)

--
Vangelis Th. Paschos
LAMSADE, CNRS UMR 7243, University Paris-Dauphine and IUF
phone: + 33 1 44 05 45 82
http://www.lamsade.dauphine.fr/~paschos

--
Vangelis Th. Paschos
LAMSADE, CNRS UMR 7243, University Paris-Dauphine and IUF
phone: + 33 1 44 05 45 82
http://www.lamsade.dauphine.fr/~paschos

[DMANET] Tenure-track assistant professorship at LAMSADE, University Paris-Dauphine

Tenure-track assistant professorship at LAMSADE, University Paris-Dauphine

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

The Laboratoire d'Analyse et Modelisation de Systemes pour
l'Aide a la Decision (LAMSADE, head Vangelis Th. Paschos) of
the University Paris-Dauphine opens, in September 2012, a
tenure-track assistant professor's position with associated
CNRS Chair, on a profile:

"Efficient solution of hard Combinatorial Optimization problems: new
models concepts and tools"

which is one of the axes of the research project
"Algorithms with Performance Guarantees" (AGaPe) within the
LAMSADE.

Successful candidate will be working mainly on "Exact computation with
provably time complexity upper bounds" on "Moderately exponential time
approximation algorithms" and on "Parameterized algorithms".

We seek for excellent candidates having strong skills in the
aforementioned fields. Other themes where outstanding applications will
also be considered are:
Polynomial approximation,
On-line computation,
Reoptimization
Algorithmic games.

Applicants should demonstrate their abilities in conducting original
top-level research. An outstanding doctoral degree and scientific
publication record at the international level are prerequisites for this
position.

Applications are due for the mid-February 2012. The selection committee
for this position is expected to decide about successful applicant by the
end of February 2012.

Details for application:

-- Candidates not in a University position either in France or abroad,
have to be qualified by the French Universities Committee (CNU,
http://cnu27.lri.fr/).
SUCH QUALIFICATION IS NOT REQUIRED FOR APPLICANTS ALREADY HOLDING UNIVERSITY
POSITIONS EQUIVALENT TO FRENCH ASSISTANT PROFESSORS).
The French qualification procedure starts on mid-September (approx.).
Results of qualification procedure are expected for the end of January
2012.
Newer information about qualification procedure will be posted in
September 2011, as soon as the the French Universities Committee will
publish the call for 2012.

Teaching requirements: Chair-endowed assistant professorships are a
relatively new status which allows for a reduced teaching load,
corresponding to 1/3rd of the standard load (i.e. 64h, instead of 192h per
academic year). CNRS provides the Chair endowment for a period of 5 years.
Teaching will take place within several Departments of the University,
mainly within the Department of Mathematics and Computer Science (head
Ridha
Mahjoub).

Contacts:

Prof. Vangelis Th. Paschos (paschos@lamsade.dauphine.fr)

Prof. Cristina Bazgan (bazgan@lamsade.dauphine.fr)

Dr Bruno Escoffier (escoffier@lamsade.dauphine.fr)

Prof. Ridha Mahjoub (mahjoub@lamsade.dauphine.fr), for teaching
requirements details

The other researchers of the AGaPe project
(http://www.lamsade.dauphine.fr/~name):

Dr. Aristotelis Giannakos (giannako@lamsade.dauphine.fr)

Dr Laurent Gourves (gourves@lamsade.dauphine.fr)

Dr Jerome Monnot (monnot@lamsade.dauphine.fr)

Dr Cecile Murat (murat@lamsade.dauphine.fr)

Dr Bernard Ries (ries@lamsade.dauphine.fr)

--
Vangelis Th. Paschos
LAMSADE, CNRS UMR 7243, University Paris-Dauphine and IUF
phone: + 33 1 44 05 45 82
http://www.lamsade.dauphine.fr/~paschos

**********************************************************
*
* 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] COMPUTABILITY - The Journal of the Association CiE

_______________________________________________________________________

COMPUTABILITY
The Journal of the Association CiE

Now Accepting Submissions!

First volume to be published in 2012
as part of the celebrations of the Alan Turing Year

http://www.computability.de/journal/
_______________________________________________________________________

Aims and Scope

Computability is the journal of the Association Computability in Europe
and it is published by IOS Press in Amsterdam.

The journal Computability is a peer reviewed international journal that
is devoted to publishing original research of highest quality, which is
centered around the topic of computability.

The subject is understood from a multidisciplinary perspective,
recapturing the spirit of Alan Turing (1912-1954) by linking theoretical
and real-world concerns from computer science, mathematics, biology,
physics, computational neuroscience, history and the philosophy of
computing.

Editor-in-Chief

Vasco Brattka (Cape Town, South Africa)

Managing Editors

Paola Bonizzoni (Milan, Italy)
S. Barry Cooper (Leeds, UK)
Benedikt Loewe (Amsterdam, The Netherlands)
Elvira Mayordomo (Zaragoza, Spain)

Editorial Board

Samson Abramsky (Oxford, UK)
Manindra Agrawal (Kanpur, India)
Eric Allender (Piscataway, USA)
Jeremy Avigad (Pittsburgh, USA)
Arnold Beckmann (Swansea, UK)
Olivier Bournez (Palaiseau, France)
Alessandra Carbone (Paris, France)
Karine Chemla (Paris, France)
Bruno Codenotti (Pisa, Italy)
Stephen A. Cook (Toronto, Canada)
Anuj Dawar (Cambridge, UK)
Rodney G. Downey (Wellington, New Zealand)
Natasha Jonoska (Tampa, USA)
Ulrich Kohlenbach (Darmstadt, Germany)
Russell Miller (New York, USA)
Andrei Morozov (Novosibirsk, Russia)
Prakash Panangaden (Montreal, Canada)
Frank Stephan (Singapore)
Vlatko Vedral (Oxford, UK)
Rineke Verbrugge (Groningen, The Netherlands)
Ning Zhong (Cincinnati, USA)


Submission Guidelines

The journal Computability invites submission of full papers of highest
quality on all research topics related to computability.

Computability accepts only submissions of original research papers that
have not been published previously and that are not currently submitted
elsewhere. Full versions of papers that have already been published in
conference proceedings are eligible only if the conference version is
clearly cited and the full version enhances the conference version
significantly.

Authors are requested to submit PDF manuscripts electronically via the
online submission system. Authors can indicate non-binding wishes
regarding Editorial Board Members who should handle their submission.
Final versions of accepted papers have to be prepared using the journal
style file and they need to be submitted together with all source files.

Authors submitting a manuscript do so on the understanding that they
have read and agreed to the terms of the IOS Press Author Copyright
Agreement and that all persons listed as authors have given their
approval for the submission of the paper.

http://www.computability.de/journal/
_________________________________________________________________________

**********************************************************
*
* 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, July 9, 2011

[DMANET] CFP [LAST WEEK]: MarSS 2011 - International Workshop on Marine Sensors and Systems - (In conjunction with IEEE MASS 2011)

Apologies for crossposting

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

International Workshop on Marine Sensors and Systems (MARSS 2011)
October 17-22, 2011, Valencia (Spain)
In conjunction with IEEE MASS 2011
http://mass2011.upv.es/marss2011/index.html


Sensor networks and sensor-based systems support many applications today on the ground. Underwater operations and applications are quite limited by comparison. Most applications refer to remotely controlled submersibles and wide-area data collection systems at a coarse granularity. Underwater sensor networks have many potential applications such a seismic imaging of undersea oil fields as a representative application. Oceanographic research is also based on the advances in underwater data collection systems.

There are specific technical aspects to realize underwater applications which can not be borrowed from the ground-based sensors net research. Radio is not suitable for underwater systems because of extremely limited propagation. Acoustic telemetry could be used in underwater communication; however off-the-shelf acoustic modems are not recommended for underwater sensor networks with hundreds of nodes because they were designed for long-range and expensive. As the speed of light (radio) is five orders of magnitude higher than the speed of sound, there are fundamental implications of time synchronization and propagation delays for localization. Additionally, existing communication protocols are not designed to deal with long sleep times and they can not shut down and quickly restart.

The International Workshop on Marine Sensors and Systems, MarSS, brings together practitioners and researchers for discussion and work on the emerging aspects pertaining to the new mechanisms for underwater sensor networks and applications.


Topics of interest:
Authors are invited to submit complete unpublished papers, which are not under review in any other conference or journal, including, but are not limited to, the following topic areas:

��� Protocols for underwater sensor networks
��� Hardware for marine sensors and systems
��� Marine observatories and Infrastructures
��� Underwater wired systems
��� Underwater wireless sensor networks
��� Sensors and system for marine neutrino telescopes
��� Acoustic and radio underwater communication
��� Aquatic environments and applications
��� Unmanned underwater exploration
��� Underwater localization and knowledge acquisition
��� Scalable underwater monitoring and measurement systems
��� Fixed and mobile underwater wireless sensors
��� Aquatic surveillance applications
��� QoS/Performance in underwater communication
��� Surface-floating and underwater sensor communication
��� Access control in underwater networks
��� Latency effects for critical applications and synchronization
��� Synchronization and delays in underwater sensor networks
��� Localization in underwater sensor networks
��� Advanced underwater sensor-based applications
��� Sensor and systems for navigation and tracking

Important Dates
Paper Submission: 16 July 2011
Paper Acceptance: 10 August 2011
Camera-Ready: 26 August 2011


Submission guidelines:
All submissions must be full papers in PDF format and uploaded on EDAS
http://edas.info/newPaper.php?c=10975

They must not exceed 6 single-spaced, double-column pages using 10 pt size fonts on 8.5 x 11 inch pages in IEEE style format.


General Chairs
Miguel Ardid, Univ. Polit���cnica de Valencia, Spain

TPC Chairs
Victor Espinosa, Univ. Polit���cnica de Valencia, Spain
Demetrio de Armas, Instituto Espa���ol de Oceanograf���a, Spain

Publicity Chairs
Sandra Sendra, Univ. Polit���cnica Valencia, Spain

Web Chair
Miguel Garcia, Univ. Polit���cnica Valencia, Spain

Friday, July 8, 2011

[DMANET] July 15th (firm!): EMERGING 2011 || November 20-25, 2011 - Lisbon, Portugal

INVITATION:
=================
Submission deadline: July 15th, 2011.
Please consider to contribute to and/or forward to the appropriate
groups the following opportunity to submit and publish original
scientific results.
In addition, authors of selected papers will be invited to submit
extended article versions to one of the IARIA Journals:
http://www.iariajournals.org
=================


============== EMERGING 2011 | Call for Papers ===============

CALL FOR PAPERS, TUTORIALS, PANELS

EMERGING 2011: The Third International Conference on Emerging Network
Intelligence
November 20-25, 2011 - Lisbon, Portugal

General page: http://www.iaria.org/conferences2011/EMERGING11.html
Call for Papers: http://www.iaria.org/conferences2011/CfPEMERGING11.html

- regular papers
- short papers (work in progress)
- industrial presentations
- posters
- ideas

Submission page: http://www.iaria.org/conferences2011/SubmitEMERGING11.html

Submission deadline: July 15th, 2011

Sponsored by IARIA, www.iaria.org

Extended versions of selected papers will be published in IARIA
Journals: http://www.iariajournals.org

Please note the Poster Forum and Work in Progress options.

The topics suggested by the conference can be discussed in term of
concepts, state of the art, research, standards, implementations,
running experiments, applications, and industrial case studies. Authors
are invited to submit complete unpublished papers, which are not under
review in any other conference or journal in the following, but not
limited to, topic areas.

All tracks are open to both research and industry contributions, in
terms of Regular papers, Posters, Work in progress,
Technical/marketing/business presentations, Demos, Tutorials, and Panels.

Before submission, please check and comply with the Editorial rules:
http://www.iaria.org/editorialrules.html

EMERGING 2011 Topics (topics and submission details: see CfP on the site)

Evolution of telecommunications network architectures
Advanced communications systems; New configurable protocols stacks and
real-time mechanisms; Applications and services for next-generation
architectures; Scalability and manageability of network architectures;
Opportunistic and cooperative communications; Next generation networks
(NGN); Optical networks; Wireless networks, Mobile networks; Ad-Hoc,
Sensor, Vehicle networks; Access, Residential, Last mile networks; Home,
Body and Personal area Networks; Active networks; Self Organizing
networks; Storage area networks; Peer-to-Peer and overlay networks;
Network measurements and testbeds; Transmission technologies (e.g.,
Ultra Wideband)

Applications and services
Peer-to-Peer applications and services; Web services; Mobile
applications; Entertainment and games; Home automation; Surveillance,
Home monitoring; Medical and health applications; e-commerce,
m-commerce; Location-based services; Real-time and multimedia
applications; Real-time services over IP

Networking and service differentiation
Network design and planning; Network management and control; Traffic
engineering; Traffic control, Flow control; Congestion and admission
control; QoS support and Performance; Routing, Switching, QoS routing;
Mobility management; Multicast; Service reliability, availability

Emerging networking
Network coding; Visualization of network behavior; Semantic routing;
Network flow processing; Cross-layer design and optimization; High-speed
networking; Context-aware mobile networking

Advanced network elements
Network processors; Content addressable memories; Multi-core processors;
Context-aware reconfigurable devices; Portable and wearable devices;
Mobile multimedia devices

Optimization
Power optimization in data centers; Delay and fault tolerant networks;
Video conferencing and telepresence systems; Resource optimization;
Context-aware optimization

Quality
Quality of service; Quality of performance; Quality of experience;
Quality of data; Quality of modeling; Quality-oriented routing; Quality
of context /degradation, trust, uncertainty, consistency/

Smartness
Cognitive radio; Autonomic and dependable communications; Ambient
systems; Identity and location in mobile environments; Smart homes;
Brain-like networking and computing

Discovery
Resource discovery; Service discovery; Content discovery; Flaws/anomaly
discovery

Protection
Anticipative control and management; Data protection strategies;
Collaborative Internet attack containment; Micro-kernels and robustness

Security
Trust and credential negotiations; Privacy; Intrusion prevention and
containment; Security in virtualization approach; Architectural support
for security; Security, privacy, and dependability; Security in
cooperative networks

Programmability
Programmable and real-time network traffic measurements; Adaptive
scheduling; Network and application load balancing; High-performance
capabilities-based networks; Software techniques to improve virtualized
I/O performance

End-user
Frequently changing user profile; User mobility and ubiquity; Scalable
and resource intensive multi-user distributed applications; User
identity and multi-service access technologies; End-user perception;
End-user based networking and service orchestration; End-user activity
recognition with multiple goals

Mobility
Mobile Internet services; Mobility-oriented protocols /Mobile IP, etc./;
Wearable and/or mobile technologies; Self-discovery and localizing
entities; Seamless handover

Ubiquity
Ubiquitous computing; Pervasive and embedded systems; Ubiquitous
sustainability; Sensing location; Activity patterns; Smart environments
in the workplaces; Ubiquitous cities

Semantics and Adaptiveness
Content-aware networks; Network-aware applications; Semantic Web;
Adaptive systems; Adaptive applications; Self-adaptiveness;
Ontology-based adaptation; Semantic profile; Semantic service
orchestration; Multi-technology semantic integration /sensors, ehealth,
geosensing, etc./

Wireless
Wireless access technologies / WLANs, WiMAX, satellite, 3G, etc./;
Multi-hop wireless networks /sensor, ad hoc, mesh, etc./; Wireless QoS
and reliability; Wireless body area networks; Energy optimization

Emerging technologies and applications
Vehicular ad hoc networks; Bio-inspired networks; Tele-medicine/e-health
networks; User-centric services and applications; Autonomous and
autonomic systems; Self-manageable systems; Emerging computation
business models; Social networks; eSociety

---------------
EMERGING Advisory Chairs
Raj Jain, Washington University in St. Louis, USA
Michael D. Logothetis, University of Patras, Greece
Tulin Atmaca, IT/Telecom&Management SudParis, France
Phuoc Tran-Gia, University of Wuerzburg, Germany
Nuno M. Garcia, Universidade Lusofonas de Humanidades e Tecnologias,
Lisboa, Portugal

EMERGING 2011 Industry Liaison Chairs
Krishna Murthy, Quintiles, USA
Tadashi Araragi, Nippon Telegraph and Telephone Corporation ? Kyoto, Japan
Robert Foster, Edgemount Solutions - Plano, USA

EMERGING 2011 Research Chair
David Carrera, Barcelona Supercomputing Center (BSC) / Universitat
Politecnica de Catalunya (UPC), Spain

Committee: http://www.iaria.org/conferences2011/ComEMERGING11.html
====================
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************