[DMANET] 1 PhD position in Parameterized Complexity at TU Berlin (application deadline: October 1)

Department of Software Engineering and Theoretical Computer Science
Technical University Berlin

1 PhD position in Parameterized Complexity
Research Assistant (100% TV-L 13)

A PhD position is available in the DFG-funded Emmy Noether Junior Research
Group

"Efficient preprocessing for hard problems"

led by Stefan Kratsch at TU Berlin. The successful candidate will perform
research on parameterized complexity, kernelization, and related topics.
The main focus of research is on the rigorous study of polynomial-time
preprocessing for NP-hard combinatorial problems. Apart from scientific
contributions, the successful candidate will pursue a PhD in theoretical
computer science, with the goal of defending a doctoral thesis within
3-4 years.

The position is fulltime with an initial contract for 2 years and the
possibility to extend by up to 2 further years. There are no teaching
obligations,
but interest in teaching (exercises or lectures) is encouraged. The
position is available from November 1, 2013. Starting salary is roughly 1900
Euros net (includes mandatory health insurance; 3200 Euros before tax).

The junior research group is associated with the "Algorithms and complexity"
group chaired by Prof. Rolf Niedermeier (http://www.akt.tu-berlin.de/),
which currently consists of 9 further PhD students and postdocs.

Berlin offers a strong scientific landscape including three renowned
universities.
Furthermore there are a DFG (German Research Foundation) research
training group, called "Methods for Discrete Structures" (MDS) and the DFG
research center MATHEON; these offer opportunities for joint research and
support for PhD students (e.g., meetings, lecture series, summer schools).
Besides sciences, Berlin offers an exceptional variety of attractions, and a
flourishing cultural scene as well as a fast-paced multicultural living
environment that should cater to most interests and hobbies.

Candidates must hold a master's degree (or equivalent) in computer science,
mathematics or a related area, or have almost completed their study.
They should have a very good knowledge about algorithms and complexity.
Background in parameterized complexity and, e.g., algebra and probability
theory as well as programming skills are beneficial.
Good communication skills and solid English writing skills are mandatory,
as all publications as well as presentation of results by talks at
conferences and workshops will be in English.
Knowledge of German is not required, but it will be encouraged to learn
at least the basics.

First and foremost, candidates should bring strong curiosity and eagerness
to both ask and pursue scientific questions.

Interested applicants should send their application containing
- cover letter (see below)
- curriculum vitae
- an overview of grades and courses taken
- copy of Bachelor and Master certificates (or equivalent)
- summary of master/diploma thesis (English, 1-3 pages)
- (optionally) complete thesis and any other scientific publications
- recommendation letters (see below)

by

October 1, 2013

to

Dr. Stefan Kratsch
stefan.kratsch@tu-berlin.de
http://www.user.tu-berlin.de/stefan.kratsch/


*Cover letter*
Please include clear statements regarding your motivation to work in
research and why you want to pursue a PhD. Why are you interested in
parameterized complexity and/or kernelization? What other directions of
theoretical computer science and discrete mathematics are you interested
in and/or possess strong qualification in?

*Recommendation letters*
It is requested that interested applicants supply between
1 and 3 letters of recommendation written by professors and researchers
that they have interacted with (this should include the supervisor of
the master/diploma thesis). *The letters should be sent directly by email*
to stefan.kratsch@tu-berlin.de and preferably arrive around October 1 too.


Applications arriving by October 1 will receive full consideration,
however, the search remains open until the position is filled.

Qualifications being equal, precedence will be given to candidates with
disabilities.

Do not hesitate to contact stefan.kratsch@tu-berlin.de if you have any
questions regarding the position or your application.

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

Call for papers - CFV'13

Call for Papers

Eighth International Workshop on Constraints in Formal Verification

San Jose, California, U.S.A., November 21, 2013.

A workshop affiliated with the IEEE/ACM International Conference on Computer-Aided Design, November 18 – 21, 2013

Web site: http://www.miroslav-velev.com/cfv13.html

 

Abstract submission deadline:      September 30

Paper submission deadline:           October 7

Notification of acceptance:          October 15

Camera-ready version deadline:  November 5

Workshop date:                              November 21

 

 

Overview

Formal verification is of crucial significance in the development of hardware and software systems. In the last few years, tremendous progress was made in both the speed and capacity of constraint technology. Most notably, SAT solvers have become orders of magnitude faster and capable of handling problems that are orders of magnitude bigger, thus enabling the formal verification of more complex computer systems. As a result, the formal verification of hardware and software has become a promising area for research and industrial applications.

The main goals of the Constraints in Formal Verification workshop are to bring together researchers from the CSP/SAT and the formal verification communities, to describe new applications of constraint technology to formal verification, to disseminate new challenging problem instances, and to propose new dedicated algorithms for hard formal verification problems.

This workshop will be of interest to researchers from both academia and industry, working on constraints or on formal verification and interested in the application of constraints to formal verification.

 

 

Scope

The scope of the workshop includes topics related to the application of constraint technology to formal verification, namely:

-        application of constraint solvers to hardware verification;

-        application of constraint solvers to software verification;

-        dedicated solvers for formal verification problems;

-        challenging formal verification problems.

 

Location

The workshop will take place in the Hilton Hotel in San Jose, California, on November 21, 2013, right after ICCAD'13. It will be structured to allow ample time for discussion and demonstration of new tools and new problem instances.

 

 

Submissions

Submissions should be in the IEEE style and in one of the following types:

-        a regular paper of up to 6 pages;

-        a short paper of up to 4 pages, describing an industrial experience.

Papers should be e-mailed in pdf format to the workshop chair: mvelev@gmail.com

 

Invited Speakers

-        Thomas Ball, Microsoft, U.S.A.

              Talk title: Efficient Modular SAT Solving for Property-Directed Reachability

 

-        Kristin Rozier, NASA, U.S.A.

              Talk title: Application of Constraints to Formal Verification of Software at NASA

 

 

Workshop Chair

Miroslav Velev, Aries Design Automation, U.S.A.

Email: mvelev@gmail.com

 

 

Program Committee

Maciej Ciesielski, University of Massachusetts, U.S.A.

Masahiro Fujita, University of Tokyo, Japan

Alex D. Groce, Oregon State University, U.S.A.

Sumit Jha, University of Central Florida, U.S.A.

Susmit Jha, Intel, U.S.A.

Andreas Veneris, University of Toronto, Canada

[DMANET] ISAIM 2014: Second Call for Papers

SECOND CALL FOR PAPERS

Thirteenth International Symposium on
ARTIFICIAL INTELLIGENCE and MATHEMATICS
ISAIM 2014
http://www.cs.uic.edu/Isaim2014/
January 6-8, 2014
Fort Lauderdale, Florida

PAPER SUBMISSION DEADLINE: October 15, 2013

The International Symposium on Artificial Intelligence and Mathematics (ISAIM) is a biennial meeting that fosters interactions between mathematics, theoretical computer science, and artificial intelligence. This is the thirteenth Symposium in the series, which is sponsored by the journal Annals of Mathematics and Artificial Intelligence and by Florida Atlantic University. We seek submissions of recent results, with a particular emphasis on the foundations of AI and mathematical methods used in AI. Papers describing applications are also encouraged, but the focus should be on principled lessons learned from the development of the application. Traditionally, the Symposium attracts participants from a variety of disciplines, thereby providing a unique forum for scientific exchange. The three-day Symposium includes invited speakers, presentations of technical papers, and special topic sessions. The Symposium takes place at the Embassy Suites Hotel in Fort Lauderdale. Plea!
se visit http://www.cs.uic.edu/Isaim2014/Venue for more information about the venue.


SPECIAL TOPIC INVITED SESSIONS:

o Boolean and pseudo-Boolean Functions
-Organized by Endre Boros, Rutgers University, and Yves Crama, University of Liege

o Mathematical Theories of Natural Language Processing
-Organized by Andras Kornai, Hungarian Academy of Sciences

o Theory of Machine Learning
-Organized by Lev Reyzin, University of Illinois at Chicago

o Proposals for organizing additional special sessions can be sent to the chairs for consideration by September 15, 2013.


INVITED SPEAKERS:

o Peter Stone, University of Texas at Austin

o Csaba Szepesvari, University of Alberta


PAPER SUBMISSION:

Paper submission will be electronic via the submission link on the Paper Submission page of the Symposium website (http://www.cs.uic.edu/Isaim2014/). Papers must be formatted in accordance with the guidelines given there.

The submission deadline is October 15, 2013 (11:59 PM PDT). Papers will be reviewed by members of the Program Committee. Authors will be notified of acceptance or rejection by November 15, 2013. Final versions of accepted papers, for inclusion in the conference electronic proceedings, are due by December 15, 2013.

Work that has already been published as of the ISAIM submission deadline should not be submitted to ISAIM unless it introduces a significant addition to the previously published work. However, the ISAIM web site proceedings are not archival, so papers submitted to ISAIM can be under review at the time of submission and can be submitted elsewhere after ISAIM.

Authors of a selected set of papers from the Symposium will be invited to submit full versions of their papers for inclusion in a special volume of the Annals of Mathematics and Artificial Intelligence, published by Springer. Those invited submissions will be subject to refereeing at the usual standards of the journal, and authors will receive more details with the acceptance notice. Papers must of course be new and unpublished to be considered for the special volume.

Any questions regarding paper submission should be sent to the program committee chairs at the email address <isaim2014 at cs DOT uic DOT edu>.


IMPORTANT DATES:

Paper submission: October 15, 2013
Notification: November 15, 2013
Final version due: December 15, 2013
Workshop: January 6-8, 2014, Ft. Lauderdale, Florida



ORGANIZERS:

o General Chair: Martin Charles Golumbic, University of Haifa
o Conference Chair: Frederick Hoffman, Florida Atlantic University
o Program Committee Chairs: Lisa Hellerstein, Polytechnic Institute of NYU
Gyorgy Turan, University of Illinois at Chicago and University of Szeged
o Publicity Chair: Dimitrios I. Diochnos, University of Edinburgh


PROGRAM COMMITTEE:

Stephane Airiau University of Amsterdam
Endre Boros Rutgers University
Arthur Choi University of California Los Angeles
Berthe Choueiry University of Nebraska-Lincoln
Yves Crama University of Liege
Marek Druzdzel University of Pittsburgh
Roni Khardon Tufts University
Richard Korf University of California Los Angeles
Loizos Michael Open University of Cyprus
Maurice Pagnucco University of New South Wales
Barnabas Poczos Carnegie Mellon University
Francesca Rossi University of Padova
Bart Selman Cornell University
Rocco Servedio Columbia University
Hans-Ulrich Simon Ruhr-University Bochum
Stefan Szeider Vienna University of Technology
Balazs Szorenyi University of Szeged
Miroslaw (Mirek) Truszczynski University of Kentucky
Frank Wolter University of Liverpool
Stefan Woltran Vienna University of Technology
Neil Yorke-Smith American University of Beirut


Send inquiries and requests to isaim2014 at cs DOT uic DOT edu.
Visit http://www.cs.uic.edu/Isaim2014/.
Join isaim@googlegroups.com to receive announcements related to ISAIM.


--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.


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

[fm-announcements] Formal Methods Position at NASA

The Formal Methods team at NASA Langley Research Center, Hampton,
Virginia, U.S., has opened the following positions (U.S. citizenship is
required to apply).

ANNOUNCEMENT NO: LA13D0064
POSITION: Research Computer Scientist, AST, Computer Research and
Development, GS-1550-12/13, Promotion Potential GS-13
LOCATION: Org D320, Safety-Critical Avionics Systems Branch
OPENING DATE: September 18, 2013
CLOSING DATE: October 09, 2013
AREA OF CONSIDERATION: This announcement is open to all qualified U.S.
citizens.

This position is located in the Safety-Critical Avionics Systems
Branch within the Research Directorate. This position involves
conducting research to develop formal verification methods for the
analysis, design, and implementation of advanced future aircraft and
spacecraft safety-critical systems.

Additional details are available at the following websites prior to the
closing date:
http://www.usajobs.gov/GetJob/ViewDetails/351820600

***

ANNOUNCEMENT NO: LA13P0045
POSITION: NASA's Pathways Program Recent Graduate, Research Computer
Scientist, GS-1550-12 Promotion Potential GS-13
LOCATION: D320, Safety-Critical Avionics Systems Branch
OPENING DATE: September 18, 2013
CLOSING DATE: October 09, 2013
AREA OF CONSIDERATION: Current students from education institutions
interested in paid opportunities with Federal agencies or recent
Graduates from qualifying institutions within two years of degree or
certification (Veterans precluded by their military service obligation,
will have up to six years to apply) or Presidential Management
Fellowships for individuals who have received a qualifying advanced
degree within the preceding two years.

This position is located in the Safety-Critical Avionics Systems
Branch within the Research Directorate. This position involves
conducting research to develop formal verification methods for the
analysis, design, and implementation of advanced future aircraft and
spacecraft safety-critical systems.

Additional details are available at the following websites prior to
theclosing date:
http://www.usajobs.gov/GetJob/ViewDetails/351743700

***

For more information on NASA's application process, go to
http://nasajobs.nasa.gov <http://nasajobs.nasa.gov/>
<http://nasajobs.nasa.gov/>


---
To opt-out from this mailing list, send an email to

fm-announcements-request@lists.nasa.gov

with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting

fm-announcements-owner@lists.nasa.gov

[Mycolleagues] [Call for Papers] IEEE International Workshop on Self-Organizing Networks (SONETs) co-located with WCNC 2014

Dear colleagues,

On behalf of the organizers,  i would like to invite you to submit papers for the upcoming workshop.

BR,

Mourad Khanfouci   

 

SUBMISSION DEADLINE: 16 October 2013

[Apologies if you receive multiple copies of this message]
======================================================================================================================================================================================================

CALL FOR PAPERS

IEEE International Workshop on Self-Organizing Networks (SONETs)

co-located with WCNC 2014, Istanbul, TURKEY

 

Workshop date: 6 April 2014

The ever-increasing need for higher data rates in multimedia services and applications leads to stringent requirements on the bit rate/km2 that next-generation cellular wireless networks are expected to deliver. This increasing trend has urged mobile operators to examine new ways for improving their coverage and boosting their network capacities. A promising approach to this challenge is the dense deployment of short range and low power base stations in conjunction with the macrocellular network, as well as relays, distributed antennas and radio remote heads. However, the CAPital and OPerating EXpenditures (CAPEX and OPEX) of such heterogeneous networks increase with the increasing number of nodes. The solution to this problem is the deployment of Self-Organizing NETworks (SONETs).

SONETs represent a novel paradigm based on the deployment of networks with self-organized functionalities. There are significant technical problems that need to be addressed for the successful deployment and operation of SONETs. In particular, time-, frequency- and spatial-domain interference management is a fundamental issue. To deal with increasing peak data demands, SONETs design should be self-organized based on interference/load/congestion levels, dynamically adapting their transmissions via smart traffic offloading strategies onto licensed/unlicensed bands.

The IEEE INTERNATIONAL WORKSHOP ON SELF-ORGANIZING NETWORKS (SONETs) will offer an excellent opportunity for academic and industrial researchers for spreading and sharing the latest results and understandings for rendering wireless networks more efficient in terms of capacity, coverage, Quality-of-Service performance and energy consumption. Technical papers describing original, previously unpublished research, not currently under review by another conference or journal are solicited. Topics of interest may include, but are not limited to the following:

• Self-configuration/-optimization/-healing mechanisms for SONETs,
• Energy-efficient algorithms and green wireless for SONETs,
• Cognitive radio techniques for SONETs,
• Game theoretical techniques and reinforcement learning for SONETs,
• Trade-offs between macro-cell, femto-cell, pico-cell, relay and distributed antenna system deployments,
• Mobility management in SONETs,
• Backhaul-aware (wired, wireless, millimeter wave, etc.)
• Radio Resource Management (RRM) for SONETs,
• Intra-RAT (cell range expansion, e-ICIC) and Inter-RAT offloading (3GPP and WiFi interworking) in SONETs,
• Device-to-Device (D2D) communications in SONETs,
• Multi-point transmission techniques(CoMP, JT, DCS, massive/large MIMO) , Active Antenna Systems (AAS) in SONETs,
• Carrier aggregation (single and multi-flow) in heterogeneous networks,
• Coordinating self-configuration, self-optimization, and self-healing mechanisms in SONETs,
• Policy-based management of self-configuration, self-optimization, and self-healing mechanisms in SONETs.

 

SONETs 2014 will feature Prof. Ismail Guvenc (Florida International University, USA) and Dr. Colin Willcock (Nokia Solutions Networks, Germany) as keynote speakers. The workshop accepts only novel, previously unpublished papers. All submissions should be written in English with a maximum paper length of six (6) printed pages (minimum 10-point font) including figures, without incurring additional page charges.

 
IMPORTANT DATES
Paper Submission Deadline: 16 October 2013

Acceptance Notification: 8 January 2014

Camera Ready Copy: 26 January 2014

SUBMISSION GUIDELINES
Electronic submission using the EDAS electronic submission system https://edas.info/newPaper.php?c=15847 is required. Author guidelines for the preparation and submission are also available at http://www.ieee.org/go/conferencepublishing/templates.
 
WORKSHOP CHAIRS
Berna Sayrac, France Telecom, France (berna.sayrac@orange.com)

Mehdi Bennis, University of Oulu, Finland (bennis@ee.oulu.fi)

Afef Feki, Alcatel-Lucent, Bell Labs, France (afef.feki@alcatel-lucent.com)

Majed Haddad, INRIA, France (majed.haddad@inria.fr)

 

TECHNICAL PROGRAM COMMITTEE

Joseph Vidal, UPC, Spain

Marios Kountouris, SUPELEC, France

Dusit Niyato, NTU, Singapore

Walid Saad, University of Miami, USA

Jyri Hämäläinen, Ericsson, Finland

Thierry Lestable, Sagemcom SAS, France

Konstantinos Dimou, Ericsson, Sweden

Gaoning He, Huawei, China

Irfan Ghauri, Intel, France

Ismail Guvenc, FIU, USA

Tansu Alpcan, University of Melbourne, Australia

Olivier Holland, King’s College, UK

Bechir Hamdaoui, Oregon State University, USA

Anwer Al-Dulaimi, Brunel Uni. UK

Véronique Capdevielle, Alcatel Lucent Bell Labs, France

[Mycolleagues] SRDS 2013 - Call for Participation

CALL FOR PARTICIPATION

32nd International Symposium on Reliable Distributed Systems, IEEE SRDS 2013
September 30 - October 3, 2013. Braga, Portugal

http://srds.di.uminho.pt

Welcome to Braga and to the 32nd IEEE International Symposium on Reliable Distributed Systems (SRDS 2013). The conference will be held at Campus of Gualtar of University of Minho, a young university set in a solemn and antique city full of baroque monuments and splendid eighteen century houses.

SRDS is a forum for researchers and practitioners interested in distributed systems design, development and evaluation, particularly with emphasis on reliability, availability, safety, security, trust and real time. This year's program counts with 3 most interesting keynotes speeches, seven highly selective technical sessions with twenty-two papers, a promising PhD students session and two workshops. The conference will be three days long with one additional day dedicated to the collocated workshops.

Accept our invitaion and join us in Braga!

Rui Oliveira
Symposium Chair

[DMANET] 2nd Call for Papers: EvoCOP 2014

** Apologies for multiple copies **

EvoCOP 2014 - 14th European Conference on Evolutionary Computation in
Combinatorial Optimisation

April 23-25, 2014
Baeza, Spain

Part of EVO* 2014 (http://www.evostar.org) including: EuroGP, EvoCOP,
EvoBIO, EvoMUSART and EvoApplications


The 14th European Conference on Evolutionary Computation in
Combinatorial Optimisation is a multidisciplinary conference that brings
together researchers working on metaheuristics for solving difficult
combinatorial optimization problems appearing in various industrial,
economic, and scientific domains. Prominent examples of metaheuristics
include: evolutionary algorithms, simulated annealing, tabu search,
scatter search and path relinking, memetic algorithms, ant colony and
bee colony optimization, particle swarm optimization, variable
neighbourhood search, iterated local search, greedy randomized adaptive
search procedures, estimation of distribution algorithms, and
hyperheuristics. Successfully solved problems include scheduling,
timetabling, network design, transportation and distribution problems,
vehicle routing, travelling salesman, graph problems, satisfiability,
energy optimization problems, packing problems, planning problems, and
general mixed integer programming.

The EvoCOP 2014 conference will be held in the little town of Baeza
located in the south of Spain. It will be held in conjunction with
EuroGP (the 17th European Conference on Genetic Programming), EvoBio
(the 12th European Conference on Evolutionary Computation, Machine
Learning and Data Mining in Computational Biology), EvoMUSART (12th
European conference on evolutionary and biologically inspired music,
sound, art and design) and EvoApplications (specialist events on a range
of evolutionary computation topics and applications), in a joint event
collectively known as EVO*.

For more information see the EvoCOP 2014 webpage
http://www.evostar.org/


Areas of Interest and Contributions

Topics of interest include, but are not limited to:


Applications of metaheuristics to combinatorial optimization problems
Novel application domains for metaheuristic optimisation methods
Representation techniques
Neighborhoods and efficient algorithms for searching them
Variation operators for stochastic search methods
Constraint-handling techniques
Hybrid methods and hybridization techniques
Parallelization
Theoretical developments
Search space and landscape analyses
Comparisons between different (also exact) techniques
Metaheuristics and machine learning
Ant colony optimisation
Artificial immune systems
Bee colony optimization
Genetic programming and Genetic algorithms
(Meta-)heuristics
Scatter search
Particle swarm optimisation
Tabu search, iterated local search and variable neighborhood search
Memetic algorithms and hyperheuristics
Estimation of distribution algorithms
String processing
Scheduling and timetabling
Network design
Vehicle routing
Graph problems
Satisfiability
Packing and cutting problems
Energy optimization problems
Practical solving of NP-hard problems
Mixed integer programming
Multi-objective optimisation
Grid computing
Combinatorial optimisation
Nature and Bio-inspired methods
Quantum computing and quantum annealing
Optimization in Cloud computing
Search-based software engineering

Publication Details

All accepted papers will be presented orally at the conference and
printed in the proceedings published by Springer in the LNCS series (see
LNCS volumes 2037, 2279, 2611, 3004, 3448, 3906, 4446, 4972, 5482, 6022,
6622, 7245 and 7832 for the previous proceedings).

Submission Details

Submissions must be original and not published elsewhere. The
submissions will be peer reviewed by members of the program committee.
The authors of accepted papers will have to improve their paper on the
basis of the reviewers comments and will be asked to send a camera ready
version of their manuscripts. At least one author of each accepted work
has to register for the conference, attend the conference and present
the work.

The reviewing process will be double-blind, please omit information
about the authors in the submitted paper. Submit your manuscript in
Springer LNCS format.

Submission link: http://myreview.csregistry.org/evocop14/
Page limit: 12 pages

Important Dates
Submission deadline: 1. November 2013
EVO* event: April 23-25, 2014

Programme Chairs
Christian Blum (Ikerbasque, Basque Foundation for Science, Spain)
christian.c.blum(at)gmail.com
Gabriela Ochoa (University of Stirling, Scotland, UK)
gabriela.ochoa(at)cs.stir.ac.uk
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] Deadline extension, October 12 || ICONS 2014 || February 23 - 27, 2014 - Nice, France

INVITATION:

=================
Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to ICONS 2014.

The submission deadline is October 12, 2013.

Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org
=================


============== ICONS 2014 | Call for Papers ===============

CALL FOR PAPERS, TUTORIALS, PANELS

ICONS 2014, The Ninth International Conference on Systems

February 23 - 27, 2014 - Nice, France


General page: http://www.iaria.org/conferences2014/ICONS14.html

Call for Papers: http://www.iaria.org/conferences2014/CfPICONS14.html

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

Submission page: http://www.iaria.org/conferences2014/SubmitICONS14.html

Submission deadline: October 12, 2013

Sponsored by IARIA, www.iaria.org
Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org
Print proceedings will be available via Curran Associates, Inc.: http://www.proceedings.com/9769.html
Articles will be archived in the free access ThinkMind Digital Library: http://www.thinkmind.org

Please note the Poster 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


ICONS 2014 Topics (topics and submission details: see CfP on the site)

Systems' Theory and Practice

Systems design methodologies and techniques; Formal methods to specify systems? behavior; Online and offline systems; Open and closed systems; Centralized and distributed systems; Proactive and reactive systems; System robustness; Systems scalability; Fault-tolerant systems; Feedback systems; High-speed systems; Delay tolerant systems; Real-time systems

Systems engineering

Systems requirements; Systems modeling; Systems development lifecycle; System-of-systems; Systems ergonomics; Subsystem interactions; Systems decomposition; Systems integration

System Instrumentation

Metering embedded sensors; Composing multi-scale measurements; Monitoring instrumentation; Smart sensor-based systems; Calibration and self-calibration systems; Instrumentation for prediction systems

Embedded systems and systems-on-the-chip

Real-time embedded systems Programming embedded systems; Controlling embedded systems; High speed embedded systems; Designing methodologies for embedded systems; Performance on embedded systems; Updating embedded systems; Wireless/wired design of systems-on-the-chip; Testing embedded systems; Technologies for systems processors; Migration to single-chip systems; Micro/nano structures and systems

Target-oriented systems [emulation, simulation, prediction, etc.]

Information systems; Real-time systems; Software systems; Hardware systems; Emulation systems; Simulation systems Prediction systems

Specialized systems [sensor-based, mobile, multimedia, biometrics, etc.]

Sensor-based systems; Biometrics systems; Mobile and fixed systems; Ubiquitous systems; Nano-technology-based systems; Multimedia systems

Validation systems

Diagnosis assistance systems; Test systems; Validation systems; Performance measurement systems; Maintenance systems

Security and protection systems

Security systems; Vulnerability detecting systems; Intrusion detection systems Intrusion avoidance systems; Presence detection systems; Monitoring systems; Management systems; Alert systems; Defense systems; Emergency systems

Advanced systems [expert, tutoring, self-adapting, interactive, etc.]

Expert systems; Tutoring systems; Highly interactive systems; Anticipative systems; On-demand systems; GRID systems; Autonomic systems; Autonomous systems; Self-adapting systems; Adjustable autonomic systems; High performance computing systems; Mission critical systems

Application-oriented systems [content, eHealth, radar, financial, vehicular, etc.]

Web-cashing systems; Content-distributed systems; Accounting and billing systems; E-Health systems; E-Commerce systems; Radar systems; Navigation systems; Systems for measuring physical quantities; Earthquake detection and ranking systems; Financial systems; Robotics systems; Vehicular systems; Entertainment systems; Gaming systems; Speech recognition system

IT Systems

IT service management; IT Infrastructure management; IT service desk; Service support and delivery; Service strategy; Service design; Service transition; Service operation; Continual service improvement

Safety in industrial systems

Fundamentals on system safety; Safety of software systems and software engineering; Safety requirements; Safety for critical systems; Engineering for system robustness and reliability; Control of mission critical systems; Safety-oriented system design; Human tasks and error models; Hazard analysis; Cost and effectiveness of system safety; Verification and validation of safety; Safety tools; Evaluation of safety data, and mitigation and prevention strategies; Safety control and management; System Safety Implementation Guidelines and Standards; Transferring safety knowledge; Metrics for Risk Assessment; Contingency Planning and Occurrence Reporting; Preparedness Activities; Industry specific safety systems (Medical devices, Aerospace, Chemical industry, Nuclear power plants, Public health, Biological Safety)

Complex systems

Theory of complex systems; Ontologies for complex systems; Chaos and complexity; Design and integrate complex systems; Complexity and simulation; Simulation and datamining; Artificial intelligence and soft computing in complex systems; Multi-agent based simulation; Systems of systems; Intelligent agent architectures; Evolutionary programming; Uncertainty reduction and classification; Monitoring and managing complex systems; Case studies of complex systems [vehicular, avionic, health, emergency, sensing, etc.]; Industrial systems [robotics, production, accounting and billing, e-commerce, etc.]

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

JOB: Tenured faculty positions @ IMT Lucca (Italy)

(apologies for multiple postings)

Dear all,

IMT Institute for Advanced Studies Lucca (www.imtlucca.it) is currently
accepting expressions of interest for tenured faculty positions. The
Institute is actively seeking candidates with scientific expertise in: (i)
statistics, computer science, applied mathematics, or engineering, with a
distinctive quantitative approach and with interest in at least one of the
areas of systems modeling and analysis, data mining, machine learning,
computational statistics, numerical analysis, and in their application to
cyber-physical or socio-economical systems; (ii) computer
engineering/computer science with interest in computing infrastructures,
performance evaluation, parallel and distributed computing, and real-time
systems; (iii) complex networks and graph theory, and their application to
the analysis of the properties and of the dynamics of large-scale social,
economic, financial, biological, and technological networks; (iv)
mathematics, probability theory, stochastic processes, and their application
to management science, economics, and financial analysis.

Expressions of interest from exceptional candidates of all ranks in areas
beyond those listed above, yet still aligned with the mission of IMT, are
also welcome.

Candidates must have a strong theoretical background, an excellent record of
high-impact international publications, a remarkable ability in leading
research groups, and demonstrated experience in conducting/coordinating
international projects. While the ability to teach PhD courses in English is
mandatory, knowledge of Italian is not required.

Interested candidates must apply by filling in the online application form
at
http://www.imtlucca.it/faculty/positions/professors_positions/2013/applicati
on.php.

The deadline for expressions of interest is October 14th 2013.

IMT Lucca is a research university within the Italian public higher
education system. IMT strives to establish itself as a research center that
promotes cutting-edge research in key areas, structuring its PhD Program in
close connection with research, to attract top students, researchers and
scholars through competitive international selections, and to contribute to
technological innovation, economic growth and social development. IMT
provides an interdisciplinary research environment, blending scientific
competences of economics and management science, engineering, computer
science, physics, political sciences, and management of cultural heritage,
striving to reach the fusion of theoretical comprehension and practical
relevance in concrete applications.

Sara L. Olson
IMT Institute for Advanced Studies Lucca Piazza San Ponziano, 6
55100 Lucca - Italy
Tel: +39 0583 4326 597
Fax: +39 0583 4326 565
E-mail: sara.olson@imtlucca.it
www.imtlucca.it
--------------------------
The content of this message and of its attachments is under exclusive
responsibility of the account owner and doesn't bind IMT anyhow with respect
to the recipient or third parties.

[DMANET] JOB: Tenured faculty positions @ IMT Lucca (Italy)

(apologies for multiple postings)

Dear all,

IMT Institute for Advanced Studies Lucca (www.imtlucca.it) is currently
accepting expressions of interest for tenured faculty positions. The
Institute is actively seeking candidates with scientific expertise in: (i)
statistics, computer science, applied mathematics, or engineering, with a
distinctive quantitative approach and with interest in at least one of the
areas of systems modeling and analysis, data mining, machine learning,
computational statistics, numerical analysis, and in their application to
cyber-physical or socio-economical systems; (ii) computer
engineering/computer science with interest in computing infrastructures,
performance evaluation, parallel and distributed computing, and real-time
systems; (iii) complex networks and graph theory, and their application to
the analysis of the properties and of the dynamics of large-scale social,
economic, financial, biological, and technological networks; (iv)
mathematics, probability theory, stochastic processes, and their application
to management science, economics, and financial analysis.

Expressions of interest from exceptional candidates of all ranks in areas
beyond those listed above, yet still aligned with the mission of IMT, are
also welcome.

Candidates must have a strong theoretical background, an excellent record of
high-impact international publications, a remarkable ability in leading
research groups, and demonstrated experience in conducting/coordinating
international projects. While the ability to teach PhD courses in English is
mandatory, knowledge of Italian is not required.

Interested candidates must apply by filling in the online application form
at
http://www.imtlucca.it/faculty/positions/professors_positions/2013/applicati
on.php.

The deadline for expressions of interest is October 14th 2013.

IMT Lucca is a research university within the Italian public higher
education system. IMT strives to establish itself as a research center that
promotes cutting-edge research in key areas, structuring its PhD Program in
close connection with research, to attract top students, researchers and
scholars through competitive international selections, and to contribute to
technological innovation, economic growth and social development. IMT
provides an interdisciplinary research environment, blending scientific
competences of economics and management science, engineering, computer
science, physics, political sciences, and management of cultural heritage,
striving to reach the fusion of theoretical comprehension and practical
relevance in concrete applications.

Sara L. Olson
IMT Institute for Advanced Studies Lucca Piazza San Ponziano, 6
55100 Lucca - Italy
Tel: +39 0583 4326 597
Fax: +39 0583 4326 565
E-mail: sara.olson@imtlucca.it
www.imtlucca.it
--------------------------
The content of this message and of its attachments is under exclusive
responsibility of the account owner and doesn't bind IMT anyhow with respect
to the recipient or third parties.


**********************************************************
*
* 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] Stellenausschreibung des Instituts für Informatik der Universität zu Köln

Im Institut für Informatik der Universität zu Köln ist zum
nächstmöglichen Zeitpunkt im Rahmen
eines Drittmittelprojektes eine auf 2 Jahre befristete Stelle einer
wissenschaftlichen Mitarbeiterin oder
eines wissenschaftlichen Mitarbeiters (TV-L13 – 39,83 Wochenstunden) zu
besetzen.
Eine Verlängerung wird angestrebt.

In enger Zusammenarbeit mit den öffentlichen Bausparkassen entwickeln
wir Modelle zur
Simulation komplexer wirtschaftlicher Vorgänge.

Neben einer optimalen Arbeitsumgebung bieten wir eine praxisorientierte
Tätigkeit mit vielfältigen
Außenkontakten im Bankenbereich sowie eine angenehme Arbeitsatmosphäre
in einem netten Team.
Durch die interdisziplinäre Zusammensetzung unserer Arbeitsgruppe
ergeben sich darüber hinaus
interessante Berührungspunkte zu anderen Fachrichtungen.

Die Möglichkeit zur Promotion ist ebenfalls gegeben.

Einstellungsvoraussetzung ist ein abgeschlossenes Master- oder
Diplomstudium der (Wirtschafts-) Informatik bzw. (Wirtschafts-)
Mathematik. Erwünscht sind fundierte Kenntnisse in einer höheren
Programmiersprache sowie Begeisterungsfähigkeit und Kommunikationsstärke.

Bewerbungen schwerbehinderter Menschen sind besonders willkommen.
Schwerbehinderte
Menschen werden bei gleicher Eignung bevorzugt. Bewerbungen von Frauen
sind ausdrücklich
erwünscht. Frauen werden bei gleicher Eignung, Befähigung und fachlicher
Leistung bevorzugt
berücksichtigt, sofern nicht in der Person eines Mitbewerbers liegende
Gründe überwiegen.

Bewerbungen mit den üblichen Unterlagen erbitten wir bis zum 27.09.2013 an:
Annette Koenen
Lehrstuhl Prof. Dr. Rainer Schrader
Institut für Informatik
Universität zu Köln
Weyertal 80, 50931 Köln
Tel.: (0221) 470-6030
koenen@zpr.uni-koeln.de

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

[DMANET] Deadline extension, October 12 || ICDT 2014 || February 23 - 27, 2014 - Nice, France

INVITATION:

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

Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to ICDT 2014.

The submission deadline is October 12, 2013.

Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org

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


============== ICDT 2014 | Call for Papers ===============

CALL FOR PAPERS, TUTORIALS, PANELS

ICDT 2014, The Ninth International Conference on Digital Telecommunications

February 23 - 27, 2014 - Nice, France

General page: http://www.iaria.org/conferences2014/ICDT14.html

Call for Papers: http://www.iaria.org/conferences2014/CfPICDT14.html

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

Submission page: http://www.iaria.org/conferences2014/SubmitICDT14.html

Submission deadline: October 12, 2013

Sponsored by IARIA, www.iaria.org
Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org
Print proceedings will be available via Curran Associates, Inc.: http://www.proceedings.com/9769.html
Articles will be archived in the free access ThinkMind Digital Library: http://www.thinkmind.org

Please note the Poster 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

ICDT 2014 Topics (topics and submission details: see CfP on the site)

SIGNAL: Signal processing in telecommunications

Signal processing theory and practice; Image and multidimensional signal processing; Signal filter design and structures; Multirate filtering, filter banks, and adaptive filters; Fast signal processing algorithms; Nonlinear signals and systems; Nonuniform transformation; 2D nonuniform DFT; Fast algorithm of NDFT; Advanced image/video coding; Advanced prediction techniques; Signal detection and reconstruction; Spectral estimation and time-frequency analysis; Higher order spectrum analysis; Parameter estimation; Array signal processing; Statistical signal analysis; Signal and system modeling; Cyclostationary signal analysis; Active noise control, active noise reduction and echo cancellation; Psychoacoustics and room acoustics; Signal processing for music; Binaural systems and multidimensional signal systems; Geophysical and seismic signal processing; Nonlinear interpolation/resampling; Extensions to wavelet based coding (x-lets); Low complexity image/video compression; Mult!
iple resolution signal processing;
New approach to digital signal processing; Compression of random data; Recompression of compressed data; 2D projection of 3D data; Stereo data matching; Emerging applications requiring new compression tools; Unified compression and recognition; H.264 and latest video coding standards; Latest audio coding standards

DATA: Data processing

Data transmission and reception mechanisms and techniques; Enhanced tools for video data integrity; Data mining, filtering, and reporting; Secure data transmission; Transmission media and data encoding; Text reading devices (super-pen, pen-elite, reading-pen); Scanned and generated lossy (progressive) multi-page text; (Visually) lossless mechanisms; Pricing data transmission; Differential data transmission systems; Data transmission equipments and transmission rates; Delay-constrained data transmission; Undersea and satellite data transmission techniques; Performance evaluation of data transmission; Multicast data transmission; High speed data transmission; Data transmission control; Integrity and privacy in data transmission; Data transmission standards

AUDIO: Audio transmission and reception systems

Audio transmission and reception systems and devices; Digital audio transmission signal processing; Audio transmission over Internet; Audio Multiplexing Transmission Systems; Stereo audio transmission signal; Digital infrared audio transmission; Multi-stream and multi-path audio transmission; Wireless-compressed digital audio transmission; Perceptual coding for audio transmission and storage; Laser audio transmission; Synchronizing video and audio transmission; Wide-band audio transmission; Index-frame audio transmission; Digital audio transmission rights; Noise in wireless audio transmission; Audio tools and products; Standards

VOICE: Voice over packet networks

Planning and implementing voice networks and systems; Voice transmission systems; Voice transmission performance; Quality real-time voice transmission; Metrics for quality of voice transmission; Stereophonic voice transmission systems; Header Compression for VoIP over WLAN; Voice over IP solution for mobile radio interoperability; VoIP over cable TV networks; VoIP over Wi-Max

VIDEO: Video, conferencing, telephony

Digital video; Video coding formats (ITU-T, SMPTE 421M, AVS-China); Video coders and decoders; Profiles, latency, intermediate formats; Video surveillance and privacy; Video feature requirements; Network video recorders; Graceful degradation of archive video; Video data integrity (error detection, tamper resistance); Alarm events for voice content (motion detection, object tracking, face recognitions); Coding efficiency and distributed video coding; Compression and scrambling; Enhanced tools for video data integrity; Multiple reference pictures; Intra-layer and inter-layer prediction; Fading prediction and loop filter; Video with compression errors; Viewing distance and perceptual quality; Video quality models; Omnidirectional video; 3D video; Video standardization encoding; Texture synthesizer

IMAGE: Image producing, sending, and mining

Model-based progressive image transmission; Wireless image transmission; Computer generated images; Image security, scrambling, and regions of interest; Timing requirements for image transmission; Transmission of still and moving images; Protocols for low bit rate; Error-prone image transmission; Energy efficient image transmission; Multi-technology image formation; Devices for image capturing and processing (cams, web-cams, etc.); Scanning and sampling, quantization and halftoning, color reproduction; Image representation and rendering, display and printing systems; Image quality assessment; Image search and sorting, video indexing and editing; Integration of images and video with other media; Image authentication and watermarking; Image storage, retrieval and multimedia; Image and video databases; Generic coding of moving pictures; Media stream packetization; Modes for archival playback; Image-based applications; Standard for image processing; Image analysis and segment!
ation; Image filtering, restoration
and enhancement; Image representation and modeling; Pattern recognition

SPEECH: Speech producing and processing

Tooling, Architectures, Components and Standards; Voice modulation, frequencies; Linguistics, Phonology and Phonetics; Discourse and Dialogue; Speech analysis, synthesis, coding, and recognition; Speech enhancement and noise reduction; Speech features, production, and perception; Speech Coding and Transmission; Speech Signal Processing; Spoken Language Generation and Synthesis; Speech QoS Enhancement; Speaker Characterization and Recognition; Spoken Language; Resources and Annotation; Spoken/Multi-modal Dialogue Technology and Systems; Spoken Language Information Extraction/Retrieval; Speech Transmission Technology for the Aged and Disabled; Audio-Visual Speech Processing; Biomedical Applications of Speech Analysis; Spoken document retrieval; Speech Processing in a Packet; Network Environment; Automatic Speech Recognition in the Context of Mobile Communications; Human Factors in Speech and Communication Systems; Automatic speech recognition and understanding technology; S!
peech to text systems; Spoken dialo
g systems; Multilingual language processing; New Applications of Spoken Language Technology and Systems

IPTV: IP/Mobile TV

IPTV applications and middleware; On-demand television; Interactive TV; Broadcast TV data; Broadcast content formats; Stereo and 3D TV; TVoDSL; Television archiving; IPTV broadcasting; IPTV-aware devices; IPTV regulatory issues and copyrights; IPTV network infrastructure; IPTV monitoring and management; I[P]TV usage fees; IPTV Personalization and QoS Implications

MULTI: Multicast/Broadcast Triple-Quadruple-play

Scalable video/audio coding; Multiplexing video/audio/data; Multimedia terminals; Multimedia systems and protocols; PSTN modems and interfaces; Facsimile terminals; Direct broadcast satellite; Terrestrial broadcast television; Cable modems; Universal media access; Format compatibility; Media support platforms; VoIP Quality for Triple Play; Testing triple-play services; Triple-play data encryption; Triple-play services

CONTENT: Production, distribution

Content injection, cashing, storage, and distribution; Producing and transmitting streaming content; Content localization services; Content and customers profiles; Documenting and content authoring; Authorizing topic-based content; Content customization and metadata; On-demand content; Content retrieval from archives (alarm-based, time stamp-based); Content management solutions and systems; Unstructured content environment; Multi-channel content delivery/publishing strategies; Content reuse

HXSIP: H-series towards SIP

SIP and H-xxx architectures and logical components; Instant messages and presence; Management of QoS in SIP and H-xxx environments; Basic SIP building blocks; Security and firewalls with SIP and H-xxx series; Service creation and telephony services with SIP and H-xxx; Multimedia conferencing with SIP and H-xxx; SIP application scenarios; SIP (auto)configuration; SIP and H-xxx beyond VoIP; Leveraging SIP for Global Enterprise Roaming; SIP, H-xxx and 3GPP; Emergency Calling in SIP and H-xxx; Advanced SIP and H-xxx applications and services; SIP and H-xxx on Cable Networks; SIP and H-xxx devices; SIP and h-xxx deployment experience; End-to-end SIP and H-xxx communications; SIP/H.323 Interworking Function for real time communications

MULTE: Multimedia Telecommunications

Frameworks, architectures, systems for delivering voices, audio, and data; Methodologies, technologies, procedures and mechanisms; IMT-2000 concepts; IMS concepts (IP Multimedia Systems); Bluetooth and WLAN coexistence on handsets; Packet-based multimedia communication systems; Converging technology for voice and data networks; Accessibility features for unpaired users; Confidentiality for audiovisual services; Multimedia transmission performance; Multiplexing and synchronization; Directory services for multimedia; Computation complexity and costs (multiple simultaneous decoders); Coding efficiency (embedded, bit-plane, arithmetic); Compatibility between Analog/DVD and networks; IP4/IP6 transition and NAT; QoS/SLA, perceptual QoS, and formal visual tests; Temporal and spatial scalability; Pre-processing and predictive coding; Coding with regions-of-interest; Secure transcoding; Computation power and resolution; Transform and quantization; Entropy coding; Lossless and loss!
y compression; Transmission in nois
y environments; Voice/video/data in 4G; Specialized medical applications; Medical imaging and communications networks; MPEG for endoscopy, microscopy, radiology, surgery; Medical archiving systems; Digital devices for image capturing (microscope, stethoscope); Digital equipments and digital cinema; Digital signature protection

MOBILE: Mobile technologies

3G+: UMTS, HSPA, HSUPA, HSDPA, HSOPA, WiMAX, UWB. LTE, All-IP LTE 4G and beyond; Seamless handover engineering; Cognitive radio; Mobile video surveillance; Pervasive/ubiquitous/mobile systems; Security and privacy issues for mobile and wireless systems; Mobile ad hoc networks

MEDMAN: Control and management of multimedia telecommunication

Video codec-aware of packets; Monitoring via guard on patrol, central station, forensic analysis; Managing single domestic licensing and granted patent pool for compressions; End-to-end quality monitoring/management; Perceived/offered quality: video-only, audio-only, audio-video; In-service monitoring of voice/video/data services; Real-time distributed imagery management systems; Performance in voice/video/data systems; Distributed multimedia service management; Mobile multimedia network management; Multi-point, multicast services management; Deployment of multimedia services; Network management models and architectures; Billing and security for multimedia services; Network measurement/monitoring for multimedia services

SARP: Software architecture research and practice

Distributed software architecture; Architectural styles and patterns; Architecture refinement and transformation; Software architecture and pervasive systems; Software architecture analysis & testing; Architectural description languages (ADLs); Component-based software architecture; Dynamic software architecture; Self-repairing software architecture; Adaptive software architecture; Aspect-oriented software architecture; Service-oriented architecture [SOA]; Domain specific software architecture [DSSA]; Tools/Environments for software architects; Product-line software architecture; Industrial case studies and reports

STREAM: Data stream processing

Fundamentals on data stream processing; Data stream processing and event stream processing; Continuous query languages; Time management in data stream systems; Aggregated queries support; Query processing with multiple, continuous, rapid, time-varying data streams; Processing frequent itemset discovery queries; Real-time stream data processing; Network-aware operator placement for stream-processing systems; Integrating database queries and Web searches; Scalable Distributed Stream Processing; Optimization of data stream processing; Performance and overhead in data stream processing; QoS adaptation in data stream systems; Adaptive query processing in data stream; Interactive distributed data stream processing and mining; Data stream management systems; Control theory on stream processing; Processing high-speed data streams; Stream processing in production-to-business software; Multi-site cooperative data stream analysis; Grid-based data stream processing; Hyperdatabases fo!
r P2P data stream processing; Senso
r data stream processing in health monitoring; Processing and sharing data streams in Grid-based P2P infrastructures

TRACK: Tracking computing technologies

Airport security communications technologies; Hazards detection- automatic real-time material/object recognition; Intelligent IP-based sensor networking for homeland security; Real-time intelligence data validation and verification mechanisms; Efficient data integration and mining techniques for NATO countries; Secure distributed storage and data pinning; SATCOM for HLS; Critical aerospace communications systems; HLS for air, land and sea operational environments; Airborne real-time spatial tracking techniques; Bio-authentication sensors and tools; Cyber and physical security of key infrastructure and operations; Protection of Real-time resilient communications network infrastructures; International standards for data schema and data sharing between USA and other countries; Emergency response tools; Prediction of Intent; Standards for Passenger Data Integration; Sharing Addressing and Service Discovery in Auto-configuring MANETs; Exploiting localization and network inform!
ation (GPS, INS, GIS, terrain featu
res, ToA, AoA, SNR, QoS) for improved ad-hoc networking in complex terrain; Advanced indoor and outdoor location-based applications: real-time tracking, multimedia, bidirectional, proactive applications; Location based services based on integrated cellular, ad hoc, RFID, and sensor networks; New positioning techniques in support of location based servcies (indoor, cellular, satellite, hybrid); Geographic Information Systems for supporting location based services; Quality of location data; Integration of Hierarchical Location-Based Routing (HLBR) with Delay- and Disruption-Tolerant Neworks (DTNs); Narrow-band control channels for HLBR; Location-aware (GPS-aware) Internet Browsers for Location-based services

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

MACIS 2013: 2nd Call for Papers

[Apologies if you receive multiple copies]

MACIS 2013 - Fifth International Conference on
Mathematical Aspects of Computer and Information Sciences
Nanning, China, December 11-13, 2013

http://www.mpi-inf.mpg.de/conference/macis2013/

DEADLINE EXTENSION AND SECOND CALL FOR PAPERS

- Submission of papers/extended abstracts: October 12, 2013
- Notification of acceptance or rejection: November 1, 2013
- Conference taking place:                 December 11-13, 2013
- MACIS Forum and Satellite Workshop:      December  9-10, 2013

MACIS is a series of conferences where foundational research on theoretical and
practical problems of mathematics for computing and information processing may
be presented and discussed. MACIS also addresses experimental and case studies,
scientific and engineering computation, design and implementation of algorithms
and software systems, and applications of mathematical methods and tools to
outstanding and emerging problems in applied computer and information sciences.
Each conference focuses on two or three themes.

The topics for MACIS 2013 fall into the following tracks:

- Constraints and Combinations (Track Chairs: P. Fontaine, U. Waldmann)

  quantifier elimination and decision procedures; (global) optimization;
  differential equations; numeric, symbolic, interval and hybrid solution
  techniques; satisfiability modulo theories; combinations of logics and
  deductive engines; applications, especially in systems analysis and formal
  verification

- Data Modeling and Analysis (Track Chairs: M. Moshkov, X. Zhang)

  knowledge discovery; data mining; pattern recognition; complex knowledge
  representation and management; foundations and theories for data analysis
  systems; big data storage, transfer, and processing

- Information Security and Cryptography (Track Chairs: J. Bloemer, D. Hutter)

  security models; formal methods for security; cryptographic protocols;
  compositional security; information flow; language-based security; access
  control; database security; anonymity and privacy; encryption schemes; digital
  signatures; hash functions; cryptanalysis

MACIS FORUM IN MATHEMATICS, INFORMATICS, AND CULTURE - SATELLITE WORKSHOP

The core conference program will be complemented with a forum in mathematics,
informatics, and culture taking place in Nanning during December 9-10, 2013.

A satellite workshop of MACIS 2013 in Logic, Algebra and Computation will be
held at Beihang University, Beijing, China on December 9, 2013.

CONFIRMED FORUM SPEAKER

Tianxin Cai
Professor of Mathematics at Zhejiang University
Poet

SUBMISSION

Potential participants of MACIS 2013 are invited to submit extended abstracts
(3-4 pages) or full papers describing their work to be presented at the
conference. The submitted extended abstracts and full papers will be reviewed by
members of the Program Committee (PC) for soundness and relevance to the
conference. Submission of original research papers is encouraged, while
published material and work in progress will also be considered for presentation
at the conference. Electronic submissions are strongly preferred using
EasyChair:

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

Accepted extended abstracts and full papers will be printed for distribution at
the conference. Authors of the extended abstracts and full papers accepted for
presentation at the conference will be invited to submit their full and/or
revised papers for publication in special issues of Mathematics in Computer
Science (MCS - http://www.cc4cm.org/mcs) by Birkhaeuser/Springer after the
meeting. The submitted papers will be formally reviewed by PC members and
external referees according to the refereeing procedure of MCS.

GENERAL CHAIRS
Dongming Wang (University Pierre and Marie Curie - CNRS, France)
Jinzhao Wu (Guangxi University for Nationalities, China)

TRACK CHAIRS
Johannes Bloemer (University of Paderborn, Germany)
Pascal Fontaine (Inria and University of Lorraine, France)
Dieter Hutter (DFKI Bremen, Germany)
Mikhail Moshkov (King Abdullah University of Science and Technology, Saudi Arabia)
Uwe Waldmann (Max Planck Institute for Informatics, Germany)
Xiangliang Zhang (King Abdullah University of Science and Technology, Saudi Arabia)

PROGRAM COMMITTEE
Thomas Sturm (Max Planck Institute for Informatics, Germany), Chair
Hirokazu Anai (Kyushu University, Japan)
Jintai Ding (University of Cincinnati, USA)
Hoon Hong (North Carolina State University, USA)
Laura Kovacs (Chalmers University of Technology, Sweden)
Dongdai Lin (Chinese Academy of Sciences, China)
Grant Olney Passmore (University of Edinburgh, UK)
Stefan Ratschan (Academy of Sciences, Czech Republic)
Enric Rodriguez Carbonell (Technical University of Catalonia, Spain)
Dominik Slezak (University of Warsaw, Poland)
Werner Stephan (DFKI Saarbruecken, Germany)
Xiaohui Tao (University of Southern Queensland, Australia)
Luca Vigano (University of Verona, Italy)
Suojin Wang (Texas A&M University, USA)
Bican Xia (Peking University, China)
Lihong Zhi (Academia Sinica, China)

LOCAL COMMITTEE CHAIR
Yongquan Zhou (Guangxi University for Nationalities, China)

PUBLICITY CHAIRS
Marek Kosta (Max Planck Institute for Informatics, Germany)
Chenqi Mou (Beihang University, China)

[Mycolleagues] Tenure track position in Information Security at TUT

Dear Colleagues,

Tampere University of Technology, Finland, has opened a tenure track
position in Information Security.

Deadline for application: October 18, 2013.

For more information, see

http://www.tut.fi/en/about-tut/job-opportunities/index.htm

Contact person:
Prof. Jarmo Harju
Dept. of Pervasive Computing
Tampere Univ. of Technology
Korkeakoulunkatu 1
33720 Tampere, Finland

Email: jarmo.harju@tut.fi

Please distribute this announcement to your colleagues.

Best regards,

Jarmo Harju
_______________________________________________
Mycolleagues mailing list
Mycolleagues@mailman.ufsc.br
http://mailman.ufsc.br/mailman/listinfo/mycolleagues

- Through this link above you can "subscribe", "unsubscribe", or change your settings in the list, using "username=ufsc" and "password=ufsc".
- If you need any help, please send a message to mycolleagues-owner@mailman.ufsc.br.
- ENJOY this COURTESY offered by FEDERAL UNIVERSITY OF SANTA CATARINA.

[DMANET] Extended Deadline - CFP: Smart Sensor Protocols and Algorithms (SSPA2013) - Dalian, China, December 11-13, 2013

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

*********************** CFP *******************************

Smart Sensor Protocols and Algorithms (SSPA2013)
http://jlloret.webs.upv.es/sspa2013/index.html

in conjunction with The 9th International Conference on Mobile Ad-hoc and Sensor Networks (MSN2013)
Dalian, China, December 11-13, 2013.
http://ncc.dlut.edu.cn/msn2013/

SCOPE:

Smart Sensor protocols and algorithms make use of several methods and techniques (such as machine learning techniques, decision making techniques, knowledge representation, network optimization, problem solution techniques, and so on), to establish communication between network devices. 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 their 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 future de!
cisions.

In this workshop, researchers are encouraged to submit papers focused on the design, development, analysis or optimization of smart sensor 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.

This conference edition once again targets to gather researchers from academia and industrial sectors to present analytical research, simulations, practical results, position papers addressing the pros and cons of specific proposals, and advances in sensor protocols and algorithms. 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:

Reasoning and learning techniques for sensing environment pollution
Smart route prediction in vehicular sensor networks
Smart data aggregation in vehicular sensor networks
Smart multimedia network protocols and algorithms for WSNs
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 sensor network protocols and algorithms
Smart sensor protocols and algorithms for e-health
Software applications for smart algorithms design and development in WSNs
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 WSNs
Artificial intelligence applied in protocols and algorithms for WSNs
Smart security protocols and algorithms in WSNs
Smart cryptographic algorithms for communication in WSNs
Artificial intelligence applied to power efficiency and energy saving protocols and algorithms
Smart routing and switching protocols and algorithms in WSNs
Cognitive protocol and algorithm models for saving communication costs
Any kind of intelligent technique applied to QoS, content delivery, network Monitoring and network mobility management
Smart cooperative protocols and algorithms WSNs
Problem recognition and problem solving protocols for WSNs
Genetic algorithms, fuzzy logic and neural networks applied to WSNs

IMPORTANT DATES:

Submission deadline: 24th of September 2013 (Extended)
Author notification: 14th of October 2013
Camera-ready version: 30th of October 2013
Registration Deadline: 16th of November 2013
Workshop Dates: 11-13th of December 2013

SUBMISSION GUIDELINES:

Authors are invited to submit original and unpublished papers. Papers presenting original and unpublished work are invited and will be evaluated based on originality, significance, technical soundness, and clarity of exposition. Submitted papers should be in PDF format and uploaded on easychair. The submission website is https://www.easychair.org/conferences/?conf=sspa2013. The submitted paper should not exceed eight single-spaced, double-column pages in IEEE style format. Detailed formatting and submission guidelines is available on the conference website. Submissions imply the willingness of at least one author to register, attend the conference, and present the paper.

SPECIAL ISSUES:

Network Protocols and Algorithms

COMMITTEES:

General Chairs
Jaime Lloret Mauri, Universitat Polit�cnica Val�ncia, Spain
Kayhan Zrar Ghafoor, University of Koya, Kurdistan Region-Iraq

TPC Chairs
Miguel Garcia Pineda, Universidad Polit�cnica de Valencia, Spain
Ali Safa, Universiti of Teknologi Malaysia, Malaysia

Panel & Tutorial Chairs
Sandra Sendra compte, Universidad Polit�cnica de Valencia, Spain
Rashid Khokhar, Charles Sturt University, Australia

Web Chair

Post-doc fellowships in cryptography at the University of Warsaw

A post-doc position in the area of cryptography in the Cryptography and Data Security Group at the Department of Mathematics, Informatics and Mechanics at University of Warsaw is available. The position is supported by the EU FNP Welcome Grant "Cryptographic Protocols Provably-Secure Against Physical Attacks". This project is about the design of cryptographic schemes that are provably-secure against physical attacks, such as side-channel leakages, tampering, or malware intrusion. We offer excellent networking and training opportunities, including participation in international workshops and conferences. 

Job profile:  All candidates with PhD in cryptography are encouraged to apply and will be carefully considered. Knowledge of Polish is not required, but a good knowledge of English is essential. 

Important dates:  The deadline for application is 29.09.2013.  Successful candidates can start from 10.2013.Funding is available until 5.2015 (extensions are possible depending on the funding availability)

More information is available here.

--
Stefan Dziembowski
www.dziembowski.net

[DMANET] WICT 2013 - Final CFP - Hanoi, Vietnam

-- Apologies for cross posting --


** WICT 2013 - Second Call for Papers **

Third World Congress on Information and Communication Technologies ( WICT2013)

December 15-18, 2013

Venue: Hanoi, Vietnam

http://www.mirlabs.org/wict13
http://www.mirlabs.net/wict13

Related event: SoCPaR 2013: http://www.mirlabs.org/socpar13

After the success of the Second World Congress on Information and
Communication Technologies (WICT 2012 -
http://www.mirlabs.net/wict12), we are pleased to announce the
organization of WICT 2013 to provide an opportunity for the
researchers from academia and industry to meet and discuss latest
solutions, scientific results and methods in the usage and
applications of ICT in the real world.

Objective:
--------------

As we all know, our society has been through several dramatic changes,
driven by innovations such as transportation systems, telephone etc.

Last few decades have experienced technologies that are evolving so
rapidly, altering the constraints of space and time, and reshaping the way
we communicate, learn and think. Rapid advances in information technologies
and other digital systems are reshaping our ecosystem. Innovations in ICT
allow us to transmit information quickly and widely, propelling the growth
of new urban communities, linking distant places and diverse areas of
endeavor in productive new ways, which a decade ago was unimaginable. Thus,
the theme of this World Congress is 'Innovating ICT For Social Revolutions'.

The four day World Congress is expected to provide an opportunity for the
researchers from academia and industry to meet and discuss the latest
solutions, scientific results and methods in the usage and applications of
ICT in the real world. The conference programme will include workshops,
special sessions and tutorials, along with prominent keynote speakers and
regular paper presentations in parallel tracks. All accepted papers will be
compiled in conference proceedings published by the IEEE.

Publication: IEEE
-------------------------

All accepted papers will be compiled in conference proceedings published by
the IEEE. Like previous editions, all accepted papers presented at WICT 2012
may be selected and recommended for possible publication in Journal
Special Issues and Edited Volumes (indexed by SCI, EI Compendex, etc.).
http://www.mirlabs.org/wict13/journal.php

Call for Papers:
----------------------
Please submit your papers to one of the following tracks or the main track
mentioned in the link: http://www.mirlabs.org/wict13/cfp.php

Author Guidelines:
--------------------------

Submission of paper should be made through the submission link:
http://www.easychair.org/conferences/?conf=wict20130

Please refer to the conference website link
http://www.mirlabs.org/wict13/#submission for guidelines to prepare your
manuscript. All accepted papers will be compiled in conference
proceedings published by the IEEE. It is mandatory that at least one of the
authors registers for every paper that is included in the conference
proceedings. Proceedings will be made available during the conference.

Call for Workshops and Special Sessions:
------------------------------------------------------------

WICT 2013 is seeking original high quality Special Sessions and Workshops
on focused discussion addressing innovative research highlighting
significant topics and emerging issues which are related to the conference
theme and with the desired expertise. Interdisciplinary session themes are
strongly sought after. Each special session resembles a mini-conference
within the main WICT meeting and will run throughout the conference in
parallel to other tracks (except the keynote presentations).

Important Dates:

Paper submission due: September 30, 2013
Notification of paper acceptance: October 20, 2013
Final manuscript due: November 05, 2013
Registration and full payment due: November 05, 2013

Organizing Committee
(please see web site)

Contact:
Technical Matters:
Ajith Abraham
< ajith.abraham@ieee.org>

Local Organization:
Ngo Thanh Long,
<ngotlong@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] Final CFP : SoCPaR'13 - IEEE - Vietnam - Datelines Extended

-----------------------------------------------------------------------------------------------------------
Apologies for cross-posting. Appreciate if you can distribute this CFP
to your network.
-----------------------------------------------------------------------------------------------------------

*** SoCPaR 2013 - Final Call for Papers ***

Paper submission deadline (extended): September 30, 2013


Fifth International Conference on Soft Computing and Pattern
Recognition (SoCPaR 2013)
* Hanoi, Vietnam *
December 15-18, 2013

http://www.mirlabs.net/socpar13/
http://www.mirlabs.org/socpar13/

Related conference: WICT 2013: http://www.mirlabs.net/wict13


Publication: IEEE
------------------------------

Objective:
The aspiration of SoCPaR 2013 is to bring together worldwide leading
researchers, developers, practitioners, and educators interested in
advancing the state of the art in soft computing and pattern
recognition for exchanging knowledge that encompasses a broad range of
disciplines among various distinct communities. It is hoped that
researchers will bring new prospect for collaboration across
disciplines and gain idea facilitating novel breakthrough. The 4-day
conference will feature prominent keynote speakers,workshop,tutorials,
poster and paper presentation in parallel tracks. SoCPaR 2013 invites
novel contributions/papers of soft computing and pattern recognition
from fundamental aspects to various practical applications.

Topics:

** Soft Computing and Applications **
Evolutionary computing
Swarm intelligence
Artificial immune systems
Fuzzy Sets
Uncertainty analysis
Fractals
Rough Sets
Support vector machines
Artificial neural networks
Case Based Reasoning
Wavelets
Hybrid intelligent systems
Nature inspired computing techniques
Machine learning
Ambient intelligence
Hardware implementations

** Pattern Recognition and Applications **
Information retrieval
Data Mining
Web Mining
Image Processing
Computer Vision
Bio-informatics
Information security
Network security
Steganography
Biometry
Remote sensing
Medical Informatics
E-commerce
Signal Processing
Control systems

Author Guidelines:
--------------------------
Submission of paper should be made through the submission link:
https://www.easychair.org/account/signin.cgi?conf=socpar2013

Please refer to the conference website for guidelines to prepare your
manuscript. All accepted papers will be compiled in conference
proceedings published by the IEEE. It is mandatory at least an author
registers for every paper that is included in the conference
proceedings. Proceedings will be made available during the conference.
Expanded versions of SoCPaR 2013 selected papers will be published in
special issues of internationally referred journals (SCI/SCIE).

Important Dates:
------------------------
Paper submission due: September 30, 2013
Notification of paper acceptance: October 20, 2013
Final manuscript due: November 05, 2013
Registration and full payment due: November 05, 2013


SoCPaR 2013 Organizing team:
---------------------------------------------

General Chairs
---------------------
Long Thanh Ngo, Le Quy Don University, Vietnam
Ajith Abraham, MIR Labs, USA
Andre Carvalho, Universidade de Sao Paulo, Brazil

Program Chairs
----------------------
Vaclav Snasel, VSB- Technical University of Ostrava, Czech Republic
Lam Thu Bui, Le Quy Don University, Vietnam
Emilio Corchado, University of Salamanca, Spain


Advisory Chairs and TPC Members, please see web site:
http://www.mirlabs.org/socpar13/committees.php


Local information Contact:
-------------------------------------
Ngo Thanh Long
ngotlong@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/
*
**********************************************************