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

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

INVITATION:

=================
Note that the 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
=================

============== AP2PS 2011 | Call for Papers ===============

CALL FOR PAPERS, TUTORIALS, PANELS

AP2PS 2011: The Third International Conference on Advances in P2P Systems

November 20-25, 2011 - Lisbon, Portugal

General page: http://www.iaria.org/conferences2011/AP2PS11.html

Call for Papers: http://www.iaria.org/conferences2011/CfPAP2PS11.html

- regular papers
- short papers (work in progress)
- posters

Submission page: http://www.iaria.org/conferences2011/SubmitAP2PS11.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 conform with the Editorial rules: http://www.iaria.org/editorialrules.html

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

Architectures and protocols
Search protocols; Publish and subscribe systems; Overlay based multicast; Multilayer systems; Locality awareness; Gossip-based and epidemic protocols;
Integration with network operators and service providers; Autonomic computing and networking; Semantic P2P; Opportunistic networking

Applications
Content delivery networks; Cloud computing; Public resource computing; Aggregate computing; Web services; Computational, service, and storage Grids; Voice
and video streaming and IPTV; Collaborative platforms and social networks ; Network management; Wireless sensor networks; Scientific computing and workflow
management systems; Green computing

Prototypes and simulations
Implementations; Comparative performance analysis; Dependability, resilience and availability; Scalability; Stability; Benchmarking and optimization;
Quality of experience

Security, trust and reputation
Privacy & Anonymity; Trust and reputation management; Free-riding prevention; Authentication and identity management; Fairness and Incentive models; Virtual
economies; Digital rights management; Content filtering

P2P and wireless convergence
P2P in cellular networks; P2P in wireless networks; P2P in ad hoc networks; Integrated approaches; Energy efficiency

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

AP2PS General Chairs
Nick Antonopoulos, University of Derby, UK
Antonio Liotta, Eindhoven University of Technology, The Netherlands
Giuseppe Di Fatta, The University of Reading, UK

AP2PS Advisory Chairs
Marco Aiello, University of Groningen, The Netherlands
Takahiro Hara, University of Osaka, Japan
Ouri Wolfson, University of Illinois at Chicago, USA

AP2PS 2011 Industry Liaison Chair
Christoph Schuba, Oracle Corp., USA
Roman Y. Shtykh, Rakuten, Inc., Japan

AP2PS 2011 Research Chairs
Yasushi Kambayashi, Nippon Institute of Technology, Japan
Anders Fongen, Norwegian Defense Research Establishment, Norway
Quang Hieu Vu, ETISALAT BT Innovation Center (EBTIC)/ Khalifa University, UAE

Committee: http://www.iaria.org/conferences2011/ComAP2PS11.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/
*
**********************************************************

PhD fellowships in cryptography at the University of Warsaw

Faculty of Mathematics, Informatics and Mechanics of the University of
Warsaw is looking for PhD students (3 positions) to work on the
project "Cryptographic Protocols Provably-Secure Against Physical
Attacks". The project is founded by the Foundation for Polish
Science "Welcome" programme operated within the Innovative Economy
Operational Programme 2007-2013.

The ideal candidates should be familiar with the probability theory,
computational complexity, algebra, and number theory. The knowledge
of cryptography and information theory is a plus, but is not a
prerequisite. The PhD students will be expected to work on the
mathematical aspects of the project.

duration: 1.10.2011 - 31.05.2015 (an earlier starting date is possible
for students already enrolled to the PhD program at the University of
Warsaw, or at some other Polish scientific institution).

There is no strict application deadline but candidates applying by
15.07.2011 will be given preference.

More information about the project and the positions is available at:
http://crypto.mimuw.edu.pl/Welcome/

MSc fellowships in cryptography at the University of Warsaw

Faculty of Mathematics, Informatics and Mechanics of the University of
Warsaw is looking for MSc students (2 positions) to work on the
project "Cryptographic Protocols Provably-Secure Against Physical
Attacks". The project is founded by the Foundation for Polish Science
"Welcome" programme operated within the Innovative Economy Operational
Programme 2007-2013.

The ideal candidates should be familiar with the probability theory,
computational complexity, algebra, and number theory. The knowledge
of cryptography and information theory is a plus, but is not a
prerequisite. Fluency in English is a must. The students can work
both on the theoretical aspects of the project, and on the practical
implementations.

duration: 2 years, starting date: 1.08.2011 (or later)

Formal requirement: while participating in the project the student
should be enrolled to the MSc-level studies at some Polish university.

There is no strict application deadline but candidates applying by
15.07.2011 (noon) will be given preference.

More information about the project and the positions is available at:
http://crypto.mimuw.edu.pl/Welcome/

--

[DEADLINE EXTENDED] CFP - IEEE GLOBECOM 2011 - Smart Communication Protocols & Algorithms (SCPA 2011)

Apologies for crossposting

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

Deadline extended to July 17, 2011

Smart Communication Protocols and Algorithms (SCPA 2011)
December 5-9, 2011, Huston, Texas (USA)
In conjunction with Globecom 2011
http://scpa.it.ubi.pt/

Selected papers will be invited to the Special Issue on Smart Protocols and Algorithms of the International Journal Network Protocols and Algorithms (ISSN 1943-3581)

Communication protocols and algorithms are needed to communicate network devices and exchange data between them. The appearance of new technologies usually comes with a protocol procedure and communication rules that allows data communication while taking profit of this new technology. Recent advances in hardware and communication mediums allow proposing new rules, conventions and data structures which could be used by network devices to communicate across the network. Moreover, devices with higher processing capacity let us include more complex algorithms that can be used by the network device to enhance the communication procedure.

Smart communication protocols and algorithms make use of several methods and techniques (such as machine learning techniques, decision making techniques, knowledge representation, network management, network optimization, problem solution techniques, and so on), to communicate the network devices to transfer data between them. They can be used to perceive the network conditions, or the user behavior, in order to dynamically plan, adapt, decide, take the appropriate actions, and learn from the consequences of its actions. The algorithms can make use of the information gathered from the protocol in order to sense the environment, plan actions according to the input, take consciousness of what is happening in the environment, and take the appropriate decisions using a reasoning engine. Goals such as decide which scenario fits best its end-to-end purpose, or environment prediction, can be achieved with smart protocols and algorithms. Moreover, they could learn from the past and !
use this knowledge to improve futur
e decisions.

In this workshop, researchers are encouraged to submit papers focused on the design, development, analysis or optimization of smart communication protocols or algorithms at any communication layer. Algorithms and protocols based on artificial intelligence techniques for network management, network monitoring, quality of service enhancement, performance optimization and network secure are included in the workshop.

We welcome technical papers presenting analytical research, simulations, practical results, position papers addressing the pros and cons of specific proposals, and papers addressing the key problems and solutions. The topics suggested by the conference can be discussed in term of concepts, state of the art, standards, deployments, implementations, running experiments 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:
� Smart network protocols and algorithms for multimedia delivery
� Application layer, transport layer and network layer cognitive protocols
� Cognitive radio network protocols and algorithms
� Automatic protocols and algorithms for environment prediction.
� Algorithms and protocols to predict data network states.
� Intelligent synchronization techniques for network protocols and algorithms
� Smart protocols and algorithms for e-health
� Software applications for smart algorithms design and development.
� Dynamic protocols based on the perception of their performance
� Smart protocols and algorithms for Smartgrids
� Protocols and algorithms focused on building conclusions for taking the appropriate actions.
� Smart Automatic and self-autonomous ad-hoc and sensor networks.
� Artificial intelligence applied in protocols and algorithms for wireless, mobile and dynamic networks.
� Smart security protocols and algorithms
� Smart cryptographic algorithms for communication
� Artificial intelligence applied to power efficiency and energy saving protocols and algorithms
� Smart routing and switching protocols and algorithms
� Cognitive protocol and algorithm models for saving communication costs.
� Any kind of intelligent technique applied to QoS, content delivery, network Monitoring and network management.
� Smart collaborative protocols and algorithms
� Problem recognition and problem solving protocols
� Genetic algorithms, fuzzy logic and neural networks applied to communication protocols and algorithms

Important Dates
Paper Submission: 17 July 2011 (extended deadline)
Paper Acceptance: 14 August 2011
Camera-Ready: 7 September 2011

Submission guidelines:
All submissions must be full papers in PDF format and uploaded on EDAS (http://edas.info//N10879).
They must not exceed 10 single-spaced, double-column pages using 10 pt size fonts on 8.5 x 11 inch pages in IEEE style format.

General Chairs
Jaime Lloret, Univ. Politecnica Valencia, Spain
Joel Rodrigues, Inst. of Telecommunications, Univ. of Beira Interior, Pt

TPC Chairs
Nidal Nasser, University of Guelph, Canada
Ivan Stojmenovic, University of Ottawa, Canada

Poster Chairs
Binod Vaidya, University of Ottawa, Canada
Bin Wei, AT&T, USA

Industry Chairs
Haohong Wang, Cisco
Chi-Ming Chen, AT&T, USA

Publicity Chairs
Sandra Sendra, Univ. Politecnica Valencia, Spain
Mbaye B. Sene; Cheikh Anta Diop Univ., Dakar, Senegal

Web Chair
Miguel Garcia, Univ. Politecnica Valencia, Spain

[DMANET] [DEADLINE EXTENDED] CFP - IEEE GLOBECOM 2011 - Smart Communication Protocols & Algorithms (SCPA 2011)

Apologies for crossposting

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

Deadline extended to July 17, 2011

Smart Communication Protocols and Algorithms (SCPA 2011)
December 5-9, 2011, Huston, Texas (USA)
In conjunction with Globecom 2011
http://scpa.it.ubi.pt/

Selected papers will be invited to the Special Issue on Smart Protocols and Algorithms of the International Journal Network Protocols and Algorithms (ISSN 1943-3581)

Communication protocols and algorithms are needed to communicate network devices and exchange data between them. The appearance of new technologies usually comes with a protocol procedure and communication rules that allows data communication while taking profit of this new technology. Recent advances in hardware and communication mediums allow proposing new rules, conventions and data structures which could be used by network devices to communicate across the network. Moreover, devices with higher processing capacity let us include more complex algorithms that can be used by the network device to enhance the communication procedure.

Smart communication protocols and algorithms make use of several methods and techniques (such as machine learning techniques, decision making techniques, knowledge representation, network management, network optimization, problem solution techniques, and so on), to communicate the network devices to transfer data between them. They can be used to perceive the network conditions, or the user behavior, in order to dynamically plan, adapt, decide, take the appropriate actions, and learn from the consequences of its actions. The algorithms can make use of the information gathered from the protocol in order to sense the environment, plan actions according to the input, take consciousness of what is happening in the environment, and take the appropriate decisions using a reasoning engine. Goals such as decide which scenario fits best its end-to-end purpose, or environment prediction, can be achieved with smart protocols and algorithms. Moreover, they could learn from the past and !
use this knowledge to improve futur
e decisions.

In this workshop, researchers are encouraged to submit papers focused on the design, development, analysis or optimization of smart communication protocols or algorithms at any communication layer. Algorithms and protocols based on artificial intelligence techniques for network management, network monitoring, quality of service enhancement, performance optimization and network secure are included in the workshop.

We welcome technical papers presenting analytical research, simulations, practical results, position papers addressing the pros and cons of specific proposals, and papers addressing the key problems and solutions. The topics suggested by the conference can be discussed in term of concepts, state of the art, standards, deployments, implementations, running experiments 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:
��� Smart network protocols and algorithms for multimedia delivery
��� Application layer, transport layer and network layer cognitive protocols
��� Cognitive radio network protocols and algorithms
��� Automatic protocols and algorithms for environment prediction.
��� Algorithms and protocols to predict data network states.
��� Intelligent synchronization techniques for network protocols and algorithms
��� Smart protocols and algorithms for e-health
��� Software applications for smart algorithms design and development.
��� Dynamic protocols based on the perception of their performance
��� Smart protocols and algorithms for Smartgrids
��� Protocols and algorithms focused on building conclusions for taking the appropriate actions.
��� Smart Automatic and self-autonomous ad-hoc and sensor networks.
��� Artificial intelligence applied in protocols and algorithms for wireless, mobile and dynamic networks.
��� Smart security protocols and algorithms
��� Smart cryptographic algorithms for communication
��� Artificial intelligence applied to power efficiency and energy saving protocols and algorithms
��� Smart routing and switching protocols and algorithms
��� Cognitive protocol and algorithm models for saving communication costs.
��� Any kind of intelligent technique applied to QoS, content delivery, network Monitoring and network management.
��� Smart collaborative protocols and algorithms
��� Problem recognition and problem solving protocols
��� Genetic algorithms, fuzzy logic and neural networks applied to communication protocols and algorithms

Important Dates
Paper Submission: 17 July 2011 (extended deadline)
Paper Acceptance: 14 August 2011
Camera-Ready: 7 September 2011

Submission guidelines:
All submissions must be full papers in PDF format and uploaded on EDAS (http://edas.info//N10879).
They must not exceed 10 single-spaced, double-column pages using 10 pt size fonts on 8.5 x 11 inch pages in IEEE style format.

General Chairs
Jaime Lloret, Univ. Politecnica Valencia, Spain
Joel Rodrigues, Inst. of Telecommunications, Univ. of Beira Interior, Pt

TPC Chairs
Nidal Nasser, University of Guelph, Canada
Ivan Stojmenovic, University of Ottawa, Canada

Poster Chairs
Binod Vaidya, University of Ottawa, Canada
Bin Wei, AT&T, USA

Industry Chairs
Haohong Wang, Cisco
Chi-Ming Chen, AT&T, USA

Publicity Chairs
Sandra Sendra, Univ. Politecnica Valencia, Spain
Mbaye B. Sene; Cheikh Anta Diop Univ., Dakar, Senegal

Web Chair
Miguel Garcia, Univ. Politecnica Valencia, Spain

[DMANET] Post-Doc Position at TU Chemnitz in Algorithmic and Discrete Mathematics

Post-Doc Position at TU Chemnitz
Department of Mathematics, Algorithmic and Discrete Mathematics

At the Department of Mathematics of Technische Universität Chemnitz
a post-doc position is available in the Algorithmic and Discrete
Mathematics group starting on 1.10.2011 at the level

Wissenschaftlicher Mitarbeiter/Wissenschaftliche Mitarbeiterin
(100%, Entgeltgruppe 13 TV-L)

initially for two years until 30.09.2013 within usual regulations
according to Saxonian law, see the official German announcement on

http://www.tu-chemnitz.de/verwaltung/personal/stellen/WM_Helmberg_29_07_2011.php

Applicants are expected to have completed their dissertation within the
last two years on a topic within algorithmic/discrete mathematics or
discrete/convex optimization. They should aim at extending their
qualifications for a university career and be willing to participate
actively in the development of our working group.

They are also expected to participate in the teaching duties of the
department, therefore fluency in German is a prerequisite.

Applications should be in German, refer to the official announcement
above and should be directed electronically or by standard mail
before 29.07.2011 to

Prof. Dr. Christoph Helmberg
Technische Universität Chemnitz
Fakultät für Mathematik
Reichenhainer Str. 39/41
09126 Chemnitz

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

*** CALCO 2011: Early registration deadline approaching ***

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

CALL FOR PARTICIPATION: CALCO 2011

4th International Conference on Algebra and Coalgebra in Computer Science

August 29 - September 2, 2011

Winchester, UK

http://calco2011.ecs.soton.ac.uk/

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

*** Early registration deadline: July 15, 2011 ***

(accommodation only guaranteed until July 15)

*** Programme now available from the website ***

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

CALCO aims to bring together researchers and practitioners with
interests in foundational aspects, and both traditional and emerging
uses of algebras and coalgebras in computer science.

This is a high-level, bi-annual conference formed by joining the
forces and reputations of CMCS (the International Workshop on
Coalgebraic Methods in Computer Science), and WADT (the Workshop on
Algebraic Development Techniques). Previous CALCO editions took place
in Swansea (Wales, 2005), Bergen (Norway, 2007) and Udine (Italy,
2009). The fourth edition will be held in the city of Winchester
(UK), a historic cathedral city and the ancient capital of Wessex
and the Kingdom of England.

CALCO 2011 will be preceded by the CALCO Young Researchers Workshop,
CALCO-Jnr, dedicated to presentations by PhD students and by those who
completed their doctoral studies within the past few years.

The programme of CALCO also comprises presentations of tools based on
algebraic and/or coalgebraic principles, that have been selected in the
context of a dedicated workshop, CALCO-Tools.

-- INVITED SPEAKERS --

* Javier Esparza (Germany): Solving Fixed-Point Equations by Derivation Tree Analysis
* Philippa Gardner (UK): Abstract Local Reasoning about Program Modules
* Gopal Gupta (USA): Infinite Computation, Coinduction and Computational Logic

-- CALCO ACCEPTED PAPERS --

* Clement Fumex, Neil Ghani and Patricia Johann. Indexed Induction and Coinduction, Fibrationally
* Jort Bergfeld and Yde Venema. Model constructions for Moss' coalgebraic logic
* Jiri Adamek, Mahdie Haddadi and Stefan Milius. From Corecursive Algebras to Corecursive Monads
* Sergey Goncharov and Lutz Schroeder. A Counterexample to Tensorability of Effects
* Camilo Rocha and Jose Meseguer. Proving Safety Properties of Rewrite Theories
* Ekaterina Komendantskaya and John Power. Coalgebraic semantics for derivations in logic programming
* Adriana Balan and Alexander Kurz. Finitary Functors: from Set to Preord and Poset
* Joost Winter, Marcello Bonsangue and Jan Rutten. Context-Free Languages, Coalgebraically
* Marta Bilkova, Alexander Kurz, Daniela Petrisan and Jiri Velebil. Relation Liftings on Preorders
* Murdoch Gabbay, Tadeusz Litak and Daniela Petrisan. Stone duality for nominal Boolean algebras with `new': topologising Banonas
* Bart Jacobs. Bases as Coalgebras
* Thorsten Altenkirch, Peter Morris, Fredrik Nordvall Forsberg and Anton Setzer. A categorical semantics for inductive-inductive definitions
* Jun Kohjina, Toshimitsu Ushio and Yoshiki Kinoshita. Coalgebraic Approach to Supervisory Control of Partially Observed Mealy Automata
* Ichiro Hasuo. The Microcosm Principle and Compositionality of GSOS-Based Component Calculi
* Mihai Codescu and Till Mossakowski. Refinement trees: calculi, tools and applications
* Baltasar Trancon Y Widemann and Hauhs Michael. Distributive-Law Semantics for Cellular Automata and Agent-Based Models
* Corina Cirstea. Model Checking Linear Coalgebraic Temporal Logics: an Automata-Theoretic Approach
* Katsuhiko Sano. Generalized Product of Coalgebraic Hybrid Logics
* Rasmus Ejlers Mogelberg and Sam Staton. Linearly-used state in models of call-by-value
* Fredrik Dahlqvist and Dirk Pattinson. On the fusion of coalgebraic modal logics
* Manuel A. Martins, Alexandre Madeira, Razvan Diaconescu and Luis Barbosa. Hybridization of Institutions

-- CALCO-Tools ACCEPTED PAPERS --

* Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac and Anna Ingolfsdottir. PREG Axiomatizer - A Ground Bisimilarity Checker for GSOS with Predicates
* Pawel Sobocinski and Jennifer Lantair. WiCcA: LTS generation tool for wire calculus
* Francisco Duran, Camilo Rocha and Jose Maria Alvarez. Tool Interoperability in the Maude Formal Environment
* Andre Martins, Luis Barbosa and Nuno Rodrigues. SHACC: A functional animator for a component calculus
* Ulrich Berger, Kenji Miyamoto, Helmut Schwichtenberg and Monika Seisenberger. Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras
* Musab Alturki and Jose Meseguer. PVeStA: A Parallel Statistical Model Checking and Quantitative Analysis Tool

-- LOCATION --

Winchester is a beautiful historic city in southern England, known for
its 11th-century cathedral and 12th-century castle. It is located just
under an hour by rail from London Waterloo, and 15 minutes by road or
rail from Southampton Airport. London Heathrow is 50 miles away and
London Gatwick 72 miles away.

-- FURTHER INFORMATION --

Queries should be emailed to calco2011@ecs.soton.ac.uk

.

[DMANET] postdoctoral position in in the area of decomposition approaches to MIP

A 2-year postdoctoral position is available in the area of decomposition
and reformulation approaches to mixed integer programming at INRIA
Bordeaux in the RealOpt Team:
https://wiki.bordeaux.inria.fr/realopt/pmwiki.php

The intended research is both methodological and computational
(including a participation to generic implementation developments). A
strong background in mathematical programming and specifically in
branch-and-price approaches is required, completed by algorithmic, C++
and distributed computing skills.

Further details can be found on
https://wiki.bordeaux.inria.fr/realopt/pmwiki.php/Project/PostDocFellowship
. To apply, please contact fv@math.u-bordeaux1.fr.

--
Francois Vanderbeck

Institut de Mathematiques (IMB), Universite Bordeaux 1

Equipe-Projet RealOpt, INRIA Bordeaux Sud-Ouest

https://wiki.bordeaux.inria.fr/realopt/

**********************************************************
*
* 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] Call for Participation: Second Conference on Auctions, Market Mechanisms and their Applications (AMMA 2011)

Call for Participation:

The Second Conference on Auctions, Market Mechanisms and their Applications (AMMA 2011)

http://www.ammaconference.org

August 22-23, CUNY Graduate Center (Manhattan), New York City, USA

Early Registration Deadline: July 21

The biennial AMMA conference is a forum for advances in the theory and
practice of auctions and market mechanisms. The goal of the conference
is to bring together researchers from computer science, economics, and
business schools as well as industry, with common interests in issues
that arise in all stages of deploying market mechanisms. In addition to
more traditional academic papers, the conference will focus on
experiences from the real world such as case studies and new applications.

AMMA 2011 features two invited talks by

** Peter Cramton, University of Maryland
"Medicare Auctions: A Case Study of Government Market Design."

** Jeremy A. Smith, SecondMarket, Inc.
"Dutch auction. English auction. Manhattan auction?"

The technical program features 22 technical papers and case studies on
topics such as school choice, markets for housing, energy, and
advertising, prediction markets, and the theory of market design:
http://www.ammaconference.org/techprog.shtml

We look forward to seeing you in New York this August!

AMMA Steering Committee

Boleslaw Szymanski, Rensselaer Polytechnic Institute
Peter Coles, Harvard Business School
Vincent Conitzer, Duke University
Sanmay Das, Rensselaer Polytechnic Institute
Sebastien Lahaie, Yahoo! Research
Michael Ostrovsky, Stanford GSB
David Pennock, Yahoo! Research

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

[DMANET] FRICO 2011 15th Workshop on Future Research in Combinatorial Optimization

****************************************************************
FRICO 2011
(15th Workshop on Future Research in Combinatorial Optimization)
August 23-26, 2011
Rijksuniversiteit Groningen, The Netherlands.
****************************************************************

Registration deadline: July 22, 2011

FRICO 2011 is the 15th event in a sequence of successful meetings
and will take place in August 2011 at the University of Groningen.
Aim of this workshop is mainly to bring together young researchers
(Master students, PhD students and PostDocs) and to encourage the
exchange of new ideas. The focus of the workshop is new results from
various areas of combinatorial and discrete optimization.

There is no conference fee for participation in the workshop. More
information can be found on the website:
http://www.math.rug.nl/frico2011/
**********************************************************
*
* 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] Call for Papers for the 4th IEEE International Workshop on Wireless Sensor, Actuator and Robot Networks (WiSARN-FALL 2011)

We apologize if you receive multiple copies of this message.
------------------------------------------------------------------------
Call for Papers for the 4th IEEE International Workshop on
Wireless Sensor, Actuator and Robot Networks (WiSARN-FALL 2011)
http://researchers.lille.inria.fr/~mitton/WiSARN-fall2011/

To be held in conjunction with the 8th IEEE International Conference on Mobile Ad-hoc and Sensor Systems
(IEEE MASS 2011)
October 17-22, 2011, Valencia, Spain.

Wireless sensor and actor networks (WSAN) are the confluence point where the traditional
fields of wireless sensor networks (WSN), robot networks and control theory meet. In WSAN,
nodes collaborate to accomplish distributed sensing and actuation tasks. Leveraged by the
control and mobility of actors, the networking process and applications embrace a whole new
set of possibilities. Actors may deploy, repair and relocate sensors to improve coverage, build
routes and fix network partition to ensure data communication, change network topology to
shape routing patterns and balance energy consumption, and respond to reported events in a
timely and effective manner. The benefits are limited only by imagination. As an emerging
field, WSAN are in need of new networking techniques, by which they can fully exploit their
particularities and potentials. WiSARN aims to bring together state-of-the-art contributions on
the design, specification and implementation of architectures, algorithms and protocols for
current and future applications of WSAN. Original, unpublished contributions are solicited in
ALL aspects of WSAN, WSN, robot networks, and robotics and automation. Possible topics
include, but are not limited to:
锟斤拷 Autonomous sensor networks
- Emergent behavior in WSAN
- Modeling and simulation of WSAN
- WSAN architectural and operational models
- Autonomic and self-organizing coordination and communication
- Sensor-/actor (robot)- actor coordination and actor task assignment
- Biologically inspired communication
- Energy-efficient and real-time communication protocols
- Bandwidth-efficient and delay-tolerant communication protocols
- Communication protocols for swarms of mobile actors (robots)
- Data management, gathering, aggregation and query processing
- Distributed control and management in WSAN
- Neighborhood discovery and mobility management
- Map exploration and pattern formation of mobile robots
- Localization and time synchronization and in WSAN
- Quality of Service, security and robustness issues
- Architectures and topology control
- Probabilistic integration in WSAN
- Hybrid networks and wireless Internet
- Ecological systems
- Applications and prototypes
Accepted papers with a FULL registration to the main conference will be included in the
conference proceedings. No-shows of accepted papers at the workshop will result in those
papers NOT being included in the IEEE CPS and included in MASS proceedings. Thus, all
papers will be EI-indexed, and be found by IEEE Explore. Selected best papers will be invited
to a special issue of Ad Hoc & Sensor Wireless Networks (SCIE-indexed).


IMPORTANT DATES:
Paper submission: July.16, 2011
Author notification: August, 10, 2011
Final manuscript due: August, 26, 2011

General Chair:
Ivan Stojmenovic, University of Ottawa, Canada
Program Co-Chairs:
Jiming Chen, Zhejiang University, China
Hannes Frey, Univerity of Paderburn, Germany
Nathalie Mitton, INRIA, France
Submission Chair:
Rafael Falcon, University of Ottawa, Canada
Publicity Co-Chairs:
Mianxiong Dong, University of Aizu, Japan
Antoine Gallais, University of Strasbourg, France
Hangguan Shan, Zhejiang University, China


For further information, please refer to the above WiSARN-Fall 2011 website,
or contact the program co-chairs:
Dr. Jiming Chen at jmchen.zju@gmail.com
Dr. Hannes Frey at hannes.frey@uni-paderborn.de
Dr. Xu Li at easylix@gmail.com
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] [IEEE ISCIT 2011] CFP - Green and Cognitive Communications for the Future

Dear all colleagues,

The submission deadline for ISCIT 2011 has be extended to July 20, 2011.

You are encouraged to submit the relevant papers to the IEEE ISCIT 2011
(http://www.iscit2011.org/), which will be held in Hangzhou, China (October
12-14). And please consider to contribute to and/or forward to the
appropriate groups the opportunity to submit and publish original scientific
results.

++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
+++++++++++

The 11th IEEE International Symposium on Communications and Information
Technologies

IEEE ISCIT 2011 - "Green and Cognitive Communications for the Future"

Zhejiang University, Hangzhou, China - http://www.iscit2011.org/

October 12-14, 2011

Themed "Green and Cognitive Communications for the Future", ISCIT 2011 (The
11th International Symposium on Communications & Information Technologies)
covers the entire range of information and communications technologies
(ICT), providing an international forum for world's leading researchers to
present original ideas and contributions in the form of technical papers,
keynote speech, panel discussions, posters as well as demonstrations in
intelligent communications, green networking and advanced signal processing
employed to support the needs of the future ICT. This symposium seeks to
address and capture highly-innovative and state-of-the-art research from
global academia, industry as well as standardization organizations, deeply
discussing the current status, technical challenges, standards, fundamental
issues, and future services and applications. The topics of interests for
regular sessions include, but are not limited to, the followings:

* Cognitive radio and cognitive networks
* Internet of things
* Green radio and energy-efficient networks
* Convergence of mobile internet, telecommunications and broadcasting
* Smart grid communications
* Ad-hoc, mesh and sensor networks
* Compressed sensing for communication and networking
* Underwater communications
* Vehicular networks (VANETs)
* Dynamic spectrum access and management
* RFID networking
* Self-organizing networks
* DVB and DAB techniques
* Nature-inspired communications
* Broadband optical networks
* Cooperative communications and networking
* Multimedia services and technologies
* MIMO communications
* Network management and design
* Multi-carrier systems, OFDM, MC-CDMA & FBMC
* Intelligent signal processing, communication systems and network
protocols
* Spread spectrum and UWB
* Embedded computing technology
* Adaptive coding and modulation
* Computer systems and applications
* Detection and estimation algorithms
* Virtual reality and mixed reality
* Cross-layer air interface
* e-Education and e-Learning
* Radio resource management
* Artificial intelligence and applications
* Data/networks privacy and security
* Mobile computing networks
* Standardization (ITU-R, ETSI, IEEE 802, IEEE DySPAN, IETF)
* Circuits and systems for communications
* VLSI architecture for signal processing

Important Date:

Paper Submission: June 15, 2011 July 20, 2011
Acceptance Notification: August 20, 2011
Submission of Camera Ready Paper: September 10, 2011

General Chairs:

Zhaohui Wu, Zhejiang University, China
David Grace, University of York, UK
Jacques Palicot, Supelec, France
Ming Xu, National University of Defense Technology, China
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] Postdoctoral position in Mathematical Programming in LIF (Marseille, France)

A postdoctoral position is available in the area of Mixed Integer
Nonlinear Programming (MINLP) in the computer science laboratory LIF
(http://www.lif.univ-mrs.fr/) of Aix-Marseille University. The research
will be done in the Algorithms Combinatorics and Operations Research
group with Pierre Bonami. The postdoc could start as soon as September
2011 and will be funded for one year in the context of a "Google
Research Award".

The goal of the postdoc is to conduct research in the area of MINLP.
Ideally, the research should have both theoretical and computational
aspects and should lead to the development of new open-source codes for
addressing MINLPs or to the improvement of existing ones (Bonmin,
Couenne,...).

The position is open to candidates of any nationality and the selection
will be based on the candidates research records and their potential to
make a significant contribution in the context of the postdoc.

Applicants, should hold a Ph.D. in optimization or operations research
and have a background in integer programming and/or nonlinear
programming. A good knowledge of computer programming (C/C++) and
previous experience in programming with optimization software (CPLEX,
COIN-OR, XPRESS,...) would be a big plus. Of course, ideally, previous
works in MINLP would also be suitable.

Applicants should apply by email to pierre.bonami@lif.univ-mrs.fr by
sending a curriculum vitae, a cover letter and the names of references.

For more informations, feel free to contact me directly.

Pierre Bonami, Laboratoire d'Informatique Fondamentale,
Parc Scientifique et Technologique de Luminy,
163 avenue de Luminy - Case 901,
F-13288 Marseille Cedex 9, France.
Tel: (+33) 4 91 82 93 17 Fax: (+33) 4 91 82 92 75
pierre.bonami@lif.univ-mrs.fr
http://pageperso.lif.univ-mrs.fr/~pierre.bonami/
**********************************************************
*
* 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] Call for papers: Special Track on "New Developments in Scheduling and Manufacturing" for INCOM2012

Call for papers

Special Track on "New Developments in Scheduling and Manufacturing"
for INCOM2012
(14th IFAC Symposium on Information Control Problems in Manufacturing)

23-25 May 2012, Bucharest, Romania, http://www.incom12.ro

Track chairs:
Prof. Dirk Briskorn, University of Siegen, Siegen, Germany
Prof. Erwin Pesch, University of Siegen, Siegen, Germany
Prof. Frank Werner, Otto-von-Guericke-University, Magdeburg, Germany

Track topics:
The track includes (but is not limited to)
- - grouping and sequencing operations in multi-stage systems
- - scheduling in exible shops
- - scheduling with precedence constraints, batching, setups,
maintenance activities, and further technological constraints either
with a single (regular or non-regular) and multi-criteria objectives
- - robust scheduling
- - scheduling heuristics
- - scheduling in segments of a supply chain.

Track description and CFP:
The track presents state-of-the-art of scheduling research that
satises practical needs of modern manufacturing and resource
planning. Interdisciplinary methodologies may be presented, based on
advanced scheduling and combinatorial optimization techniques, in
order to provide ecient solution procedures for practical scheduling
problems.

It brings together experts to exchange recent developments of models
and solution techniques used for scheduling and manufacturing systems
which include single-stage as well as multi-stage facilities,
coordinating scheduling with transportation decisions, and scheduling
in segments of a supply chain.

We encourage both, practitioners and members of the scientic
community alike, to submit real world case studies and theoretical
papers considering modern manufacturing systems.

Important dates:
Deadline for submissions: October 22, 2011
Notication of acceptance: January 10, 2012
Submission of final draft: February 24, 2012

Submission:
Submitted papers (6 pages in IFAC double column format) will be
reviewed by at least two referees. Both academic and practical
communications will be considered. Scientic contributions will be
compiled into several volumes of INCOM2012 proceedings. Further
submission instructions are available from the website of the
symposium (http://www.incom12.ro). Several international journals are
associated with the symposium for publication of special issues.

- --

Prof. Dr. Dirk Briskorn
Professur für BWL, insb. Quantitative Planung
Universität Siegen
Hölderlinstr. 3
D - 57068 Siegen
- ---------------------------------------------
Phone: +49 - 271 / 740 - 3995
E-Mail: dirk.briskorn@uni-siegen.de
URL: http://www.uni-siegen.de/fb5/qp/
=============================================
**********************************************************
*
* 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] Postdoc and PhD positions, Link=F6ping University, Sweden

The CUGS National School of Computer Science (Linköping University, Sweden)
announces 1-3 postdoctor 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/
*
**********************************************************

[DMANET] ACAC 2011: Call for Contributions and Participation

CALL FOR CONTRIBUTIONS AND PARTICIPATION

6th Athens Colloquium on Algorithms and Complexity
ACAC 2011

25-26 August, 2011
NTUA, Athens, Greece

http://www.corelab.ece.ntua.gr/acac2011

SCOPE: ACAC is an annual meeting in Athens aiming to bring together
researchers working in all areas of the theory of algorithms and
computational complexity. It serves as a lively forum for presenting
research results that are in a preliminary stage or have been recently
accepted / presented in some major conference. Contributions may
appear, fully or partially, in informal electronic proceedings
available only to the participants (subject to authors' approval). The
language of the workshop is English.

VENUE: National Technical University of Athens, Greece, Zografou
Campus, ECE New Building and Multimedia room (under the Central
Library Building). For directions on how to reach the conference site
see http://www.ntua.gr/en_ntua/campus.htm.

REGISTRATION: There will be no registration fees. However,
participants should register for administrative purposes no later than
August 1, by filling the registration form at
http://www.corelab.ntua.gr/acac2011/registration2.php .

CONTRIBUTION: Participants interested in giving a presentation should
provide a tentative title and a short abstract no later than July 24,
by sending an e-mail to acac11[AT]corelab[DOT]ntua[DOT]gr. The
organizers will make every possible effort so that all interested
participants present their work (subject to schedule constraints).

ORGANIZING COMMITTEE: Dimitris Fotakis, Elias Koutsoupias, Evangelos Markakis,
Ioannis Milis, Aris Pagourtzis, Stathis Zachos (chair), Vassilis Zissimopoulos.

LOCAL ARRANGEMENTS: Andreas Goebel, Thanasis Lianeas, Haris
Angelidakis, Eleni Mpakali, Christina Karousatou, Matoula Petrolia.

CONTACT: For registration and further details please contact the
organizers by email to acac11[AT]corelab[DOT]ntua[DOT]gr.
**********************************************************
*
* 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 Sepcial 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/
*
**********************************************************

[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-equipped healthcare
systems enable remote and continuous monitoring of patients' 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] ADHOC-NOW 2011, Call for Participation

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

************************************************************************
* CALL FOR PARTICIPATION *
* *
* ADHOC-NOW 2011 *
* *
* The 10th International Conference on Ad Hoc Networks and Wireless *
* http://researchers.lille.inria.fr/~razafind/adhocnow2011 *
* *
* July 18-20, 2011 *
* Paderborn, Germany *
* *
************************************************************************

Since its creation in 2002, ADHOC-NOW has become a well-established and
well-known international conference dedicated to wireless and mobile
computing. It serves as a forum for interesting discussions on ongoing
research and new contributions. The conference addresses both experimental
and theoretical research in the areas of ad hoc networks, sensor networks,
mesh networks and vehicular networks. It focuses on all issues from link
layer up to the application layer. In 2011, ADHOC-NOW is for the first time
organized in Germany, in the beautiful city of Paderborn.

The program for ADHOC-NOW 2011 features one tutorial, two keynotes and seven
paper sessions.You can find further details, along with all other
information
relevant to the conference, at
http://researchers.lille.inria.fr/~razafind/adhocnow2011.

We are looking forward seeing you in Paderborn,

Hannes Frey and Xu Li.
**********************************************************
*
* 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] Call For Paper: 1st International Workshop on Worst-case Traversal Time (WCTT)

**********************************************************************
1st International Workshop on Worst-case Traversal Time (WCTT)
Vienna, Austria, Nov. 29, 2011
co-located with the 32nd IEEE Real-time Systems Symposium (RTSS)
website: http://www.wctt.info
info: wctt@cng1.iet.unipi.it
**********************************************************************

The WCTT workshop will gather together scientists and practitioners
from both academia and industry to discuss methods for analysis of
bounds on the traversal time in networked systems. Multi-hop,
network-like traversal will be a mandatory requirement. Contributions
that describe software tools for computing worst-case bounds and/or
assess the scalability and accuracy of the performance methods will be
given particular attention. The workshop values both theoretical and
practical research. Experiences with real-life case studies (e.g.,
industrial networks of practical relevance, fieldbuses, embedded
networks and network-on-chip) will also be appreciated, as well as
those on the integration of applicative scheduling and network.

Topics of interest include, but are not limited to:

Methods:
- Network Calculus (both deterministic and stochastic),
- Real-time Calculus
- Trajectory Approach
- Event-based methods
- Formal methods

Areas of applications:
- Embedded systems
- Computer networks
- Network-on-Chip
- Industrial networks

We solicit submission of manuscripts that present original research
results, neither previously published nor currently under review by
another conference or journal. Submitted papers must be formatted
according to the ACM conference proceedings format. Only PDF files
will be accepted. Papers must be up to eight pages long, including
references and title. Please note that the camera-ready version
will conform to the same guidelines as the submission for review.
All submitted papers will go through a rigorous peer review process.
Submissions will be judged on originality, significance, interest,
clarity, relevance, and correctness. Submission implies the
willingness of at least one author to attend the workshop and
present the paper. Accepted papers will be printed in the workshop
proceedings. Distinguished papers, after further revisions, may be
considered for a journal special issue.

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

Paper submission deadline: Sep 11th, 2011
Paper decision deadline: Oct 16th, 2011
Camera-ready deadline: Oct 30th, 2011
Workshop date: Nov 29th, 2011

-------------------
Workshop organizers
-------------------

- Marc Boyer (ONERA, Toulouse, FR)
- Christian Fraboul (Univ. de Toulouse, FR)
- Giovanni Stea (University of Pisa, IT)

---------------------------
Technical Program Committee
---------------------------

- Anne Bouillard (ENS Cachan, FR)
- Samarjit Chackraborty (TU München, DE)
- Jian-Jia Chen (KIT, DE)
- Florin Ciucu (T-labs TU Berlin, DE)
- Markus Fidler (University of Hannover, DE)
- Yuming Jiang (NTNU, NO)
- Steven Martin (LRI, FR)
- Matthieu Moy (Ensimag/Verimag, FR)
- Linh Thi Xuan Phan (Univ. of Pennsylvania, US)
- Jens Schmitt (University of Kaiserslautern, DE)
- Frank Slomka (University of Ulm, DE)
- Lothar Thiele (ETH Zurich, CH)
- Eric Thierry (ENS Lyon, FR)

--
Marc Boyer, Ingenieur de recherche ONERA
Tel: (33) 5.62.25.26.36 DTIM
Fax: (33) 5.62.25.26.52 2, av Edouard Belin
http://www.onera.fr/staff/marc-boyer/ 31055 TOULOUSE Cedex 4
**********************************************************
*
* 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] IEEE PacificVis 2012: Call for Papers

IEEE PacificVis 2012: Call for Papers

The 5th IEEE Pacific Visualization Symposium (PacificVis 2012) will be
held in Songdo, Korea from February 28 to March 2, 2012. PacificVis is
an IEEE sponsored international visualization symposium held in the
Asia-Pacific region, with the objective to foster greater exchange
between visualization researchers and practitioners, and to draw more
researchers in the Asia-Pacific region to enter this rapidly growing
area of research.

Authors are invited to submit original and unpublished research and
practical applications in all areas of visualization. Suggested topics
include, but are not limited to:

*Visualization Taxonomies and Models
*Spatial Data in Visualization
*Non-Spatial Data in Visualization
*Display and Interaction Technology
*Hardware for Visualization
*Evaluation and User Studies
*Large Data Visualization
*Visual Analysis and Knowledge Discovery
*Time-varying Data Visualization
*Applications
*Graph Drawing
*Collaborative / Social Visualization
*Security Visualization
*Network Visualization

All accepted papers will be published by IEEE and also included in the
IEEE Digital Library. Authors of selected research papers of outstanding
quality will be invited to submit an extended version to IEEE
Transactions on Visualization and Computer Graphics.

*Important Dates*
Paper submission deadline: September 26, 2011, 11:59pm (KST)
Notification of acceptance: November 14, 2011
Camera-ready papers due: December 5, 2011
Symposium: February 28 - March 2, 2012

The Symposium website: http://hcil.snu.ac.kr/PacificVis2012/

Conference Co-Chairs:
Arie Kaufman, Stony Brook University
Yeoung Gil Shin, Seoul National University

Organization Chair:
Jinwook Seo, Seoul National University

Program Co-Chairs:
Helwig Hauser, University of Bergen
Stephen Kobourov, University of Arizona
Huamin Qu, Hong Kong University of Science and Technology

**********************************************************
*
* 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] Fully funded PhD/PostDoc position at Technical University Hamburg

-----------------------------------------------------------------------
Please distribute to interested people
-----------------------------------------------------------------------

Fully funded PhD/PostDoc Position at Institute of Telematics, Technical
University Hamburg, Germany

We are looking for a PhD//PostDoc candidate to do research in the area
of fault tolerant distributed systems. The Institute of Telematics is a
young research group with currently 10 PhD students. We are a highly
motivated international team of researchers situated in the south of
Hamburg. We offer ideal working conditions, a beautiful campus, and a
competitive salary. The team is interested in a variety of topics in the
field of distributed computing (see http://www.ti5.tu-harburg.de/research/).

Requirements:
-- excellent M.S. in computer science, computer engineering,
mathematics, physics or related studies
-- experience in design and analysis of distributed algorithms
-- skills in creative problem solving

The use of the English language is mandatory. The candidate will work on
the following topics:

-- distributed algorithms and self-stabilizing data structures
-- fault detectors in distributed systems
-- algorithms for self-organizing group communication
-- fault tolerant wireless sensor networks

The position will be filled starting October 2011 (exact date is
negotiable). Deadline for applications is 11.08.2011. More details and
information about applications (including the identifier of the offer)
are published on the following web-site http://www.ti5.tu-harburg.de/jobs/

For more information contact:
Prof. Volker Turau (turau at tuhh.de)

Further information about the Institute of Telematics can be found
on http://www.ti5.tu-harburg.de/. Women are especially encouraged to
apply. The position is in the first instance limited to two years with
the possibility of extending for another year. Applications should
include a detailed CV, a motivation letter, a list of your M.SC. courses
and grades, a copy of your master thesis, and preferably a list of
publications.

---
Volker Turau
Prof. Dr. rer. nat.
Technische Universität Hamburg-Harburg

Schwarzenbergstr. 95
D-21073 Hamburg
Tel.: (+4940) 42878-3530
Fax: (+4940) 42878-2581
E-Mail: turau@tuhh.de
http://www.ti5.tu-harburg.de/staff/turau/
**********************************************************
*
* 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] Lectureship in Mathematics, University of Hertfordshire, UK

Lecturer in Mathematics
School of Physics, Astronomy and Mathematics

The School of Physics, Astronomy and Mathematics offers degrees in Mathematics
and Financial Mathematics, alongside degrees in Physics and Astrophysics, and
also contributes to the teaching of mathematics in a number of Engineering and
Joint Honours degrees. Following strong recruitment to the mathematics
programme and an expansion of the curriculum, the School is seeking to expand
the mathematics group. We wish to appoint a mathematics lecturer to develop
and teach courses in mathematics and to contribute to the development of
research and/or commercial activities in the School. Any area of research that
fits with the current mathematics group activities will be considered, but
applications are particularly welcome from individuals with interests in
either numerical analysis, or combinatorics and algebra.

Information on the School can be found at
http://www.herts.ac.uk/courses/schools-of-study/physics-astronomy-and-mathematics/home.cfm

How to apply: Online application packs which include details of the post are
available from our website at http://www.herts.ac.uk/jobs The completed
application form should be submitted online, and must be accompanied by a full
CV and personal statement addressing the applicant's suitability for the post
with reference to the Person Specification and Job Description. The CV and
Personal Statement should be emailed to jobs@herts.ac.uk, quoting the
reference number.

Work permit statement: Under current UKBA regulations, the University is
unlikely to be able to get a work permit in respect of this post. We can
therefore only accept applications from people who will have the right to work
in the UK for the total duration of the contract.

**********************************************************
*
* 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: ICDCN 2012 - Deadline extended to July 15, 2011

Due to several requests inquiring about a short extension, we have decided to extend the ICDCN 2012 paper deadline to July 15, 2011.

**** Last 15 Days CFP: ICDCN 2012 ****

(13th International Conference on Distributed Computing and Networking)

Hong Kong, January 3-6, 2012

http://icdcn2012.comp.polyu.edu.hk/

***************** Important Dates *****************
Extended (FIRM) Submission Deadline : July 15, 2011
Notification : September 15, 2011
Camera-Ready : October 13, 2011
***************************************************

ICDCN (the International Conference on Distributed Computing and Networking) is a premier international conference dedicated to addressing advances in Distributed Computing and Communication Networks. As in the past, ICDCN 2012 will be organized in two tracks: Distributed Computing and Networking, and will comprise a highly selective technical program consisting of refereed submitted papers, panel discussions as well as focused workshops on emerging topics.

Papers describing original research work and practical experiences/experimental results are solicited on topics including, but not limited to:

DISTRIBUTED COMPUTING

* Distributed algorithms & concurrent data structures: design, analysis, and complexity
* Distributed operating systems
* Distributed database systems
* Embedded distributed systems
* Experiments and performance evaluation of distributed systems
* Fault-tolerance, reliability, and availability
* Multiprocessor & multi-core architectures & algorithms
* Self-organization, self-stabilization, & autonomic computing
* High performance computing, grid computing, & cloud computing
* Security, cryptography, & game theory in distributed systems

NETWORKING

* Integration of heterogeneous wireless & wired networks
* Internetworking protocols & Internet applications
* Mobile and pervasive computing, context-aware distributed systems
* Next generation & converged network architectures
* Overlay & peer-to-peer networks and services
* Home Networking & Services
* Resource management & quality of service
* Network security & privacy
* Energy-Efficient Networking & Smart Grids
* Sensor, PAN & ad-hoc networks
* Traffic engineering, pricing, network management

ICDCN 2012 is soliciting submissions as either regular or short (concise contribution) papers. Regular papers will be allowed a maximum of 15 pages, while short papers will be permitted a maximum of 5 pages. All papers must use at least 10-point Times Roman font and be formatted as per the "LNCS style"-links to templates for Latex and MS-Word will be available from the Submissions Webpage at:
http://icdcn2012.comp.polyu.edu.hk/submissions.html

Accepted submissions will be published by Springer in the LNCS series. At least one author of each accepted paper must register for the conference and present the paper. Papers should be submitted via the EasyChair submission management system at:
http://www.easychair.org/conferences/?conf=icdcn2012

Selected papers from the Distributed Computing Track will be published in a special issue of Theoretical Computer Science (TCS). Selected papers from the Networking Track will be published in a special issue of the Elsevier Pervasive & Mobile Computing (PMC) journal.

For any questions about the suitability of your paper submission, please contact the TPC Chairs:

* Distributed Computing: Ajoy K. Datta , University of Nevada Las Vegas, USA (ajoykdatta@gmail.com)
* Networking: Archan Misra, Singapore Management University, Singapore (archanm@smu.edu.sg)

----------------------------------------------------------------------
**********************************************************
*
* 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] Three Research Fellow positions at The University of Melbourne: String Algoirthms, Measurement in Experiments, Repository Synchronisation

For Full Position Description & Selection Criteria, see:

http://jobs.unimelb.edu.au/jobDetails.asp?sJobIDs=744245

Department of Computer Science and Software Engineering
Melbourne School of Engineering

Salary: $56,226 - $76,299 p.a. (Level A)/$80,318 - $95,375 p.a. (Level B)
plus 9% superannuation. Pro rata where applicable.

These three positions, held in the Department of Computer Science and
Software Engineering, are part of three Australian Research Council Discovery
Projects:

* "Efficient and Effective Algorithms for Searching Strings in Secondary
Storage", supervised by Professor Alistair Moffat, Associate Professor
Andrew Turpin, Dr Anthony Wirth, Dr Simon Puglisi (RMIT University), and Dr
Shane Culpepper (RMIT University). The appointee will work with the
supervisors on the development and evaluation of algorithms for string
searching within large datasets that are principally stored on disk, and
will be required to design and implement methods arising from the research
project, and also measure them experimentally. This project is funded by the
Australian Research Council for the period 2011-2013, and an appointment
will be made for up to 2.5 years (Level A) or 2 years (Level B). [Account 51637]

* "Principles, Practice, and Pragmatics of Measurement in Experimental
Computer Science", supervised by Professor Justin Zobel, Professor Alistair
Moffat, Associate Professor Tim Baldwin, and Dr Aaron Harwood. The appointee
will work with the supervisors on experimental methodologies and techniques
as they apply to research in the computing sciences, with emphasis on the
areas of machine learning, machine translation, and parallel programming.
This project is funded by the Australian Research Council for the period
2011-2013, and an appointment will be made for up to 2.5 years (Level A) or
2 years (Level B). [Account 51638]

* "Efficient Synchronisation of Large Repositories", supervised by Dr
Anthony Wirth and Professor Justin Zobel. The appointee will work with the
supervisors on the development and evaluation of algorithms for
synchronising databases that are hosted at multiple sites. The appointee
will incorporate new search techniques, compression and coding algorithms,
and space-efficient data structures to process very large data sets. The
appointee will also design and carry out experiments to test the performance
and computational demands of the competing algorithms. This project is
funded by the Australian Research Council for the period 2010-2012, and an
appointment will be made for up to 1.5 years (Level A) or up to 1 year
(Level B). [Account 51627]

Close date: 31 July 2011

Date advertised:
29 Jun 2011 Aus. Eastern Standard Time
Closing date:
31 Jul 2011 11:55pm Aus. Eastern Standard Time
**********************************************************
*
* 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/
*
**********************************************************